Irreducibility of the Cuboid Polynomial $P_{a,u}(t)$ via a Rank-Zero Elliptic Curve

1. Problématique et Contexte

L'article s'inscrit dans le cadre du problème du pavé parfait (perfect cuboid problem), qui cherche à déterminer l'existence d'un parallélépipède rectangle dont les arêtes, les diagonales des faces et la diagonale principale sont toutes des entiers.

Une approche de ce problème, développée par R. A. Sharipov, associe à un pavé potentiel un polynôme monique pair à coefficients entiers. Dans la spécialisation dite « premier pavé » (où deux arêtes sont égales, $a=b$), le problème se réduit à l'étude d'un polynôme de degré 8 à deux paramètres, noté $P_{a,u}(t)$ :
$$P_{a,u}(t) = t^8 + 6(u^2 - a^2)t^6 + ((u^2 - a^2)^2 - 2a^2u^2)t^4 - 6(u^2 - a^2)a^2u^2 t^2 + a^4u^4$$
où $a$ et $u$ sont des entiers non nuls avec $u^2 \neq a^2$.

Conjecture : Sharipov a conjecturé que pour tout couple d'entiers premiers entre eux $(a, u)$ avec $a \neq u$, ce polynôme est irréductible sur $\mathbb{Z}[t]$ (et donc sur $\mathbb{Q}[t]$). L'article vise à prouver cette conjecture.

2. Méthodologie

La preuve repose sur une stratégie combinant l'algèbre commutative, la théorie des corps quadratiques et la géométrie arithmétique des courbes elliptiques.

A. Factorisation sur un corps quadratique

L'auteur travaille d'abord sur le corps quadratique $K = \mathbb{Q}(\sqrt{2})$. Il démontre que $P_{a,u}(t)$ se factorise en $K[t]$ en le produit de deux polynômes quartiques conjugués :
$$P_{a,u}(t) = H_-(t) H_+(t)$$
où $H_\pm(t) = t^4 + (3 \mp 2\sqrt{2})\Delta t^2 - A_0$, avec $\Delta = u^2 - a^2$ et $A_0 = a^2u^2$.
La stratégie consiste alors à montrer que ces facteurs $H_\pm$ sont eux-mêmes irréductibles sur $K[t]$.

B. Réduction à une courbe de genre 1

Pour qu'un polynôme quartique pair $H(t)$ se factorise davantage sur $K$, il faut que le polynôme quadratique associé en $S=t^2$ ait un discriminant qui soit un carré dans $K$.
L'analyse de cette condition de carré conduit à l'étude d'une équation diophantienne définissant une courbe quartique $C$ de genre 1 :
$$C : v^2 = 16y^4 + 136y^2 + 1$$
où le paramètre $\tau = (au/\Delta)^2$ doit être égal à $y^2$ pour une solution rationnelle.

C. Passage à la courbe elliptique et calcul du rang

L'auteur construit un isomorphisme explicite entre la courbe $C$ et une courbe elliptique $E$ sous forme de Weierstrass :
$$E : Y^2 = X(X-8)(X-9)$$
Cette courbe possède un conductor de 48 et appartient à la classe d'isogénie 48a3 (selon la base de données de Cremona).
L'étape cruciale consiste à déterminer le groupe de Mordell-Weil $E(\mathbb{Q})$. En utilisant des outils de calcul formel (Magma), l'auteur établit que :

1. Le rang de $E(\mathbb{Q})$ est 0.
2. Le groupe de torsion est isomorphe à $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/4\mathbb{Z}$.

D. Énumération des points rationnels

Puisque le rang est nul, l'ensemble des points rationnels $E(\mathbb{Q})$ est fini et coïncide avec le sous-groupe de torsion. En remontant l'isomorphisme vers la courbe $C$, l'auteur énumère exhaustivement les points rationnels de $C(\mathbb{Q})$. Il trouve exactement 8 points : deux points à l'infini et six points affines.

3. Résultats Principaux

1. Classification des paramètres : L'analyse des points rationnels de $C$ montre que les seules valeurs possibles pour le paramètre $\tau = (au/\Delta)^2$ sont $\tau \in \{0, 1/4\}$.
2. Impossibilité des paramètres entiers :
   • $\tau = 0$ implique $au=0$, ce qui contredit l'hypothèse $a, u \neq 0$.
   • $\tau = 1/4$ implique $(u/a)^2 - 1 = \pm 2(u/a)$, ce qui conduit à des solutions irrationnelles ($u/a = 1 \pm \sqrt{2}$).
   • Par conséquent, aucune paire d'entiers $(a, u)$ satisfaisant les conditions initiales ne peut produire un $\tau$ correspondant à un point rationnel sur $C$.
3. Irreductibilité sur $K$ et $\mathbb{Q}$ :
   • L'absence de tels points implique que les discriminants des polynômes quadratiques associés ne sont pas des carrés dans $K$.
   • Ainsi, les facteurs quartiques $H_\pm(t)$ sont irréductibles sur $K[t]$.
   • En utilisant un argument de descente galoisienne quadratique (Lemme 6), l'auteur conclut que puisque $P_{a,u}(t)$ se factorise en deux facteurs irréductibles conjugués sur $K$ qui sont premiers entre eux, il est irréductible sur $\mathbb{Q}[t]$.
   • Par le lemme de Gauss, il est donc irréductible sur $\mathbb{Z}[t]$.

4. Contributions Clés

• Confirmation de la conjecture de Sharipov : Preuve rigoureuse de l'irréductibilité du polynôme $P_{a,u}(t)$ pour le cas général à deux paramètres.
• Lien explicite avec les courbes elliptiques : Construction d'un isomorphisme explicite entre une courbe quartique de genre 1 issue d'un problème de factorisation polynomiale et une courbe elliptique de rang nul.
• Utilisation de la torsion : Démonstration que la structure finie du groupe de torsion d'une courbe elliptique spécifique suffit à éliminer toutes les possibilités de factorisation pour une classe infinie de polynômes.

5. Signification et Impact

Ce travail apporte une contribution significative à la théorie des nombres et à l'arithmétique des courbes algébriques :

• Il résout un cas spécifique important du problème du pavé parfait en éliminant la possibilité que le polynôme caractéristique associé se factorise, ce qui simplifie l'analyse des solutions potentielles.
• Il illustre la puissance des méthodes modernes de géométrie arithmétique (calcul du rang, torsion, descente) pour résoudre des problèmes d'irréductibilité polynomiale qui semblent purement algébriques.
• La méthode proposée (réduction à une courbe de genre 1, passage à la jacobienne, et exploitation du rang nul) pourrait être appliquée à d'autres familles de polynômes liés à des problèmes diophantiens similaires.

En résumé, l'article démontre que le polynôme $P_{a,u}(t)$ ne peut jamais se décomposer en facteurs de degré inférieur à 4 sur les rationnels, confirmant ainsi une conjecture majeure dans le domaine du pavé parfait.