Mordell–Lang conjecture

Mordell–Lang conjecture
Name	Mordell–Lang conjecture
Field	Number theory, Algebraic geometry
Conjectured	1960s
Proposed by	Louis Mordell, Serge Lang
Proven	1980s–1990s

Mordell–Lang conjecture The Mordell–Lang conjecture is a central statement in Number theory and Algebraic geometry relating the distribution of rational points on subvarieties of abelian varieties and semiabelian varieties, connecting themes from Diophantine geometry, Faltings's theorem, Tate conjecture, Shimura varieties and the work of André Weil. It synthesizes prior results by Louis Mordell, Serge Lang, Paul Vojta and others, and its resolution employed techniques from Model theory, Arakelov theory, Galois representations, p-adic Hodge theory and the theory of Heights (number theory). The conjecture has influenced research in contexts ranging from Arithmetic dynamics to o-minimality and continues to motivate problems in Transcendence theory, Diophantine approximation and the study of Rational points.

Statement

The classical statement concerns a finitely generated subgroup Γ of an abelian variety A defined over a number field K and a subvariety X of A: the set X ∩ Γ is a finite union of cosets of subgroups of Γ, generalizing results by Louis Mordell on curves and conjectures by Serge Lang linking rational points and special subvarieties. An analogous formulation for semiabelian varieties over fields of characteristic zero and for finitely generated subgroups of A(K) appears in the literature associated with Gerd Faltings and Jonathan Pila, and draws on the formalism of Weil height machine and Néron models. Over function fields the statement is modified to account for isotriviality and involves inputs from André-Oort conjecture-style special subvariety descriptions and finiteness properties studied by Alan Baker and David Masser.

Historical development and motivations

Motivation traces to Louis Mordell's 1922 theorem on rational points of curves of genus greater than one, and to Lang's conjectures in the 1960s relating rational points and subvarieties of abelian varieties, which built on work of André Weil, Alexander Grothendieck, Oscar Zariski and Igor Shafarevich. The conjecture integrated insights from Diophantine approximation by Kurt Mahler, Alan Baker and Thue–Siegel–Roth theorem specialists, and resonated with advances in Arakelov theory by Gerd Faltings and structural results of Pierre Deligne and Jean-Pierre Serre. Key historical milestones include Faltings's proof of the Mordell conjecture—itself influenced by conjectures of Paul Vojta and methods from Étale cohomology—and later breakthroughs by Michel Raynaud, Enrico Bombieri and model-theoretic contributions by Ehud Hrushovski that connected to research programs at institutions such as Institute for Advanced Study and Clay Mathematics Institute.

Proofs and key methods

Proofs combine arithmetic geometry, model theory, and analytic methods: Gerd Faltings's isogeny estimates and height inequalities underpin parts of the abelian case, while Michael Artin-style cohomological methods and Grothendieck's theories provide structural input. Raynaud proved cases using degeneration techniques connected to Néron models and formal geometry developed by Alexander Grothendieck and Jean-Pierre Serre, while Hrushovski gave a model-theoretic proof of the function field case employing stability theory and techniques from Model theory pioneered by Alfred Tarski and Saharon Shelah. Further approaches use p-adic methods and Hodge theory from Pierre Deligne and Jean-Michel Bismut, as well as o-minimal strategies in the spirit of Jonathan Pila and Alex Wilkie, which link counting rational points on transcendental sets to geometry on Shimura varieties and to results by Yuri Manin and André Oort.

Generalizations and variants

Generalizations extend the statement to semiabelian varieties, mixed Shimura varieties, and to dynamical settings studied by Joseph Silverman and Matthew Baker; variants include the Zilber–Pink conjecture formulated by Boris Zilber and Richard Pink, the Bogomolov conjecture proven by Shou-Wu Zhang and Walter Fulton's colleagues in arithmetic geometry contexts, and uniformity versions influenced by work from Kowalski, Ellenberg and Zannier. Other extensions involve functional analogues over positive characteristic connected to results by David Goss and to Lang's conjectures reframed in the language of Tannakian categories as advanced by Pierre Deligne and Saavedra Rivano.

Examples and applications

Examples include torsion cosets in elliptic curves studied by Karl Weierstrass-inspired function theory and by Niels Henrik Abel, intersections of subvarieties with finitely generated subgroups in Jacobians of curves treated by Felix Klein-era techniques, and applications to unlikely intersection problems on Andre-Oort type moduli spaces related to work by Benedict Gross and Gérard Laumon. Practical applications occur in the study of rational points on modular curves as in work by Barry Mazur, in effective results used by Bjorn Poonen and Ken Ribet, and in diophantine stability questions investigated by Rafael Calle-style research groups and by laboratories at Institut Henri Poincaré.

Related conjectures and open problems

Related conjectures include the Zilber–Pink conjecture of Boris Zilber and Richard Pink, the André–Oort conjecture proven in many cases by Kowalski-style collaborators and by Jacques Tits-inspired methods, uniform Mordell–Lang questions explored by Caporaso–Harris–Mazur-type programs, and p-adic variations tied to conjectures of Jean-Pierre Serre and Gerd Faltings. Open problems concern effective bounds for intersections, uniformity in families studied by Ellenberg and Venkatesh, positive characteristic analogues addressed by Bjorn Poonen and David Goss, and cohesive frameworks linking o-minimality from Jonathan Pila with arithmetic geometry methods developed by Faltings and Raynaud.

Category:Diophantine geometry