
In number theory, the Mordell conjecture stated a basic result regarding the rational number solutions to Diophantine equations. It was eventually proved by Gerd Faltings in 1983, about six decades after the conjecture was made; it is now known as Faltings' theorem. Background Suppose we are given an algebraic curve C defined over the rational numbers (that is, C is defined by polynomials with rational coefficients), and suppose further that C is nonsingular (in this case that condition isn't a real restriction). How many rational points (points with rational coordinates) are on C? The answer depends upon the genus g of the curve. As is common in number theory, there are three cases: g = 0, g = 1, and g > 1. The g = 0 case has been understood for a long time; Mordell solved the g = 1 case, and conjectured the result when g > 1. Statement of results The complete result is this: Let C be a nonsingular algebraic curve over the rationals of genus g. Then the number of rational points on C may be determined as follows: * Case g = 0: no points or infinitely many; C is handled as a conic section.
Faltings' 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. Different proofs have been found by Paul Vojta and Enrico Bombieri, applying rather different methods. Consequences 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 reduction of the Mordell conjecture to the Shafarevich conjecture was due to A. N. Parshin in 1970.[1] A sample application of Falting's theorem is to Fermat's Last Theorem: for any fixed n > 4 there are at most finitely many primitive solutions to a^{n} + b^{n} = c^{n} (since the curve x^{n} + y^{n} = 1 has genus greater than 1). Generalizations Because of the MordellWeil theorem, Faltings' 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 finiterank subgroup of A leads to the MordellLang conjecture, which has been proved. Another higherdimensional generalization of Faltings' theorem is the BombieriLang conjecture that if X is a pseudocanonical 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. Notes 1. ^ http://eom.springer.de/M/m064910.htm
* Cornell, Gary; Silverman, Joseph H. (1986). Arithmetic geometry. New York: Springer. ISBN 0387963111. → Contains an English translation of Faltings (1983) Retrieved from "http://en.wikipedia.org/"

