6-manifolds: 2-connected
m (→Topological 2-connected 6-manifolds) |
m (→Mapping class groups) |
||
Line 53: | Line 53: | ||
=== Mapping class groups === | === Mapping class groups === | ||
<wikitex>; | <wikitex>; | ||
− | ... | + | Let $\pi_0\Diff_+(M)$ denote the group of isotopy classes of diffeomorphisms $f \colon M \to M$ of a $2$-connected $6$-manifold $M$ and let $\Aut(M)$ denote the group of isomorphisms of $H_3(M)$ perserving the intersection form: $\Aut(M) \cong Sp_{2b}(\Zz)$ is the symplectic group when $M = \#_b(S^3 \times S^3)$. By \cite{Cerf1970} the forgetful map to the group of orientation preserving pseudo-isotopy classes of $M$ is an isomorphism. Based of Cerf's theorem in\cite{Kreck1979} on finds exact sequences |
+ | $$ 0 \rightarrow \pi_0\SDiff(M) \rightarrow \pi_0\Diff_+(M) \rightarrow \Aut(H_2(M)) \rightarrow 0 \quad (\ast), \quad (\ast) $$ | ||
+ | $$ 0 \rightarrow \Theta_7 \pi_0\SDiff(M) \rightarrow H^3(M) \rightarrow 0$$ | ||
+ | where by definition $\SDiff(M)$ is the subgroup of isotopy classes induced the identity on $H_*(M)$, and $\Theta_7 \cong \pi_0(Diff(D^6, \partial))$ is the group of [[Exotic spheres|homotopy $7$-spheres]]. | ||
+ | |||
+ | In particular $\pi_0(\Diff(S^6)) \cong \Zz/28 \cong \Theta_7$. | ||
+ | |||
+ | For more information about the extension $(\ast)$ above, see \cite{Krylov2003}, \cite{Johnson1983} and \cite{Crowley2009}. | ||
<wikitex> | <wikitex> | ||
== References == | == References == |
Revision as of 12:42, 27 November 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 smooth simply-connected 2-connected 6-manifolds (the notation is used to be consistent with 6-manifolds: 1-connected).
The classification was one of Smale's first applications of the h-cobordism theorem [Smale1962a, Corollary 1.3]. The is a precise 6-dimensional analogue of the classification of orientable surfaces: every 2-connected 6-manifold is diffeomorphic to a connected-sum
where by definition and in general is determined by the formula for the Euler characteristic of
For the more general case where , see 6-manifolds: 1-connected.
2 Construction and examples
The following gives a complete list of 2-connected 6-manifolds up to diffeomorphism:
- , the standard 6-sphere.
- , the -fold connected sum of .
3 Invariants
Suppose that is diffeomorphic to then:
- ,
- the third Betti-number of is given by ,
- the Euler characteristic of is given by ,
- the intersection form of is isomorphic to the sum of b-copies of , the standard skew-symmetric hyperbolic form on .
4 Classification
Recall that the following theorem was stated in other words in the introduction:
Theorem 4.1 [Smale1962a, Corolary 1.3]. The semi-group of 2-connected 6-manifolds is generated by .
Hence if denotes the natural numbers we obtain a bijection
5 Further discussion
5.1 Topological 2-connected 6-manifolds
Let be the set of homeomorphism classes of topological 2-connected 6-manifolds.
Theorem 5.1. Every topological 2-connected 6-manifold admits a smooth structure which is unique up to diffoemorphism. In particular, there is a bijection
Proof. For any such manifold we have and so is smoothable (see 6-manifolds: 1-connected). Any two homeomorphic manifolds have the same Euler Characteristic and so by Theorem 4.1 are diffeomorphic.
5.2 Mapping class groups
Let denote the group of isotopy classes of diffeomorphisms of a -connected -manifold and let denote the group of isomorphisms of perserving the intersection form: is the symplectic group when . By [Cerf1970] the forgetful map to the group of orientation preserving pseudo-isotopy classes of is an isomorphism. Based of Cerf's theorem in[Kreck1979] on finds exact sequences
where by definition is the subgroup of isotopy classes induced the identity on , and is the group of homotopy -spheres.
In particular .
For more information about the extension above, see [Krylov2003], [Johnson1983] and [Crowley2009].
References
- [Cerf1970] J. Cerf, La stratification naturelle des espaces de fonctions différentiables réelles et le théorème de la pseudo-isotopie, Inst. Hautes Études Sci. Publ. Math. (1970), no.39, 5–173. MR0292089 (45 #1176) Zbl 0213.25202
- [Crowley2009] D. Crowley, On the mapping class groups of for , (2009). Available at the arXiv:0905.0423.
- [Johnson1983] D. Johnson, A survey of the Torelli group, Low-dimensional topology (San Francisco, Calif., 1981), Amer. Math. Soc. (1983), 165–179. MR718141 (85d:57009) Zbl 0553.57002
- [Kreck1979] M. Kreck, Isotopy classes of diffeomorphisms of -connected almost-parallelizable -manifolds, Algebraic topology, Aarhus 1978 (Proc. Sympos., Univ. Aarhus, Aarhus, 1978), Springer (1979), 643–663. MR561244 (81i:57029) Zbl 0421.57009
- [Krylov2003] N. A. Krylov, On the Jacobi group and the mapping class group of , Trans. Amer. Math. Soc. 355 (2003), no.1, 99–117 (electronic). MR1928079 (2003i:57039) Zbl 1015.57020
- [Smale1962a] S. Smale, On the structure of manifolds, Amer. J. Math. 84 (1962), 387–399. MR0153022 (27 #2991) Zbl 0109.41103