6-manifolds: 1-connected
The user responsible for this page is Alexey Zhubr. No other user may edit this page at present. |
1 Introduction
Let be the set of
isomorphism classes of closed oriented simply connected 6-dimensional
-manifolds, where
stands for
(smooth manifolds),
(piecewise linear manifolds) or
(topological manifolds). On this page we describe the results of calculation of the sets
and
begun by [Smale1962], extended in [Wall1966], [Jupp1973] and [Zhubr1975], and finally completed in [Zhubr2000]. An excellent summary for the torsion-free case (for those
with
) may be found in [Okonek&Van de Ven1995, Section 1]. For the case
see 6-manifolds:2-connected.
Remark 1.1.
- The sets
and
are actually the same (as Wall points out in [Wall1966]): by Whitehead triangulation theorem we have the canonical forgetting map
; by smoothing theory and the fact that
is
-connected, this is a bijection.
- The forgetting map
is injective: this follows from classification results below. Thus
can be viewed as a subset of
(determined by the equation
, where
is the Kirby-Siebenmann triangulation class). In what follows, we abbreviate
to just
.
2 Classification
2.1 Notation
The standard projections are denoted by
, the standard injections
by
(here
may equal
, in which case
is the reduction modulo
, while
is the multiplication by
). By
we denote the (non-stable) cohomology operation ``Pontrjagin square´´
![\displaystyle H^{2i}(X;\,\Zz/2^m)\to H^{4i}(X;\,\Zz/2^{m+1}) \text{ with } i,m\ge1.](/images/math/0/5/6/056f7f7fbe8027b8cae546614871bbcb.png)
It is known that (with the same ) the following equalities hold:
and
. There exists also the ``Pontrjagin cube´´
![\displaystyle P_3:H^{2i}(X;\,\Zz/3^m)\to H^{6i}(X;\,\Zz/3^{m+1})](/images/math/1/4/3/14335f18e66c0b4fdef36e2b29a1f64e.png)
and generally the ``Pontrjagin -th power´´ for every prime
[Thomas1956] (here we only need
and
).
2.2 Classical invariants
Let be a closed oriented simply connected 6-manifold (
for short). Our first two invariants determine the (additive) homology structure of
:
-
- the 3-dimensional Betty number,
-
- the 2-dimensional homology group.
Next, we consider the characteristic classes:
-
- the second Stiefel-Whitney class;
-
- the first Pontrjagin class (in view of Poincaré duality, we will freely use such identifications as
etc.);
-
-the Kirby-Siebenmann class (obstruction to smoothing the
-manifold
).
Note that all the other Stiefel-Whitney classes are uniquely determined as ,
by the well-known Wu formulas and
by trivial reasons. Also, the class
may need some comment. In general, Pontrjagin classes for
manifolds (or
microbundles) are defined as rational cohomology classes. The class
is an exception, due to the equality
, see [Jupp1973] or [Kirby&Siebenmann1977]. We denote by
the canonical mapping (or rather homotopy class of mappings)
, inducing the identity
. Now, the last invariant
-
,
![H^2(M;\,\Zz/n)](/images/math/5/5/8/55831e85e9645f5aed4e910e0de9aedd.png)
![n](/images/math/e/4/a/e4a3f5f7a18b1ed0ee22a93864ad15d8.png)
![\mu](/images/math/0/3/7/037705c0ce8ca60c746cc75e84f6d81f.png)
![\displaystyle H^2(G,2;\,\Zz/n)^3\to\Zz/n, \quad 2\le n\le\infty](/images/math/d/e/d/dedd51ab8b9336ad3e3dd866c4672669.png)
![x,y,z\mapsto\langle xyz,\mu\rangle](/images/math/5/7/9/579315d8307d52e16315fb080d4383c2.png)
![H^2(G,2;\,\Zz/n)](/images/math/a/1/4/a1449fc63994be0d72ed5a019bb9c6cf.png)
![H^2(M;\,\Zz/n)](/images/math/5/5/8/55831e85e9645f5aed4e910e0de9aedd.png)
![\langle xyz,\mu\rangle](/images/math/6/3/f/63f3366b4f0019ef0fff429722599601.png)
![\langle xyz,[M]\rangle](/images/math/e/e/6/ee69a0045dea68d122a89ed53b64b685.png)
![xyz](/images/math/e/0/9/e099d3c25d909ee7a1707d093b4d0f39.png)
![\displaystyle x,y\mapsto\langle P(x)y,\mu \rangle \in\Zz/2^{m+1}](/images/math/8/2/3/8239a98ccf7662b6747760b0e8467664.png)
![x\in H^2(G,2;\,\Zz/2^m)](/images/math/8/5/8/8583f370750567e2b7d9cd5066d748b1.png)
![y\in H^2(G,2;\,\Zz/2^{m+1})](/images/math/c/2/b/c2bc22c71be4e6ae856294bbd493089a.png)
![\displaystyle x\mapsto\langle P_3(x),\mu \rangle \in\Zz/3^{m+1}](/images/math/f/2/d/f2d8221f69e02541498e64f0d8552377.png)
![x\in H^2(G,2;\,\Zz/3^m)](/images/math/5/f/f/5ff00b20a118d316243ba8a1af35c2cb.png)
![H_6(G,2)](/images/math/7/2/c/72c8f9ab3fc0772846aa0fb2520d69d6.png)
![\mu](/images/math/0/3/7/037705c0ce8ca60c746cc75e84f6d81f.png)
2.3 Relations for classical invariants
There are two evident restrictions for invariants and
:
-
;
-
is a finitely generated abelian group
(where the first one follows from the existence of non-singular skew-symmetric form on ). There are two more restrictions (Wu relations):
- (
)
for all
,
- (
)
=
for all
.
These relations are given in [Wall1966, Theorem 3]. Wall formulates them for torsion-free case and in integral form (and for smooth category), but the argument for general case is the same. We call them ``Wu relations´´ because (as Wall points out) they are easily deduced from the well-known Wu formula for
-coefficients, and its certain analogue for
. Note that (
) could be also written as
, having in mind multiplication ``on
´´.
2.4 Further notation
![m](/images/math/f/5/2/f52ba22baf75438bb1b02f476954c023.png)
![1\le m\le\infty](/images/math/6/5/d/65dbc236a354cc977c31c616ac2d08d8.png)
![\mathcal{E}_m(w)](/images/math/f/3/5/f35a6220e544c18c9d169c10554f15a3.png)
![\omega\in H^2(G,2;\,\Zz/2^m)](/images/math/2/e/e/2eec634d8342672610a9e3a16df45b01.png)
![\rho_2(\omega)=w](/images/math/c/0/0/c006d2a169781152c896a1e5f58bcae0.png)
![\mathcal{E}_1(w)=\{w\}](/images/math/4/1/d/41d74f43c097499f4d0f33a0530bbdcb.png)
![\mathcal{E}_m(w)](/images/math/f/3/5/f35a6220e544c18c9d169c10554f15a3.png)
![m](/images/math/f/5/2/f52ba22baf75438bb1b02f476954c023.png)
![\mathrm{h}(w)](/images/math/0/b/2/0b25fb3a9545f5da23c51930c8dec131.png)
![\sup\{m\mid\mathcal{E}_m(w)\ne\varnothing\}\in\mathbb{N}\cup\infty](/images/math/a/3/3/a3336ac599c4567d1fd310419da63f4b.png)
![m](/images/math/f/5/2/f52ba22baf75438bb1b02f476954c023.png)
![\{2,\ldots,\mathrm{h}(w)\}](/images/math/4/2/a/42a8e61b377900b0b50c1e43492ce38b.png)
![\omega\in\mathcal{E}_m(w)](/images/math/4/3/e/43eb976cb412302692aa9c20bf277309.png)
![x\in H^2(G,2;\,\Zz/2^{m-1})](/images/math/8/5/e/85ed40c7904a262d935458582fb741e5.png)
![R_1](/images/math/9/5/c/95c2701ac5d2d2ef3b67f49fa7bfaa28.png)
![\displaystyle \rho_2\langle \omega P(x),\mu \rangle=\langle wx^2, \mu \rangle = 0.](/images/math/7/a/8/7a81ba3c1bf067c312ce620253bc3a41.png)
![\langle \omega P(x) \rangle](/images/math/8/7/b/87b172ad2d71b5e2d3ca909c34f4f5d7.png)
![i_2:\Zz/2^{m-1}\to\Zz/2^m](/images/math/5/6/3/563fd2199f60110518ead1302bfb863b.png)
![\displaystyle R_\mu(\omega,x)=\langle \omega^2x+3i_2^{-1}\omega P(x)+x^3,\mu \rangle \in \Zz/2^{m-1}.](/images/math/9/b/0/9b02c1e15acdc3880e4a392fb359cf96.png)
![\displaystyle R_\mu(\omega,x+y)-R_\mu(\omega,x)-R_\mu(\omega,x)=3\langle xy(x+y+\omega),\mu \rangle,](/images/math/d/6/a/d6ae3461bf1ae5c35479f6b4aae34a32.png)
![R_\mu(\omega,x)](/images/math/c/e/0/ce0fa1433a933e7385b8176e62f499d3.png)
![x](/images/math/8/7/2/8725029ea89712eed8670bae64d30e47.png)
![m=2](/images/math/c/0/3/c036eda25052e3aeb86c38dea729d5bd.png)
![R_1](/images/math/9/5/c/95c2701ac5d2d2ef3b67f49fa7bfaa28.png)
2.5 Special invariants
There is a detailed treatment in [Zhubr2000]. Here we only give a formal description. For each there are functions
-
,
-
.
In what follows, the values of at
will be written either
or
, depending on convenience. These functions satisfy the following set of identities (which are considered to be part of the definition, whereas the relations define the range):
- [
]
(first coefficient formula),
- [
]
(second coefficient formula)
for , and
- [
]
(first difference formula),
- [
]
(second difference formula)
for .
Remark 2.1.
- In view of these identities, one easily sees that the functions
and
are completely determined by their values at some fixed
. Thus, if we could make a canonical choice, then our couple of invariants would trivialize to just
. Evidently, such canonical choice is impossible in general, however in the spin case one can take
(with
).
- From (
) it easily follows that
is in fact determined by
, so our list of invariants could be reduced by 1, at the cost of reduced convenience.
2.6 Relations for special invariants
- (
)
for
,
- (
)
for
,
- (
)
for
.
2.7 The splitting theorem
Wall in [Wall1966] proves the following
Theorem 2.2.
Let be a closed, smooth, 1-connected 6-manifold. Then we can write
as a connected sum
, where
is finite and
is a connected sum of copies of
.
This theorem allows to restrict the classification problem to the case where . The proof is rather easy and basically reduces to realizing the standard ``symplectic´´ basis of
with embedded 3-spheres (and applying ``Whitney trick´´ where necessary). As is pointed out in [Jupp1973], the same argument works for
category. Note that Wall does not state the uniqueness of
in this theorem, however uniqueness follows from his classification theorem [Wall1966, Theorem 5] for smooth, spin, torsion-free manifolds. Likewize, uniqueness of the above splitting follows for all torsion-free manifolds (both in
and
) from the results of [Jupp1973], and in full generality from the general classification theorem of [Zhubr2000] (see below). Note that the invariants (except
of course) are ``insensitive´´ to connected summing with
(this is evident for classical invariants, while for
we refer to their definition in [Zhubr2000]). It should be also noted that the uniqueness statement for Theorem 2.2 was proved directly (independent of classification) in [Zhubr1973].
2.8 Functorial behaviour of invariants
Consider the set of invariants ,
,
,
,
,
,
(with
left out). We divide these into two subsets:
and
. We say that the set
is admissible for
if
,
etc. satisfy all the identities and relations given above (these invariants are now regarded in ``abstract´´ way, irrelative to any manifold). Let
denote the collection of all admissible sets of invariants for
. Consider now the category
of finitely generated abelian groups, and the category
, whose objects are homomorphisms
with
, and whose morphisms are commutative diagrams of the form
![\displaystyle \xymatrix{G\ar[rr]\ar[dr]^w && G'\ar[dl]_{w'} \\ & \Zz/2}](/images/math/f/7/3/f73f60e0a43b3886d5b85edb6c4865e7.png)
For each morphism , we can define the induced map
in a natural way: if
, then we set
with
,
, and so on (the rest is quite evident). One easily verifies that the new invariant set is admissible again. Hence we have a functor
.
2.9 Classification theorem (the general case)
We use the notation for the subset of
, defined by the equation
. For any
and
, let
be the set
. The following theorem [Zhubr2000], Theorem 6.3] gives the topological and differential classification of all closed oriented simply connected 6-manifolds.
Theorem 2.3.
(1) Let and
, where
. An isomorphism
is induced by orientation-preserving homeomorphism
if and only if
(completeness of the set of invariants). (2) For each
there exists
with
and
(completeness of the set of relations). (3) If manifolds
and
(statement (1)) are provided with smooth structures, then homeomorphism
can be chosen smooth.
Remark 2.4.
- The clause "only if" of the statement (1) is tautological (it just says that our invariants are invariants indeed).
- For any
let
denote the set of homeomorphism classes of pairs
, where
and
is an isomorphism with
. One can say that
is the set of (homeomorphism classes of) manifolds with prescribed homology and second Stiefel-Whitney class. We can write (taking some liberty in notations):
Now we have the natural maps, and from the above theorem it follows that all these maps are bijections.
- From the statement (3) it evidently follows that a closed simply connected 6-manifold has at most one (up to homeomorphism) smooth structure (Hauptvermutung).
2.10 The spin case
...
2.11 The torsion-free case
...
3 Examples and constructions
We first present some familiar 6-manifolds.
-
, the 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
.
- The smooth manifold underlying any 1-connected complex manifold of dimension 3 is a 1-connected 6-manifold:
- in particular, every complete intersection of complex dimension 3 is a 1-connected 6-manifold.
- Let
be an
-component framed link and let denote by
the outcome of surgery on
. Then
is a simply connected spinable 6-manifold with
and
.
4 References
- [Jupp1973] P. E. Jupp, Classification of certain
-manifolds, Proc. Cambridge Philos. Soc. 73 (1973), 293–300. MR0314074 (47 #2626) Zbl 0249.57005
- [Kirby&Siebenmann1977] R. C. Kirby and L. C. Siebenmann, Foundational essays on topological manifolds, smoothings, and triangulations, Princeton University Press, Princeton, N.J., 1977. MR0645390 (58 #31082) Zbl 0361.57004
- [Okonek&Van de Ven1995] C. Okonek and A. Van de Ven, Cubic forms and complex
-folds, Enseign. Math. (2) 41 (1995), no.3-4, 297–333. MR1365849 (97b:32035) Zbl 0869.14018
- [Smale1962] S. Smale, On the structure of
-manifolds, Ann. of Math. (2) 75 (1962), 38–46. MR0141133 (25 #4544) Zbl 0101.16103
- [Thomas1956] E. Thomas, A generalization of the Pontrjagin square cohomology operation, Proc. Nat. Acad. Sci. U.S.A. 42 (1956), 266–269. MR0079254 (18,57b) Zbl 0071.16302
- [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
- [Zhubr1973] A. V. Zhubr, A decomposition theorem for simply connected 6-manifolds, LOMI seminar notes 36 (1973), 40–49. (Russian)
- [Zhubr1975] A. V. Zhubr, Classification of simply connected six-dimensional spinor manifolds, (English) Math. USSR, Izv. 9 (1975), (1976), 793–812 . Zbl 0337.57004
- [Zhubr2000] A. V. Zhubr, Closed simply connected six-dimensional manifolds: proofs of classification theorems, Algebra i Analiz 12 (2000), no.4, 126–230. MR1793619 (2001j:57041)