Heavenly elliptic curves over quadratic fields

A continuación presento un resumen técnico detallado del artículo "Heavenly Elliptic Curves Over Quadratic Fields" (Curvas Elípticas Celestiales sobre Cuerpos Cuadráticos) de Cam McLeeman y Christopher Rasmussen.

1. Planteamiento del Problema

El artículo se centra en el estudio de las variedades abelianas "celestiales" (heavenly). Una variedad abeliana $A$ definida sobre un cuerpo de números $K$ se dice que es celestial en un primo $\ell$ si la extensión $K(A[\ell^\infty])$ (el cuerpo generado por los puntos de torsión $\ell$-potencia) está contenida en un campo específico llamado $\mathfrak{t}$ (denotado como "Ten" o "Cielo" en la notación del artículo).

El campo $\mathfrak{t} = \mathfrak{t}(K, \ell)$ se define como la máxima extensión pro-$\ell$ de $K(\mu_{\ell^\infty})$ que es no ramificada fuera de $\ell$. Esta noción surge del estudio de representaciones de Galois pro-$\ell$ externas asociadas a la geometría de $P^1_K \setminus \{0, 1, \infty\}$ y está relacionada con una pregunta abierta de Ihara sobre el núcleo de estas representaciones.

El problema central es entender la frecuencia y la distribución de estas curvas. Se sabe que para un cuerpo fijo $K$, hay un número finito de clases de isomorfismo de curvas elípticas celestiales (incluso variando $\ell$). Sin embargo, la pregunta abierta es: ¿Qué sucede si variamos el cuerpo de definición $K$? Específicamente, ¿existen solo un número finito de clases de isomorfismo de curvas elípticas celestiales cuando se permite que $K$ varíe sobre todos los cuerpos cuadráticos, manteniendo $\ell$ fijo?

2. Metodología

Los autores emplean una combinación de teoría de números algebraica, geometría aritmética y métodos computacionales:

• Teoría de Representaciones de Galois: Analizan la estructura de la representación $\rho_{E, \ell}$ asociada a la torsión $\ell$-de una curva elíptica $E$. Utilizan la condición de que la extensión sea pro-$\ell$ y no ramificada fuera de $\ell$ para imponer restricciones fuertes sobre los caracteres de la representación (teorema de Tate-Oort).
• Puntos S-integrales y Teorema de Siegel-Levin: Para probar resultados de finitud, mapean las curvas elípticas celestiales a puntos integrales en curvas modulares $Y_1(\ell)$. Utilizan una generalización del teorema de Siegel (debida a Levin) sobre la finitud de puntos integrales de grado acotado en curvas afines, siempre que el número de puntos en el infinito sea suficientemente grande.
• Análisis de la "Condición Balanceada" (Balanced Condition): Introducen y estudian una propiedad técnica llamada "balanceada". Demuestran que para $\ell$ suficientemente grande, cualquier curva elíptica celestial debe ser "balanceada" en $\ell$. Esta condición implica que los números de Tate-Oort (exponentes relacionados con la acción de Galois en la torsión) son todos iguales a $e/2$, donde $e$ es el índice de reducción semiestable.
• Comparación con Curvas con Multiplicación Completa (CM): Establecen una conexión profunda entre el comportamiento de los trazos de Frobenius de curvas celestiales y el de curvas con multiplicación compleja (CM).
• Búsqueda Computacional: Utilizan SageMath y MAGMA para verificar casos pequeños, calcular modelos integrales y clasificar curvas con CM que satisfacen las condiciones celestiales.

3. Contribuciones Clave y Resultados Principales

El artículo presenta tres teoremas principales y varios resultados auxiliares:

A. Resultados de Finitud (Teoremas 1.1 y 1.2)

• Teorema 1.1: Para un primo fijo $\ell \geq 7$, existe un número finito de clases de isomorfismo sobre $\mathbb{Q}$ de curvas elípticas definidas sobre cualquier cuerpo cuadrático que sean celestiales en $\ell$.
• Teorema 1.2 (Generalización): Esta finitud se mantiene si se fija un cuerpo base $K_0$ y un grado $d$, y se consideran cuerpos $K$ de grado $\leq d$ sobre $K_0$, siempre que $\ell > 2d + 1$.
• Significado: Esto responde afirmativamente a la pregunta de si la finitud se mantiene al variar el cuerpo cuadrático, siempre que el primo $\ell$ sea suficientemente grande.

B. Comportamiento del Trazo de Frobenius (Teorema 1.3)

Los autores demuestran que las curvas celestiales sobre cuerpos cuadráticos imitan el comportamiento de las curvas con multiplicación compleja (CM) en cuanto a sus trazas de Frobenius $a_p(E)$ módulo $\ell$:

• Si un primo $p$ es inerte en $K(\sqrt{-\ell})$, entonces $a_p(E) \equiv 0 \pmod \ell$.
• Si $p$ se descompone en $K(\sqrt{-\ell})$, entonces $a_p(E)^2 \equiv 4p^f \pmod \ell$.
• Esto sugiere fuertemente que las curvas celestiales "deberían" tener multiplicación compleja.

C. Clasificación de Curvas Celestiales con CM (Teorema 1.4)

• Los autores caracterizan completamente las curvas elípticas definidas sobre cuerpos cuadráticos que tienen multiplicación compleja, tienen un invariante $j$ irracional y son celestiales en algún primo $\ell$.
• Resultado: La lista es finita y completa. Se proporciona una tabla exhaustiva (Tabla A.2 en el anexo) que lista todas estas curvas (y sus clases de isogenia).
• Los primos $\ell$ posibles para las cuales existen tales curvas son muy restringidos: $\ell \in \{2, 3, 7, 11, 23, 31, 47\}$.

D. Conjeturas

El trabajo formula tres conjeturas interrelacionadas:

1. Conjetura A: Si $E/K$ es celestial en $\ell > 19$, entonces $E$ tiene multiplicación compleja.
2. Conjetura B: El conjunto de pares $(\ell, K)$ para los cuales existe una curva celestial no trivial es finito.
3. Conjetura C: El conjunto de clases de isomorfismo sobre $\mathbb{Q}$ de curvas celestiales es finito.

• Se demuestra que la Conjetura A implica la B, y que la B implica la C.

4. Significado e Impacto

• Avance en la Conjetura de Finitud: El trabajo proporciona la primera prueba de finitud uniforme (en términos de la clase de isomorfismo sobre $\mathbb{Q}$) para curvas celestiales cuando el cuerpo de definición varía sobre una familia infinita (cuerpos cuadráticos).
• Conexión entre Geometría y CM: La demostración de que las curvas celestiales comparten propiedades de trazas con las curvas CM es un hallazgo profundo. Sugiere que la propiedad de ser "celestial" es una condición tan restrictiva que fuerza a la curva a comportarse como si tuviera multiplicación compleja, incluso si no la tiene formalmente (aunque la conjetura A afirma que sí la tiene).
• Herramientas para Dimensiones Superiores: Los autores extienden sus métodos a variedades abelianas de dimensión $g$ y cuerpos de grado superior, estableciendo límites explícitos para cuándo una variedad debe ser "balanceada".
• Datos Computacionales: La clasificación completa de curvas con CM y $j$ irracional ofrece un banco de datos valioso para la teoría de números computacional y la verificación de conjeturas futuras.

En resumen, el artículo establece que la propiedad de ser "celestial" es extremadamente rara. Para primos grandes, no solo hay pocas curvas para un cuerpo fijo, sino que hay pocas curvas en total cuando se consideran todos los cuerpos cuadráticos, y estas pocas curvas parecen estar intrínsecamente ligadas a la multiplicación compleja.