🔢 mathematics

Quadratic torsion orders on Jacobian varieties

Este artículo establece la existencia de curvas hiperelípticas sobre $\mathbb{Q}$ con jacobianos que poseen puntos de torsión racionales de órdenes específicos altos, incluyendo una familia constructiva de un parámetro para el orden $N = 2g^2 + 7g + 1$ .

Autores originales: Hamide Kuru, Mohammad Sadek

Publicado 2026-07-10

📖 4 min de lectura🧠 Análisis profundo

CC0 1.0

Autores originales: Hamide Kuru, Mohammad Sadek

Artículo original dedicado al dominio público bajo CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.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 matemático como una vasta y bulliciosa ciudad de formas llamadas variedades jacobianas. Estas no son solo formas cualquiera; son los "yo sombríos" de líneas curvas conocidas como curvas hiperelípticas. En esta ciudad, hay viajeros especiales llamados puntos de torsión. Piensa en estos puntos como bailarines que realizan una rutina: dan un paso, luego otro, y finalmente, después de un número específico de pasos, aterrizan exactamente donde comenzaron. Ese número de pasos es su orden.

Durante mucho tiempo, los matemáticos han intentado construir estas curvas para que sus bailarines tengan rutinas de longitud específica y predecible. La gran pregunta es: ¿Se puede construir una curva donde el número de pasos que da el bailarín crezca cuadráticamente con el tamaño de la curva? En otras palabras, si la curva se hace más grande (medida por un número llamado género, llamémoslo $g$ ), ¿puede la longitud de la rutina de baile explotar como $g^2$ en lugar de crecer lentamente como $g$ ?

El Gran Descubrimiento: Una Nueva Pista de Baile
Mohammad Sadek y Hamide Suluyer han construido un nuevo conjunto de pistas de baile (curas) donde los bailarines realizan rutinas cuadráticas masivas. Demostraron que para cualquier tamaño de curva $g$ (siempre que $g \ge 2$ ), pueden construir una curva hiperelíptica donde los bailarines tienen una rutina de longitud exactamente de:

$4g^2 + 2g - 2$ pasos, o
$4g^2 + 2g - 4$ pasos.

Para visualizar esto, imagina que si una curva de tamaño $g=4$ (una forma de tamaño medio) usualmente tuviera bailarines dando quizás 10 o 20 pasos. Con esta nueva construcción, los bailarines en la curva de $g=4$ dan 70 pasos antes de volver a casa. Esta es la primera vez que alguien encuentra una curva de género 4 con un punto de torsión racional de orden 70. Es como descubrir una nueva especie de ave que puede volar el doble de alto de lo que todos pensaban posible.

La Fórmula "Mágica"
¿Cómo lo hicieron? No solo adivinaron; construyeron una máquina. Crearon una familia especial de polinomios de 1 parámetro (piensa en estos como planos para las curvas). Al ajustar un solo dial (una variable llamada $t$ ), pueden generar un número infinito de estas curvas.

Para casi cualquier configuración de este dial (excepto para algunos puntos rotos), si el plano no colapsa (el discriminante es distinto de cero), la curva resultante garantiza tener un bailarín con una rutina de $2g^2 + 7g + 1$ pasos.

Para una curva de género 3, esta fórmula da una rutina de 40 pasos.
Para una curva de género 5, da 86 pasos.

Lo Que No Hicieron (y Lo Que Descartaron)
Es importante notar lo que este artículo no hace. No encontraron un número mágico que funcione para todas las posibles rutinas de baile. No probaron que todos los números cuadráticos sean posibles. Específicamente construyeron curvas para estas dos fórmulas cuadráticas muy específicas ( $4g^2 + 2g - 2$ y $4g^2 + 2g - 4$ ) y la familia de un parámetro ( $2g^2 + 7g + 1$ ).

Tampoco se limitaron a simular estas curvas en una computadora y decir: "Parece que funcionan". Ellos lo probaron. Utilizaron argumentos matemáticos rigurosos para demostrar que las curvas son, de hecho, del tamaño de género correcto y que los bailarines deben volver a casa después de exactamente esos números específicos de pasos. Incluso verificaron la naturaleza "simple" de estas curvas (es decir, que no pueden descomponerse en curvas más pequeñas y simples) usando cálculos computacionales para ejemplos pequeños, confirmando que son formas únicas e indivisibles.

El Nivel de Confianza
Los autores están extremadamente seguros. No solo sugirieron que estas curvas podrían existir; establecieron su existencia.

Probaron que para cualquier entero $g \ge 2$ , estas curvas específicas existen sobre los números racionales (las fracciones que usamos en la matemática cotidiana).
Probaron que el orden de los puntos de torsión es exactamente los números que reclamaron.
Verificaron con software de computadora (Magma) que para valores pequeños de $g$ (hasta 1662 en un caso y 1695 en otro), las curvas no se descomponen ni se vuelven desordenadas.

Por Qué Importa
Antes de esto, el récord de qué tan rápido podía crecer la rutina de baile era lineal (como $3g$ o $4g$ ). Este artículo rompe este techo, demostrando que la rutina puede crecer cuadráticamente (como $g^2$ ). Es un paso significativo hacia la comprensión de los límites de estas formas matemáticas. No resolvieron todo el misterio de cada posible rutina de baile, pero definitivamente abrieron una nueva puerta, demostrando que estas masivas rutinas cuadráticas no son solo un sueño, sino una realidad que podemos construir.

Resumen Técnico: Órdenes de Torsión Cuadrática en Variedades Jacobianas

Planteamiento del Problema
El artículo aborda el problema de la construcción de curvas hiperelípticas de género $g \ge 2$ definidas sobre el cuerpo racional $\mathbb{Q}$ cuyas variedades jacobianas posean puntos de torsión racionales de órdenes específicos. Si bien el teorema de Mordell-Weil garantiza que el grupo de puntos racionales en una variedad abeliana es finitamente generado, la estructura del subgrupo de torsión sigue siendo un área central de investigación. Investigaciones previas han establecido la existencia de curvas con órdenes de torsión lineales en $g$ (por ejemplo, en el intervalo $[3g, 4g+1]$ ) y, más recientemente, órdenes cuadráticos en intervalos específicos como $[g^2 + 2g + 1, g^2 + 3g + 1]$ y $[2g^2 + 2g + 1, 2g^2 + 5g + 5]$ . Los autores plantean la pregunta de si es posible construir variedades abelianas de dimensión $g$ que posean puntos de torsión racionales con órdenes que sean cuadráticos en $g$ , apuntando específicamente a órdenes mayores a los construidos previamente por Flynn y Leprévost.

Metodología
Los autores emplean un enfoque constructivo basado en la teoría de divisores en curvas hiperelípticas.

Construcción de la Curva: Consideran curvas hiperelípticas $C$ definidas por $y^2 = f(x)$ , donde $f(x)$ es un polinomio de grado impar $2g+1$ . El polinomio se construye de la forma $f(x) = A(x)^2 - \lambda x^{g+1+d}(x-1)^{g-d}$ , donde $A(x) \in \mathbb{Q}[x]$ tiene grado a lo sumo $g$ , y $\lambda, d$ son parámetros.
Análisis de Divisores: El estudio se centra en las propiedades de torsión de los divisores de la forma $D = P - P_\infty$ , donde $P$ es un punto racional en la curva y $P_\infty$ es el punto en el infinito. Los autores utilizan espacios de Riemann-Roch para identificar funciones racionales $\phi$ con propiedades de divisores específicas, concretamente $\text{div}(\phi) = (g+m)P'_0 + (g+m+2)P_1 - (2g+2m+2)P_\infty$ .
Derivación Algebraica: Mediante el análisis de la norma de estas funciones racionales e imponiendo condiciones sobre los coeficientes de $A(x)$ , los autores derivan familias explícitas de polinomios de 1 parámetro. Resuelven para los parámetros $\lambda$ y $\alpha$ (o un parámetro $t$ en la familia infinita) para asegurar que la curva resultante sea no singular (discriminante libre de cuadrados) y que el orden de torsión sea exactamente el valor objetivo.
Verificación de Género y Simplicidad: Para casos específicos, los autores demuestran que las curvas construidas tienen género $g$ demostrando que los polinomios definitorios son libres de cuadrados. Esto implica analizar los resultantes de polinomios auxiliares y utilizar cotas de altura (el teorema de Smyth y la desigualdad de Landau) para limitar el rango de $g$ que requiere verificación computacional. También verifican que los Jacobianos de los ejemplos de bajo género son $\mathbb{Q}$ -simples mediante el examen de la irreducibilidad de sus polinomios característicos de Frobenius sobre cuerpos finitos.

Contribuciones Clave y Resultados
El artículo establece la existencia de curvas hiperelípticas de género $g \ge 2$ con puntos de torsión racionales de los siguientes órdenes:

Nuevos Órdenes Cuadráticos: Para cualquier entero $g \ge 2$ $g \geq 2$ , los autores construyen curvas con puntos de torsión racionales de orden $N = 4g^2 + 2g - 2$ $N = 4 g^{2} + 2 g - 2$ y $N = 4g^2 + 2g - 4$ $N = 4 g^{2} + 2 g - 4$ .
- Específicamente, para $C_{g, g-1}$ , el orden de torsión es $4g^2 + 2g - 2$ .
- Para $C_{g, g-2}$ , el orden de torsión es $4g^2 + 2g - 4$ .
- Estos resultados extienden el rango conocido de órdenes de torsión cuadrática más allá de los límites establecidos previamente por Flynn y Leprévost.
Ejemplos Específicos: Los autores proporcionan los primeros ejemplos conocidos de una curva hiperelíptica de género 4 sobre $\mathbb{Q}$ con un punto de torsión racional de orden 70 (donde $g=4$ rinde $4(16)+8-2 = 70$ ).
Familias Infinitas: Para el orden $N = 2g^2 + 7g + 1$ , los autores introducen una familia de polinomios de 1 parámetro $f_t(x)$ de grado $2g+1$ . Demuestran que para todos los valores racionales del parámetro $t$ salvo un número finito, si el discriminante es distinto de cero, la curva resultante tiene un punto de torsión racional de este orden. Esta familia funciona tanto para $g$ impar como par (con ajustes de parámetros específicos para $g$ par).
Simplicidad: Se muestra que los Jacobianos de las curvas construidas para géneros bajos ( $2 \le g \le 5$ ) son $\mathbb{Q}$ -simples, lo que significa que no son isógenas a productos de variedades abelianas de menor dimensión.

Significancia
El artículo afirma extender los resultados de Flynn y Leprévost al producir los primeros ejemplos de curvas hiperelípticas cuyos Jacobianos poseen puntos de torsión racionales de órdenes $4g^2 + 2g - 2$ y $4g^2 + 2g - 4$ . Estos órdenes representan un incremento significativo sobre los límites cuadráticos conocidos anteriormente. Además, la construcción de la familia de 1 parámetro para el orden $2g^2 + 7g + 1$ demuestra la existencia de familias infinitas de tales curvas. El trabajo contribuye a la comprensión general de la conjetura de la acotación uniforme para subgrupos de torsión al expandir el conjunto de órdenes de torsión realizables para curvas de género superior. Los autores señalan explícitamente que su ejemplo de género 4 con orden de torsión 70 es el primero de su tipo en la literatura, distinguiéndolo de variedades abelianas no simples que podrían poseer tal torsión.

Más como este