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

Sintesi Tecnica: Una Costruzione di Fasci Tamini e Cohomologia di de Rham–Witt Tamina

Problema e Motivazione
Il lavoro affronta una limitazione fondamentale nella costruzione di teorie di cohomologia $p$-adica intergrale per schemi su un campo $k$ di caratteristica positiva $p$. Mentre la cohomologia di de Rham con poli logaritmici fornisce una teoria ben comportata in caratteristica zero che soddisfa la discesa étale, la costruzione analoga utilizzando il complesso di de Rham–Witt con poli logaritmici in caratteristica $p$ non soddisfa la discesa étale. Questo fallimento è attribuito alla ramificazione selvaggia. Lavori precedenti di Hübner e Saito ([HS20]) hanno stabilito che queste teorie soddisfano la "discesa tamina" rispetto a un sito tamino specifico. Tuttavia, l'attuale quadro teorico si basa su spazi adici, rendendo tecnicamente difficile la costruzione di fasci.

Gli autori mirano a introdurre una variante algebrica della topologia tamina per coppie di schemi $(X, \tilde{X})$, dove $X \hookrightarrow \tilde{X}$ è un'immersione aperta quasi-compatta. L'obiettivo è stabilire risultati fondazionali per questo sito che permettano la costruzione sistematica di fasci tamini e teorie di cohomologia che soddisfano la discesa tamina, specificamente per il complesso di de Rham–Witt e i fasci di reciprocità.

Metodologia
La metodologia centrale consiste nella definizione di un nuovo sito, il sito tamino $(X, \tilde{X})_t$, e nello sviluppo di una macchina generale per costruire fasci su di esso.

1. Il Sito Tamino: La categoria sottostante è costituita da coppie $(U, \tilde{U})$ dove $U \hookrightarrow \tilde{U}$ è un'immersione aperta quasi-compatta su una coppia base $(S, \tilde{S})$, con specifiche condizioni di finitezza (morfismi ift). La topologia è generata da coperture tamini, definite attraverso il comportamento delle valutazioni sullo spazio adico $Spa(U, \tilde{U})$. Un morfismo è una copertura tamina se, per ogni valutazione nel target, esiste un sollevamento nella sorgente tale che l'estensione indotta dei campi di valutazione sia tamina.
2. La Costruzione $\beta$: Gli autori introducono un meccanismo generale (Proposizione 8.2) per costruire un fascio tamino $F_\beta$ su $(X, \tilde{X})_t$ a partire da un fascio étale $F$ su $X_{\text{ét}}$ dotato di un "dato locale" $\beta$. Questo dato specifica, per ogni anello di valutazione centrato su $\tilde{X}$, un sottoinsieme di "sezioni tamini" di $F$. Il fascio risultante $F_\beta$ consiste di sezioni di $F$ che, quando riportate all'anello di henselizzazione dell'anello di valutazione, giacciono all'interno dei sottoinsiemi tamini specificati.
3. Calcoli Cohomologici: Il lavoro stabilisce un teorema di confronto (Teorema 7.2) che mette in relazione la cohomologia di un fascio tamino su $(X, \tilde{X})_t$ con il limite diretto dei gruppi di cohomologia étale su esplosioni ammissibili di $\tilde{X}$. Ciò si basa sull'esistenza di oggetti aciclici (pro-oggetti che sono locali per la topologia) e su un confronto tra cohomologia di Čech e cohomologia di fascio (Teorema 6.5).

Contributi e Risultati Chiave

• Teoria Fondazionale del Sito Tamino: Gli autori definiscono il topos tamino e dimostrano che la cohomologia di un fascio tamino è indipendente dalla scelta della compattificazione $\tilde{X}$ (Lemma 2.7). Stabiliscono che la cohomologia può essere calcolata come un colimite su modificazioni (Teorema 7.2), a condizione che il fascio soddisfi una specifica condizione riguardante i suoi stalks come $\mathbb{Z}(p_x)$-moduli.
• Complesso di de Rham–Witt Tamino: Applicando la costruzione $\beta$ al complesso di de Rham–Witt con poli logaritmici, gli autori definiscono il grande complesso di de Rham–Witt tamino $W_S\Omega^\bullet_t$ (Definizione 9.5). Dimostrano che per uno schema liscio $\tilde{X}$ con un divisore a intersezioni normali semplici $D = \tilde{X} \setminus X$, la cohomologia di questo complesso tamino su $(X, \tilde{X})_t$ è isomorfa alla cohomologia cristallina logaritmica di $(\tilde{X}, D)$ (Teorema 10.3).
  • Nello specifico, $R\Gamma((X, \tilde{X})_t, W\Omega^\bullet_t) \cong R\Gamma_{\text{log-crys}}((\tilde{X}, D)/W(k))$.
• Cohomologia Sintomica Tamina: Gli autori definiscono complessi sintomici tamini $Z_p(r)_t$ utilizzando la filtrazione di Nygaard sul complesso di de Rham–Witt tamino. Mostrano che questi complessi recuperano la cohomologia motivica tamina considerata nella letteratura precedente (Teorema 10.8), stabilendo un isomorfismo $Z/p^\bullet(r)_t \cong W^\bullet\Omega^r_{t, \log}[-r]$.
• Fasci di Reciprocità: La costruzione è estesa ai fasci di reciprocità (Teorema 11.3). Per un fascio di reciprocità $F$, il fascio tamino associato $F^{\text{rec}}_{\log}$ ha una cohomologia isomorfa alla cohomologia di Nisnevich del fascio di modulo massimale invariante per cubo sulla compattificazione.
• Confronto con Siti Tamini Precedenti: Il lavoro confronta il nuovo sito $(X, \tilde{X})_t$ con il sito tamino $(X/S)_t$ definito in [HS20]. Sebbene esista una coppia di funtori aggiunti tra le categorie di fasci, le teorie di cohomologia sono generalmente distinte. Gli autori dimostrano che il passaggio da $(X, \tilde{X})_t$ a $(X/S)_t$ comporta una perdita di informazioni; ad esempio, la cohomologia del fascio strutturale tamino $O_t$ su $(X, \tilde{X})_t$ calcola la cohomologia del fascio strutturale sulla compattificazione, mentre su $(X/S)_t$ calcola la cohomologia di un fascio costante legato alla cohomologia étale (Osservazione 12.6).

Significato e Affermazioni
Il lavoro afferma di fornire un quadro robusto e algebrico per costruire modelli integrali di teorie di cohomologia $p$-adica che soddisfano la discesa tamina. Spostandosi dagli spazi adici agli schemi, gli autori semplificano la costruzione dei fasci, rendendola accessibile alle tecniche standard della geometria algebrica.

Il significato primario risiede nella capacità di:

1. Generare sistematicamente fasci tamini da dati étale tramite la costruzione $\beta$.
2. Dimostrare che il complesso di de Rham–Witt con poli logaritmici soddisfa la discesa tamina, recuperando così la cohomologia cristallina logaritmica in modo puramente algebrico.
3. Stabilire un ponte tra la cohomologia sintomica tamina e la cohomologia motivica.
4. Chiarire la relazione tra diverse topologie tamini, mostrando che il sito basato su coppie $(X, \tilde{X})_t$ conserva più informazioni geometriche (specificamente riguardo alla compattificazione) rispetto al sito relativo $(X/S)_t$.

Gli autori notano che questi risultati dipendono dalla risoluzione delle singolarità o da specifici limiti dimensionali (ad esempio, $d \leq 3$ in caratteristica positiva) per certi isomorfismi, come l'identificazione della cohomologia con la cohomologia cristallina logaritmica. Il lavoro prepara il terreno per future costruzioni di modelli integrali per la cohomologia coerente e di de Rham su campi non archimedei.