Formas modulares congruentes y teoría de Iwasawa anticíclotómica

Información Básica

• ID del Artículo: 2503.00247
• Título: Formas modulares congruentes y teoría de Iwasawa anticíclotómica
• Autor: Dac-Nhan-Tam Nguyen (Universidad de Columbia Británica)
• Clasificación: math.NT (Teoría de Números)
• Fecha de Publicación: Marzo de 2025 (arXiv v2: 23 de octubre de 2025)
• Enlace del Artículo: https://arxiv.org/abs/2503.00247

Resumen

Este artículo estudia la aplicación de formas modulares congruentes en la teoría de Iwasawa anticíclotómica. Sea $p$ un primo impar, consideremos newforms normalizadas $f_1, f_2$ que satisfacen la hipótesis de Heegner en un cuerpo cuadrático imaginario $K$, y supongamos que inducen representaciones de Galois residuales isomorfas. Los trabajos de Greenberg-Vatsal y Emerton-Pollack-Weston compararon los invariantes de Iwasawa cíclotómicos $\mu$ y $\lambda$ de $f_1$ y $f_2$. Este artículo generaliza este resultado al caso anticíclotómico indefinido, obteniendo conclusiones aritméticas sobre ciclos de Heegner generalizados e hipótesis principales de Iwasawa mediante la comparación de funciones $L$ $p$-ádicas de BDP asociadas a $f_1$ y $f_2$.

Contexto de Investigación y Motivación

Contexto del Problema

1. Problema Central: Estudiar las relaciones aritméticas entre formas modulares con representaciones de Galois residuales isomorfas, particularmente las conexiones entre sus funciones $L$ $p$-ádicas e invariantes de Iwasawa.
2. Importancia:
   • La teoría de Iwasawa es un área central de la teoría de números moderna, conectando formas modulares, representaciones de Galois y funciones $L$
   • Los ciclos de Heegner juegan un papel clave en el estudio de la conjetura BSD para curvas elípticas
   • La teoría de Iwasawa anticíclotómica proporciona herramientas importantes para comprender propiedades aritméticas de formas modulares
3. Limitaciones de la Investigación Existente:
   • El trabajo de Greenberg-Vatsal 1 y Emerton-Pollack-Weston 2 se concentra principalmente en extensiones cíclotómicas
   • En el contexto anticíclotómico indefinido, solo existen resultados parciales para peso 2 (Kriz-Li 9,10)
   • Falta una teoría de comparación sistemática para formas modulares de peso superior y ciclos de Heegner generalizados
4. Motivación de la Investigación:
   • Generalizar resultados clásicos del caso cíclotómico al contexto anticíclotómico indefinido
   • Establecer relaciones de congruencia entre funciones $L$ $p$-ádicas de BDP
   • Explorar aplicaciones aritméticas a ciclos de Heegner e hipótesis principales de Iwasawa

Contribuciones Principales

1. Establecimiento de teoría de congruencias en el contexto anticíclotómico indefinido: Se prueba que formas modulares $f_1, f_2$ con representaciones residuales isomorfas satisfacen congruencias módulo $\varpi^m$ en sus funciones $L$ $p$-ádicas de BDP (Teorema 5.12, es decir, Teorema A)
2. Introducción de interpretación modular de operadores de Hecke: Se proporciona una interpretación geométrica del operador de Hecke $V_\ell$ en el marco de coordenadas de Serre-Tate del esquema de Igusa (Sección 5.2), lo cual es crucial para estudiar la variación de funciones $L$ $p$-ádicas
3. Generalización de resultados conocidos para peso 2: Se generalizan los resultados de Kriz-Li 9,10 sobre el caso de peso 2 a formas modulares de peso arbitrario $2r$ y ciclos de Heegner generalizados
4. Obtención de teoremas de comparación de invariantes de Iwasawa:
   • $\mu(L_p(f_1)) = 0 \Leftrightarrow \mu(L_p(f_2)) = 0$
   • Cuando el invariante $\mu$ es cero, se proporciona la relación exacta de invariantes $\lambda$
5. Aplicación a ciclos de Heegner generalizados: A través de la fórmula $p$-ádica de Gross-Zagier, se obtienen relaciones de congruencia entre logaritmos de ciclos de Heegner (Teoremas 6.2, 6.3)
6. Propiedades de propagación de la hipótesis principal de Iwasawa: Se prueba que si $f_1$ satisface la hipótesis principal de Iwasawa, entonces bajo condiciones apropiadas $f_2$ también la satisface (Teorema 7.5)

Explicación Detallada de Métodos

Definición de Tareas

Entrada: Dos newforms de Hecke normalizadas $f_1 \in S_{2r_1}(\Gamma_0(N_1))^{\text{new}}$ y $f_2 \in S_{2r_2}(\Gamma_0(N_2))^{\text{new}}$ que:

• Satisfacen la hipótesis de Heegner en un cuerpo cuadrático imaginario $K$
• Inducen representaciones de Galois residuales isomorfas: $\bar{\rho}_{f_1} \cong \bar{\rho}_{f_2} \pmod{\varpi^m}$

Salida:

• Relaciones de congruencia entre funciones $L$ $p$-ádicas de BDP $L_p(f_1)$ y $L_p(f_2)$
• Comparación de invariantes de Iwasawa $\mu$ y $\lambda$
• Conclusiones aritméticas sobre ciclos de Heegner e hipótesis principales de Iwasawa

Marco Teórico

1. Construcción de la Función $L$ $p$-ádica de BDP

La función $L$ $p$-ádica de BDP se construye a través de valores de formas modulares $p$-ádicas en puntos CM. Para una newform $f \in S_{2r}(\Gamma_0(N))^{\text{new}}$ que satisface la hipótesis de Heegner:

Definición (Definición 4.1): Sea $\psi$ un carácter de Hecke anticíclotómico de tipo infinito $(r,-r)$ y conductor $c_0\mathcal{O}_K$, defínase $L_{p,\psi}(f)$ como una medida $p$-ádica en $\tilde{\Gamma}$:

$L_{p,\psi}(f)(\rho) = \sum_{[\mathfrak{a}]\in \text{Pic}\mathcal{O}_{c_0}} \psi(\mathfrak{a})N(\mathfrak{a})^{-r} \cdot \int_{\mathbb{Z}_p^\times} \psi_p\rho|_{[\mathfrak{a}]} d\hat{f}^\flat_{\mathfrak{a}}$

donde $\hat{f}^\flat_{\mathfrak{a}}$ es la encarnación $p$-ádica de la forma modular geométrica $p$-depleted $f^\flat$ cerca del punto CM $x_{\mathfrak{a}}$.

Mediante operación de twist se obtiene: $L_p(f) := \text{Tw}_{\hat{\psi}^{-1}}(L_{p,\psi}(f))$

Usando el operador $\theta$ (es decir, $t\frac{d}{dt}$) puede reescribirse como: $L_p(f)(\rho) = (\sqrt{-D_K})^r \sum_{[\mathfrak{a}]\in \text{Pic}\mathcal{O}_K} ((\theta^{-r}\hat{f}^\flat)_{\mathfrak{a}} \otimes \rho|_{[\mathfrak{a}]})(A_{\mathfrak{a}}, \eta_{\mathfrak{a}})$

2. Interpretación de Operadores de Hecke en Coordenadas de Serre-Tate

Esta es la innovación técnica clave del artículo. Para un primo $\ell \neq p$ que se descompone como $\ell = \mathfrak{v}\bar{\mathfrak{v}}$:

Definición (Definición 5.4): Defínase el operador $V_\ell$ en formas modulares $p$-ádicas: $V_\ell: \text{Ig}(N^\sharp) \to \text{Ig}(N^\sharp\ell^{-1})$$(A, \eta) \mapsto (A/C[\ell], \pi \circ \eta_{N^\sharp} \circ (\cdot)^{1/\ell} \times \check{\pi}^{-1} \circ \eta_p)$

Lema Clave (Lema 5.7): Para un punto CM $x_{\mathfrak{a}} = (A_{\mathfrak{a}}, \eta_{\mathfrak{a}})$, se tiene $V_\ell(x_{\mathfrak{a}}) = x_{\mathfrak{v}^{-1}\mathfrak{a}}$

y las coordenadas de Serre-Tate satisfacen: $t_{\mathfrak{v}^{-1}\mathfrak{a}}(V_\ell(x)) = t_{\mathfrak{a}}(x)^\ell$

Esta relación geométrica implica (Lema 5.8): $((θ^{-r}V_\ell^* f)_{\mathfrak{a}} \otimes \phi)(x_{\mathfrak{a}}) = \ell^{-r}((θ^{-r}f)_{\mathfrak{v}^{-1}\mathfrak{a}} \otimes \phi)(x_{\mathfrak{v}^{-1}\mathfrak{a}})$

3. Estabilización y Factores de Euler

Definición (Definición 5.9): Defínase el polinomio de Euler