H^3 (Hyperbolic 3-space)

H^3 (Hyperbolic 3-space)
Name	H^3 (Hyperbolic 3-space)
Type	Riemannian manifold
Curvature	constant negative
Models	Poincaré ball model; upper half-space model; Klein model
Isometry group	Isometry group of orientation-preserving isometries is isomorphic to PSL(2,C)

H^3 (Hyperbolic 3-space) is the unique, simply connected, complete Riemannian 3-manifold of constant sectional curvature −1 that serves as the model space for three-dimensional non-Euclidean geometry. It is central to modern studies linking Bernhard Riemann, Henri Poincaré, Felix Klein, Lobachevsky, and Nikolai Lobachevsky’s work to contemporary research in William Thurston’s geometrization program, Grigori Perelman’s proofs, and connections with Edward Witten’s quantum field theory. H^3 admits multiple concrete models used across Évariste Galois-inspired symmetry theory, low-dimensional topology, and mathematical physics.

Definitions and models

H^3 can be defined axiomatically as the simply connected Riemannian 3-manifold with constant sectional curvature −1, a viewpoint appearing in Bernhard Riemann’s foundational work and later formalized by Elwin Bruno Christoffel and Luigi Bianchi. Standard models include the Poincaré ball model, the upper half-space model, and the Klein model, each exploited in research by Henri Poincaré, Felix Klein, Élie Cartan, and Hermann Minkowski. In the Poincaré ball model points correspond to the unit ball in Euclidean space, a formulation used in studies linked to David Hilbert and Kurt Gödel's geometric considerations; the upper half-space model maps to the Euclidean half-space, employed in analytic work by George David Birkhoff and Lars Ahlfors; the Klein model gives projective linear interpretations favored in treatments by H.S.M. Coxeter and William Rowan Hamilton.

Metric and curvature

The Riemannian metric on H^3 is chosen so the sectional curvature equals −1, a normalization appearing in texts by Elie Cartan and Marston Morse. In the upper half-space model the metric takes the form ds^2 = (dx^2+dy^2+dz^2)/z^2, a formula invoked in analyses by André Weil and Harish-Chandra. Curvature computations relate to classical work by Carl Friedrich Gauss and Bernhard Riemann and enter spectral investigations connected to Atle Selberg and H.S. S. Coxeter; the Laplace–Beltrami operator on H^3 is central in research by Ilya Piatetski-Shapiro and Goro Shimura.

Isometries and symmetry groups

The full isometry group of oriented H^3 is isomorphic to PSL(2,C), a fact elaborated in accounts by Élie Cartan, Issai Schur, and William Thurston. Discrete subgroups of PSL(2,C)—Kleinian groups—were first systematically studied by Henri Poincaré and later by Ahlfors and Lipman Bers, and they underpin connections to Kleinian group theory and manifold constructions due to John Milnor and Michael Freedman. Symmetry considerations link to representation theory in works by George Lusztig and to dynamics in research by Yakov Sinai and Dennis Sullivan.

Geodesics and horospheres

Geodesics in H^3 are curves of minimal distance and correspond to Euclidean lines or circles orthogonal to the boundary in the Poincaré models, an observation appearing in expositions by Henri Poincaré and H.S.M. Coxeter. Horospheres, level sets of Busemann functions, play roles in ergodic theorems studied by Marcel Riesz and Grigory Margulis, and in counting problems investigated by Peter Sarnak and Curt McMullen. Closed geodesics and their lengths appear in trace formulas developed by Atle Selberg and exploited in quantum chaos studies by Michael Berry.

Topology and boundary at infinity

Topologically, H^3 is homeomorphic to R^3, while its geometric compactification adds a 2-sphere boundary at infinity, a sphere used in Thurston’s ending lamination conjectures and in Sullivan’s rigidity theorems involving Dennis Sullivan and Curtis McMullen. The action of Kleinian groups on the sphere at infinity connects to work by Bernard Maskit, William Thurston, Maryam Mirzakhani, and Brian Bowditch, and has implications in the study of 3-manifolds due to Grigori Perelman and Richard Hamilton.

Volumes and geometric structures

Volumes in H^3 are finite for many hyperbolic manifolds constructed via gluing ideal tetrahedra, techniques advanced by Walter Neumann and Jeffrey Weeks, and connected to the work of Thurston on geometric structures. The Weeks manifold and other minimal-volume examples have been catalogued in research linked to Inigo Jones and modern enumerations by Ronald Riley. Volume rigidity theorems relate to the Mostow–Prasad rigidity results associated with George Mostow and Gopal Prasad, and they interlink with invariants studied by Kazuhiro Ichikawa and Don Zagier.

Applications and related topics

H^3 has applications across topology, mathematical physics, and number theory: in Thurston’s geometrization program central to William Thurston and Grigori Perelman; in the AdS/CFT correspondence popularized by Juan Maldacena and Edward Witten; in quantum invariants pioneered by Vladimir Turaev and Reshetikhin–Turaev constructions; and in arithmetic hyperbolic manifolds connected to Goro Shimura and Don Zagier. Computational and visualization work draws on software projects influenced by Jeffrey Weeks and SnapPea-era tools, while interactions with dynamics and spectral theory engage researchers such as Peter Sarnak and Dennis Sullivan.

Category:Hyperbolic geometry