Dans les années quatre-vingts dix du siècle dernier, R. W. Thomason a démontréun théorème de concentration pour la K-théorie équivariante algébrique sur lesschémas munis d’une action d’un groupe algébrique G diagonalisable. Comme d’habitude,un tel théorème entraîne une formule des points fixes de type Lefschetz qui permetde calculer la caractéristique d’Euler-Poincaré équivariante d’un G-faisceau cohérent surun G-schéma propre en termes d’une caractéristique sur le sous-schéma des points fixes.Le but de cette thèse est de généraliser les résultats de R.W. Thomason dans le contextede la géométrie d’Arakelov. Dans ce travail, nous considérons les schémas arithmétiquesau sens de Gillet-Soulé et nous tout d’abord démontrons un analogue arithmétiquedu théorème de concentration pour les schémas arithmétiques munis d’une action duschéma en groupe diagonalisable associé à Z/nZ. La démonstration résulte du théorèmede concentration algébrique joint à des arguments analytiques. Dans le dernier chapitre,nous formulons et démontrons deux types de formules de Lefschetz arithmétiques. Cesdeux formules donnent une réponse positive à deux conjectures énoncées par K. Köhler,V. Maillot et D. Rössler. / In the nineties of the last century, R. W. Thomason proved a concentrationtheorem for the algebraic equivariant K-theory on the schemes which are endowed withan action of a diagonalisable group scheme G. As usual, such a concentration theoreminduces a fixed point formula of Lefschetz type which can be used to calculate theequivariant Euler-Poincaré characteristic of a coherent G-sheaf on a proper G-schemein terms of a characteristic on the fixed point subscheme. It is the aim of this thesis togeneralize R. W. Thomason’s results to the context of Arakelov geometry. In this work,we consider the arithmetic schemes in the sense of Gillet-Soulé and we first prove anarithmetic analogue of the concentration theorem for the arithmetic schemes endowedwith an action of the diagonalisable group scheme associated to Z/nZ. The proof is acombination of the algebraic concentration theorem and some analytic arguments. Inthe last chapter, we formulate and prove two kinds of arithmetic Lefschetz formulae.These two formulae give a positive answer to two conjectures made by K. Köhler, V.Maillot and D. Rössler.

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.

Cette thèse étudie le problème de minoration de la hauteur canonique sur les courbeselliptiques. Son résultat diophantien principal utilise des méthodes d’intersectionarithmétique pour retrouver un résultat de Laurent, qui démontrait la conjecturede Lehmer pour les courbes elliptiques à multiplications complexes à un exposant" près, tout en explicitant complètement sa dépendance en divers paramètres liésà la courbe elliptique ; une telle démarche peut être motivée par la conjecture deLang, qui présage une minoration possible de la hauteur canonique proportionnelle,essentiellement, à la hauteur de Faltings de la courbe.Notre dissertation commence toutefois par une partie dédiée à l’explicitation duthéorème de densité de Chebotarev, qui reprend les grandes lignes d’un travail deLagarias et Odlyzko, et s’avère être cruciale dans notre approche du problème deLehmer elliptique. On obtient également des majorations des zéros de Siegel et de lanorme du plus petit idéal premier entrant en jeu dans le théorème de Chebotarev. / In this thesis we consider the problem of lower bounds for the canonical height onelliptic curves, aiming for the conjecture of Lehmer. Our main diophantine result isan explicit version of a theorem of Laurent (who proved this conjecture for ellipticcurves with CM up to a " exponent) using arithmetic intersection, enlightening thedependence with parameters linked to the elliptic curve ; such a result can be motivatedby the conjecture of Lang, hoping for a lower bound proportional to, roughly,the Faltings height of the curve.Nevertheless, our dissertation begins with a part dedicated to a completely explicitversion of the density theorem of Chebotarev, along the lines of a previous workdue to Lagarias and Odlyzko, which will be crucial to investigate the elliptic Lehmerproblem. We also obtain upper bounds for Siegel zeros, and for the smallest primeideal whose Frobenius is in a fixed conjugacy class.