Reduction modulo p of crystalline Galois representations via {\mu}_p-equivariance

Sintesi Tecnica: Riduzione Modulo $p$ di Rappresentazioni Galois Cristalline tramite $\mu_p$-Equarianza

Enunciato del Problema
Il saggio affronta la "parte dei pesi" della congettura di Serre, ovvero il problema di determinare i possibili pesi di forme modulari (o più generalmente di forme automorfe) mod $p$ che danno origine a una specifica rappresentazione galoisiana mod $p$. Nel contesto della teoria di Hodge $p$-adica, ciò si traduce nella Domanda 1.1: Date una rappresentazione continua mod $p$, $r: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{F}_p)$, quali sono i possibili pesi di Hodge–Tate di rappresentazioni cristalline $\rho: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{Z}_p)$ tali che la riduzione $\bar{\rho} \simeq r$?

Sebbene l'insieme dei pesi previsti sia noto dipendere solo dalla restrizione di $r$ al sottogruppo di inerzia $I_{\mathbb{Q}_p}$, una caratterizzazione precisa di quali rappresentazioni mod $p$ derivino da rappresentazioni cristalline con specifici pesi di Hodge–Tate è rimasta incompleta, in particolare per gruppi riduttivi generali e in assenza di ipotesi di genericità.

Metodologia
Gli autori impiegano una sintesi della moderna teoria di Hodge $p$-adica, specificamente la coomologia prismatica, e della teoria delle rappresentazioni geometriche coinvolgendo i grassmanniani affini.

1. Framework Prismatico e $\mu_p$-Equarianza:
   L'innovazione tecnica centrale è la scoperta che i moduli di Breuil–Kisin associati alle rappresentazioni cristalline possiedono una naturale struttura $\mu_p$-equariante.

   • L'anello di Breuil–Kisch $S = W(k)[[u]]$ porta un'azione del gruppo schema $\mu_p$ (le radici $p$-esime dell'unità) tramite "rotazione del loop" ($u \mapsto \zeta u$).
   • La mappa di Frobenius $\phi: S \to S$ è $\mu_p$-equariante (con azione banale sul target).
   • Gli autori dimostrano che per una rappresentazione cristallina, il modulo di Breuil–Kisch associato $M$ ammette una "modifica canonica" $N$ che è $\mu_p$-equariante. Fondamentalmente, la riduzione di questa modifica modulo $p$ è isomorfa alla riduzione del modulo originale $M$ (Teorema 4.2.3).
   • Questa struttura è stabilita attraverso due costruzioni: una utilizzando la prismatizzazione di $\text{Spf}(W(k))$ (specificamente una mappa $\rho^\dagger$ distinta dalla standard mappa prismatica) e l'altra utilizzando gli stack di Nygaard e la sintomificazione.

2. Geometria dei Grassmanniani Affini:
   Gli autori traducono le proprietà algebriche di questi moduli nella geometria del grassmanniano affine $\text{Gr}_G$.

   • Analizzano il luogo dei punti fissi $\text{Gr}_G^{\mu_p}$ sotto l'azione di rotazione del loop.
   • Stabiliscono una relazione tra l'ordine di dominanza standard ($\leq$) sui cocaratteri e un nuovo ordine parziale ($\uparrow$) definito tramite il gruppo di Weyl affine $p$-dilatato.
   • Un risultato geometrico chiave (Proposizione 2.4.10) afferma che le relazioni di chiusura nei luoghi di punti fissi di $\mu_p$ nel grassmanniano affine sono governate dall'ordine $\uparrow$, piuttosto che dagli standard ordini di Bruhat o di dominanza.

3. Sintesi:
   Combinando la struttura $\mu_p$-equariante dei moduli di Breuil–Kisch con la geometria del grassmanniano affine, gli autori mettono in relazione i pesi di Hodge–Tate (che determinano la posizione del modulo nel fibra generica) con i pesi d'inerzia della riduzione mod $p$ (che determinano la posizione nella fibra speciale).

Contributi Chiave e Risultati

• Teorema 1.2 (Teorema 5.5.6): Sia $\rho$ una rappresentazione cristallina con pesi di Hodge–Tate $\mu$. Allora la semisemplificazione della sua riduzione mod $p$, ristretta all'inerzia, è isomorfa a una specifica rappresentazione semisemplice $\tau(\lambda, w)$, dove $\lambda$ e $\mu$ sono correlati dalla relazione d'ordine parziale $\lambda \uparrow \mu$, e $w$ è un elemento del gruppo di Weyl.

  • Ciò fornisce una condizione necessaria sui pesi d'inerzia della riduzione mod $p$.
  • La relazione $\uparrow$ è definita tramite una sequenza di riflessioni nel gruppo di Weyl affine $p$-dilatato, generalizzando lo standard ordine di dominanza.

• Congettura Esplicita sui Pesi di Serre (Congettura 6.3.4):
  Gli autori formulano una congettura per l'insieme dei pesi di Serre $W(\rho)$ associati a un parametro $L$ semisemplice. Definiscono un insieme esplicito di pesi $W_{\text{explicit}}(\rho)$ basato sulla relazione $\uparrow$ e dimostrano l'inclusione $W_{\text{cris}}(\rho) \subseteq W_{\text{explicit}}(\rho)$, dove $W_{\text{cris}}(\rho)$ è l'insieme dei pesi che ammettono un lift cristallino.

  • Congetturano che $W(\rho) = W_{\text{cris}}(\rho) = W_{\text{explicit}}(\rho)$, fornendo un insieme di pesi candidato uniforme per gruppi riduttivi connessi non ramificati generali senza richiedere ipotesi di genericità.

• Direzione di Eliminazione:
  Il saggio dimostra la "direzione di eliminazione" della congettura sui pesi di Serre: se un peso non appartiene all'insieme esplicitamente previsto $W_{\text{explicit}}(\rho)$, esso non può derivare da una rappresentazione cristallina con i dati di Hodge–Tate forniti.

• Compatibilità con la Letteratura Esistente:
  Gli autori dimostrano che il loro insieme esplicito di pesi coincide con l'insieme previsto $W_{\text{Her}}(\rho)$ di Gee–Herzig–Savitt nel caso generico (Proposizione 6.4.6). Notano inoltre che il teorema strutturale chiave nella prova della congettura di Buzzard–Diamond–Jarvis è un corollario immediato dei loro risultati.

Significato e Rivendicazioni
Il saggio rivendica di fornire un nuovo vincolo strutturale sulla riduzione modulo $p$ delle rappresentazioni galoisiane cristalline. Utilizzando le tecniche prismatiche per rivelare una nascosta struttura $\mu_p$-equariante sui moduli di Breuil–Kisch, gli autori colmano il divario tra i pesi di Hodge–Tate (dati in caratteristica 0) e i pesi d'inerzia della riduzione mod $p$.

La significatività risiede in:

1. Generalità: I risultati sono formulati per parametri $L$ di gruppi riduttivi connessi non ramificati su $\mathbb{Q}_p$, estendendosi oltre il classico caso $\text{GL}_n$.
2. Esplicitezza: La formulazione della congettura sui pesi di Serre è esplicita e si basa sull'ordine combinatorio $\uparrow$, rimuovendo la necessità di ipotesi di genericità che spesso affliggono le formulazioni precedenti.
3. Spostamento Metodologico: La prova si basa sulla geometria dei grassmanniani affini e degli stack prismatici piuttosto che sulla sola teoria di Hodge $p$-adica classica, offrendo una nuova prospettiva sulla relazione tra lift cristallini e le loro riduzioni.

Gli autori sono modesti riguardo alla sufficienza della loro condizione; affermano che, sebbene $\lambda \uparrow \mu$ sia necessaria, non è generalmente sufficiente a garantire l'esistenza di un lift cristallino, sebbene congetturino che diventi sufficiente quando i pesi di Hodge–Tate sono $p$-ristretti (il caso rilevante per la congettura di Serre).