A construction of tame sheaves and tame de Rham--Witt cohomology

Technische Samenvatting: Een Constructie van Tamme Schoven en Tamme de Rham–Witt-Cohomologie

Probleem en Motivatie
Het artikel adresseert een fundamentele beperking in de constructie van integrale $p$-adische cohomologietheorieën voor schema's over een lichaam $k$ van positieve karakteristiek $p$. Waar de Rham-cohomologie met logaritmische polen een goed gedefinieerde theorie biedt in karakteristiek nul die voldoet aan étale descendentie, faalt de analoge constructie met behulp van het de Rham–Witt-complex met log-polen in karakteristiek $p$ om aan étale descendentie te voldoen. Dit falen wordt toegeschreven aan wilde ramificatie. Eerder werk van Hübner en Saito ([HS20]) stelde vast dat deze theorieën voldoen aan "tamme descendentie" ten opzichte van een specifieke tamme site. Het bestaande kader berust echter op adische ruimten, waardoor de constructie van schoven technisch moeilijk is.

De auteurs beogen een algebraïsche variant van de tamme topologie in te voeren voor paren van schema's $(X, \tilde{X})$, waarbij $X \hookrightarrow \tilde{X}$ een quasi-compacte open immersie is. Het doel is fundamentele resultaten voor deze site te vestigen die een systematische constructie van tamme schoven en cohomologietheorieën die voldoen aan tamme descendentie mogelijk maken, specifiek voor het de Rham–Witt-complex en reciprociteitsschoven.

Methodologie
De kernmethodologie omvat het definiëren van een nieuwe site, de tamme site $(X, \tilde{X})_t$, en het ontwikkelen van een algemene machinerie om schoven daarop te construeren.

1. De Tamme Site: De onderliggende categorie bestaat uit paren $(U, \tilde{U})$ waarbij $U \hookrightarrow \tilde{U}$ een quasi-compacte open immersie is over een basispaar $(S, \tilde{S})$, met specifieke eindigheidsvoorwaarden (ift-morfismen). De topologie wordt gegenereerd door tamme overdekkingen, gedefinieerd via het gedrag van waarden op de adische ruimte $Spa(U, \tilde{U})$. Een morfisme is een tamme overdekking als, voor elke waardering in het doel, er een lift bestaat in de bron waarbij de geïnduceerde uitbreiding van waarderingsvelden tam is.
2. De $\beta$-Constructie: De auteurs introduceren een algemeen mechanisme (Propositie 8.2) om een tamme schof $F_\beta$ op $(X, \tilde{X})_t$ te construeren uit een étale schof $F$ op $X_{\text{ét}}$, uitgerust met een "lokaal gegeven" $\beta$. Dit gegeven specificeert, voor elke waarderingsring gecentreerd op $\tilde{X}$, een deelverzameling van "tamme secties" van $F$. De resulterende schof $F_\beta$ bestaat uit secties van $F$ die, wanneer teruggetrokken naar de henselisering van de waarderingsring, binnen de gespecificeerde tamme deelverzamelingen liggen.
3. Cohomologische Berekeningen: Het artikel vestigt een vergelijkingstheorema (Theorema 7.2) dat de cohomologie van een tamme schof op $(X, \tilde{X})_t$ relateert aan de directe limiet van étale cohomologiegroepen over toelaatbare opblazingen van $\tilde{X}$. Dit berust op het bestaan van acyclische objecten (pro-objecten die lokaal zijn voor de topologie) en een vergelijking tussen Čech- en schofcohomologie (Theorema 6.5).

Belangrijkste Bijdragen en Resultaten

• Fundamentele Theorie van de Tamme Site: De auteurs definiëren de tamme topos en bewijzen dat de cohomologie van een tamme schof onafhankelijk is van de keuze van de compactificatie $\tilde{X}$ (Lemma 2.7). Zij stellen vast dat de cohomologie kan worden berekend als een colimiet over modificaties (Theorema 7.2), mits de schof voldoet aan een specifieke voorwaarde met betrekking tot het feit dat haar stekken $\mathbb{Z}(p_x)$-modulen zijn.
• Tamme de Rham–Witt-complex: Door de $\beta$-constructie toe te passen op het de Rham–Witt-complex met log-polen, definiëren de auteurs het tamme grote de Rham–Witt-complex $W_S\Omega^\bullet_t$ (Definitie 9.5). Zij bewijzen dat voor een glad schema $\tilde{X}$ met een simple normal crossing-divisor $D = \tilde{X} \setminus X$, de cohomologie van dit tamme complex op $(X, \tilde{X})_t$ isomorf is aan de logaritmische kristallijne cohomologie van $(\tilde{X}, D)$ (Theorema 10.3).
  • Specifiek: $R\Gamma((X, \tilde{X})_t, W\Omega^\bullet_t) \cong R\Gamma_{\text{log-crys}}((\tilde{X}, D)/W(k))$.
• Tamme Syntomische Cohomologie: De auteurs definiëren tamme syntomische complexen $Z_p(r)_t$ met behulp van de Nygaard-filtratie op het tamme de Rham–Witt-complex. Zij tonen aan dat deze complexen de tamme motivische cohomologie herstellen die in eerdere literatuur werd overwogen (Theorema 10.8), en vestigen een isomorfisme $Z/p^\bullet(r)_t \cong W^\bullet\Omega^r_{t, \log}[-r]$.
• Reciprociteitsschoven: De constructie wordt uitgebreid tot reciprociteitsschoven (Theorema 11.3). Voor een reciprociteitsschof $F$ heeft de bijbehorende tamme schof $F^{\text{rec}}_{\log}$ cohomologie die isomorf is aan de Nisnevich-cohomologie van de maximale kubus-invariante modulus-schof op de compactificatie.
• Vergelijking met Eerdere Tamme Sites: Het artikel vergelijkt de nieuwe site $(X, \tilde{X})_t$ met de tamme site $(X/S)_t$ zoals gedefinieerd in [HS20]. Hoewel er een adjungente paar functoren bestaat tussen de categorieën van schoven, zijn de cohomologietheorieën doorgaans verschillend. De auteurs demonstreren dat het overgaan van $(X, \tilde{X})_t$ naar $(X/S)_t$ resulteert in verlies van informatie; bijvoorbeeld, de cohomologie van de tamme structuurschof $O_t$ op $(X, \tilde{X})_t$ berekent de cohomologie van de structuurschof op de compactificatie, terwijl deze op $(X/S)_t$ de cohomologie berekent van een constante schof gerelateerd aan étale cohomologie (Opmerking 12.6).

Betekenis en Aanspraken
Het artikel claimt een robuust, algebraïsch kader te bieden voor het construeren van integrale modellen van $p$-adische cohomologietheorieën die voldoen aan tamme descendentie. Door te verschuiven van adische ruimten naar schema's, vereenvoudigen de auteurs de constructie van schoven, waardoor deze toegankelijk wordt voor standaardtechnieken uit de algebraïsche meetkunde.

De primaire betekenis ligt in het vermogen om:

1. Systematisch tamme schoven te genereren vanuit étale data via de $\beta$-constructie.
2. Te bewijzen dat het de Rham–Witt-complex met log-polen voldoet aan tamme descendentie, waardoor logaritmische kristallijne cohomologie op een puur algebraïsche manier wordt hersteld.
3. Een brug te slaan tussen tamme syntomische cohomologie en motivische cohomologie.
4. De relatie tussen verschillende tamme topologieën te verduidelijken, en aan te tonen dat de op paren gebaseerde site $(X, \tilde{X})_t$ meer geometrische informatie behoudt (specifiek met betrekking tot de compactificatie) dan de relatieve site $(X/S)_t$.

De auteurs merken op dat deze resultaten afhankelijk zijn van de resolutie van singulariteiten of specifieke dimensiegrenzen (bijvoorbeeld $d \leq 3$ in positieve karakteristiek) voor bepaalde isomorfismen, zoals de identificatie van cohomologie met logaritmische kristallijne cohomologie. Het werk legt de basis voor toekomstige constructies van integrale modellen voor coherente en de Rham-cohomologie over niet-archimedische lichamen.