Purity in the tame cohomology

Sintesi Tecnica: Purezza nella Coomologia Tame

Enunciato del Problema
Il saggio affronta il fallimento del teorema di purezza coomologica assoluta per i fasci $p$-torsionali nella topologia étale su schemi di caratteristica $p$. Mentre la purezza è valida per coefficienti primi rispetto a $p$ (teorema di Gabber-Fujiwara), essa fallisce per i fasci de Rham-Witt logaritmici $\nu_{m}(n)$ nella topologia étale. Nello specifico, per una coppia regolare $(X, Z)$ di codimensione $r$, l'immagine diretta superiore $R^{r+1}i_!\nu_{X,m}(n)$ non è necessariamente nulla, ostacolando l'esistenza di un isomorfismo di purezza $Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$. L'ostacolo deriva dal fatto che l'operatore di Cartier inverso (o la mappa di Artin-Schreier) non è suriettivo nella topologia étale a causa della presenza di coperture con ramificazione selvaggia (wildly ramified).

Metodologia
L'autore, Amine Koubaa, risolve questo ostacolo spostando il quadro teorico dalla topologia étale alla topologia tame, introdotta da Hübner e Stalder. La metodologia si basa sui seguenti componenti strutturali:

1. Spazi Adici e Spazi Anelli Discreti: Il saggio utilizza spazi adici con anello discreto, denotati $X = \text{Spa}(X, S)$, per fornire un contesto geometrico in cui la ramificazione tame è ben comportata. La dimostrazione sfrutta l'equivalenza tra la coomologia tame di uno schema e la coomologia del suo spazio adico associato.
2. Geometria Logaritmica e Differenziali: Lo strumento tecnico centrale è il fascio dei differenziali logaritmici. L'autore introduce e analizza il fascio $\Omega^+_{X/k}$, definito tramite seminormi di Kähler e "rangers" (un concetto di Hübner e Temkin), che cattura i differenziali con valutazione limitata.
3. Risoluzione delle Singolarità: Le dimostrazioni assumono l'esistenza della risoluzione delle singolarità e della risoluzione delle singolarità immersa (specificamente per schemi log-smooth). Ciò consente di ridurre i casi generali a coppie log-smooth $(X, \bar{X})$ dove il bordo è un divisore normale semplice.
4. L'Operatore di Cartier: Un passaggio cruciale consiste nell'stabilire l'esattezza della sequenza riguardante l'operatore di Cartier $C$ sui fasci di differenziali chiusi $Z\Omega^+$. Nella topologia tame, l'operatore di Cartier inverso diventa suriettivo, a differenza di quanto accade nella topologia étale dove fallisce a causa della ramificazione selvaggia.
5. Teorema di Popescu: Per estendere i risultati da schemi smooth su campi perfetti a coppie regolari su basi arbitrarie di caratteristica $p$, il saggio impiega il teorema di Popescu, esprimendo le algebre regolari come colimiti filtrati di algebre smooth.

Contributi Chiave e Risultati

• Teorema di Purezza per la Coomologia Tame (Teoremi 1.3 & 5.9): Il risultato principale stabilisce che per una coppia smooth $(X, Z)$ di pura codimensione $r$ su un campo perfetto $k$ di caratteristica $p$, esiste un isomorfismo naturale nella categoria derivata dei fasci tame:
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  Ciò è valido sotto l'assunzione della risoluzione delle singolarità. L'isomorfismo è costruito tramite un morfismo di Gysin.

• Esattezza della Sequenza di Cartier (Teorema 4.27): Il saggio dimostra che sugli spazi adici con anello discreto, la sequenza
  $$0 \to \nu(n) \to Z\Omega^+_{X/k} \xrightarrow{C^{-1}} \Omega^+_{X/k} \to 0$$
  è esatta nella topologia tame. Questa esattezza è il meccanismo che ripristina la purezza, poiché garantisce la scomparsa del termine di ostacolo $R^{r+1}i_!$.

• Costruzione del Morfismo di Gysin (Sezione 5.1): L'autore costruisce un morfismo di Gysin per i fasci $\Omega^+_{n}$ ed estende il risultato ai fasci de Rham-Witt logaritmici $\nu_{m}(n)$. Ciò comporta la dimostrazione che le immagini dirette superiori $R^ji_!\Omega^+_{n}$ scompaiono per $j \neq r$ e che $R^ri_!\Omega^+_{n} \cong \Omega^+_{n-r}[-r]$.

• Generalizzazione alle Coppie Regolari (Teorema 5.15): Utilizzando il teorema di Popescu, il risultato di purezza viene generalizzato da coppie smooth su campi perfetti a coppie regolari $(X, Z)$ su uno schema base $S$ di caratteristica $p$. Il risultato afferma che:
  $$Ri_!\nu_{X,m}(n) \cong \nu_{Z,m}(n-r)[-r]$$
  nella categoria derivata $D((Z/S)_t)$.

• Confronto con la Coomologia Étale (Proposizione 5.10): Il saggio chiarisce la relazione tra i risultati tame ed étale. Mostra che l'isomorfismo di purezza tame è la versione "corretta", e che il fallimento della purezza étale è dovuto alla non suriettività dell'operatore di Cartier in presenza di ramificazione selvaggia. La sheafificazione tame dell'immagine diretta étale recupera il risultato tame.

Significato e Rivendicazioni
Il saggio sostiene di fornire una soluzione completa al problema della purezza per i fasci de Rham-Witt logaritmici in caratteristica positiva utilizzando la topologia tame.

• Ripristino della Purezza: Dimostra che l'ostacolo alla purezza nella topologia étale (la non-vacuità di $R^{r+1}i_!$) è un artefatto della ramificazione selvaggia, che è esclusa nella topologia tame.
• Avanzamento Metodologico: Integrando la teoria degli spazi adici (specificamente quelli con anello discreto) con la geometria logaritmica e l'operatore di Cartier, il saggio fornisce un quadro robusto per gestire i coefficienti $p$-torsionali dove i metodi étale classici falliscono.
• Consistenza con i Risultati Noti: I risultati generalizzano i teoremi di semi-purezza di Milne e Gros e si allineano con il teorema di purezza assoluta per i coefficienti primi rispetto a $p$.
• Modestia sulle Assunzioni: L'autore nota esplicitamente che i risultati dipendono dall'assunzione della risoluzione delle singolarità. Il saggio menziona che il lavoro futuro mira a rimuovere questa assunzione, in particolare riguardo l'esistenza dell'operatore di Cartier su $\Omega^+$ senza fare affidamento sulla risoluzione.

In sintesi, il saggio stabilisce che "la purezza è valida nella topologia tame", offrendo un isomorfismo naturale per l'immagine diretta con supporto proprio dei fasci de Rham-Witt logaritmici, risolvendo così un problema di lunga data nella coomologia degli schemi in caratteristica $p$.