Quartic Rational Diophantine Quadruples and the Euler Surface

Titolo: Quartic Rational Diophantine Quadruples and the Euler Surface

Autori: Alen Andrašek, Matija Kazalicki, Domagoj Vlah (Università di Zagabria)

---

1. Il Problema

Il lavoro si inserisce nel campo della teoria dei numeri, specificamente nello studio dei multipli di Diophante razionali.

• Definizione: Un $m$-upla razionale Diophantina di potenza $k$ è un insieme di $m$ numeri razionali distinti e non nulli $\{a_1, \dots, a_m\} \subset \mathbb{Q}$ tali che per ogni coppia $i < j$, il prodotto aumentato di 1, $a_i a_j + 1$, sia una potenza $k$-esima in $\mathbb{Q}$.
• Stato dell'arte:
  • Per $k=2$ (il caso classico), la teoria è ben sviluppata: esistono infinite quintuple e sesteuple razionali.
  • Per $k > 2$ (potenze superiori), la ricerca è più recente. Esistono esempi di triple e quadruple cubiche ($k=3$).
  • Il vuoto di conoscenza: Prima di questo lavoro, non esisteva alcun esempio noto di quadruple razionali Diophantine di potenza quarta ($k=4$). L'esistenza di tali insiemi era un problema aperto.

2. Metodologia

Gli autori combinano esperimenti computazionali massicci con una profonda analisi geometrica algebrica.

A. Esperimenti Computazionali

• Gli autori hanno condotto una ricerca esaustiva cercando coppie $(a, b)$ tali che $ab+1$ sia una quarta potenza.
• Per ogni coppia, hanno cercato numeri razionali $x$ tali che $ax+1$e$bx+1$ fossero potenze (inizialmente quadrati, poi sperando in quarte potenze).
• Risultati preliminari: Su oltre 219 milioni di coppie esaminate (con un limite di altezza di 100.000), sono state trovate 569 triple uniche e 11 "quasi-quadruple".
• Osservazione chiave: Le quasi-quadruple trovate condividevano una struttura specifica: i parametri associati alle radici quarte ($r, s, t, u, v, w$) soddisfacevano le condizioni $v=0$ e $ru = tw$. Questo ha guidato la ricerca verso una struttura algebrica specifica.

B. Analisi Geometrica e Algebraica

• Partendo dalle condizioni osservate ($v=0$ e relazioni di proporzionalità tra i parametri), gli autori hanno ridotto il sistema di equazioni di compatibilità a una singola equazione fondamentale.
• Questa equazione, dopo omogeneizzazione, corrisponde alla superficie di Euler:
  $$E: X^4 + Y^4 = Z^4 + W^4$$
• Gli autori dimostrano che ogni punto razionale su una specifica sottoinsieme aperto di Zariski di questa superficie genera una quadruple Diophantina di potenza quarta.
• La superficie $E$ è una superficie K3 classica. Gli autori sfruttano la parametrizzazione razionale classica di Euler per questa superficie per generare infinite famiglie di soluzioni.

3. Contributi Chiave e Risultati

Teorema Principale (Teorema 1.2)

Esistono infinite famiglie di quadruple razionali Diophantine di potenza quarta. Questo risolve il problema dell'esistenza, che era precedentemente aperto.

Costruzione Esplicita (Proposizione 1.3)

Gli autori forniscono una mappa razionale dalla superficie di Euler $E$ allo spazio dei parametri delle quadruple. Dati un punto razionale $(X:Y:Z:W) \in E(\mathbb{Q})$ con $ZW \neq 0$, si definiscono:
$$\begin{aligned} a &= \frac{X^4 - W^4}{Z^2 W^2}, & b &= -\frac{W^2}{Z^2}, \\ c &= \frac{Y^4 - W^4}{Z^2 W^2}, & d &= \frac{Z^2}{W^2}. \end{aligned}$$
Sotto condizioni di non-degenerazione (i numeri sono distinti e non nulli), si verifica che:

• $ab+1, ac+1, ad+1, bc+1, cd+1$ sono tutte quarte potenze razionali.
• $bd+1 = 0$ (che è $0^4$).

Famiglia Infinita Esplicita

Utilizzando la parametrizzazione classica di Euler per la superficie $E$ e specializzandola con $(\alpha, \beta) = (1, t)$, gli autori ottengono una famiglia parametrica infinita di quadruple $a(t), b(t), c(t), d(t)$ espresse come funzioni razionali di $t \in \mathbb{Q}$. Questo fornisce il primo esempio esplicito di tale famiglia.

Generalizzazione a Esponenti Arbitrari (Teorema 3.1)

La metodologia non è limitata a $k=4$. Gli autori generalizzano il risultato a qualsiasi intero $k \ge 2$ utilizzando la superficie Fermat-Euler:
$$E_k: X^k + Y^k = Z^k + W^k$$

• Caso pari ($k$ pari): Ogni punto razionale su un aperto appropriato di $E_k$ genera una $k$-esima potenza Diophantina quadruple.
• Caso dispari ($k$ dispari): La costruzione funziona se il rapporto $W/Z$ è un quadrato in $\mathbb{Q}$.
• Questo risultato recupera come caso particolare la famiglia cubica ($k=3$) precedentemente trovata da Batta, Szikszai e Tengely.

4. Significato e Implicazioni

1. Risoluzione di un problema aperto: Il lavoro conferma l'esistenza di quadruple Diophantine razionali per $k=4$, colmando un divario significativo nella letteratura.
2. Connessione Geometrica: Dimostra un legame profondo tra problemi di teoria dei numeri (tupple Diophantine) e la geometria aritmetica delle superfici (in particolare le superfici K3 come quella di Euler).
3. Metodologia Unificata: Offre un quadro teorico unificato che tratta simultaneamente potenze pari e dispari, collegando la ricerca di tali tuple alla ricerca di curve razionali o ellittiche su superfici di Fermat-Euler.
4. Implicazioni per $k > 4$: Per esponenti $k > 4$, la superficie $E_k$ è di tipo generale (secondo la congettura di Bombieri-Lang). Il lavoro suggerisce che l'esistenza di famiglie infinite per $k > 4$ dipenda dalla presenza di curve razionali o ellittiche speciali su queste superfici, un problema molto più rigido rispetto al caso quartico.
5. Strumenti Computazionali: L'uso di calcoli su larga scala per identificare strutture algebriche nascoste (come la condizione $v=0$) dimostra l'efficacia dell'approccio ibrido computazionale-teorico nella ricerca moderna di Diophante.

In sintesi, il paper non solo fornisce il primo esempio di quadruple Diophantine di potenza quarta, ma stabilisce un meccanismo generale per la loro costruzione basato sulla geometria delle superfici di Euler, aprendo nuove strade per lo studio delle potenze superiori.