Note on a certain category of mod $p$ representations

Titel en Context

Titel: Note on a certain category of mod p representations
Auteur: Reinier Sorgdrager
Onderwerp: Representatietheorie, $p$-adische getaltheorie, Mod $p$ Langlands-programma.
Kernvraag: Onder welke voorwaarden behoort een gladde, toelaatbare mod $p$ representatie van een $p$-adische Lie-groep tot een specifieke subcategorie $\mathcal{C}$, en hoe kan dit worden vastgesteld?

---

1. Het Probleem en Achtergrond

Het artikel richt zich op de mod $p$ Langlands-correspondentie voor $GL_2(\mathbb{Q}_{p^f})$ en de eenheidsgroep van een kwaternion-algebra over $\mathbb{Q}_{p^f}$ (met $p > 3$ en $f \geq 1$).

• De Uitdaging: Voor $f > 1$ zijn er veel meer gladde, toelaatbare mod $p$ representaties dan er Galois-representaties zijn. Het is een grote uitdaging om te identificeren welke van deze representaties deel uitmaken van het beeld van een hypothetische mod $p$ Langlands-correspondentie.
• De Categorie $\mathcal{C}$: In eerdere werken ([BHH+23a], [HW24]) werd een specifieke volledige subcategorie $\mathcal{C}$ geïntroduceerd. Deze categorie bevat de "kandidaat"-representaties voor de Langlands-correspondentie.
  • De definitie van $\mathcal{C}$ is gebaseerd op invariants die zijn afgeleid van de restrictie van een representatie $\pi$ tot een specifieke pro-$p$ ondergroep $G_1$.
  • Formeel wordt $\pi$ geacht in $\mathcal{C}$ te zitten als de geassocieerde graadmodule van zijn duale $\pi^\vee$ wordt "gedood" (annihilated) door een macht van een specifiek ideaal $J_C$ in de geassocieerde graadring van de voltooide groepsgroep.
• Het Mysterie: De categorie $\mathcal{C}$ is slecht begrepen. Een bekend feit is dat elementen in $\mathcal{C}$ een Gelfand-Kirillov-dimensie $\leq f$ hebben, maar het omgekeerde is niet bewezen.
• De Vraag: Is het eigenschap "behoren tot $\mathcal{C}$" lokaal bepaald? Met andere woorden: als we weten dat een representatie $\pi$ tot $\mathcal{C}$ behoort, en een andere representatie $\pi'$ is isomorf aan $\pi$ op een willekeurig kleine open ondergroep, geldt dan ook dat $\pi'$ tot $\mathcal{C}$ behoort?

---

2. Methodologie

De auteur ontwikkelt een technische methode om de annihilatieconditie van de categorie $\mathcal{C}$ te herschrijven in termen van restricties tot kleinere ondergroepen.

A. $p$-valuaties en Geordende Bases

• De groep $G$ (een pro-$p$ groep van dimensie $3f$) wordt uitgerust met een $p$-valuatie $\omega$. Deze valuatie induceert de topologie van $G$ en is "gesatureerd" (saturated).
• Er bestaat een geordende basis $(g_1, \dots, g_{3f})$ voor $G$. Dit betekent dat de afbeelding $\mathbb{Z}_p^{3f} \to G$ via $(x_1, \dots, x_{3f}) \mapsto g_1^{x_1} \cdots g_{3f}^{x_{3f}}$ een homeomorfisme is.
• Deze basis stelt de auteur in staat om de voltooide groepsgroep $\mathbb{F}[[G]]$ te beschrijven als een ring van formele machtreeksen.

B. Filtratie en Geassocieerde Graadringen

• De auteur definieert een filtratie op $\mathbb{F}[[G]]$ gebaseerd op de $p$-valuatie, wat leidt tot de geassocieerde graadring $\text{gr } \mathbb{F}[[G]]$.
• Voor een ondergroep $G_{p^N}$ (de $p^N$-de macht van de groep) wordt een subalgebra $\text{gr}_{\nu} \mathbb{F}[[G_{p^N}]]$ geconstrueerd.
• Cruciaal is dat voor voldoende grote $N$, deze subalgebra commutatief is en een polynoomring vormt die wordt gegenereerd door elementen die corresponderen met de basis van $G_{p^N}$.

C. Drie Geassocieerde Graadmodules

Om de relatie tussen de globale representatie en de restrictie te analyseren, introduceert de auteur drie geassocieerde modules voor een $\mathbb{F}[[G]]$-module $M$:

1. $\text{gr } M$: De standaard geassocieerde module (afhankelijk van de hele groep).
2. $\text{gr}_{N, \text{int}} M$: Een module gebaseerd op de filtratie van $M$ door machten van het ideaal van $G_{p^N}$.
3. $\text{gr}_{N, \text{res}} M$: Een module die direct voortkomt uit de restrictie van $M$ tot $G_{p^N}$.

D. Het Bewijsstrategie

Het doel is om te bewijzen dat de voorwaarde "$\text{gr } M$ wordt gedood door een macht van het ideaal $J_C$" equivalent is aan de voorwaarde "$\text{gr}_{N, \text{res}} M$ wordt gedood door een macht van een aangepast ideaal $J_N$".
Dit gebeurt via een reeks lemmata:

1. Lemmas over idealen: Er wordt aangetoond dat het ideaal $J_N$ (in de commutatieve subring) voldoende informatie bevat om het oorspronkelijke ideaal $J$ (in de niet-commutatieve ring) te benaderen via machten.
2. Filtratie-vergelijkingen: Er worden inclusions bewezen tussen de filtraties van de globale ring en de ring van de ondergroep (bijv. $n_k \mathbb{F}[[G]] \subset m_{kp^N} \mathbb{F}[[G]] \subset n_{k-4f} \mathbb{F}[[G]]$).
3. Equivalentie: Het wordt bewezen dat als de module wordt gedood door $J_N$ in de restrictie, de oorspronkelijke module ook wordt gedood door een macht van $J$.

---

3. Belangrijkste Resultaten

Hoofdstelling (Theorem 1)

Laat $\pi$ en $\pi'$ twee gladde representaties zijn van de grote groep $G_{\text{big}}$ ($GL_2(K)$ of $D^\times$) met hetzelfde centrale karakter.
Als:

1. $\pi' \in \mathcal{C}$, en
2. Er bestaat een open ondergroep $H \subset G_{\text{big}}$ zodat $\pi|_H \cong \pi'|_H$,

Dan geldt: $\pi \in \mathcal{C}$.

Interpretatie

De eigenschap om tot de categorie $\mathcal{C}$ te behoren is lokaal bepaald. Het is niet nodig om de globale structuur van de representatie te kennen; het volstaat om te kijken naar de restrictie tot een willekeurig kleine open ondergroep (zoals $G_{p^N}$ voor groot $N$).

Technische Nuances

• De auteur waarschuwt dat de categorie $\mathcal{C}$ in dit artikel mogelijk niet exact identiek is aan de categorie in [BHH+23a], maar een volledige subcategorie daarvan is. De stelling geldt voor de in dit artikel gedefinieerde categorie.
• Het resultaat is onafhankelijk van de precieze beschrijving van het ideaal $J_C$, zolang de quotiëntring commutatief is.

---

4. Significatie en Impact

1. Verduidelijking van $\mathcal{C}$: De paper biedt een nieuw inzicht in de structuur van de mysterieuze categorie $\mathcal{C}$. Het feit dat deze eigenschap lokaal is, suggereert dat de "Langlands-kandidaten" een sterke lokale rigiditeit bezitten.
2. Toepasbaarheid in het Langlands-programma: Omdat representaties die via globale methoden (zoals de cohomologie van Shimura-variëteiten) worden geconstrueerd vaak lokaal goed begrepen zijn, maakt deze stelling het makkelijker om te verifiëren of een lokaal geconstrueerde representatie deel uitmaakt van het Langlands-beeld.
3. Generaliseerbaarheid: De methode is robuust. De auteur merkt op dat het bewijs niet afhankelijk is van de specifieke vorm van het ideaal $J_C$, maar alleen van het feit dat de quotiëntring commutatief is. Dit opent de deur voor generalisaties naar andere categorieën die op vergelijkbare wijze zijn gedefinieerd.
4. Technische Vooruitgang: De introductie van de geordende basis en de specifieke filtraties voor ondergroepen biedt een krachtig gereedschap om de interactie tussen globale representaties en hun lokale restricties in de mod $p$ context te analyseren.

Conclusie

Reinier Sorgdrager bewijst dat de classificatie van mod $p$ representaties in de categorie $\mathcal{C}$ (cruciaal voor het mod $p$ Langlands-programma) volledig wordt bepaald door het gedrag op willekeurig kleine open ondergroepen. Dit resultaat versterkt het vertrouwen dat de lokale theorie voldoende informatie bevat om de globale correspondentie te begrijpen, en biedt een technisch kader om dit verder te onderzoeken.