A moving lemma for cohomology with support

Dit artikel bewijst een bewegingslemma voor cohomologie met ondersteuning op gladde quasi-projectieve variëteiten, wat leidt tot veralgemeningen van de effacementstelling, de Gerstenvermoeden en zuiverheidstheorema's, en aantoont dat verfijnde onvertakte cohomologiegroepen motivisch zijn.

De kern

Titel: Een Wiskundig Verhuisspel: Hoe Stefan Schreieder de "Vaste" Punten Losmaakt

Stel je voor dat je in een enorm, complex landschap loopt. Dit landschap is een wiskundig object genaamd een "variëteit" (een soort oppervlak, maar dan in veel hogere dimensies). In dit landschap heb je twee soorten dingen:

1. De "Vaste Punten" (Z): Dit zijn specifieke plekken waar je niet mag komen, of waar iets "vastzit". In de wiskunde noemen we dit een ondersteuning (support).
2. De "Storingen" (S): Dit zijn andere plekken in het landschap waar je ook niet tegen aan wilt lopen, of waar je een duidelijke afstand wilt houden.

De kernvraag van dit artikel is: Kunnen we de "Vaste Punten" verplaatsen, zodat ze niet meer in de weg zitten bij de "Storingen", zonder dat de essentie van de zaak verandert?

De Grote Uitdaging: De "Gersten-gok"

In de wiskunde bestaan er regels (theorema's) die zeggen: "Als je een punt hebt, kun je het verplaatsen naar een andere plek, zolang je maar niet over de rand van het landschap gaat." Dit heet het beweeglemma van Chow. Het is alsof je een steen in een vijver kunt verplaatsen, zolang je maar niet over de oever stapt.

Maar er was een groot probleem. Er bestond een beroemde gok (de Gersten-conjectuur) die zei: "Je kunt niet alleen punten verplaatsen, je kunt ook hele groepen van informatie die aan die punten 'vastzitten' verplaatsen, zelfs als je heel precies moet zijn."

Voorheen wisten wiskundigen alleen hoe ze dit konden doen als de "Storingen" heel klein waren (bijvoorbeeld slechts een paar losse punten). Maar wat als de "Storingen" een heel groot gebied beslaan? Dat was een raadsel.

De Oplossing: Een Creatieve Verhuiskopie

Stefan Schreieder, de auteur van dit artikel, heeft nu een nieuwe manier gevonden om dit op te lossen. Hij gebruikt een slimme truc die hij een "beweeglemma met ondersteuning" noemt.

Hier is hoe het werkt, in alledaagse termen:

1. De Spiegel-Truc (De Diagonaal)
Stel je voor dat je een spiegelbeeld van je landschap maakt. Je hebt nu twee kopieën van je landschap naast elkaar. In het midden zit een lijn (de diagonaal) die precies dezelfde punten in beide kopieën met elkaar verbindt.
Schreieder zegt: "Laten we die lijn in het midden niet als een vaste muur zien, maar als een beweegbaar object."

2. Het Verhuizen
Hij gebruikt een oude, bewezen techniek (Chow's beweeglemma) om die lijn in het midden te verplaatsen. Hij duwt de lijn een beetje opzij, zodat hij niet meer precies op de "Storingen" (S) valt, maar er net langs gaat.

• De magie: Omdat de lijn in het midden eigenlijk "niets" is (het is de identiteit, het zelfde als het origineel), betekent het verplaatsen van de lijn dat je de informatie die eraan vastzit, ook verplaatst.
• Het resultaat: Je hebt nu de informatie van de "Vaste Punten" (Z) verplaatst naar een nieuwe plek (Z'), die netjes naast de "Storingen" (S) ligt, zonder dat de informatie zelf verandert.

3. De "Verhuiskist" (W)
Tijdens dit proces moet je de informatie tijdelijk in een grotere doos doen (een groter gebied W) om het veilig te verplaatsen. Schreieder bewijst dat je deze doos zo klein kunt houden dat hij precies één dimensie groter is dan het origineel. Dit is cruciaal: je maakt de boel niet onnodig rommelig.

Waarom is dit belangrijk? (De Analoge Wereld)

Stel je voor dat je een archief hebt met duizenden dossiers (de cohomologie).

• Vroeger: Je wist alleen dat je een dossier kon verplaatsen als je het naar een lege kamer bracht. Als er een muur (S) in de weg stond, zat je vast.
• Nu: Schreieder laat zien dat je elk dossier kunt verplaatsen, zelfs als er een hele muur in de weg staat. Je kunt het dossier "ontwikkelen" (effaceren) zodat het lijkt alsof het nooit in de weg zat.

Dit heeft drie grote gevolgen:

1. De "Gersten-gok" is bewezen (in een nieuwe vorm): We weten nu dat we deze dossiers op elk niveau kunnen ordenen, niet alleen in het uiterste geval. Het is alsof we een nieuwe, betere manier hebben gevonden om een bibliotheek te ordenen, zelfs als de gangen vol staan.
2. Nieuwe Informatie is "Motivisch": Er zijn nieuwe soorten wiskundige maten (invarianten) bedacht. Schreieder bewijst dat deze maten echt "motief" zijn.
   • Wat betekent dat? Stel je voor dat je een beeldhouwwerk hebt. Als je het een beetje draait of een stukje weghaalt, blijft het "essentieel" hetzelfde. Schreieder zegt: "Deze nieuwe maten gedragen zich precies zo. Ze zijn fundamenteel en stabiel, net als de vorm van het beeldhouwwerk zelf."
3. Betere Voorspellingen: Omdat we nu weten hoe we deze informatie kunnen verplaatsen, kunnen we beter voorspellen hoe verschillende wiskundige structuren met elkaar omgaan. Het is alsof we een nieuwe kaart hebben die ons laat zien welke routes door het landschap veilig zijn.

Samenvatting in één zin

Stefan Schreieder heeft een nieuwe "verhuiswagen" ontworpen die het mogelijk maakt om wiskundige informatie die vastzit aan bepaalde plekken, veilig en netjes te verplaatsen naar plekken waar ze niet in de weg zitten, zelfs als de obstakels groot en complex zijn; dit opent de deur tot nieuwe inzichten in de fundamentele structuur van de wiskunde.

Kortom: Hij heeft een manier gevonden om "vastzittende" wiskundige problemen op te lossen door ze slim te verplaatsen, wat leidt tot een dieper begrip van hoe de wiskundige wereld in elkaar zit.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "A moving lemma for cohomology with support" van Stefan Schreieder, geschreven in het Nederlands.

Titel: Een bewegingslemma voor cohomologie met ondersteuning

Auteur: Stefan Schreieder
Publicatie: Épijournal de Géométrie Algébrique (2024)

---

1. Het Probleem

In de algebraïsche meetkunde is het bewegingslemma van Chow een fundamenteel resultaat dat stelt dat algebraïsche cycli op een gladde variëteit $X$ modulo rationale equivalentie verplaatst kunnen worden naar een "goede positie" ten opzichte van een gesloten deelverzameling $S \subset X$.

Een cruciaal aspect van de Gersten-conjectuur (bewezen voor K-theorie door Quillen en voor étale cohomologie door Bloch-Ogus en Gabber) is een effacement-stelling (uitwissing-stelling). Deze stelt dat voor een affiene variëteit $X$ en een eindige verzameling punten $S$, elke cohomologieklass met ondersteuning in een nergens dichte gesloten verzameling $Z$ "uitgewist" kan worden door de ondersteuning te verplaatsen naar een $Z'$ die $S$ niet raakt, binnen een bepaalde dimensie-uitbreiding.

De centrale vraag die Schreieder adresseert is of deze effacement-stellingen specifieke gevallen zijn van een algemeen bewegingslemma voor cohomologieklassen met ondersteuning, waarbij men een klasse met ondersteuning $Z$ kan verplaatsen naar een klasse met ondersteuning $Z'$ die in een goede positie verkeert ten opzichte van een willekeurige gesloten deelverzameling $S \subset X$ (niet alleen punten of affiene situaties). Tot nu toe was dit niet bewezen voor een brede klasse van cohomologietheorieën, en bestonden er beperkingen in de lokale aard van de bestaande resultaten.

2. Methodologie

Schreieder ontwikkelt een nieuwe aanpak die de brug slaat tussen de theorie van algebraïsche cycli en cohomologie met ondersteuning. De kern van de methode bestaat uit de volgende stappen:

1. Axiomatische Raamwerk: De auteur definieert een klasse van "twisted cohomology theories with support" (getwiste cohomologietheorieën met ondersteuning) die voldoen aan een reeks natuurlijke axioma's (genummerd C1 t/m C5). Deze omvatten eigenschappen zoals excisie, pushforwards, lange exacte sequenties van drietallen, en een actie van cycli op cohomologie. Voorbeelden zijn étale cohomologie, pro-étale cohomologie en continue étale cohomologie.
2. Actie van Correspondenties: In plaats van direct cycli te verplaatsen, construeert de auteur een actie van algebraïsche correspondenties (cycli op $X \times Y$) op cohomologieklassen met ondersteuning. Dit is een generalisatie van de bekende actie op Chow-groepen.
3. Reductie tot Chow's Bewegingslemma: De kern van het bewijs is het reduceren van het probleem voor cohomologie naar het klassieke bewegingslemma van Chow (zoals geformuleerd door Levine).
   • De auteur beschouwt de diagonaal $\Delta_X \subset X \times X$ als een cykel.
   • Door het bewegingslemma van Chow toe te passen op $\Delta_X$, kan men deze diagonaal verplaatsen naar een cykel $\Delta'_X$ die in een goede positie verkeert ten opzichte van een gegeven morfisme $f: S \to X$.
   • Omdat de diagonaal werkt als de identiteit op cohomologie, verplaatst het verplaatsen van de diagonaal via de geconstrueerde actie ook de cohomologieklass zelf.
4. Technische Uitdagingen: Een belangrijk technisch obstakel is dat de variëteit $X$ niet noodzakelijk projectief is, maar slechts een open deel van een gladde projectieve compactificatie. De auteur lost dit op door de actie van cycli zorgvuldig te definiëren op open deelvariëteiten, gebruikmakend van excisie en de eigenschappen van de getwiste cohomologietheorie.

3. Belangrijkste Resultaten

Hoofdstelling (Theorem 1.1): Het Bewegingslemma

Voor een gladde, equidimensionale $k$-variëteit $X$ (die een gladde projectieve compactificatie toelaat, wat bijvoorbeeld geldt in karakteristiek 0) en gesloten deelverzamelingen $S, Z \subset X$ met $\dim Z < \dim X$, bestaan er gesloten deelverzamelingen $Z' \subset W \subset X$ zodanig dat:

• $Z \subset W$ en $\dim W = \dim Z + 1$.
• $Z'$ en $W \setminus Z$ snijden $S$ dimensionaal transversaal (in goede positie).
• Voor elke cohomologieklass $\alpha \in H^*_Z(X, n)$ bestaat er een $\alpha' \in H^*_{Z'}(X, n)$ die dezelfde afbeelding heeft als $\alpha$ in $H^*_W(X, n)$.

Dit betekent dat klassen met ondersteuning in $Z$ "verplaatst" kunnen worden naar $Z'$ zonder de cohomologie te veranderen binnen een omhullende $W$ van dimensie één hoger.

Gevolgen en Toepassingen

Uit dit lemma volgen meerdere diepgaande corollaria:

• Veralgemening van Effacement-stellingen (Corollary 1.2 & 1.4):

  • Er wordt een globale en lokale veralgemening bewezen van de effacement-stellingen van Quillen, Bloch-Ogus en Gabber.
  • In tegenstelling tot eerdere resultaten, is het nieuwe resultaat lokaal geldig: er bestaat een enkel gesloten deel $W$ dat werkt voor een gehele Zariski-gelocaliseerde ruimte $X_S$, in plaats van dat men een limiet over alle mogelijke $W$ moet nemen. Dit lost een subtiliteit op die eerder werd opgemerkt door Colliot-Thélène, Hoobler en Kahn.

• Gersten-conjectuur op eindig niveau (Corollary 1.5):

  • Voor variëteiten over velden van karakteristiek 0 wordt een eindig-niveau versie van de Gersten-conjectuur voor étale cohomologie bewezen.
  • De klassieke conjectuur stelt dat een bepaalde complex exact is in de limiet over alle filtraties. Schreieder toont aan dat deze complex al exact is op elk eindig niveau (voor een geschikte verfijning van de filtratie), en dat men transversaliteitsvoorwaarden kan opleggen ten opzichte van een willekeurige gesloten verzameling $T$.

• Codimensie $j+1$ Zuiverheid en Injectiviteit (Corollary 1.6):

  • Er wordt een generalisatie bewezen van de injectiviteitseigenschap en de zuiverheidstheorema voor codimensie 1 in étale cohomologie.
  • Een nieuwe bevinding is dat een "onvertakte" klasse op het generieke punt van $X$ lift naar een open omgeving van elke gegeven gesloten kromme in $X$ (niet alleen punten).

• Motivische Aard van Verfijnde Onvertakte Cohomologie (Corollary 1.7 & 1.8):

  • De auteur toont aan dat de verfijnde onvertakte cohomologie (refined unramified cohomology), een invariant geïntroduceerd in zijn eerdere werk (Compositio 2023), een motivische invariant is.
  • Dit betekent dat deze groepen een natuurlijke actie toelaten van correspondenties (algebraïsche cycli), inclusief pullbacks langs morfismen tussen gladde projectieve variëteiten.
  • Dit impliceert dat deze invarianten stabiel birationeel invariant zijn en dat ze voldoen aan een projective bundle-formule.

4. Significatie

Dit artikel is van fundamenteel belang voor de moderne algebraïsche meetkunde en de theorie van algebraïsche cycli:

1. Unificatie: Het verbindt de wereld van algebraïsche cycli (Chow-groepen) direct met cohomologietheorieën met ondersteuning via een krachtig bewegingslemma.
2. Versterking van Bestaande Resultaten: Het levert een sterkere versie van de Gersten-conjectuur op die werkt op eindige niveaus en lokaal geldig is, wat eerder als een open probleem werd beschouwd.
3. Nieuwe Invarianten: Het bewijst dat de recente invariants van verfijnde onvertakte cohomologie (die interpoleren tussen cohomologie en cycli) echt "motivisch" zijn. Dit opent de deur voor het gebruik van de machtige machinery van motivische homotopie-theorie en correspondenties op deze groepen.
4. Technische Doorbraak: De methode, die de actie van correspondenties gebruikt om cohomologieklassen te manipuleren via het bewegingslemma van Chow, biedt een nieuw gereedschapskist voor het bestuderen van cohomologie met ondersteuning op niet-projectieve variëteiten.

Samenvattend biedt Schreieder een krachtig, algemeen raamwerk dat de structuur van cohomologie met ondersteuning op gladde variëteiten volledig onthult en nieuwe diepe verbindingen legt tussen de theorie van algebraïsche cycli en cohomologische invarianten.