Une généralisation du théorème de Liouville effectif pour les variétés projectives

Résumé On démontre un analogue du théorème de Liouville effectif valable pour des points fermés sur une variété projective définie sur un corps de nombres. Ce résultat est une version effective d’un théorème récent de McKinnon et Roth. Une partie importante de cet article est consacrée à la démonstration d’une version effective d’un cas particulier d’un théorème remarquable de géométrie diophantienne dû à Faltings et Wüstholz. Combiné à de nouvelles comparaisons explicites entre l’évaluation d’une section d’un fibré en droites et une fonction distance donnée, ce résultat entraîne le théorème principal. Nous présentons également une autre approche, en montrant comment rendre effectifs les arguments de McKinnon et Roth. Ces deux points de vue conduisent à des versions distinctes du théorème principal, fournissant des majorations différentes de la hauteur des points satisfaisant une inégalité analogue à celle du théorème de Liouville classique. Abstract We prove an effective analogue of Liouville’s theorem for closed points on an arbitrary projective variety defined over a number field. Our result can be interpreted as an effective version of a recent theorem proved by McKinnon and Roth. A central part of the paper is dedicated to giving an effective proof of a particular case of a powerful theorem in diophantine geometry proved by Faltings and Wüstholz. This result, combined with new explicit comparisons between evaluation of sections of a line bundle and a given distance function, leads to the expected theorem. We also deal with another approach, showing how to make the arguments of McKinnon and Roth effective. These two points of view lead to distinct versions of our main result, giving different upper bounds for the height of points satisfying a Liouville type inequality.