On the unit equation $\varepsilon+\delta=n$ in cubic fields

Sintesi Tecnica: Sull'equazione delle unità $\varepsilon + \delta = n$ nei campi cubici

Enunciato del Problema
Il saggio investiga l'equazione delle unità $\varepsilon + \delta = n$ nel contesto dei campi numerici cubici, dove $\varepsilon$ e $\delta$ sono unità nell'anello degli interi $\mathcal{O}_L$ di un campo cubico $L$, e $n$ è un intero non nullo. Questa equazione corrisponde alla ricerca di punti $L$ sulla curva bucata $X = \mathbb{P}^1 \setminus \{0, n, \infty\}$. Nello specifico, gli autori si concentrano sull'insieme dei punti "nuovi", denotato $X(\mathcal{O}_L)^{\text{new}}$, che sono punti definiti su $L$ ma non su alcuna estensione strettamente minore di $\mathbb{Q}$. La questione centrale è il comportamento statistico di tali soluzioni quando i campi cubici sono ordinati per discriminante assoluto.

Metodologia
Gli autori impiegano una combinazione di parametrizzazione algebrica esplicita e statistica aritmetica.

1. Parametrizzazione delle Soluzioni:
   Il saggio stabilisce innanzitutto una corrispondenza tra le soluzioni dell'equazione delle unità e le radici di specifici polinomi cubici.

• Per $n \geq 3$, il Lemma 5 dimostra che se $L = \mathbb{Q}(\varepsilon)$ è un campo cubico, il polinomio minimo di $\varepsilon$ deve assumere la forma $X^3 + aX^2 - (n^2 + an)X + 1$ per qualche intero $a$.
• Per $n=2$ e $n=1$, i Lemmi 6 e 7 forniscono parametrizzazioni esplicite simili, identificando famiglie specifiche di polinomi cubici le cui radici generano i campi rilevanti.
• Gli autori analizzano anche il caso quadratico (Sezione 2), dimostrando che per ogni $n$, esistono solo molti campi quadratici contenenti soluzioni, contrastando con il caso cubico.

2. Statistica Aritmetica e Teoria di Galois:
   Per dimostrare il risultato statistico, gli autori utilizzano un recente teorema (Teorema 8) derivato dal loro precedente lavoro [6] e dai risultati di Bhargava, Taniguchi e Thorne [1]. Questo teorema fornisce un criterio per determinare quando una famiglia di campi cubici definita da un polinomio $F(t, X)$ costituisce un insieme "sottile" (ovvero lo 0% di tutti i campi cubici ordinati per discriminante).

• Gli autori costruiscono un polinomio bivariato $F(T, X)$ basato sulle parametrizzazioni trovate nei lemmi.
• Analizzano il discriminante di $F$ rispetto a $X$, denotato $\Delta_X(F)$. Essi fattorizzano questo discriminante in $g(T) \cdot h(T)^2$, dove $g(T)$ è privo di quadrati.
• La dimostrazione si basa sulla verifica di due condizioni per $g(T)$:
  1. $g(T)$ non ha radici razionali (verificato attraverso lo studio di una curva di genere 1 associata $E: Y^2 + Y = X^3$).
  2. Il gruppo di Galois $G = \text{Gal}(g)$ contiene un elemento che agisce liberamente sulle radici di $g$.

Contributi Chiave e Risultati
Il saggio presenta due risultati principali riguardanti l'equazione $\varepsilon + \delta = n$:

• Teorema 3(I): Esistono infiniti campi cubici $L$ per i quali l'insieme dei punti nuovi $(\mathbb{P}^1 \setminus \{0, n, \infty\})(\mathcal{O}_L)^{\text{new}}$ è non vuoto. Ciò è stabilito dalla costruzione esplicita di infinite famiglie di campi cubici tramite le parametrizzazioni nei Lemmi 5, 6 e 7.
• Teorema 3(II): Quando i campi cubici sono ordinati per discriminante assoluto, il 100% di essi soddisfa $(\mathbb{P}^1 \setminus \{0, n, \infty\})(\mathcal{O}_L)^{\text{new}} = \emptyset$.
  • Questo risultato è provato mostrando che la famiglia di campi cubici generata dalle soluzioni dell'equazione delle unità rientra nell'insieme "sottile" descritto dal Teorema 8.
  • Gli autori verificano che per $n \geq 3$, il polinomio del discriminante $g(T)$ non ha radici razionali e il suo gruppo di Galois contiene un elemento privo di punti fissi. I casi $n=1$ e $n=2$ sono notati come simili ma più elementari.

Significato e Rivendicazioni
Il saggio posiziona i suoi risultati come ulteriore prova a sostegno della "congettura della stabilità diodofantica statistica per curve iperboliche" (Congettura 1), la quale postula che per una curva iperbolica $X$, l'insieme dei punti $L$-nuovi sia vuoto per il 100% delle estensioni $L$ in una famiglia ammissibile.

• Consistenza con la Congettura: Il risultato conferma che per la specifica curva iperbolica $\mathbb{P}^1 \setminus \{0, n, \infty\}$, la congettura è valida per la famiglia di campi cubici.
• Contrasto con i Campi Quadratici: Gli autori evidenziano una distinzione netta tra campi quadratici e cubici. Mentre l'analogo quadratico del Teorema 3(II) è banalmente vero (poiché esistono solo finiti campi quadratici con soluzioni), il caso cubico richiede un argomento statistico non banale per mostrare che le soluzioni sono rare (densità 0) nonostante siano infinite in numero.
• Modestia: Gli autori inquadrano il lavoro come fornendo "ulteriori prove" per la congettura più ampia piuttosto che una prova completa della congettura per tutte le curve iperboliche. Essi citano esplicitamente il loro precedente lavoro [6] per il quadro generale e il caso specifico di $n=1$ (Teorema 2), notando che l'attuale saggio generalizza questo a arbitrari interi non nulli $n$.

Il saggio conclude notando che il codice computazionale di supporto (Magma) utilizzato per verificare le proprietà dei polinomi del discriminante è disponibile in un repository pubblico.