Equidistribution for semiabelian varieties over number fields

Sintesi Tecnica: Equidistribuzione per Varietà Semiabele su Campi Numerici

Enunciato del Problema
Questo articolo affronta il divario tra l'equidistribuzione di punti piccoli su varietà semiabli e la classica congettura di Bogomolov, specificamente in contesti in cui le metriche definenti non sono "quasi-canoniche" nel senso richiesto dal teorema di equidistribuzione di Yuan–Zhang. Mentre Yuan e Zhang hanno stabilito l'equidistribuzione per fasci lineari adelici quasi-canonici su varietà quasi-proiettive, e Kühne ha dimostrato l'equidistribuzione per metriche semiabli canoniche, una classe significativa di metriche — specificamente quelle su compattificazioni semiabli governate da metriche toriche che sono semipositive, monocritiche e aritmeticamente T-effettive — rimaneva al di fuori dello scopo diretto di tali teoremi.

La questione centrale è se l'equidistribuzione generica e la proprietà di Bogomolov (ovvero che una sottovarietà non speciale non possa contenere un insieme denso in senso Zariski di punti di altezza arbitrariamente piccola) siano valide per queste metriche toriche più generali. La difficoltà risiede nel fatto che, per tali metriche, l'altezza globale della varietà può essere strettamente inferiore al suo minimo essenziale ($h_L(G) < \mu^{\text{ess}}_L(G)$), impedendo l'applicazione diretta del framework di Yuan–Zhang.

Metodologia
L'autore, Wei Xue, sviluppa una strategia di prova che isola le stime asintotiche dell'argomento di Kühne e le reinterpreta attraverso "percorsi di compressione espliciti". La metodologia procede in quattro fasi distinte:

1. Trivializzazione Locale e Costruzione Adelica: L'articolo estende la trivializzazione locale archimediana di Kühne a tutti i luoghi di un campo numerico $K$. Utilizzando l'uniformizzazione di Raynaud–Bosch–Lütkebohmert per varietà abeli e funzioni theta $p$-adiche, l'autore costruisce un fascio lineare adelico $\mathcal{G}(D)$ sulla compattificazione semiabile $\overline{G}$ associata a un divisore metrico torico $D$. Questa costruzione assicura la compatibilità con le trivializzazioni locali in ogni luogo, permettendo un confronto preciso tra l'altezza sulla varietà semiabile e il minimo assoluto sulla parte torica.

2. Caso della Metrica Canonica: L'articolo stabilisce prima l'equidistribuzione per il caso della metrica canonica. Costruendo una torre di divisione $n$-esima ed estendendo le stime asintotiche di Kühne a arbitrari divisori torici ampi, l'autore dimostra che le sequenze piccole generiche si equidistribuiscono rispetto alla misura canonica. Ciò comporta il limite superiore dei termini di traslazione Picard-zero e l'instaurazione di un "limite inferiore canonico" per le altezse.

3. Compressione Quasi-Canonica: Per le metriche che sono quasi-canoniche ma non necessariamente canoniche, l'articolo introduce "percorsi di compressione espliciti". La metrica viene compressa verso un modello quasi-canonico individuato dal suo centro tropicale critico. L'autore costruisce parametri di compressione espliciti $m(n)$ e dimostra che i limiti inferiori, le stime di misura e i confronti di volume aritmetico valgono uniformemente lungo questi percorsi. Questo passaggio trasporta efficacementamente gli argomenti di "Haar-slice" e del morfismo di differenza di Kühne dalla standard compattificazione $(\mathbb{P}^1)^t$ a una arbitraria compattificazione torica propria normale $X_\Sigma$.

4. Riduzione Monocritica: L'ultimo passaggio gestisce il caso monocritico generale. Utilizzando la teoria delle misure toriche di Burgos Gil, Philippon, Rivera-Letelier e Sombra (BGPS), l'autore mostra che le metriche monocritiche possono essere ridotte a metriche quasi-canoniche tramite una "sostituzione quasi-canonica". Questo si basa sulla T-effettività aritmetica della metrica, che fissa l'origine nell'insieme di stabilità della funzione tetto (roof function). Si dimostra che la misura limite per la metrica monocritica coincide con quella della sua metrica quasi-canonica associata.

Contributi Chiave e Risultati

• Equidistribuzione Generica (Teorema 1.3): L'articolo dimostra che per una varietà semiabile $G$ su un campo numerico, dotata di un fascio lineare $L = \mathcal{G}(D) \otimes \pi^*N$ dove $D$ è un divisore metrico torico grande, T-effettivo, semipositivo, monocritico e aritmeticamente T-effettivo, ogni sequenza $L$-piccola generica soddisfa l'equidistribuzione $v$-adica in ogni luogo $v$.
• Teorema di Bogomolov (Teorema 1.4): L'articolo stabilisce il teorema di Bogomolov per questa specifica classe di metriche. Dimostra che se una sottovarietà chiusa $X \subseteq G$ soddisfa $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$, allora $X$ è una sottovarietà speciale (un traslato di un sottogruppo algebrico per un punto di torsione). Viceversa, se $G(K)$ contiene punti $L$-speciali, allora $X$ è $L$-speciale se e solo se $\mu^{\text{ess}}_L(X) = \mu^{\text{ess}}_L(G)$.
• Assemblaggio del Trasporto di Kühne (Kühne Transport Assembly): Un contributo tecnico significativo è l' "Assemblaggio del Trasporto di Kühne" (Proposizione 96). Questo pacchetto adatta rigorosamente l'analisi della trivializzazione locale, i morfismi di differenza e gli argomenti di contraddizione della "small-box" di Kühne ad arbitrarie compattificazioni toriche e metriche quasi-canoniche. Dimostra che le identità di pushforward e le descrizioni di Haar-slice utilizzate nel caso canonico rimangono valide sotto tali generalizzazioni, a condizione che le convenzioni dei fattori theta siano gestite correttamente.
• Equidistribuzione Stretta: L'articolo deriva un teorema di equidistribuzione stretta (Teorema 102) per le metriche quasi-canoniche, mostrando che le sequenze strettamente piccole si equidistribuiscono verso la misura di probabilità canonica. Ciò è ottenuto combinando la proprietà di Bogomolov con il risultato di equidistribuzione generica, evitando la circolarità attraverso l'uso del "modello quasi-canonico ristretto" sugli involucri speciali minimi.

Significato e Rivendicazioni
L'articolo rivendica l'estensione dello scope dell'equidistribuzione e dei teoremi di Bogomolov oltre l'intervallo quasi-canonico di Yuan–Zhang e l'intervallo canonico di Kühne. Il contributo non è una nuova prova del teorema canonico né un risultato per tutte le metriche toriche semipositive. Inveve, mira alla specifica classe di metriche toriche monocritiche e aritmeticamente T-effettive.

La significatività risiede nel "meccanismo di confronto" stabilito tra metriche canoniche, quasi-canoniche e toriche generali. Isolando le stime asintotiche e reinterpretandole tramite percorsi di compressione, l'autore fornisce un ponte che permette di applicare la potente macchina degli argomenti di trivializzazione locale di Kühne a metriche che non sono strettamente quasi-canoniche. L'articolo nota esplicitamente che la "metrica generale" a cui ci si riferisce nel contesto dell'applicazione di Bogomolov è limitata a questa classe controllata, e che l'estensione dell'argomento ad arbitrarie metriche semipositive richiederebbe nuovi teoremi di sostituzione o deformazione oltre l'attuale ambito.

Il lavoro si basa pesantemente sull'interazione tra geometria tropicale (vettori critici, funzioni tetto), teoria dell'intersezione aritmetica (fasci lineari adelici, volumi aritmetici) e uniformizzazione analitica (estensioni di Raynaud, funzioni theta). Esso integra con successo i criteri monocritici di BGPS con la decomposizione dell'altezza semiabile per risolvere il problema dell'equidistribuzione per questa specifica, non banale classe di metriche.