Torsion points on $\rm{GL}_2$-type abelian varieties

Este artículo investiga la recíproca de la inyección de torsión racional en la reducción módulo primos para variedades abelianas de tipo $\rm GL_2$, proponiendo una lista conjetural de los órdenes de torsión posibles para variedades modulares sobre $\mathbb{Q}$ de dimensión hasta 5.

Lo esencial

Imagina que tienes un tesoro matemático escondido dentro de una forma geométrica compleja llamada "variedad abeliana". Este tesoro son los "puntos de torsión": son como pequeñas llaves que, si las usas, te permiten desbloquear partes especiales de la forma.

El problema que resuelven Jessica Alessandrì y Nirvana Coppola en este artículo es un misterio de detectives matemáticos:

1. El Misterio: ¿Cómo encontrar el tesoro sin abrir la caja?

Normalmente, para saber cuántas llaves (puntos de torsión) hay en tu tesoro, tendrías que abrir la caja y contarlas una por una. Pero en matemáticas, a veces es muy difícil abrir la caja directamente.

Sin embargo, hay un truco. Si miras la caja desde el exterior, bajo diferentes "lentes" (llamados reducciones modulares o mirando la caja a través de diferentes números primos), puedes ver cuántas llaves parecen haber en cada vista.

• La regla conocida: Si la caja tiene 10 llaves reales, entonces, al mirarla a través de cualquier lente, el número de llaves que ves siempre será un múltiplo de 10. Es decir, el número real divide al número que ves.
• La gran pregunta: ¿Es lo contrario cierto? Si miras la caja a través de casi todos los lentes posibles y siempre ves un número que es múltiplo de, digamos, 12... ¿significa eso que dentro de la caja hay, necesariamente, un tesoro de 12 llaves (o un múltiplo de 12)?

Para formas simples (como las curvas elípticas), ya sabíamos que la respuesta era "sí". Pero para formas más complejas y altas (como las que estudian estas autoras), la respuesta era una incógnita.

2. La Solución: Los "Lentes" GL2

Las autoras se enfocan en un tipo especial de caja matemática llamada variedad abeliana de tipo GL2. Imagina que estas cajas tienen una estructura interna muy ordenada, como un cristal que se puede descomponer en piezas más pequeñas y manejables.

Usando una técnica brillante (inspirada en un trabajo de los años 80 de Nicholas Katz), demuestran que:

Sí, la intuición funciona. Si miras estas cajas especiales a través de casi todos los lentes posibles y el número de puntos que ves siempre es divisible por un número $m$, entonces sí existe una versión de esa caja (que es matemáticamente "hermana" o isógena a la original) que tiene exactamente un tesoro de tamaño $m$ (o un múltiplo).

La analogía: Es como si tuvieras un castillo. Si miras el castillo desde el norte, el sur, el este y el oeste, y en todas las vistas ves que el número de torres es divisible por 7, entonces puedes estar seguro de que existe una versión de ese castillo (quizás con un diseño ligeramente diferente pero del mismo "clan") que tiene exactamente 7 torres (o 14, 21, etc.) en su interior.

3. El Mapa del Tesoro (Los Resultados)

Después de probar su teoría, las autoras decidieron ponerla a prueba con una computadora (usando un programa llamado Magma). Crearon un "mapa de tesoros" para cajas de diferentes tamaños (dimensiones 2, 3, 4 y 5).

Lo que encontraron fue una lista de números mágicos.

• Por ejemplo, para cajas de tamaño 2 (superficies abelianas), descubrieron que los tamaños de tesoro posibles son números como 1, 2, 3, 4... hasta 56, pero no todos los números. No hay tesoros de tamaño 23, por ejemplo.
• Hicieron lo mismo para tamaños 3, 4 y 5, creando listas de "números permitidos".

Un hallazgo curioso: En su búsqueda, encontraron un tesoro de tamaño 28 en una caja de nivel 39. Este tesoro era tan especial que ni siquiera aparecía en las grandes bases de datos matemáticas del mundo (como el LMFDB). ¡Ellos lo descubrieron usando su nueva teoría!

4. ¿Por qué importa esto?

Imagina que eres un arquitecto que diseña castillos matemáticos. Antes, si querías saber qué tipos de torres podías construir, tenías que adivinar o probar uno por uno, lo cual tomaba siglos.
Ahora, gracias a este trabajo, tienes una lista de verificación.

• Si quieres construir un castillo de tamaño 4, sabes que puedes tener torres de 1, 2, 3... hasta 176, pero no de 100.
• Sabes exactamente qué "primos" (números base) pueden formar parte de tu tesoro.

En resumen

Este paper es como un manual de instrucciones para los matemáticos que estudian formas geométricas complejas. Les dice: "No necesitas abrir la caja para saber qué hay dentro. Si miras desde afuera con suficiente cuidado, el patrón que ves te dirá exactamente qué tipos de tesoros son posibles dentro, y nos ha dado una lista de los tesoros más grandes que podemos encontrar en el universo de estas formas matemáticas".

Han transformado un problema de "adivinanza" en una lista de posibilidades concretas, llenando vacíos en nuestro conocimiento y descubriendo tesoros que nadie había visto antes.

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Torsion Points on GL2-Type Abelian Varieties" de Jessica Alessandrì y Nirvana Coppola, estructurado según los puntos solicitados.

1. Planteamiento del Problema

El trabajo aborda una cuestión fundamental en la teoría de números y la geometría aritmética: la relación entre el grupo de torsión racional de una variedad abeliana y el número de puntos de su reducción módulo primos.

• Contexto conocido: Es un hecho bien establecido que para una variedad abeliana $A$ definida sobre un cuerpo de números $K$, el grupo de torsión racional $Tors(A)(K)$ se inyecta en el grupo de puntos de la reducción de $A$ módulo un primo $p$ de buena reducción (para $p$ suficientemente grande). Por lo tanto, el orden del grupo de torsión divide al máximo común divisor (mcd) de los tamaños de los grupos de puntos reducidos $N(p) = |\tilde{A}(\mathbb{F}_p)|$.
• La pregunta inversa (Problema de Katz-Lang): En 1981, Nicholas Katz planteó la cuestión inversa: Si $N(p) \equiv 0 \pmod m$ para un conjunto de primos de densidad uno, ¿existe una variedad abeliana $A'$ isógena a $A$ tal que su grupo de torsión racional tenga orden divisible por $m$?
  • Katz demostró que esto es cierto para curvas elípticas.
  • Para superficies abelianas, demostró una versión más débil (sobre los primos que dividen el orden).
  • Sin embargo, para variedades de dimensión superior, Katz encontró contraejemplos incluso para la versión débil.
• Objetivo del artículo: Investigar el problema inverso específicamente para variedades abelianas de tipo $GL_2$ definidas sobre un cuerpo de números $K$, sin restricciones en la dimensión ni en el anillo de endomorfismos, y determinar si se puede establecer una relación fuerte entre la divisibilidad local (reducción) y la global (torsión).

2. Metodología

Los autores emplean un enfoque que combina la teoría de representaciones de Galois, la teoría de retículos y el análisis computacional.

• Representaciones de Galois: Utilizan la estructura de las variedades de tipo $GL_2$, las cuales poseen un cuerpo de números $F$ que se incrusta en su álgebra de endomorfismos. Esto permite asociar a la variedad un sistema compatible de representaciones de Galois $\rho_\lambda: G_K \to GL_2(F_\lambda)$, donde $\lambda$ es un primo de $F$ sobre un primo racional $\ell$.
• Reformulación del problema: Traducen la condición de divisibilidad de puntos ($N(p) \equiv 0 \pmod m$) a una condición sobre el polinomio característico de Frobenius. Específicamente, la condición $N(p) \equiv 0 \pmod{\ell^n}$ se relaciona con $P_\lambda^p(1) \equiv 0 \pmod{\lambda^n}$ para un conjunto de densidad uno de primos.
• Teorema de Katz-Lang (Adaptado): Aplican y adaptan un teorema de Katz y Lang sobre representaciones de dimensión 2 en campos locales. El teorema establece que si $\det(1-g) \equiv 0 \pmod{\pi^n}$ para todo $g$ en un grupo compacto, entonces existe una base en la que los elementos del grupo tienen una estructura matricial específica que implica la existencia de un subretículo invariante bajo la acción de Galois.
• Construcción de Isogenías: Demuestran que la existencia de tales retículos invariantes implica la existencia de una variedad abeliana $A'$ isógena a $A$ (mediante una isogenia de potencia de $\ell$) cuyo grupo de torsión racional contiene un subgrupo de orden específico.
• Implementación Computacional: Utilizan el sistema algebraico Magma para implementar sus resultados teóricos. El código recorre formas nuevas de peso 2 y nivel hasta cierto límite, calcula el mcd de los valores $P_\lambda^p(1)$ y predice los órdenes de torsión posibles para variedades modulares de dimensión hasta 5.

3. Contribuciones Clave

1. Teorema Principal (Corolario 3.3): Los autores demuestran que para variedades de tipo $GL_2$, la respuesta a la pregunta débil de Katz es afirmativa en todas las dimensiones. Específicamente, los primos que dividen el orden del grupo de torsión de alguna variedad isógena a $A$ son exactamente los mismos primos que dividen el mcd de los tamaños de las reducciones $N(p)$ (bajo ciertas condiciones de ramificación).
   • Se establece una desigualdad precisa para la valuación $\ell$-ádica:
     $$v_\ell\left(\sup_{A' \sim_K A} |Tors(A')(K)|\right) \leq v_\ell\left(\gcd_{p \in \Sigma} N(p)\right)$$
   • Si el primo $\ell$ es totalmente inerte en el cuerpo de coeficientes $F$, la desigualdad se convierte en una igualdad.
2. Generalización: A diferencia de trabajos previos que se limitaban a curvas elípticas o superficies con multiplicación cuaterniónica potencial, este resultado es general para variedades de tipo $GL_2$ de cualquier dimensión.
3. Listas Conjeturales: Generan listas exhaustivas (basadas en evidencia computacional hasta nivel 500) de los órdenes de torsión posibles y los primos que pueden dividirlos para variedades modulares sobre $\mathbb{Q}$ de dimensión $g \leq 5$.

4. Resultados Principales

• Teorema 3.2: Establece que si la congruencia $P_\lambda^p(1) \equiv 0 \pmod{\lambda^n}$ se cumple para un conjunto de densidad uno de primos, entonces existe una variedad $A'$ isógena a $A$ tal que $|Tors(A')(K)| \equiv 0 \pmod{\ell^{f_\lambda n}}$, donde $f_\lambda$ es el grado de inercia.
• Conjetura 4.4 (Órdenes de Torsión): Presentan listas de posibles órdenes de torsión para variedades simples de tipo $GL_2$ sobre $\mathbb{Q}$:
  • Dimensión 2: Los órdenes posibles incluyen 1, 2, ..., 28, 44, 56. (Nota: Se menciona un ejemplo concreto de una superficie abeliana con torsión 28, no listada previamente en LMFDB).
  • Dimensión 3, 4 y 5: Se proporcionan listas detalladas de enteros posibles, que incluyen números primos y compuestos específicos (ej. para $g=4$, aparecen primos como 71, 73, 146, 155).
• Conjetura 4.5 (Primos de Torsión): Identifican el conjunto de primos $\ell$ que pueden dividir el orden de un punto de torsión racional según la dimensión $g$:
  • $g=2$: $\ell \in \{2, 3, 5, 7, 11, 13, 19\}$.
  • $g=3$: $\ell \in \{2, 3, 5, 7, 11, 13, 17, 23, 29, 31\}$.
  • $g=4$: $\ell \in \{2, 3, 5, 7, 11, 13, 17, 19, 23, 31, 37, 41, 43, 61, 71, 73\}$.
  • $g=5$: $\ell \in \{2, 3, 5, 7, 11, 13, 17, 19, 23, 29\}$.
• Hallazgo Computacional: En dimensión 5, encontraron un caso (forma nueva 399.2.a.f) donde el orden de torsión predicho (36) difiere del mcd calculado de las reducciones (72), lo que sugiere que la equivalencia exacta no siempre se cumple, aunque las listas de primos y órdenes siguen siendo consistentes con la teoría.

5. Significado e Impacto

• Avance Teórico: El trabajo resuelve una versión fuerte del problema de divisibilidad local-global para una clase importante de variedades abelianas (tipo $GL_2$) en dimensiones arbitrarias, extendiendo significativamente los resultados de Katz.
• Datos Empíricos y LMFDB: Las listas conjeturales generadas enriquecen la base de datos LMFDB (L-functions and Modular Forms Database) y el trabajo previo de [Nic18]. Proporcionan un marco de referencia para identificar nuevas variedades abelianas con torsión inusual.
• Aplicabilidad: La metodología permite a los investigadores verificar si un orden de torsión observado en una reducción es "real" (global) o un artefacto local, y viceversa, predecir la existencia de torsión racional basándose en datos de reducción.
• Herramientas: El código y los datos generados están disponibles públicamente, facilitando la investigación futura en la clasificación de torsión en variedades abelianas modulares.

En resumen, el artículo establece un puente riguroso entre la teoría de representaciones de Galois y la aritmética de puntos racionales, proporcionando tanto teoremas de existencia como herramientas computacionales para explorar la estructura de torsión en variedades de dimensión superior.