Décompte dans une conjecture de Lang

Abstract.

Faltings has proven the following conjecture of Lang: if A is an abelian variety over a number field and X any subvariety then all rational points of X lie on a finite number N of translates, contained in X, of abelian subvarieties of A. We provide an upper bound for N whose main feature is uniformity in X since it does not depend on the height of X. Moreover, the bound is completely explicit. Together with the result of a previous paper, the heart of the proof is a suitable generalization of Mumford’s theorem for curves.