6-manifolds: 1-connected
m (moved Simply-connected 6-manifolds to 6-manifolds: 1-connected: To start names with dimension) |
Revision as of 13:46, 7 June 2010
This page has not been refereed. The information given here might be incomplete or provisional. |
Contents |
1 Introduction
Let be the set of diffeomorphism classes of closed, oriented, smooth, simply-connected 6-manifolds . Similarly, let be the set of homeomorphism classes of closed, oriented topological manifolds. In this article we report on the calculation of and begun by Smale, extended by Wall and Jupp and completed by Zhubr. We shall write for either or .
2 Examples and constructions
We first present some familiar 6-manifolds.
- , the standard 6-sphere.
- , the -fold connected sum of .
- , the -fold connected sum of .
- , 3-dimensional complex projective space.
- , the non-trivial linear 4-sphere bundle over .
- For each we have , the corresponding 2-sphere bundle over . If we write 1 for a generator of then is diffeomorphic to .
Surgery on framed links. Let be a framed link. Then , the outcome of surgery on , is a simply connected Spinable 6-manifold with and .
- ??? Complete intersections of some form.
1 Classification
1.1 Smoothing theory
Theorem 1 5.1. Let be a simply-connected, topological 6-manifold. The Kirby-Siebenmann class, is the sole obstruction to admitting a smooth structure.
Theorem 2 5.2. Every homeomorphism of simply-connected, smooth -manifolds is topologically isotopic to a diffeomorphism. Hence we have an injection
2.1 The second Stiefel-Whitney class
The second Stiefel-Whitney class of is an element of which we regard as a homomorphism . Let be the set of isomorphism classes of pairs where is a finitely generated abelian group is a homomorphism and where an isomorphism is an isomorphism of groups commuting with the homomorphisms to . The second Stiefel-Whitney classes defines a surjection
and we let denote the set of isomorphism classes of 6-manifolds with prescribed second Stiefel-Whitney class. We obtain the decomposition
where ranges over all of .
3 2-connected 6-manifolds
Smale showed that every smooth, 2-connected 6-manifold is diffeomorphic to or a connected sum . Hence if denotes the third Betti-number of and denotes the natural numbers we obtain a bijection
Applying Theorems 1 and 2 we see that the same statement holds for .
3.1 The splitting Theorem
Theorem 3 6.1 (Wall). Let be a closed, smooth, simply-connected 6-manifold with . Then up to diffeomorphism, there is a unique maniofld with such that is diffeomorphic to .
4 6-manifolds with torsion free second homology
In addition to and we require the following invariants:
- The first Pontrjagin class .
- The Kirby-Siebenmann class
- The cup product .
These invariants satisfy the following relation
for all which reduce to mod and for all which reduce to mod .
5 References
- [Jupp1973] P. E. Jupp, Classification of certain -manifolds, Proc. Cambridge Philos. Soc. 73 (1973), 293–300. MR0314074 (47 #2626) Zbl 0249.57005
- [Wall1966] C. T. C. Wall, Classification problems in differential topology. V. On certain -manifolds, Invent. Math. 1 (1966), 355-374; corrigendum, ibid 2 (1966), 306. MR0215313 (35 #6154) Zbl 0149.20601