Quartic reductions and elliptic obstructions for perfect Euler bricks

1. Il Problema: Il Cuboide Perfetto

Il paper affronta il famoso problema del cuboide perfetto (o "Euler brick perfetto"). Si tratta di trovare un parallelepipedo rettangolo con spigoli interi positivi $e_1, e_2, e_3$ tale che:

1. Le tre diagonali delle facce siano intere: $d_{ij} = \sqrt{e_i^2 + e_j^2} \in \mathbb{Z}$.
2. La diagonale spaziale sia intera: $D = \sqrt{e_1^2 + e_2^2 + e_3^2} \in \mathbb{Z}$.

Sebbene esistano molti "mattoni di Eulero" (che soddisfano solo le condizioni sulle facce), nessun cuboide perfetto è mai stato trovato, e la sua non-esistenza rimane una congettura aperta dal XVIII secolo.

2. Metodologia e Riduzione Algebrica

L'autore non fornisce una dimostrazione definitiva di non-esistenza, ma sviluppa un nuovo quadro di riduzione che trasforma il problema in questioni di teoria dei numeri algebrica e geometria aritmetica.

A. Riduzione a Coppie Quartiche

Utilizzando la formula di Euclide per le terne pitagoriche, il problema viene parametrizzato tramite due coppie di interi $(a, b)$ e $(m, n)$. Le condizioni sul cuboide si riducono alla ricerca di interi coprimi tali che due espressioni quartiche siano simultaneamente quadrati perfetti:
$$f_1 = W_1^2(\lambda^2 - 1)^2 + 4U_1^2\lambda^2 = \square$$
$$f_2 = W_1^2(\lambda^2 - 1)^2 + 4V_1^2\lambda^2 = \square$$
dove $\lambda = m/n$ e $U_1, V_1, W_1$ dipendono da $a, b$.
Normalizzando, si ottiene una coppia simmetrica:
$$r^2 = \lambda^4 + 2c\lambda^2 + 1, \quad x^2 = \lambda^4 - 2c\lambda^2 + 1$$
con $c = \frac{s^4 - 6s^2 + 1}{(1+s^2)^2}$ e $s = a/b$.

B. Curve di Genere 3 e Quozienti Ellittici

Il prodotto $f_1 f_2$ definisce una curva iperellittica di genere 3, denotata come $C_A$:
$$w^2 = \lambda^8 + A\lambda^4 + 1$$
dove $A = 2 - 4c^2$.
L'articolo dimostra che l'esistenza di un cuboide perfetto implica l'esistenza di un punto razionale non degenere su $C_A$.
La struttura della curva ammette un gruppo di Klein di involuzioni, permettendo di decomporre il suo Jacobiano (fino a isogenia) in un prodotto di tre curve ellittiche:
$$J(C_A) \sim E_A \times E'_A \times E''_A$$
In particolare, la curva $E_A$ è data dal modello di Weierstrass:
$$y^2 = (x + A)(x - 2)(x + 2)$$

C. Il Ponte Funzionale

Il cuore della metodologia risiede nel collegare i punti su $C_A$ a punti sulla curva ellittica $E_A$. Viene definita una funzione razionale $f(P)$ su $E_A$:
$$f(P) = \frac{2y(P)}{(x(P)-2)(x(P)+2)}$$
È dimostrato che un punto non degenere su $C_A$ esiste se e solo se esiste un punto $P \in E_A(\mathbb{Q})$ tale che $f(P)$ sia un quadrato razionale non nullo diverso da 1.

3. Contributi Chiave e Risultati

A. Carattere di Kummer e Ostacoli di Torsione

L'autore analizza il carattere di Kummer $\chi_f$ associato alla funzione $f$ sul sottogruppo di torsione di $E_A$.

• Teorema 5.4: Il carattere $\chi_f$ è non banale sui punti di torsione di ordine 4. In particolare, per ogni punto di ordine 4 $T_4$, $\chi_f(T_4) \neq 1$.
• Implicazione: Questo crea un ostacolo strutturale: la traslazione di un punto $P$ di ordine 4 cambia la classe di quadrato di $f(P)$, rendendo impossibile che $f(P)$ e $f(P+T_4)$ siano simultaneamente quadrati in certi contesti.

B. Ostacoli Algebrici tramite 2-Discesa

Vengono utilizzati argomenti di 2-discesa sulla curva ellittica per escludere classi di punti.

• Teorema 6.2: Se la classe di discesa di un punto $P$ ha $\delta_3 = 1$ (dove $\delta_i$ sono le parti senza quadrato delle coordinate rispetto alle radici della curva), allora $f(P)$ non è un quadrato.
• Vengono escludi intere famiglie di classi di quadrato basate sulla fattorizzazione del parametro $c(s)$.

C. Verifica Computazionale

L'autore ha eseguito verifiche computazionali estese (utilizzando PARI/GP e SageMath):

• Per tutti i parametri $a, b, m, n$ fino a $10^3$, il prodotto $f_1 f_2$ non è mai un quadrato perfetto.
• Per ogni tupla testata, è stato trovato un "bloccante" (un numero primo $p$) tale che la valutazione $v_p(f_1 f_2)$ è dispari, impedendo che sia un quadrato.
• I bloccanti sono quasi sempre $p=2$ o primi $p \equiv 1 \pmod 4$; non sono stati osservati primi $p \equiv 3 \pmod 4$ come ostacoli, coerentemente con la teoria dei numeri gaussiani (Remark 6.5).

4. Significato e Stato Attuale

Risultati Incondizionati

Il paper stabilisce condizioni necessarie rigorose per l'esistenza di un cuboide perfetto:

1. Qualsiasi cuboide perfetto genera un punto razionale non degenere su $C_A$.
2. Il carattere di Kummer soddisfa proprietà di non-banalità sulla torsione di ordine 4.
3. Esistono classi di discesa (es. $\delta_3=1$) che non possono contenere soluzioni.

Il "Gap" Rimasto

Il lavoro non prova la non-esistenza incondizionata del cuboide perfetto. Rimane un "gap" teorico:

• Gli ostacoli attuali non coprono tutte le classi di discesa possibili. Esiste la possibilità teorica che punti razionali su $E_A$ con classi di discesa residue (dove $\delta_3 \neq 1$ e i fattori primi di $\delta_3$ dividono $\delta_1$) possano soddisfare la condizione di quadrato.
• La verifica computazionale è finita (fino a $10^3$) e non copre l'infinito.

Direzioni Future

L'autore propone approcci per colmare il gap:

1. Ostacolo di Copertura di Genere 5: Sfruttare la non-banalità di $\chi_f$ per costruire una curva di copertura di genere 5. Per il teorema di Faltings, questa curva avrebbe un numero finito di punti razionali. Se il rango del suo Jacobiano fosse sufficientemente basso, si potrebbe applicare il metodo di Chabauty-Coleman per dimostrare la non-esistenza.
2. Estensione del Carattere: Dimostrare che $\chi_f(G) \neq 1$ per ogni punto non di torsione $G$, estendendo il risultato dalla torsione all'intero gruppo di Mordell-Weil.
3. Ostacoli di Brauer-Manin: Cercare ostacoli geometrici sulla superficie definita dall'equazione quartica.

Conclusione

Il paper di Peschmann rappresenta un avanzamento significativo nella comprensione del problema del cuboide perfetto, spostando l'analisi da una ricerca puramente computazionale a un quadro geometrico-aritmetico sofisticato basato su curve di genere 3, caratteri di Kummer e discesa ellittica. Sebbene non chiuda definitivamente il problema, fornisce gli strumenti teorici più potenti finora sviluppati per escludere soluzioni e delinea una strada chiara verso una possibile dimostrazione completa.