In number theory, the Mordell conjecture is the conjecture made by Mordell (1922) that a curve of genus greater than 1 over the field Q of rational numbers has only finitely many rational points. The conjecture was later generalized by replacing Q by any number field. It was proved by Gerd Faltings (1983), and is now known as Faltings's theorem.
- Case g = 0: no points or infinitely many; C is handled as a conic section.
- Case g = 1: no points, or C is an elliptic curve and its rational points form a finitely generated abelian group (Mordell's Theorem, later generalized to the Mordell–Weil theorem). Moreover Mazur's torsion theorem restricts the structure of the torsion subgroup.
- Case g > 1: according to the Mordell conjecture, now Faltings's Theorem, C has only a finite number of rational points.
Faltings's original proof used the known reduction to a case of the Tate conjecture, and a number of tools from algebraic geometry, including the theory of Néron models. A very different proof, based on diophantine approximation, was found by Paul Vojta. A more elementary variant of Vojta's proof was given by Enrico Bombieri.
Faltings's 1983 paper had as consequences a number of statements which had previously been conjectured:
- The Mordell conjecture that a curve of genus greater than 1 over a number field has only finitely many rational points;
- The Shafarevich conjecture that there are only finitely many isomorphism classes of abelian varieties of fixed dimension and fixed polarization degree over a fixed number field with good reduction outside a given finite set of places; and
- The Isogeny theorem that abelian varieties with isomorphic Tate modules (as Ql-modules with Galois action) are isogenous.
The reduction of the Mordell conjecture to the Shafarevich conjecture was due to Parshin (1971). A sample application of Faltings's theorem is to a weak form of Fermat's Last Theorem: for any fixed n > 4 there are at most finitely many primitive integer solutions to an + bn = cn, since for such n the curve xn + yn = 1 has genus greater than 1.
Because of the Mordell–Weil theorem, Faltings's theorem can be reformulated as a statement about the intersection of a curve C with a finitely generated subgroup Γ of an abelian variety A. Generalizing by replacing C by an arbitrary subvariety of A and Γ by an arbitrary finite-rank subgroup of A leads to the Mordell–Lang conjecture, which has been proved.
Another higher-dimensional generalization of Faltings's theorem is the Bombieri–Lang conjecture that if X is a pseudo-canonical variety (i.e., variety of general type) over a number field k, then X(k) is not Zariski dense in X. Even more general conjectures have been put forth by Paul Vojta.
- Bombieri, Enrico (1990). "The Mordell conjecture revisited". Ann. Scuola Norm. Sup. Pisa Cl. Sci. 17 (4): 615–640.
- Coleman, Robert F. (1990). "Manin's proof of the Mordell conjecture over function fields". L'Enseignement Mathématique. Revue Internationale. IIe Série 36 (3): 393–427. ISSN 0013-8584. MR 1096426
- Cornell, Gary; Silverman, Joseph H. (1986). Arithmetic geometry. New York: Springer. ISBN 0-387-96311-1. → Contains an English translation of Faltings (1983)
- Faltings, Gerd (1983). "Endlichkeitssätze für abelsche Varietäten über Zahlkörpern". Inventiones Mathematicae 73 (3): 349–366. doi:10.1007/BF01388432.
- Grauert, Hans (1965). "Mordells Vermutung über rationale Punkte auf algebraischen Kurven und Funktionenkörper". Publications Mathématiques de l'IHÉS (25): 131–149. ISSN 1618-1913. MR 0222087
- Hindry, Marc; Silverman, Joseph H. (2000). Diophantine geometry. Graduate Texts in Mathematics 201. Springer-Verlag. ISBN 0-387-98981-1. → Gives Vojta's proof of Faltings's Theorem.
- S. Lang (1997). Survey of Diophantine geometry. Springer-Verlag. pp. 101–122. ISBN 3-540-61223-8.
- Manin, Ju. I. (1963). "Rational points on algebraic curves over function fields". Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 27: 1395–1440. ISSN 0373-2436. MR 0157971
- Mordell, Louis J. (1922). "On the rational solutions of the indeterminate equation of the third and fourth degrees". Proc. Cambridge Philos. Soc. 21: 179–192.
- Paršin, A. N. (1971). "Quelques conjectures de finitude en géométrie diophantienne". Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1. Gauthier-Villars. pp. 467–471.
- Parshin, A. N. (2001), "M/m064910", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4