Mordell's theorem

Mordell's theorem Mordell's theorem is a fundamental result in number theory asserting that the group of rational points on an elliptic curve over the rational numbers is finitely generated. It connects deep figures and institutions across mathematics, linking the work of Louis Mordell, André Weil, Gerd Faltings, John Tate, and others to major developments associated with Cambridge University, Trinity College, Cambridge, École Normale Supérieure, and the Institute for Advanced Study.

Statement of the theorem

Mordell's theorem states that for a nonsingular cubic curve defined over the field of rational numbers, the set of rational solutions forms an abelian group that is finitely generated. The assertion was made by Louis Mordell in 1922 and can be formulated as: for an elliptic curve E over Q, the abelian group E(Q) is isomorphic to a direct sum of a finite torsion subgroup and a free abelian group of finite rank. This statement sits alongside landmark results and objects like the Birch and Swinnerton-Dyer conjecture, the Mordell–Weil theorem over number fields, and the theory of elliptic curves central to work by Yuri Manin, André Weil, Nicolas Bourbaki, and research groups at Princeton University and Harvard University.

Historical context and development

The theorem originated in correspondence and publications by Louis Mordell during the early 20th century, influenced by earlier problems studied by Diophantus of Alexandria, investigations by Ferdinand von Lindemann, and the abstract foundations developed by Camille Jordan and Emmy Noether. The modern algebraic formulation owes much to André Weil's work on abelian varieties and to the formalization of geometry at École Normale Supérieure and University of Göttingen. Subsequent clarifications and generalizations were advanced by Helmut Hasse, Erich Hecke, Ernst Kummer, Alexander Grothendieck, and Serge Lang, with key institutional nodes including University of Cambridge, University of Paris, University of Göttingen, and the Institute for Advanced Study. Later achievements linking Mordell's theorem to conjectures and proofs involved Gerd Faltings' proof of the Mordell conjecture, collaborations at Princeton University and Rutgers University, and interactions with the Royal Society and the American Mathematical Society.

Outline of proof and methods

Mordell's original argument combined descent methods, height functions, and arithmetic of algebraic curves. Descent techniques trace back to Pierre de Fermat and were formalized by Joseph-Louis Lagrange, Adrien-Marie Legendre, and later by Fermat's successors such as Dirichlet and Leopold Kronecker. Heights were developed further by André Weil and refined by John Tate, whose canonical height pairing is central to modern expositions. The proof strategy typically uses an infinite descent to reduce infinite generation to finiteness, employing tools from the arithmetic of abelian varieties and cohomological techniques later systematized by Alexander Grothendieck and Jean-Pierre Serre. Alternative proofs and expositions leverage the work of Serge Lang, Silverman, and Joseph Silverman, while advanced proofs incorporate Galois cohomology as in work by John Tate and Serre and use structure theorems from class field theory and Iwasawa theory developed by Kenkichi Iwasawa and Ken Ribet.

Consequences and applications

Mordell's theorem has profound consequences across arithmetic geometry and number theory. It underpins research into the Birch and Swinnerton-Dyer conjecture, informs algorithmic approaches in computational packages at institutions like Microsoft Research and IBM Research, and impacts practical fields intersecting with cryptography research groups at National Security Agency and universities such as Stanford University and Massachusetts Institute of Technology. It constrains rational points on curves, guiding results by Gerd Faltings on rational points of higher genus and influencing diophantine approximation work of Alan Baker and Thue-Siegel-Roth type results associated with Kurt Mahler. The theorem has catalyzed progress in modularity theorems connected to Andrew Wiles and Richard Taylor and influenced the proof of Fermat's Last Theorem and subsequent studies by Freeman Dyson and researchers at Cambridge University and Princeton University.

Generalizations and related results

Mordell's theorem generalizes to the Mordell–Weil theorem for abelian varieties over number fields, formalized by André Weil and extended by Lang and Serre. The Mordell conjecture, proved by Gerd Faltings, asserts finiteness of rational points on curves of genus greater than one and relates to work by Paul Vojta and Faltings that connects diophantine geometry with heights and Arakelov theory developed by Serge Lang and Paul Vojta. Related structural results include the Mazur torsion theorem by Barry Mazur describing torsion subgroups over Q, and general torsion classifications by Loïc Merel over number fields. Connections extend to the Langlands program championed by Robert Langlands, modularity results by Andrew Wiles, and arithmetic duality theorems by John Tate and J. Milne.

Category:Theorems in number theory