Thurston's Eight Geometries and Geometrization
The Eight Model Geometries
Thurston identified exactly eight maximal, simply connected, homogeneous Riemannian 3-manifolds that admit compact quotients. Every closed 3-manifold decomposes into pieces, each carrying one of these geometries.
| Geometry | Model Space | Curvature | Isometry Group |
|---|---|---|---|
| $S^3$ | Round 3-sphere | $\mathrm{sec} = +1$ | $O(4)$ |
| $\mathbb{E}^3$ | Euclidean 3-space | $\mathrm{sec} = 0$ | $\mathbb{R}^3 \rtimes O(3)$ |
| $\mathbb{H}^3$ | Hyperbolic 3-space | $\mathrm{sec} = -1$ | $\mathrm{PSL}(2,\mathbb{C})$ |
| $S^2 \times \mathbb{R}$ | Product | Mixed: +1 and 0 | $O(3) \times \mathbb{R}$ |
| $\mathbb{H}^2 \times \mathbb{R}$ | Product | Mixed: -1 and 0 | $\mathrm{PSL}(2,\mathbb{R}) \times \mathbb{R}$ |
| $\widetilde{\mathrm{SL}_2\mathbb{R}}$ | Universal cover | Mixed | 4-dimensional |
| Nil | Heisenberg group | Mixed | 4-dimensional |
| Sol | Solvable group | Mixed | 3-dimensional |
The first three are the isotropic geometries (constant curvature). The remaining five have preferred directions and lower-dimensional isometry groups.
How Ricci Flow Detects the Decomposition
The remarkable fact is that Ricci flow with surgery naturally produces the geometric decomposition predicted by Thurston. Each geometry appears through a distinct mechanism:
Spherical Pieces ($S^3$ geometry)
Regions where curvature concentrates and the metric becomes nearly round undergo neck pinching. Surgery cuts along these necks, and the resulting caps are diffeomorphic to $S^3$ or $S^3/\Gamma$. These pieces carry the $S^3$ geometry and are detected by the singularity analysis.
Flat, Nil, and Sol Geometries (Collapse)
Manifolds carrying $\mathbb{E}^3$, Nil, or Sol geometry collapse under the rescaled flow $\tilde{g}(t) = t^{-1}g(t)$ as $t \to \infty$. The injectivity radius shrinks to zero with bounded curvature, and these pieces appear in the thin part $M_{\mathrm{thin}}$ as graph manifolds.
Hyperbolic Pieces ($\mathbb{H}^3$ geometry)
The non-collapsed thick part $M_{\mathrm{thick}}$ converges to a complete finite-volume hyperbolic manifold as $t \to \infty$. These pieces survive indefinitely under the flow and are identified by Mostow rigidity.
Product Geometry ($S^2 \times \mathbb{R}$)
Manifolds with $S^2 \times \mathbb{R}$ geometry appear in the prime decomposition as the connecting pieces between summands. The Ricci flow on such pieces converges to the standard product metric, and they split off during the topological decomposition.
The Geometrization Theorem
Theorem (Thurston Conjecture, proved by Perelman)
Every closed, orientable 3-manifold $M$ admits a decomposition along a finite collection of embedded 2-spheres and tori into pieces, each of which carries one of Thurston's eight geometries. This decomposition is canonical: the spheres come from the prime decomposition (Kneser-Milnor) and the tori from the JSJ decomposition.