Hilbert modular Eisenstein congruences of local origin

1. Problema e Contexto

O artigo aborda a existência e as condições de congruências entre formas modulares de Hilbert (cuspforms) e séries de Eisenstein de Hilbert.

• Contexto Clássico: No caso clássico ($F = \mathbb{Q}$), é bem conhecido que existem congruências entre formas modulares de cusp (como a forma $\Delta$ de Ramanujan) e séries de Eisenstein. O módulo dessas congruências está frequentemente ligado a valores especiais de funções $L$ (como números de Bernoulli) e fatores de Euler locais.
• O Desafio em Hilbert: Para um corpo totalmente real arbitrário $F$, a teoria é significativamente mais complexa devido à estrutura dos cusps das variedades modulares de Hilbert e à presença de classes de ideais não triviais. Enquanto congruências para peso paralelo $k=2$ foram tratadas por Martin, o caso de peso paralelo $k \geq 3$ permanecia menos estudado.
• Objetivo Principal: Provar a existência de congruências de "origem local" (onde o módulo surge de fatores de Euler locais de funções $L$ de Hecke) entre formas próprias de Hilbert de peso $k \geq 3$ e nível $mp$ (onde $m$ é um ideal e $p$ é um ideal primo) e séries de Eisenstein de nível $m$. Além disso, o artigo visa estabelecer condições necessárias e suficientes para que tais congruências sejam satisfeitas por novas formas (newforms).

2. Metodologia

Os autores utilizam uma abordagem que combina análise de séries de Eisenstein, teoria geométrica de formas modulares mod $l$ e representações de Galois.

A. Fórmulas de Termos Constantes (Seção 3)

• Generalização de Ozawa: Os autores generalizam uma fórmula de termos constantes de Ozawa para séries de Eisenstein de Hilbert em cuspos arbitrários.
• Levantamento de Nível (Level Raising): Eles calculam explicitamente os termos constantes de séries de Eisenstein de nível $mp$ (obtidas pelo levantamento de nível de séries de nível $m$) em todos os cuspos.
• Construção de Combinações Específicas: Eles constroem combinações lineares de séries de Eisenstein ($E_\delta$) que anulam os termos constantes em certos cuspos quando condições específicas de divisibilidade de valores $L$ são satisfeitas. Isso revela a conexão direta entre os termos constantes e os valores $L$ de Hecke $L(\eta^{-1}\psi, 1-k)$ multiplicados por fatores de Euler locais.

B. Geometria e Formas Modulares Mod $l$ (Seção 4)

• Abordagem Geométrica: Utilizam a linguagem de esquemas de Hilbert-Blumenthal e o princípio de expansão $q$ (q-expansion principle) para definir formas modulares sobre anéis de característica $l$.
• Levantamento (Lifting): Aplicam o teorema de Lan-Suh para levantar formas modulares de cusp mod $l$ de volta para característica zero.
• Lema de Deligne-Serre: Utilizam este lema para garantir a existência de formas próprias (eigenforms) com autovalores de Hecke específicos a partir de formas mod $l$.

C. Representações de Galois e Condições Necessárias (Seção 5.1)

• Representações $\Lambda$-ádicas: Associam uma representação de Galois $\rho_{f, \Lambda}$ à forma própria $f$.
• Redução e Redutibilidade: Usam o teorema de densidade de Chebotarev e o teorema de Brauer-Nesbitt para mostrar que, se uma congruência existe, a representação reduzida $\bar{\rho}_{f, \Lambda}$ é redutível.
• Análise Local em $p$: Analisam a restrição da representação ao grupo de Weil local em $p$. A estrutura local força uma das duas condições de congruência nos autovalores de Hecke em $p$, levando às condições necessárias do teorema.

D. Condições Suficientes e Levantamento de Nível (Seção 5.2)

• Teorema de Taylor: Utilizam um resultado de Taylor sobre levantamentos de nível para provar que, sob certas condições aritméticas, uma forma de nível $m$ pode ser levantada para uma nova forma de nível $mp$ que satisfaz a congruência.

3. Principais Contribuições e Resultados

Teorema 1.1 (Existência de Congruências)

Para um corpo totalmente real $F$ com número de classes estreita $h^+=1$ e nível primo $\pi$, se $l > k+1$ é um primo racional não ramificado tal que:
$$\text{ord}_l(\zeta_F(1-k)(1 - N(\pi)^k)) > 0$$
Então existe uma forma própria de Hilbert normalizada $f$ de peso paralelo $k$ e nível $\pi$ cujos coeficientes de Fourier satisfazem:
$$a(q) \equiv 1 + N(q)^{k-1} \pmod \Lambda$$
para todos os primos $q \nmid \pi$. Este é o análogo de Hilbert das congruências clássicas de Eisenstein.

Teorema 1.2 e Teorema 5.2 (Condições para Novas Formas)

O artigo estabelece condições necessárias e suficientes para a existência de novas formas (newforms) satisfazendo tais congruências.
Seja $\eta, \psi$ caracteres de classe de ideais estreitos com condutores $a, b$ e $m=ab$. Seja $p$ um ideal primo $\nmid m$.
Condições Necessárias: Se existe uma nova forma $f$ satisfazendo a congruência, então:

1. $\text{ord}_l(L(\eta^{-1}\psi, 1-k)(\eta(p) - \psi(p)N(p)^k)) > 0$.
2. $l$ divide $(\eta(p) - \psi(p)N(p)^k)(\eta(p) - \psi(p)N(p)^{k-2})$.

Condições Suficientes: Se as condições acima são satisfeitas e:
3. $l \nmid N(p) + 1$ (e uma condição técnica sobre a não divisibilidade de um inteiro $E$ relacionado a formas antigas),
Então existe uma nova forma $f$ satisfazendo a congruência.

Fórmulas Explícitas

Os autores fornecem fórmulas explícitas para os termos constantes de séries de Eisenstein de Hilbert em cuspos arbitrários (Teorema 3.4), generalizando trabalhos anteriores e explicitando a dependência dos fatores de Euler locais.

4. Significância e Impacto

• Generalização Profunda: O trabalho estende a teoria clássica de congruências de Eisenstein (como as de Ramanujan e Herbrand-Ribet) para o contexto de formas modulares de Hilbert sobre corpos totalmente reais arbitrários, lidando com a complexidade adicional das classes de ideais e cuspos.
• Origem Local: O artigo foca especificamente em congruências de "origem local", onde o módulo da congruência não vem apenas de valores globais de funções $L$, mas crucialmente de fatores de Euler locais em um primo $p$. Isso conecta diretamente a teoria de formas modulares à Conjectura de Bloch-Kato em casos de posto superior.
• Ferramentas para Teoria de Números: Os resultados fornecem ferramentas para investigar a estrutura de módulos de Galois e grupos de Selmer de Bloch-Kato em corpos de números totais reais.
• Ponte entre Geometria e Álgebra: A integração de métodos geométricos (esquemas de Hilbert-Blumenthal, formas mod $l$) com métodos algébricos (representações de Galois, levantamentos de nível) demonstra a robustez da teoria moderna de formas automorfas.
• Limitações e Futuro: Os autores notam que a prova depende de que a estrutura de nível seja "pequena o suficiente" para evitar pontos fixos não triviais. Eles sugerem que resultados de "level lowering" (redução de nível) futuros poderiam remover a necessidade de níveis auxiliares e generalizar os resultados para níveis compostos mais gerais.

Em resumo, o artigo é uma contribuição fundamental para a teoria das formas modulares de Hilbert, estabelecendo um quadro rigoroso para a existência de congruências de Eisenstein e ligando-as explicitamente a valores especiais de funções $L$ e estruturas de Galois locais.