Manin–Mumford conjecture

Manin–Mumford conjecture The Manin–Mumford conjecture is a statement about the distribution of torsion points on subvarieties of abelian varieties, asserting that a subvariety containing a Zariski-dense set of torsion points must be a union of translates of abelian subvarieties by torsion points. It connects ideas from Yuri Manin, David Mumford, André Weil, Alexander Grothendieck, Jean-Pierre Serre, and John Tate by relating torsion phenomena to the geometry of Jacobian varieties, elliptic curves, and moduli problems. The conjecture motivated developments touching on the work of Gerd Faltings, Enrico Bombieri, Serge Lang, Pierre Deligne, and Barry Mazur.

Statement

Let A be an abelian variety defined over a field related to number-theoretic contexts such as a number field invoked by Felix Klein or a function field considered by André Weil. Let V be a closed algebraic subvariety of A considered in the sense used by Oscar Zariski and the Italian School of Algebraic Geometry. The conjecture asserts: if the set of torsion points of A lying on V is Zariski-dense in V, then V is a finite union of translates of abelian subvarieties of A by torsion points. This formulation invokes structures studied by Bernhard Riemann in the theory of theta functions and later formalized by Alexander Grothendieck in the theory of group schemes and Mordell-type finiteness perspectives from Louis Mordell and Gerd Faltings.

Historical background and motivation

The origin traces to conjectures and observations made by Yuri Manin and David Mumford during exchanges influenced by the work of André Weil on Diophantine geometry and Abelian variety theory. Early motivation came from classical problems on torsion points on elliptic curves studied by Carl Friedrich Gauss and modern modular insights advanced by Hecke, Atkin, and Andrew Wiles in settings of congruence problems. Connections to the Mordell conjecture—settled by Gerd Faltings—and to Lang’s conjectures encouraged precise formulation. Influential partial results involved methods appearing in the research of Raynaud, who proved the conjecture in characteristic 0, and in parallel lines of inquiry developed by Manjul Bhargava, Barry Mazur, and Loïc Merel on torsion in families of abelian varieties and elliptic curve torsion classification.

Proofs and key methods

The first complete proof in characteristic 0 was given by Michel Raynaud using techniques from the Italian School of Algebraic Geometry and from the theory of Néron models developed by André Néron. Alternative proofs combined results from Galois representation theory influenced by Jean-Pierre Serre, Diophantine approximation methods akin to Vojta’s work inspired by Paul Vojta, and height theory as used by Enrico Bombieri and Joseph Silverman. Later proofs and simplifications employed model-theoretic methods from Hrushovski connecting to ideas from Model theory originated by Alfred Tarski and developed by Saharon Shelah, as well as equidistribution techniques following lines of work by Shouwu Zhang and Xavier Guitart. Key ingredients across proofs include the study of endomorphism rings as in the work of André Weil, reduction modulo primes as used in Néron–Ogg–Shafarevich contexts linked to Jean-Pierre Serre and John Tate, and structure theorems for algebraic groups from the tradition of Claude Chevalley.

Generalizations and related results

Generalizations extend to the Bogomolov conjecture proved by Shouwu Zhang and to the André–Oort conjecture treated by Yuri Tschinkel, Benedict Gross, and later by authors using o-minimality methods linked to Jonathan Pila and Alexandre Wilkie. The Zilber–Pink conjecture synthesizes patterns appearing in Manin–Mumford, André–Oort, and Mordell–Lang contexts; contributors include Richard Pink, Benedict Gross, and Umberto Zannier. In positive characteristic, adaptations involve work of David Goss and results building on Raynaud and on advances in p-adic Hodge theory by Jean-Marc Fontaine and Pierre Colmez. Interactions with Arakelov theory developed by Suren Faltings and subsequent authors inform height inequalities and effectivity investigations led by Enrico Bombieri and Evert van der Put.

Examples and applications

A basic example: for an elliptic curve E over a number field studied by Andrew Wiles and defined by classical models from Niels Henrik Abel, any infinite set of torsion points lying on a curve V inside E forces V to be either all of E or a translate of a torsion subgroup; this special case aligns with classification results of Barry Mazur and Loïc Merel on torsion in families. Another example arises for Jacobians of algebraic curves relevant to Bernhard Riemann’s theta divisor and to the theory developed by David Mumford: torsion points on subvarieties constrain the geometric structure of Brill–Noether loci studied by Alexander Grothendieck and Arnaud Beauville. Applications appear in effective finiteness results related to Diophantine approximation problems pursued by Paul Vojta and in unlikely intersection problems investigated by Richard Pink and Umberto Zannier, with downstream impact on computational aspects linked to Cédric Villani’s networks of collaborations and algorithmic number theory pursued by Peter Sarnak.

Category:Conjectures in number theory