Rational 2-Cycles for $x^3+bx+a$ and the Elliptic Family $Y^2=X^3+4X^2+16t^2$

Resumen Técnico: 2-Ciclos Racionales para $x^3 + bx + a$ y la Familia Elíptica $Y^2 = X^3 + 4X^2 + 16t^2$

Planteamiento del Problema
El artículo investiga la existencia y las propiedades aritméticas de los 2-ciclos racionales para la familia de polinomios cúbicos $f_{b,a}(x) = x^3 + bx + a$ sobre los números racionales $\mathbb{Q}$, donde $a$ y $b$ son parámetros racionales fijos. Específicamente, para un $a \in \mathbb{Q}$ no nulo fijo, los autores buscan determinar el conjunto de valores racionales $b$ para los cuales el mapa $f_{b,a}$ admite un punto racional de periodo exacto 2. Un 2-ciclo racional se define como un par ordenado $(x_1, x_2) \in \mathbb{Q}^2$ con $x_1 \neq x_2$ tal que $f_{b,a}(x_1) = x_2$ y $f_{b,a}(x_2) = x_1$.

Metodología
Los autores emplean una combinación de dinámica aritmética, la teoría de curvas elípticas y teoría de números computacional explícita. La metodología central involucra:

1. Reducción a Curvas Elípticas: Los autores utilizan la clasificación de polinomios cúbicos sobre $\mathbb{Q}$ en dos formas normales. Mientras que la Forma Normal I (polinomios impares) produce un lóbulo de periodo 2 racional, la Forma Normal II (polinomios generales) produce un espacio de módulos elípticos. Se demuestra que la familia $f_{b,a}$ es linealmente conjugada sobre $\mathbb{Q}$ a la "rebanada de coeficiente cuadrado" de la Forma Normal II. Esto reduce el problema dinámico a la aritmética de una familia específica de curvas elípticas de un parámetro:
   $$E_t: Y^2 = X^3 + 4X^2 + 16t^2$$
   donde la especialización $t=a$ corresponde al parámetro dinámico $a$.

2. Diccionario Biracional: Se construye un mapa biracional explícito entre los puntos racionales en la curva especializada $E_a$ (excluyendo los loci degenerados donde $X=0$ o $Y=0$) y los 2-ciclos racionales de $f_{b,a}$. Este diccionario permite la traslación de preguntas dinámicas a preguntas sobre puntos racionales en curvas elípticas.

3. Polinomios de División y Teorema de Mazur: Para probar la existencia de infinitos tales parámetros $b$, los autores analizan el grupo de Mordell–Weil de la familia genérica $E_t$. Se centran en una sección distinguida $P_t = (0, -4t)$. Utilizando evaluaciones explícitas de los polinomios de división en $P_t$, $[2]P_t$ y $[4]P_t$, demuestran que $P_t$ tiene orden infinito para cada $t \in \mathbb{Q}^\times$. Esta prueba se basa únicamente en el teorema de Mazur respecto a los posibles órdenes de torsión sobre $\mathbb{Q}$ y no depende del análisis de torsión posterior de la familia.

4. Análisis de Torsión vía Curvas Modulares: Independientemente de la aplicación dinámica, el artículo realiza un estudio aritmético más fino del subgrupo de torsión de $E_t$.

   • 2-Torsión: El lóbulo de parámetros $t$ que admiten un punto racional de orden 2 se determina explícitamente.
   • Torsión Impar (3, 5, 7): Los autores prueban que para $t \neq 0$, $E_t$ no admite puntos racionales de orden 3, 5 o 7.
     • El orden 3 se excluye reduciendo el problema al grupo de Mordell–Weil de una curva elíptica auxiliar de rango 0.
     • El orden 5 se excluye mediante el análisis del producto de fibra del mapa $j$ con la curva modular $X_0(5)$. Esto resulta en una curva de género 3, $C_5$. Usando una construcción de variedad Prym (Ritzenthaler–Romagny), los autores muestran que el Jacobiano relevante tiene rango 0 y determinan los puntos racionales en $C_5$.
     • El orden 7 se excluye mediante el análisis del producto de fibra con $X_1(7)$, lo que conduce a una curva hiperelíptica de género 3, $C_7$. Los puntos racionales en $C_7$ se determinan utilizando un descenso de doble cobertura (Bruin–Stoll) seguido de Chabauty elíptico sobre el cuerpo cuadrático $\mathbb{Q}(\sqrt{21})$.

Contribuciones Clave y Resultados

1. Diccionario Explícito: El artículo proporciona fórmulas explícitas que relacionan los 2-ciclos racionales de $x^3 + bx + a$ con los puntos racionales en $Y^2 = X^3 + 4X^2 + 16a^2$.
2. Orden Infinito de una Sección: Se prueba que la sección $P_t = (0, -4t)$ tiene orden infinito en $E_t$ para todo $t \in \mathbb{Q}^\times$. Esto se establece mediante un argumento de polinomios de división autónomo que excluye todos los órdenes de torsión permitidos por el teorema de Mazur.
3. Rango Positivo e Infinitos Parámetros: Como consecuencia directa, para cada $a \in \mathbb{Q}$ no nulo fijo, la curva especializada $E_a$ tiene rango de Mordell–Weil positivo. Por consiguiente, existen infinitos valores racionales de $b$ tales que $f_{b,a}$ admite un 2-ciclo racional.
4. Clasificación de la Torsión: El artículo determina la estructura de torsión racional de la familia genérica $E_t$. Se muestra que $E_t(\mathbb{Q})$ no contiene puntos racionales de orden 3, 5 o 7. El subgrupo de torsión es trivial o cíclico de orden 2, 4 o 8, ocurriendo la torsión no trivial solo en un lóbulo de un parámetro específico definido por $t = u(u^2+4)/4$.
5. Computaciones Certificadas: La exclusión de la torsión de órdenes 5 y 7 depende de computaciones certificadas usando Magma en curvas explícitas de género 3. El artículo proporciona scripts de verificación detallados y sumas de comprobación (checksums) para la reproducibilidad.

Significancia y Reivindicaciones
El artículo sostiene que su principal novedad no reside en la existencia de una descripción de módulos elípticos para 2-ciclos cúbicos (que ya había sido señalada por Ingram), sino en el análisis aritmético especializado de la familia que surge de la forma específica $x^3 + bx + a$.

• Conclusión Dinámica: El trabajo establece un resultado uniforme: para cualquier $a$ racional no nulo fijo, la familia $x^3 + bx + a$ admite 2-ciclos racionales para infinitos valores racionales de $b$. Esto se deriva del orden infinito de una sección específica en la curva elíptica asociada.
• Independencia Aritmética: La prueba del orden infinito de la sección es lógicamente independiente del análisis detallado de la torsión (Secciones 5–8). El análisis de torsión se presenta como un estudio de interés independiente respecto a la familia genérica $E_t$, proporcionando una imagen completa de sus subgrupos de torsión racional.
• Rigor Metodológico: El artículo enfatiza el uso de métodos computacionales certificados (polinomios de división, variedades Prym, descenso de doble cobertura y Chabauty elíptico) para excluir rigurosamente órdenes de torsión específicos, asegurando que los resultados no sean meramente heurísticos.

Los autores no pretenden resolver el problema general de los puntos preperiódicos racionales para todos los polinomios cúbicos, ni proponen nuevas aplicaciones experimentales. El trabajo está estrictamente limitado al estudio aritmético del lóbulo de 2-ciclos para la familia cúbica especificada y la familia de curvas elípticas asociada.