compact Riemann surface

compact Riemann surface
Name	Compact Riemann surface
Field	Complex analysis, Algebraic geometry, Topology
Introduced	19th century
Related	Riemann sphere, Algebraic curve, Teichmüller space

compact Riemann surface A compact Riemann surface is a one-dimensional complex manifold that is compact as a topological space, central to studies connecting Bernhard Riemann, Felix Klein, André Weil, David Mumford, Alexander Grothendieck, Henri Poincaré and Oswald Teichmüller. These objects link classical results such as the Riemann–Roch theorem, the Uniformization theorem, and the theory of algebraic curves, appearing in contexts like the Moduli space of curves, Abelian varietys, and Galois theory. Compact Riemann surfaces serve as prototypes for interactions among complex analysis, algebraic geometry, topology, and number theory.

Definition and basic properties

A compact Riemann surface is a connected, compact, complex analytic manifold of complex dimension one; foundational contributors include Riemann, Klein, Poincaré, Adolf Hurwitz and Franz Neumann. Topologically every such surface is a closed orientable surface classified by its genus g via the Classification theorem for surfaces and related to the Euler characteristic and fundamental group. Analytic tools such as the Cauchy integral theorem, Montel's theorem, and the Maximum modulus principle constrain holomorphic maps and imply finiteness properties like the compactness of spaces of holomorphic differentials used by Weierstrass and Riemann–Hurwitz formula progenitors. The Uniformization theorem of Poincaré and Koebe asserts universal covers are isomorphic to the Riemann sphere, the complex plane, or the upper half-plane, reflecting elliptic, parabolic, or hyperbolic geometry studied by Lobachevsky and Klein.

Examples and classification by genus

Genus zero: the Riemann sphere ((Riemann's) projective line), linked to Mobius transformation groups like PSL(2,C). Genus one: complex tori and elliptic curves classified by modular forms and the j-invariant studied by Srinivasa Ramanujan, Henri Poincaré, and Serre; uniformization uses lattices from Carl Friedrich Gauss-style theory. Higher genus: compact surfaces for g≥2 admit hyperbolic metrics, with examples arising from smooth projective plane curves such as Fermat curves, Klein quartic, and curves studied by Alexander Grothendieck in the theory of Dessins d'enfants. Classification leverages the Riemann–Hurwitz formula, Brill–Noether theory, and constructions by Hurwitz and Belyi.

Complex structure and algebraic curves

Compact Riemann surfaces correspond bijectively to smooth projective algebraic curves over C via results developed by Riemann, Weierstrass, Serre, and formalized by Grothendieck in EGA-style language. The equivalence uses sheaf cohomology and the theory of Hodge decomposition and Dolbeault cohomology explored by W. V. D. Hodge and Kunihiko Kodaira. Methods from Sheaf theory and scheme theory of Grothendieck connect complex analytic descriptions to algebraic models such as plane projective curves studied by Plücker and Max Noether.

Divisors, line bundles, and the Riemann–Roch theorem

Divisors and holomorphic line bundles on compact Riemann surfaces form the Picard group, a topic advanced by Jacobi, Abel, and Riemann. The Riemann–Roch theorem gives dimensions of spaces of meromorphic sections, with refinements by Alfred Clifford and Alexander Brill. The Jacobian variety construction links to Abelian varietys and the Torelli theorem studied by R. Torelli and refined by Mumford; tools include Serre duality, Chern classes, and the theory of theta functions from Riemann and Jacobi.

Meromorphic functions and differentials

Meromorphic functions and holomorphic differentials on compact Riemann surfaces are governed by classical results of Riemann, Weierstrass, and Hurwitz. Spaces of holomorphic differentials have complex dimension equal to the genus g, forming a vector space whose periods define the period matrix used by Siegel and Phillip Griffiths in Hodge theory. Abelian integrals, theta functions, and the Abel–Jacobi map relate to works of Abel, Jacobi, Fay, and Mumford; residue calculus and duality principles trace back to Cauchy and Henri Cartan.

Moduli and Teichmüller theory

Moduli spaces of compact Riemann surfaces, notably the moduli space Mg, were developed by Riemann, systematized by Pierre Deligne, Mumford, and Grothendieck. Teichmüller theory, founded by Oswald Teichmüller, uses quasiconformal mappings and the Teichmüller space with metrics studied by Lars Ahlfors, William Thurston, and Steven Kerckhoff. Compactification procedures such as the Deligne–Mumford compactification and methods from Geometric invariant theory of Mumford address degenerations and boundary phenomena, intertwined with Weil–Petersson metric studies by André Weil.

Automorphisms and mapping class group actions

Automorphism groups of compact Riemann surfaces were examined by Hurwitz who proved classical bounds; special surfaces like the Klein quartic realize maximal symmetry and connect to Fuchsian group theory initiated by Poincaré. The Mapping class group acts on Teichmüller space and moduli stacks, a subject advanced by William Harvey, Nielsen (Jakob) and Thurston, with relations to mapping class group representations, Teichmüller geodesic flow, and dynamics studied by Howard Masur and William Veech. Classification of automorphism groups employs techniques from Galois theory, topology, and arithmetic aspects studied by Belyi and Grothendieck.

Category:Riemann surfaces