Travaux de Gabber sur l'uniformisation locale et la cohomologie étale des schémas quasi-excellents. (Séminaire à l'École polytechnique 2006–2008)
Gabber's work on local uniformization and étale cohomology of quasi-excellent schemes.
Français
Les travaux d'Ofer Gabber présentés dans ce volume comportent deux parties étroitement liées, l'une, géométrique, l'autre, cohomologique. La première est constituée de théorèmes d'uniformisation locale, affirmant que tout couple formé par un schéma noethérien quasi-excellent et un fermé rare devient, après localisation par des morphismes étales et des altérations convenables, isomorphe au couple formé par un schéma régulier et un diviseur à croisements normaux. Il s'agit de résultats de nature locale, mais leur démonstration fournit des corollaires globaux, raffinant des théorèmes d'altération de de Jong pour les schémas de type fini sur un corps ou un anneau de Dedekind. Des techniques de géométrie logarithmique, et, pour les résultats les plus fins, de désingularisation canonique en caractéristique nulle jouent un rôle clef dans les démonstrations. Dans la seconde partie, on donne des applications, accompagnées d'exemples et contre-exemples, à des théorèmes de finitude (abéliens), de dimension cohomologique, et de dualité en cohomologie étale sur les schémas quasiexcellents. On y démontre notamment la conjecture de dualité locale de Grothendieck, et, par une nouvelle méthode, sa conjecture de pureté cohomologique absolue. Des résultats de rigidité et finitude non abéliens sont également établis dans les derniers exposés.