PSL(2,C)

PSL(2,C)
Name	PSL(2,C)
Caption	Möbius transformation of the Riemann sphere
Formation	19th century
Type	Complex Lie group
Region served	Worldwide
Language	Mathematics

PSL(2,C) PSL(2,C) is the group of complex projective linear transformations of the Riemann sphere, obtained from 2×2 complex matrices by passage to projective equivalence. It is a noncompact, simple complex Lie group closely tied to classical figures and institutions in mathematics such as Henri Poincaré, Felix Klein, Bernhard Riemann, Évariste Galois, and the École Normale Supérieure. Its algebraic, geometric, and dynamical properties connect to major developments associated with Klein bottle, William Thurston, Andrey Kolmogorov, Emmy Noether, and the work of the Clay Mathematics Institute on low-dimensional topology.

Definition and algebraic structure

PSL(2,C) is defined as the quotient of the group of 2×2 complex matrices with nonzero determinant, GL(2,C), by the scalar matrices C* that act as homotheties; equivalently it is SL(2,C)/{±I}. This construction associates PSL(2,C) to the tradition of algebraic groups studied by Élie Cartan, Claude Chevalley, Armand Borel, Jean-Pierre Serre, Alexander Grothendieck, and David Mumford. Algebraically it is a simple Lie group of complex dimension 3 (real dimension 6) and has Lie algebra isomorphic to sl(2,C), the traceless 2×2 matrices, whose representation theory was developed by Hermann Weyl, Issai Schur, and Edward Witten. The center of SL(2,C) is {±I}, so the quotient eliminates this two-element central subgroup, a step related to historical work by Camille Jordan and Ferdinand Frobenius on projective linear groups. As an algebraic group over C it admits Borel subgroups and maximal tori studied in the context of the Langlands program and Cartan decomposition.

Geometric action on the Riemann sphere

Elements act on the complex projective line CP^1, the Riemann sphere, by Möbius transformations, linking to classical geometry associated with Augustin-Jean Fresnel, Johann Benedict Listing, and Carl Friedrich Gauss. The action is 3-transitive and preserves the cross-ratio, a feature central to work by Arthur Cayley and James Joseph Sylvester. Geometrically the action identifies PSL(2,C) with the orientation-preserving isometry group of hyperbolic 3-space when extended to the boundary, a perspective developed by Lobachevsky, Nikolai Lobachevsky, Henri Poincaré, and later formalized by William Thurston. Connections to conformal maps appear in the study of Riemann mapping theorem and in links to John von Neumann's operator theory through boundary behavior.

Relationship with SL(2,C) and covering maps

The natural 2-to-1 covering map SL(2,C) → PSL(2,C) removes the central ±I and is a nontrivial example of a covering between Lie groups, a theme present in work by Élie Cartan and Shiing-Shen Chern. This covering is fundamental to lifting problems studied by Atle Selberg and Marston Morse in spectral theory and dynamics. The universal cover of PSL(2,C) is infinite-sheeted and connects to the study of fundamental groups of 3-manifolds examined by Heinz Hopf, J. H. C. Whitehead, and William Thurston in the context of geometric structures and holonomy representations.

Classification of elements and conjugacy classes

Elements of PSL(2,C) are classified as elliptic, parabolic, loxodromic (hyperbolic), or the identity according to fixed-point behavior on CP^1; this classification echoes the dichotomies explored by Sophus Lie and Henri Poincaré. Conjugacy classes correspond to trace data in SL(2,C) up to sign, relating to the algebraic invariants studied by John Milnor, Michael Atiyah, Raoul Bott, and Simon Donaldson. The classification underpins rigidity results analogous to those proved by Gregori Margulis and Mostow, and it plays a role in deformation theories developed by Andrei B. Zamolodchikov and William Thurston.

Discrete subgroups and Kleinian groups

Discrete subgroups of PSL(2,C) are Kleinian groups, a central subject in the work of Ahlfors, Bers, Maskit, Sullivan, and Thurston. Kleinian groups generate fractal limit sets studied by Benoit Mandelbrot-era dynamics and geometric function theory associated with Carathéodory, Koebe, and Fuchs. The structural theory involves notions from the Tarski monster-style group theory and the deformation spaces examined by Lipman Bers and Curtis McMullen, and connects to the resolution of conjectures influenced by William Thurston and Grigori Perelman.

Applications in hyperbolic geometry and 3-manifolds

PSL(2,C) acts as the group of orientation-preserving isometries of hyperbolic 3-space H^3, a perspective harnessed in the study of 3-manifolds by William Thurston, Richard Hamilton, Grigori Perelman, Camillo De Lellis, and Ian Agol. Holonomy representations of 3-manifolds map fundamental groups into PSL(2,C), integral to the geometrization conjecture and to the study of knot complements investigated by John Milnor, William Thurston, and Vladimir Turaev. Connections extend to invariants like the hyperbolic volume and Chern–Simons invariants appearing in work by Edward Witten and Simon Donaldson.

Representation theory and character varieties

Representations of finitely generated groups into PSL(2,C) are organized into character varieties, influenced by algebraic-geometric methods from David Mumford, William Goldman, Nigel Hitchin, and Alan Reid. These varieties encode deformation and rigidity phenomena studied by Margaret G. McConnell and Gregori Margulis, and intersect with quantum topology research involving Edward Witten, Vladimir Drinfeld, and Louis Kauffman. Tools from geometric invariant theory by David Mumford and trace coordinates championed by Fricke and Klein are standard; the resulting moduli spaces are central in current research linking low-dimensional topology, algebraic geometry, and mathematical physics pursued at institutions like Institute for Advanced Study and Mathematical Sciences Research Institute.

Category:Lie groups