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

Resumen Técnico: Evidencia Computacional Contra la Factorización Cuadrática–Cúbica para el Quintico del Segundo Cuboide

Planteamiento del Problema
El artículo aborda un aspecto algebraico específico del problema del Cuboide Perfecto, que busca una caja rectangular con aristas enteras donde todas las diagonales de las caras y la diagonal espacial sean enteros. Siguiendo el marco establecido por R. A. Sharipov, el problema se reduce a demostrar la irreducibilidad de una familia de polinomios pares de grado 10, $Q_{p,q}(t)$, para parámetros coprimos $p \neq q > 0$.

Los autores se centran en el caso de factorización "cuadrática–cúbica" (2+3). Al normalizar las variables, el polinomio de grado 10 $Q_{p,q}(t)$ se transforma en una familia de un solo parámetro de polinomios quínticos mónicos, $P_s(x)$, donde $s = (p/q)^2$. La cuestión central es si $P_s(x)$ admite una factorización en un polinomio cuadrático y uno cúbico sobre $\mathbb{Q}$ para cualquier $s > 0$ racional donde $s \neq 1$. Una respuesta positiva implicaría la existencia de un factor de grado 4 par en el polinomio original, lo que podría obstaculizar la conjetura de irreducibilidad.

Metodología
Los autores emplean un enfoque algebraico directo combinado con la teoría de números computacional:

1. Reducción Algebraica:

   • Consideran un divisor cuadrático mónico genérico $D(x) = x^2 + ax + b$ con $a, b \in \mathbb{Q}$.
   • Utilizando la división euclidiana, computan el resto $R(x) = R_1(s, a, b)x + R_0(s, a, b)$ cuando $P_s(x)$ es dividido por $D(x)$.
   • Una observación estructural clave es que tanto $R_1$ como $R_0$ son cuadráticos en el parámetro $b$.
   • Al imponer la condición $R_1 = 0$, los autores demuestran que la segunda condición $R_0 = 0$ se vuelve lineal en $b$. Esto permite la eliminación de $b$ para derivar una única ecuación polinómica $F(s, a) = 0$ en el plano $(s, a)$, denominada la "curva de obstrucción".

2. Análisis de Casos:

   • Caso No Degenerado ($L \neq 0$): Cuando el coeficiente lineal $L(s, a)$ es no nulo, $b$ está determinado de forma única como $b = C(s, a)/L(s, a)$. Sustituyendo esto de nuevo, se obtiene el polinomio de obstrucción $F(s, a) = 0$.
   • Caso Degenerado ($L = C = 0$): Los autores analizan por separado el lugar donde la linealización falla. Demuestran mediante resultantes que los únicos puntos racionales para $L(s, a) = C(s, a) = 0$ son $(s, a) = (1, 2)$ y $(-1, 2)$. Dado que el dominio del problema requiere $s > 0$ y $s \neq 1$, este lugar degenerado no produce soluciones válidas.

3. Búsqueda Computacional:

   • El polinomio de obstrucción $F(s, a)$ define una curva en el plano proyectivo $C$ de grado 17 con género geométrico 7.
   • Determinar todos los puntos racionales en tales curvas es un problema diofántico difícil. En lugar de intentar una determinación teórica completa (por ejemplo, mediante métodos de Chabauty–Coleman), los autores realizan una búsqueda con límite de altura utilizando el sistema de álgebra computacional Magma.
   • Buscan puntos racionales en el cierre proyectivo de $C$ con un límite de altura $H = 10^9$.

Resultados Clave

• Estructura de la Obstrucción: Los autores derivan explícitamente los polinomios $u, v, m, n, L, C$ y el polinomio de obstrucción $F(s, a)$. Verifican que $F(s, a)$ tiene grado 16 en $s$ y grado 10 en $a$.
• Lugar Degenerado: Se demuestra que el sistema $L=C=0$ tiene solo las soluciones racionales $(1, 2)$ y $(-1, 2)$. Por consiguiente, para el dominio relevante $s \in \mathbb{Q}_{>0}, s \neq 1$, el caso degenerado es vacío.
• Búsqueda de Puntos Racionales: La búsqueda en Magma con el límite $H = 10^9$ devuelve exactamente 8 puntos racionales en la curva $C$. La parte afín de estos puntos corresponde a $s \in \{-1, 0, 1\}$.
• Exclusión de la Factorización: Crucialmente, no se encontró ningún punto racional afín con $s > 0$ y $s \neq 1$ dentro del límite de búsqueda.

Reivindicaciones y Significado
El artículo afirma presentar evidencia computacional fuerte en lugar de una prueba definitiva incondicional. El significado del trabajo se enmarca de la siguiente manera:

• Exclusión Condicional: Los autores establecen un teorema condicional: Asumiendo que la lista de 8 puntos racionales encontrados es completa (Conjetura 1), entonces para cualquier $s > 0$ racional con $s \neq 1$, el quíntico $P_s(x)$ no admite un factor cuadrático sobre $\mathbb{Q}$.
• Implicación para el Problema del Cuboide: Bajo esta suposición, el segundo polinomio del cuboide $Q_{p,q}(t)$ no tiene un factor de grado 4 par sobre $\mathbb{Q}$ para coprimos $p \neq q$.
• Modestia de las Reivindicaciones: Los autores reconocen explícitamente que se requiere una determinación completa de los puntos racionales $C(\mathbb{Q})$ para un teorema incondicional. Señalan que la curva tiene un género geométrico 7, lo que hace que la enumeración de los puntos racionales sea un problema sutil donde la finitud está garantizada por el teorema de Faltings, pero su determinación explícita requiere típicamente técnicas avanzadas más allá de una simple búsqueda de altura.

En resumen, el artículo reduce el problema de la factorización a la búsqueda de puntos racionales en una curva específica de alto género y proporciona datos computacionales extensos que sugieren que tales puntos no existen en el dominio relevante, apoyando así la conjetura de irreducibilidad para el segundo polinomio del cuboide.