Le K1 des courbes sur les corps globaux : conjecture de Bloch et noyaux sauvages

Sous la direction de Karim Belabas
Thèse soutenue le 19 novembre 2009: Bordeaux 1
Pour X une courbe sur un corps global k, lisse, projective et géométriquement connexe, nous déterminons la Q-structure du groupe de Quillen K1(X) : nous démontrons que dimQ K1(X) ? Q =2r, où r désigne le nombre de places archimédiennes de k (y compris le cas r = 0 pour un corps de fonctions). Cela con?rme une conjecture de Bloch annoncée dans les années 1980. Dans le langage de la K-théorie de Milnor, que nous dé?nissons pour les variétés algébriques via les groupes de Somekawa, le premier K-groupe spécial de Milnor SKM1 (X) est de torsion. Pour la preuve, nous développons une théorie des hauteurs applicable aux K-groupes de Milnor, et nous généralisons l’approche de base de facteurs de Bass-Tate. Une structure plus ?ne de SKM 1 (X) émerge en localisant le corps de base k, et une description explicite de la décomposition correspondante est donnée. En particulier, nous identi?ons un sous-groupe WKl(X):= ker (SKM 1 (X) ? Zl ? Lv SKM 1 (Xv) ? Zl) pour chaque entier rationnel l, nommé noyau sauvage, dont nous croyons qu’il est ?ni.
-K-théorie
-K-groupes de Milnor
-Noyaux Sauvages
-Géométrie Algébrique
-Conjecture de Bloch
-Groupes de Somekawa
For a smooth projective geometrically connected curve X over a global ?eld k, we determine the Q-structure of its ?rst Quillen K-group K1(X) by showing that dimQ K1(X) ? Q =2r, where r denotes the number of archimedean places of k (including the case r = 0 for k a function ?eld). This con?rms a conjecture of Bloch. In the language of Milnor K-theory, which we de?ne for varieties via Somekawa groups, the ?rst special Milnor K-group SKM 1 (X) is torsion. For the proof, we develop a theory of heights applicable to Milnor K-groups, and generalize the factor basis approach of Bass-Tate. A ?ner structure of SKM 1 (X) emerges when localizing the ground ?eld k, and we give an explicit description of the resulting decomposition. In particular, we identify a potentially ?nite subgroup WKl(X):= ker (SKM 1 (X) ? Zl ? Lv SKM 1 (Xv) ? Zl) for each rational prime l, named wild kernel.
-K-theory
-Wild Kernel
-Bloch’s Conjecture
-Somekawa groups
-Milnor K-groups
-Algebraic Geometry
Source: http://www.theses.fr/2009BOR13861/document