De Rham affineness of the Nygaard filtered prismatization in positive characteristic

1. Contesto e Problema di Ricerca

Il lavoro si inserisce nel campo della geometria algebrica derivata e della coomologia prismatica, sviluppata da Bhatt, Morrow e Scholze. L'obiettivo principale è comprendere la struttura geometrica della prismatizzazione di Nygaard filtrata ($R^{Nyg}$) per algebre animate (animated algebras) $R$ su un anello perfetto $k$ di caratteristica $p > 0$.

Il problema centrale affrontato è l'analogo, in caratteristica positiva e nel contesto filtrato di Nygaard, di un risultato fondamentale di Bhatt e Lurie sulla prismatizzazione relativa. Bhatt e Lurie hanno dimostrato che la prismatizzazione di uno schema affine $X$ è isomorfa allo spettro del suo anello di coomologia prismatica (una proprietà nota come "affinità de Rham").
Sahai si chiede se questa proprietà di "affinità de Rham" si estenda alla versione filtrata di Nygaard della prismatizzazione. In particolare, vuole stabilire se lo stack filtrato $R^{Nyg}$ possa essere ricostruito come lo spettro relativo di un'algebra derivata costruita a partire dalla coomologia prismatica filtrata di Nygaard.

2. Metodologia e Strumenti Teorici

L'autore utilizza un approccio sofisticato basato sulla geometria algebrica derivata e sulla teoria degli $\infty$-categorie. I pilastri metodologici includono:

• Affinità de Rham: Viene introdotta e formalizzata una definizione astratta di "affinità de Rham" per un funtore a valori in stack. Un funtore $X$ è de Rham affine se è isomorfo allo spettro relativo di un funtore $T$ a valori in algebre derivate (Definizione 1.6).
• Trasmutazione (Transmutation): Il paper sfrutta il concetto di trasmutazione, dove certi funtori a valori in stack sono rappresentati da mappe verso uno stack di anelli. Viene dimostrato che i funtori che preservano i colimiti (come la prismatizzazione) spesso sorgono tramite questo meccanismo.
• Costruzione di Rees: Per gestire le filtrazioni (in particolare la filtrazione di Nygaard), l'autore utilizza la costruzione di Rees. Questo permette di trasformare un'algebra filtrata in un'algebra graduata, permettendo di lavorare sullo stack $k^{Nyg} \simeq \text{Spf}(W(k)\langle u, t \rangle / (ut-p)) / \mathbb{G}_m$.
• Riduzione a casi semplici: La dimostrazione si basa sulla riduzione del problema al caso dell'algebra polinomiale $A = k[x]$ e del suo rivestimento quasisintomico $S = k[x^{1/p^\infty}]$.
• Stratificazione Costruibile e Piatta Fiduciosa: Per provare che una mappa è un epimorfismo fpqc (necessario per l'isomorfismo degli stack), l'autore utilizza criteri di verifica della piattezza fedele su una stratificazione costruibile dello stack $k^{Nyg}$, analizzando i "loci" specifici (come $t \neq 0$, $u \neq 0$, $t=0$, ecc.).

3. Risultati Principali

Il risultato centrale è enunciato nel Teorema 1.13:

Sia $X$ uno schema derivato affine su $k$. Esiste un'isomorfismo naturale di stack derivati su $k^{Nyg}$:
$$X^{Nyg} \simeq R^{Nyg}(F^* \Delta_{X/k})$$
dove $R^{Nyg}(F^* \Delta_{X/k})$ è lo spettro relativo su $k^{Nyg}$ dell'algebra di Rees della coomologia prismatica di Nygaard filtrata di $X$ rispetto a $k$.

In termini di funtori, questo significa che il funtore che associa a un'algebra $R$ lo stack $R^{Nyg}$ è de Rham affine rispetto a $k^{Nyg}$.

Corollari e Isomorfismi Derivati:
Il teorema principale implica isomorfismi canonici per diverse specializzazioni dello stack $k^{Nyg}$, recuperando risultati noti e nuovi:

1. Cristallino: Su $t \neq 0$, si recupera la prismatizzazione cristallina classica.
2. Prismatizzazione in caratteristica $p$: Su $u \neq 0$, si ottiene la prismatizzazione relativa in caratteristica $p$.
3. Stack di De Rham Filtrato di Hodge: Su $u=0$, si ottiene un isomorfismo tra lo stack di De Rham filtrato di Hodge $(R/k)_{dR, +}$ e lo spettro dell'algebra di Rees della coomologia di De Rham filtrata (Corollario 1.14). Questo è una versione filtrata del risultato di Mondal.
4. Stack di Hodge-Tate Filtrato Coniugato: Su $t=0$, si ottiene un isomorfismo per lo stack di Hodge-Tate con la filtrazione coniugata (Corollario 1.16).

4. Contributi Tecnici Chiave

Oltre al teorema principale, il paper fornisce diversi contributi tecnici di interesse indipendente:

• Axiomatizzazione dell'Affinità de Rham: La definizione formale di "de Rham affineness" (Definizione 1.6) serve come strumento organizzativo per future ricerche, collegando la teoria dei prismi alla teoria degli stack di anelli.
• Costruzione dello Stack di Rees: Viene costruita esplicitamente la stack $R^{Nyg}(F^* \Delta_{R/k})$ come spettro relativo di un'algebra graduata derivata su $k^{Nyg}$, generalizzando la costruzione classica di Rees al contesto derivato e filtrato.
• Proprietà di Colimiti e Künneth: Nell'Appendice C, l'autore dimostra che la coomologia prismatica filtrata di Nygaard preserva i colimiti e soddisfa una formula di Künneth (Teorema C.1). Questo è cruciale per garantire che il funtore sia ben comportato e derivabile da costruzioni su algebre libere.
• Criteri di Piattezza Fedele: Gli Appendici A e B sviluppano criteri tecnici per testare la piattezza fedele e la connettività di moduli derivati su stratificazioni costruibili e rispetto a ideali completi, strumenti essenziali per la dimostrazione del teorema principale.

5. Significato e Implicazioni

Il lavoro di Sahai ha un'importanza significativa per diversi motivi:

1. Unificazione delle Teorie: Dimostra che la struttura geometrica della prismatizzazione filtrata di Nygaard è intrinsecamente legata alla sua coomologia algebrica, generalizzando il risultato di Bhatt-Lurie al caso filtrato e in caratteristica positiva.
2. Strumento per la Sintomificazione: L'autore indica che questo risultato è un passo fondamentale per il suo lavoro futuro sulla "sintomificazione" di schemi sollevabili rispetto a Frobenius. In particolare, permette di descrivere la categoria dei fasci coerenti sullo stack sintomico $(X^{p=0})^{Syn}$ in termini di moduli di Fontaine-Laffaille.
3. Nuova Prospettiva sui Filtri: Fornisce una visione unificata di filtrazioni classiche (Hodge, coniugata) come specializzazioni di una singola struttura prismatica filtrata su $k^{Nyg}$, offrendo nuovi strumenti per studiare le relazioni tra coomologia cristallina, di De Rham e di Hodge-Tate.
4. Metodologia Derivata: Il paper consolida l'uso della geometria algebrica derivata per trattare problemi di coomologia in caratteristica $p$, mostrando come concetti come la trasmutazione e gli stack di anelli siano strumenti potenti per la classificazione di strutture coomologiche complesse.

In sintesi, il paper stabilisce un ponte rigoroso tra la teoria dei prismi filtrati e la geometria degli stack, fornendo un quadro teorico solido per future generalizzazioni in caratteristica mista e applicazioni alla teoria di Hodge $p$-adica.