A moving lemma for cohomology with support

Cet article établit un lemme de déplacement pour la cohomologie à support sur les variétés quasi-projectives lisses, permettant d'en déduire des généralisations du théorème d'effacement de Quillen, Bloch-Ogus et Gabber, une version de niveau fini de la conjecture de Gersten en caractéristique nulle, ainsi que la nature motivique des groupes de cohomologie non ramifiée raffinée.

L'essentiel

Imaginez que vous êtes un architecte travaillant sur une ville complexe, où chaque bâtiment représente une équation mathématique et chaque rue un lien entre elles. Dans le monde de la géométrie algébrique, les mathématiciens essaient de comprendre la structure profonde de ces "villes" (appelées variétés) en utilisant des outils appelés cohomologie. C'est un peu comme essayer de cartographier les courants d'air invisibles ou les vibrations dans la ville pour comprendre sa forme globale.

Le problème, c'est que parfois, ces courants d'air sont bloqués par des obstacles (des sous-ensembles fermés, comme des murs ou des places publiques). Les mathématiciens veulent souvent dire : "Si je regarde ce courant d'air bloqué ici, puis-je le déplacer ailleurs, dans une zone plus dégagée, sans changer sa nature fondamentale ?"

C'est exactement ce que fait Stefan Schreieder dans cet article. Il a prouvé un "lemme de déplacement" (moving lemma). Voici une explication simple de ce qu'il a accompli, avec des analogies du quotidien.

1. Le Problème : Les Embouteillages Mathématiques

Imaginez que vous avez un message (un "classement" ou une classe de cohomologie) coincé dans une ruelle étroite (un sous-ensemble $Z$). Vous voulez envoyer ce message vers une autre partie de la ville, mais il y a un obstacle spécifique (un sous-ensemble $S$) que vous ne voulez absolument pas toucher.

Avant cet article, les mathématiciens savaient déplacer ces messages si l'obstacle était très simple (comme un seul point). Mais si l'obstacle était une grande place ou un quartier entier, c'était un cauchemar. Ils ne savaient pas si on pouvait toujours déplacer le message pour éviter l'obstacle tout en gardant son essence intacte.

2. La Solution : La Règle du "Déplacement Magique"

Schreieder a prouvé que, dans une grande classe de situations (notamment en caractéristique zéro, ce qui inclut les nombres réels et complexes), on peut toujours déplacer le message.

L'analogie du déménagement :
Imaginez que vous devez déménager un meuble précieux (votre message mathématique) d'une pièce encombrée ($Z$) vers un nouvel endroit, mais vous devez éviter de heurter un vase fragile ($S$).

• L'astuce de Schreieder : Il ne déplace pas le meuble directement. Il utilise une "piste de danse" mathématique (une compactification projective lisse, imaginez une version agrandie et parfaite de votre ville).
• Il prend le meuble, le place sur une scène, et utilise une technique de "danse" (le lemme de Chow, un outil classique) pour faire glisser le meuble vers une nouvelle position ($Z'$) qui est parfaitement alignée pour éviter le vase.
• Le résultat ? Le meuble est maintenant dans une nouvelle pièce ($Z'$), loin du vase, mais il est toujours le même meuble (il a la même "image" dans la grande salle).

3. Pourquoi c'est une Révolution ? (Les Conséquences)

Ce simple fait de pouvoir "déplacer" les messages a des effets en cascade, comme un domino qui tombe :

• La Conjecture de Gersten (Le Puzzle Fini) :
  Avant, on savait que si on prenait une infinité de petits morceaux de puzzle, on pouvait reconstruire l'image globale. Schreieder montre qu'on peut le faire avec un nombre fini de morceaux. C'est comme si on vous disait : "Vous n'avez pas besoin de tous les grains de sable pour reconstruire la plage, juste un tas bien choisi." Cela rend les calculs beaucoup plus précis et gérables.

• La Pureté (La Propreté des Choses) :
  En mathématiques, la "pureté" signifie que si quelque chose est propre dans une petite zone, il reste propre quand on l'agrandit. Schreieder prouve que cette propriété fonctionne même pour des obstacles complexes (pas seulement des points). C'est comme dire : "Si votre chambre est rangée, vous pouvez ranger tout l'étage sans que ça devienne le chaos."

• Les Invariants Motifs (L'ADN des Formes) :
  C'est le point le plus excitant. Les mathématiciens cherchent des "invariants" : des propriétés qui ne changent jamais, même si on déforme la forme (comme l'ADN d'un objet). Schreieder montre que ses nouvelles mesures (la cohomologie non ramifiée raffinée) sont de véritables "invariants motifs".
  L'analogie : Imaginez que vous avez un nouveau type de détecteur de métaux. Avant, on ne savait pas s'il détectait vraiment l'or ou juste de la poussière. Schreieder prouve que ce détecteur voit vraiment l'ADN de la forme mathématique. Cela signifie qu'on peut utiliser ces outils pour classer et comparer des formes géométriques de manière fiable, peu importe comment on les regarde.

4. En Résumé

Stefan Schreieder a écrit une "règle de la route" universelle pour les mathématiciens qui travaillent sur les formes géométriques complexes.

• Avant : "Si vous voulez éviter cet obstacle, c'est peut-être possible, mais c'est très difficile et ça ne marche que dans des cas simples."
• Maintenant : "Peu importe la forme de l'obstacle, tant que vous êtes dans un environnement 'lisse' (comme nos espaces habituels), vous pouvez toujours déplacer votre objet mathématique pour l'éviter, et tout restera cohérent."

C'est une avancée majeure qui permet de mieux comprendre la structure fondamentale de l'espace mathématique, un peu comme si on avait découvert une nouvelle loi de la physique qui permet de naviguer plus facilement dans un univers complexe.

Résumé technique

Voici un résumé technique détaillé de l'article « A moving lemma for cohomology with support » de Stefan Schreieder, publié dans l'Épijournal de Géométrie Algébrique (2024).

1. Problématique et Contexte

L'article s'attaque à la généralisation du lemme de déplacement (moving lemma) de Chow, un outil fondamental en géométrie algébrique qui permet de déplacer un cycle algébrique modulo l'équivalence rationnelle pour qu'il soit en « bonne position » (transversalité dimensionnelle) par rapport à un sous-ensemble fermé donné.

Historiquement, des résultats similaires existent pour la $K$-théorie (Quillen) et la cohomologie étale (Bloch–Ogus, Gabber), connus sous le nom de théorèmes d'effacement (effacement theorems). Ces théorèmes établissent que, pour une variété affine lisse $X$ et un ensemble fini de points $S$, toute classe de cohomologie à support dans un fermé $Z$ peut être « effacée » (rendue nulle) par restriction à un voisinage de $S$, à condition de passer à un support de dimension supérieure d'un cran.

Le problème central est de savoir si ces théorèmes d'effacement sont des cas particuliers d'un lemme de déplacement plus général applicable aux classes de cohomologie à support sur des variétés quasi-projectives lisses, pour des sous-ensembles fermés $S$ de dimension arbitraire (et non plus seulement des points), et pour une large classe de théories de cohomologie.

2. Méthodologie

L'auteur développe une approche globale reposant sur l'action des correspondances (cycles algébriques) sur la cohomologie. La stratégie principale se décompose comme suit :

1. Cadre axiomatique : Schreieder définit une théorie de cohomologie « tordue » à support $H^*_Z(X, n)$ satisfaisant un ensemble d'axiomes naturels (C1 à C5), incluant l'excision, les fonctorialités (poussées en avant et tirés en arrière), les suites exactes longues de triplets, et une action des cycles via les classes de cycles (cup-produit). Les exemples couvrent la cohomologie étale, pro-étale, et la cohomologie singulière.
2. Réduction au lemme de Chow : L'idée clé est de réduire le problème de déplacement d'une classe de cohomologie au déplacement du diagonal $\Delta_X$ dans $X \times X$.
   • On construit une action des cycles sur la cohomologie à support pour des variétés ouvertes (qui admettent une compactification projective lisse).
   • On utilise le lemme de déplacement de Chow (version de Levine) pour déplacer le cycle diagonal $\Delta_X$ en un cycle $\Delta'_X$ qui est en bonne position par rapport à un morphisme donné $f: S \to X$.
   • La différence $\Gamma = \Delta_X - \Delta'_X$ est rationnellement équivalente à zéro sur un sous-schéma $W$ de codimension appropriée.
3. Utilisation de la compactification : Même si la variété de départ est affine, la preuve est globale et utilise essentiellement une compactification projective lisse pour appliquer les outils de la géométrie projective (lemme de Chow).
4. Construction de l'action : L'auteur définit rigoureusement l'action d'un cycle $\Gamma$ sur une classe de cohomologie à support, en s'assurant que cette action est bien définie modulo l'équivalence rationnelle et compatible avec la localisation.

3. Résultats Principaux

Le résultat central est le Théorème 1.1 (Lemme de déplacement) :
Pour une variété lisse $X$ admettant une compactification projective lisse, et pour deux sous-ensembles fermés $S$ et $Z$ (avec $\dim Z < \dim X$), il existe des fermés $Z' \subset W \subset X$ tels que :

• $\dim Z' = \dim Z$ et $\dim W = \dim Z + 1$.
• $Z'$ et $W \setminus Z$ sont en bonne position par rapport à $S$ (intersection dimensionnellement transverse).
• Pour toute classe $\alpha \in H^*_Z(X, n)$, il existe une classe $\alpha' \in H^*_{Z'}(X, n)$ ayant la même image dans $H^*_W(X, n)$.

Ce résultat général permet d'établir plusieurs conséquences majeures :

A. Théorèmes d'effacement globaux et locaux

• Effacement global (Corollaire 1.2) : Si $\dim S + \dim Z < \dim X$, il existe un voisinage $U$ de $S$ et un fermé $W$ de dimension $\dim Z + 1$ contenant $Z$ tel que l'application $H^*_Z(X) \to H^*_W(U)$ soit nulle.
• Effacement local (Corollaire 1.4) : Pour un point $x$ (ou un ensemble fini), le théorème fournit un seul sous-schéma fermé $W$ (et non pas seulement une limite inductive) qui annule la cohomologie à support. Cela répond à une subtilité soulevée par Colliot-Thélène, Hoobler et Kahn concernant la nature non locale des résultats précédents.

B. Version à niveau fini de la conjecture de Gersten

La conjecture de Gersten classique pour la cohomologie étale affirme l'exactitude d'un complexe de résidus dans la limite inductive sur toutes les stratifications.

• Corollaire 1.5 : Schreieder prouve une version à niveau fini de cette conjecture. Le complexe de résidus est exact pour une stratification donnée (après un raffinement approprié), sans avoir besoin de passer à la limite inductive. De plus, il est possible d'imposer des conditions de transversalité par rapport à un sous-ensemble fermé $T$.

C. Pureté en codimension $j+1$ et injectivité

• Corollaire 1.6 : Généralisation des théorèmes d'injectivité et de pureté en codimension 1 de Bloch-Ogus. Une classe non ramifiée sur le point générique se relève à un voisinage de n'importe quelle courbe fermée (et non plus seulement des points). Cela implique que les classes non ramifiées sont « plus robustes » que prévu.

D. Cohomologie non ramifiée raffinée et invariants motiviques

C'est l'application la plus profonde. L'auteur considère la cohomologie non ramifiée raffinée $H^i_{j,nr}(X, n)$, définie comme l'image de la cohomologie sur un ouvert de codimension $j+2$ dans celle d'un ouvert de codimension $j+1$.

• Corollaire 1.7 : Grâce au lemme de déplacement, l'auteur construit une action naturelle des correspondances (cycles de Chow) sur ces groupes de cohomologie raffinée.
• Conséquence : Cela prouve que ces invariants sont motiviques. Ils admettent des tirés en arrière fonctoriels le long de morphismes entre variétés projectives lisses (même non plates), et satisfont des formules de produit projectif (Corollaire 1.8).
• Cela généralise le fait que la cohomologie non ramifiée classique est un invariant birationnel stable.

4. Signification et Impact

1. Unification : Le papier unifie les théorèmes d'effacement de Quillen, Bloch-Ogus et Gabber sous un seul lemme de déplacement général pour les théories de cohomologie à support.
2. Nouveauté technique : La preuve est globale et utilise la compactification, ce qui permet de traiter des cas où $S$ est de dimension positive, dépassant le cadre classique des points. La capacité de trouver un unique sous-schéma $W$ pour l'effacement local est un résultat nouveau et surprenant.
3. Motivité des nouveaux invariants : La contribution la plus significative est la preuve que la cohomologie non ramifiée raffinée (introduite par l'auteur dans un travail précédent de 2023) est un invariant motivique. Cela ouvre la voie à l'utilisation de ces invariants pour étudier les cycles algébriques, les obstructions à l'approximation faible, et les propriétés de rationalité des variétés, en leur donnant une structure de module sur l'anneau de Chow.
4. Généralité : Les résultats s'appliquent à une large classe de théories de cohomologie (étale, pro-étale, coefficients $\ell$-adiques, etc.), rendant les conclusions très robustes.

En résumé, cet article fournit un outil puissant (le lemme de déplacement pour la cohomologie à support) qui renforce considérablement la compréhension de la structure de la cohomologie des variétés algébriques et établit le statut motivique de nouveaux invariants cohomologiques fins.