4-manifolds: 1-connected
Line 44: | Line 44: | ||
q_{\mathbb{CP}^2 \# \overline{\mathbb{CP}^2}} = \begin{pmatrix} \ 1 \ & \ 0 \ \\ 0 & -1 \end{pmatrix} . | 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. | |
</wikitex> | </wikitex> | ||
− | === Hypersurfaces in | + | === Hypersurfaces in CP<sup>3</sup>} === |
<wikitex>; | <wikitex>; | ||
Line 59: | Line 59: | ||
</wikitex> | </wikitex> | ||
− | === The | + | === The E<sub>8</sub> manifold === |
<wikitex>; | <wikitex>; | ||
Line 69: | Line 69: | ||
</wikitex> | </wikitex> | ||
− | == | + | == Topological classification == |
<wikitex>; | <wikitex>; | ||
... | ... | ||
</wikitex> | </wikitex> | ||
+ | |||
+ | == Non-existence results for smooth 4-manifolds == | ||
+ | <wikitex>; | ||
+ | ... | ||
+ | </wikitex> | ||
+ | |||
+ | == The Seiberg-Witten invariants == | ||
+ | <wikitex>; | ||
+ | ... | ||
+ | </wikitex> | ||
+ | |||
+ | == Failure of the h-cobordism theorem == | ||
+ | <wikitex>; | ||
+ | ... | ||
+ | </wikitex> | ||
+ | |||
+ | |||
== Further discussion == | == Further discussion == |
Revision as of 13:45, 8 June 2010
This page has not been refereed. The information given here might be incomplete or provisional. |
Contents |
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 , the complex projective space , the complex projective space with its opposite (non-complex) orientation , the product , various connected sums of these, and in particular .
The intersection form of the 4-sphere is the "empty form" of rank 0. The intersection forms of the others are given by
The manifolds and both have indefinite intersection forms of same rank and signature, but of different type. Therefore they are not homotopy-equvialent.
2.2 Hypersurfaces in CP3}
2.3 Elliptic surfaces
2.4 Branched coverings
2.5 The E8 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
...