A counting argument for the geometric Bombieri-Lang conjecture on ramified covers of abelian varieties

1. Il Problema: La Congettura di Bombieri–Lang Geometrica

Il lavoro affronta la congettura di Bombieri–Lang nel contesto dei campi di funzioni (caratteristica 0). Questa congettura è una generalizzazione multidimensionale della congettura di Mordell (dimostrata da Faltings) e postula che, per una varietà proiettiva $X$ di tipo generale definita su un campo di funzioni $K$, l'insieme dei punti razionali $X(K)$ non sia Zariski-denso, a meno che $X$ non contenga sottovarietà "speciali" (come immagini di varietà abeliane o varietà razionali).

Nello specifico, il paper si concentra sul caso in cui $X$ ammette una morfismo finito $f: X \to A$ verso una varietà abeliana $A$ definita su $K$.
Prima di questo lavoro, risultati significativi (di Xie e Yuan) avevano dimostrato la congettura solo sotto condizioni restrittive:

1. $X$ è iperbolica (cioè il suo insieme speciale $\text{Sp}(X)$ è vuoto).
2. La traccia di Chow $A(K/k)$ di $A$ è banale (cioè $A$ non è definita su un sottocampo costante $k$).

L'obiettivo di Gao è rimuovere entrambe queste ipotesi, trattando il caso generale in cui $X$ può non essere iperbolica e $A$ può avere una traccia non banale (il che crea difficoltà essenziali, poiché la traccia introduce punti razionali "costanti" che possono essere densi).

2. Metodologia e Strumenti

La dimostrazione si basa su una strategia ibrida che combina:

• Geometria Algebrica: Teoria delle varietà abeliane, modelli integrali, riduzione semistabile debole, modello canonico (programma di modelli minimi) e teoremi di estensione (Hacon-McKernan).
• Teoria di Nevanlinna: Estensione della teoria classica delle funzioni olomorfe (solitamente su $\mathbb{C}$) a mappe su dischi aperti e sequenze di sezioni, utilizzando funzioni di conteggio ($N$), prossimità ($m$) e caratteristica ($T$).
• Costruzione di Curve Intere: Utilizzo di un argomento di limite (tipo Brody) per costruire curve intere lineari a partire da sequenze di punti razionali con altezza illimitata.

L'Argomento di Conteggio (Key Idea)

Il cuore della novità risiede in un nuovo argomento di conteggio che sostituisce l'analisi diretta dell'insieme speciale $\text{Sp}(X)$.
Invece di studiare la posizione delle curve intere rispetto a $\text{Sp}(X)$, l'autore si concentra sul divisore di ramificazione $R$ della mappa $f: X \to A \times_K T_K$.
L'idea intuitiva è:

1. Se l'altezza dei punti razionali $\{x_n\}$ tende all'infinito, il divisore $R$ (che è "grande" o big sulle fibre) deve intersecare le sezioni $x_n$ in un numero crescente di punti.
2. Per il teorema di Hurwitz, l'intersezione con $R$ implica che l'immagine delle sezioni nella varietà abeliana sia tangente al divisore immagine $D = f(R)$ in molti punti.
3. Passando al limite, si ottiene una curva intera lineare $\phi_\infty$ su una fibra $A \times \{t_\infty\}$.
4. Si dimostra che questa curva limite è tangente al divisore ridotto $D_{\text{red}}$ in un numero "eccessivo" di punti.
5. Tuttavia, per il Secondo Teorema Principale di Yamanoi (per varietà abeliane), una curva intera lineare non può essere tangente a un divisore ridotto (che non la contiene) in un numero eccessivo di punti. Questo porta a una contraddizione.

3. Difficoltà Tecniche e Soluzioni

Il paper identifica e risolve tre ostacoli tecnici principali che impedivano l'applicazione diretta delle strategie precedenti:

1. Non ridondanza del divisore limite ($(D_{\text{red}})_{t_\infty}$ non ridotto):

   • Problema: La fibra limite potrebbe essere non ridotta, rendendo banale la tangenza.
   • Soluzione: Il Lemma 3.7 (un risultato tecnico sui limiti di spazi tangenti) dimostra che, anche se la fibra limite è non ridotta, il limite degli spazi tangenti delle fibre ridotte è contenuto nello spazio tangente della fibra ridotta limite. Questo permette di mantenere il controllo sulla tangenza.

2. Non piattezza di $D$ su $T$:

   • Problema: Il divisore immagine $D$ potrebbe contenere l'intera fibra $A \times \{t_\infty\}$, rendendo la tangenza banale.
   • Soluzione: Utilizzo di un teorema di riduzione semistabile debole (AK00). Si costruisce una copertura finita $T' \to T$ e una modifica birazionale $X' \to X \times_T T'$ tale che le fibre siano ridotte. Questo trasforma il problema in una situazione in cui il divisore di ramificazione è "orizzontale" rispetto alla base.

3. Singolarità di $X$:

   • Problema: Se $X$ è singolare, il divisore di ramificazione $R$ potrebbe non essere $\mathbb{Q}$-Cartier, rendendo difficile definire i numeri di intersezione.
   • Soluzione: Sostituzione di $X$ con il suo modello canonico $X_{\text{can}}$ (che ha singolarità dlt e $K_{X_{\text{can}}}$ è $\mathbb{Q}$-Cartier e ampio). Si utilizza il teorema di estensione di Hacon-McKernan per garantire l'esistenza di una mappa birazionale $X_{\text{can}} \to X$ quando $X$ non contiene curve razionali (caso garantito dalla presenza della mappa finita su una varietà abeliana).

4. Risultati Principali

Teorema 1.1 (Risultato Principale):
Sia $K$ un campo di funzioni su un campo $k$ di caratteristica 0. Sia $X$ una varietà proiettiva su $K$ che ammette un morfismo finito $f: X \to A$ verso una varietà abeliana $A$. Sia $Z$ la chiusura di Zariski di $(X \setminus \text{Sp}(X))(K)$ in $X$.
Allora esiste un insieme finito di sottovarietà chiuse distinte $\{Z_1, \dots, Z_r\}$ di $Z$ tali che:

1. La normalizzazione $Z'_i$ di ciascuna $Z_i$ è costante (cioè definita su $k$).
2. L'insieme dei punti razionali $(X \setminus \text{Sp}(X))(K)$ è contenuto nell'unione delle immagini dei punti $k$-razionali delle varietà $T_i$ (dove $T_i$ è la varietà costante associata a $Z_i$).

In termini semplici: tutti i punti razionali "non speciali" di $X$ provengono da punti definiti sul campo costante $k$, una volta che si passa a una copertura finita appropriata.

Corollario 1.2:
Se $X$ è di tipo generale e la traccia di Chow di $A$ è banale, allora $(X \setminus \text{Sp}(X))(K)$ è un insieme finito. Se la traccia non è banale, i punti razionali sono contenuti in un'unione finita di traslazioni della traccia.

Teorema 1.3 (Dimensione Albanese Massimale):
Se $X$ è di tipo generale, ha dimensione Albanese massimale e $X(K)$ è Zariski-denso, allora la varietà abeliana di Albanese di $X$ è definita su $k$ e $X$ è birazionale a una varietà costante $T_K$.

5. Significato e Contributi

• Generalizzazione Completa: Questo lavoro risolve la congettura di Bombieri–Lang geometrica per i ricoprimenti ramificati di varietà abeliane senza assumere iperbolicità o traccia nulla, chiudendo un gap significativo lasciato dai lavori precedenti di Xie e Yuan.
• Nuova Strategia di Dimostrazione: L'abbandono dell'analisi dell'insieme speciale $\text{Sp}(X)$ a favore di un conteggio basato sul divisore di ramificazione e sulla teoria di Nevanlinna rappresenta un cambio di paradigma metodologico potente.
• Sintesi di Teorie: Il paper dimostra come la combinazione di strumenti profondi della geometria algebrica moderna (modelli minimi, teoremi di estensione) con la teoria analitica delle funzioni (Nevanlinna) possa risolvere problemi aritmetici complessi su campi di funzioni.
• Implicazioni: Il risultato conferma che la struttura dei punti razionali su varietà che ammettono mappe finite verso varietà abeliane è rigidamente controllata dalla parte "costante" della varietà, anche in presenza di tracce non banali.

In sintesi, Guoquan Gao fornisce una prova robusta e generale della congettura geometrica di Bombieri–Lang per una vasta classe di varietà, superando le difficoltà tecniche legate alle singolarità e alla non ridondanza attraverso un elegante argomento di conteggio asintotico.