A note on extensions of $p$-adic representations of $\mathrm{GL}_2(\mathbb{Q}_p)$

Technische Samenvatting: Uitbreidingen van p-adische Representaties van GL₂(Qₚ)

Probleemstelling
Het artikel behandelt de berekening van uitbreidingsgroepen binnen de categorie van duale van eindige lengte toegestane p-adische Banachruimtereferenties van $G = \text{GL}_2(\mathbb{Q}_p)$. Hoewel de p-adische lokale Langlands-correspondentie (LLC) een bijectie vestigt tussen isomorfieklassen van bepaalde Galois-representaties en Banachruimtereferenties, vereist een dieper structureel begrip de analyse van de afgeleide categorie, specifiek de uitbreidingsgroepen ($\text{Ext}^i$) tussen deze objecten. Deze uitbreidingen zijn cruciaal voor het begrijpen van de compatibiliteit tussen de deformatietheorie van Galois-representaties en die van $G$-representaties.

Voorafgaand aan dit werk was aanzienlijke vooruitgang geboekt in de setting van karakteristiek $p$ (mod $p$-representaties) door Emerton, Breuil, Paškunas en Colmez. De literatuur over uitbreidingsgroepen in karakteristiek 0 (specifiek voor p-adische Banachruimtereferenties) bleef echter schaars. Bestaande resultaten dekten specifieke gevallen, zoals uitbreidingen tussen unitaire continue en gladde mod $p$-hoofdreeksen (Hauseux) of tussen twee supercuspidale representaties (Paškunas). Er bestond een hiaat in het berekenen van uitbreidingen waarbij één representatie de duale is van een niet-ordinale representatie die voortkomt uit de p-adische LLC.

Methodologie
De auteurs hanteren het kader van de p-adische lokale Langlands-correspondentie zoals ontwikkeld door Colmez en Paškunas, met gebruikmaking van de "Montréal-functie" $V$ en zijn duale varianten.

1. Categorisch Kader: De studie richt zich op de categorie $\text{Ban}^{\text{adm}}_{G,\zeta}(E)$ van unitaire toegestane $E$-Banachruimtereferenties met een centraal karakter $\zeta$. Aangezien deze categorie niet voldoende injectieven bezit, maken de auteurs gebruik van Yoneda's constructie om uitbreidingsgroepen $\text{Ext}^i_{G,\zeta}$ te definiëren.
2. Dualiteiten en Functoren: De analyse steunt zwaar op de relatie tussen een representatie $\Pi$ en zijn continue duale $\Pi^*$. De auteurs gebruiken de Schikhof-dualiteit en de Pontryagin-dualiteit om Banachruimtereferenties te relateren aan modules over de voltooide groepsalgebra. Een belangrijk hulpmiddel is de functor $\check{V}$, die duale Banach-referenties terugkoppelt naar Galois-referenties, en voldoet aan $\check{V}(\Pi^*) \cong V(\Pi)^*(\varepsilon\zeta)$.
3. Blok-decompositie: In navolging van Paškunas wordt de categorie opgesplitst in blokken op basis van de mod $p$-reductie van de representaties. De auteurs analyseren de werking van de universele pseudo-karakter deformatiering $R^{\text{ps},\psi}_{\text{tr}\rho_B}$ op deze blokken.
4. Reductie tot Commutatieve Algebra: Voor absoluut irreducibele representaties binnen een specifiek blok wordt aangetoond dat de endomorfismering het lichaam $E$ is. De uitbreidingsgroepen worden vervolgens gereduceerd tot het berekenen van uitbreidingen in de categorie van modules over een complete lokale ring $A$, die wordt geïdentificeerd als de voltooiing van de pseudo-karakter deformatiering in een maximaal ideaal.

Belangrijkste Bijdragen en Resultaten

• Classificatie van Uitbreidingen (Stelling 1.1): Het artikel biedt een volledige classificatie van uitbreidingsgroepen $\text{Ext}^i_{G,\zeta}(\pi^*, \Pi(V)^*)$ onder een genericiteitsvoorwaarde voor de reductie van de Galois-representatie $V$.

  • Vervagend Geval: Als $\pi$ een absoluut irreducibele toegestane unitaire Banach-referentie is zodanig dat de bijbehorende Galois-representatie $V(\pi)$ niet isomorf is met $V$, dan is $\text{Ext}^i_{G,\zeta}(\pi^*, \Pi(V)^*) = 0$ voor alle $i \geq 0$.
  • Niet-vervagend Geval: Als $V(\pi) \cong V$, dan zijn de uitbreidingsgroepen alleen niet-nul voor $0 \leq i \leq 3$. Specifiek geldt $\text{Ext}^i_{G,\zeta}(\pi^*, \Pi(V)^*) \cong E^{\binom{3}{i}}$. Dit resultaat steunt op het feit dat de relevante deformatiering $A$ een complete reguliere lokale ring van dimensie 3 is, wat het gebruik van de Koszul-complex toelaat om de Ext-groepen te berekenen.

• Toepassing op Drinfeld-ruimten (Corollarium 1.2): De auteurs passen deze vervagingsresultaten toe op de geometrische context van de p-adische étale cohomologie van Drinfeld-ruimten van eindig niveau.

  • Ze beschouwen de $V$-isotypische component van de cohomologie $H^1_{\text{ét}}(M_\infty, E(1))$, waarbij $V$ een supercuspidale Galois-representatie is.
  • Met behulp van de isomorfisme gevestigd door Colmez, Dospinescu en Nizioł, die deze cohomologie relateert aan kopieën van $\Pi(V)^*$, bewijzen de auteurs dat er geen uitbreidingen bestaan tussen deze cohomologie-component en de duale van de representatie die is verbonden met een reduceerbare Galois-representatie $\rho_p$ (op voorwaarde dat $\rho_p$ voldoet aan specifieke Hodge-Tate- en genericiteitsvoorwaarden).

Betekenis en Aanspraken
Het artikel claimt originaliteit in het berekenen van uitbreidingen in de categorie van duale van eindige lengte toegestane p-adische Banachruimtereferenties, specifiek wanneer één van de representaties de duale is van een niet-ordinale representatie. De auteurs stellen dat deze resultaten worden toegepast om het vervagen van uitbreidingen te bewijzen tussen duale p-adische Banachruimtereferenties die zijn verbonden met reduceerbare Galois-representaties en supercuspidale isotypische componenten van de p-adische étale cohomologie van Drinfeld-ruimten.

Het werk wordt gepresenteerd als een "kort artikel" dat een specifiek hiaat in de literatuur van karakteristiek 0 opvult, en de uitgebreide werkzaamheden in de mod $p$-setting aanvult. De auteurs benadrukken dat de resultaten afhankelijk zijn van de genericiteit van de reductie van de Galois-representatie en de specifieke structuur van de deformatieringen die geassocieerd zijn met de blokken van de categorie. Het artikel stelt geen nieuwe experimentele toepassingen voor, maar consolideert eerder de theoretische link tussen de deformatietheorie van Galois-representaties en de representatietheorie van p-adische groepen in de context van het lokale Langlands-programma.