Jacobian varieties

Jacobian varieties
Name	Jacobian varieties
Field	Algebraic geometry, Number theory
Introduced	19th century
Founders	Niels Henrik Abel; Bernhard Riemann; Henri Poincaré
Notable for	Relationship between algebraic curves and principally polarized abelian varieties; Torelli theorem

Jacobian varieties

Jacobian varieties connect the theory of algebraic curves with the theory of abelian varieties and complex tori, creating a bridge between Bernhard Riemann's analytic methods, Niels Henrik Abel's inversion problems, and modern arithmetic geometry pursued by figures associated with the Birch and Swinnerton-Dyer conjecture and André Weil. As principally polarized abelian varieties attached to complete nonsingular algebraic curves, they play central roles in the work of David Mumford, Jean-Pierre Serre, Alexander Grothendieck, and institutions such as the Institut des Hautes Études Scientifiques and Clay Mathematics Institute.

Introduction

The Jacobian construction associates to a smooth projective algebraic curve C a principally polarized abelian variety of dimension equal to the genus g of C, realizing classical inversion of integrals studied by Carl Gustav Jacob Jacobi, Bernhard Riemann, and Friedrich Schottky. It underlies deep results connecting the geometry of curves to the arithmetic of abelian varieties, influencing breakthroughs by Gerd Faltings on rational points, Peter Sarnak's investigations, and conjectures articulated by André Weil and participants of the Bourbaki seminar.

Construction and Definitions

Given a smooth projective curve C over a field K (often ℂ), choose a base point P0; the Picard variety Pic^0(C) parametrizes degree zero line bundles and is an abelian variety. Analytically, integration of holomorphic differentials along homology cycles yields the period lattice Λ in ℂ^g; the complex torus ℂ^g/Λ is the Jacobian. Early formulations appeared in the work of Bernhard Riemann and later were algebraized by André Weil and Alexander Grothendieck via the language of schemes and the Picard functor, with expositions by David Mumford and developments at centers like Princeton University and Harvard University.

Properties and Structure

A Jacobian is principally polarized: there exists a canonical ample line bundle inducing a Riemann form coming from the intersection pairing on H_1(C, ℤ). The Abel–Jacobi map embeds C into its Jacobian when g≥1, relating divisor classes to points on the abelian variety; this embedding was pivotal in work by George Halphen and in classical treatments by Henri Poincaré. Jacobians have endomorphism rings that can be nontrivial, linking to complex multiplication studied by Goro Shimura and Yutaka Taniyama; their ℓ-adic Tate modules provide Galois representations central to the proof strategies of Andrew Wiles and collaborators. The interplay with the Néron model gives arithmetic control over reduction types exploited by researchers at institutions like Institut Henri Poincaré.

Examples and Computations

For genus one curves, the Jacobian coincides with the elliptic curve itself—examples studied by Srinivasa Ramanujan's contemporaries and modern computational projects at CERN-related mathematics collaborations. Hyperelliptic curves yield Jacobians accessible to explicit theta-function methods developed by Carl Gustav Jacobi and computational algorithms refined in software from research groups at Massachusetts Institute of Technology and University of Cambridge. Explicit period matrices for plane quartics, trigonal curves, and modular curves such as X_0(N) have been computed in work involving Atkin–Lehner theory and researchers affiliated with Princeton University and ETH Zurich.

Torelli Theorem and Applications

The Torelli theorem asserts that a curve C is determined up to isomorphism by its Jacobian together with the principal polarization. Proven in analytic form by Riemann and established in algebraic generality by contributors including Mumford and Igor Shafarevich, the theorem underpins reconstruction techniques used in the study of mapping class groups related to Max Dehn's work and in moduli problems connected to David Eisenbud's and Joe Harris's contributions. Torelli-type statements inform approaches to the Schottky problem, which characterizes which principally polarized abelian varieties arise from curves—a question advanced by researchers at the Institute for Advanced Study and in seminars at Courant Institute.

Moduli and Jacobian Varieties

The moduli space M_g of curves of genus g maps via the Torelli map into the moduli space A_g of principally polarized abelian varieties; the image, the Jacobian locus, is central in research by teams at institutions such as Max Planck Institute for Mathematics and Mathematical Sciences Research Institute. Compactifications à la Deligne–Mumford and work by Pierre Deligne and Mumford allow extension to stable curves and limit Jacobians, with applications to intersection theory influential in programs at IHÉS and in topics addressed by the Simons Foundation.

Generalizations and Related Concepts

Generalizations include Prym varieties arising from étale double covers studied by Allan Prym's classical lineage and modern researchers, intermediate Jacobians associated to higher-dimensional varieties appearing in the work of Clemens Griffiths on cubic threefolds, and Néron–Severi groups linking to Lefschetz pencil constructions popularized by André Weil. Relations to Hodge theory, period domains, and motives connect to programs led by Pierre Deligne, Alexander Beilinson, and participants in the Langlands program, while computational and algorithmic aspects continue at leading centers such as Microsoft Research and universities worldwide.

Category:Algebraic geometry