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

Titel en Context

Titel: Irreducibiliteit van de Kuboid-polynoom $P_{a,u}(t)$ via een Elliptische Kromme met Rang-Zero.
Auteur: Valery Asiryan.
Onderwerp: Getaltheorie, algebraïsche meetkunde, perfect kuboid probleem.

1. Het Probleem

Het artikel richt zich op het perfecte kuboid-probleem: het zoeken naar een rechthoekig doosje met gehele ribbelengtes waarvan ook de vlakdiagonalen en de ruimtediagonaal gehele getallen zijn.
R. A. Sharipov heeft een aanpak ontwikkeld waarbij een potentieel kuboid wordt geassocieerd met een even, monisch polynoom met gehele parameters. In de specialisatie $a = b$ (de "eerste kuboid"-specialisatie) reduceert dit tot de tweeparameter polynoom van graad 8:
$$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$$
waarbij $a, u$ niet-nul gehele getallen zijn met $u^2 \neq a^2$.

Sharipov conjectureerde dat dit polynoom irreducibel is in $\mathbb{Z}[t]$ (en dus ook in $\mathbb{Q}[t]$) voor coprieme $a \neq u$. Hoewel Sharipov eerder had bewezen dat er geen gehele wortels zijn, was de volledige irreducibiliteit nog niet bewezen. Dit artikel levert dat bewijs.

2. Methodologie

De bewijsvoering volgt een elegante route die algebraïsche factorisatie koppelt aan de theorie van elliptische krommen:

1. Factorisatie over een kwadratische velduitbreiding:
   Het polynoom $P_{a,u}(t)$ wordt geanalyseerd over het kwadratische veld $K = \mathbb{Q}(\sqrt{2})$. Hier splitst het polynoom in twee geconjugeerde quartische polynomen:
   $$P_{a,u}(t) = H_-(t) H_+(t)$$
   waarbij $H_\pm(t) = t^4 + (3 \mp 2\sqrt{2})\Delta t^2 - A_0$ (met $\Delta = u^2 - a^2$ en $A_0 = a^2u^2$).

2. Reductie tot een kwadratische discriminant:
   Om te bewijzen dat $P_{a,u}(t)$ irreducibel is over $\mathbb{Q}$, moet worden aangetoond dat $H_\pm(t)$ irreducibel is over $K$. Omdat de polynomen even zijn, hangt de reducibiliteit af van de factorisatie van de bijbehorende kwadratische polynoom in $S = t^2$. Dit vereist dat de discriminant van deze kwadratische vergelijking een kwadraat is in $K$.

3. Koppeling aan een genus-1 kromme:
   De voorwaarde dat de discriminant een kwadraat is in $K$, leidt tot een Diophantische vergelijking die kan worden herschreven als een rationale punt op een vaste genus-1 quartische kromme $C$:
   $$C: v^2 = 16y^4 + 136y^2 + 1$$
   Hierbij is $y^2 = \tau = (au/\Delta)^2$. Als er een verdere factorisatie zou bestaan, zou er een rationaal punt $(y, v)$ op $C$ moeten bestaan met een specifieke waarde voor $\tau$.

4. Jacobian en Elliptische Kromme:
   De auteur construeert een expliciete isomorfisme tussen de kromme $C$ en een elliptische kromme $E$ in Weierstrass-vorm:
   $$E: Y^2 = X(X-8)(X-9)$$
   Deze kromme heeft de Cremona-label 48a3.

5. Analyse van de Mordell-Weil groep:
   Met behulp van computationele tools (Magma) wordt de structuur van de rationale punten $E(\mathbb{Q})$ bepaald. Het cruciale resultaat is dat de rang van de elliptische kromme 0 is. Dit betekent dat de groep van rationale punten eindig is en volledig wordt gevormd door de torsiepunten.

6. Galois-daling:
   Door de eindige verzameling van rationale punten op $C$ te enumereren via de isomorfisme met $E$, worden de mogelijke waarden voor de parameter $\tau$ bepaald. Vervolgens wordt aangetoond dat deze waarden onverenigbaar zijn met de oorspronkelijke voorwaarden voor $a$ en $u$ (dat ze rationale/whole getallen zijn met $au \neq 0$).
   Een standaard argument voor kwadratische Galois-daling (Lemma 6) wordt vervolgens gebruikt om de irreducibiliteit over $\mathbb{Q}$ (en dus $\mathbb{Z}$) te concluderen, gegeven de irreducibiliteit over $K$.

3. Belangrijkste Resultaten

• Hoofdstelling (Theorem 1): Voor alle gehele getallen $a, u$ met $au \neq 0$ en $u^2 \neq a^2$, is het polynoom $P_{a,u}(t)$ irreducibel in $\mathbb{Z}[t]$.
• Bevestiging van de Conjecture: Dit bewijst Sharipov's conjecture voor het tweeparameter geval volledig.
• Structuur van de Kromme: De elliptische kromme $E$ (48a3) heeft rang 0 en een torsiegroep isomorf met $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/4\mathbb{Z}$.
• Rationale Punten: De enige rationale punten op de quartische kromme $C$ corresponderen met $\tau \in \{0, 1/4\}$.
• Uitsluiting van Factoren: De waarden $\tau = 0$ en $\tau = 1/4$ leiden tot contradicties met de aanname dat $a$ en $u$ niet-nul rationale getallen zijn met $u^2 \neq a^2$ (bij $\tau=1/4$ zou $u/a$ irrationaal zijn, namelijk $1 \pm \sqrt{2}$).

4. Significatie

• Wiskundige Strenheid: Het artikel biedt een volledig algebraïsch en getaltheoretisch bewijs voor een open probleem dat eerder alleen numeriek of gedeeltelijk was onderzocht.
• Methodologische Innovatie: Het toont een krachtige verbinding tussen de irreducibiliteit van hoge-graads polynomen en de rang van elliptische krommen. Het gebruik van een "rang-zero" elliptische kromme om een Diophantisch probleem op te lossen (door de eindigheid van de oplossingsset te garanderen) is een elegant voorbeeld van moderne getaltheorie.
• Impact op het Perfecte Kuboid Probleem: Hoewel dit artikel het kuboid-probleem zelf niet oplost (het bewijst niet dat er geen kuboid bestaat), elimineert het een specifieke algebraïsche constructie als mogelijke bron voor een oplossing. Het versterkt het inzicht in de algebraïsche structuur van de vergelijkingen die het kuboid-probleem beschrijven.

5. Conclusie

Valery Asiryan bewijst dat de door Sharipov geïntroduceerde kuboid-polynoom $P_{a,u}(t)$ irreducibel is over de gehele getallen. Het bewijs combineert kwadratische velduitbreidingen, de theorie van elliptische krommen (specifiek de kromme 48a3 met rang 0), en Galois-daling. De kern van het bewijs ligt in het aantonen dat elke mogelijke verdere factorisatie zou leiden tot een rationale punt op een specifieke kromme dat niet bestaat binnen de gegeven parameters. Dit sluit definitief de mogelijkheid uit dat het polynoom in $\mathbb{Z}[t]$ factoriseert.