Faltings's theorem

(Redirected from Mordell conjecture)

Faltings's theorem is a result in arithmetic geometry, according to which a curve of genus greater than 1 over the field of rational numbers has only finitely many rational points. This was conjectured in 1922 by Louis Mordell,[1] and known as the Mordell conjecture until its 1983 proof by Gerd Faltings.[2] The conjecture was later generalized by replacing by any number field.

Faltings's theorem
Gerd Faltings
FieldArithmetic geometry
Conjectured byLouis Mordell
Conjectured in1922
First proof byGerd Faltings
First proof in1983
GeneralizationsBombieri–Lang conjecture
Mordell–Lang conjecture
ConsequencesSiegel's theorem on integral points

Background

edit

Let   be a non-singular algebraic curve of genus   over  . Then the set of rational points on   may be determined as follows:

  • When  , there are either no points or infinitely many. In such cases,   may be handled as a conic section.
  • When  , if there are any points, then   is an elliptic curve and its rational points form a finitely generated abelian group. (This is Mordell's Theorem, later generalized to the Mordell–Weil theorem.) Moreover, Mazur's torsion theorem restricts the structure of the torsion subgroup.
  • When  , according to Faltings's theorem,   has only a finite number of rational points.

Proofs

edit

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.[3] Aleksei Parshin showed that Shafarevich's finiteness conjecture would imply the Mordell conjecture, using what is now called Parshin's trick.[4]

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.[5] The main idea of Faltings's proof is the comparison of Faltings heights and naive heights via Siegel modular varieties.[a]

Later proofs

edit

Consequences

edit

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 Isogeny theorem that abelian varieties with isomorphic Tate modules (as  -modules with Galois action) are isogenous.

A sample application of Faltings's theorem is to a weak form of Fermat's Last Theorem: for any fixed   there are at most finitely many primitive integer solutions (pairwise coprime solutions) to  , since for such   the Fermat curve   has genus greater than 1.

Generalizations

edit

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

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

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

Notes

edit
  1. ^ "Faltings relates the two notions of height by means of the Siegel moduli space.... It is the main idea of the proof." Bloch, Spencer (1984). "The Proof of the Mordell Conjecture". The Mathematical Intelligencer. 6 (2): 44. doi:10.1007/BF03024155. S2CID 306251.

Citations

edit

References

edit