A Tannakian framework for prismatic $F$-crystals

Sintesi Tecnica: Un Framework Tannakiano per i F-Cristalli Prismatici

Problema e Contesto
La teoria di Hodge $p$-adica integrale mira a comprendere la variazione di oggetti geometrici $p$-adici in famiglie, in particolare attraverso la lente dei sistemi locali cristallini $\mathbb{Z}_p$ su uno schema formale liscio $X$ su l'anello degli interi $\mathcal{O}_K$ di un campo con valore discreto. Il lavoro recente di Bhatt e Scholze ha stabilito la categoria $\text{Vect}^\varphi(X^\Delta)$ dei cristalli $F$-prismatici come un modello robusto per questi sistemi locali. Tuttavia, le applicazioni alla teoria dei varietà di Shimura integrali (locali) richiedono un formalismo Tannakiano: una teoria di oggetti-$G$ (dove $G$ è uno schema di gruppo affine liscio su $\mathbb{Z}_p$) all'interno di queste categorie.

Una difficoltà primaria deriva dal fatto che il funtore di realizzazione etale $T_{\acute{e}t}$, che mette in relazione i cristalli $F$-prismatici con i sistemi locali cristallini, è un equivalenza di categorie, ma il suo quasi-inverso non è generalmente esatto. Nello specifico, mentre $T_{\acute{e}t}$ mappa la categoria dei cristalli $F$-prismatici nella sottocategoria dei sistemi locali di "buona riduzione prismatica", l'inverso comporta l'estensione di fasci vettoriali da sottoinsiemi aperti alle loro chiusure, un processo che non preserva l'esattezza. Questa non-esattezza minaccia la costruzione di un'equivalenza Tannakiana per gli oggetti-$G$, poiché la categoria degli oggetti-$G$ si basa sulla natura tensoriale esatta della categoria sottostante.

Metodologia
Gli autori sviluppano un framework Tannakiano analizzando la struttura degli oggetti-$G$ nella categoria dei cristalli $F$-prismatici, denotata $G\text{-}\text{Vect}^\varphi(X^\Delta)$, e confrontandoli con gli oggetti-$G$ nella categoria dei sistemi locali cristallini $G\text{-}\text{Loc}^{\text{crys}}_{\mathbb{Z}_p}(X)$.

1. Formalismo Tannakiano per Oggetti Prismatici: Il saggio stabilisce che la categoria dei cristalli $F$-prismatici (e dei loro controparti analitici) possiede le necessarie proprietà Tannakiane. Utilizzando la teoria dei torsori con struttura di Frobenius ($F$-struttura), gli autori mostrano che gli oggetti-$G$ in queste categorie corrispondono a torsori-$G$ dotati di isomorfismi di Frobenius.
2. Gestione della Non-Esattezza: La sfida tecnica centrale è la non-esattezza del quasi-inverso di $T_{\acute{e}t}$. Gli autori affrontano questo problema restringendo l'attenzione al caso in cui $G$ sia uno schema riduttivo. Essi sfruttano un risultato di Colliot-Thélène e Sansuc, il quale afferma che per un gruppo riduttivo $G$, un torsore-$G$ su un sotto-schema aperto $U$ (dove il complemento ha profondità almeno 2) si estende all'intero schema se il relativo fascio vettoriale si estende. Ciò permette loro di aggirare il fallimento dell'esattezza per gruppi generali utilizzando le specifiche proprietà geometriche dei gruppi riduttivi e le proprietà di profondità degli anelli sottostanti (specificamente, il prisma di Breuil–Kisin).
3. Realizzazione di Shtuka: Il saggio costruisce un "funtore di realizzazione di shtuka" $T_{\text{sht}}$ che mappa i cristalli $F$-prismatici analitici in shtukas-$G$. Questa costruzione si basa sulla relazione tra la coomologia prismatica e la teoria dei $v$-sheaves e dei diamanti sviluppata da Scholze e altri.

Contributi Chiave e Risultati

• Equivalenza Tannakiana per Gruppi Riduttivi: Il risultato centrale (Teorema 2.29) stabilisce un'equivalenza di categorie:
  $$T_{\acute{e}t}: G\text{-}\text{Vect}^\varphi(X^\Delta) \xrightarrow{\sim} G\text{-}\text{Loc}^{\Delta\text{-gr}}_{\mathbb{Z}_p}(X)$$
  dove $G\text{-}\text{Loc}^{\Delta\text{-gr}}_{\mathbb{Z}_p}(X)$ è la categoria dei sistemi locali $G$ di "buona riduzione prismatica". Crucialmente, gli autori dimostrano che, nonostante il quasi-inverso di $T_{\acute{e}t}$ non sia esatto sul livello dei fasci vettoriali, il funtore indotto sugli oggetti-$G$ è un'equivalenza quando $G$ è riduttivo. Ciò è ottenuto mostrando che l'ostruzione all'esattezza svanisce per i gruppi riduttivi grazie alle proprietà di estensione dei loro torsori.

• Cristalli $F$-Prismatici Analitici: Il saggio perfeziona la teoria lavorando con cristalli $F$-prismatici analitici ($\text{Vect}^{\text{an},\varphi}(X^\Delta)$), che sono necessari per catturare tutti i sistemi locali cristallini $\mathbb{Z}_p$. Si dimostra che il funtore di realizzazione etale induce un'equivalenza bi-esatta tra i cristalli $F$-prismatici analitici e i sistemi locali cristallini (Proposizione 2.23).

• Realizzazione di Shtuka e Compatibilità: Gli autori definiscono un funtore di realizzazione di shtuka $T_{\text{sht}}: G\text{-}\text{Vect}^{\text{an},\varphi}(X^\Delta) \to G\text{-}\text{Sht}(X)$ (Teorema 3.21). Essi dimostrano un isomorfismo di confronto $\varrho$ che mostra come questo funtore si intrecci con il funtore di realizzazione etale $T_{\acute{e}t}$ e con il precedente funtore $U_{\text{sht}}$ dai sistemi locali de Rham alle shtukas (come definito in [PR24]).
  $$\varrho: (T_{\text{sht}})_\eta \xrightarrow{\sim} U_{\text{sht}} \circ T_{\acute{e}t}$$
  Questo risultato permette di estendere il funtore di realizzazione di shtuka a schemi $\mathcal{O}_K$ lisci (non solo schemi formali) incollando i dati della fibra generica e del completamento formale.

• Caratterizzazione della Buona Riduzione: Il saggio fornisce un criterio per un sistema locale $G$ di buona riduzione prismatica: è sufficiente che il sistema associato a una singola rappresentazione fedele di $G$ sia di buona riduzione prismatica (Corollario 2.31).

Significato
Il saggio fornisce la teoria Tannakiana fondamentale necessaria per applicare rigorosamente la coomologia prismatica allo studio delle varietà di Shimura integrali. Stabilendo l'equivalenza tra gli oggetti-$G$ nei cristalli $F$-prismatici e i sistemi locali $G$ di buona riduzione prismatica, gli autori consentono l'uso di metodi prismatici per parametrizzare oggetti motivici su modelli integrali di varietà di Shimura.

Il lavoro è esplicitamente posizionato come compagno e componente fondante di [IKY23] e [IKY25]. In tali lavori, i risultati di questo saggio vengono utilizzati per costruire i funtori di realizzazione prismatica sulle varietà di Shimura integrali al livello iperspecial, portando a conseguenze quali un analogo del teorema di Serre–Tate. Inoltre, la compatibilità con la teoria delle shtukas (Teorema 3) è fondamentale per relazionare le realizzazioni prismatiche alla congettura di Pappas–Rapoport riguardante le realizzazioni di shtuka per varietà di Shimura di tipo abeliano.

Gli autori osservano che, sebbene i teoremi principali richiedano che $G$ sia riduttivo, il framework è sufficientemente flessibile da poter potenzialmente accomodare schemi di gruppo parahorici, un caso di significativo interesse per le varietà di Shimura, sebbene ciò richieda ulteriori investigazioni oltre l'ambito dei risultati correnti.