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

Resumo Técnico: Extensões de Representações p-ádicas de GL₂(Qₚ)

Enunciado do Problema
O artigo aborda o cálculo dos grupos de extensão na categoria dos duais de representações de Banach p-ádicas admissíveis de comprimento finito de $G = \text{GL}_2(\mathbb{Q}_p)$. Embora a correspondência local de Langlands p-ádica (LLC) estabeleça uma bijeção entre classes de isomorfismo de certas representações de Galois e representações em espaços de Banach, uma compreensão estrutural mais profunda exige a análise da categoria derivada, especificamente os grupos de extensão ($\text{Ext}^i$) entre esses objetos. Essas extensões são cruciais para compreender a compatibilidade entre a teoria de deformação das representações de Galois e a das representações de $G$.

Anteriormente a este trabalho, progressos significativos haviam sido feitos no contexto de característica $p$ (representações mod $p$) por Emerton, Breuil, Paškunas e Colmez. No entanto, a literatura sobre grupos de extensão em característica 0 (especificamente para representações em espaços de Banach p-ádicos) permanecia escassa. Resultados existentes cobriam casos específicos, como extensões entre séries principais contínuas unitárias e suaves mod $p$ (Hauseux) ou entre duas representações supercuspidais (Paškunas). Existia uma lacuna no cálculo de extensões onde uma representação é o dual de uma representação não ordinária decorrente da LLC p-ádica.

Metodologia
Os autores empregam o arcabouço da correspondência local de Langlands p-ádica desenvolvido por Colmez e Paškunas, utilizando o "functor de Montreal" $V$ e suas variantes duais.

1. Arcabouço Categórico: O estudo foca na categoria $\text{Ban}^{\text{adm}}_{G,\zeta}(E)$ de representações unitárias admissíveis em espaços de Banach $E$-lineares com um caractere central $\zeta$. Como esta categoria não possui injetivos suficientes, os autores utilizam a construção de Yoneda para definir os grupos de extensão $\text{Ext}^i_{G,\zeta}$.
2. Dualidades e Funtores: A análise depende fortemente da relação entre uma representação $\Pi$ e seu dual contínuo $\Pi^*$. Os autores usam o dual de Schikhof e o dual de Pontryagin para relacionar representações em espaços de Banach a módulos sobre a álgebra de grupo completada. Uma ferramenta chave é o functor $\check{V}$, que mapeia representações de Banach duais de volta para representações de Galois, satisfazendo $\check{V}(\Pi^*) \cong V(\Pi)^*(\varepsilon\zeta)$.
3. Decomposição em Blocos: Seguindo Paškunas, a categoria é decomposta em blocos com base na redução mod $p$ das representações. Os autores analisam a ação do anel de deformação universal do pseudo-caractere $R^{\text{ps},\psi}_{\text{tr}\rho_B}$ sobre esses blocos.
4. Redução à Álgebra Comutativa: Para representações absolutamente irredutíveis dentro de um bloco específico, o anel de endomorfismos é mostrado ser o corpo $E$. Os grupos de extensão são então reduzidos ao cálculo de extensões na categoria de módulos sobre um anel local completo $A$, identificado como o completamento do anel de deformação do pseudo-caractere em um ideal maximal.

Contribuições e Resultados Principais

• Classificação de Extensões (Teorema 1.1): O artigo fornece uma classificação completa dos grupos de extensão $\text{Ext}^i_{G,\zeta}(\pi^*, \Pi(V)^*)$ sob uma condição de genericidade na redução da representação de Galois $V$.

  • Caso de Anulação: Se $\pi$ é uma representação de Banach unitária admissível absolutamente irredutível tal que sua representação de Galois associada $V(\pi)$ não é isomorfa a $V$, então $\text{Ext}^i_{G,\zeta}(\pi^*, \Pi(V)^*) = 0$ para todo $i \geq 0$.
  • Caso de Não Anulação: Se $V(\pi) \cong V$, os grupos de extensão são não nulos apenas para $0 \leq i \leq 3$. Especificamente, $\text{Ext}^i_{G,\zeta}(\pi^*, \Pi(V)^*) \cong E^{\binom{3}{i}}$. Este resultado baseia-se no fato de o anel de deformação relevante $A$ ser um anel local regular completo de dimensão 3, permitindo o uso do complexo de Koszul para calcular os grupos Ext.

• Aplicação aos Espaços de Drinfeld (Corolário 1.2): Os autores aplicam esses resultados de anulação ao contexto geométrico da cohomologia étale p-ádica de espaços de Drinfeld de nível finito.

  • Eles consideram a componente isotípica $V$ da cohomologia $H^1_{\text{ét}}(M_\infty, E(1))$, onde $V$ é uma representação de Galois supercuspidal.
  • Usando o isomorfismo estabelecido por Colmez, Dospinescu e Nizioł, que relaciona essa cohomologia a cópias de $\Pi(V)^*$, os autores provam que não há extensões entre essa componente de cohomologia e o dual da representação associada a uma representação de Galois redutível $\rho_p$ (desde que $\rho_p$ satisfaça condições específicas de Hodge-Tate e genericidade).

Significado e Alegações
O artigo alega novidade no cálculo de extensões na categoria dos duais de representações de Banach p-ádicas admissíveis de comprimento finito, especificamente quando uma das representações é o dual de uma representação não ordinária. Os autores afirmam que esses resultados são aplicados para provar a anulação de extensões entre representações de Banach p-ádicas duais associadas a representações de Galois redutíveis e componentes isotípicas supercuspidais da cohomologia étale p-ádica de espaços de Drinfeld.

O trabalho é apresentado como uma "nota curta" que preenche uma lacuna específica na literatura de característica 0, complementando o extenso trabalho realizado no contexto mod $p$. Os autores enfatizam que os resultados dependem da genericidade da redução da representação de Galois e da estrutura específica dos anéis de deformação associados aos blocos da categoria. O artigo não propõe novas aplicações experimentais, mas sim solidifica o elo teórico entre a teoria de deformação das representações de Galois e a teoria de representações de grupos p-ádicos no contexto do programa de Langlands local.