Ordinary local representations and $\Ext$ groups

Technische Samenvatting: Gewone Lokale Representaties en Ext-Groepen

Probleemstelling
Het artikel behandelt de structurele eigenschappen van $p$-adische lokale Langlands-correspondenties voor $\text{GL}_2(\mathbb{Q}_p)$, met name gericht op de interactie tussen gewone lokale Galois-representaties en hun geassocieerde toelaatbare unitaire Banachruimte-representaties, aangeduid als $\Pi(\rho_p)$. Hoewel de $p$-adische lokale Langlands-correspondentie een bijectie vestigt voor absoluut irreducibele representaties, blijft het gedrag van reducibele, niet-gesplitste gewone representaties binnen globale arithmetische objecten minder goed begrepen.

Het centrale probleem is om te bepalen of deze gewone representaties $\Pi(\rho_p)$ voorkomen in de cohomologie van specifieke arithmetische variëteiten, namelijk eindige-niveau Drinfeld-torens en Shimura-curven. Bovendien onderzoeken de auteurs het al dan niet verdwijnen van extensiegroepen ($\text{Ext}$) tussen deze representaties en andere componenten van de cohomologie, met name in de context van lokale-globale compatibiliteit. Een specifieke motivatie die wordt aangehaald, is de vraag van Chojecki met betrekking tot de generalisatie van resultaten van het residueel irreducibele geval naar het residueel reducibele, niet-gesplitste gewone geval.

Methodologie
De auteurs maken gebruik van een combinatie van $p$-adische Hodge-theorie, de theorie van Drinfeld-torens en de representatietheorie van $p$-adische groepen. De methodologie verloopt via de volgende stappen:

1. Geometrische Opstelling: Het onderzoek maakt gebruik van de $p$-adische uniformisatie van Shimura-curven door Drinfeld-torens. Specifiek wordt de rigide analytische ruimte van een Shimura-curve $Sh_n(U)^{an}$ gerelateerd aan de Drinfeld-toren $M_n$ via de uniformisatiestelling van Cerednik-Drinfeld. Dit stelt de auteurs in staat om de globale cohomologie van Shimura-curven te relateren aan de lokale cohomologie van Drinfeld-torens.
2. Factorisatiestelling: Een kritiek technisch hulpmiddel is de factorisatiestelling die is vastgesteld door Colmez, Dospinescu en Niziol [19]. Deze stelling beschrijft de étale cohomologie van de Drinfeld-toren als een representatie van $\text{GL}_2(\mathbb{Q}_p)$ door deze te ontbinden in een directe som die de duale van de $p$-adische lokale Langlands-representatie $\Pi(V)'$, Kisin-ringen en Jacquet-Langlands-overdrachten omvat.
3. Blokkenontbinding en Mod $p$-Reductie: Om extensies te analyseren, maken de auteurs gebruik van de blokkenontbinding van Paskunas van de categorie van toelaatbare unitaire Banachruimte-representaties. Zij reduceren het probleem van karakteristiek 0 naar karakteristiek $p$ door de mod $p$-reductie van de representaties te onderzoeken. Dit houdt in dat de $p$-adische lokale Langlands-correspondentie wordt vergeleken met de mod $p$ lokale Langlands-correspondentie (de classificatie van Breuil), waarbij onderscheid wordt gemaakt tussen supersinguliere, hoofdreeks- en Steinberg-representaties.
4. Lokaal Analytische Representaties: De analyse van $\text{Ext}^1$-groepen steunt op de theorie van lokaal analytische representaties ontwikkeld door Schneider en Teitelbaum. De auteurs maken gebruik van de getrouwe vlakheid van de algebra van lokaal analytische distributies $D(G, E)$ over de Iwasawa-algebra $E[[G]]$ om niet-gesplitste extensies vanuit de gladde/lokaal analytische setting terug te tillen naar de Banachruimte-setting.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt twee primaire verdwijntheorema's vast voor gewone lokale representaties:

1. Globaal Verdwijningstheorema: De auteurs bewijzen dat als $\rho_p$ een reducibele, niet-gesplitste, potentieel kristallijne gewone Galois-representatie is (met verschillende Hodge-Tate-gewichten), de geassocieerde $p$-adische lokale Langlands-representatie $\Pi(\rho_p)$ niet voorkomt als een sub-representatie in de étale cohomologie van eindige-niveau Shimura-curven. Specifiek geldt: $\text{Hom}_{G}(\Pi(\rho_p)', H^1_{\text{ét}}(Sh_n(U)^{an}, E)) = 0$. Dit resultaat wordt afgeleid door aan te tonen dat de cohomologie van Shimura-curven is opgebouwd uit hoofdreeks-representaties (via de uniformisatie), terwijl $\Pi(\rho_p)$ voor gewone niet-gesplitste gevallen een extensie is van hoofdreeks-representaties die niet in de cohomologie kan worden ingebed vanwege de specifieke structuur van de betrokken dualeën.

2. Lokaal Verdwijningstheorema: Voor de lokale setting bewijzen de auteurs dat voor elke sub-representatie $W$ van de cohomologie van de Drinfeld-toren (specifiek het deel geassocieerd met een residueel irreducibele Galois-representatie $V$), er geen niet-triviale extensies zijn tussen de duale van de gewone representatie $\Pi(\rho_p)'$ en $W$. Dit komt tot uitdrukking als:

   • $\text{Hom}_{G}(\Pi(\rho_p)', W) = 0$
   • $\text{Ext}^1_{G}(\Pi(\rho_p)', W) = 0$
     Het bewijs steunt op het feit dat $\Pi(\rho_p)$ (in het gewone niet-gesplitste geval) behoort tot een ander "blok" in de categorie van representaties dan de supersinguliere representaties die het relevante deel van de Drinfeld-torencohomologie vormen. Aangezien extensies alleen bestaan binnen hetzelfde blok, verdwijnen de $\text{Ext}$-groepen.

Betekenis en Aanspraken
Het artikel stelt dat deze resultaten consistent zijn met de filosofische verwachting dat gewone representaties niet zouden moeten voorkomen in het "supersinguliere" deel van de cohomologie. De auteurs benadrukken dat hun werk een rigoureus lokaal en globaal verdwijnresultaat biedt voor $\text{Ext}$-functoren in de context van gewone, reducibele, niet-gesplitste representaties, een geval dat eerder minder werd onderzocht in vergelijking met het residueel irreducibele kader.

De auteurs merken bescheiden op dat hoewel zij verdwijning bewijzen voor het residueel irreducibele geval, de situatie voor residueel reducibele gevallen kan verschillen. In Opmerking 5.3 suggereren zij dat in plaats van verdwijning, men eindig-dimensionaalheidsresultaten voor $\text{Ext}$-groepen in het residueel reducibele geval zou kunnen verwachten, gebaseerd op grenzen die zijn afgeleid uit de mod $p$-theorie. Zij claimen niet de vraag naar eindig-dimensionaalheid in karakteristiek 0 voor het reducibele geval opgelost te hebben, maar bieden wel een pad voor toekomstig onderzoek met behulp van de ontwikkelde hulpmiddelen.

Het werk benadrukt ook de bruikbaarheid van de factorisatiestelling van Colmez-Dospinescu-Niziol bij het beschrijven van de cohomologie van Drinfeld-torens als een $\text{GL}_2(\mathbb{Q}_p)$-representatie, dienend als een lokaal analogon voor de lokale-globale compatibiliteitstheorema's van Emerton. De resultaten versterken de structurele scheiding tussen gewone en supersinguliere fenomenen in het $p$-adische Langlands-programma.