Prescribed lifts of 2-dimensional representations

Com base no texto fornecido, aqui está um resumo técnico detalhado do artigo "Prescribed Lifts of 2-Dimensional Representations" por Emerton, Gee, Pan e Zhu.

Problema (Problem Statement)

O artigo aborda um problema de levantamento local-para-global para representações galoisianas de duas dimensões. Seja $F$ um corpo totalmente real e $p$ um primo. Dada uma representação contínua, absolutamente irredutível e totalmente ímpar $\rho: \text{Gal}_F \to \text{GL}_2(\mathbb{F})$ (onde $\mathbb{F}$ é um corpo finito de característica $p$), os autores investigam a existência e a finitude de levantamentos $\tilde{\rho}: \text{Gal}_F \to \text{GL}_2(\mathcal{O})$ (onde $\mathcal{O}$ é o anel dos inteiros de uma extensão finita de $\mathbb{Q}_p$) que satisfaçam condições locais específicas.

As condições prescritas são definidas por um problema de deformação global $S$, que inclui:

1. Um caractere de determinante fixo $\psi$ que levanta $\det \rho$.
2. Condições locais em um conjunto finito de lugares $\Sigma$ (contendo todos os lugares acima de $p$).
   • Fora de $p$: O levantamento deve residir em uma união prescrita não vazia de componentes irredutíveis do anel de deformação local de determinante fixo.
   • Acima de $p$: O levantamento deve residir em uma união prescrita não vazia de componentes irredutíveis de um anel de deformação potencialmente semiestável com pesos de Hodge–Tate regulares arbitrários.

A questão central é se o anel de deformação global $R_S$ associado a essas condições é uma $\mathcal{O}$-álgebra finita de posto positivo. Se assim for, isso implica que o conjunto de tais levantamentos é finito e não vazio.

Metodologia (Methodology)

Os autores empregam uma estratégia que combina cohomologia galoisiana com a geometria de pilhas (stacks) de módulos de $(\phi, \Gamma)$-módulos etálicos, evitando a necessidade de novos teoremas de levantamento de modularidade para pesos arbitrários.

1. Limite Inferior Cohomológico Galoisiano:
   Os autores primeiro estabelecem um limite inferior para a dimensão do anel de deformação global $R_S$. Sob hipóteses padrão de Taylor–Wiles (especificamente que $\rho|_{\text{Gal}_F(\zeta_p)}$ é absolutamente irredutível, e condições não solúveis para $p=2$ ou condições não excepcionais para $p=5$), eles mostram, via cálculos de tangente-obstáculo, que $\dim R_S \geq 1$. Isso garante que, se $R_S$ for finito sobre $\mathcal{O}$, ele deve ter posto positivo, garantindo a existência de levantamentos de característica zero.

2. Finitude via Comparação de Fibra Especial:
   O desafio técnico central é provar que $R_S$ é finito sobre $\mathcal{O}$. Em trabalhos anteriores, isso era frequentemente alcançado comparando o anel de deformação ao anel de Hecke via teoremas de levantamento de modularidade. No entanto, tais teoremas são geralmente conhecidos apenas para "peso 2 paralelo" (pesos de Hodge–Tate $\{0, 1\}$ em cada imersão).

   • Os autores utilizam a pilha de módulos $X$ de $(\phi, \Gamma)$-módulos etálicos construída em [EG23].
   • Eles invocam uma forma "topológica" da filosofia de Breuil–Mézard: as subpilhas reduzidas subjacentes de anéis de deformação potencialmente semiestáveis para arbitrários pesos de Hodge–Tate são iguais a uniões adequadas de componentes da subpilha reduzida subjacente $X_{\text{red}}$.
   • Crucialmente, eles mostram (Proposição 3.1.2) que toda representação local residual de 2 dimensões (com o determinante exigido) está contida na fibra especial de uma subpilha tame, potencialmente semiestável de peso 2.
   • Isso implica que, módulo o uniformizador $\varpi$ e até um espessamento nilpotente, qualquer anel de deformação local potencialmente semiestável é um quociente de um anel de deformação local de peso 2.

3. Redução Global:
   Ao tensorizar essas comparações locais, os autores constroem uma sobrejeção de um anel de deformação global $R_{S'}$ (onde $S'$ impõe condições de peso 2) para um quociente do anel original $R_S$ (módulo $\varpi$ e um ideal nilpotente). Como $R_{S'}$ é conhecido por ser finito sobre $\mathcal{O}$ (via resultados de Snowden [Sno09] e teoremas de Kisin), a finitude de $R_S$ segue-se.

Principais Contribuições (Key Contributions)

• Generalização das Condições de Peso: O artigo estende a finitude conhecida de anéis de deformação globais do caso de "peso 2 paralelo" para o caso de pesos de Hodge–Tate regulares arbitrários.
• Independência de Novos Teoremas de Modularidade: Os autores alcançam essa generalização sem estabelecer a potencial modularidade dos levantamentos ou provar novos teoremas de levantamento de automorfia para pesos superiores. Em vez disso, eles dependem da estrutura geométrica das pilhas de deformação.
• Componentes Locais Arbitrários: O resultado permite a prescrição de uniões não vazias arbitrárias de componentes irredutíveis de anéis de deformação locais, cobrindo uma ampla gama de condições de nível e peso simultaneamente.

Principais Resultados (Main Results)

Teorema 1.1.1 (Teorema 4.2.1):
Seja $F$ um corpo totalmente real e $\rho: \text{Gal}_F \to \text{GL}_2(\mathbb{F})$ uma representação irredutível e totalmente ímpar. Assuma que:

• $\rho|_{\text{Gal}_F(\zeta_p)}$ é absolutamente irredutível.
• Se $p=2$, $\rho$ possui imagem não solúvel.
• Se $p=5$, $\rho$ não é excepcional (no sentido da Definição 4.1.1).

Então, para qualquer problema de deformação global $S$ (prescrevendo condições locais como descrito acima), o anel de deformação universal $R_S$ é uma $\mathcal{O}$-álgebra finita de posto $\mathcal{O}$ positivo.

Corolário: O conjunto de classes de isomorfismo de levantamentos de $\rho$ para $\text{GL}_2(\mathcal{O})$ satisfazendo as condições locais prescritas é finito e não vazio.

Significância e Escopo (Significance and Scope)

O artigo afirma fornecer um análogo galoisiano de teoremas sobre elevação de nível (level raising), redução de nível (level lowering) e mudança de peso para formas modulares de Hilbert. Ao provar que o anel de deformação global é finito e não vazio, os autores demonstram que arbitrárias uniões não vazias de componentes locais ocorrem globalmente.

Os autores observam que suas hipóteses são aquelas exigidas pelo argumento padrão de Taylor–Wiles no cenário de 2 dimensões. Eles declaram explicitamente que não abordam o caso residualmente redutível ou generalizações para representações de dimensões superiores ou outros grupos redutivos neste trabalho, embora discutam os requisitos teóricos (como a "coincidência numérica" no método de Taylor–Wiles) que seriam necessários para tais extensões. O resultado é apresentado como um teorema estrutural sobre a existência de levantamentos com propriedades locais específicas, em vez de uma construção de formas automórficas específicas.