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.
| Poincaré half-plane model | |
|---|---|
| Name | Poincaré half-plane model |
| Field | Non-Euclidean geometry |
| Introduced | 19th century |
| Founder | Henri Poincaré |
| Coordinates | upper half-plane |
Poincaré half-plane model The Poincaré half-plane model is a representation of two-dimensional hyperbolic geometry realized on the set of points with positive imaginary part in the complex plane, introduced in the late 19th century by Henri Poincaré. It provides a conformal model linking ideas from Carl Friedrich Gauss, Bernhard Riemann, and Nikolai Lobachevsky to concrete analyses used by Felix Klein, Emil Artin, and later by André Weil and William Thurston. The model connects to subjects such as Riemann surface, modular group, Teichmüller theory, uniformization theorem, and computational methods in John Conway-inspired circle packings.
The model consists of the upper half of the complex plane {z ∈ C : Im(z) > 0} equipped with a specific metric derived from the Riemannian metric ds^2 = (dx^2 + dy^2)/y^2, relating to constructions by Riemann and later formalized by Poincaré. Points correspond to complex numbers with positive imaginary part, while boundary points on the real axis and the point at infinity play roles similar to ideal points in the works of Eugenio Beltrami and Lobachevsky. The model is conformal in the sense emphasized by Bernhard Riemann and used in the Uniformization theorem by Pierre Deligne and Goro Shimura-related developments in number theory.
Geodesics in the model are vertical rays and semicircles orthogonal to the real axis, a description that appears in classical texts by Felix Klein and Henri Poincaré. These geodesics correspond to hyperbolic straight lines in the sense of János Bolyai and are invariant under the action of the modular group PSL(2, R), studied by Augustin Cauchy-era analysts and later by Emil Artin in algebraic contexts. Intersections, angles, and orthogonality of these geodesics are handled using techniques from Bernhard Riemann and Felix Klein’s Erlangen Program, and are central in the work of William Thurston on 3-manifolds and Max Dehn's combinatorial approaches.
The metric ds^2 = (dx^2 + dy^2)/y^2 yields constant negative Gaussian curvature K = −1, a fact tied to the curvature computations of Gauss and the differential geometric formalism of Bernhard Riemann. This constant curvature underlies comparisons with the Poincaré disk model and the Beltrami–Klein model, and informs spectral properties studied by Atle Selberg and Peter Sarnak in connection with automorphic forms and the Selberg trace formula. The curvature leads to hyperbolic area elements used in the proof frameworks of André Weil and Harish-Chandra for representation-theoretic results.
Isometries of the half-plane are Möbius transformations of the form z ↦ (az + b)/(cz + d) with real coefficients and ad − bc > 0, forming PSL(2, R), a group studied by Évariste Galois-linked algebraists such as Camille Jordan and Emil Artin. Discrete subgroups, including the classical modular group PSL(2, Z) and Fuchsian groups explored by Henri Poincaré and Lars Ahlfors, produce quotients that appear in the theory of Riemann surfaces, Teichmüller theory of Oswald Teichmüller, and the arithmetic theory of modular forms by Bernhard Riemann-inspired analysts like Hecke and Srinivasa Ramanujan.
The half-plane model is conformally equivalent to the Poincaré disk model via explicit Möbius maps studied by Felix Klein and linked to the Klein model (Beltrami–Klein) used by Eugenio Beltrami. Transition maps appear in works by Henri Poincaré and Felix Klein under the umbrella of the Erlangen Program, and comparisons feature in the geometric topology contributions of William Thurston and the differential geometry treatments by Elie Cartan. The model’s boundary corresponds to the ideal boundary used in Gromov’s hyperbolic groups and the visual boundary studied by Mikhail Gromov and Gromov-influenced geometric group theorists like Pierre de la Harpe.
Applications include the study of modular forms, Riemann surface uniformization, and examples in complex analysis explored by Bernhard Riemann and Henri Poincaré. It underpins algorithms in computational conformal geometry used by William Thurston-inspired researchers, informs the spectral theory central to Atle Selberg and Peter Sarnak, and provides examples for Teichmüller theory applications by Oswald Teichmüller and Curtis McMullen. The half-plane serves as a model space for Fuchsian group quotients yielding finite-area surfaces used in studies by Maryam Mirzakhani and in connections to string theory developments involving Edward Witten and Alexander Polyakov.
Origins trace to 19th-century developments by Gauss, Lobachevsky, and János Bolyai, with concrete analytic formulations by Henri Poincaré and further elaboration by Felix Klein and Eugenio Beltrami. 20th-century expansion involved work by Lars Ahlfors, Atle Selberg, and Oswald Teichmüller linking the model to complex analysis, spectral theory, and topology; later contributions by William Thurston, Maryam Mirzakhani, and Curtis McMullen integrated the model into low-dimensional topology and dynamics. Modern computational and arithmetic directions involve Andrew Wiles-era number theorists and mathematical physicists including Edward Witten.
Category:Models of hyperbolic geometry