Hilbert modular Eisenstein congruences of local origin

1. Planteamiento del Problema

El artículo aborda la existencia y caracterización de congruencias de Eisenstein en el contexto de las formas modulares de Hilbert sobre un campo totalmente real $F$ arbitrario.

• Contexto Clásico: En la teoría clásica de formas modulares sobre $\mathbb{Q}$, es bien conocido que existen congruencias entre formas cuspidales (como la función discriminante $\Delta$) y series de Eisenstein. Estas congruencias, como $\tau(n) \equiv \sigma_{11}(n) \pmod{691}$, surgen de la divisibilidad de valores especiales de funciones $L$ (funciones $L$ de Dirichlet) y sus factores de Euler.
• El Problema Específico: Los autores buscan generalizar estos resultados al caso de formas modulares de Hilbert (asociadas al grupo $Res_{F/\mathbb{Q}}(GL_2)$). Específicamente, se enfocan en congruencias de "origen local", donde el módulo de la congruencia proviene de valores especiales de funciones $L$ de Hecke y sus factores de Euler en un primo $\mathfrak{p}$, en lugar de solo de valores globales.
• Desafíos Técnicos: A diferencia del caso clásico ($F=\mathbb{Q}$), el estudio de formas de Hilbert presenta complicaciones significativas:
  • La estructura de los cuspidos de las variedades modulares de Hilbert es más compleja debido al grupo de clases estrecho ($Cl_F^+$).
  • El cálculo de los términos constantes de las series de Eisenstein en todos los cuspidos es mucho más intrincado.
  • La teoría de "nuevas formas" (newforms) y la acción de los operadores de Hecke requieren un manejo cuidadoso de los caracteres de rayo estrecho y las clases de ideales.

2. Metodología

Los autores emplean una combinación de teoría analítica de números, geometría aritmética y teoría de representaciones modulares:

1. Fórmulas de Términos Constantes (Sección 3):

   • Generalizan una fórmula de Ozawa para calcular los términos constantes de las series de Eisenstein de Hilbert en todos los cuspidos, no solo en el infinito.
   • Utilizan la acción de matrices en $SL_2(F)$ para mapear cuspidos arbitrarios al infinito, teniendo en cuenta la obstrucción del grupo de clases.
   • Derivan fórmulas explícitas para las series de Eisenstein elevadas de nivel (level raise) por un primo $\mathfrak{p}$, denotadas como $E^{(\mathfrak{p})}_k(\eta, \psi)$.
   • Construyen combinaciones lineales de series de Eisenstein ($E_\delta$) diseñadas para anular ciertos términos, facilitando el estudio de las congruencias.

2. Teoría de Formas Modulares Mod $l$ (Sección 4):

   • Utilizan el marco geométrico de las formas modulares de Hilbert sobre anillos de característica $l$ (siguiendo a Katz, Andreatta, Goren y Lan-Suh).
   • Definen formas modulares sobre esquemas de Hilbert-Blumenthal y utilizan el principio de expansión $q$ para relacionar formas modulares clásicas con sus reducciones mod $l$.
   • Emplean el teorema de levantamiento de Lan-Suh para elevar formas modulares mod $l$ (cuspidales) a formas en característica cero, bajo ciertas condiciones de peso ($k \ge 3$) y nivel.

3. Representaciones Galoicas y Lifting (Sección 5):

   • Asocian representaciones de Galois $\ell$-ádicas a las formas eigen.
   • Utilizan el Lema de Deligne-Serre para levantar formas eigen mod $l$ a formas eigen en característica cero.
   • Aplican resultados de Ribet y Taylor sobre la reducibilidad residual de las representaciones de Galois para establecer condiciones necesarias y suficientes para la existencia de nuevas formas que satisfagan las congruencias.

3. Contribuciones Clave

• Fórmulas Explícitas de Términos Constantes: Proporcionan fórmulas generales para los términos constantes de las series de Eisenstein de Hilbert en cuspidos arbitrarios, generalizando trabajos previos de Ozawa y conectándolos directamente con valores $L$ de Hecke y factores de Euler locales.
• Caracterización de Congruencias de Origen Local: Establecen condiciones precisas bajo las cuales una forma eigen de Hilbert de peso paralelo $k \ge 3$ y nivel $\mathfrak{m}\mathfrak{p}$ es congruente con una serie de Eisenstein de nivel $\mathfrak{m}$.
• Teorema de Existencia y No Existencia (Nuevas Formas): Van más allá de la mera existencia de formas eigen; caracterizan cuándo estas congruencias pueden ser satisfechas específicamente por nuevas formas (newforms), un problema que requiere condiciones adicionales sobre la divisibilidad de ciertos polinomios relacionados con el primo $\mathfrak{p}$.
• Generalización del Caso Clásico: Demuestran que sus resultados recuperan todos los casos clásicos conocidos (como las congruencias de Ramanujan y las de origen local en $\mathbb{Q}$) al tomar $F = \mathbb{Q}$.

4. Resultados Principales

Los teoremas centrales del artículo son:

• Teorema 5.1 (Existencia de Congruencias):
  Si $l > k+1$ es un primo racional no ramificado en $F$, y se cumple una condición de divisibilidad sobre un valor $L$ de Hecke y un factor de Euler local:
  $$\text{ord}_{\Lambda'}(L(\eta^{-1}\psi, 1-k)(\eta(\mathfrak{p}) - \psi(\mathfrak{p})N(\mathfrak{p})^k)) > 0$$
  Entonces, existe una forma eigen de Hilbert normalizada $f$ de peso $k$ y nivel $\mathfrak{m}\mathfrak{p}$ tal que sus coeficientes de Fourier satisfacen:
  $$c(\mathfrak{q}, f) \equiv \eta(\mathfrak{q}) + \psi(\mathfrak{q})N(\mathfrak{q})^{k-1} \pmod{\Lambda}$$
  para todo primo $\mathfrak{q} \nmid \mathfrak{m}\mathfrak{p}$.

• Teorema 5.2 (Condiciones para Nuevas Formas):
  Establece condiciones necesarias y suficientes para que exista una nueva forma (newform) $f \in S_k(\mathfrak{m}\mathfrak{p})$ que satisfaga la congruencia anterior.

  • Necesarias: Además de la condición de divisibilidad del valor $L$, se requiere que el primo $l$ divida a $(\eta(\mathfrak{p}) - \psi(\mathfrak{p})N(\mathfrak{p})^k)(\eta(\mathfrak{p}) - \psi(\mathfrak{p})N(\mathfrak{p})^{k-2})$.
  • Suficientes: Si se cumplen las condiciones anteriores y una condición técnica adicional sobre la no divisibilidad de un entero $E$ (relacionado con formas viejas) por $l$, entonces existe dicha nueva forma.

• Teorema 1.1 y 1.2 (Caso Específico):
  Presentan una versión simplificada para campos con número de clase estrecho $h^+=1$ y nivel primo, ilustrando cómo las condiciones se traducen en términos de la función zeta de Dedekind $\zeta_F$ y normas de ideales.

5. Significado e Impacto

• Avance en la Conjetura de Bloch-Kato: Los resultados proporcionan evidencia y herramientas para la Conjetura de Bloch-Kato, que vincula la divisibilidad de valores especiales de funciones $L$ motivicas con la estructura de Galois de grupos de Selmer. Las congruencias de Eisenstein son una manifestación concreta de esta relación.
• Complejidad Estructural: El trabajo resuelve dificultades técnicas inherentes a la teoría de formas de Hilbert, particularmente en el manejo de los cuspidos y la estructura de las nuevas formas en niveles compuestos.
• Herramienta para Casos de Rango Superior: Al establecer un marco robusto para $GL_2$ sobre campos totalmente reales, el artículo sienta las bases para explorar congruencias en grupos reductivos de rango superior (como $GSp_4$), donde las predicciones de congruencias son más complejas y menos estudiadas.
• Unificación: Unifica la teoría de congruencias de "origen global" (valores $L$) y "origen local" (factores de Euler) en un solo marco teórico para formas de Hilbert, mostrando que ambas fuentes de divisibilidad son esenciales para la existencia de nuevas formas.

En resumen, este artículo es una contribución fundamental a la teoría de números moderna, extendiendo la comprensión de las congruencias modulares más allá de $\mathbb{Q}$ y proporcionando criterios precisos para la existencia de formas cuspidales que "imitan" a las series de Eisenstein en campos totalmente reales.