This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| hyperbolic plane | |
|---|---|
| Name | Hyperbolic plane |
| Type | Non-Euclidean geometry |
| Curvature | Constant negative |
| Models | Poincaré disk, Poincaré half-plane, Klein model, hyperboloid model |
hyperbolic plane The hyperbolic plane is a two-dimensional surface exhibiting constant negative curvature, arising as a model of non-Euclidean geometry developed in the 19th century. It contrasts with the Euclidean geometry of Euclid and connects to developments by Gauss, Lobachevsky, and Bolyai; later formalized through work of Riemann, Poincaré, and Hilbert. The hyperbolic plane underpins modern theories in Klein bottle-related topology, Riemann surface theory, and influences research in General relativity, Thurston’s geometrization, and Turing-inspired computation.
The hyperbolic plane is defined axiomatically by altering Euclid’s parallel postulate: through a point not on a given line there are at least two distinct lines not intersecting the given line, a stance traced to Lobachevsky and Bolyai and contrasted with Riemann’s elliptic geometry. Fundamental properties include constant Gaussian curvature −1 (up to scale) as in models used by Beltrami and Poincaré; angle sums of triangles are less than 180°, and area of a geodesic triangle depends solely on its angle deficit, a principle appearing in Gauss’s Theorema Egregium and in Euler-related area formulas. The space is simply connected, complete, and serves as the universal cover for many closed surfaces studied by Fuchs- and Teichmüller-era researchers.
Several models furnish equivalent realizations. The Poincaré disk model (associated to Poincaré) represents points inside a unit disk and maps Möbius transformations studied by Möbius and Riemann to isometries; the Poincaré half-plane model places the geometry in the upper half of the complex plane and connects to Modular group actions and Dedekind eta function identities. The Klein model (projective model) is tied to Klein’s Erlangen program and linear fractional transformations prominent in Felix Klein’s work. The hyperboloid model uses the two-sheeted hyperboloid in Minkowski space, linking to Minkowski geometry and Lorentz transformations relevant to Einstein’s relativity. Beltrami’s representation gave early realizations with references to Beltrami and Hilbert.
Geodesics in each model correspond to curves of locally shortest length: arcs of circles orthogonal to the disk boundary in the Poincaré disk model, vertical lines and semicircles in the Poincaré half-plane model, and straight lines in the Klein model as in Projective geometry. Distance formulas derive from line elements introduced by Riemann and used in Poincaré’s work; in the upper half-plane the hyperbolic metric relates to the complex structure central to Riemann surface theory and to the Modular group action. Angle measure is preserved in conformal models (Poincaré models) which informed Gauss’s and Cauchy’s analytic studies; angle sums lead to trigonometric identities analogous to those by Napier and applied later by Hurwitz.
Isometries form a group isomorphic to PSL(2, R) in many analytic treatments, a connection exploited by Poincaré in automorphic function theory and by Selberg and Langlands in spectral studies. Discrete subgroups—Fuchsian groups—act properly discontinuously, producing quotients related to compact Riemann surfacees and to moduli spaces investigated by Teichmüller and Mumford. Continuous symmetry connects to Lie group theory as developed by Lie and integrated into modern representation theory by Weyl, Harish-Chandra, and Cartan.
Curvature in the hyperbolic plane is constant and negative, a concept formalized by Gaussian curvature in Gauss’s work and generalized by Riemann in higher dimensions. Metric tensors realizing constant negative curvature are central in Riemannian geometry and in the metric approaches of Cartan and Eisenhart. Comparisons to Euclid’s flat plane reveal phenomena such as exponential growth of area with radius (contrast to Archimedes-style Euclidean area growth), divergence of parallel lines, and unique triangle inequalities explored by Hilbert and Alexandrov.
Regular tessellations by polygons occur with Schläfli symbols {p,q} satisfying (p−2)(q−2)>4, a classification tied to Schläfli and to Coxeter’s reflections. Such tessellations produce orbifolds and quotient surfaces studied by Thurston in the context of three-manifold geometrization and by W. Thurston’s collaborators. Fuchsian groups generate discrete tilings and link to Modular group, Hecke operators, and automorphic forms central to Selberg trace formula and to Atkin–Lehner theory. Combinatorial constructions relate to Coxeter groups and to growth questions pursued by Gromov.
In mathematics, the hyperbolic plane underlies the theory of Riemann surfacees, Teichmüller theory, and spectral geometry studied by Selberg and Atiyah; it informs group theory via Fuchsian groups and geometric group theory advanced by Gromov and Milnor. In physics, hyperbolic geometry appears in models of General relativity through anti-de Sitter space and in cosmological models inspired by Friedmann and Lemaître; the hyperboloid model ties to Minkowski spacetime and to symmetry groups used in Einstein and Lorentzian frameworks. Connections extend to modern network theory and data science where hyperbolic embeddings relate to work by Krioukov and to applications in complex networks studied by Watts and Barabási.