7.1 KiB
| title | chunk | source | category | tags | date_saved | instance |
|---|---|---|---|---|---|---|
| Classification of manifolds | 2/3 | https://en.wikipedia.org/wiki/Classification_of_manifolds | reference | science, encyclopedia | 2026-05-05T09:08:22.311632+00:00 | kb-cron |
==== Computability ==== The Euler characteristic is a homological invariant, and thus can be effectively computed given a CW structure, so 2-manifolds are classified homologically. Characteristic classes and characteristic numbers are the corresponding generalized homological invariants, but they do not classify manifolds in higher dimension (they are not a complete set of invariants): for instance, orientable 3-manifolds are parallelizable (Steenrod's theorem in low-dimensional topology), so all characteristic classes vanish. In higher dimensions, characteristic classes do not in general vanish, and provide useful but not complete data. Manifolds in dimension 4 and above cannot be effectively classified: given two n-manifolds (
n
≥
4
{\displaystyle n\geq 4}
) presented as CW complexes or handlebodies, there is no algorithm for determining if they are isomorphic (homeomorphic, diffeomorphic). This is due to the unsolvability of the word problem for groups, or more precisely, the triviality problem (given a finite presentation for a group, is it the trivial group?). Any finite presentation of a group can be realized as a 2-complex, and can be realized as the 2-skeleton of a 4-manifold (or higher). Thus one cannot even compute the fundamental group of a given high-dimensional manifold, much less a classification. This ineffectiveness is a fundamental reason why surgery theory does not classify manifolds up to homeomorphism. Instead, for any fixed manifold M it classifies pairs
(
N
,
f
)
{\displaystyle (N,f)}
with N a manifold and
f
:
N
→
M
{\displaystyle f\colon N\to M}
a homotopy equivalence, two such pairs,
(
N
,
f
)
{\displaystyle (N,f)}
and
(
N
′
,
f
′
)
{\displaystyle (N',f')}
, being regarded as equivalent if there exist a homeomorphism
h
:
N
→
N
′
{\displaystyle h\colon N\to N'}
and a homotopy
f
′
h
∼
f
:
N
→
M
{\displaystyle f'h\sim f\colon N\to M}
.
=== Positive curvature is constrained, negative curvature is generic === Many classical theorems in Riemannian geometry show that manifolds with positive curvature are constrained, most dramatically the 1/4-pinched sphere theorem. Conversely, negative curvature is generic: for instance, any manifold of dimension
n
≥
3
{\displaystyle n\geq 3}
admits a metric with negative Ricci curvature. This phenomenon is evident already for surfaces: there is a single orientable (and a single non-orientable) closed surface with positive curvature (the sphere and projective plane), and likewise for zero curvature (the torus and the Klein bottle), and all surfaces of higher genus admit negative curvature metrics only. Similarly for 3-manifolds: of the 8 geometries, all but hyperbolic are quite constrained.
== Overview by dimension == Dimension 0 is trivial and 1 is straightforward. Low dimension manifolds (dimensions 2 and 3) admit geometry. Middle dimension manifolds (dimension 4 differentiably) exhibit exotic phenomena. High dimension manifolds (dimension 5 and more differentiably, dimension 4 and more topologically) are classified by surgery theory. Thus dimension 4 differentiable manifolds are the most complicated: they are neither geometrizable (as in lower dimension), nor are they classified by surgery (as in higher dimension or topologically), and they exhibit unusual phenomena, most strikingly the uncountably infinitely many exotic differentiable structures on R4. Notably, differentiable 4-manifolds is the only remaining open case of the generalized Poincaré conjecture. One can take a low-dimensional point of view on high-dimensional manifolds and ask "Which high-dimensional manifolds are geometrizable?", for various notions of geometrizable (cut into geometrizable pieces as in 3 dimensions, into symplectic manifolds, and so forth). In dimension 4 and above not all manifolds are geometrizable, but they are an interesting class. Conversely, one can take a high-dimensional point of view on low-dimensional manifolds and ask "What does surgery predict for low-dimensional manifolds?", meaning "If surgery worked in low dimensions, what would low-dimensional manifolds look like?" One can then compare the actual theory of low-dimensional manifolds to the low-dimensional analog of high-dimensional manifolds, and see if low-dimensional manifolds behave "as you would expect": in what ways do they behave like high-dimensional manifolds (but for different reasons, or via different proofs) and in what ways are they unusual?
== Dimensions 0 and 1 ==
There is a unique connected 0-dimensional manifold, namely the point, and disconnected 0-dimensional manifolds are just discrete sets, classified by cardinality. They have no geometry, and their study is combinatorics. A connected compact 1-dimensional manifold without boundary is homeomorphic (or diffeomorphic if it is smooth) to the circle. A second countable, non-compact 1-dimensional manifold is homeomorphic or diffeomorphic to the real line. Dropping the assumption of second countability one gets two additional manifolds: the long line, and a space formed from a ray of the real line and a ray of the long line meeting at a point. The study of maps of 1-dimensional manifolds are a non-trivial area. For example:
Groups of diffeomorphisms of 1-manifolds are quite difficult to understand finely Maps from the circle into the 3-sphere (or more generally any 3-dimensional manifold) are studied as part of knot theory.
== Dimensions 2 and 3: geometrizable ==
Every connected closed 2-dimensional manifold (surface) admits a constant curvature metric, by the uniformization theorem. There are 3 such curvatures (positive, zero, and negative). This is a classical result, and as stated, easy (the full uniformization theorem is subtler). The study of surfaces is deeply connected with complex analysis and algebraic geometry, as every orientable surface can be considered a Riemann surface or complex algebraic curve. While the classification of surfaces is classical, maps of surfaces is an active area; see below. Every closed 3-dimensional manifold can be cut into pieces that are geometrizable, by the geometrization conjecture, and there are 8 such geometries. This is a recent result, and quite difficult. The proof (the Solution of the Poincaré conjecture) is analytic, not topological.
== Dimension 4: exotic ==