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

Sintesi Tecnica: Evidenza Computazionale Contro la Fattorizzazione Quadratico-Cubica per il Quintico del Secondo Cuboide

Enunciato del Problema
Il documento affronta un aspetto algebrico specifico del problema del Cuboide Perfetto, che ricerca un parallelepipedo rettangolo con spigoli interi dove tutte le diagonali delle facce e la diagonale spaziale siano intere. Seguendo il quadro stabilito da R. A. Sharipov, il problema si riduce a dimostrare l'irreducibilità di una famiglia di polinomi pari di grado 10, $Q_{p,q}(t)$, su interi per parametri coprimi $p \neq q > 0$.

Gli autori si concentrano sul caso di fattorizzazione "quadratico-cubica" (2+3). Normalizzando le variabili, il polinomio di grado 10 $Q_{p,q}(t)$ viene trasformato in una famiglia parametrica di polinomi quintici monici $P_s(x)$, dove $s = (p/q)^2$. La questione centrale è se $P_s(x)$ ammetta una fattorizzazione in un polinomio quadratico e uno cubico su $\mathbb{Q}$ per qualsiasi $s \in \mathbb{Q} > 0$ con $s \neq 1$. Una risposta positiva implicherebbe l'esistenza di un fattore quartico pari nel polinomio originale, potenzialmente ostacolando la congettura di irreducibilità.

Metodologia
Gli autori impiegano un approccio algebrico diretto combinato con la teoria computazionale dei numeri:

1. Riduzione Algebrica:

   • Considerano un generico divisore quadratico monico $D(x) = x^2 + ax + b$ con $a, b \in \mathbb{Q}$.
   • Utilizzando la divisione euclidea, calcolano il resto $R(x) = R_1(s, a, b)x + R_0(s, a, b)$ quando $P_s(x)$ viene diviso per $D(x)$.
   • Un'osservazione strutturale chiave è che sia $R_1$ che $R_0$ sono quadratici rispetto al parametro $b$.
   • Imponendo la condizione $R_1 = 0$, gli autori dimostrano che la seconda condizione $R_0 = 0$ diventa lineare in $b$. Ciò permette di eliminare $b$ per derivare un'unica equazione polinomiale $F(s, a) = 0$ nel piano $(s, a)$, denominata "curva di ostacolo".

2. Analisi dei Casi:

   • Caso Non Degenerato ($L \neq 0$): Quando il coefficiente lineare $L(s, a)$ è non nullo, $b$ è unicamente determinato come $b = C(s, a)/L(s, a)$. Sostituendo questo valore, si ottiene il polinomio di ostacolo $F(s, a) = 0$.
   • Caso Degenerato ($L = C = 0$): Gli autori analizzano separatamente il locus dove la linearizzazione fallisce. Dimostrano tramite i risultanti che gli unici punti razionali per cui $L = C = 0$ sono $(s, a) = (1, 2)$ e $(-1, 2)$. Poiché il dominio del problema richiede $s > 0$ e $s \neq 1$, questo locus degenerato non produce soluzioni valide.

3. Ricerca Computazionale:

   • Il polinomio di ostacolo $F(s, a)$ definisce una curva planare proiettiva $C$ di grado 17 con genere geometrico 7.
   • Determinare tutti i punti razionali su tali curve è un difficile problema diottanteico. Invece di tentare una determinazione teorica completa (ad esempio, tramite i metodi di Chabauty–Coleman), gli autori eseguono una ricerca limitata dall'altezza utilizzando il sistema di algebra computazionale Magma.
   • Effettuano una ricerca di punti razionali sulla chiusura proiettiva di $C$ con un limite di altezza $H = 10^9$.

Risultati Chiave

• Struttura dell'Ostacolo: Gli autori derivano esplicitamente i polinomi $u, v, m, n, L, C$ e il polinomio di ostacolo $F(s, a)$. Verificano che $F(s, a)$ ha grado 16 in $s$ e grado 10 in $a$.
• Locus Degenerato: Si dimostra che il sistema $L=C=0$ ha solo le soluzioni razionali $(1, 2)$ e $(-1, 2)$. Di conseguenza, per il dominio rilevante $s \in \mathbb{Q}_{>0}, s \neq 1$, il caso degenerato è vuoto.
• Ricerca di Punti Razionali: La ricerca in Magma con il limite $H = 10^9$ restituisce esattamente 8 punti razionali sulla curva $C$. La parte affine di questi punti corrisponde a $s \in \{-1, 0, 1\}$.
• Esclusione della Fattorizzazione: Fondamentalmente, non è stato trovato alcun punto razionale affine con $s > 0$ e $s \neq 1$ entro il limite di ricerca.

Rivendicazioni e Significato
Il documento rivendica una forte evidenza computazionale piuttosto che una prova definitiva incondizionata. Il significato del lavoro è inquadrato come segue:

• Esclusione Condizionale: Gli autori stabiliscono un teorema condizionale: Assumendo che l'elenco degli 8 punti razionali trovati sia completo (Congettura 1), allora per ogni $s \in \mathbb{Q} > 0$ con $s \neq 1$, il quintico $P_s(x)$ non ammette alcun fattore quadratico su $\mathbb{Q}$.
• Implicazione per il Problema del Cuboide: Sotto tale assunzione, il secondo polinomio del cuboide $Q_{p,q}(t)$ non possiede alcun fattore quartico pari su $\mathbb{Q}$ per $p, q$ coprimi e $p \neq q$.
• Modestia delle Rivendicazioni: Gli autori riconoscono esplicitamente che è necessaria una determinazione completa dei punti razionali $C(\mathbb{Q})$ per un teorema incondizionato. Notano che la curva ha un genere geometrico 7, rendendo la enumerazione dei punti razionali un problema sottile dove la finitezza è garantita dal teorema di Faltings, ma la determinazione esplicita richiede tipicamente tecniche avanzate che vanno oltre una semplice ricerca basata sull'altezza.

In sintesi, il lavoro riduce il problema della fattorizzazione alla ricerca di punti razionali su una specifica curva ad alto genere e fornisce estesi dati computazionali che suggeriscono l'assenza di tali punti nel dominio rilevante, supportando così la congettura di irreducibilità per il secondo polinomio del cuboide.