Poincaré disk model

Poincaré disk model
Name	Poincaré disk model
Field	Mathematics
Introduced	1880s
Introduced by	Henri Poincaré

Poincaré disk model. The Poincaré disk model is a representation of two-dimensional hyperbolic geometry in which points correspond to interior points of a unit disk and lines correspond to circular arcs orthogonal to the boundary circle. Developed in the late 19th century, it provided a concrete setting for the work of Henri Poincaré, influenced research of Felix Klein, informed results by Bernhard Riemann, and entered broader mathematical discourse alongside contributions from Nikolai Lobachevsky and János Bolyai.

Introduction

The model embeds the axioms of hyperbolic geometry within the Euclidean plane by restricting to the open unit disk and altering the metric, creating a non-Euclidean geometry that preserves conformal angles and exhibits constant negative curvature. Its formulation relates to the theories of Carl Friedrich Gauss on curvature and the uniformization considerations linked to Felix Klein and Henri Poincaré's work on automorphic functions, and it influenced later studies by Émile Picard and P. A. MacMahon in complex analysis and geometric function theory.

Model definition and geometry

Points of the model are interior points of the unit disk in the Euclidean plane with center at the origin; the boundary circle is the ideal boundary often associated with points at infinity considered by Ludwig Boltzmann in other contexts. The metric is given by a Riemannian line element yielding constant sectional curvature −1, compatible with the formulations of Bernhard Riemann on manifolds. Coordinates are commonly Euclidean Cartesian coordinates restricted to the disk, and the metric can be written to show conformal equivalence with the Euclidean metric, echoing methods from Hermann Schwarz and Paul Koebe used in complex analysis. The Gauss–Bonnet theorem as studied by Pierre Ossian Bonnet connects area and topology within the disk model, mirroring results appreciated by Henri Poincaré in his work on topology and differential equations.

Geodesics and distance function

Geodesics in the disk model are circular arcs orthogonal to the boundary circle or diameters; this description parallels classical constructions used by Euclid but adapted to hyperbolic axioms championed by Nikolai Lobachevsky and János Bolyai. The hyperbolic distance between two points can be expressed via a logarithmic cross-ratio formula reminiscent of projective invariants studied by Jean-Victor Poncelet and Augustin-Louis Cauchy. The exponential map and geodesic flow exhibit behavior analyzed in the contexts of Sophus Lie's transformation groups and later dynamical studies by George David Birkhoff and Eberhard Hopf, while horocycles and equidistant curves appear as level sets related to limit sets studied by Henri Poincaré and Kleinian groups investigators such as Felix Klein and Henrik Schwarz.

Isometries and symmetry group

The full group of orientation-preserving isometries of the disk corresponds to Möbius transformations preserving the unit circle, linking the model to the theory of August Ferdinand Möbius and to groups studied by Felix Klein in the Erlangen program. Discrete subgroups of isometries give rise to tessellations and orbifolds investigated by William Thurston, Henri Poincaré, and H. S. M. Coxeter, and these subgroups relate to Fuchsian groups introduced by Henri Poincaré and further developed by Atle Selberg and Kurt Gödel in applications to automorphic forms. Representation theory of the isometry group connects to works by Élie Cartan, Hermann Weyl, and Harish-Chandra, while rigidity phenomena reflect insights from Gregory Margulis and Mikhail Gromov.

Relations to other models of hyperbolic geometry

The Poincaré disk model is conformally equivalent to the upper half-plane model via a Möbius map studied in the work of Karl Weierstrass and Henri Poincaré, and it is projectively related to the Beltrami–Klein model associated with Eugenio Beltrami. Transitions among models utilize transformations prominent in Felix Klein's Erlangen program and are instrumental in Teichmüller theory developed by Oswald Teichmüller and later by Lars Ahlfors and Ludwig Bers. Geometric structures on surfaces described by the disk model appear in the study of moduli spaces advanced by Max Noether and in the geometric group theory perspective advanced by Mikhail Gromov and William Thurston.

Applications and examples

The disk model underpins visualizations of tessellations and tilings like those popularized by M. C. Escher and mathematically formalized by H. S. M. Coxeter; it is used to construct explicit examples of Fuchsian groups by Henri Poincaré and to study spectral theory as in work related to Atle Selberg and Peter Sarnak. In theoretical physics, the model informs aspects of negative-curvature spacetimes and appears in contexts influenced by Albert Einstein's relativity and later holographic principles echoing ideas explored by Leonard Susskind and Juan Maldacena. Computational applications exploit the conformal property in numerical conformal mapping techniques connected to Lars Ahlfors and algorithms in computer graphics used in visualization projects inspired by M. C. Escher and implemented by researchers in geometry processing. Educational expositions draw on classical sources such as Henri Poincaré's lectures and modern textbooks by John Stillwell and James W. Anderson to illustrate non-Euclidean phenomena.

Category:Hyperbolic geometry