Strong Weil Degree Divisibility at Higher Levels

Resumen Técnico: Divisibilidad Fuerte del Grado de Weil en Niveles Superiores

Planteamiento del Problema
El artículo investiga las propiedades aritméticas de los morfismos de curvas modulares $X_0(N)$ (y curvas intermedias como $X_1(N)$) hacia curvas elípticas $E'$ en la clase de isogenia racional de una curva de Weil fuerte $E$ de conductor $M$. Específicamente, aborda dos cuestiones primordiales respecto a la relación entre el grado de la parametrización de Weil fuerte $\pi_E: X_0(M) \to E$ y los grados de los morfismos $g: X_0(N) \to E'$ donde $N$ es un múltiplo de $M$:

1. Divisibilidad: ¿Divide $\deg \pi_E$ a $\deg g$? Si no es así, ¿qué factores explícitos controlan el fallo de la divisibilidad?
2. Estructura Integral: ¿Forman los homomorfismos "viejos" inducidos por los mapas de degeneración una base integral para el grupo de homomorfismos $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$? Si no es así, ¿se pueden acotar explícitamente los denominadores de los coeficientes de los homomorfismos integrales?

El caso $N=M$ está bien comprendido mediante la propiedad universal de los cocientes óptimos, mientras que el comportamiento en niveles superiores $N > M$ involucra interacciones complejas entre mapas de degeneración, constantes de Manin y la estructura de los jacobianos modulares.

Metodología
Los autores emplean una combinación de geometría algebraica, la teoría de formas modulares y la teoría de redes (lattices). La metodología central involucra:

• Descomposición de Formas Viejas: Utilizando la descomposición de Atkin–Lehner–Li para identificar el espacio vectorial racional $\text{Hom}_{\mathbb{Q}}(J_0(N), E') \otimes \mathbb{Q}$ con el subespacio generado por los homomorfismos "viejos" inducidos por los mapas de degeneración $\iota_r: X_0(N) \to X_0(M)$.
• Emparejamientos de Grado: Definiendo un emparejamiento de grado definido positivo en los homomorfismos. Esto permite que el grado de un morfismo se exprese como una forma cuadrática que involucra las coordenadas del homomorfismo en la base vieja y una "matriz de grado" $A_{E,N}$.
• Acotación de Denominadores vía Expansiones en $q$: Para controlar los denominadores de los coeficientes en la base racional, los autores analizan la tracción de los diferenciales invariantes (diferenciales de Néron) bajo los morfismos. Establecen condiciones de integralidad examinando las expansiones en $q$ en dos cúspides específicas: la cúspide estándar $\infty$ y su imagen bajo la involución de Fricke $w_N$.
• Argumentos de Descenso: Para primos $\ell$ tales que $\ell^2 \mid (N/M)$, los autores utilizan un argumento de descenso. Demuestran que los mapas de degeneración $\delta_\ell: X_0(N) \to X_0(N/\ell)$ son totalmente ramificados en $\infty$ (para $X_0$) o sobreyectivos en los grupos fundamentales (para curvas intermedias), lo que implica que el mapa inducido en los jacobianos tiene un núcleo geométricamente conexo. Esta propiedad asegura que la integralidad desciende del nivel $N$ al nivel $N/\ell$.
• Criterio de Torre: Los autores abstraen estas propiedades en un "criterio de torre" (Condiciones T1–T3) para extender los resultados de $X_0$ a torres compatibles de curvas modulares intermedias, incluyendo $X_1$ y torres de diamantes.

Contribuciones Clave y Resultados

1. Teorema de Divisibilidad (Teorema 1.1):
   El artículo demuestra que para cualquier morfismo no constante $g: X_0(N) \to E'$, el grado de la parametrización de Weil fuerte divide al grado de $g$ hasta un factor controlado por la constante de Manin $c_E$ y el número de factores primos de $N/M$. Específicamente:
   $$\deg \pi_E \mid c_E^{\Omega(N/M)} \deg g$$
   donde $\Omega(n)$ es el número de factores primos de $n$ contando con multiplicidad.

   • Refinamiento: El exponente de cualquier primo $\ell \mid c_E$ puede agudizarse de $\text{ord}_\ell(c_E)\Omega(N/M)$ a $\text{ord}_\ell(c_E) + \lfloor \text{ord}_\ell(N/M)/2 \rfloor$.
   • Caso Incondicional: Si $c_E = 1$ (lo cual se sabe que ocurre cuando $M$ es libre de cuadrados, o se ha verificado para $M < 500,000$), entonces $\deg \pi_E \mid \deg g$ incondicionalmente.

2. Base Integral y Teorema de Denominadores (Teorema 1.2):
   Los autores establecen condiciones bajo las cuales los homomorfismos viejos forman una $\mathbb{Z}$-base. Si la constante de Manin del mapa compuesto $u \circ \pi_E$ es 1 (donde $u$ genera $\text{Hom}_{\mathbb{Q}}(E, E')$), entonces el conjunto $\{ \Phi_{r,u} : r \mid (N/M) \}$ forma una $\mathbb{Z}$-base de $\text{Hom}_{\mathbb{Q}}(J_0(N), E')$.

   • Cota General: En el caso general, los denominadores de los coeficientes de cualquier homomorfismo integral están acotados por un entero explícito $D_{u \circ \pi_E}(N/M)$, el cual depende de la factorización prima de $N/M$ y la constante de Manin.
   • Espectro de Grado: Cuando la constante de Manin es 1, el grado de cualquier morfismo está determinado exactamente por la forma cuadrática $b^T A_{E,N} b$, donde $b$ es el vector de coeficientes enteros del homomorfismo en la base vieja.

3. Extensión a Curvas Intermedias (Teoremas 5.12–5.19):
   Los resultados se extienden a torres compatibles de curvas modulares intermedias, incluyendo la torre $X_1$.

   • Para $X_1(N)$, se cumplen resultados análogos de divisibilidad y de base, gobernados por la constante de Manin–Stevens $c_1$.
   • El artículo demuestra que el argumento de ramificación total utilizado para $X_0$ debe ser reemplazado por un argumento topológico que involucra la sobreyectividad de los mapas en los grupos fundamentales para las curvas intermedias; sin embargo, las conclusiones finales de divisibilidad y de base permanecen estructuralmente similares.

Significancia y Reivindicaciones
El artículo afirma proporcionar una descripción aritmética completa de los grados de los morfismos desde curvas modulares de nivel superior hacia curvas elípticas en términos de la parametrización de nivel mínimo.

• Divisibilidad Incondicional: Confirma que la divisibilidad $\deg \pi_E \mid \deg g$ es incondicional siempre que $c_E = 1$, una condición que se cumple para todos los conductores libres de cuadrados y que ha sido verificada computacionalmente para un amplio rango de conductores.
• Perspectiva Estructural: Clarifica la estructura del grupo $\text{Hom}$ integral, mostrando que los mapas "viejos" generan la red completa salvo por un denominador controlado; esto resuelve la cuestión de si la red "vieja" está saturada.
• Cotas Explícitas: El artículo proporciona cotas explícitas y computables para el fallo de la integralidad y la divisibilidad, refinando estimaciones previas al reducir el exponente del factor de la constante de Manin basado en la multiplicidad de los factores primos en la razón de niveles.
• Generalizabilidad: Al formular un "criterio de torre", los autores demuestran que estos fenómenos no son exclusivos de $X_0$, sino que son intrínsecos a familias compatibles de curvas modulares, incluyendo $X_1$.

El trabajo se apoya en el caso semiestable de la conjetura de la constante de Manin (probada por Česnavičius) para los resultados incondicionales en el caso libre de cuadrados, y aprovecha las verificaciones computacionales existentes (Cremona) para conductores específicos. El artículo no propone nuevas aplicaciones, sino que consolida la base teórica para comprender las parametrizaciones modulares en niveles superiores.