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

On K1 of Curves over Global Fields : Bloch’s Conjecture and Wild Kernels

• Auteur / Autrice : Michael Laske
• Direction : Karim Belabas
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques pures
• Date : Soutenance le 19/11/2009
• Etablissement(s) : Bordeaux 1
• Ecole(s) doctorale(s) : École doctorale de mathématiques et informatique (Talence, Gironde ; 1991-....)
• Jury : Examinateurs / Examinatrices : Rob de Jeu, Philippe Elbaz-Vincent, Jean-François Jaulent

Mots clés

Mots clés contrôlés

Corps algébriques

Géométrie algébrique

K-théorie

Mots clés libres

K-théorie

K-groupes de Milnor

Noyaux Sauvages

Géométrie Algébrique

Conjecture de Bloch

Groupes de Somekawa

K-theory

Wild Kernel

Bloch’s Conjecture

Somekawa groups

Milnor K-groups

Algebraic Geometry

Résumé

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.

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.