Ordinary local representations and $\Ext$ groups

Resumo Técnico: Representações Locais Ordinárias e Grupos Ext

Enunciado do Problema
O artigo aborda as propriedades estruturais das correspondências de Langlands locais $p$-ádicas para $\text{GL}_2(\mathbb{Q}_p)$, focando especificamente na interação entre representações de Galois locais ordinárias e suas representações associadas de espaço de Banach unitário admissíveis, denotadas por $\Pi(\rho_p)$. Embora a correspondência de Langlands local $p$-ádica estabeleça uma bijeção para representações absolutamente irredutíveis, o comportamento de representações ordinárias redutíveis não-escindidas dentro de objetos aritméticos globais permanece menos compreendido.

O problema central é determinar se essas representações ordinárias $\Pi(\rho_p)$ aparecem na cohomologia de variedades aritméticas específicas, nomeadamente torres de Drinfeld de nível finito e curvas de Shimura. Além disso, os autores investigam o desaparecimento ou não-desaparecimento dos grupos de extensão ($\text{Ext}$) entre essas representações e outros componentes da cohomologia, particularmente no contexto da compatibilidade local-global. Uma motivação específica citada é a questão de Chojecki relativa à generalização de resultados do caso residualmente irredutível para o caso ordinário não-escindido e residualmente redutível.

Metodologia
Os autores empregam uma combinação da teoria de Hodge $p$-ádica, da teoria das torres de Drinfeld e da teoria das representações de grupos $p$-ádicos. A metodologia procede através dos seguintes passos:

1. Configuração Geométrica: O estudo utiliza a uniformização $p$-ádica de curvas de Shimura por torres de Drinfeld. Especificamente, o espaço analítico rígido de uma curva de Shimura $Sh_n(U)^{an}$ está relacionado à torre de Drinfeld $M_n$ via o teorema de uniformização de Cerednik-Drinfeld. Isso permite aos autores relacionar a cohomologia global das curvas de Shimura com a cohomologia local das torres de Drinfeld.
2. Teorema de Fatorização: Uma ferramenta técnica crítica é o teorema de fatorização estabelecido por Colmez, Dospinescu e Niziol [19]. Este teorema descreve a cohomologia étale da torre de Drinfeld como uma representação de $\text{GL}_2(\mathbb{Q}_p)$, decompondo-a em uma soma direta envolvendo o dual da representação de Langlands local $p$-ádica $\Pi(V)'$, anéis de Kisin e transferências de Jacquet-Langlands.
3. Decomposição em Blocos e Redução Mod $p$: Para analisar extensões, os autores utilizam a decomposição em blocos de Paskunas da categoria das representações de espaço de Banach unitário admissíveis. Eles reduzem o problema da característica 0 para a característica $p$ examinando a redução mod $p$ das representações. Isso envolve comparar a correspondência de Langlands local $p$-ádica com a correspondência de Langlands local mod $p$ (classificação de Breuil), distinguindo entre representações supersingulares, série principal e Steinberg.
4. Representações Localmente Analíticas: A análise dos grupos $\text{Ext}^1$ baseia-se na teoria das representações localmente analíticas desenvolvida por Schneider e Teitelbaum. Os autores utilizam a fiel planura da álgebra das distribuições localmente analíticas $D(G, E)$ sobre a álgebra de Iwasawa $E[[G]]$ para levantar extensões não-escindidas do contexto suave/localmente analítico de volta para o contexto de espaço de Banach.

Principais Contribuições e Resultados
O artigo estabelece dois teoremas de desaparecimento primários para representações locais ordinárias:

1. Teorema de Desaparecimento Global: Os autores provam que, se $\rho_p$ é uma representação de Galois ordinária redutível, não-escindida e potencialmente cristalina (com pesos de Hodge-Tate distintos), a representação de Langlands local $p$-ádica associada $\Pi(\rho_p)$ não aparece como sub-representação na cohomologia étale de curvas de Shimura de nível finito. Especificamente, $\text{Hom}_{G}(\Pi(\rho_p)', H^1_{\text{ét}}(Sh_n(U)^{an}, E)) = 0$. Este resultado é derivado mostrando que a cohomologia das curvas de Shimura é construída a partir de representações de série principal (via uniformização), enquanto $\Pi(\rho_p)$ para casos ordinários não-escindidos é uma extensão de representações de série principal que não se embute na cohomologia devido à estrutura específica dos duais envolvidos.

2. Teorema de Desaparecimento Local: Para o cenário local, os autores provam que, para qualquer sub-representação $W$ da cohomologia da torre de Drinfeld (especificamente a parte associada a uma representação de Galois residualmente irredutível $V$), não existem extensões não-triviais entre o dual da representação ordinária $\Pi(\rho_p)'$ e $W$. Isso se manifesta como:

   • $\text{Hom}_{G}(\Pi(\rho_p)', W) = 0$
   • $\text{Ext}^1_{G}(\Pi(\rho_p)', W) = 0$
     A prova baseia-se no fato de que $\Pi(\rho_p)$ (no caso ordinário não-escindido) pertence a um "bloco" diferente na categoria das representações do que as representações supersingulares que constituem a parte relevante da cohomologia da torre de Drinfeld. Como as extensões existem apenas dentro do mesmo bloco, os grupos $\text{Ext}$ desaparecem.

Significado e Alegações
O artigo alega que estes resultados são consistentes com a expectativa filosófica de que representações ordinárias não devem aparecer na parte "supersingular" da cohomologia. Os autores enfatizam que seu trabalho fornece um resultado rigoroso de desaparecimento local e global para funtores $\text{Ext}$ no contexto de representações ordinárias, redutíveis e não-escindidas, um caso que foi previamente menos explorado em comparação com o cenário residualmente irredutível.

Os autores observam modestamente que, embora provem o desaparecimento para o caso residualmente irredutível, a situação para casos residuais redutíveis pode diferir. Na Observação 5.3, sugerem que, em vez de desaparecimento, pode-se esperar resultados de dimensão finita para os grupos $\text{Ext}$ no caso residualmente redutível, baseando-se em limites derivados da teoria mod $p$. Eles não alegam ter resolvido a questão da dimensão finita em característica 0 para o caso redutível, mas oferecem um caminho para investigação futura utilizando as ferramentas desenvolvidas.

O trabalho também destaca a utilidade do teorema de fatorização de Colmez-Dospinescu-Niziol na descrição da cohomologia das torres de Drinfeld como uma representação de $\text{GL}_2(\mathbb{Q}_p)$, servindo como um análogo local aos teoremas de compatibilidade local-global de Emerton. Os resultados reforçam a separação estrutural entre fenômenos ordinários e supersingulares no programa de Langlands $p$-ádico.