Jacobian variety

Intuition [Beginner]

Jacobian variety is a way of keeping track of how complex-valued patterns behave when the plane is stretched, wrapped, or continued onto a Riemann surface. The main point is local control: near a small patch, the behavior has a standard shape, and that local shape determines the global object after the patches are matched.

A good picture is a map made from transparent sheets. On one sheet the rule may look ordinary, while another sheet records a pole, a branch, a period, or an extension. The concept matters because Riemann surfaces turn fragile one-variable formulas into geometry that can be moved from patch to patch.

Visual [Beginner]

Worked example [Beginner]

Take the local rule z squared near zero. Away from zero, two nearby input points can map to the same output point with opposite signs. At zero, the two sheets meet. This tiny model already explains why jacobian variety is best studied with local coordinates rather than only with a global formula.

For a concrete number, z=2 and z=-2 both give 4. Near 4 there are two local choices of square root; near 0 the choices merge. What this tells us: local models reveal the special points where global behavior changes.

Check your understanding [Beginner]

Formal definition [Intermediate+]

The Jacobian of a compact genus g Riemann surface is the complex torus obtained by quotienting the dual space of holomorphic one-forms by the period lattice. It stores degree-zero divisor classes. ^{[Mumford Curves and their Jacobians; Farkas-Kra Ch VI]}

The object is considered up to the natural equivalence relation in its category: biholomorphic change of coordinate for complex-analytic objects, isomorphism of bundles or divisors for geometric objects, and intertwining linear isomorphism for representations. This convention keeps formulas invariant under the allowed changes of local description.

Key theorem with proof [Intermediate+]

Theorem. The period lattice of a compact Riemann surface has rank 2g, and the quotient complex vector space modulo this lattice is a compact complex torus.

Proof. Choose a symplectic basis of H_1(X,Z) and a basis of holomorphic one-forms. Integration gives 2g period vectors in C^g. The Riemann bilinear positivity relation implies that these vectors are real-linearly independent and span C^g over R. A full lattice in a real vector space has compact quotient, so C^g modulo the period lattice is a compact complex torus. ^{[Mumford Curves and their Jacobians; Farkas-Kra Ch VI]}

Bridge. The construction here builds toward later units of the strand, where the same pattern is taken up at higher structure. The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Lean formalization [Intermediate+]

Mathlib contains related infrastructure, but the exact theorem package for this unit is only partially represented in the current Codex Lean layer.

import Mathlib

namespace Codex.RiemannSurfaces.Jacobians

theorem JacobianVariety_placeholder : True := by
  trivial

end Codex.RiemannSurfaces.Jacobians

Advanced results [Master]

The mature form of jacobian variety is functorial. Morphisms preserve the defining local data, and the invariants attached to the object descend to the relevant quotient category. In the complex-analytic strand this means divisors, periods, line bundles, and extension phenomena behave under holomorphic maps of Riemann surfaces. In the representation-theoretic strand this means weights, characters, enveloping algebras, and invariant measures behave under homomorphisms and restriction.

A second result is the comparison with the adjacent algebraic or analytic model. For Riemann surfaces, meromorphic data can often be read as line-bundle or divisor data; for representation theory, infinitesimal data in a Lie algebra often integrates to compact or complex group data under appropriate hypotheses. These comparison theorems are the reason the unit is placed as supporting material rather than isolated terminology. ^{[Mumford Curves and their Jacobians; Farkas-Kra Ch VI]}

Synthesis. The Jacobian is the complex torus $H^0(X,{\omega }_X{)}^{\ast }/\Lambda$ where $\Lambda$ is the period lattice 06.06.02 generated by integrating holomorphic 1-forms 06.06.01 over first homology; it stores degree-zero divisor classes 06.05.01 via the Abel-Jacobi map 06.06.04 and is the ambient space on which theta functions 06.06.05 live as quasi-periodic holomorphic functions. The Abel theorem identifies the kernel of the Abel-Jacobi map with principal divisors, so the Jacobian is the geometric target for the classification problem that Riemann-Roch 06.04.01 solves cohomologically. Torelli's theorem asserts that a compact Riemann surface is determined by its Jacobian with its principal polarisation, making the Jacobian a complete invariant of the curve up to isomorphism and connecting complex analysis to the theory of abelian varieties.

Full proof set [Master]

The local theorem above proves the invariant core used by downstream units. The global comparison theorems cited in Advanced results require the full machinery of the anchor texts: sheaf cohomology and compactness for the Riemann-surface statements, PBW and highest-weight theory for the Lie-algebraic statements, and Haar integration for compact groups. Those proofs are standard in the cited references and are recorded here as review targets rather than Lean-complete artifacts. ^{[Mumford Curves and their Jacobians; Farkas-Kra Ch VI]}

Connections [Master]

• 06.05.01 supplies the local analytic language, 06.06.03 supplies the Riemann-surface setting, and 06.04.01 uses this unit as part of the global theory of curves, periods, or sheaf cohomology. The same ideas also interact with divisor and line-bundle constructions in 06.05.01 and 06.05.02.

• Eichler-Shimura correspondence 21.04.03. Successor unit on the arithmetic specialisation of Jacobian theory. The modular Jacobian $J_0(N)=\mathrm{Jac}(X_0(N))$ is the central geometric object on which the Hecke algebra acts via algebraic correspondences, and on whose $\ell$-adic Tate module the Eichler-Shimura $2$-dimensional Galois representation ${\rho }_{f,\ell }$ is realised. The general Jacobian theory developed here — the Abel-Jacobi map, the principal polarisation, the period matrix, the theta-divisor — specialises to the modular case as the operator-theoretic substrate on which the modular-form / Galois-representation bridge is built; in particular the modular abelian variety $A_f$ attached to a weight-$2$ cusp newform $f$ is constructed as a Hecke-ideal quotient of $J_0(N)$.

Historical & philosophical context [Master]

Jacobi's elliptic functions gave the genus-one model; Riemann's 1857 theory extended the construction to all compact surfaces through period matrices. Mumford's exposition treats the Jacobian as the natural group attached to a curve. ^{[Jacobi 1829; Riemann 1857; Mumford Curves and their Jacobians]}

Bibliography [Master]

• Jacobi 1829 elliptic theory; Riemann 1857 general theory.
• Mumford Curves and their Jacobians; Farkas-Kra Ch VI.