Faltings's theorem

Faltings's theorem
Renate Schmid · CC BY-SA 2.0 de · source
Name	Faltings's theorem
Caption	Gerd Faltings, 1986
Field	Number theory
Discovered by	Gerd Faltings
Year	1983

Faltings's theorem is a landmark result in Diophantine geometry and arithmetic geometry asserting finiteness of rational points on certain algebraic curves over number fields. The theorem resolved a long-standing conjecture of Louis Mordell and had immediate impact on research in André Weil's program, influencing work in Alexander Grothendieck's scheme theory and developments connected to the Birch and Swinnerton-Dyer conjecture and Langlands program. The proof, announced in 1983 and published in 1984, earned Gerd Faltings the Fields Medal in 1986 and reshaped research directions involving Jacobians, heights (mathematics), and Arakelov theory.

Statement

Faltings's theorem states that a smooth projective algebraic curve of genus greater than one defined over a number field has only finitely many rational points, linking classical results of Louis Mordell and conjectures of André Weil with modern techniques from Arakelov theory, Hodge theory, Tate conjecture, and Néron models. The statement concerns curves over a given number field such as Q or finite extensions like Kummer theory-related fields, and it is expressed in terms of objects like the curve's Jacobian variety, polarizations studied by David Mumford, and ℓ-adic representations of the absolute Galois group as in work by Jean-Pierre Serre. The theorem is equivalent to finiteness results for rational points on families parameterized by moduli spaces such as Moduli space of curves and interacts with conjectures of Serge Lang and results by Paul Vojta.

History and context

The question began with Pierre de Fermat's problems and matured through Diophantus of Alexandria and the 20th-century formulation by Louis Mordell who conjectured finiteness for curves of genus >1 over Q. Earlier partial progress included work of Ferdinand von Lindemann-era techniques and results by Claude Chevalley, André Weil who conjectured the general finiteness, and structural advances by Alexander Grothendieck using scheme theory and Étale cohomology. Developments in Néron models by André Néron and height theory by Joseph Silverman and John Tate set technical groundwork; contemporaneous contributions by Serge Lang, Gerd Faltings's contemporaries such as Barry Mazur and Richard Taylor shaped the environment. Faltings built on conjectures and tools from Shimura varieties, Mordell–Weil theorem, and the study of ℓ-adic Galois representations developed by Pierre Deligne and Jean-Pierre Serre.

Outline of proof

Faltings's proof uses comparisons among finiteness statements for isogeny classes of abelian varieties, rigidity results for ℓ-adic representations, and height bounds from Arakelov theory as developed by Surjeet Singh-adjacent researchers; key inputs include the Néron–Ogg–Shafarevich criterion leveraged with results akin to the Tate conjecture proved in special cases by John Tate and techniques from Mumford on polarizations. The argument shows finiteness of isomorphism classes of abelian varieties with fixed polarization and level structure over a number field, using Galois representation finiteness inspired by Serre's ideas and compactness arguments on moduli stacks related to Deligne and Mumford. Faltings then reduces the curve case to the abelian variety case via the Jacobian and the Abel–Jacobi embedding, invoking specialization arguments related to Grothendieck's monodromy methods and comparison theorems between de Rham and étale cohomology as in work by Alexander Grothendieck and Pierre Deligne.

Consequences and applications

Finiteness of rational points on high-genus curves spurred advances in explicit methods by researchers like Joseph Silverman, Barry Mazur, and Bjorn Poonen in effective Diophantine geometry and computational arithmetic on elliptic curves and hyperelliptic curves. The theorem influenced progress on the Birch and Swinnerton-Dyer conjecture via improved understanding of Jacobians and motivated refinements by Kolyvagin-style Euler system techniques associated with Vladimir Voevodsky-adjacent approaches. It catalyzed work on uniformity questions posed by Serge Lang and Mazur and inspired results on rational points over function fields by Michael Stoll and connections to Grothendieck–Mumford moduli problems. Applications extend to logic and decidability questions studied by Julia Robinson-inspired researchers and to algorithmic tasks handled by teams around Henri Darmon and Noam Elkies.

Examples and special cases

Classical cases encompass curves such as the Fermat curve studied in contexts of Pierre de Fermat and special hyperelliptic curves linked to work by Gauß and Niels Henrik Abel; explicit instances involve applying Faltings's theorem to modular curves like X_0(N) and Shimura curves treated in research by Goro Shimura and Yoshida Noriyoshi. For genus one, the Mordell–Weil theorem due to Louis Mordell and developments by André Weil and John Tate characterize infinite or finite rational points through the rank of the Mordell–Weil group, while genus zero curves correspond to parametrizations studied by Pythagoras-era analogues and work by Riemann. Effective refinements and explicit point searches on hyperelliptic curves have been carried out by groups involving Michael Stoll, Andrew Wiles-adjacent communities, and computational projects influenced by Cremona's tabulations of elliptic curves.

Category:Diophantine geometry