Some uniform effective results on André--Oort for sums of powers in $\mathbb{C}^n$

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria dei numeri trascendenti e della geometria aritmetica, focalizzandosi sulla congettura di André–Oort. Questa congettura, dimostrata da Pila per lo spazio modulare $\mathbb{C}^n$, afferma che una sottovarietà $V \subset \mathbb{C}^n$ contiene un numero finito di sottovarietà speciali massimali. In termini più specifici, un punto $(x_1, \dots, x_n) \in \mathbb{C}^n$ è detto "punto speciale" se le sue coordinate sono moduli singolari (valori dell'invariante $j$ di curve ellittiche con moltiplicazione complessa).

Il problema specifico affrontato da Fowler riguarda l'equazione di somma di potenze di moduli singolari:
$$a_1 x_1^m + \dots + a_n x_n^m = b$$
dove $x_i$ sono moduli singolari distinti, $a_i, b \in \mathbb{Q} \setminus \{0\}$ e $m \in \mathbb{Z}_{>0}$.

L'obiettivo è stabilire risultati uniformi (indipendenti dall'altezza dei coefficienti $a_i, b$) ed effettivi (con costanti calcolabili esplicitamente) che limitino i discriminanti $\Delta_i$ associati ai moduli singolari $x_i$. Risultati precedenti (es. Binyamini, Kühne) erano spesso effettivi ma dipendevano dall'altezza dei coefficienti, oppure uniformi ma non effettivi (come la dimostrazione originale di Pila basata sulla teoria di o-minimalità).

2. Metodologia

L'autore combina diverse tecniche avanzate:

• Teoria di André–Oort Uniforme: Utilizza il teorema uniforme di Pila per dimostrare l'esistenza di limiti sui discriminanti, ma supera l'inefficacia intrinseca di tale dimostrazione.
• Stime sui Classi di Ideali: Sfrutta i risultati di Tatuzawa sulla stima inferiore del numero di classi $h(\Delta)$ per campi quadratici immaginari. Viene identificato un unico campo quadratico immaginario eccezionale $K^*$ (associato al discriminante $D^*$) per il quale il limite di Tatuzawa potrebbe non valere.
• Analisi Asintotica dei Moduli Singolari: Utilizza stime esplicithe sul valore assoluto dei moduli singolari in funzione del loro discriminante (basate sul dominio fondamentale della funzione $j$). In particolare, distingue tra il "modulo singolare dominante" (associato al denominatore 1) e gli altri, sfruttando la rapida crescita esponenziale del modulo dominante rispetto agli altri.
• Algebra Galoisiana: Analizza le estensioni di campo generate dai moduli singolari e le loro relazioni di coniugazione. Dimostra che se una combinazione lineare di potenze di moduli singolari appartiene a un campo specifico, ciò impone forti restrizioni sulla struttura del gruppo di classe e sui discriminanti.
• Calcoli Computazionali (PARI/GP): Per il caso specifico $n=3$, l'autore esegue calcoli espliciti per verificare le condizioni algebriche e generare liste finite di discriminanti candidati, eliminando poi i casi impossibili.

3. Risultati Principali

Teorema 1.2 (Risultato Effettivo Parziale Uniforme)

L'autore dimostra che per $m, n \in \mathbb{Z}_{>0}$, esiste una costante effettiva $c(m, n)$ tale che, se $x_1, \dots, x_n$ sono moduli singolari distinti con discriminanti $\Delta_i$ e soddisfano l'equazione di somma di potenze con coefficienti razionali, allora:
$$\max_i |\Delta_i| \leq c(m, n)$$
Condizione: Al più uno dei discriminanti $\Delta_i$ può generare il campo eccezionale $K^*$ (cioè $\mathbb{Q}(\sqrt{\Delta_i}) = K^*$). Se più discriminanti generano $K^*$, devono essere tutti uguali tra loro.
Questo risultato migliora le stime precedenti permettendo di gestire un numero arbitrario di discriminanti "non eccezionali" e gestendo il caso eccezionale in modo controllato.

Teorema 1.3 (Risultato Uniforme ed Esplicito)

Sotto condizioni più restrittive sui discriminanti (specificamente, che per ogni $k$, il numero di discriminanti che generano lo stesso campo quadratico $\mathbb{Q}(\sqrt{\Delta_k})$ sia esattamente 1), l'autore fornisce costanti esplicite $c_1(n)$ e $c_2(n)$ che non dipendono da $m$.
Questo fornisce un limite uniforme rispetto all'esponente $m$, una proprietà non garantita dai teoremi generali di André–Oort.

Teorema 1.4 e 1.5 (Risultati Intermedi)

• Teorema 1.4: Studia equazioni tra moduli singolari dello stesso discriminante $\Delta$. Dimostra che se una combinazione lineare di potenze appartiene al campo $\mathbb{Q}(\sqrt{\Delta})$, allora o il discriminante è piccolo (limitato da una funzione di $n$) o il numero di classi $h(\Delta)$ è esattamente $n$ e i coefficienti sono tutti uguali.
• Teorema 1.5: Analizza i campi generati da tali combinazioni lineari, fornendo limiti sul grado dell'estensione in funzione di $n$.

Teorema 1.6 (Classificazione Completa per $n=3$)

Per il caso $m=1, n=3$ (somme lineari di tre moduli singolari), l'autore fornisce una classificazione completamente esplicita e incondizionata.
L'equazione $Ax + By + Cz \in \mathbb{Q}$ (con $A,B,C \in \mathbb{Q}^*$) è soddisfatta se e solo se, a meno di permutazione, si verifica una delle seguenti situazioni:

1. Tutti i moduli sono razionali.
2. Uno è razionale e gli altri due generano lo stesso campo quadratico con un rapporto specifico tra i coefficienti.
3. Tutti e tre generano lo stesso campo quadratico e i coefficienti soddisfano una relazione lineare esplicita.
4. Tutti e tre sono coniugati su $\mathbb{Q}$ (campo di grado 3) e i coefficienti sono uguali.
5. Uno genera un campo quadratico, gli altri due un campo di grado 4 contenente il primo, con una specifica relazione tra i coefficienti.

L'autore dimostra che non esistono altre soluzioni, eliminando casi potenziali tramite calcoli computazionali su discriminanti con piccolo numero di classi.

4. Significato e Contributi

• Superamento dell'Inefficacia: Il lavoro trasforma risultati qualitativi o dipendenti dall'altezza in risultati effettivi e uniformi, un passo cruciale per la computabilità in teoria dei numeri.
• Gestione del Campo Eccezionale: Affronta in modo elegante il problema del campo eccezionale $K^*$ (legato al limite di Siegel-Tatuzawa), mostrando come limitare il numero di occorrenze di tale eccezione permetta di ottenere stime globali.
• Classificazione Esplicita: La determinazione completa delle triple di moduli singolari per $n=3$ rappresenta un risultato concreto e verificabile, risolvendo un caso specifico aperto da lavori precedenti (come quelli di Allombert, Bilu, e Pizarro-Madariaga per $n=2$).
• Uniformità in $m$: La dimostrazione che i limiti sui discriminanti possono essere resi indipendenti dall'esponente $m$ sotto certe condizioni è un contributo teorico significativo, suggerendo che la struttura delle equazioni di potenze di moduli singolari è più rigida di quanto previsto dai teoremi generali.

In sintesi, il paper di Fowler rappresenta un avanzamento sostanziale nella comprensione delle relazioni lineari tra potenze di moduli singolari, fornendo strumenti effettivi per classificare tali soluzioni e riducendo il problema a un numero finito di casi calcolabili.