Mod $\ell$ non-vanishing of self-dual Hecke $L$-values over CM fields and applications

Aquí presento un resumen técnico detallado del artículo "MOD ℓ NON-VANISHING OF SELF-DUAL HECKE L-VALUES OVER CM FIELDS AND APPLICATIONS" (No anulación módulo $\ell$ de valores de funciones L de Hecke autoduales sobre cuerpos CM y aplicaciones), escrito por Ashay Burungale, Wei He, Ye Tian y Xiangdong Ye.

---

1. El Problema Central

El artículo aborda un problema fundamental en la teoría de números algebraicos y la teoría de Iwasawa: la no anulación de valores centrales de funciones L en familias $p$-ádicas, específicamente en el contexto de cuerpos CM (Complejos Multiplicativos).

• Contexto: Sea $K$ un cuerpo CM y $F$ su subcuerpo totalmente real maximal. Sea $\lambda$ un carácter de Hecke autodual sobre $K$. Se considera la familia de twists $\lambda\nu$, donde $\nu$ recorre los caracteres de orden finito del grupo de Galois $\Gamma_p$ de la extensión anticyclotómica $\mathbb{Z}_p$ de $K$ (no ramificada fuera de un primo $p$ de $F$).
• La Pregunta (Q1): ¿Con qué frecuencia son no nulos los valores centrales $L(1, \lambda\nu)$ cuando $\nu$ varía?
• La Pregunta (Q2) (Mod $\ell$): Para un primo $\ell \neq p$ (ordinario respecto a $K/F$), ¿cuál es la valuación $\ell$-ádica de la parte algebraica $L_{alg}(1, \lambda\nu)$? Específicamente, ¿es no nula módulo $\ell$ para casi todos los $\nu$?

Antecedentes y Brecha:
Trabajos previos de Hida (basados en series de Eisenstein de Hilbert y densidad de Zariski de puntos CM) lograron demostrar la no anulación para un subconjunto denso de Zariski de caracteres. Sin embargo, se descubrió un vacío en la estrategia de Hida respecto a la densidad de Zariski de puntos CM en productos auto de variedades de Shimura. Esto dejó incompleta la demostración de la divisibilidad de congruencias de Eisenstein hacia la Conjetura Principal de Iwasawa para cuerpos CM (probada por Hsieh), ya que la prueba requería la no anulación para todos menos finitos caracteres, no solo para infinitos.

2. Metodología y Estrategia

Los autores desarrollan un enfoque nuevo y uniforme que evita los problemas de densidad de Zariski de la teoría anterior, utilizando herramientas de teoría de representaciones automorfas y teoría ergódica.

A. Correspondencia Theta y Grupos Unitarios

En lugar de trabajar directamente con el grupo unitario $U(1)$ (asociado a $\lambda$), los autores utilizan la correspondencia theta para recastear el problema en el grupo unitario totalmente definido $U(2)$ sobre $K$ (o equivalentemente, sobre el álgebra de cuaterniones totalmente definida $B$ sobre $F$).

B. Formas Modulares en Conjuntos de Shimura

El núcleo del método es el estudio de una forma modular CM $f_\lambda$ definida sobre un conjunto de Shimura asociado a $B$.

• Se construye un vector de prueba (test vector) $f_\lambda$ que es $\ell$-primitivo e invariante bajo ciertas acciones locales.
• A diferencia de los trabajos anteriores, $f_\lambda$ no es necesariamente una nuevaforma (newform) en el sentido clásico, pero actúa como un vector de prueba óptimo para la fórmula de Waldspurger.

C. Fórmula Explícita de Waldspurger

Se utiliza una fórmula de Waldspurger explícita (basada en el trabajo de Cai-Shu-Tian) que relaciona los valores centrales de las funciones L de Rankin-Selberg $L(1/2, \pi_\lambda \otimes \chi_0\nu)$ con periodos toricos (toric periods) de la forma modular $f_\lambda$ sobre el conjunto de Shimura:
$$P_{f_\lambda}(\nu) = \sum_{[a] \in G_{c,n}} \nu\chi_0(a) f_\lambda(x_{c,n}(a))$$
donde $x_{c,n}(a)$ son puntos especiales (análogos a puntos CM) en el conjunto de Shimura.

D. Ergodicidad de Flujos Unipotentes (Ratner)

Para demostrar la no anulación de los periodos toricos módulo $\ell$, los autores emplean la ergodicidad de flujos unipotentes de Ratner.

• Demuestran que los puntos especiales se distribuyen equitativamente (equidistribution) en productos auto del conjunto de Shimura.
• Esto permite probar que, si la forma modular no es "Eisenstein" (es decir, no proviene de series de Eisenstein triviales) en ciertas componentes del conjunto de Shimura, entonces los periodos no se anulan para casi todos los caracteres.

E. Comparación de Periodos

Un resultado técnico crucial es la comparación $\ell$-integral entre periodos automorfos y motivicos (Teorema 1.10). Relacionan el periodo automorfo $\Omega_\lambda$ (asociado a la forma en el conjunto de Shimura) con el periodo de CM clásico $\Omega_\infty$ y sumas de Gauss. Esto permite trasladar la no anulación de las funciones L de Rankin-Selberg a la no anulación de las funciones L de Hecke originales.

3. Contribuciones Clave y Resultados Principales

Teorema 1.1 (No anulación compleja)

Demuestran que para un carácter de Hecke autodual $\lambda$ sobre un cuerpo CM $K$ y un primo $p$ de grado uno en $F$:
$$L(1, \lambda\nu) \neq 0$$
para todos menos finitos caracteres de orden finito $\nu$ tales que $\varepsilon(\lambda\nu) = +1$.

• Significado: Resuelve el problema de la no anulación genérica en familias anticyclotómicas para cuerpos CM generales, superando la limitación de "densidad de Zariski" de trabajos anteriores.

Teorema 1.4 (No anulación módulo $\ell$)

Para un primo $\ell \neq p$ ordinario, determinan la valuación exacta:
$$v_\ell(L_{alg}(1, \lambda\nu)) = \mu_\ell(\lambda)$$
para todos menos finitos $\nu$ con $\varepsilon(\lambda\nu) = +1$.

• Aquí $\mu_\ell(\lambda)$ es un invariante local relacionado con la parte $\ell$ del número de Tamagawa.
• Esto implica que la parte $\ell$ de los grupos de Tate-Shafarevich en la familia anticyclotómica está acotada (bajo la conjetura de BSD).

Teorema 1.6 (Aplicación a la Conjetura Principal de Iwasawa)

Completan la prueba de Hsieh sobre la divisibilidad de congruencias de Eisenstein hacia la Conjetura Principal de Iwasawa para cuerpos CM.

• La prueba de Hsieh dependía de la no anulación simultánea de dos funciones L de Hecke. El vacío anterior en la literatura impedía garantizar esta simultaneidad.
• Gracias al Teorema 1.4 (y su análogo $p$-ádico en el Teorema 6.2), se demuestra que la serie de Eisenstein $\Lambda$-ádica $E(\psi)$ es $p$-primitiva, lo que permite establecer la divisibilidad:
  $$L_\Sigma(\psi) \mid F_\Sigma(\psi)$$
  donde $L_\Sigma(\psi)$ es la función L $p$-ádica de Katz y $F_\Sigma(\psi)$ es el generador característico del módulo de Selmer.

4. Significado e Impacto

1. Resolución de un Vacío Crítico: El artículo cierra la brecha en la demostración de la Conjetura Principal de Iwasawa para cuerpos CM, un resultado central en la teoría de números moderna.
2. Nueva Metodología: Introduce el uso de la ergodicidad de flujos unipotentes (Ratner) en el contexto de formas modulares sobre cuerpos CM y conjuntos de Shimura de cuaterniones. Esto ofrece una alternativa robusta a los métodos geométricos de densidad de Zariski que fallaron en ciertos casos.
3. Generalidad: Los resultados se aplican a cuerpos CM generales (no solo cuadráticos imaginarios) y a primos $p$ de grado uno, cubriendo casos que los métodos anteriores (como los de Finis o Hida) no podían tratar completamente.
4. Conexión de Teorías: Establece un puente profundo entre la teoría de representaciones automorfas (fórmulas de Waldspurger, correspondencia de Jacquet-Langlands), la teoría ergódica y la aritmética de funciones L.

En resumen, este trabajo no solo corrige y completa una prueba fundamental en la teoría de Iwasawa, sino que también establece un nuevo paradigma para estudiar la no anulación de valores L en familias $p$-ádicas utilizando herramientas dinámicas y automorfas.