Riemann sphere

Riemann sphere
GKFXtalk, de:User:Bjoern_klipp · CC BY-SA 3.0 · source
Name	Riemann sphere
Type	Complex manifold
Dimension	1 (complex)
Introduced	Bernhard Riemann

Riemann sphere is the one-point compactification of the complex plane that equips the extended complex plane with the structure of a compact complex curve and a topological sphere. It serves as the simplest nontrivial example of a compact Riemann surface, providing a unifying setting for rational maps, meromorphic functions, and stereographic geometry. The sphere is central in the interplay among complex analysis, algebraic geometry, and conformal geometry, appearing in classical works by Bernhard Riemann, later developments by Felix Klein, and applications in modern fields influenced by Henri Poincaré and André Weil.

Definition and construction

The construction begins by adjoining a single, distinguished point to the complex plane to form the extended complex plane, which historically emerges in the writings of Bernhard Riemann and contemporaries such as Karl Weierstrass and Georg Cantor. Topologically it is homeomorphic to the 2-sphere studied by Carl Friedrich Gauss in the context of curvature and mapping theorems later refined by Pierre-Simon Laplace. One can view the object as a compact complex curve of genus zero in the sense of the classification theorem for compact Riemann surfaces due to Riemann and later formalized by Henri Poincaré and André Weil. Algebraically it corresponds to the projective line over the complex numbers, denoted in algebraic geometry contexts by constructions related to Alexander Grothendieck and Oscar Zariski.

Stereographic projection and coordinates

Stereographic projection provides an explicit diffeomorphism between the 2-sphere and the extended complex plane, a technique appearing in classical differential geometry by Carl Friedrich Gauss and used in mapping theory by Niels Henrik Abel. Using Cartesian coordinates from maps by Adrien-Marie Legendre and rotational symmetries studied by Évariste Galois, one identifies points on the sphere with complex numbers plus an additional point at infinity. Complex charts covering the sphere arise from two stereographic projections centered at antipodal points, echoing transition functions in the theory of complex manifolds elaborated by Henri Cartan and Kunihiko Kodaira. These coordinate charts make the sphere into a compact Riemann surface which aligns with the notions developed by Bernhard Riemann and later clarified by Hermann Weyl.

Complex analysis on the sphere

Holomorphic and meromorphic function theory on the sphere follows from classical results by Weierstrass and Karl Weierstrass's students, with the sphere supporting only constant global holomorphic functions by the maximum modulus principle refined through work of Gustav Lejeune Dirichlet and Émile Picard. Meromorphic functions correspond precisely to rational functions in the spirit of David Hilbert's problems and Emil Artin's perspectives on function fields; this classification underpins the pole–zero structure studied by Jacques Hadamard and Sofia Kovalevskaya. The residue theorem and contour integration on the sphere are formulated with global accounts found in expositions by Augustin-Louis Cauchy and strengthened by Bernhard Riemann's mapping theorem, while the notion of divisors and line bundles on the sphere was systematized by André Weil and Oscar Zariski in algebraic geometry frameworks.

Möbius transformations and automorphisms

The group of automorphisms of the sphere as a complex manifold is the group of Möbius transformations, classically studied by August Ferdinand Möbius and later by Felix Klein within the Erlangen program. These transformations are represented by projective linear maps arising from Arthur Cayley and William Rowan Hamilton's matrix approaches, and they form a group isomorphic to the complex projective group emphasized by Élie Cartan and studied in representation theory influenced by Hermann Weyl. Fixed-point classification, conjugacy classes, and dynamics of iterated Möbius maps connect to works by Pierre Fatou and Gaston Julia in complex dynamics, and modern perspectives link these ideas to deformation theory and moduli problems treated by Grothendieck and John Milnor.

Metric and geometric structures

Although the sphere carries no nontrivial flat complex metric globally, it admits canonical metrics such as the round metric inherited from embedding in Euclidean space, central to curvature studies by Bernhard Riemann and Carl Friedrich Gauss. Conformal structure on the sphere underlies uniformization results proved by Henri Poincaré and Paul Koebe, which identify simply connected Riemann surfaces with standard models like the sphere, the plane, and the unit disk—an identification used in Teichmüller theory advanced by Oswald Teichmüller and Hermann Weyl. The spherical metric yields constant positive curvature and plays a role in geometric analysis initiatives by Richard Hamilton and Grigori Perelman regarding curvature flows, and in modern gauge-theoretic treatments influenced by Michael Atiyah and Isadore Singer.

Applications and examples

Examples and applications span classical and contemporary mathematics: stereographic projection links cartography traditions from Gerardus Mercator to conformal mapping in work by Joseph Liouville; rational maps on the sphere form the basic objects of complex dynamics studied by Fatou and Julia with modern exposition by John Milnor and Lasse Rempe-Gillen; the sphere as the complex projective line anchors algebraic curves in the program of Alexander Grothendieck and moduli of curves in developments by David Mumford and Pierre Deligne. In mathematical physics, compactification ideas using the sphere appear in conformal field theory contexts elaborated by Belavin, Polyakov, and Zamolodchikov and in string theory influenced by Edward Witten and Michael Green. The sphere also underlies classical potential theory pursued by Siméon Denis Poisson and modern spectral theory advanced by Mark Kac and Peter Sarnak.

Category:Complex geometryCategory:Riemann surfaces