Geometric Batyrev-Manin-Peyre for equivariant compactifications of additive groups

1. Il Problema e il Contesto

Il lavoro si colloca nell'ambito della geometria aritmetica e della geometria motivica, estendendo le congetture di Batyrev-Manin-Peyre (BMP) al contesto delle funzioni (campi di funzioni).

• Contesto Classico: Le congetture BMP originali riguardano la stima asintotica del numero di punti razionali di altezza limitata su una varietà algebrica definita su un campo numerico, quando il limite tende all'infinito.
• Contesto Geometrico/Motivico: In questo contesto, l'analogo della stima del numero di punti è lo studio dello spazio dei moduli delle sezioni di una famiglia di varietà su una curva proiettiva liscia $C$. L'"altezza" si traduce nel grado della curva (o multigrado), e la funzione zeta dei punti diventa una funzione zeta dei pesi motivici (motivic height zeta function).
• Obiettivo Specifico: L'autore studia il comportamento asintotico dello spazio dei moduli delle sezioni di una famiglia $\pi: X \to C$, dove la fibra generica $X_F$ è una compattificazione equivariante di un gruppo additivo $G_a^n$. In particolare, si vuole determinare il limite della classe motivica dello spazio dei moduli $[M_n]$ normalizzata, quando il multigrado delle sezioni tende all'infinito in modo "appropriato" (lontano dai bordi del duale del cono effettivo).

2. Metodologia

L'approccio combina tecniche di geometria algebrica, teoria dei campi locali e analisi motivica, seguendo e affinando il lavoro precedente di Bilu, Chambert-Loir e Loeser.

• Anelli di Grothendieck: Il lavoro è condotto nell'anello di Grothendieck delle varietà $\mathcal{M}_k$ (e le sue localizzazioni/completamenti rispetto alla topologia del peso). Le classi degli spazi dei moduli sono trattate come elementi di questo anello.
• Funzione Zeta dei Pesi Motivici: Si introduce la funzione zeta multivariata $Z(T) = \sum [M_n] T^n$. L'obiettivo è studiare i coefficienti di questa serie quando gli indici tendono all'infinito.
• Trasformata di Fourier Motivica e Formula di Poisson: Un passo cruciale è l'applicazione della formula di Poisson motivica (estendendo il lavoro di Hrushovski-Kazhdan e Chambert-Loir-Loeser). Questo permette di riscrivere la funzione zeta come una somma su caratteri del gruppo additivo, decomponendola in una somma di prodotti motivici locali.
• Prodotti di Eulero Motivici: La funzione zeta viene espressa come un prodotto di Eulero motivico (introdotto da Bilu). La convergenza di questi prodotti è studiata utilizzando la filtrazione del peso sull'anello di Grothendieck.
• Analisi dei Poli e Caratteri:
  • Si analizza il contributo del carattere banale (che fornisce il termine principale).
  • Si dimostra che i contributi dei caratteri non banali sono trascurabili asintoticamente dopo la normalizzazione.
  • Si gestiscono i casi con punti di "cattiva riduzione" o condizioni di integralità su un sottoinsieme aperto $U \subset X$, introducendo invarianti numerici più fini (gradi di intersezione locali) e decomponendo lo spazio dei moduli in base alle componenti verticali e alle facce massimali del complesso di Clemens.

3. Contributi Chiave

1. Generalizzazione del Risultato di Bilu: Mentre i lavori precedenti si concentravano sul grado rispetto al fascio log-anticanonico generico, questo paper fornisce un'analisi più fine basata sul multigrado rispetto ai divisori di bordo. Questo permette di distinguere diverse componenti dello spazio dei moduli che prima venivano mescolate.
2. Trattamento delle Condizioni di Integralità: L'autore affronta il caso in cui le sezioni devono avere immagine contenuta in un aperto $U \subset X$ (punti $S$-integrali). Questo richiede l'introduzione di invarianti locali aggiuntivi per distinguere le componenti rilevanti dello spazio dei moduli, gestiti attraverso una decomposizione basata sul complesso di Clemens analitico.
3. Convergenza Uniforme: Viene stabilita una convergenza lineare rispetto al peso (weight-linear convergence) per i prodotti di Eulero motivici, uniforme rispetto alla stratificazione dello spazio dei caratteri. Questo è essenziale per giustificare lo scambio tra somma sui caratteri e limite asintotico.
4. Interpretazione Geometrica del Limite: Il limite ottenuto è interpretato come un prodotto di Eulero motivico, dove i fattori locali hanno un significato geometrico preciso legato ai volumi motivici degli spazi degli archi.

4. Risultati Principali

Il teorema principale (Teorema 4.15) afferma che, quando il multigrado delle sezioni tende all'infinito allontanandosi dai bordi del cono duale effettivo, la classe normalizzata dello spazio dei moduli converge nell'anello di Grothendieck completato.

Il limite è un elemento non nullo ed effettivo, esprimibile come un prodotto di Eulero motivico:
$$\lim [M_n] L^{-\langle \rho', n \rangle} = L^{(1-g)n} \cdot \left( \frac{[\text{Pic}^0(C)] L^{1-g}}{L-1} \right)^{\text{rg}(\text{Pic}(U))} \times \prod_{v \in C} c_v$$

Dove:

• $g$ è il genere della curva $C$.
• $\rho'$ è il vettore dei coefficienti del divisore log-anticanonico.
• I fattori locali $c_v$ dipendono dalla riduzione della varietà in $v$:
  • Per i punti di buona riduzione ($v \in C_1$), il fattore è proporzionale al volume motivico della fibra $U_v$.
  • Per i punti di cattiva riduzione o punti speciali ($s \in S$), il fattore coinvolge l'intersezione tra le componenti del bordo e le fibre speciali, pesate da invarianti legati al complesso di Clemens massimale.
• Il risultato conferma la forma attesa dalle congetture BMP nel contesto motivico, fornendo una risposta positiva a una versione motivica della congettura per le compattificazioni equivarianti di gruppi additivi.

5. Significato

Questo lavoro rappresenta un passo significativo verso la comprensione della distribuzione dei punti razionali (o sezioni) su varietà non toriche ma con una struttura di gruppo additivo.

• Raffinamento della Teoria: Dimostra che la struttura fine dello spazio dei moduli (componenti legate all'intersezione con il bordo) può essere catturata e analizzata asintoticamente usando strumenti motivici.
• Strumenti Potenti: Conferma l'efficacia della formula di Poisson motivica e dei prodotti di Eulero nello studio di problemi di conteggio asintotico in geometria algebrica.
• Ponte tra Aritmetica e Geometria: Fornisce un modello esplicito per le congetture BMP in un contesto geometrico, dove i "punti" sono sezioni di fibrati, offrendo intuizioni che potrebbero essere trasferite al caso aritmetico (campi numerici).

In sintesi, il paper risolve un caso specifico ma tecnicamente complesso delle congetture di Batyrev-Manin-Peyre in ambito motivico, fornendo una formula precisa per il termine principale asintotico e dimostrando la trascurabilità dei termini di errore e dei caratteri non banali.