Riemann–Roch theorem

Riemann–Roch theorem
Name	Riemann–Roch theorem
Field	Mathematics
Subfield	Algebraic geometry
Introduced	19th century
Contributors	Bernhard Riemann; Gustav Roch; André Weil; Friedrich Hirzebruch

Riemann–Roch theorem. The theorem occupies a central place in Bernhard Riemann and Gustav Roch's legacy and in the development of André Weil's foundations, influencing work by Friedrich Hirzebruch, Alexander Grothendieck, Jean-Pierre Serre, and David Mumford. Originating in the context of Georg Friedrich Bernhard Riemann's study of Riemann surfaces and completed by Gustav Roch's correction, it was recast using tools from Henri Poincaré's topology, Felix Klein's function theory, and later by Oscar Zariski and Claude Chevalley in algebraic geometry. The result has shaped developments related to the Atiyah–Singer index theorem, Hodge theory, Grothendieck–Riemann–Roch theorem, and applications stretching through work of Serge Lang, Jean Leray, Igor Shafarevich, and Max Noether.

Introduction

The theorem provides a formula that links geometric invariants on a compact Riemann surface or on a smooth projective algebraic curve over a field, connecting the dimension of spaces of meromorphic functions to topological data studied by Henri Poincaré and analytic information employed by Karl Weierstrass. Its classical statement unites contributions of Bernhard Riemann, Gustav Roch, Richard Dedekind, and later algebraic formulations by André Weil and Oscar Zariski, while modern categorical perspectives draw on ideas from Alexander Grothendieck and Jean-Pierre Serre. Historically it catalyzed progress that influenced Emmy Noether's algebraic program, David Hilbert's foundations, and later syntheses like the Atiyah–Singer index theorem.

Statement and variants

In its classical formulation for a compact Riemann surface of genus g, the theorem relates the dimension l(D) of the space of meromorphic functions with prescribed poles from a divisor D to the degree deg(D) and the genus g; this formulation originated with Bernhard Riemann and was corrected by Gustav Roch. The algebraic curve variant uses divisors and sheaf cohomology as developed by André Weil and Jean-Pierre Serre to express l(D) − l(K − D) = deg(D) + 1 − g, where K denotes a canonical divisor appearing in work of Felix Klein and Henri Poincaré. Higher-dimensional generalizations appear in the Hirzebruch–Riemann–Roch theorem due to Friedrich Hirzebruch and its far-reaching Grothendieck refinement, the Grothendieck–Riemann–Roch theorem, which depends on contributions by Alexander Grothendieck, Jean-Pierre Serre, and Grothendieck's collaborators in Zürich and Paris seminars.

Proofs and methods

Classical proofs combine analytic techniques of Bernhard Riemann and Gustav Roch with function-theoretic methods from Felix Klein and compactness arguments related to Henri Poincaré; modern proofs use sheaf cohomology as developed by Jean-Pierre Serre and duality theorems influenced by Alexander Grothendieck. Topological proofs invoke ideas from William Thomson's era of topology and later connections to the Atiyah–Singer index theorem established by Michael Atiyah and Isadore Singer, while arithmetic approaches use methods from André Weil's foundation of algebraic geometry and Oscar Zariski's work in Chicago and Harvard seminars. Contemporary expositions exploit coherent sheaves and derived categories in the style of Grothendieck and Pierre Deligne, with computational techniques informed by David Mumford's work on moduli.

Consequences and applications

The theorem yields concrete constraints on linear systems on curves, a subject central to Max Noether's classification efforts and to Igor Shafarevich's investigations in arithmetic geometry; it underlies proofs of embedded curve properties used by George B. Mathews and informs Brill–Noether theory tied to William Fulton and Phillip Griffiths. In number theory it supports counting arguments related to André Weil's conjectures and to methods used by Goro Shimura and Yuri Manin, while in topology and differential geometry it foreshadows the Atiyah–Singer index theorem and influences work of Raoul Bott and Shing-Tung Yau. Applications include explicit descriptions of canonical maps studied by Bernhard Riemann and Francesco Severi and input to moduli problems addressed by David Mumford and Pierre Deligne.

Examples and explicit calculations

For genus 0 curves like the projective line studied by Bernhard Riemann and Felix Klein, the theorem recovers classical facts about rational functions and homogeneous coordinates introduced in Giulio Guareschi's era; for genus 1 curves it explains the structure of elliptic functions connected to work of Niels Henrik Abel, Carl Gustav Jacobi, and Karl Weierstrass. Hyperelliptic curves treated by Adolf Hurwitz and Francesco Severi illustrate how deg(D) and g determine spaces of differentials, and explicit divisor computations appear in the literature of André Weil and Igor Shafarevich. Concrete algorithmic uses arise in computational projects influenced by David Mumford and implementations following ideas from Jean-Pierre Serre.

Generalizations and related theorems

Generalizations include the Hirzebruch–Riemann–Roch theorem of Friedrich Hirzebruch and the far-reaching Grothendieck–Riemann–Roch theorem of Alexander Grothendieck, both extending the original curve-level statement to higher-dimensional varieties and coherent sheaves as framed by Jean-Pierre Serre and Pierre Deligne. The link with index theory provided by Michael Atiyah and Isadore Singer yields analytic analogues, while developments in Hodge theory associated with W. V. D. Hodge and Phillip Griffiths connect to period maps studied by Bernard Riemann's school. Arithmetic refinements were pursued by André Weil and later by Goro Shimura and Yuri Manin in the context of zeta functions and L-series.

Category:Algebraic geometry