hyperbolic 3‑manifold

hyperbolic 3‑manifold
Name	Hyperbolic 3‑manifold
Curvature	−1 (constant negative)
Examples	Weeks manifold, Thurston manifold, Borromean rings complement

hyperbolic 3‑manifold is a complete Riemannian 3‑manifold locally modeled on three‑dimensional hyperbolic space with constant sectional curvature −1. Such manifolds arise as quotients of hyperbolic space by discrete torsion‑free subgroups of Isom(H^3), and they play a central role in the work of William Thurston, Gromov, Perelman, and Mostow on 3‑dimensional topology and geometric structures. Hyperbolic 3‑manifolds connect deeply to the theories of Kleinian groups, Teichmüller space, Dehn surgery, and the study of 3‑manifold invariants such as volume and the Chern–Simons invariant.

Definition and basic properties

A hyperbolic 3‑manifold is defined as M = H^3/Γ where Γ is a discrete torsion‑free subgroup of PSL(2,C), a component of Isom(H^3), so that M inherits a complete metric of curvature −1; classical sources include Felix Klein and Henri Poincaré. Local geometric properties follow from the model geometry of Hyperbolic space and the classification of isometries into loxodromic, parabolic, and elliptic types, studied by Kleinian group theory and the work of Ahlfors, Bers, and Maskit. Topological finiteness results, such as the tameness theorem proved by Agol and independently by Calegari and Gabai, assert that finitely generated Γ yields a manifold homeomorphic to the interior of a compact 3‑manifold, linking to foundational results of Haken and Jaco–Shalen–Johannson decomposition.

Examples and constructions

Standard closed examples include the Weeks manifold and the Meyerhoff manifold constructed through intensive census work by Jeff Weeks and Robert Meyerhoff using ideal tetrahedra and gluing equations from Thurston; these constructions use the SnapPea program developed by Weeks. Cusped examples include the complement of the figure‑eight knot and the Borromean rings complement studied by Adams and Neumann using ideal triangulations and Epstein‑Penner decompositions from Epstein and Penner. Arithmetic constructions produce examples via arithmetic lattices from Borel and Harder built from quaternion algebras over number fields, related to Margulis and Takeuchi classifications. Many examples arise by Dehn filling on cusped manifolds following techniques in Thurston and enumerations by Callahan and Weeks.

Geometry and topology relations

Thurston’s geometrization program, culminating in work by Perelman on Ricci flow with surgery and foundational theorems by Thurston on hyperbolization for Haken manifolds, ties geometric structure to JSJ decompositions of 3‑manifolds developed by Jaco, Shalen, and Johannson. The interplay between Kleinian group limits, the ending lamination theorem of Brock, Canary, and Minsky, and deformation spaces on Teichmüller space illuminates how conformal boundary data determine hyperbolic structures, a perspective shaped by Ahlfors–Bers theory and Sullivan’s dictionary relating dynamics of rational maps to Kleinian groups. Surface subgroup results of Kahn and Markovic ensure abundance of immersed π1‑injective surfaces, connecting to virtual Haken conjectures proved by Agol.

Volumes and invariants

Volume is a topological invariant for finite‑volume hyperbolic 3‑manifolds by the celebrated rigidity of Mostow–Prasad theorem; minimal volume examples include the Weeks manifold studied by Chinburg and Friedman. Secondary invariants include the Chern–Simons invariant examined by Johnson and Reid, and quantum invariants such as Witten–Reshetikhin–Turaev invariants related to work of Witten and Reshetikhin–Turaev. Invariants arising from geometric analysis include length spectra, complex length invariants developed by Neumann and Zagier, and analytic torsion studied by Ray and Singer. Relations to low‑dimensional topology connect volumes to combinatorial data via ideal triangulations and to the study of the character variety introduced by Culler and Shalen.

Hyperbolic Dehn surgery and deformation theory

Thurston’s hyperbolic Dehn surgery theorem provides that most Dehn fillings on a cusped hyperbolic 3‑manifold yield closed hyperbolic manifolds, an approach used by Thurston and computationally implemented by SnapPea and SnapPy by Weeks. Deformation theory of hyperbolic structures is governed by the cohomological framework of Weil and the study of the representation variety Hom(π1(M),PSL(2,C)) investigated by Goldman and Morgan; bending deformations, bending laminations, and quakebends appear in work of Thurston and Bonahon. Limits of hyperbolic structures, algebraic and geometric convergence, and the role of ending laminations are central in the ending lamination theorem of Brock, Canary, and Minsky.

Rigidity and Mostow–Prasad theorem

Mostow rigidity, extended by Prasad to noncompact finite‑volume cases, states that complete finite‑volume hyperbolic metrics on a closed or cusped 3‑manifold are unique up to isometry, implying topological invariance of volume and rigidity of geometric data; foundational proofs engage techniques from Margulis’s superrigidity, analysis on locally symmetric spaces by Borel, and ergodic theory contributions from Moore. Consequences include strong constraints on mapping class group actions, relations to arithmeticity criteria of Margulis, and uniqueness results used in classification programs by Thurston and Perelman.

Arithmetic hyperbolic 3‑manifolds

Arithmetic hyperbolic 3‑manifolds arise from arithmetic lattices in PSL(2,C) constructed using quaternion algebras over number fields as in work by Borel, Takeuchi, and Maclachlan–Reid. Examples relate to classical objects such as the Weeks and Meyerhoff manifolds where arithmeticity questions were resolved by Neumann and Reid; arithmetic manifolds connect to Langlands‑type correspondences and automorphic forms studied by Langlands and Gelbart, and to spectral properties investigated by Selberg and Vignéras. Virtual properties, including virtual fibering and virtual Haken results proved by Agol, apply to many arithmetic examples and link to subgroup separability established in work of Wise and Haglund.

Category:3‑manifolds