Syntomification and crystalline local systems

Sintesi Tecnica: Sintomificazione e Sistemi Locali Cristallini

Problema e Contesto
Il lavoro affronta la relazione tra la geometria degli schemi formali $p$-adici e la teoria delle rappresentazioni dei gruppi di Galois $p$-adici. Nello specifico, mira a generalizzare l'equivalenza di Bhatt-Scholze tra cristalli $F$-prismatici e rappresentazioni di Galois cristalline (stabilita per un punto, ovvero $\text{Spf } \mathcal{O}_K$) al contesto degli schemi formali $p$-adici lisci $X$. L'oggetto centrale di studio è lo stack sintomico $X_{\text{Syn}}$ associato a $X$, introdotto da Bhatt e Lurie. Il lavoro indaga il funtore di realizzazione étale $\mathcal{T}_{\text{ét}}: \text{Perf}(X_{\text{Syn}}) \to D^{(b)}_{\text{lisse}}(X_\eta, \mathbb{Z}_p)$, che mappa i complessi perfetti sullo stack sintomico nelle categorie derivate dei sistemi locali sulla fibra generica rigida $X_\eta$.

Le principali sfide affrontate sono:

1. Caratterizzare l'immagine essenziale di $\mathcal{T}_{\text{ét}}$ sulla categoria dei complessi perfetti (e sulla sua categoria di isogenia) in termini di sistemi locali cristallini.
2. Determinare se l'equivalenza $\text{Perf}(\mathbb{Z}_p^{\text{Syn}})[1/p] \simeq D^b(\text{Rep}^{\text{cris}}_{\mathbb{Q}_p}(G_{\mathbb{Q}_p}))$ si generalizza a $X$ di dimensione superiore.
3. Fornire una descrizione algebrica esplicita della categoria $\text{Perf}(X_{\text{Syn}})[1/p]$ nel caso proprio, analoga alla descrizione delle rappresentazioni cristalline tramite $F$-isocristalli filtrati debolmente ammissibili.

Metodologia
L'autore impiega una combinazione di geometria degli stack, teoria della discesa e tecniche della teoria di Hodge $p$-adica:

• Quadro degli Stack: Il lavoro utilizza gli stack formali $X_{\text{Syn}}$, $X_{\text{Nyg}}$ (Nygaard) e $X_\Delta$ (prismatico). La struttura di $X_{\text{Syn}}$ è analizzata tramite pushout e coequalizzatori che coinvolgono questi stack.
• Fasci Riflessivi: Una chiave innovazione tecnica è l'introduzione dei fasci riflessivi ($\text{Refl}(X_{\text{Syn}})$) sullo stack sintomico. L'autore li definisce come fasci coerenti $E$ per i quali la mappa naturale $E \to E^{\vee\vee}$ è un isomorfismo. Si dimostra che questa sottocategoria è il dominio corretto affinché il funtore di realizzazione étale induca un'equivalenza.
• Analisi del Nucleo: Il lavoro analizza il nucleo del funtore di realizzazione étale. Adattando metodi da Bhatt-Lurie e utilizzando connessioni graduate sugli oggetti associati graduati di Nygaard, si dimostra che il nucleo è costituito da $F$-guaine coerenti che sono $(p, v_{1,X})$-torsione di potenza.
• Discesa e Coperture: Le dimostrazioni si basano pesantemente su suriezioni piatte-locali (in particolare utilizzando stack di Rees associati a prismi di Breuil-Kisin) per ridurre questioni globali su $X$ a questioni locali su schemi affini, dove sono possibili calcoli espliciti con moduli di Breuil-Kisin e $q$-connessioni.
• Quadrato di Fibra di Beilinson: Nel caso proprio, il lavoro costruisce un quadrato di fibra di Beilinson che relaziona la coomologia sintomica di $X$ alla sua coomologia cristallina (sulla fibra speciale) e alla coomologia di de Rham (sulla fibra generica). Questo quadrato è utilizzato per definire la categoria target delle $F$-isocristalli filtrati ammissibili.

Contributi e Risultati Chiave

1. Equivalenza per Fasci Riflessivi (Teorema A):
   Il lavoro stabilisce che per uno schema formale $p$-adico liscio e quasicompattto $X/\text{Spf } \mathcal{O}_K$, il funtore di realizzazione étale induce un'equivalenza di categorie:
   $$\mathcal{T}_{\text{ét}}: \text{Refl}(X_{\text{Syn}}) \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$$
   dove $\text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$ è la categoria dei sistemi locali $\mathbb{Z}_p$ cristallini pro-étale. Questo risultato caratterizza l'immagine essenziale del funtore $\Pi_X$ (costruito da Guo-Li) come precisamente i fasci riflessivi.

2. Categoria di Isogenia e Coomologia Cristallina (Corollario 1.3):
   Invertendo $p$, il funtore induce un'equivalenza sui cuori delle rispettive strutture $t$:
   $$\text{Coh}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta)$$
   L'immagine essenziale di $\mathcal{T}_{\text{ét}}[1/p]$ sulla categoria derivata piena è contenuta nella sottocategoria degli oggetti con fasci di coomologia cristallina, sebbene il lavoro noti che le inclusioni sono generalmente strette (ovvero, non ogni complesso con fasci di coomologia cristallina appartiene all'immagine essenziale).

3. Fallimento della Generalizzazione Ingenua (Esempio 4.7):
   Il lavoro dimostra che l'equivalenza $\text{Perf}(X_{\text{Syn}})[1/p] \simeq D^b(\text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta))$ non vale in generale per $X$ di dimensione superiore (ad esempio, $X = \mathbb{P}^1_{\mathbb{Z}_p}$). Ciò è dovuto a un fallimento della fedeltà piena, evidenziato da gruppi di coomologia sintomica non nulli $H^2_{\text{Syn}}$ che non corrispondono a estensioni nella categoria dei sistemi locali cristallini.

4. Equivalenza per Schemi Propri (Teorema B):
   Per $X$ liscio e proprio su $\text{Spf } \mathcal{O}_K$, il lavoro prova un'equivalenza:
   $$\text{Perf}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$$
   Qui, $\text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$ è la categoria dei complessi perfetti di $F$-isocristalli filtrati ammissibili. Questa categoria è definita tramite un quadrato di fibra di Beilinson che coinvolge il sito cristallino della fibra speciale e lo stack di de Rham della fibra generica. La condizione "ammissibile" garantisce che i fasci di coomologia corrispondano a sistemi locali cristallini.

5. Calcoli Cohomologici:
   Il lavoro fornisce un calcolo coomologico che mostra che per $X = \text{Spf } \mathcal{O}_K$, la coomologia sintomica $H^i_{\text{Syn}}(\mathcal{O}_K, E)[1/p]$ si annulla per $i \geq 2$ ed è isomorfa al gruppo di Selmer di Bloch-Kato (o gruppi di estensioni nelle rappresentazioni cristalline) per $i=1$. Questo annullamento è cruciale per stabilire l'equivalenza nel caso del punto e nel caso proprio.

Significato e Affermazioni
Il lavoro afferma di risolvere la questione se lo stack sintomico di Bhatt-Lurie fornisca una corrispondenza di Riemann-Hilbert derivata per gli schemi formali $p$-adici.

• Conferma che, sebbene l'equivalenza derivata ingenua fallisca per $X$ generico, esiste una caratterizzazione precisa tramite fasci riflessivi.
• Generalizza con successo l'equivalenza tra complessi perfetti sintomici e rappresentazioni cristalline alla categoria di isogenia per schemi propri lisci, ma richiede che la categoria target sia raffinata in $F$-isocristalli filtrati ammissibili piuttosto che semplicemente nella categoria derivata dei sistemi locali cristallini.
• Il lavoro colma il divario tra l'approccio prismatico/stackico (Bhatt-Scholze, Bhatt-Lurie) e la teoria classica degli $F$-isocristalli filtrati (Colmez-Fontaine), fornendo un quadro unificato per lo studio dei sistemi locali cristallini sugli schemi formali $p$-adici.

L'autore nota esplicitamente che i risultati dipendono dal fatto che $X$ sia liscio e quasicompattto (o proprio) e che l'interpretazione delle categorie di isogenia richieda cautela quando $X$ non è quasicompattto. Il lavoro non afferma di risolvere il problema per schemi non lisci né di fornire una descrizione dell'immagine essenziale senza invertire $p$ (lasciato come lavoro futuro).