Adjoint Bloch--Kato Selmer groups of regular algebraic automorphic Galois representations

Resumo Técnico: Grupos de Selmer de Bloch–Kato Adjuntos de Representações Galois Autonômicas Algébricas Regulares

Enunciado do Problema
O artigo aborda o desaparecimento do grupo de Selmer de Bloch–Kato adjunto, $H^1_f(F, \text{ad } \rho)$, associado a representações de Galois $\rho$ que surgem de representações automônicas algébricas regulares de $\text{GL}_n$ sobre um corpo numérico CM $F$. Este grupo é conjecturado como sendo nulo pelas conjecturas de Fontaine–Mazur, Beilinson e Bloch–Kato. Embora resultados incondicionais existam para casos específicos (notadamente o cenário de "defeito 0" ou Taylor–Wiles), estender esses resultados para o cenário de "defeito positivo" (onde a cohomologia dos espaços simétricos localmente simétricos associados possui torção e não está concentrada em um único grau) tem sido um desafio significativo.

Uma dificuldade primária no cenário de defeito positivo é a necessidade de trabalhar com complexos no argumento de patching em vez de simples módulos. Isso complica a aplicação de teoremas $R=T$, pois é necessário controlar as propriedades dos complexos patched (por exemplo, garantir que sejam finitamente gerados sobre anéis de operadores de diamante) sem o controle usual fornecido por representações residuais satisfazendo a condição de Taylor–Wiles. Além disso, abordagens anteriores exigiam condições fortes sobre a representação residual módulo $p$, tais como especificidade de irreducibilidade ou não-trivialidade de $\rho|_{F(\zeta_p)}$.

Metodologia
Os autores empregam um argumento de patching refinado usando ultrafiltros, adaptado para lidar com complexos com grupos de cohomologia de posto potencialmente ilimitado. A metodologia procede através de várias etapas técnicas fundamentais:

1. Ultra-patching para Complexos: Os autores constroem complexos patched $M_{\infty, \bullet}$ usando uma ultrafiltro não principal em uma sequência de níveis de Taylor–Wiles. Diferente de trabalhos anteriores que realizavam o patching de módulos, esta construção realiza o patching de complexos de cadeias singulares com coeficientes em um retículo $V^\vee_\lambda$.
2. Controle de Núcleos Nilpotentes: Um obstáculo técnico central é que os isomorfismos do tipo $R=T$ resultantes no cenário patched são válidos apenas até um ideal nilpotente. Para superar isso, os autores utilizam uma técnica introduzida em [AC23], que aproveita a suavidade da fibra $\mathbb{Q}_p$ dos anéis de deformação local em pontos genéricos. Isso permite que eles deduzam propriedades do espaço tangente de Zariski (e, portanto, do grupo de Selmer) apesar da presença de erros nilpotentes no isomorfismo global.
3. Patching de Dois Passos com Operadores de Discriminante: Os autores introduzem um processo de patching de dois passos inédito envolvendo um operador de Hecke "discriminante" $\delta$.
   • Primeiro, eles substituem o espaço de formas modulares $H_{Q_N}$ (livre sobre um anel como $\mathbb{Z}_p[x]/(x^{p^r}-1)$) por um objeto patched $\tilde{H}^r$ (livre sobre $\mathbb{Z}_p[x]/(x^{p^r})$).
   • Este alargamento garante que a localização $\delta \tilde{H}^r_q$ seja livre sobre $\mathbb{Q}_p[x]/(x^{p^r})$, efetivamente removendo a diferença entre níveis esféricos e de Iwahori nos lugares de Taylor–Wiles.
   • Isso permite a recuperação da configuração padrão de patching sobre um anel local regular (por exemplo, $\mathbb{Q}_p[[x]]$), onde argumentos familiares podem ser aplicados.
4. Compatibilidade Local-Global: A prova depende de resultados incondicionais de compatibilidade local-global para $\ell \neq p$ e $\ell = p$, estabelecidos em artigos complementares [Hev26] e [AHTW26]. Estes resultados são aplicados sob uma condição de "decomposição genérica" para garantir que a decomposição da cohomologia com respeito ao mapa de período de Hodge–Tate seja bem comportada.

Principais Contribuições e Resultados
O resultado principal estabelece o desaparecimento do grupo de Selmer de Bloch–Kato adjunto sob condições impostas unicamente sobre a representação de Galois $p$-ádica, e não sobre sua representação residual módulo $p$.

• Teorema Principal (Teorema 5.1): Seja $F$ um corpo CM e $\pi$ uma representação automônica cuspidal e algébrica regular de $\text{GL}_n(\mathbb{A}_F)$. Seja $\rho = r_{\pi, \iota}$ a representação de Galois associada. Se:

  1. A imagem $\rho(G_F(\zeta_{p^\infty}))$ é "enorme" (no sentido de [NT23]);
  2. A extensão $L/F(\zeta_{p^\infty})$ cortada por $\text{ad } \rho$ satisfaz $H^1(L/F, \text{ad } \rho(1)) = 0$;
  3. $\rho|_{G_{F_v}}$ é genérica para todo $v|p$ ou onde $\pi_v$ é ramificada;
     Então $H^1_f(F, \text{ad } \rho) = 0$.

• Corolários:

  • Representações Puras (Corolário 5.2): Se $\rho$ é pura (uma condição satisfeita por muitas representações automônicas), o desaparecimento ocorre.
  • Representações Polarizáveis (Corolário 5.3): Para representações polarizáveis (ex: aquelas associadas a formas automônicas autoduais conjugadas), o desaparecimento ocorre desde que a imagem seja enorme. Este resultado é notado como estritamente mais forte que o trabalho anterior [NT23], pois cobre a representação adjunta completa sobre $F$, não apenas a parte autodual.
  • Potências Simétricas de Curvas Elípticas (Corolário 5.4): Para uma curva elíptica $E$ sobre $F$ com $\text{End}(E_F) = \mathbb{Z}$, $H^1_f(F, \text{ad } \text{Sym}^n V_p E) = 0$ para todo $n \ge 1$.

Significância e Alegações
O artigo alega que sua principal novidade reside em impor condições apenas sobre as representações de Galois $p$-ádicas e não sobre suas representações residuais módulo $p$. Isso remove a necessidade da "condição de Taylor–Wiles" sobre a representação residual, que era uma restrição significativa nos resultados anteriores de "defeito 0".

Os autores afirmam explicitamente que seu argumento permite o tratamento de configurações de "defeito positivo", onde os grupos de cohomologia possuem torção significativa. Ao desenvolver um método para realizar o patching de complexos e controlar os núcleos nilpotentes resultantes, eles estendem o escopo dos resultados de desaparecimento de Bloch–Kato para uma classe mais ampla de representações automônicas. O trabalho é apresentado como um resultado incondicional para classes específicas de representações (ex: aquelas com representações de Weil–Deligne puras), baseando-se na condição de "imagem enorme" e na genericidade, que são frequentemente verificáveis na prática (ex: via o teorema de imagem aberta de Serre para curvas elípticas).

O artigo não pretende resolver a conjectura de Bloch–Kato em sua totalidade, mas estabelece novos casos incondicionais onde o grupo de Selmer desaparece, fornecendo, assim, instâncias da conjectura e ferramentas para aplicações ulteriores em teoria de deformação de Galois e no programa de Langlands.