Torelli theorem

Torelli theorem
Name	Torelli theorem
Field	Algebraic geometry
Introduced	1913

Torelli theorem.

The Torelli theorem asserts that, for a compact Riemann surface or smooth projective algebraic curve, the principally polarized Jacobian determines the curve uniquely. It connects objects from the theory of Bernhard Riemann, the geometry of Abel–Jacobi constructions, and the analytic theory of theta functions with the work of Giulio Torelli and successors in the study of moduli spaces and period mappings.

Statement and variants

The classical statement for a smooth projective curve C of genus g≥2 says that the isomorphism class of the principally polarized abelian variety J(C) (the Jacobian) together with its polarization distinguishes C up to isomorphism. This relates the Jacobian construction to the Jacobian variety and the Abel map, and sits alongside the study of the period matrix and the Siegel upper half-space in the analysis of moduli of curves and the Schottky problem. Variants include the global Torelli theorem for polarized K3 surfaces—linking the Hodge structure on second cohomology to the surface up to isomorphism—and infinitesimal Torelli results for deformation theory contexts such as Calabi–Yau manifolds and certain hyperkähler manifolds. Additional forms appear for Prym varieties, for abelian varietys with level structure encountered in the work of André Weil and Alexander Grothendieck, and for degenerations studied in the framework of Deligne and Mumford.

Historical development and contributors

Initial ideas trace to work of Bernhard Riemann on theta functions and Abel, formalized in the 19th century in the interplay between Jacobi and the algebraic theory of integrals. The specific theorem was proved by Giulio Torelli (1913) with later clarifications by André Weil who reinterpreted Torelli-type statements for abelian varieties and the emerging scheme theory of Alexander Grothendieck. The mid-20th century saw contributions from David Mumford and Igor Shafarevich in the context of moduli, while analytic proofs were refined by Carl Ludwig Siegel-inspired methods and the study of period maps by Phillip Griffiths and Wilfried Schmid. The global K3 Torelli theorem owes much to work by Pierre Deligne, Igor Dolgachev, Shigeru Mukai, and Vladimir Nikulin, and foundational algebraic methods were advanced by Arnaud Beauville and Christopher D. Hacon among others.

Proof strategies and key ingredients

Proofs combine classical analytic techniques from theta function theory and period matrices with modern algebraic approaches: the Hodge decomposition and polarized Hodge structures, the Torelli map into Siegel modular varietys, and comparison theorems in étale cohomology and de Rham cohomology. Classical algebraic proofs use the structure of the theta divisor, the singularity locus in the theta linear system, and the geometry of the canonical linear system on C, invoking results related to Clifford's theorem and the study of special divisors from Clifford and W. L. Edge. Analytic proofs use Schottky relations, period matrices, and monodromy considerations linked to Picard–Lefschetz theory, while deformation-theoretic infinitesimal proofs use the Kodaira–Spencer map and techniques pioneered by Kunihiko Kodaira, Donald C. Spencer, and Phillip Griffiths. For higher-dimensional analogues, proofs rely on lattice theory and reflections developed by Ernst Witt and John H. Conway concepts applied by V. V. Nikulin.

Applications and consequences

Torelli-type results imply that period data classify geometric objects, enabling reconstruction of curves from their Jacobians and yielding solutions to the Schottky problem and constraints on the image of the Torelli map inside moduli stacks. Applications appear in arithmetic geometry through the use of Jacobians in the study of rational points and Diophantine problems by Gerd Faltings and Frey–Mazur conjecture-related investigations. In the theory of integrable systems, connections to finite-gap solutions and the algebraic-geometric method of Igor Krichever exploit the identification of spectral curves from Jacobian data. For K3 surfaces, global Torelli supplies a powerful tool in classification, facilitating results about automorphism groups connected to work of Shinichi Mukai and implications for mirror symmetry studied by Maxim Kontsevich and Paul Seidel.

Examples and counterexamples

Examples validating Torelli include generic smooth curves where the classical theorem applies and explicit reconstructions via theta functions traced to Carl Gustav Jacob Jacobi and André Weil techniques. Counterexamples or failures of naive Torelli statements arise in low-genus or singular settings, such as genus one where the Jacobian equals the curve, making the statement vacuous, and in certain reducible or nodal curves where polarized Jacobians or degenerations do not separate components—cases analyzed by David Mumford and in the degeneration theory of Pierre Deligne and David R. Morrison. For higher-dimensional varieties, the absence of a Torelli theorem is illustrated by families where Hodge structures are insufficient to determine isomorphism classes, with instructive examples constructed using ideas from Igor Dolgachev and C. T. C. Wall.

Generalizations and related results

Generalizations include Prym–Torelli theorems for Prym varieties, infinitesimal Torelli for families of varieties in work by Ziv Ran and Zhiqin Lu, and derived-category approaches to Torelli-type statements following the influence of Alexei Bondal and D. Orlov. Related results encompass the global Torelli theorem for K3 surfaces and hyperkähler manifolds due to Daniel Huybrechts and Christophe Voisin, and arithmetic analogues in the study of Galois representations influenced by Jean-Pierre Serre and Alexander Grothendieck's vision. Connections to mirror symmetry and categorical reconstruction link Torelli themes to the homological conjectures of Kontsevich and advancements in the theory of derived categories by Maxim Kontsevich and Paul Seidel.

Category:Algebraic geometry