Sur le topos Weil-étale d'un corps de nombres
Thèses de doctorat
Date de soutenance
2008-05-30Résumé
Ce mémoire est constitué d’une étude topologique et cohomologique des anneaux d’entiers de corps de nombres. Dans une première partie, nous définissons une cohomologie étale équivariante satisfaisant un théorème de ...Lire la suite >
Ce mémoire est constitué d’une étude topologique et cohomologique des anneaux d’entiers de corps de nombres. Dans une première partie, nous définissons une cohomologie étale équivariante satisfaisant un théorème de localisation. L’utilisation de cette cohomologie nous permet d’approfondir le dictionnaire de la topologie arithmétique. La suite de ce travail est consacrée à l’étude de la cohomologie Weil-étale en caractéristique zéro, dont l’existence a été conjecturée par Lichtenbaum. Cette théorie cohomologique permettrait d’exprimer les valeurs spéciales des fonctions zêta de Dedekind en termes de caractéristiques d’Euler. Après avoir donné une description explicite de la catégorie des faisceaux sur le site Weilétale d’un corps de nombres, nous construisons un complexe de faisceaux sur le site étale d’Artin-Verdier dont l’hypercohomologie est la cohomologie Weil-étale conjecturale. Cette construction suggère l’existence d’un toposWeil-étale au-dessus du topos étale d’Artin-Verdier d’un corps de nombres. Nous démontrons ensuite que le topos Weil-étale en caractéristique positive est un produit fibré dans la 2-catégorie des topos. Nous étudions alors les propriétés topologiques partagées par le topos Weil-étale et le système dynamique de Deninger conjecturalement associés à un corps global. L’intuition topologique fournie par cette analogie nous permet finalement la construction d’un topos, fonctoriellement attaché à un corps de nombres, dont nous étudions certaines propriétés.< Réduire
Résumé en anglais
This thesis consists in a topological and cohomological study of rings of algebraic integers. In the first part, we define an equivariant étale cohomology theory, which satisfies a localization theorem. We use this cohomology ...Lire la suite >
This thesis consists in a topological and cohomological study of rings of algebraic integers. In the first part, we define an equivariant étale cohomology theory, which satisfies a localization theorem. We use this cohomology theory to investigate further the dictionary of arithmetic topology. In the following chapters we study the Weil-étale cohomogy in characteristic zero, whose existence has been conjectured by Lichtenbaum. This cohomology theory would allow to express the special values of Dedekind zêta functions in terms of Euler characteristics. After having obtain an explicit description of the category of sheaves on the Weil-étale site of a number field, we construct a complex of sheaves on the étale Artin-Verdier site whose hypercohomology is the conjectural Weil-étale cohomolgy. Our construction suggests the existence of a Weil-étale topos over the étale Artin-Verdier topos of a number field. We next prove that the Weil-étale topos in positive characteristic is a fiber product in the 2-category of topoi. We then study the topological properties shared by the Weil-étale topos and Deninger’s dynamical system which are conjecturally associated to a global field. The topological intuition gained by this analogy allows us eventually to construct a topos, functorially attached to a number field, whose properties we study in some detail.< Réduire
Mots clés
Mathématiques Pures
Cohomologie équivariante
théorème de localisation
Cohomologie Weil-étale
conjectures de Lichtenbaum
fonctions zêta
topos
topos Weil-étale
topologie arithmétique
système dynamique de Deninger
Unités de recherche