Note on a certain category of mod $p$ representations

Titolo e Contesto

Il lavoro si inserisce nel programma di Langlands mod $p$ per il gruppo $GL_2(\mathbb{Q}_{p^f})$ e per l'algebra dei quaternioni su $\mathbb{Q}_{p^f}$ (dove $p > 3$ è un numero primo e $f \geq 1$). L'obiettivo principale è studiare una specifica sottocategoria piena $\mathcal{C}$ delle rappresentazioni lisce e ammissibili a valori in un campo finito $\mathbb{F}$ di caratteristica $p$.

Il Problema

Nella teoria delle rappresentazioni mod $p$, una delle sfide principali è identificare quali rappresentazioni di $GL_2(K)$ (con $K=\mathbb{Q}_{p^f}$) possano apparire nell'immagine di una corrispondenza di Langlands mod $p$ connessa alle rappresentazioni di Galois.

• Quando $f > 1$, le rappresentazioni lisce e ammissibili di $GL_2(K)$ sono estremamente numerose, molto più di quelle previste dal lato di Galois.
• La categoria $\mathcal{C}$, introdotta recentemente in lavori precedenti ([BHH+23a], [HW24]), è stata proposta come il candidato per contenere le "buone" rappresentazioni (quelle che dovrebbero corrispondere a rappresentazioni di Galois generiche).
• Tuttavia, la categoria $\mathcal{C}$ rimane poco compresa. Una proprietà cruciale mancante era la capacità di determinare se una rappresentazione appartiene a $\mathcal{C}$ basandosi su dati locali molto piccoli.

Obiettivo Principale

Dimostrare che l'appartenenza di una rappresentazione $\pi$ alla categoria $\mathcal{C}$ è una proprietà locale: essa è completamente determinata dalla restrizione di $\pi$ a un sottogruppo aperto arbitrariamente piccolo $H \subset G_{big}$.

Teorema 1 (Risultato Principale):
Siano $\pi$ e $\pi'$ rappresentazioni lisce di $G_{big}$ con lo stesso carattere centrale. Se $\pi' \in \mathcal{C}$ e $\pi|_H \cong \pi'|_H$ per qualche sottogruppo aperto $H$, allora $\pi \in \mathcal{C}$.

Metodologia e Strumenti Tecnici

L'autore utilizza una strategia basata sulla teoria delle algebre di gruppi completi e sulle filtrazioni indotte da valutazioni $p$.

1. Struttura del Gruppo e Valutazioni $p$

• Il gruppo $G$ (quoziente di $GL_2(K)$ o dell'algebra dei quaternioni per il centro) è un gruppo pro-$p$ di dimensione $3f$.
• Viene introdotta una valutazione $p$-saturata $\omega: G \to (\frac{1}{p-1}, \infty]$. Questa valutazione definisce la topologia di $G$ e permette di costruire sottogruppi aperti $G_{p^N}$ che tendono all'identità.
• Viene definita una base ordinata $(g_1, \dots, g_{3f})$ per $G$, che permette di identificare l'algebra di gruppo completata $\mathbb{F}[[G]]$ con un anello di serie di potenze formali.

2. Filtrazioni e Anelli Gradiati

L'analisi si sposta dal modulo $\pi^\vee$ (il duale di $\pi$, che è un modulo su $\mathbb{F}[[G]]$) al suo anello associato graduato.

• Si definisce una valutazione $\nu$ su $\mathbb{F}[[G]]$ basata sulla valutazione $p$ degli indici nella base ordinata.
• Si considerano tre moduli graduati associati a un modulo $M$ (dove $M = \pi^\vee$):
  1. $\text{gr } M$: Il modulo graduato standard rispetto alla filtrazione $m_G$-adica.
  2. $\text{gr}_{N, \text{int}} M$: Un modulo intermedio legato alla restrizione a $G_{p^N}$.
  3. $\text{gr}_{N, \text{res}} M$: Il modulo graduato associato alla restrizione di $M$ all'algebra di gruppo del sottogruppo $G_{p^N}$.

3. La Categoria $\mathcal{C}$ e l'Ideale di Annichilazione

La definizione della categoria $\mathcal{C}$ è data in termini di un ideale bilatero $J_C \subset \text{gr } \mathbb{F}[[G]]$.

• Un oggetto $\pi$ appartiene a $\mathcal{C}$ se e solo se $\text{gr } \pi^\vee$ è annichilito da una potenza di $J_C$.
• L'anello graduato $\text{gr } \mathbb{F}[[G]]$ è isomorfo a un anello di polinomi non commutativi. L'ideale $J_C$ contiene elementi centrali specifici (derivati dai commutatori) che rendono il quoziente commutativo.

4. Strategia di Dimostrazione

Il cuore della prova consiste nel collegare la condizione di annichilazione su $G$ (globale) con quella su $G_{p^N}$ (locale).

• Passaggio 1: Si dimostra che la condizione "$\text{gr } M$ annichilito da una potenza di $J_C$" è equivalente a "$\text{gr } M$ annichilito da una potenza di un ideale $J_N$ definito su $\text{gr}_{\nu} \mathbb{F}[[G_{p^N}]]$".
• Passaggio 2: Si stabilisce un'equivalenza tra l'annichilazione di $\text{gr}_{N, \text{int}} M$ e quella di $\text{gr}_{N, \text{res}} M$ tramite l'ideale $J_N$.
• Passaggio 3 (Lemma 4): Si prova che $M \in \mathcal{C}_J$ se e solo se $\text{gr}_{N, \text{res}} M$ è annichilito da una potenza di $J_N$.
  • Questo è il punto cruciale: $\text{gr}_{N, \text{res}} M$ dipende solo dalla restrizione di $\pi$ al sottogruppo $G_{p^N}$.

Risultati Chiave

1. Indipendenza dal Sottogruppo: La proprietà di appartenenza a $\mathcal{C}$ è locale. Non è necessario conoscere la rappresentazione su tutto il gruppo $G_{big}$; basta conoscerla su un sottogruppo aperto sufficientemente piccolo $G_{p^N}$.
2. Generalizzazione: Il risultato non dipende dalla descrizione precisa dell'ideale $J_C$, ma solo dal fatto che il quoziente $\text{gr } \mathbb{F}[[G]]/J_C$ sia commutativo. Questo suggerisce che il teorema vale per qualsiasi categoria definita in modo analogo.
3. Dimostrazione del Teorema 1: Se $\pi'$ è in $\mathcal{C}$ e $\pi$ coincide con $\pi'$ su $H$ (che contiene $G_{p^N}$ per $N$ sufficientemente grande), allora i loro moduli duali ristretti sono isomorfi. Di conseguenza, $\text{gr}_{N, \text{res}} \pi^\vee$ è annichilito da una potenza di $J_N$, il che implica $\pi \in \mathcal{C}$.

Significato e Implicazioni

• Strumento per la Classificazione: Questo risultato fornisce un criterio pratico potente per verificare se una rappresentazione costruita globalmente (ad esempio, tramite coomologia di varietà di Shimura) appartiene alla categoria $\mathcal{C}$. Basta analizzare il comportamento locale.
• Comprensione della Struttura: Conferma che la "complessità" delle rappresentazioni in $\mathcal{C}$ è controllata da dati locali, suggerendo che la struttura globale è determinata da vincoli locali molto forti.
• Avanzamento del Programma di Langlands: Poiché la costruzione delle rappresentazioni candidate per la corrispondenza di Langlands mod $p$ avviene spesso tramite metodi globali (coomologia), la capacità di verificare la loro appartenenza a $\mathcal{C}$ tramite restrizioni locali è un passo fondamentale per confermare le congetture di compatibilità locale-globale.
• Estendibilità: La metodologia basata su valutazioni $p$ e basi ordinate è robusta e applicabile sia al caso $GL_2$ che a quello delle algebre di quaternioni, unificando l'approccio per entrambi i contesti.

In sintesi, Sorgdrager risolve un problema tecnico fondamentale mostrando che la categoria $\mathcal{C}$ è "locale", fornendo così un ponte più solido tra la teoria delle rappresentazioni locali e le costruzioni globali nel programma di Langlands mod $p$.