Approximation diophantienne sur les variétés projectives et les groupes algébriques commutatifs

Diophantine approximation on projective varieties and on commutative algebraic groups

• Auteur / Autrice : François Ballaÿ
• Direction : Eric Gaudron, Huayi Chen
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques
• Date : Soutenance le 25/10/2017
• Etablissement(s) : Université Clermont Auvergne‎ (2017-2020)
• Ecole(s) doctorale(s) : École doctorale des sciences fondamentales (Clermont-Ferrand)
• Partenaire(s) de recherche : Laboratoire : Laboratoire de Mathématiques Blaise Pascal
• Jury : Président / Présidente : Gaël Rémond
• Jury : Examinateurs / Examinatrices : José Ignacio Burgos Gil, Atsushi Moriwaki, Noriko Hirata-Kohno, Marusia Rebolledo-Dhuin
• Jury : Rapporteurs / Rapporteuses : José Ignacio Burgos Gil, Atsushi Moriwaki, Noriko Hirata-Kohno

Mots clés

Mots clés contrôlés

Approximation diophantienne

Géométrie algébrique arithmétique

Mots clés libres

Géométrie diophantienne

Approximation diophantienne

Géométrie d’Arakelov

Théorie des pentes

Points rationnels

Formes linéaires de logarithmes

Hauteurs

Diophantine geometry

Diophantine approximation

Arakelov geometry

Slope theory

Rational points

Linear forms in logarithms

Heights

Résumé

Dans cette thèse, nous appliquons des outils issus de la théorie d’Arakelov à l’étude de problèmes de géométrie diophantienne. Une notion centrale dans notre étude est la théorie des pentes des fibrés vectoriels hermitiens, introduite par Bost dans les années 90. Nous travaillons plus précisément avec sa généralisation dans le cadre adélique, inspirée par Zhang et développée par Gaudron. Ce mémoire s’articule autour de deux axes principaux. Le premier consiste en l’étude d’un remarquable théorème de géométrie diophantienne dû à Faltings etWüstholz, qui généralise le théorème du sous-espace de Schmidt. Nous commencerons par retranscrire la démonstration de Faltings et Wüstholz dans le langage de la théorie des pentes. Dans un second temps, nous établirons des variantes effectives de ce théorème, que nous appliquerons pour démontrer une généralisation effective du théorème de Liouville valable pour les points fermés d’une variété projective fixée. Ce résultat fournit en particulier une majoration explicite de la hauteur des points satisfaisant une inégalité analogue à celle du théorème de Liouville classique. Dans la seconde partie de cette thèse, nous établirons de nouvelles mesures d’indépendance linéaire de logarithmes dans un groupe algébrique commutatif, dans le cas dit rationnel.Notre approche utilise les arguments de la méthode de Baker revisitée par Philippon et Waldschmidt, combinés avec des outils de la théorie des pentes. Nous y intégrons un nouvel argument, inspiré par des travaux antérieurs de Bertrand et Philippon, nous permettant de contourner les difficultés introduites par le cas périodique. Cette approche évite le recours à une extrapolation sur les dérivations à la manière de Philippon et Waldschmidt. Nous parvenons ainsi à supprimer une hypothèse technique contraignante dans plusieurs théorèmes de Gaudron, tout en précisant les mesures obtenues.

In this thesis, we study diophantine geometry problems on projective varieties and commutative algebraic groups, by means of tools from Arakelov theory. A central notion in this work is the slope theory for hermitian vector bundles, introduced by Bost in the 1990s. More precisely, we work with its generalization in an adelic setting, inspired by Zhang and developed by Gaudron. This dissertation contains two major lines. The first one is devoted to the study of a remarkable theorem due to Faltings and Wüstholz, which generalizes Schmidt’s subspace theorem. We first reformulate the proof of Faltings and Wüstholz using the formalism of adelic vector bundles and the adelic slope method. We then establish some effective variants of the theorem, and we deduce an effective generalization of Liouville’s theorem for closed points on a projective variety defined over a number field. In particular, we give an explicit upper bound for the height of the points satisying a Liouville-type inequality. In the second part, we establish new measures of linear independence of logarithms over a commutative algebraic group. We focus our study on the rational case. Our approach combines Baker’s method (revisited by Philippon and Waldschmidt) with arguments from the slope theory. More importantly, we introduce a new argument to deal with the periodic case, inspired by previous works of Bertrand and Philippon. This method does not require the use of an extrapolation on derivations in the sense of Philippon-Waldschmidt. In this way, we are able to remove an important hypothesis in several theorems of Gaudron establishing lower bounds for linear forms in logarithms.