principally polarized abelian varieties

principally polarized abelian varieties

Principally polarized abelian varieties are complex projective algebraic varieties that carry a distinguished type of ample line bundle giving an isomorphism between the variety and its dual, appearing centrally in the study of Jacobians of algebraic curves, the moduli space of complex tori, and arithmetic questions related to Shimura varieties and the Tate conjecture. They form a natural class of objects linking classical work of Abel and Jacobi with modern theories developed by Mumford, Torelli, and contributors to the theory of Hodge structures and motives. Their geometry and arithmetic connect to fundamental constructions in the work of Riemann, Weil, and Deligne.

Definition and basic properties

A complex abelian variety is a projective algebraic group; classical constructions originate in the analytic uniformization given by a complex torus V/Λ studied by Riemann. For an abelian variety A over a field k, the dual variety  parameterizes algebraically equivalent line bundles; the existence of an isomorphism A ≅  induced by an ample line bundle defines a polarization studied by Mumford and Grothendieck. Basic invariants include the dimension g, the Rosati involution on the endomorphism algebra End^0(A), and the behavior of the Néron–Severi group analyzed in work of Néron and Shioda. Classic results of Poincaré and Cartan describe analytic and topological constraints, while modern treatments invoke the theory of schemes and abelian schemes developed by Grothendieck.

Polarizations and principal polarizations

A polarization is an isogeny φ_L: A → Â determined by an ample line bundle L; its degree and type are discrete invariants classifying the isogeny class via the Mumford theta construction. A principal polarization is a polarization of degree one, giving an isomorphism A → Â. Principal polarizations appear in the study of theta functions initiated by Riemann and refined by Igusa and Igusa's moduli investigations. The existence and uniqueness of principal polarizations relate to the algebraic endomorphism ring studied by Albert and the classification of endomorphism algebras by Shimura and Taniyama. The interplay with the Weil pairing and Weil divisor theory governs the behavior under base change and the specialization properties proven using techniques from Grothendieck and Faltings.

Moduli spaces and Torelli theorem

Principally polarized abelian varieties of dimension g form the moduli stack A_g and the coarse moduli space A_g, central objects in the work of Igusa, Mumford, and Deligne. A_g admits toroidal compactifications studied by Ash, Mumford, Rapoport, and Tai and carries a Siegel modular interpretation via the action of Sp(2g,Z) on Siegel upper half-space, a theme developed by Siegel and Satake. The classical Torelli theorem, proved by Torelli and refined by proofs from Mumford and Weil, asserts that the Jacobian map from the moduli space of curves M_g to A_g is injective on isomorphism classes; subsequent extensions include the Schottky problem investigated by Schottky and modern contributors like Farkas and Krichever. Interactions with Hodge theory and the period mapping were elucidated by Griffiths and Deligne.

Examples and constructions

Principal polarizations arise on Jacobians J(C) of smooth projective curves C by the theta divisor constructed from a canonical linear series — a classical result of Riemann and Weierstrass. Products of elliptic curves with a suitable symmetric line bundle yield examples related to Kronecker and Hecke correspondences, while Prym varieties constructed by Mumford and Beauville give principally polarized abelian varieties associated to étale double covers, with links to the work of Recillas. Complex multiplication examples are abundant in the theory developed by Shimura and Taniyama; special families appear in the study of Hermitian symmetric domains and CM fields. Constructions via reduction and lifting exploit results of Serre and Tate in arithmetic geometry.

Endomorphisms and isogenies

The endomorphism algebra End^0(A) of an abelian variety with principal polarization is constrained by the Rosati involution and the Albert classification of simple factors; foundational contributors include Albert, Mumford, and Shimura. Isogenies preserving polarizations correspond to symplectic similitudes in the Siegel context and play a role in the arithmetic study of abelian varieties by Faltings, whose isogeny theorems connect to the Mordell conjecture proved by Faltings. The Tate module and Galois representations attached to A give arithmetic invariants investigated by Tate, Serre, and Deligne, while Honda–Tate theory classifies isogeny classes over finite fields, building on work of Honda and Tate.

Applications in algebraic geometry and number theory

Principally polarized abelian varieties underpin the study of algebraic curves via Jacobians and the Torelli map, influencing the classification of algebraic surfaces in the work of Enriques and Kodaira. They appear in the arithmetic of L-functions and modularity conjectures studied by Wiles, Taylor, and Breuil and in the formulation of special value conjectures by Beilinson and Bloch–Kato. The geometry of A_g informs enumerative problems and intersection theory as in Mumford's calculations, while links to Shimura varieties and automorphic forms enter the Langlands program articulated by Langlands and explored by Kottwitz and Harris. In cryptography, isogeny-based protocols reference abelian varieties and elliptic curve analogues examined by Diffie and Hellman-era developments extended in post-quantum proposals.

Category:Abelian varieties