arXiv:1207.3648v1 [math.AG] 16 Jul 2012

arXiv:1207.3648v1 [math.AG] 16 Jul 2012
Travaux de Gabber sur l’uniformisation locale et la
cohomologie étale des schémas quasi-excellents.
Séminaire à l’École polytechnique 2006–2008
Luc Illusie, Yves Laszlo et Fabrice Orgogozo
Avec la collaboration de Frédéric Déglise, Alban Moreau, Vincent Pilloni, Michel
Raynaud, Joël Riou, Benoît Stroh, et Michael Temkin.
1

Table des matières
Exposé 0. Introduction 1
par Luc Illusie
Exposé I. Anneaux excellents 7
par Michel Raynaud, rédigé par Yves Laszlo
1. Introduction 7
2. Définitions 7
3. Exemples immédiats. 10
4. L’exemple de base : les anneaux locaux noethériens complets. 10
5. Permanence par localisation et extension de type fini 11
6. Comparaison avec ÉGA IV : le cas des anneaux universellement
japonais 13
7. Comparaison avec ÉGA IV : le cas des anneaux excellents 14
8. Hensélisation et anneaux excellents 15
9. Complétion formelle et anneaux excellents 16
10. Approximation d’Artin et anneaux excellents 17
11. Exemples de méchants anneaux noethériens 18
Exposé II. Topologies adaptées à l’uniformisation locale 23
par Fabrice Orgogozo
1. Morphismes maximalement dominants et la catégorie alt/S 23
2. Topologies : définitions 26
3. Formes standards 28
4. Applications 31
Exposé III. Approximation 35
par Luc Illusie et Yves Laszlo
1. Introduction 35
2. Modèles et approximations à la Artin-Popescu 35
3. Approximations et topologie des altérations 36
4. Gradués supérieurs et approximations de complexes 39
5. Modèles et a-isomorphismes 41
6. Réduction au cas local noethérien complet 43
Exposé IV. Le théorème de Cohen-Gabber 47
par Fabrice Orgogozo
1. p-bases et différentielles (rappels) 47
2. Les théorèmes de Cohen-Gabber en caractéristique > 0 50
3. Autour du théorème de Epp 55
4. Le théorème de Cohen-Gabber en caractéristique mixte 56
Exposé V. Algébrisation partielle 63
par Fabrice Orgogozo
3

4 TABLE DES MATIÈRES
1. Préparatifs (rappels) 63
2. Algébrisation partielle en égale caractéristique 64
3. Algébrisation partielle première à ℓen caractéristique mixte 66
Exposé VI. Log régularité, actions très modérées 69
par Luc Illusie
1. Log régularité 69
2. Revêtements Kummer étales 71
3. Actions très modérées 73
4. Points fixes 76
Exposé VII. Démonstration du théorème d’uniformisation locale (faible) 81
par Fabrice Orgogozo
1. Énoncé 81
2. Réductions : rappel des résultats antérieurs 81
3. Fibration en courbes et application d’un théorème de A. J. de Jong 81
4. Résolution des singularités 82
Exposé VIII. Gabber’s modification theorem (absolute case) 85
par Luc Illusie et Michael Temkin
1. Statement of the main theorem 85
2. Functorial resolutions 86
3. Resolution of log regular log schemes 97
4. Proof of Theorem 1.1 – preliminary steps 116
5. Proof of Theorem 1.1 – abelian inertia 122
Exposé IX. Uniformisation locale première à ℓ131
par Luc Illusie
1. Rappel de l’énoncé et premières réductions 131
2. Log régularité, fin de la démonstration 133
Exposé X. Gabber’s modification theorem (log smooth case) 135
par Luc Illusie et Michael Temkin
1. The main theorem 135
2. Prime to ℓvariants of de Jong’s alteration theorems 148
3. Resolvability, log smoothness, and weak semistable reduction 155
Exposé XI. Produits orientés 171
par Luc Illusie
1. Construction des produits orientés 171
2. Tubes et changement de base 176
3. Produits fibrés 182
4. Topos évanescents et co-évanescents 183
Exposé XII. Descente cohomologique orientée 189
par Fabrice Orgogozo
1. Acyclicité orientée des morphismes propres 189
2. Descente cohomologique orientée 191
Exposé XIII. Le théorème de finitude 195
par Fabrice Orgogozo
1. Introduction 195

TABLE DES MATIÈRES 5
2. Constructibilité via l’uniformisation locale faible 195
3. Constructibilité et annulation via l’uniformisation locale première à ℓ198
4. Coefficients ℓ-adiques 204
Exposé XIV. Fonctions de dimension 207
par Vincent Pilloni et Benoît Stroh
1. Universelle caténarité des schémas henséliens 207
2. Spécialisations immédiates et fonctions de dimension 209
Exposé XV. Théorème de Lefschetz affine 219
par Vincent Pilloni et Benoît Stroh
1. Énoncé du théorème et premières réductions 219
2. Pureté, combinatoire des branches et descente 220
3. Uniformisation et approximation des données 222
Exposé XVI. Classes de Chern, morphismes de Gysin, pureté absolue 225
par Joël Riou
1. Classes de Chern 225
2. Morphismes de Gysin 228
3. Théorème de pureté 242
Exposé XVII. Dualité 257
par Joël Riou
1. Le morphisme de transition en codimension 1258
2. Complexes dualisants putatifs et potentiels 263
3. Morphismes de transition généraux et classe de cohomologie en degré
maximal 268
4. Compléments sur les complexes dualisants potentiels 280
5. Existence et unicité des complexes dualisants potentiels 287
6. Le théorème de dualité locale 293
7. Anneaux de coefficients généraux 300
8. Produits tensoriels de complexes non bornés 318
9. Complexes inversibles 323
10. Coefficients universels 325
11. Modules ind-unipotents 327
Exposé XVIII-A. Cohomological dimension: First results 331
par Luc Illusie
1. Statement of the main result and applications 331
2. Proof of 1.1 332
Exposé XVIII-B. Dimension cohomologique : raffinements et compléments 335
par Fabrice Orgogozo
1. Préliminaires 335
2. Construction de Nagata en dimension 2, application cohomologique 336
3. Séries formelles de Gabber, application cohomologique 338
4. Dimension cohomologique : majoration d’une « fibre de Milnor
générique » 341
5. Majoration : amélioration 343
6. Dimension cohomologique d’un ouvert du spectre épointé : minoration345