Towards the $p$-adic Hodge parameters in semistable representations of $\mathrm{GL}_n(\mathrm{Q}_p)$

1. Il Problema e il Contesto

Il lavoro si inserisce nel programma di Langlands $p$-adico locale, che mira a stabilire una corrispondenza tra le rappresentazioni di Galois $p$-adiche del gruppo di Galois assoluto di $\mathbb{Q}_p$ e le rappresentazioni localmente analitiche di $\text{GL}_n(\mathbb{Q}_p)$.

Il problema centrale affrontato è la recupero delle informazioni di filtrazione di Hodge (i parametri di Hodge $p$-adici) di una rappresentazione di Galois semistabile non critica $\rho_p$ a partire dalla sua controparte automorfica (la rappresentazione localmente analitica $\pi(\rho_p)$).

• Stato dell'arte: Per il caso cristallino (generico), i lavori di Ding e Breuil-Ding hanno dimostrato che i parametri di Hodge possono essere recuperati da specifiche rappresentazioni localmente analitiche costruite tramite estensioni di rappresentazioni di Steinberg.
• La sfida: Il caso semistabile generale è più complesso perché la struttura di monodromia ($N \neq 0$) introduce "blocchi" di Steinberg e parametri di Hodge "cristallini" tra questi blocchi, rendendo la ricostruzione della filtrazione di Hodge globale non banale. L'obiettivo è determinare se e come una rappresentazione localmente analitica $\pi_1(\rho_p)$ possa codificare l'intera struttura di $\rho_p$, inclusi i parametri di Hodge che non sono semplicemente L-invarianti semplici.

2. Metodologia

L'autore combina tecniche avanzate dalla teoria delle rappresentazioni $p$-adiche, dalla teoria dei moduli $(\varphi, \Gamma)$ e dalla geometria algebrica.

• Analisi dei Moduli $(\varphi, \Gamma)$:
  • Si considera il modulo $(\varphi, \Gamma)$ $D$ associato a $\rho_p$ sul anello di Robba.
  • Si utilizzano triangulazioni $F_u$ associate a flag $(\varphi, N)$-stabili, dove $u$ appartiene a un sottoinsieme del gruppo di Weyl $W_n$.
  • Si decompongono i moduli in sottogruppi e quozienti di tipo Steinberg ($E_{u,i}$) e si studiano le loro estensioni.
• Gruppi di Estensione Superiore e L-Invarianti di Breuil-Schraen:
  • Si estendono i risultati di Qian sui gruppi di estensione superiore delle rappresentazioni generalizzate di Steinberg localmente analitiche.
  • Si introducono gli L-invarianti di Breuil-Schraen, che catturano i parametri di Hodge all'interno dei blocchi di Steinberg attraverso la struttura dei gruppi di estensione $\text{Ext}^1$ e superiori.
• Ricostruzione Geometrica:
  • I parametri di Hodge sono interpretati come punti in varietà di bandiere (flag varieties) $\Phi_{nc, \Delta}(S_0)$.
  • L'autore costruisce morfismi che mappano questi spazi di parametri in prodotti di spazi di parametri associati a sottoblocchi Steinberg e sottoblocchi cristallini.
• Costruzione di Rappresentazioni Localmente Analitiche:
  • Si costruiscono esplicitamente rappresentazioni $\pi^\flat_1, \pi^\sharp_1, \pi^\diamond_1$ come "somme amalgamate" (amalgamated sums) di induzioni paraboliche localmente analitiche e rappresentazioni di Steinberg.
  • Si utilizzano funtori di Orlik-Strauch per gestire le estensioni non banali.

3. Contributi Chiave e Risultati Principali

A. Caratterizzazione dei Parametri di Hodge (Teoremi 1.1 - 1.4)

L'autore dimostra che l'intero spazio dei parametri di Hodge non critici $\Phi_{nc, \Delta}(S_0)$ può essere recuperato combinando due tipi di informazioni:

1. Parametri "cristallini" tra blocchi Steinberg: I parametri di Hodge all'interno dei sottoblocchi cristallini massimali di $D$.
2. Parametri di Hodge "semplici" e superiori: I parametri associati ai blocchi di Steinberg, catturati tramite gli L-invarianti di Breuil-Schraen.
   Il Teorema 1.4 stabilisce che il morfismo che proietta i parametri globali sui parametri dei sottoblocchi Steinberg (tramite la mappa $pref$) e sui parametri cristallini (tramite $pcr$) è iniettivo. Questo significa che i parametri globali sono univocamente determinati da questi dati locali.

B. Costruzione di Rappresentazioni Automorfe (Teoremi 1.6 - 1.8)

L'autore costruisce rappresentazioni localmente analitiche esplicite:

• $\pi^\sharp_1(\rho_p)$: Una rappresentazione che codifica i parametri di Hodge associati ai blocchi Steinberg e ai parametri "semplici".
• $\pi^\diamond_1(\rho_p)$: Una versione estesa che include anche informazioni sui parametri cristallini tra i blocchi.
• Risultato fondamentale: Il nucleo di una mappa naturale $t^\sharp_D$ (che collega le estensioni di queste rappresentazioni ai moduli $(\varphi, \Gamma)$) determina i parametri di Hodge di $D$ modulo l'azione del centro.
• Caso speciale: Se il rango di monodromia di $\rho_p$ è al massimo 1 (o se la dimensione dei blocchi Steinberg è $\le 2$), la rappresentazione $\pi^\sharp_{min}(\rho_p)$ determina univocamente l'intera rappresentazione $\rho_p$.

C. Compatibilità Locale-Globale (Teorema 7.4)

Il lavoro stabilisce una connessione profonda con il programma di Langlands globale. Se $\rho_p$ proviene da una rappresentazione automorfa globale (tramite un ideale massimale $m_\rho$ di un anello di deformazione patchato $R_\infty$), allora la rappresentazione localmente analitica costruita $\pi^\sharp_{min}(\rho_p)$ appare come un sottomodulo della rappresentazione globale associata $\Pi_\infty[m_\rho]$. Questo fornisce una forte evidenza per la congettura di compatibilità locale-globale nel caso semistabile.

4. Significato e Impatto

• Generalizzazione: Questo lavoro estende significativamente la teoria di Ding e Breuil-Ding dal caso cristallino a quello semistabile generale, risolvendo il problema della "monodromia non banale".
• Nuova Evidenza per Langlands $p$-adico: Dimostra che i metodi sviluppati per il caso cristallino (uso di estensioni di Steinberg e L-invarianti) sono robusti e applicabili anche quando la struttura di Galois è più complessa (semistabile).
• Struttura delle Rappresentazioni: Fornisce una descrizione esplicita della struttura delle rappresentazioni localmente analitiche associate a rappresentazioni semistabili, rivelando come i parametri di Hodge siano codificati nelle estensioni non banali tra diversi strati della filtrazione di socle.
• Strumenti Computazionali: Offre un quadro computazionale (tramite i gruppi di estensione e gli L-invarianti di Breuil-Schraen) per calcolare e distinguere rappresentazioni di Galois che altrimenti apparirebbero isomorfe a livello di rappresentazioni lisce o algebriche.

In sintesi, il paper di Yiqin He rappresenta un passo cruciale verso la comprensione completa della corrispondenza di Langlands $p$-adica per rappresentazioni semistabili, fornendo sia una caratterizzazione geometrica dei parametri di Hodge sia una costruzione automorfica esplicita che li cattura.