nLab Mordell conjecture

Contents

Contents

Idea

Il s’agit là d’une question qu’un arithméticien ne peut guère manquer de se poser; on n’aperçoit d’ailleurs aucun motif sérieux de parier pour ou contre. Peut-être dira-t-on que l’existence d’une infinité de solutions rationnelles pour une équation f(x,y)=0f(x,y)=0, en l’absence d’une raison algébrique qui la justifie, est infiniment peu probable. Mais ce n’est pas un argument…. (André Weil, Commentaire 1979)

The Mordell conjecture or Falting’s theorem is a statement about the finiteness of rational points on an algebraic curve over a number field of genus g>1g \gt 1.

Its statement motivated the introduction of anabelian geometry (Grothendieck).

The Mordell conjecture completed a classification of the behavior of rational points on curves over \mathbb{Q}. For genus 0 one has no points, or something isomorphic to 1\mathbb{P}^1 and hence infinitely many. For genus 1, the Mordell-Weil theorem tells us it is either empty or a finitely generated abelian group (sometimes finite, sometimes infinite). To finish off this type of classification the Mordell conjecture shows that only the finite case can occur for higher genus.

This result also implies many non-trivial results. For example, fix a finite set of primes SS, a dimension nn, and a polarization degree? dd. There are only finitely many abelian varieties of dimension nn and polarization degree dd with bad reduction? inside SS. This result is so interesting that a whole industry popped up asking what other varieties this type of behavior occurs for. It seems to work for K3s.

Sketch of Faltings’ proof

We follow the seminar notes BhattSnowden.

The proof proceeds along the following steps:

  1. Using Parshin’s trick and passing to the Jacobian variety to reduce the Mordell conjecture to the Shafarevich conjecture that there are only finitely many abelian varieties of dimension gg and polarization degree dd with good reduction outside a fixed set of places SS.

  2. Using the semisimplicity of the Tate module and the isogeny theorem

    Hom K(A,B) Hom G K(T (A),T (B))Hom_{K}(A,B)\otimes\mathbb{Z}_{\ell}\cong Hom_{G_{K}}(T_{\ell}(A),T_{\ell}(B))

    for abelian varieties AA and BB over KK, to prove the Shafarevich conjecture. The idea is that there are only finitely many possibilities for the Tate module, which shows finiteness up to isogeny; a height argument then shows finiteness up to isomorphism.

  3. Showing that the semisimplicity of the Tate module and the isogeny theorem will follow if there are only finitely many abelian varieties (up to isomorphism) isogenous to a fixed abelian variety AA (follows a strategy originally used by Tate to prove the analogous result over finite fields).

  4. Showing that there are only finitely many abelian varieties (up to isomorphism) isogenous to a fixed abelian variety AA by relating the Faltings height to the moduli-theoretic height (for which there are only finitely many points of bounded height) using Arakelov theory then studying how the Faltings height changes under isogeny. This makes use of the Hodge-Tate decomposition from p-adic Hodge theory.

Other proofs

Other proofs of the Mordell conjecture using different methods have been given by Paul Vojta (Vojta91) and Enrico Bombieri (Bombieri90). Recently another proof involving period mappings together with o-minimality methods was given by Brian Lawrence and Akshay Venkatesh (LawrenceVenkatesh18).

Effective Mordell conjecture

Faltings’ proof of the Mordell conjecture determines the finiteness of the rational points but it does not find the set of rational points. The latter problem is also known as the effective Mordell conjecture. An approach towards this has been proposed by Minhyong Kim and is related to his proposed arithmetic gauge theory (see also Balakrishnan19 for a survey).

Relation to other statements

The Mordell conjecture is implied by the abc conjecture. (See there.)

The Mordell conjecture implies Tate's isogeny theorem?.

See also Vojta's conjecture.

References

The Mordell conjecture originates in

  • Louis Mordell, On the rational solutions of the indeterminate equation of the third and fourth degrees, Proc. Cambridge Philos. Soc. 21: 179–192 (1922)

It was proven in

Seminar notes on Faltings’ proof:

Other proofs after Faltings:

Reviews:

A survey of two approaches to the effective Mordell conjecture:

Encyclopedia entries:

The relation to anabelian geometry originates in

The Weil quote stems from

  • André Weil, Œuvres Scientifiques - Collected Papers Volume III, Springer Heidelberg 1979. (p.454)

Last revised on July 3, 2022 at 21:56:47. See the history of this page for a list of all contributions to it.