A torsion-intersection proof of perfect-cuboid nonexistence on 1,072 explicit master-tuple fibers

1. Enunciato del Problema

L'articolo affronta la Congettura del Parallelepipedo Perfetto (Congettura B), un problema aperto di lunga data nella teoria dei numeri elementare.

• Definizione: Un blocco di Eulero è un parallelepipedo rettangolo con spigoli interi $(X, Y, Z)$ e diagonali delle facce intere. Un parallelepipedo perfetto è un blocco di Eulero che possiede inoltre una diagonale spaziale intera ($\sqrt{X^2+Y^2+Z^2} \in \mathbb{N}$).
• La Congettura: Nessun parallelepipedo perfetto esiste in $\mathbb{N}^3$.
• Stato Attuale: Sebbene le ricerche computazionali abbiano escluso parallelepipedi perfetti con spigoli fino a $5 \cdot 10^{11}$, non esiste una dimostrazione generale. I precedenti approcci algebrico-geometrici sono stati limitati a specifiche sotto-famiglie o si sono basati su ipotesi non dimostrate (ad esempio, l'Ipotesi di Riemann Generalizzata).

2. Metodologia

L'autore impiega una combinazione di teoria dei numeri strutturale, geometria algebrica e verifica computazionale rigorosa. L'approccio procede in tre fasi principali:

A. Riduzione Strutturale alle Tuple Maestre

L'articolo stabilisce un teorema di classificazione strutturale (Teorema 2.4) che dimostra che ogni blocco di Eulero primitivo deriva da una singola "tupla maestra" $(a, b, m, n) \in \mathbb{N}^4$ che soddisfa specifiche condizioni di coprimalità e parità.

• Gli spigoli del blocco sono derivati da parametrizzazioni pitagoriche standard: $U_1 = a^2-b^2, V_1=2ab$ e $U_2=m^2-n^2, V_2=2mn$.
• La condizione per un parallelepipedo perfetto si riduce a verificare se un specifico polinomio $f_1$ (che rappresenta il quadrato della diagonale spaziale) è un quadrato perfetto.
• Ciò riduce lo spazio di ricerca infinito all'analisi di specifiche fibre definite dai parametri $(m, n)$.

B. Decomposizione della Curva di Genere 3

Per una fibra di tupla maestra $(m, n)$ fissa, la condizione per un parallelepipedo perfetto è codificata in una curva iperellittica di genere 3 $H_{m,n}$.

• La curva è definita da $v^2 = P(t^2)Q(t^2)$, dove $t = a/b$.
• Il Jacobiano di questa curva, $\text{Jac}(H_{m,n})$, si decompone (a meno di isogenia) in un prodotto di tre curve ellittiche: $E_{PQ}$, $E_{uV}$ e $E_3$.
• L'articolo si concentra sui quozienti ellittici $E_{uV}$ e $E_3$.

C. L'Argomento dell'Intersezione di Torsione

Il meccanismo centrale della dimostrazione si basa sul Lemma dell'Intersezione di Torsione (Lemma 4.2).

• Premessa: Se un quoziente ellittico $E_q$ ha rango 0 (cioè i suoi punti razionali sono finiti e consistono solo di punti di torsione), allora il numero di punti razionali sulla curva di genere 3 $H_{m,n}$ è limitato dalla dimensione del sottogruppo di torsione di $E_q$.
• Logica:
  1. Verificare $\text{rk}(E_q(\mathbb{Q})) = 0$.
  2. Calcolare $|E_q(\mathbb{Q})_{\text{tors}}|$.
  3. Mappare i punti razionali da $H_{m,n}$ a $E_q$. Poiché la mappa è di grado 2, $|H_{m,n}(\mathbb{Q})| \le 2 \cdot |E_q(\mathbb{Q})_{\text{tors}}|$.
  4. Passaggio Cruciale: La curva $H_{m,n}$ possiede sempre 8 punti razionali "banali" noti, corrispondenti a blocchi degeneri (dove uno o più spigoli sono zero).
  5. Se il limite superiore derivato dall'intersezione di torsione è esattamente 8, allora non esistono punti non banali (parallelepipedi perfetti) su quella fibra.

D. Certificazione Incondizionata del Rango

Per garantire che la dimostrazione sia incondizionata (non basata su congetture non dimostrate come l'GRH), l'autore utilizza due tecniche complementari per verificare l'ipotesi di rango zero:

1. 2-Discesa: Utilizzando ellrank di PARI/GP per ottenere limiti rigorosi $[r_{low}, r_{up}]$. Se $r_{low} = r_{up} = 0$, il rango è dimostrato essere zero.
2. Simboli Modulari (Teorema di Kolyvagin): Per i casi in cui la 2-discesa è ambigua (ad esempio $[0, 2]$), l'autore calcola esattamente $L(E, 1)/\Omega_E$ utilizzando i simboli modulari di Sage.
   • Per il Teorema di Modularità e il teorema di Kolyvagin, se $L(E, 1) \neq 0$, il rango è 0.
   • Per le curve semistabili (tutti i fattori incontrati lo erano), la costante di Manin è 1, garantendo che il calcolo del simbolo modulare sia esatto e incondizionato.

3. Contributi Chiave

1. Classificazione Strutturale (Teorema 2.4): Dimostra la direzione inversa della parametrizzazione della tupla maestra, mostrando che ogni blocco di Eulero primitivo corrisponde a una tupla maestra. Questo era un anello mancante nella letteratura precedente.
2. Argomento dell'Intersezione di Torsione: Applica un limite di intersezione raffinato ai quozienti ellittici $E_{uV}$ e $E_3$. A differenza di lavori precedenti che si concentravano su $E_A$, questo articolo sfrutta la geometria specifica di $E_{uV}$ e $E_3$ per forzare il conteggio dei punti esattamente a 8.
3. Conteggio Raffinato dei Sollevamenti: Quando il limite di torsione ingenuo è troppo lasco (ad esempio, dimensione di torsione 8 che produce un limite di 12), l'autore esegue un'enumerazione esplicita dei 8 punti di torsione sul modello quartico. Verificando quali punti si "sollevano" razionalmente alla curva di genere 3, affinano il limite nuovamente a 8.
4. Pipeline di Certificazione Incondizionata: Un flusso di lavoro computazionale robusto che combina PARI/GP e SageMath, evitando di fare affidamento sull'Ipotesi di Riemann Generalizzata (GRH) o sulla congettura di Birch e Swinnerton-Dyer, basandosi invece sul teorema di Kolyvagin e sul limite di Edixhoven sulla costante di Manin.

4. Risultati

• Ambito: Lo studio copre tutte le coppie coprima $(m, n)$ con $\max(m, n) \le 100$ e $m-n$ dispari. Esistono 2.040 tali coppie.
• Tasso di Successo: Il metodo dimostra incondizionatamente la non esistenza di parallelepipedi perfetti su 1.072 fibre (circa il 52,5% dello spazio di ricerca).
• Scomposizione delle Fibre Dimostrate:
  • 827 fibre tramite $E_3$: 359 tramite 2-discesa precisa, 468 tramite certificazione con simboli modulari.
  • 245 fibre tramite $E_{uV}$: Tutte hanno richiesto l'argomento di conteggio dei sollevamenti raffinato (Caso c) perché la dimensione della torsione era 8.
• Esito: Per queste 1.072 fibre, l'insieme dei punti razionali sulla curva di genere 3 associata è esattamente l'insieme dei 8 punti degeneri. Pertanto, nessun parallelepipedo perfetto esiste per alcuna tupla maestra derivata da queste coppie $(m, n)$.

5. Significato e Limitazioni

• Significato:
  • Questa è la prima dimostrazione incondizionata della non esistenza di parallelepipedi perfetti su un ampio insieme esplicito di fibre senza fare affidamento su congetture non dimostrate.
  • Dimostra la potenza della combinazione di discesa esplicita con calcoli di simboli modulari per risolvere casi di rango zero in famiglie di curve.
  • Fornisce un quadro concreto (tuple maestre) per future ricerche esaustive.
• Limitazioni e Lavori Futuri:
  • Copertura: Il risultato copre solo circa il 52% delle fibre fino a $m,n \le 100$. Le restanti 968 fibre hanno o ranghi ambigui che superano i budget computazionali attuali (conduttore $> 10^{12}$) o hanno rango totale del Jacobiano $\ge 3$, rendendo inapplicabili i metodi Chabauty standard.
  • Fibre Difficili: Le fibre in cui tutti e tre i fattori ellittici hanno rango $\ge 1$ (ad esempio $(5,2)$) rimangono aperte.
  • Estensioni: L'autore suggerisce che il Chabauty Quadratico (metodi p-adici) e il setaccio Mordell-Weil sono i prossimi passi necessari per affrontare le restanti fibre "difficili" e potenzialmente estendere il limite a valori più alti di $m, n$.

In sintesi, Peschmann fornisce una dimostrazione rigorosa, assistita da computer, che elimina la possibilità di parallelepipedi perfetti per un sottoinsieme significativo dello spazio dei parametri, stabilendo un nuovo punto di riferimento per i risultati incondizionati in questo problema classico.