Möbius group

Möbius group
Name	Möbius group
Field	Mathematics

Möbius group is the group of all orientation-preserving conformal bijections of the Riemann sphere. It comprises rational maps given by fractional linear transformations and plays a central role in complex analysis, hyperbolic geometry, and mathematical physics. The group connects classical figures in 19th‑century mathematics with modern developments in Teichmüller theory, Kleinian groups, and conformal field theory.

Definition and basic properties

The Möbius group is defined as the set of maps z ↦ (az + b)/(cz + d) with complex numbers a, b, c, d and ad − bc ≠ 0. These transformations form a group under composition, with the identity map corresponding to a = d = 1, b = c = 0, and inverses given by matrix adjugation. Important basic properties include closure under composition, associativity inherited from function composition, and transitivity on triples of distinct points of the Riemann sphere. The group preserves cross-ratios, sends generalized circles to generalized circles, and acts 3‑transitively on the sphere. Classical results tie these properties to work by Augustin Cauchy, Carl Friedrich Gauss, and Bernhard Riemann.

Algebraic structure and matrix representation

Algebraically, the Möbius group is isomorphic to the projective linear group PGL(2, C) and, restricting determinants to 1, to PSL(2, C). Representations use 2×2 complex matrices with nonzero determinant, where scalar multiples represent the same transformation. The correspondence sends the matrix a b],[c d to the map z ↦ (az + b)/(cz + d). Composition of transformations corresponds to matrix multiplication, and normal subgroups relate to central scalars ±I. Connections to algebraic groups appear in the work of Élie Cartan and Hermann Weyl, while structural properties intersect with the theory of Lie groups explored by Sophus Lie and Wilhelm Killing.

Action on the Riemann sphere

Viewed as biholomorphisms of the Riemann sphere, these transformations act transitively on triples of distinct points, enabling normalization of configurations in complex analysis by mapping given points to 0, 1, ∞. The action is holomorphic and preserves the complex structure studied by Henri Poincaré and Felix Klein. Fixed points of individual transformations classify them as elliptic, parabolic, or loxodromic; this classification underlies the dynamics investigated by Maryam Mirzakhani in related moduli problems and by Dennis Sullivan in iteration theory. The action extends to limit sets and domains of discontinuity central to Ahlfors' and Bers' studies.

Subgroups and classification

Subgroups of the Möbius group include finite rotation groups, cyclic and dihedral groups, Fuchsian groups conjugate to subgroups of PSL(2, R), and Kleinian groups as discrete subgroups of PSL(2, C). Classification results identify maximal compact subgroups conjugate to SU(2), parabolic subgroups fixing a single point at infinity, and Borel subgroups of upper triangular matrices. Notable discrete examples are triangle groups studied by Henri Poincaré, Schottky groups named after Friedrich Schottky, and arithmetic Kleinian groups related to the work of John Milnor and Colin Maclachlan. The interplay with discrete groups features in rigidity theorems by Grigori Margulis and Mostow.

Geometric interpretations and invariants

Geometrically, Möbius transformations are isometries of the sphere with respect to the spherical metric and correspond to orientation-preserving isometries of three‑dimensional hyperbolic space via the ball and half‑space models introduced by Poincaré. Important invariants include the cross‑ratio, trace of representing matrices, and eigenvalues determining fixed‑point behavior. Conformal invariants studied by Lars Ahlfors and Teichmüller relate to quasisymmetric boundary maps and the measurable Riemann mapping theorem of Lipman Bers. Geometric structures influenced by Möbius symmetry appear in Thurston’s study of 3‑manifolds and in Alexandrov geometry.

Applications in complex analysis and physics

In complex analysis, Möbius transformations are used to map domains, prove canonical form theorems, and normalize boundary value problems appearing in the work of Riemann and Carathéodory. In mathematical physics, they underpin symmetry groups in conformal field theory, act as symmetry transformations on correlation functions in two‑dimensional models studied by Belavin, Polyakov, and Zamolodchikov, and appear in string theory through worldsheet automorphisms considered by Edward Witten. Electrodynamics and optics exploit Möbius maps in stereographic projections and ray tracing, while statistical mechanics employs them in lattice models with conformal invariance studied by Rodney Baxter and John Cardy.

Historical development and notable contributors

The theory evolved from 19th‑century studies of complex functions and geometry. Early contributors include August Ferdinand Möbius and Adrien-Marie Legendre in projective contexts, Bernhard Riemann in function theory, and Henri Poincaré in automorphic functions. The matrix viewpoint was formalized through the work of Camille Jordan and Élie Cartan; connections to hyperbolic geometry and Kleinian groups were advanced by Felix Klein, Henri Poincaré, and Lars Ahlfors. In the 20th century, contributions by Lipman Bers, William Thurston, Dennis Sullivan, and Grigori Margulis integrated the Möbius group into low‑dimensional topology, geometric group theory, and dynamical systems. Contemporary research involves fields influenced by Maxim Kontsevich, Maryam Mirzakhani, and Edward Witten, reflecting broad interdisciplinary impact.

Category:Complex analysis Category:Group theory Category:Conformal geometry