An integral analogue of Fontaine's crystalline functor

Sintesi Tecnica: Un Analogo Integrale del Funttore Cristallino di Fontaine

Enunciato del Probleamento
Nella teoria di Hodge $p$-adica, una questione centrale riguarda la "buona riduzione" di un sistema locale $\mathbb{Q}_p$ su uno schema formale liscio $X$ su $W(k)$, i vettori di Witt di un campo perfetto $k$. Mentre Fontaine ha stabilito che i sistemi locali cristallini ammettono un modello come un $F$-isocristallo filtrato $D_{\text{crys}}(V)$, le applicazioni aritmetiche (ad esempio, alle varietà di Shimura) richiedono un analogo integrale. Nello specifico, dato un reticolo $\mathbb{Z}_p \subseteq V$, si cerca un oggetto preciso che modelli $L$ catturando le sue proprietà di riduzione.

Attualmente, esistono tre approcci distinti per modellare tali reticoli:

1. Approccio Cristallino: Utilizza $F$-cristalli filtrati fortemente divisibili (moduli di Fontaine–Laffaille) nell'intervallo $[0, p-2]$.
2. Approccio Prismatico: Utilizza $F$-cristalli prismatici su $X$.
3. Approccio Sintomico: Utilizza $F$-gauge sintomici.

Sebbene le relazioni tra l'approccio prismatico e quello sintomico siano comprese tramite un funttore dimenticante, la mancanza di un confronto integrale rigoroso tra l'approccio cristallino e gli approcci prismatico/sintomico è stata una lacuna finora. Il saggio affronta la costruzione di un analogo integrale del funttore di realizzazione cristallina, $D_{\text{crys}}$, mappando dagli oggetti prismatici a oggetti cristallini filtrati, e investiga le sue proprietà, in particolare la sua capacità di indurre equivalenze in specifici intervalli di peso.

Metodologia
Gli autori costruiscono il funttore $D_{\text{crys}}$ sfruttando un canonico isomorfismo di confronto de Rham cristallino.

1. Realizzazioni Cristalline e de Rham:

   • Per un $F$-cristallo prismatico $(E, \phi_E)$, la realizzazione cristallina $D_{\text{crys}}(E, \phi_E)$ è definita come l' $F$-cristallo associato alla restrizione di $E$ sul sito cristallino.
   • La realizzazione de Rham $D_{\text{dR}}(E, \phi_E)$ è definita tramite il pullback lungo il punto de Rham prismatico $\rho^{\Delta}_{\text{dR}, X}$.
   • Il passaggio tecnico centrale (Teorema 1.19) stabilisce un isomorfismo canonico $\iota_X: D_{\text{crys}}(E, \phi_E)|_{X_{\text{Zar}}} \xrightarrow{\sim} D_{\text{dR}}(E, \phi_E)$ di fasci vettoriali su $X$. Questo isomorfismo è costruito utilizzando prismi di Breuil e Breuil–Kisin, fornendo una descrizione concreta e indipendente dalle coordinate.

2. Definizione del Funttore Integrale:

   • Il funttore $D_{\text{crys}}$ è definito prendendo l' $F$-cristallo sottostante della realizzazione cristallina e dotandolo di una filtrazione indotta dall'inverso dell'isomorfismo di confronto $\iota_X$ applicato alla filtrazione di Nygaard sulla realizzazione de Rham.
   • Gli autori analizzano le proprietà di questo funttore su varie sottocategorie, concentrandosi specificamente sui $F$-cristalli prismatici localmente filtrati liberi (lff) e sugli oggetti fortemente divisibili.

3. Confronto con Teorie Esistenti:

   • Il saggio utilizza il lavoro di Tsuji, Faltings e Anschütz–Le Bras per relazionare il funttore costruito ai funtori di realizzazione etale e alle teorie di Dieudonné.
   • Impiega argomenti di teoria degli stack (usando lo stack di Nygaard de Rham e gli stack di Rees) per stabilire la compatibilità delle filtrazioni e il comportamento del funttore sotto base change.

Contributi Chiave e Risultati

1. Costruzione di $D_{\text{crs}}$:
   Il saggio definisce un funttore tensoriale $\mathbb{Z}_p$-lineare $D_{\text{crys}}: \text{Vect}_{\phi}(X^{\Delta}) \to \text{Vect}_{W}^{F\phi}(X_{\text{crys}})$ (e analogamente per le $F$-gauge sintomiche). Questo funttore serve come un reticolo integrale nel funttore cristallino razionale.

2. Equivalenza nell'Intervallo di Fontaine–Laffaille:
   Il risultato primario (Teorema A / Teorema 3.1) afferma che per uno schema $W$-liscio formale $X$ e $p > 2$, il funttore $D_{\text{crys}}$ induce un'equivalenza di categorie tra:

   • La categoria delle $F$-gauge prismatiche su $X$ con pesi di Hodge–Tate in $[0, p-2]$.
   • La categoria dei moduli di Fontaine–Laffaille (fortemente divisibili $F$-cristalli filtrati) su $X$ con pesi in $[0, p-2]$.

   Questa equivalenza commuta con i funtori di realizzazione etale, unificando così gli approcci cristallino, prismatico e sintomico in questo specifico intervallo di peso.

3. Proprietà di $D_{\text{crys}}$:

   • Proprietà di Reticolo: Il Teorema C stabilisce che $D_{\text{crys}}[1/p]$ è canonicamente identificato con la composizione della realizzazione cristallina e della realizzazione etale, confermando $D_{\text{crys}}$ come un funttore di reticolo.
   • Esattezza: Il funttore è mostrato essere esatto (e bi-esatto per il funttore dimenticante dalle gauge) quando ristretto alla sottocategoria dei $F$-cristalli prismatici lff e fortemente divisibili (Proposizione 2.26, Proposizione 2.27).
   • Rilevazione di lffness: Il funttore $D_{\text{crys}}$ rileva se un $F$-cristallo prismatico è localmente filtrato libero (Proposizione 2.22).

4. Applicazioni ai Gruppi $p$-divisibili:
   Gli autori applicano $D_{\text{crys}}$ per chiarire la relazione tra diverse teorie di Dieudonné per gruppi $p$-divisibili ($p > 2$):

   • Dimostrano che il funttore di Dieudonné prismatico $M_{\Delta}$ (Anschütz–Le Bras) composto con $D_{\text{crys}}$ recupera il classico funttore di Dieudonné cristallino filtrato $D$ (Grothendieck–Messing) (Teorema 4.8).
   • Stabiliscono un'identificazione canonica tra il funttore di Dieudonné prismatico e il funttore di Dieudonné Breuil–Kisin–Kim $M$ (Proposizione 4.16), risolvendo la relazione tra queste classificazioni moderne e storiche.
   • Ciò porta a un rafforzamento di un risultato di Ito, stabilendo equivalenze tra categorie di gruppi $p$-divisibili, $F$-gauge prismatiche e moduli di Kisin con connessioni (Corollario 4.18).

Significato
Il saggio sostiene di completare il confronto tra i tre principali approcci alla teoria di Hodge $p$-adica integrale (cristallino, prismatico, sintomico) costruendo esplicitamente il funttore cristallino integrale $D_{\text{crys}}$. La sua significatività risiede nel:

• Unificazione: Fornire un ponte che permetta di tradurre tra oggetti prismatici/sintomici e oggetti cristallini filtrati classici, particolarmente nell'intervallo ben comportato di Fontaine–Laffaille dove viene stabilita un'equivalenza.
• Chiarimento della Teoria di Dieudonné: Risolvere le relazioni strutturali tra la teoria di Dieudonné prismatica di Anschütz–Le Bras e la teoria di Breuil–Kisin–Kim, mostrando come quest'ultima possa essere recuperata dalla prima tramite $D_{\text{crys}}$.
• Raffinamento Integrale: Offrire un raffinamento integrale dei noti confronti razionali (come quelli di Kisin e Gao) e fornire un quadro per studiare i gruppi $p$-divisibili e i sistemi locali con buona riduzione in un contesto categoriale unificato.

Gli autori osservano che, sebbene l'equivalenza nell'intervallo di Fontaine–Laffaille sia la connessione più stretta, il funttore $D_{\text{crys}}$ è definito più generalmente, sebbene il suo comportamento al di fuori dell'intervallo $[0, p-2]$ sia più complesso e non pienamente equivalente alla categoria cristallina.