arXiv:math/9908097v2 [math.AG] 5 Dec 1999

arXiv:math/9908097v2 [math.AG] 5 Dec 1999
N◦d’ordre:
TH` ESE
Pr´esent´ee en vue de l’obtention du
TITRE DE DOCTEUR DE L’UNIVERSIT´ E PAUL SABATIER DE
TOULOUSE
Sp´ecialit´e:
Math´ematiques pures
par
Bertrand TOEN
K-TH´ EORIE ET COHOMOLOGIE DES
CHAMPS ALG´ EBRIQUES:
TH´ EOR` EMES DE RIEMANN-ROCH,
D-MODULES ET TH´ EOR` EMES ”GAGA”.
Soutenue le 24 Juin 1999, devant le jury compos´e de:
L. BREEN Professeur, Universit´e de Paris 13
L. MORET-BAILLY Professeur, Universit´e de Rennes 1
C. SIMPSON Directeur de Recherche C.N.R.S. (Toulouse) Co-directeur de Th`ese
J. TAPIA Professeur, Universit´e Paul Sabatier (Toulouse) Directeur de Th`ese
C. VOISIN Directrice de Recherche C.N.R.S. (Paris 7) Rapporteur
C. WALTER Professeur, Universit´e de Nice-Sophia-Antipolis Rapporteur
Laboratoire Emile Picard, Universit´e Paul Sabatier,
118, route de Narbonne, 31062 Toulouse Cedex France.
1

Je d´edie cette th`ese `a E.
2

Contents
0 Introduction 6
1 Chapitre 1: G´en´eralit´es sur les champs 18
1.1 Champs, pr´efaisceaux simpliciaux et pr´efaisceaux en spectres 18
1.1.1 Champs et pr´efaisceaux simpliciaux . . . . . . . . 18
1.1.2 Cohomologie g´en´eralis´ee des pr´efaisceaux Simplici-
aux.......................... 21
1.2 Champs et spectres de K-th´eorie . . . . . . . . . . . . . 22
1.3 Champs alg´ebriques . . . . . . . . . . . . . . . . . . . . . 27
1.3.1 Quelques d´efinitions et propri´et´es . . . . . . . . . 27
1.3.2 Quasi-enveloppes de Chow . . . . . . . . . . . . . 34
2 Chapitre 2:K-th´eorie des champs alg´ebriques 37
2.1 Premi`eres propri´et´es . . . . . . . . . . . . . . . . . . . . 39
2.2 Descente de la G-th´eorie rationnelle . . . . . . . . . . . . 45
2.2.1 Descente au-dessus d’un espace alg´ebrique . . . . 45
2.2.2 Descente covariante . . . . . . . . . . . . . . . . . 47
2.3 Th´eor`emes de d´evissage de la G-th´eorie . . . . . . . . . . 55
2.3.1 Cas des champs de Deligne-Mumford . . . . . . . 55
2.3.2 K-th´eorie `a coefficients dans les caract`eres . . . . 62
2.3.3 D´evissage des gerbes r´eductives . . . . . . . . . . 74
3 Chapitre 3: Cohomologie `a coefficients dans les car-
act`eres et th´eor`emes de Grothendieck-Riemann-Roch 78
3.1 Cohomologie des champs alg´ebriques . . . . . . . . . . . 79
3.1.1 Th´eorie cohomologique avec images directes . . . 79
3.1.2 Cohomologie `a coefficients dans les caract`eres . . 86
3.2 Formules de Riemann-Roch . . . . . . . . . . . . . . . . 92
3.2.1 Formule de Lefschetz-Riemann-Roch . . . . . . . 93
3.2.2 Formule de Grothendieck-Riemann-Roch . . . . . 101
3.2.3 Cas des champs de Deligne-Mumford : Cohomolo-
gie `a coefficients dans les repr´esentations . . . . . 102
3.2.4 Exemples d’applications . . . . . . . . . . . . . . 123
3.3 Comparaison avec d’autres th´eories cohomologiques . . . 133
3.3.1 Groupes de Chow . . . . . . . . . . . . . . . . . . 133
3.3.2 Cohomologie P´eriodique . . . . . . . . . . . . . . 137
3.4 Conclusion sur les th´eor`emes de Riemann-Roch . . . . . 140
4 Chapitre 4: Th´eor`emes de Grothendieck-Riemann-Roch
pour les D-modules et formules d’indices 142
4.1 Les champs de D-modules . . . . . . . . . . . . . . . . . 143
4.1.1 Images directes de D-modules . . . . . . . . . . . 146
4.1.2 Comparaison entre Get KD............ 155
3

4.2 Etude des spectres de K-th´eorie des D-modules holonomes 157
4.2.1 Le lemme de Kashiwara . . . . . . . . . . . . . . 157
4.2.2 Fonctions constructibles `a valeurs dans un foncteur
et th´eor`emes de d´evissage . . . . . . . . . . . . . 159
4.3 Les th´eor`emes de Grothendieck-Riemann-Roch pour les
D-modules.......................... 164
4.3.1 Le th´eor`eme de Grothendieck-Riemann-Roch en
KD-th´eorie ..................... 164
4.3.2 Le th´eor`eme de Grothendieck-Riemann-Roch en
Kh-cohomologie . . . . . . . . . . . . . . . . . . . 165
4.4 Exemples d’application . . . . . . . . . . . . . . . . . . . 166
5 Chapitre 5: Champs alg´ebriques et champs analytiques 171
5.1 Analytification des champs alg´ebriques . . . . . . . . . . 171
5.1.1 Champs analytiques . . . . . . . . . . . . . . . . 171
5.1.2 Analytification . . . . . . . . . . . . . . . . . . . 173
5.2 Th´eor`emes GAGA . . . . . . . . . . . . . . . . . . . . . 175
5.3 Alg´ebrisation des champs analytiques . . . . . . . . . . . 180
6 Appendice 188
6.1 Spectres ........................... 188
6.2 Descente........................... 189
6.3 Strictification . . . . . . . . . . . . . . . . . . . . . . . . 196
6.4 Extension des coefficients . . . . . . . . . . . . . . . . . . 198
6.5 Th´eorie de Hodge pour les champs alg´ebriques complexes 199
4

Remerciements:
Je tiens tout d’abord, `a remercier tr`es sinc`erement Joseph Tapia et
Carlos Simpson, qui ont su encadrer ce travail de th`ese avec beaucoup
d’humanit´e. Je les remercie d’avoir accept´e de partager avec moi un peu
de leur passion pour la g´eom´etrie alg´ebrique : je leur dois un enrichisse-
ment math´ematique consid´erable.
Ce fut un r´eel plaisir de travailler sous leur direction.
Je remercie tout particuli`erement Charles Walter, qui est `a l’origine de
la question du th´eor`eme de Riemann-Roch pour les champs alg´ebriques,
et qui par l`a mˆeme a motiv´e cette th`ese.
Je remercie Claire Voisin et Charles Walter pour m’avoir fait l’honneur
d’ˆetre rapporteurs de cette th`ese, ainsi que pour l’int´erˆet qu’ils ont port´e
`a ce travail.
Je voudrais aussi remercier Andr´e Hirschowitz pour s’ˆetre int´eress´e `a
ce travail, et m’avoir permis de m’exprimer sur ce sujet lors du s´eminaire
”GAF 3”, ce qui fut pour moi tr`es motivant.
Un grand merci `a Lawrence Breen et Laurent Moret-Bailly pour avoir
accept´e de faire partie du jury.
Je voudrais exprimer ma gratitude `a Marie Brouard et Yveline Panabi`ere,
dont la gentillesse et l’efficacit´e sont hors du commun.
Je remercie tous les math´ematiciens de Toulouse avec qui j’ai eu
l’occasion de participer aux s´eminaires, et grˆace `a qui j’ai beaucoup ap-
pris. Je pense en particulier `a : C. Simpson, J. Tapia, M. Reversat, P.
Essydieux, B. Angl`es et T. Fiedler.
J’exprime aussi mes remerciements `a l’institut Max Plank pour leur
accueil durant les mois d’Avril et Mai 1997. Ce s´ejour `a ´et´e aussi pro-
ductif et qu’agr´eable.
Je remercie aussi tous les autres ´etudiants du ”Frigo” et du ”Goulag”,
avec qui j’ai partag´e de nombreuses discussions, d´ebats, repas, soir´ees ...
et qui ont cr´e´e une ambiance de travail plus qu’agr´eable.
Enfin, je remercie Jacques, Nicole et Guillaume, pour leur soutien et
leur compr´ehension durant toute la dur´ee de cette th`ese.
5