André's theorem and weakly bounded height

Sintesi Tecnica: Teorema di André e Altezza Debolmente Limitata (Weakly Bounded Height)

Enunciato del Problema
Il saggio affronta la versione efficace del teorema di André, un caso specifico della congettura di André–Oort per il piano affine $\mathbb{A}^2(\mathbb{C})$. La congettura postula che una curva algebrica non speciale $V$ contenga solo finiti "punti speciali", definiti come coppie $(x, y)$ dove sia $x$ che $y$ sono moduli singolari (invarianti $j$ di curve ellittiche con moltiplicazione complessa). Sebbene la finitezza di tali punti sia stata stabilita da André (in modo incondizionato) e da Pila (per dimensioni superiori), queste dimostrazioni erano inefficaci, non fornendo limiti computabili sull'altezza o sul numero di tali punti.

I precedenti risultati efficaci di Kühne e di Bilu, Masser e Zannier hanno stabilito limiti per l'altezza dei punti speciali, ma tali limiti esibivano una dipendenza scarsa dall'altezza della curva $V$ (specificamente, un esponente di 8 o superiore, o una mancanza di dipendenza esplicita). Il problema centrale che questo saggio affronta è l'instaurare un limite efficace per l'altezza dei punti speciali su una specifica classe di curve non speciali che dipenda linearmente dall'altezza della curva $V$, $h(V)$.

Metodologia
L'autore impiega una versione raffinata della strategia Pila–Zannier, che combina il conteggio dei punti o-minimi con limiti aritmetici inferiori per gli orbite di Galois. La dimostrazione è strutturata attorno al controllo dei punti speciali basandosi sulla dimensione dei loro discriminanti rispetto a un campo eccezionale "cattivo" $K^*$ derivante dalla versione efficace del teorema di Siegel–Landau di Tatuzawa sul numero di classi.

1. Classificazione dei Punti Speciali: I punti speciali $(x, y)$ sono divisi in due categorie:

   • Punti non eccezionali: Quelli in cui i discriminanti $\Delta_x, \Delta_y$ non sono associati al singolo campo eccezionale possibile nel teorema di Tatuzawa. Per questi, la dimensione dell'orbita di Galois è grande, permettendo l'uso del conteggio efficace dei punti (tramite i risultati di Binyamini) per limitare i discriminanti uniformemente.
   • Punti $\epsilon$-eccezionali: Quelli in cui i discriminanti corrispondono al campo eccezionale. Questi punti hanno orbite di Galois anormalmente piccole e numeri di classe ridotti.

2. Gestione dei Punti $\epsilon$-Eccezionali:

   • Il saggio utilizza un risultato di Habegger che fornisce un limite di altezza per l'intersezione di una curva $V$ e una curva modulare $V(\Phi_N)$, a condizione che i gradi delle funzioni coordinate su $V$ siano distinti ($d_1 \neq d_2$).
   • L'autore calcola esplicitamente le costanti nel risultato di Habegger per mostrare una dipendenza lineare su $h(V)$.
   • Viene utilizzato un argomento di contraddizione: se un punto $\epsilon$-eccezionale ha un'altezza molto grande, deve trovarsi su una curva modulare con un livello $N$ elevato. Tuttavia, le stime di isogenia e i limiti inferiori sull'orbita di Galois (derivati dal piccolo numero di classe dei punti eccezionali) creano un conflitto tra il limite superiore sull'altezza (da Habegger) e il limite inferiore sul grado dell'estensione del campo. Ciò forza i discriminanti (e quindi le altezse) a essere limitati.

3. Uniformità Condizionata:

   • Il saggio introduce la proprietà WBH($\eta, \kappa$) (Altezza Debolmente Limitata - Weakly Bounded Height), che postula un limite di altezza specifico per i punti sull'intersezione di $V$ e curve modulari.
   • L'autore dimostra che, se WBH($\eta, \kappa$) è valida, si può derivare un limite efficace per tutte le curve non speciali, portando potenzialmente a una versione efficace uniforme del teorema di André (Teorema 1.4).

Contributi Chiave e Risultati

• Teorema 1.1 (Risultato Principale Incondizionato): Per una curva $V$ geometricamente irriducibile e non speciale definita su un campo numerico $L$, dove i gradi delle funzioni coordinate $X$ e $Y$ ristrette su $V$ sono distinti ($d_1 \neq d_2$), il saggio dimostra l'esistenza di una costante $c$ effettivamente computabile tale che per ogni punto speciale $(x, y) \in V$:
  $$\max\{h(x), h(y)\} \leq c_1([L:\mathbb{Q}], \max\{d_1, d_2\}) + 26 \max\{d_1, d_2\}^3 h(V)$$
  Inoltre, i discriminanti soddisfano un limite con un esponente di $2+\delta$ su $h(V)$, un miglioramento significativo rispetto all'esponente 8 trovato nei lavori precedenti.

• Teorema 1.3 (Risultato Condizionato): Assumendo che la proprietà WBH($\eta, \kappa$) sia valida, il saggio stabilisce limiti di altezza efficaci per i punti speciali su qualsiasi curva non speciale (rimuovendo la restrizione $d_1 \neq d_2$). Se $\kappa < 2\eta$, ciò implica un limite uniforme sui discriminanti indipendente da $h(V)$, provando efficacemente il Teorema 1.4 in modo condizionato.

• Costanti Esplicite: Il saggio fornisce formule esplicite per le costanti coinvolte nei limiti, particolarmente nella dimostrazione del Teorema 6.3, che gestisce il caso $\epsilon$-eccezionale. Si mostra che queste costanti sono indipendenti dal campo di definizione $L$ in determinati regimi.

Significatività
Il saggio sostiene di aver stabilito la prima versione efficace del teorema di André con una dipendenza lineare dall'altezza della curva $V$ per una classe non banale di curve. Questo rappresenta un miglioramento sostanziale rispetto ai precedenti risultati efficaci (Kühne, Wüstholz) che presentavano una dipendenza polinomiale con esponenti elevati (ad esempio, 8).

L'autore nota che la condizione $d_1 \neq d_2$ è più forte della semplice condizione che $V$ sia non speciale (esclude le curve modulari), ma è necessaria per l'attuale tecnica di dimostrazione che si basa sul limite di altezza specifico di Habegger. Il saggio inquadra il suo risultato condizionato (Teorema 1.3) come una strategia per estendere questi limiti lineari a tutte le curve non speciali, subordinatamente alla prova della validità della proprietà WBH. Il lavoro offre inoltre un nuovo metodo per dedurre risultati di finitezza direttamente dai limiti di altezza senza ricorrere alle stime di endomorfismo di Masser–Wüstholz, offrendo un percorso potenzialmente più diretto verso risultati efficaci uniformi.