| Summary: | Dans cette thèse, nous nous intéressons à l'arithmétique de certains corps de fonctions. Nous cherchons à établir dans un premier temps des théorèmes de dualité arithmétique sur ces corps, pour les appliquer ensuite à l'étude des points rationnels sur certaines variétés algébriques. Dans les trois premiers chapitres, nous travaillons sur le corps des fonctions d'une courbe sur un corps local supérieur (comme Qp, Qp((t)), C((t)) ou C((t))((u))). Dans le premier chapitre, nous établissons sur un tel corps des théorèmes de dualité arithmétique « à la Poitou-Tate » pour les modules finis, les tores, et même pour certains complexes de tores. Nous montrons aussi l'existence, sous certaines hypothèses, de certaines portions des suites exactes de Poitou-Tate correspondantes. Ces résultats sont appliqués dans le deuxième chapitre à l'étude du principe local-global pour les algèbres simples centrales, de l'approximation faible pour les tores, et des obstructions au principe local-global pour les torseurs sous des groupes linéaires connexes. Dans le troisième chapitre, nous nous penchons sur les variétés abéliennes et établissons des théorèmes de dualité arithmétique « à la Cassels-Tate ». Cela demande aussi de mener une étude fine des variétés abéliennes sur les corps locaux supérieurs. Dans le quatrième et dernier chapitre, nous travaillons sur les corps des fractions de certaines algèbres locales normales de dimension 2 (typiquement C((x, y)) ou Fp((x, y))). Nous établissons d'abord un théorème de dualité en cohomologie étale « à la Artin-Verdier » dans ce contexte. Cela nous permet ensuite de montrer des théorèmes de dualité arithmétique en cohomologie galoisienne « à la Poitou-Tate » pour les modules finis et les tores. Nous appliquons finalement ces résultats à l'étude de l'approximation faible pour les tores et des obstructions au principe local-global pour les torseurs sous des groupes linéaires connexes. === In this thesis, we are interested in the arithmetic of some function fields. We first want to establish arithmetic duality theorems over those fields, in order to apply them afterwards to the study of rational points on algebraic varieties. In the first three chapters, we work on the function field of a curve defined over a higher-dimensional local field (such as Qp, Qp((t)), C((t)) or C((t))((u))). In the first chapter, we establish "Poitou-Tate type" arithmetic duality theorems over such fields for finite modules, tori and even some complexes of tori. We also prove the existence, under some hypothesis, of parts of the corresponding Poitou-Tate exact sequences. These results are applied in the second chapter to the study of the local-global principle for central simple algebras, of weak approximation for tori, and of obstructions to local-global principle for torsors under connected linear algebraic groups. In the third chapter, we are interested in abelian varieties and we establish "Cassels-Tate type" arithmetic duality theorems. To do so, we also need to carry out a precise study of abelian varieties over higher-dimensional local fields. In the fourth and last chapter, we work on the field of fractions of some 2-dimensional normal local algebras (such as C((x, y)) or Fp((x, y))). We first establish in this context an "Artin-Verdier type" duality theorem in étale cohomology. This allows us to prove "Poitou-Tate type" arithmetic duality theorems in Galois cohomology for finite modules and tori. In the end, we apply these results to the study of weak approximation for tori and of obstructions to local-global principle for torsors under connected linear algebraic groups.
|
|---|
