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

Resumo Técnico: 2-Ciclos Racionais para $x^3 + bx + a$ e a Família Elíptica $Y^2 = X^3 + 4X^2 + 16t^2$

Enunciado do Problema
O artigo investiga a existência e as propriedades aritméticas de 2-ciclos racionais para a família de polinômios cúbicos $f_{b,a}(x) = x^3 + bx + a$ sobre os números racionais $\mathbb{Q}$, onde $a$ e $b$ são parâmetros racionais fixos. Especificamente, para um $a \in \mathbb{Q}$ não nulo fixo, os autores buscam determinar o conjunto de valores racionais $b$ para os quais o mapa $f_{b,a}$ admite um ponto racional de período exato 2. Um 2-ciclo racional é definido como um par ordenado $(x_1, x_2) \in \mathbb{Q}^2$ com $x_1 \neq x_2$ tal que $f_{b,a}(x_1) = x_2$ e $f_{b,a}(x_2) = x_1$.

Metodologia
Os autores empregam uma combinação de dinâmica aritmética, a teoria de curvas elípticas e teoria computacional numérica explícita. A metodologia central envolve:

1. Redução a Curvas Elípticas: Os autores utilizam a classificação de polinômios cúbicos sobre $\mathbb{Q}$ em duas formas normais. Enquanto a Forma Normal I (polinômios ímpares) produz um lócus de período-2 racional, a Forma Normal II (polinômios gerais) produz um espaço de módulos elíptico. Mostra-se que a família $f_{b,a}$ é linearmente conjugada sobre $\mathbb{Q}$ à "fatia de coeficiente quadrático" da Forma Normal II. Isso reduz o problema dinâmico à aritmética de uma família específica de curvas elípticas de um parâmetro:
   $$E_t: Y^2 = X^3 + 4X^2 + 16t^2$$
   onde a especialização $t=a$ corresponde ao parâmetro dinâmico $a$.

2. Dicionário Biracional: Um mapa biracional explícito é construído entre pontos racionais na curva especializada $E_a$ (excluindo lócus degenerados onde $X=0$ ou $Y=0$) e 2-ciclos racionais de $f_{b,a}$. Este dicionário permite a tradução de questões dinâmicas em questões sobre pontos racionais em curvas elípticas.

3. Polinômios de Divisão e o Teorema de Mazur: Para provar a existência de infinitos tais parâmetros $b$, os autores analisam o grupo de Mordell–Weil da família genérica $E_t$. Eles focam em uma seção distinta $P_t = (0, -4t)$. Usando avaliações explícitas de polinômios de divisão em $P_t$, $[2]P_t$ e $[4]P_t$, eles provam que $P_t$ tem ordem infinita para todo $t \in \mathbb{Q}^\times$. Esta prova baseia-se unicamente no teorema de Mazur sobre possíveis ordens de torção sobre $\mathbb{Q}$ e não depende da análise de torção subsequente da família.

4. Análise de Torção via Curvas Modulares: Independentemente da aplicação dinâmica, o artigo conduz um estudo aritmético mais refinado do subgrupo de torção de $E_t$.

   • Torção de Ordem 2: O lócus de parâmetros $t$ que admitem um ponto racional de ordem 2 é determinado explicitamente.
   • Torção Ímpar (3, 5, 7): Os autores provam que para $t \neq 0$, $E_t$ não admite pontos racionais de ordem 3, 5 ou 7.
     • A ordem 3 é excluída reduzindo o problema ao grupo de Mordell–Weil de uma curva elíptica auxiliar de posto (rank) 0.
     • A ordem 5 é excluída analisando o produto de fibras do mapa $j$ com a curva modular $X_0(5)$. Isso resulta em uma curva de gênero 3, $C_5$. Usando uma construção de variedade Prym (Ritzenthaler–Romagny), os autores mostram que o Jacobiano relevante tem posto 0 e determinam os pontos racionais em $C_5$.
     • A ordem 7 é excluída analisando o produto de fibras com $X_1(7)$, levando a uma curva hiperelíptica de gênero 3, $C_7$. Os pontos racionais em $C_7$ são determinados usando um descente de duas coberturas (Bruin–Stoll) seguido de Chabauty elíptico sobre o corpo quadrático $\mathbb{Q}(\sqrt{21})$.

Principais Contribuições e Resultados

1. Dicionário Explícito: O artigo fornece fórmulas explícitas relacionando 2-ciclos racionais de $x^3 + bx + a$ a pontos racionais em $Y^2 = X^3 + 4X^2 + 16a^2$.
2. Ordem Infinita de uma Seção: É provado que a seção $P_t = (0, -4t)$ tem ordem infinita em $E_t$ para todo $t \in \mathbb{Q}^\times$. Isso é estabelecido via um argumento de polinômio de divisão autossuficiente que exclui todas as ordens de torção permitidas pelo teorema de Mazur.
3. Posto Positivo e Infinitos Parâmetros: Como consequência direta, para cada $a \in \mathbb{Q}$ não nulo fixo, a curva especializada $E_a$ possui posto de Mordell–Weil positivo. Consequentemente, existem infinitos valores racionais de $b$ tais que $f_{b,a}$ admite um 2-ciclo racional.
4. Classificação de Torção: O artigo determina a estrutura de torção racional da família genérica $E_t$. Mostra-se que $E_t(\mathbb{Q})$ não contém pontos racionais de ordem 3, 5 ou 7. O subgrupo de torção é trivial ou cíclico de ordem 2, 4 ou 8, com torção não trivial ocorrendo apenas em um lócus específico de um parâmetro definido por $t = u(u^2+4)/4$.
5. Computações Certificadas: A exclusão da torção de ordens 5 e 7 baseia-se em computações certificadas usando Magma em curvas explícitas de gênero 3. O artigo fornece scripts de verificação detalhados e checksums para reprodutibilidade.

Significado e Alegações
Os autores alegam que sua principal novidade não reside na existência de uma descrição de módulo elíptico para ciclos cúbicos de ordem 2 (o que já havia sido observado por Ingram), mas sim na análise aritmética especializada da família resultante da forma específica $x^3 + bx + a$.

• Conclusão Dinâmica: O trabalho estabelece um resultado uniforme: para qualquer $a$ racional não nulo fixo, a família $x^3 + bx + a$ admite 2-ciclos racionais para infinitos valores racionais de $b$. Isto é derivado da ordem infinita de uma seção específica na curva elíptica associada.
• Independência Aritmética: A prova da ordem infinita da seção é logicamente independente da análise detalhada de torção (Seções 5–8). A análise de torção é apresentada como um estudo de interesse independente em relação à família genérica $E_t$, fornecendo um quadro completo de seus subgrupos de torção racional.
• Rigor Metodológico: O artigo enfatiza o uso de métodos computacionais certificados (polinômios de divisão, variedades Prym, descente de duas coberturas e Chabauty elíptico) para excluir rigorosamente ordens de torção específicas, garantindo que os resultados não sejam meramente heurísticos.

Os autores não pretendem resolver o problema geral de pontos pré-periódicos racionais para todos os polinômios cúbicos, nem propõem novas aplicações experimentais. O trabalho está estritamente confinado ao estudo aritmético do lócus de 2-ciclos para a família cúbica especificada e a família de curvas elípticas associada.