Faltings' theorem

Proofs

Igor Shafarevich conjectured 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 fixed finite set of places. Aleksei Parshin showed that Shafarevich's finiteness conjecture would imply the Mordell conjecture, using what is now called Parshin's trick.

Gerd Faltings proved Shafarevich's finiteness conjecture using a known reduction to a case of the Tate conjecture, together with tools from algebraic geometry, including the theory of Néron models. The main idea of Faltings' proof is the comparison of Faltings heights and naive heights via Siegel modular varieties.

Later proofs

• Paul Vojta gave a proof based on Diophantine approximation. Enrico Bombieri found a more elementary variant of Vojta's proof.
• Brian Lawrence and Akshay Venkatesh gave a proof based on p-adic Hodge theory, borrowing also some of the easier ingredients of Faltings' original proof.

Consequences

Faltings' 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;
• Tate's isogeny theorem that abelian varieties with isomorphic Tate modules (as ${\displaystyle {\mathbb{Q}}_{\ell }}$-modules with Galois action) are isogenous.

A sample application of Faltings' theorem is to a weak form of Fermat's Last Theorem: for any fixed ${\displaystyle n\ge 4}$ there are at most finitely many primitive integer solutions (pairwise coprime solutions) to ${\displaystyle a^n+b^n=c^n}$, since for such ${\displaystyle n}$ the Fermat curve ${\displaystyle x^n+y^n=1}$ has genus greater than 1.

Generalizations

Because of the Mordell–Weil theorem, Faltings' theorem can be reformulated as a statement about the intersection of a curve ${\displaystyle C}$ with a finitely generated subgroup ${\displaystyle \mathrm{\Gamma }}$ of an abelian variety ${\displaystyle A}$. Generalizing by replacing ${\displaystyle A}$ by a semiabelian variety, ${\displaystyle C}$ by an arbitrary subvariety of ${\displaystyle A}$, and ${\displaystyle \mathrm{\Gamma }}$ by an arbitrary finite-rank subgroup of ${\displaystyle A}$ leads to the Mordell–Lang conjecture, which was proved in 1995 by McQuillan following work of Laurent, Raynaud, Hindry, Vojta, and Faltings.

Another higher-dimensional generalization of Faltings' theorem is the Bombieri–Lang conjecture that if ${\displaystyle X}$ is a pseudo-canonical variety (i.e., a variety of general type) over a number field ${\displaystyle k}$, then ${\displaystyle X(k)}$ is not Zariski dense in ${\displaystyle X}$. Even more general conjectures have been put forth by Paul Vojta.

The Mordell conjecture for function fields was proved by Yuri Ivanovich Manin and by Hans Grauert. In 1990, Robert F. Coleman found and fixed a gap in Manin's proof.