🔢 mathematics

Rational torsion on hyperelliptic jacobian varieties

Este artículo demuestra la existencia de familias paramétricas de variedades jacobianas hiperelípticas sobre $\mathbb{Q}$ con puntos de torsión racionales de orden $N$ para valores específicos en el intervalo $[3g, 4g+1]$ , proporcionando así los primeros ejemplos infinitos conocidos de tales variedades para diversos órdenes de torsión, incluyendo 13, 15, 17, 18 y 21.

Autores originales: Hamide Suluyer, Mohammad Sadek

Publicado 2026-07-14

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Hamide Suluyer, Mohammad Sadek

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina el mundo de las matemáticas como un gigantesco patio de recreo cósmico donde las formas llamadas "curvas" danzan alrededor. Algunas de estas curvas son bucles simples, pero otras son salvajes curvas hiperelípticas que parecen pretzels hechos de infinitas posibilidades. Escondidos dentro de estas curvas se encuentran tesoros secretos llamados "puntos de torsión". Piensa en estos puntos como llaves especiales. Si usas una llave para abrir una puerta (el jacobiano de la curva, que es como su sala de máquinas interna) y la giras exactamente $N$ veces, regresas al punto de partida, como si nunca te hubieras movido.

Durante mucho tiempo, los matemáticos intentaron averiguar qué tan grandes podían ser estas llaves. Sabían que para las curvas simples de un solo bulto (género 1), las llaves tenían un límite de tamaño estricto. Pero para las curvas más complejas de múltiples bultos (género $g \ge 2$ ), las reglas eran difusas. Un matemático llamado Flynn hizo una conjetura audaz: pensó que había una constante mágica, llamémosla $\kappa$ , que actuaba como una regla. Supuso que para cualquier curva con $g$ bultos, podías encontrar una llave de tamaño $N$ siempre que $N$ fuera menor que $\kappa$ por $g$ . Un investigador llamado Leprévost demostró que esto era cierto, pero solo si la llave no era mayor que $3g$ . Era como decir: "Podemos encontrar llaves de tamaño hasta 30 para una curva de 10 bultos, pero tal vez no más grandes".

Aquí es donde entra el giro: el espacio entre $3g$ y los límites cuadráticos mucho más grandes (donde las llaves podrían ser tan grandes como $g^2$ ) era un cañón oscuro y inexplorado. Nadie sabía si existían llaves en ese vacío.

Entran en escena Mohammad Sadek y Hamide Suluyer. Decidieron construir un puente a través de ese cañón. No se limitaron a conjeturar; construyeron una fábrica.

La Fábrica de Curvas Infinitas
Los autores construyeron una familia paramétrica de curvas. Imagina una impresora 3D gigante que puede imprimir un número infinito de estas curvas hiperelípticas. Al ajustar los diales (que son simplemente variables como $s$ , $t$ y $u$ ), podían imprimir curvas con propiedades específicas.

Su principal descubrimiento es un nuevo conjunto de reglas para el tamaño de las llaves. Demostraron que para cualquier curva con al menos 3 bultos ( $g \ge 3$ ), pueden crear una familia de curvas que tiene una llave de tamaño $N$ , siempre que $N$ se encuentre en el rango entre $3g$ y $4g + 1$ .

Para hacer esto concreto, demostraron que podían imprimir:

Curvas con 3 bultos ( $g=3$ ) que tienen una llave de tamaño 13.
Curvas con 4 bultos ( $g=4$ ) que tienen una llave de tamaño 15.
Curvas con 5 bultos ( $g=5$ ) que tienen llaves de tamaño 17, 18 y 21.

Estos no son hallazgos fortuitos aislados. El artículo demuestra que existen infinitamente muchas curvas diferentes y no idénticas para cada uno de estos tamaños. Es como decir: "Podemos imprimir un suministro infinito de curvas de 3 bultos, y cada una de ellas tendrá una llave de tamaño 13".

Cómo lo hicieron: La Magia de las Fracciones
¿Cómo encontraron estas llaves? Utilizaron una herramienta matemática llamada "fracciones continuas". Imagina que estás tratando de describir un número descomponiéndolo en una cadena de fracciones cada vez más pequeñas. Usualmente, esta cadena continúa para siempre. Pero para estas curvas especiales, la cadena comienza a repetirse, como una canción con un estribillo pegajoso.

Los autores descubrieron un vínculo profundo: si la cadena de fracciones se repite en un patrón específico y simétrico (que ellos llaman "sesquicéntrico" o "simétrico respecto al centro"), entonces la curva tiene un punto de torsión. El tamaño de la llave ( $N$ ) se determina sumando las longitudes de las piezas en ese patrón repetitivo. Al diseñar cuidadosamente la curva para que la cadena de fracciones se repiera de la manera justa, forzaron a la curva a tener una llave del tamaño exacto que deseaban.

Lo que no hicieron (y lo que no pretendieron)
Es importante notar lo que este artículo no dice. No demostraron que existan llaves de todos los tamaños, sino solo aquellas en ese rango específico de $3g$ a $4g+1$ . Tampoco pretendieron haber encontrado el tamaño máximo absoluto posible para estas llaves; simplemente empujaron la frontera más allá de lo que nadie había logrado antes.

Además, no se limitaron a simular estas curvas en una computadora y esperar lo mejor. Utilizaron álgebra rigurosa para demostrar que estas familias existen. Incluso verificaron que muchas de estas curvas son "absolutamente simples", lo que significa que sus motores internos son tan complejos que no pueden descomponerse en máquinas más simples. Este es un hecho sólido y probado, no una suposición.

La Conclusión
Sadek y Suluyer han llenado un vacío en el mapa de los tesoros matemáticos. Mostraron que la "zona prohibida" entre $3g$ y $4g+1$ está en realidad llena de llaves ocultas. Construyeron una máquina capaz de generar un suministro infinito de estas curvas, demostrando que para un número impar de bultos, puedes obtener una llave de tamaño $4g+1$ , y para un número par, puedes obtener una llave de tamaño $4g-1$ .

Así que, la próxima vez que escuches hablar de una curva de 5 bultos, recuerda: gracias a este trabajo, sabemos con certeza que hay infinitas de ellas escondiendo una llave secreta de tamaño 21, esperando ser descubierta.

Resumen Técnico: Torsión Racional en Variedades Jacobianas Hiperelípticas

Planteamiento del Problema
El artículo aborda el problema de determinar qué enteros pueden realizarse como el orden de un punto de torsión racional en la jacobiana de una curva hiperelíptica de género $g$ sobre $\mathbb{Q}$ . Mientras que el teorema de Merel garantiza un límite uniforme para los subgrupos de torsión en curvas elípticas (género $g=1$ ) sobre cuerpos de número de grado fijo, no existe tal límite uniforme o clasificación completa para variedades abelianas de dimensión $d \ge 2$ .

Un trabajo previo de Flynn conjeturó la existencia de una constante $\kappa$ tal que para cualquier $g \ge 2$ y cualquier $m \le \kappa g$ , existe una curva hiperelíptica de género $g$ con un punto de torsión racional de orden $m$ . Leprévost probó esto con $\kappa = 3$ , estableciendo la existencia de puntos de torsión de orden hasta $3g$ . Sin embargo, persistía una brecha entre estos límites lineales ( $3g$ ) y los límites cuadráticos previamente conocidos ( $g^2 + \dots$ ). Los autores pretenden extender el rango de órdenes de torsión realizables más allá de $3g$ y proporcionar familias paramétricas explícitas para estos nuevos órdenes.

Metodología
Los autores emplean una conexión entre los divisores de torsión en el infinito en curvas hiperelípticas y la periodicidad de las fracciones continuadas sobre cuerpos de funciones.

Marco Teórico: Sea $C$ una curva hiperelíptica $y^2 = f(x)$ de género $g$ . El divisor en el infinito $D_\infty = \infty_+ - \infty_-$ es de torsión de orden $N$ si y solo si la expansión de la fracción continua de $\sqrt{f(x)}$ es periódica. El orden $N$ está determinado por los grados de los cocientes parciales en esta expansión.
Estrategia de Construcción: Los autores se centran en construir curvas donde la expansión de la fracción continua de $\sqrt{f(x)}$ tiene una longitud de cuasi-periodo específica $m=6$ (y longitud de periodo $n=6$ ). Esto corresponde a una expansión de la forma $[a_0; a_1, a_2, a_3, a_2, a_1, 2a_0]$ .
Análisis Diofántico: Para asegurar que la expansión produzca una curva hiperelíptica válida, los autores derivan una ecuación diofántica polinómica que relaciona los cocientes parciales $a_i(x)$ . Resuelven esta ecuación utilizando el Lema 3.1, expresando los coeficientes en términos de polinomios arbitrarios $a_1, r, u$ con restricciones de grado específicas.
Familias Paramétricas: Al fijar los grados de estos polinomios ( $\deg a_1 = \alpha, \deg r = \beta, \deg u = \gamma$ ) y satisfacer la condición de partición $2\alpha + 2\beta + \gamma = g+1$ , construyen familias explícitas de curvas. El orden del punto de torsión se calcula como $N = g + 1 + 6\alpha + 3\beta + \gamma$ .

Contribuciones Clave y Resultados
El artículo establece la existencia de familias paramétricas de variedades jacbianas hiperelípticas con puntos de torsión racional de órdenes $N$ en el intervalo $[3g, 4g+1]$ para $g \ge 3$ , siempre que $N$ satisfaga condiciones de partición específicas derivadas de los grados de los polinomios en la construcción.

Límites Extendidos: Los autores prueban que para $g \ge 3$ , existen familias infinitas de curvas con órdenes de torsión $N$ donde $3g \le N \le 4g+1$ .
Casos Específicos:
- Si $g$ es impar, existen familias con orden de torsión $N = 4g + 1$ .
- Si $g$ es par, existen familias con orden de torsión $N = 4g - 1$ .
Ejemplos Explícitos: El artículo proporciona los primeros ejemplos infinitos conocidos de variedades jacbianas hiperelípticas con órdenes de torsión específicos que no figuraban previamente en la literatura:
- Género 3 ( $g=3$ ): Orden de torsión 13.
- Género 4 ( $g=4$ ): Orden de torsión 15.
- Género 5 ( $g=5$ ): Órdenes de torsión 17, 18 y 21.
Simplicidad Absoluta: Los autores demuestran que para infinitos parámetros en estas familias, las variedades jacbianas resultantes son absolutamente simples (es decir, su anillo de endomorfismos es $\mathbb{Z}$ ). Esto se establece mediante el análisis de los grupos de Galois de los polinomios definidores, mostrando que a menudo son el grupo simétrico completo $S_{2g+1}$ o el grupo alternante $A_{2g+1}$ .

Significado
El artículo pretende abordar la brecha entre los límites lineales establecidos por Leprévost ( $\kappa=3$ ) y los límites de orden superior. Al utilizar fracciones continuas sobre cuerpos de funciones, los autores logran construir con éxito nuevas familias infinitas de curvas hiperelípticas con puntos de torsión racional de órdenes significativamente mayores que $3g$ .

El trabajo proporciona las primeras familias infinitas explícitas para los órdenes de torsión 13, 15, 17, 18 y 21 para sus respectivos géneros. Además, el resultado de que estas variedades son a menudo absolutamente simples añade un valor significativo, ya que asegura que no son meramente productos de variedades abelianas de menor dimensión, sino que representan estructuras distintas e irreducibles. La metodología demuestra que las fracciones continuas, una herramienta históricamente vinculada a las curvas elípticas (género 1), pueden extenderse eficazmente para estudiar la torsión en variedades jacbianas de mayor dimensión.

Resumen Técnico: Torsión Racional en Variedades Jacobianas Hiperelípticas

Más como este