A hyperbolic 3-manifold is a three‑dimensional manifold equipped with a complete Riemannian metric of constant sectional curvature $-1$. Equivalently, it is a space that is locally modeled on hyperbolic 3‑space $\mathbb{H}^3$; that is, each point has a neighborhood isometric to an open set in $\mathbb{H}^3$. Such manifolds are oriented unless otherwise specified, and the hyperbolic metric is unique up to isometry for a given topological type when the manifold is of finite volume.
Definition and Construction
- Geometric structure: A hyperbolic 3‑manifold $M$ can be expressed as the quotient $M = \mathbb{H}^3 / \Gamma$, where $\Gamma$ is a discrete, torsion‑free subgroup of the orientation‑preserving isometry group $\mathrm{Isom}^+(\mathbb{H}^3) \cong \mathrm{PSL}(2,\mathbb{C})$. The subgroup $\Gamma$ is called a Kleinian group.
- Completeness: The metric on $M$ is complete, meaning that every Cauchy sequence converges within the manifold.
- Finite vs. infinite volume: Hyperbolic 3‑manifolds are classified according to the volume of the quotient. Those with finite volume are of particular interest; they can be either closed (compact without boundary) or cusped (non‑compact with finitely many ends, each homeomorphic to $T^2 \times [0,\infty)$, where $T^2$ is a torus).
Key Theorems
- Mostow–Prasad Rigidity (1973): For hyperbolic 3‑manifolds of finite volume, the hyperbolic metric is uniquely determined by the underlying topological (or, equivalently, the fundamental) group. Consequently, any isomorphism between the fundamental groups of two such manifolds is induced by a unique isometry.
- Thurston’s Hyperbolization Theorem (1978): Provides conditions under which a 3‑manifold admitting a Haken structure can be given a hyperbolic metric. This theorem was a central component of William Thurston’s geometrization program, later completed by Grigori Perelman.
- Geometrization Conjecture (now Theorem): States that every compact 3‑manifold can be decomposed into pieces that each admit one of eight possible Thurston geometries; the hyperbolic geometry is the most prevalent among these pieces.
Examples
- Figure‑eight knot complement: The complement of the figure‑eight knot in $S^3$ is a finite‑volume, non‑compact hyperbolic 3‑manifold with a single cusp. It is the simplest known hyperbolic knot complement.
- Weeks manifold: The closed hyperbolic 3‑manifold of smallest known volume (approximately 0.9427). It is obtained as a quotient of $\mathbb{H}^3$ by a specific arithmetic Kleinian group.
- Arithmetic manifolds: Manifolds derived from arithmetic Kleinian groups, such as those associated with the Bianchi groups $\mathrm{PSL}(2,\mathcal{O}_d)$ where $\mathcal{O}_d$ is the ring of integers in $\mathbb{Q}(\sqrt{-d})$.
Invariants and Geometry
- Volume: For finite‑volume hyperbolic 3‑manifolds, volume is a topological invariant due to Mostow rigidity. Volumes are well‑ordered and form a discrete set with accumulation point at infinity.
- Chern–Simons invariant: Provides a secondary invariant related to the hyperbolic structure.
- Length spectrum: The set of lengths of closed geodesics, counted with multiplicities, is another invariant determined by the hyperbolic metric.
- Boundary at infinity: Each non‑compact finite‑volume hyperbolic 3‑manifold has a conformal boundary consisting of a finite collection of tori (the cusp cross sections).
Applications and Significance
- Low‑dimensional topology: Hyperbolic 3‑manifolds constitute the generic case in Thurston’s picture of 3‑manifolds; most 3‑manifolds are hyperbolic after appropriate decomposition.
- Quantum topology: The hyperbolic volume appears in conjectural relationships with quantum invariants such as the Kashaev invariant and the Colored Jones polynomial (the Volume Conjecture).
- Geometric group theory: The fundamental groups of hyperbolic 3‑manifolds are examples of word‑hyperbolic groups, providing concrete instances for the study of group actions on $\mathbb{H}^3$.
- Mathematical physics: Hyperbolic 3‑manifolds serve as models for certain spacetime geometries in general relativity and are studied in the context of AdS/CFT correspondence.
Research Directions
Current research topics include the classification of hyperbolic 3‑manifolds with prescribed volume bounds, the study of deformation spaces (character varieties) of Kleinian groups, connections between hyperbolic invariants and number theory (e.g., arithmeticity), and the development of computational tools for triangulating and visualizing hyperbolic manifolds (e.g., SnapPy).