Torsion of $\mathbb Q$-curves over number fields of small odd prime degree

Aquí presento un resumen técnico detallado del artículo "Torsion of Q-curves over number fields of small odd prime degree" (Torsión de curvas Q sobre campos numéricos de grado primo impar pequeño) de Ivan Novak.

1. Planteamiento del Problema

El objetivo central del artículo es determinar completamente todos los grupos de torsión posibles que pueden aparecer en el grupo de puntos racionales $E(K)_{tors}$ de una curva Q definida sobre un campo numérico $K$ de grado primo impar pequeño (específicamente grados 3, 5 y 7).

• Contexto: Por el teorema de Mordell-Weil, el grupo de puntos racionales de una curva elíptica es finitamente generado. El problema de clasificar los subgrupos de torsión posibles para curvas elípticas sobre campos de grado $d$ es un problema clásico en teoría de números.
• Definición de Curva Q: Una curva elíptica $E$ sobre un campo $K$ es una curva Q si es $K$-isógena a todas sus conjugadas bajo la acción del grupo de Galois absoluto de $\mathbb{Q}$ ($G_{\mathbb{Q}}$).
• Estado del Arte:
  • El caso cuadrático ($d=2$) fue resuelto por Le Fourn y Najman.
  • El caso de grados primos mayores que 7 fue resuelto por Cremona y Najman.
  • Para grados 3, 5 y 7, existía una clasificación para curvas elípticas con $j$-invariante racional, pero faltaba la clasificación para curvas Q generales.
• Conjetura Clave: Cremona y Najman demostraron que, sobre campos de grado impar, toda curva Q no con multiplicación compleja (CM) es isógena sobre el campo base a una curva elíptica con $j$-invariante racional. Esto reduce el problema al estudio de curvas con $j$-invariante racional y sus twists.

2. Metodología

El autor emplea una combinación de teoría de representaciones de Galois, teoría de isogenias y análisis computacional (usando Magma).

• Reducción a Curvas Racionales: Utiliza el resultado de Cremona-Najman (Proposición 1.3) para afirmar que cualquier curva Q no-CM sobre un campo de grado impar es isógena a una curva $E'$ con $j$-invariante racional.
• Análisis de Representaciones de Galois:
  • Estudia cómo cambia la imagen de la representación de Galois mod $N$ ($\rho_{E,N}$) al aplicar isogenias.
  • Utiliza el Lema 2.1 para relacionar las representaciones de curvas y sus twists cuadráticos.
  • Aplica el Corolario 2.4 y la Proposición 2.5 para deducir restricciones sobre las matrices en la imagen de Galois cuando existe un punto de torsión racional. Específicamente, si hay un punto de orden $p$, la imagen debe contener matrices con autovalores específicos (1 o -1).
• Eliminación de Casos:
  • Para cada grado primo $p \in \{3, 5, 7\}$, el autor toma la lista completa de grupos de torsión posibles para cualquier curva elíptica sobre ese campo (ya conocida por trabajos previos de Najman, et al.).
  • Luego, elimina sistemáticamente aquellos grupos que no pueden pertenecer a una curva Q. Esto se hace demostrando que si existiera tal curva, la curva racional asociada (o su twist) tendría una isogenia o una imagen de Galois que contradice resultados conocidos sobre curvas elípticas racionales (por ejemplo, grados de isogenia imposibles o propiedades de los subgrupos de índice $p$ en $GL_2(\mathbb{Z}/N\mathbb{Z})$).
• Gráficos de Isogenia: Se utiliza la estructura de los grafos de isogenia (especialmente las componentes primarias) para mostrar que ciertas configuraciones de torsión implicarían la existencia de isogenias de grados prohibidos sobre campos de grado pequeño.

3. Contribuciones Clave y Resultados Principales

El artículo completa la clasificación de torsión de curvas Q sobre campos de grado primo.

A. Resultados para Grados 3, 5 y 7

El autor demuestra que el conjunto de grupos de torsión para curvas Q es idéntico al conjunto de grupos de torsión para curvas elípticas con $j$-invariante racional sobre esos mismos campos.

• Teorema 1.9 (Grado 3): Los grupos de torsión posibles son exactamente los 20 grupos listados en el Teorema 1.5 (que incluyen $\mathbb{Z}/N\mathbb{Z}$ para $N \in \{1..10, 12, 13, 14, 18, 21\}$ y $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2N\mathbb{Z}$ para ciertos $N$).
  • Eliminación: Se prueba que grupos como $\mathbb{Z}/11\mathbb{Z}$, $\mathbb{Z}/15\mathbb{Z}$, $\mathbb{Z}/16\mathbb{Z}$, $\mathbb{Z}/20\mathbb{Z}$ y $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/12\mathbb{Z}$ no ocurren.
• Teorema 1.10 (Grado 5): Los grupos posibles son los 17 del Teorema 1.6.
  • Eliminación: Se descartan puntos de orden 16, 27, 125, 49, 35, 15, 21, 14, 18, 24, 20, 50, etc., demostrando que las curvas Q no pueden tener torsión "nueva" en comparación con las curvas racionales.
• Teorema 1.11 (Grado 7): Los grupos posibles son los 15 del Teorema 1.1 (los mismos que sobre $\mathbb{Q}$).
  • Nota: A diferencia de los grados 3 y 5, en grado 7 no aparecen nuevos grupos de torsión ni siquiera para curvas elípticas generales (según resultados previos), por lo que la coincidencia con curvas racionales es inmediata pero se formaliza aquí.

B. Corolario Principal (Corolario 1.13)

Para cualquier primo impar $p$, si un grupo $T$ aparece como torsión de una curva Q sobre un campo de grado $p$, entonces $T$ también aparece como torsión de una curva elíptica con $j$-invariante racional sobre un campo de grado $p$.

• Esto implica que no hay "nuevos" grupos de torsión para curvas Q en grados primos impares que no provengan de curvas con $j$-invariante racional.

C. Teorema 1.14 (Caso General y $p=2$)

El autor extiende el resultado a curvas elípticas que son isógenas a curvas con $j$-invariante racional (una clase más amplia que las curvas Q en grado 2).

• Para $p > 2$, el resultado es una consecuencia directa de la clasificación de curvas Q.
• Para $p = 2$ (campos cuadráticos), se demuestra que los únicos grupos que aparecen en curvas isógenas a curvas racionales pero no en las curvas racionales mismas son $\mathbb{Z}/14\mathbb{Z}$ y $\mathbb{Z}/18\mathbb{Z}$, y que estos no aparecen en curvas isógenas a curvas racionales (Proposición 5.1).

4. Significado e Impacto

1. Completitud de la Clasificación: Este trabajo cierra la brecha en la clasificación de torsión de curvas Q sobre campos de grado primo. Junto con los trabajos de Le Fourn/Najman (grado 2) y Cremona/Najman (grado >7), se tiene ahora una descripción completa para todos los grados primos.
2. Simplificación Estructural: El resultado principal es sorprendente en su simplicidad: para grados primos impares, la torsión de las curvas Q no es más rica que la torsión de las curvas elípticas con $j$-invariante racional. Esto sugiere que la propiedad de ser una curva Q (isogeneidad a conjugadas) no introduce nuevos fenómenos de torsión en estos grados, a diferencia del caso cuadrático donde aparecen grupos como $\mathbb{Z}/13\mathbb{Z}$, $\mathbb{Z}/15\mathbb{Z}$, etc., que no existen sobre $\mathbb{Q}$.
3. Herramientas Metodológicas: El desarrollo de técnicas para analizar cómo las imágenes de Galois se comportan bajo isogenias y twists cuadráticos (Sección 2) proporciona herramientas valiosas para futuros problemas en la teoría de curvas elípticas sobre campos de números.
4. Validación Computacional: El uso de Magma para verificar casos específicos (como la estructura de subgrupos de índice 3, 5 o 7 en imágenes modulares) asegura la rigurosidad de las eliminaciones de casos complejos.

En resumen, el artículo demuestra que, para campos de grado primo impar, la clase de curvas Q es "típicamente" equivalente a la clase de curvas con $j$-invariante racional en lo que respecta a su estructura de torsión, completando así un programa de investigación iniciado hace décadas.