Computational Evidence Against Quadratic-Cubic Factorization for the Second Cuboid Quintic

Resumo Técnico: Evidência Computacional Contra a Fatoração Quadrática–Cúbica para o Quíntico do Segundo Cuboide

Enunciado do Problema
O artigo aborda um aspecto algébrico específico do problema do Cuboide Perfeito, que busca um paralelepípedo retangular com arestas inteiras onde todas as diagonais das faces e a diagonal espacial sejam inteiras. Seguindo a estrutura estabelecida por R. A. Sharipov, o problema reduz-se a provar a irredutibilidade de uma família de polinômios pares de grau 10, $Q_{p,q}(t)$, sobre os inteiros para parâmetros coprimos $p \neq q > 0$.

Os autores focam no caso de fatoração "quadrática–cúbica" (2+3). Ao normalizar as variáveis, o polinômio de grau 10 $Q_{p,q}(t)$ é transformado em uma família de um único parâmetro de polinômios quínticos mônicos, $P_s(x)$, onde $s = (p/q)^2$. A questão central é se $P_s(x)$ admite uma fatoração em um polinômio quadrático e um cúbico sobre $\mathbb{Q}$ para qualquer $s > 0$ racional onde $s \neq 1$. Uma resposta positiva implicaria a existência de um fator quártico par no polinômio original, potencialmente obstruindo a conjectura de irredutibilidade.

Metodologia
Os autores empregam uma abordagem algébrica direta combinada com teoria de números computacional:

1. Redução Algébrica:

   • Eles consideram um divisor quadrático mônico genérico $D(x) = x^2 + ax + b$, com $a, b \in \mathbb{Q}$.
   • Usando divisão euclidiana, eles computam o resto $R(x) = R_1(s, a, b)x + R_0(s, a, b)$ quando $P_s(x)$ é dividido por $D(x)$.
   • Uma observação estrutural fundamental é que tanto $R_1$ quanto $R_0$ são quadráticos no parâmetro $b$.
   • Ao impor a condição $R_1 = 0$, os autores mostram que a segunda condição $R_0 = 0$ torna-se linear em $b$. Isso permite a eliminação de $b$ para derivar uma única equação polinomial $F(s, a) = 0$ no plano $(s, a)$, denominada "curva de obstrução".

2. Análise de Casos:

   • Caso Não Degenerado ($L \neq 0$): Quando o coeficiente linear $L(s, a)$ é não nulo, $b$ é unicamente determinado como $b = C(s, a)/L(s, a)$. Substituindo isso, obtém-se o polinômio de obstrução $F(s, a) = 0$.
   • Caso Degenerado ($L = C = 0$): Os autores analisam separadamente o lócus onde a linearização falha. Eles provam via resultantes que as únicas soluções racionais para $L(s, a) = C(s, a) = 0$ são $(s, a) = (1, 2)$ e $(-1, 2)$. Como o domínio do problema exige $s > 0$ e $s \neq 1$, este lócus degenerado não produz soluções válidas.

3. Busca Computacional:

   • O polinômio de obstrução $F(s, a)$ define uma curva plana projetiva $C$ de grau 17 com gênero geométrico 7.
   • Determinar todos os pontos racionais em tais curvas é um problema diofantino difícil. Em vez de tentar uma determinação teórica completa (ex: via métodos de Chabauty–Coleman), os autores realizam uma busca limitada por altura utilizando o sistema de álgebra computacional Magma.
   • Eles buscam por pontos racionais na clausura projetiva de $C$ com um limite de altura $H = 10^9$.

Principais Resultados

• Estrutura da Obstrução: Os autores derivam explicitamente os polinômios $u, v, m, n, L, C$ e o polinômio de obstrução $F(s, a)$. Eles verificam que $F(s, a)$ possui grau 16 em $s$ e grau 10 em $a$.
• Lócus Degenerado: O sistema $L=C=0$ mostra possuir apenas as soluções racionais $(1, 2)$ e $(-1, 2)$. Consequentemente, para o domínio relevante $s \in \mathbb{Q}_{>0}, s \neq 1$, o caso degenerado é vazio.
• Busca de Pontos Racionais: A busca no Magma com o limite $H = 10^9$ retorna exatamente 8 pontos racionais na curva $C$. A parte afim destes pontos corresponde a $s \in \{-1, 0, 1\}$.
• Exclusão de Fatoração: Crucialmente, nenhum ponto racional afim com $s > 0$ e $s \neq 1$ foi encontrado dentro do limite de busca.

Alegações e Significância
O artigo alega fornecer forte evidência computacional em vez de uma prova incondicional definitiva. A significância do trabalho é enquadrada da seguinte forma:

• Exclusão Condicional: Os autores estabelecem um teorema condicional: Assumindo que a lista de 8 pontos racionais encontrados seja completa (Conjectura 1), então para qualquer $s > 0$ racional com $s \neq 1$, o quíntico $P_s(x)$ não admite um fator quadrático sobre $\mathbb{Q}$.
• Implicação para o Problema do Cuboide: Sob essa premissa, o segundo polinômio do cuboide $Q_{p,q}(t)$ não possui um fator quártico par sobre $\mathbb{Q}$ para $p, q$ coprimos e $p \neq q$.
• Modéstia das Alegações: Os autores reconhecem explicitamente que uma determinação completa dos pontos racionais $C(\mathbb{Q})$ é necessária para um teorema incondicional. Eles observam que a curva possui gênero geométrico 7, tornando a enumeração de pontos racionais um problema sutil onde a finitude é garantida pelo teorema de Faltings, mas a determinação explícita tipicamente requer técnicas avançadas além de uma simples busca de altura.

Em resumo, o artigo reduz o problema da fatoração à busca de pontos racionais em uma curva específica de alto gênero e fornece extensos dados computacionais sugerindo que tais pontos não existem no domínio relevante, apoiando assim a conjectura de irredutibilidade para o segundo polinômio do cuboide.