Purity in the tame cohomology

Technische Samenvatting: Zuiverheid in de Tame Cohomologie

Probleemstelling
Het artikel behandelt het falen van de absolute cohomologische zuiverheidsstelling voor $p$-torsie-sheaves in de étale topologie over schema's met karakteristiek $p$. Terwijl zuiverheid standhoudt voor coëfficiënten die ongelijk zijn aan $p$ (Gabber-Fujiwara stelling), faalt het voor logaritmische de Rham-Witt sheaves $\nu_{m}(n)$ in de étale topologie. Specifiek, voor een regulier paar $(X, Z)$ van codimensie $r$, verdwijnt de hogere directe afbeelding $R^{r+1}i_!\nu_{X,m}(n)$ niet noodzakelijkerwijs, wat de existentie van een zuiverheidsisomorfisme $Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$ belemmert. De obstructie komt voort uit het feit dat de inverse Cartier-operator (of Artin-Schreier-afbeelding) niet surjectief is in de étale topologie vanwege de aanwezigheid van wild ramifieerde covers.

Methodologie
De auteur, Amine Koubaa, lost deze obstructie op door het kader te verschuiven van de étale topologie naar de tame topologie, geïntroduceerd door Hübner en Stalder. De methodologie steunt op de volgende structurele componenten:

1. Adic Ruimten en Discretely Ringed Spaces: Het artikel maakt gebruik van discretely ringed adic ruimtes, aangeduid als $X = \text{Spa}(X, S)$, om een geometrische setting te bieden waar tame ramificatie goed gedefinieerd is. Het bewijs maakt gebruik van de equivalentie tussen de tame cohomologie van een schema en de cohomologie van de bijbehorende adic ruimte.
2. Logaritmische Meetkunde en Differentiaalvormen: Het kerntechnische instrument is de sheaf van logaritmische differentiaalvormen. De auteur introduceert en analyseert de sheaf $\Omega^+_{X/k}$, gedefinieerd via Kähler-seminormen en "rangers" (een concept van Hübner en Temkin), die differentiaalvormen met begrensde valentie vastlegt.
3. Resolutie van Singulariteiten: De bewijzen gaan uit van de existentie van resolutie van singulariteiten en ingebedde resolutie van singulariteiten (specifiek voor log-gladde schema's). Dit maakt het mogelijk om algemene gevallen te reduceren tot log-gladde paren $(X, \bar{X})$ waarbij de rand een simple normal crossing divisor is.
4. De Cartier-operator: Een cruciale stap is het vaststellen van de exactheid van de sequentie betreffende de Cartier-operator $C$ op de sheaves van gesloten differentiaalvormen $Z\Omega^+$. In de tame topologie wordt de inverse Cartier-operator surjectief, in tegenstelling tot in de étale topologie waar dit faalt door wild ramificatie.
5. Popescu's Stelling: Om resultaten van gladde schema's over perfecte lichamen uit te breiden naar reguliere paren over willekeurige bases met karakteristiek $p$, gebruikt het artikel Popescu's stelling, die reguliere algebra's uitdrukt als gefilterde colimieten van gladde algebra's.

Kernbijdragen en Resultaten

• Zuiverheidsstelling voor Tame Cohomologie (Theorem 1.3 & 5.9): Het hoofdbestek stelt dat voor een glad paar $(X, Z)$ van zuivere codimensie $r$ over een perfect veld $k$ met karakteristiek $p$, er een natuurlijke isomorfie bestaat in de afgeleide categorie van tame sheaves:
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  Dit houdt stand onder de assumptie van resolutie van singulariteiten. De isomorfie wordt geconstrueerd via een Gysin-morfisme.

• Exactheid van de Cartier-sequentie (Theorem -4.27): Het artikel bewijst dat op discretely ringed adic ruimtes de sequentie
  $$0 \to \nu(n) \to Z\Omega^+_{X/k} \xrightarrow{C^{-1}} \Omega^+_{X/k} \to 0$$
  exact is in de tame topologie. Deze exactheid is het mechanisme dat de zuiverheid herstelt, aangezien het de verdwijning van de obstructieterm $R^{r+1}i_!$ waarborgt.

• Constructie van het Gysin-morfisme (Section 5.1): De auteur construeert een Gysin-morfisme voor de sheaves $\Omega^+_{n}$ en breidt dit uit naar de logaritmische de Rham-Witt sheaves $\nu_{m}(n)$. Dit behelst het bewijzen dat de hogere directe afbeeldingen $R^ji_!\Omega^+_{n}$ verdwijnen voor $j \neq r$ en dat $R^ri_!\Omega^+_{n} \cong \Omega^+_{n-r}[-r]$.

• Generalisatie naar Reguliere Paren (Theorem 5.15): Gebruikmakend van Popescu's stelling, wordt de zuiverheidsstelling gegeneraliseerd van gladde paren over perfecte velden naar reguliere paren $(X, Z)$ over een basis-schema $S$ met karakteristiek $p$. Het resultaat luidt:
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  in de afgeleide categorie $D((Z/S)_t)$.

• Vergelijking met Étale Cohomologie (Proposition 5.10): Het artikel verduidelijkt de relatie tussen de tame en étale resultaten. Het toont aan dat de tame zuiverheidsisomorfie de "juiste" versie is, en dat het falen van de étale zuiverheid te wijten is aan de niet-surjectiviteit van de Cartier-operator in de aanwezigheid van wild ramificatie. De tame sheafificatie van de étale directe afbeelding herstelt het tame resultaat.

Betekenis en Claims
Het artikel claimt een volledige oplossing te bieden voor het zuiverheidsprobleem voor logaritmische de Rham-Witt sheaves in positieve karakteristiek door gebruik te maken van de tame topologie.

• Herstel van Zuiverheid: Het demonstreert dat de obstructie voor zuiverheid in de étale topologie (de niet-verdwijning van $R^{r+1}i_!$) een artefact is van wild ramificatie, dat in de tame topologie wordt uitgesloten.
• Methodologische Vooruitgang: Door de theorie van adic ruimtes (specifiek discretely ringed ones) te integreren met logaritmische meetkunde en de Cartier-operator, biedt het artikel een robuust kader voor het behandelen van $p$-torsie coëfficiënten waar klassieke étale methoden falen.
• Consistentie met Bekende Resultaten: De resultaten generaliseren de semi-zuiverheidstheorema's van Milne en Gros en sluiten aan bij de absolute zuiverheidstelling voor coëfficiënten die ongelijk zijn aan $p$.
• Bescheidenheid over Assumpties: De auteur merkt expliciet op dat de resultaten rusten op de assumptie van resolutie van singulariteiten. Het artikel vermeldt dat toekomstig werk erop gericht is deze assumptie te verwijderen, met name met betrekking tot de existentie van de Cartier-operator op $\Omega^+$ zonder afhankelijk te zijn van resolutie.

Samenvattend stelt het artikel vast dat "zuiverheid standhoudt in de tame topologie", waarbij een natuurlijke isomorfie wordt geboden voor de directe afbeelding met compact ondersteuning van logaritmische de Rham-Witt sheaves, waarmee een langdurig probleem in de cohomologie van schema's in karakteristiek $p$ wordt opgelost.