4-manifolds: 1-connected

Revision as of 13:45, 8 June 2010

1 Introduction

Any finitely presentable group may occur as the fundamental group of a smooth closed 4-manifold. On the other hand, the class of simply connected (topological or smooth) 4-manifolds still appears to be quite rich, so it appears reasonable to consider the classification of simply connected 4-manifolds in particular.

It appears that the intersection form is the main algebro-topological invariant of simply-connected 4-manifolds.

Technical remark: When we mention the term 4-manifold without the explicit mention of topological or smooth we shall mean the larger class of topological 4-manifolds.

2 Construction and examples, their intersection forms

...

2.1 First examples

The first examples that come to one's mind are the 4-sphere $<!-- COMMENT: To achieve a unified layout, along with using the template below, please OBSERVE the following: besides, $...$ and $$...$$, you should use two environments: - For statements like Theorem, Lemma, Definition etc., use e.g. {{beginthm|Theorem 1|(Milnor)}} ... ... ... {{endthm}}. - For references, use e.g. {{cite|Milnor1958b}}. END OF COMMENT --> {{Stub}} == Introduction == <wikitex>; Any finitely presentable group may occur as the fundamental group of a smooth closed 4-manifold. On the other hand, the class of simply connected (topological or smooth) 4-manifolds still appears to be quite rich, so it appears reasonable to consider the classification of simply connected 4-manifolds in particular. It appears that the [[Intersection_forms|intersection form]] is the main algebro-topological invariant of simply-connected 4-manifolds. Technical remark: When we mention the term ''4-manifold'' without the explicit mention of topological or smooth we shall mean the larger class of topological 4-manifolds. </wikitex> == Construction and examples, their intersection forms == <wikitex>; ... </wikitex> === First examples === <wikitex>; The first examples that come to one's mind are the 4-sphere $S^4$, the complex projective space $\mathbb{CP}^2$, the complex projective space with its opposite (non-complex) orientation $\overline{\mathbb{CP}^2}$, the product $S^2 \times S^2$, various connected sums of these, and in particular $\mathbb{CP}^2 \# \overline{\mathbb{CP}^2}$. The intersection form of the 4-sphere is the "empty form" of rank 0. The intersection forms of the others are given by $$ q_{\mathbb{CP}^2} = ( \ 1 \ ) , $$ $$ q_{\overline{\mathbb{CP}^2}} = ( \, -1 \ ) , $$ $$ q_{S^2 \times S^2} = \begin{pmatrix} \ 0 \ & \ 1 \ \ 1 & 0 \end{pmatrix} , $$ $$ q_{\mathbb{CP}^2 \# \overline{\mathbb{CP}^2}} = \begin{pmatrix} \ 1 \ & \ 0 \ \ 0 & -1 \end{pmatrix} . $$ </wikitex> === Hypersurfaces in $\mathbb{CP}^3$ === <wikitex>; </wikitex> === Elliptic surfaces === <wikitex>; </wikitex> === Branched coverings === <wikitex>; </wikitex> === The $E_8$ manifold === <wikitex>; </wikitex> == Invariants == <wikitex>; ... </wikitex> == Classification/Characterization == <wikitex>; ... </wikitex> == Further discussion == <wikitex>; ... </wikitex> == References == {{#RefList:}} <!-- Please modify these headings or choose other headings according to your needs. --> [[Category:Manifolds]]S^4$, the complex projective space $\mathbb{CP}^2$, the complex projective space with its opposite (non-complex) orientation $\overline{\mathbb{CP}^2}$, the product $S^2 \times S^2$, various connected sums of these, and in particular $\mathbb{CP}^2 \# \overline{\mathbb{CP}^2}$.

The intersection form of the 4-sphere is the "empty form" of rank 0. The intersection forms of the others are given by

$$\displaystyle q_{\mathbb{CP}^2} = ( \ 1 \ ) ,$$

$$\displaystyle q_{\overline{\mathbb{CP}^2}} = ( \, -1 \ ) ,$$

$$\displaystyle q_{S^2 \times S^2} = \begin{pmatrix} \ 0 \ & \ 1 \ \\ 1 & 0 \end{pmatrix} ,$$

$$\displaystyle q_{\mathbb{CP}^2 \# \overline{\mathbb{CP}^2}} = \begin{pmatrix} \ 1 \ & \ 0 \ \\ 0 & -1 \end{pmatrix} .$$

The manifolds $S^2 \times S^2$ and $\mathbb{CP}^2 \# \overline{\mathbb{CP}^2}$ both have indefinite intersection forms of same rank and signature, but of different type. Therefore they are not homotopy-equvialent.

2.2 Hypersurfaces in CP³}

2.3 Elliptic surfaces

2.4 Branched coverings

2.5 The E₈ manifold

3 Invariants

...

4 Topological classification

...

5 Non-existence results for smooth 4-manifolds

...

6 The Seiberg-Witten invariants

...

7 Failure of the h-cobordism theorem

...

8 Further discussion

...

9 References