Intrinsic Subgroups and the $\ell$-adic Galois image

Resumen Técnico: Subgrupos Intrínsecos e Imagen de Galois $\ell$-ádica

Planteamiento del Problema
Este artículo aborda la clasificación y el cómputo del "subgrupo intrínseco" de los puntos de torsión de una curva elíptica $E$ sobre un cuerpo $k$. Basándose en el trabajo de Yamazaki et al. [5], quienes definieron un emparejamiento simétrico biaditivo $\langle -, - \rangle$ en el subgrupo de torsión $\text{Pic}(X)_{\text{tors}}$ de una curva proyectiva suave $X$ con valores en $k^\times \otimes \mathbb{Q}/\mathbb{Z}$, el subgrupo intrínseco se define como el núcleo de este emparejamiento. Para una curva elíptica $E$, donde $E(k) \cong \text{Pic}^0(E)$, este subgrupo $E(k)_{\text{is}}^{\text{tors}}$ consiste en los puntos de torsión ortogonales a todos los demás puntos de torsión bajo el emparejamiento.

Si bien Yamazaki et al. proporcionaron una clasificación para curvas elípticas sobre $\mathbb{Q}$ utilizando métodos analíticos, este artículo busca generalizar estos resultados a cuerpos arbitrarios $k$ (específicamente subcampos de $\mathbb{C}$) y proporcionar criterios algebraicos explícitos y algoritmos para determinar la estructura de este subgrupo.

Metodología
El artículo emplea una combinación de geometría algebraica, teoría de Galois y teoría de curvas modulares:

1. Caracterización Algebraica mediante Isogenias: En la Sección 2, el autor utiliza la functorialidad del emparejamiento para derivar condiciones suficientes para el tamaño del subgrupo intrínseco. Específicamente, el Lema 2.1 establece que si una isogenia $\psi: E_1 \to E_2$ tiene un núcleo igual al subgrupo de torsión completo $E_1(k)_{\text{tors}}$, entonces la imagen de la isogenia dual $\hat{\psi}$ aplicada a $E_2(k)_{\text{tors}}$ reside dentro de $E_1(k)_{\text{is}}^{\text{tors}}$. Esto conduce al Teorema 2.2, que relaciona la existencia de isogenias cíclicas específicas con el orden del subgrupo intrínseco.
2. Curvas Modulares y Giros (Twists): La Sección 3 extiende el análisis a subcampos $k \subset \mathbb{C}$. El autor construye modelos planos explícitos para las curvas modulares $X_1(N)$ y sus giros. Al expresar el valor del emparejamiento $\langle P, P \rangle$ en términos de funciones theta de Jacobi y funciones racionales en la curva modular, el artículo demuestra que las curvas elípticas con una estructura de torsión específica y un subgrupo intrínseco corresponden a puntos racionales en giros específicos $X_1(N)^\zeta_M$ de la curva modular $X_{1,0}(N, MN)$.
3. Cómputo Algorítmico: La Sección 4 detalla un algoritmo computacional para el caso $k=\mathbb{Q}$. Este procedimiento transforma una curva elíptica a la forma normal de Tate, utiliza funciones racionales precomputadas $f_N(t)$ derivadas de las relaciones de las funciones theta, y determina el orden del subgrupo intrínseco mediante el análisis del exponente del número racional resultante en la fórmula del emparejamiento.

Contribuciones Clave y Resultados

• Generalización de Yamazaki et al.: El artículo generaliza la clasificación de los subgrupos intrínsecos de $\mathbb{Q}$ a cuerpos arbitrarios $k \subset \mathbb{C}$. Demuestra que para una curva elíptica $E$ con torsión cíclica $\mathbb{Z}/N\mathbb{Z}$ y subgrupo intrínseco $\mathbb{Z}/M\mathbb{Z}$, la curva corresponde a un punto racional en un giro específico de la curva modular $X_{1,0}(N, MN)$.
• Condiciones Algebraicas: El Teorema 2.2 proporciona una condición suficiente puramente algebraica: si $E$ admite un subgrupo cíclico $k$-racional de orden $MN$ que contiene un punto $P$ de orden $N$, entonces el subgrupo generado por $[N/M]P$ está contenido en el subgrupo intrínseco.
• Caracterización de la Imagen de Galois: El Teorema 3.2 establece una relación entre el subgrupo intrínseco y la imagen de Galois adelica. Si $E(k)_{\text{tors}} \cong \mathbb{Z}/N\mathbb{Z}$ y $E(k)_{\text{is}}^{\text{tors}} \cong \mathbb{Z}/M\mathbb{Z}$, entonces la imagen de Galois de $E$ es conjugada a un subgrupo de $\Gamma_{1,0}(N, MN)$.
• Algoritmo Explícito: Se proporciona un algoritmo (Algoritmo 4.2) para computar el orden y el generador de $E(\mathbb{Q})_{\text{is}}^{\text{tors}}$ dado los coeficientes de Weierstrass y un generador del subgrupo de torsión. Este algoritmo fue implementado y utilizado para computar órdenes de subgrupos intrínsecos para todas las curvas elípticas en el LMFDB.
• Problema de Móduli: El artículo identifica la curva modular $X_{1,0}(N, MN)$ y sus giros como la solución al problema de módulos de clasificar curvas elípticas con estructuras prescritas de torsión y subgrupo intrínseco, al menos sobre subcampos de $\mathbb{C}$.

Significancia y Limitaciones
El artículo afirma su significancia al desplazar el estudio de los subgrupos intrínsecos de métodos analíticos restringidos a $\mathbb{Q}$ hacia métodos algebraicos aplicables sobre cuerpos generales. Proporciona un marco concreto para comprender la relación entre el subgrupo intrínseco, las isogenias y las representaciones de Galois.

Sin embargo, el autor es modesto respecto al alcance de estos resultados:

• La condición algebraica en la Sección 2 es suficiente pero no necesaria; no toda curva con el subgrupo intrínseco deseado surge como un punto racional de la curva modular específica $X_{1,0}(N, MN)$ sin considerar los giros.
• La generalización a cuerpos arbitrarios $k$ (fuera de los subcampos de $\mathbb{C}$) sigue siendo una conjetura (Conjetura 5.1). El artículo señala que, si bien el problema de módulos se resuelve para $k \subset \mathbb{C}$, los métodos aún no prueban esto para cuerpos generales.
• Los resultados actuales se centran primordialmente en el caso donde el subgrupo de torsión es cíclico. El artículo reconoce que el enfoque analítico no se generaliza inmediatamente a casos de torsión no cíclica, dejando la relación entre el subgrupo intrínseco y las imágenes de Galois en el caso no cíclico como una pregunta abierta.
• El algoritmo para cuerpos generales enfrenta desafíos en la prueba de identidad dentro de $k^\times \otimes \mathbb{Q}/\mathbb{Z}$ y en la precomputación de las funciones $f_N$ para $N$ grandes, cuyo grado crece linealmente.