Riemann–Hurwitz formula

Riemann–Hurwitz formula
Name	Riemann–Hurwitz formula
Field	Algebraic geometry
Introduced	19th century
Related	Riemann–Roch theorem, Hurwitz's theorem, genus, covering space

Riemann–Hurwitz formula is a fundamental relation in algebraic geometry and complex analysis linking the topological genus of compact Riemann surfaces under a nonconstant holomorphic map with the map's ramification data. It plays a central role in the study of algebraic curves, compact surfaces, and branched coverings, and connects to the work of Bernhard Riemann, Adolf Hurwitz, and subsequent developments by Felix Klein, David Hilbert, and Henri Poincaré. The formula informs classification problems treated in the contexts of the Riemann–Roch theorem, Hurwitz spaces, and moduli of curves influenced by figures such as Alexander Grothendieck and Jean-Pierre Serre.

Statement of the formula

Let f: X → Y be a nonconstant holomorphic map between compact connected Riemann surfaces X and Y of genera g_X and g_Y respectively. The Riemann–Hurwitz formula states that 2g_X - 2 = deg(f)·(2g_Y - 2) + Σ_{p∈X} (e_p - 1), where deg(f) is the degree of f and e_p is the ramification index at p. This equality is central in works by Bernhard Riemann, Adolf Hurwitz, and later treatments by Felix Klein, Henri Poincaré, and Issai Schur. It features in analyses by David Mumford and John Milnor and is used in contexts involving the Uniformization theorem and the study of automorphism groups as in investigations by Émile Picard and Felix Klein.

Proofs and variations

Standard proofs use analytic, topological, or algebraic methods: analytic approaches invoke holomorphic differentials and pullback, as in expositions by Henri Poincaré and Bernhard Riemann; topological proofs use Euler characteristic and covering space theory referenced in texts by Henri Cartan and Jean Leray; algebraic proofs employ divisor theory and the canonical sheaf as developed by Alexander Grothendieck, Jean-Pierre Serre, and Oscar Zariski. Variations appear in treatments by David Mumford and Robin Hartshorne, and in modern viewpoints related to the Riemann–Roch theorem and the Abel–Jacobi map. Alternative proofs connect with the Lefschetz fixed-point theorem investigated by Solomon Lefschetz and with spectral sequences introduced by Jean Leray.

Ramification and branch points

Ramification points p ∈ X with e_p > 1 map to branch points in Y; the branch locus and ramification divisor are objects studied by Felix Klein, Henri Poincaré, and Alexander Grothendieck. The ramification divisor R = Σ (e_p - 1)·p satisfies deg(R) = 2g_X - 2 - deg(f)·(2g_Y - 2). This framework links to work on Galois covers and monodromy by Évariste Galois, Camille Jordan, and William Thurston, and to the classification of algebraic function fields by Dedekind and Richard Dedekind. Studies of automorphism groups of curves by F. Klein and Issai Schur exploit ramification constraints, and analyses of branch cycles draw on the legacy of Chebotarev and Emil Artin.

Consequences and applications

The formula restricts possible genera in covers and bounds orders of automorphism groups of curves, a theme in Hurwitz's theorem on automorphisms and subsequent refinements by William Fulton and François Oort. It is instrumental in computing moduli of curves in work by Pierre Deligne and David Mumford and in the classification of algebraic curves pursued by Oscar Zariski and Igor Shafarevich. Applications appear in the theory of Belyĭ maps used by G. V. Belyĭ and in Grothendieck's dessins d'enfants program, which connects to Vladimir Arnold, Alexandre Grothendieck, and Maxim Kontsevich. In complex dynamics, the formula informs branching behavior of rational maps studied by Adrien Douady and John Milnor.

Examples and computations

Classic examples include degree-two hyperelliptic covers f: X → P^1, analyzed by Bernhard Riemann and Adolf Hurwitz, where the formula yields g_X = (r-2)/2 when there are r branch points; computations over the Riemann sphere involve methods by Henri Poincaré and Felix Klein. Cyclic covers and Galois covers studied by Évariste Galois and Camille Jordan produce explicit ramification divisors used by Alexander Hurwitz and Otto Schreier. Concrete computations appear in texts by Robin Hartshorne, David Mumford, and Joseph Le Potier; algorithmic treatments link to computational algebraic geometry projects influenced by David Cox and Bernd Sturmfels.

Generalizations and extensions

Generalizations extend to maps between nodal curves, Deligne–Mumford stacks, and arithmetic surfaces explored by Alexander Grothendieck, Pierre Deligne, and John Tate. Higher-dimensional analogues involve ramification theory in algebraic geometry studied by Oscar Zariski, Pierre Samuel, and Jean-Pierre Serre, and relate to the Riemann–Roch theorem for surfaces and varieties by Guido Castelnuovo and Kunihiko Kodaira. Further extensions appear in étale cohomology contexts by Alexander Grothendieck and Jean-Pierre Serre and in nonarchimedean analytic geometry developed by Vladimir Berkovich and John Tate.

Category:Algebraic geometry