The non-abelian Leopoldt conjecture and equalities of $\mathcal{L}$-invariants

Título: A Conjectura de Leopoldt Não-Abeliana e Igualdades de Invariantes L

1. O Problema e o Contexto

O artigo aborda dois problemas centrais na teoria dos números aritmética e na teoria de Langlands $p$-ádica:

1. A geometria das variedades de autovalores (eigenvarieties) para grupos redutivos gerais: Especificamente, a estrutura da cohomologia sobreconvergente e a "planicidade" (flatness) das variedades de autovalores em relação ao espaço de pesos. Diferente do caso clássico onde o grupo admite séries discretas (onde a variedade é plana), o artigo foca em casos onde o grupo não admite séries discretas (defeito $\ell(G) > 0$), onde a geometria é mais complexa e envolve famílias "não-clássicas".
2. A igualdade de Invariantes L: A conjectura de que os invariantes $L$ definidos de forma puramente automórfica (via cohomologia $p$-aritmética e extensões de representações de Steinberg) coincidem com os invariantes $L$ definidos via teoria de Galois (representações de Fontaine-Mazur). Este problema é crucial para a formulação e prova de conjecturas de "zeros excepcionais" (como a conjectura de Greenberg-Benois).

O objetivo principal é provar a igualdade entre o invariante $L$ de Fontaine-Mazur ($L^{FM}_c(\pi)$) e o invariante $L$ automórfico ($L^{r,\varepsilon}_c(\pi)$) para representações automórficas cuspidais regulares algébricas $p$-ordinárias de $GL_n(\mathbb{A})$, sob a hipótese de que a representação local em $p$ é de Steinberg.

2. Metodologia

Os autores utilizam uma abordagem que combina geometria aritmética, teoria de representações locais e cohomologia $p$-ádica. A metodologia divide-se em três pilares principais:

A. Estrutura da Cohomologia Sobreconvergente e Étaleness

• Ferramenta Principal: Utilizam a cohomologia sobreconvergente de Hansen (baseada em Ash-Stevens) e a construção de variedades de autovalores (eigenvarieties) de nível Iwahori.
• Conjectura de Leopoldt Não-Abeliana (NALC): Assumem a NALC, que prevê que a dimensão de componentes irredutíveis da variedade de autovalores é $\dim(\mathcal{W}) - \ell(G)$, onde $\ell(G)$ é o "defeito" do grupo.
• Técnica Espectral: Adaptam argumentos de Hansen-Thorne para provar que, sob a NALC e condições de multiplicidade cohomológica um, a variedade de autovalores é étale sobre o espaço de pesos em pontos clássicos não-críticos.
• Complexo de Koszul e Sequência Espectral de Tor: Para analisar a estrutura da cohomologia em graus intermediários, utilizam o complexo de Koszul para representações de séries principais localmente analíticas. Isso permite decompor a cohomologia e estabelecer que certos módulos são livres sobre o anel de funções do espaço de pesos.

B. Fórmula Automórfica de Benois–Colmez–Greenberg–Stevens (BCGS)

• Deformações Infinitesimais: Estudam famílias $p$-ádicas passando por uma representação $\pi$ e analisam o comportamento dos autovalores de Hecke sob deformações infinitesimais (vetores tangentes no espaço de pesos).
• Critério de Gehrmann-Rosso: Generalizam um critério de Gehrmann e Rosso para grupos com $\ell(G) > 0$. Eles provam que, se a variedade de autovalores é étale e se existem "deformações não-parabólicas" (vetores tangentes que não respeitam certas condições de parabolicidade), então o invariante $L$ automórfico pode ser calculado via derivadas de caracteres de peso.
• Uso do Complexo de Koszul: A prova da fórmula BCGS automórfica depende criticamente de uma nova sequência espectral de Tor para representações de séries principais localmente analíticas, que relaciona a cohomologia sobreconvergente com a cohomologia de grupos aritméticos.

C. Fórmula Galoisa de Benois–Colmez–Greenberg–Stevens

• Compatibilidade Local-Global: Utilizam resultados anteriores dos autores sobre compatibilidade local-global para classes de torção em $GL_n$.
• Triangulação: Demonstram que a representação de Galois associada a uma família de Hida através de $\pi$ é triangulada (trianguline) no ponto $p$.
• Conexão: A estrutura triangulada permite identificar o invariante $L$ de Galois (Fontaine-Mazur) com os parâmetros da triangulação, que por sua vez são dados pelas derivadas dos caracteres de peso da família.

3. Contribuições e Resultados Principais

Teorema A: Estrutura e Étaleness

Sob a Conjectura de Leopoldt Não-Abeliana (NALC), para um pacote de autovalores clássico não-crítico de multiplicidade cohomológica um:

1. Existe um subespaço rígido $\Sigma$ no espaço de pesos tal que a variedade de autovalores é étale sobre $\Sigma$ no ponto correspondente.
2. A cohomologia sobreconvergente em graus variados ($q+i$) é livre sobre o anel de funções de $\Sigma$, com posto dado por coeficientes binomiais $\binom{\ell(G)}{i}$.

• Significado: Isso generaliza resultados conhecidos para $GL_2$ e grupos com séries discretas para o caso geral de $GL_n$ e grupos com defeito positivo, fornecendo a base geométrica necessária para estudar deformações.

Teorema B: Igualdade dos Invariantes L

Seja $\pi$ uma representação automórfica $p$-ordinária de $GL_n$ com $\pi_p$ de Steinberg. Sob as hipóteses de:

• NALC para famílias $p$-ádicas através de $\pi$;
• Existência de deformações não-$c$-parabólicas (condição técnica sobre vetores tangentes);
• Condições de irreducibilidade e genericidade da representação residual de Galois;
• Representação local não-split em $c$.

Então, para todo grau $r$ e sinal admissível $\varepsilon$:
$$L^{FM}_c(\pi) = L^{r,\varepsilon}_c(\pi)$$
Ou seja, o invariante $L$ de Fontaine-Mazur coincide com o invariante $L$ automórfico. Além disso, isso implica que a representação local de Galois é não-crystalina.

Corolário C: Independência do Grau (Conjectura de Gehrmann)

A NALC implica a conjectura de Gehrmann de que o invariante $L$ automórfico é independente do grau de cohomologia $r$ e do sinal $\varepsilon$.

Teorema D: Functorialidade para Potências Simétricas

Aplicando os resultados a potências simétricas de formas modulares ($Sym^{n-1}\pi$):

• Verificam que as condições de deformação são satisfeitas.
• Deduzem que os invariantes $L$ automórficos para $Sym^{n-1}\pi$ são iguais aos invariantes $L$ da forma modular original $\pi$.
• Este resultado é incondicional para quadrados e cubos simétricos ($n=3, 4$), pois a NALC é conhecida para $GL_3$ e $GL_4$.

4. Significado e Impacto

1. Generalização da Teoria de Zeros Excepcionais: O trabalho estende a teoria de zeros excepcionais (conjectura de Greenberg-Benois) de $GL_2$ e $GL_3$ para $GL_n$ arbitrário, removendo a necessidade de condições de auto-dualidade estritas em muitos casos.
2. Unificação de Perspectivas: Estabelece uma ponte rigorosa entre a cohomologia $p$-aritmética (automórfica) e a teoria de Galois local, validando a intuição de que os invariantes $L$ são objetos fundamentais que transcendem a definição específica.
3. Avanço na Geometria de Eigenvariedades: O Teorema A fornece uma descrição estrutural detalhada da cohomologia sobreconvergente em graus intermediários para grupos com defeito positivo, um cenário que era pouco compreendido. Isso é essencial para a construção de funções $L$ $p$-ádicas em famílias para grupos de posto superior.
4. Novas Ferramentas Técnicas: A introdução da sequência espectral de Tor para séries principais localmente analíticas e a sua aplicação via complexo de Koszul representam uma inovação metodológica que pode ser aplicada a outros problemas na teoria de Langlands $p$-ádica.

Em resumo, o artigo demonstra que, assumindo a Conjectura de Leopoldt Não-Abeliana, a geometria das variedades de autovalores controla diretamente os invariantes $L$ de Galois, generalizando resultados profundos de Greenberg-Stevens e Mazur para o contexto de $GL_n$ e grupos reductivos gerais.