Torsion graded pieces of Nyggard filtration for crystalline representation

1. Il Problema e il Contesto

Il lavoro si colloca nell'ambito della teoria dei numeri p-adica e della geometria aritmetica, specificamente nello studio delle rappresentazioni cristalline del gruppo di Galois assoluto $G_K$ di un campo p-adico non ramificato $K$.

Il problema centrale riguarda la struttura della filtrazione di Nygaard sui moduli di Breuil-Kisin associati a una rappresentazione $T$ (un modulo libero finito su $\mathbb{Z}_p$).

• Sia $T$ una rappresentazione cristallina con pesi di Hodge-Tate $r_1, \dots, r_d$.
• Sia $M^*$ il modulo di Breuil-Kisin associato a $T$ (definito su un anello $S = W(\kappa)[[u]]$).
• La filtrazione di Nygaard $F^i M^*$ è definita tramite l'azione del Frobenius.
• Si considera il modulo $M = M^*/EM^*$ (dove $E(u) = u-p$) e le sue parti graduate $gr^i M = F^i M / F^{i+1} M$.

L'obiettivo è comprendere quando le parti graduate $gr^i M$ contengono torsione p-adica non banale. È noto che dopo l'inversione di $p$, $gr^i M[1/p]$ è non nullo solo se $i$ coincide con uno dei pesi di Hodge-Tate $r_j$. Tuttavia, a livello intero, possono apparire torsioni per indici $i$ diversi dai pesi di Hodge-Tate. Il paper mira a caratterizzare esattamente quali indici $i$ possono supportare tale torsione.

2. Metodologia

L'autore adotta un approccio costruttivo e computazionale basato sulla teoria dei moduli di Breuil-Kisin e sulle proprietà di trasversalità di Griffith, evitando l'uso diretto dell'operatore di Sen (sebbene menzioni che risultati equivalenti possono essere ottenuti tramite tale strumento o approcci "stacky").

I punti chiave della metodologia sono:

1. Costruzione di Basi Adattate: L'obiettivo è costruire esplicitamente una base per i sottomoduli filtrati $F^i M^*$. Si introduce il concetto di "base adattata" (adapted basis), dove la struttura della filtrazione è chiaramente visibile rispetto alla base del modulo.
2. Trasversalità Integrale di Griffith (Lemma 2.3): Un risultato tecnico cruciale è la dimostrazione che l'operatore di connessione $\nabla$ (monodromia) mappa $F^i M^*$ in $S_p \otimes_S F^{i-1} M^*$, dove $S_p$ è un sottoanello specifico di $S[1/p]$. Questo permette di controllare il comportamento della derivata rispetto alla filtrazione a livello intero.
3. Induzione sull'Indice di Filtrazione: La prova procede per induzione su $i$ (da $0$a$h$, dove $h$ è il peso di Hodge-Tate massimo).
   • Si distingue il caso in cui $i$ appartiene all'insieme $J$ (definito come $\{r_j + mp \mid j=1,\dots,d, m \ge 0\}$) e il caso in cui $i \notin J$.
   • Nel caso $i \notin J$, si dimostra che è possibile "aggiustare" la base per mostrare che $F^{i+1} M^*$ è generato in modo tale che la proiezione su $M$ non introduca torsione, portando a $gr^i M = 0$.
   • Nel caso $i \in J$, si analizza la struttura esatta della torsione utilizzando diagrammi commutativi e sequenze esatte, classificando gli indici in base alla torsione presente.
4. Uso dell'Operatore di Connessione: La strategia si basa sul calcolo dei generatori di $F^h M^*$ sfruttando la relazione tra $\nabla$ e la filtrazione, permettendo una descrizione esplicita della struttura del modulo.

3. Risultati Principali

Teorema 1.1 (Risultato Centrale)

L'insieme degli indici $i$ per cui la parte di torsione di $gr^i M$ è non nulla è contenuto nell'insieme:
$$\{ r_j + mp \mid j = 1, \dots, d, \, m > 0, \, r_j + mp \le h \}$$
In altre parole, la torsione p-adica in $gr^i M$ può apparire solo se $i$ è della forma $r_j + mp$ (dove $r_j$ è un peso di Hodge-Tate e $m$ è un intero positivo). Se $i$ non è di questa forma, allora $gr^i M$ è privo di torsione (e quindi nullo se $i$ non è un peso di Hodge-Tate).

Corollario 1.3 e Proposizione 1.2

• Se l'altezza $h$ dei pesi di Hodge-Tate soddisfa $h \le p$, allora $M^*$ ammette una base adattata. Questo recupera un risultato tecnico chiave di Gee-Liu-Shin ([GLS14]).
• Se $h \le p$, allora non esiste torsione p-adica per $i \le h-1$ nelle parti graduate, il che garantisce l'esistenza della base adattata.
• Il paper cita un controesempio (da [GLS14]) per $h = p+1$ e pesi $\{0, p+1\}$, dove la base adattata non esiste, confermando che la condizione sui pesi è necessaria.

Relazione con il Teorema di Gee-Kisin (Teorema 1.4)

Il paper collega il proprio risultato al teorema di Gee-Kisin sui residui modulo $p$ dei pesi di Hodge-Tate. L'autore nota che sia il Teorema 1.1 che il Teorema 1.4 sono conseguenze dell'operatore di Sen su $M_{HT} = M/EM$, sebbene la dimostrazione di Liu sia puramente algebrica e costruttiva.

4. Contributi Chiave

1. Caratterizzazione Esplicita della Torsione: Fornisce una descrizione precisa e necessaria degli indici in cui appare la torsione p-adica nella filtrazione di Nygaard, risolvendo una questione aperta sulla struttura fine dei moduli di Breuil-Kisin.
2. Metodo Costruttivo: Offre una costruzione esplicita delle basi per i sottomoduli filtrati, che è più concreta rispetto agli approcci basati sulla teoria degli stack o sull'operatore di Sen.
3. Connessione con la Geometria: La descrizione esplicita di $F^h M^*$ ottenuta tramite la trasversalità di Griffith è destinata a essere cruciale per studi futuri, in particolare per lo studio degli anelli di deformazione cristallina.

5. Significato e Impatto

Questo lavoro è significativo per la teoria delle rappresentazioni galoisiane p-adiche per diversi motivi:

• Struttura dei Moduli Interali: Chiarisce la struttura aritmetica dei moduli di Breuil-Kisin a livello intero, un aspetto spesso oscuro rispetto al caso razionale ($1/p$).
• Strumento per Deformazioni: La capacità di descrivere esplicitamente i generatori della filtrazione è fondamentale per analizzare le proprietà degli spazi di deformazione delle rappresentazioni cristalline, un tema centrale nella congettura di Fontaine-Mazur e nella teoria delle forme modulari.
• Generalizzazione e Verifica: Conferma e generalizza risultati precedenti (come quelli di Gee-Liu-Shin) e fornisce un quadro unificato che collega la torsione ai pesi di Hodge-Tate attraverso una relazione lineare modulare ($r_j + mp$).

In sintesi, Tong Liu fornisce un'analisi tecnica rigorosa che delimita esattamente dove la "complessità" aritmetica (la torsione) può manifestarsi nella filtrazione di Nygaard, offrendo strumenti computazionali potenti per la ricerca futura in teoria dei numeri p-adica.