Adjoint $L$-functions, congruence ideals, and Selmer groups over $\mathrm{GL}_n$

Resumo Técnico: Funções L-Adjuntas, Ideais de Congruência e Grupos de Selmer sobre GLn

Problema e Motivação
Este artigo investiga a relação entre valores especiais de funções L-adjuntas, $L(1, \pi, \text{Ad}^\circ)$, e ideais de congruência associados a representações automórficas cuspidais cohomológicas $\pi$ de $\text{GL}_n$ sobre um número de campo arbitrário $F$. O tema central na teoria dos números moderna é que valores especiais de funções L codificam informações aritméticas profundas, frequentemente manifestando-se como congruências entre formas automórficas. Embora tais relações tenham sido estabelecidas para $\text{GL}_2$ sobre campos específicos (por exemplo, nos trabalhos de Taylor, Wiles e outros), este artigo visa generalizar esses resultados para $\text{GL}_n$ sobre qualquer número de campo. Especificamente, o autor busca relacionar o ideal de congruência de uma representação automórfica ao valor de sua função L-adjunta em $s=1$ e deduzir consequências para a existência de representações automórficas congruentes e limites inferiores para grupos de Selmer.

Metodologia
A estratégia procede em três estágios principais, movendo-se de realizações cohomológicas para propriedades algébricas abstratas e, finalmente, para aplicações aritméticas:

1. Realização Cohomológica e Emparelhamentos:
   O artigo realiza representações automórficas cuspidais algébricas regulares na cohomologia de espaços simétricos locais $X_U$ associados a $\text{GL}_n$. Utilizando resultados de Borel e Franke, o autor estabelece que tais representações contribuem para os grupos de cohomologia $H^*(X_U, M_\mu)$. Um passo crucial envolve utilizar a dualidade de Poincaré para construir um emparelhamento perfeito entre a cohomologia singular e a cohomologia de suporte compacto (especificamente na cohomologia interna $H^*_!$) com coeficientes em $\mathbb{Z}_p$. Este emparelhamento, compatível com a ação da álgebra de Hecke, é identificado com o produto interno de Petersson de formas automórficas.

2. Ideais de Congruência Abstratos:
   O autor desenvolve um arcabouço algébrico abstrato para ideais de congruência. Para uma $\mathcal{O}$-álgebra local finita reduzida $T$ e um homomorfismo $\lambda: T \to \mathcal{O}$, o ideal de congruência $\eta_\lambda$ é definido como o ideal de Fitting do módulo de congruência $C^0_\lambda(M) = M^\lambda / M_\lambda$, onde $M$ é um $\mathcal{O}$-módulo livre. Um lema fundamental (Lema 3.5) estabelece que, se um emparelhamento perfeito existe entre dois módulos compatíveis com os idempotentes associados a $\lambda$, os ideais de congruência dos módulos são iguais e gerados pelo valor do emparelhamento sobre os geradores. Este lema é adaptado ao emparelhamento do produto de cup na cohomologia, que satisfaz as condições necessárias sem exigir a involução Atkin-Lehner específica usada em configurações de $\text{GL}_2$.

3. Rankin-Selberg e Valores de L:
   Ao aplicar o método de Rankin-Selberg, o produto interno de Petersson (e, portanto, o emparelhamento na cohomologia) é expresso em termos da função L-adjunta $L(1, \pi, \text{Ad}^\circ)$. Isso permite ao autor calcular explicitamente o gerador do ideal de congruência em termos do valor algébrico normalizado $L_{\text{alg}}(1, \pi, \text{Ad}^\circ, \epsilon)$.

4. Teoria de Deformação de Galois:
   Para o caso onde $F$ é um campo CM, o artigo invoca resultados de compatibilidade local-global para representações de Galois (de [ACC+23]) e técnicas padrão da teoria de deformação de Galois. Isso conecta os ideais de congruência da álgebra de Hecke à estrutura dos grupos de Selmer associados à representação de Galois adjunta da representação de Galois residual.

Principais Contribuições e Resultados

• Teorema 4.14 (Teorema Principal): Sob suposições adequadas (incluindo que a cohomologia de fronteira é livre de $p$-torção em um ideal maximal específico), o artigo prova que o ideal de congruência cohomológico $\eta_{\pi, b, \epsilon}$ é gerado pelo valor da função L-adjunta normalizada:
  $$\eta_{\pi, b, \epsilon} = (L_{\text{alg}}(1, \pi, \text{Ad}^\circ, \epsilon))$$
  Isso generaliza resultados anteriores conhecidos para $\text{GL}_2$ sobre campos totalmente reais e quadráticos imaginários para $\text{GL}_n$ sobre números de campo arbitrários.

• Critérios de Congruência (Corolários 4.17 e 4.20): O artigo deriva critérios para a existência de representações automórficas congruentes. Ele mostra que, se a valoração $p$-ádica de $L(1, \pi, \text{Ad}^\circ, \epsilon)$ é positiva (ou seja, o valor de $L$ não é uma unidade $p$-ádica), então existe uma representação automórfica discreta $\pi' \not\cong \pi$ cujo sistema de autovalores de Hecke é congruente ao de $\pi$. Se o módulo de cohomologia relevante for livre sobre a álgebra de Hecke, a recíproca também é verdadeira.

• Limites Inferiores de Grupos de Selmer (Teorema 4.26): Quando $F$ é um campo CM e o ideal maximal é não-Eisenstein, o artigo estabelece um limite inferior para a cardinalidade de um grupo de Selmer específico em termos do valor L-adjunto:
  $$\#H^1_S(\text{Ad } \rho \otimes_\mathcal{O} E/\mathcal{O}) \geq \#(\mathcal{O} / L_{\text{alg}}(1, \pi, \text{Ad}^\circ))$$
  Este resultado é apresentado como um progresso parcial em direção à conjectura de Bloch-Kato.

Significância e Alegações
O autor afirma que este trabalho fornece uma generalização unificada da relação entre valores de $L$-adjuntos e ideais de congruência de $\text{GL}_2$ para $\text{GL}_n$ sobre qualquer número de campo. O artigo enfatiza que evita a necessidade de involuções específicas (como Atkin-Lehner) ao trabalhar diretamente com o emparelhamento do produto de cup.

A significância é dupla:

1. Unificação Teórica: Estende a filosofia "Taylor-Wiles" de relacionar anéis de deformação a álgebras de Hecke via ideais de congruência para grupos de rank superior ($\text{GL}_n$) e números de campo gerais, baseando-se nas propriedades cohomológicas de espaços simétricos locais.
2. Aplicações Aritméticas: Fornece um mecanismo concreto para detectar congruências entre formas automórficas via valores de $L$ e oferece um limite inferior para grupos de Selmer, ligando dados analíticos (valores de $L$) a invariantes algébricos (grupos de Selmer) no contexto da conjectura de Bloch-Kato.

O artigo permanece modesto quanto à direção da recíproca dos critérios de congruência, observando que provar a liberdade do módulo de cohomologia (exigida para a recíproca) requer atualmente suposições adicionais e conjecturas sobre representações de Galois (como o desaparecimento da cohomologia não-cuspidal e a existência de representações de Galois com propriedades específicas). Da mesma forma, embora o limite do grupo de Selmer seja estabelecido, o artigo reconhece que relacionar este grupo de Selmer específico ao grupo de Selmer clássico de Bloch-Kato requer passos adicionais envolvendo números de Tamagawa locais, conforme delineado na literatura.