Multi-height analysis of rational points of toric varieties

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria dei numeri aritmetica e della geometria algebrica, focalizzandosi sulla distribuzione asintotica dei punti razionali su varietà algebriche.

• Contesto classico: Per una varietà "quasi-Fano" $V$ con infiniti punti razionali, la congettura di Manin (e le sue generalizzazioni di Peyre) prevede il comportamento asintotico del numero di punti razionali con altezza limitata da una costante $B$, rispetto a un singolo fascio di linee (solitamente il fascio anticanonico $\omega^{-1}_V$).
• Il problema specifico: L'articolo affronta un approccio più generale proposto da Peyre: lo studio della distribuzione multi-altezza. Invece di considerare un'unica altezza, si considera l'intero sistema di altezze associate a tutti i fasci di linee possibili. L'obiettivo è studiare come i punti razionali si distribuiscono nello spazio duale del gruppo di Picard, $\text{Pic}(V)^\vee_{\mathbb{R}}$, quando l'altezza multipla è vincolata a una regione specifica.
• Oggetto di studio: Varietà toriche lisce, proiettive e split su $\mathbb{Q}$. Queste varietà sono un caso di test ideale per le congetture di Manin-Peyre grazie alla loro struttura combinatoria (ventagli) e alla presenza di un toro aperto.

2. Metodologia

L'autore adotta una strategia basata sul descent (discesa) verso i torsori universali, un metodo introdotto da Salberger e perfezionato da Peyre. La metodologia si articola in diversi passaggi chiave:

1. Formalismo delle Altezze di Arakelov:

   • Si definisce un sistema di altezze su $V$ come una sezione del morfismo di oblio dal gruppo dei fasci di linee adelicici $\mathcal{H}(V)$ al gruppo di Picard $\text{Pic}(V)$.
   • Si introduce la mappa di "multi-altezza" $h: V(\mathbb{Q}) \to \text{Pic}(V)^\vee_{\mathbb{R}}$, che associa a ogni punto una forma lineare definita dai logaritmi delle altezze sui fasci di linee.

2. Lifting ai Torsori Universali:

   • Per una varietà torica $X$, il torsore universale $T$ è descritto come un sottoinsieme aperto dello spazio affine $\mathbb{A}^{\Sigma(1)}$ (dove $\Sigma(1)$ è l'insieme degli spigoli del ventaglio), ottenuto rimuovendo un insieme chiuso $Z(\Sigma)$ definito dalle "collezioni primitive".
   • Il punto cruciale è che l'altezza su $X$ può essere "sollevata" (lifted) a un'altezza locale sul torsore $T$. Questo permette di contare i punti razionali su $X$ contando i punti interi su $T$ (in $\mathbb{Z}^{\Sigma(1)}$) che soddisfano condizioni di altezza.

3. Inversione di Möbius:

   • Poiché il torsore universale copre la varietà torica, ma non è un isomorfismo (c'è un'azione del toro di Néron-Severi), si utilizza la formula di inversione di Möbius per isolare i punti "primitivi" (quelli che corrispondono biunivocamente ai punti su $X$) dai punti che hanno fattori comuni.
   • Si definisce una funzione di Möbius $\mu$ sull'insieme delle tuple di interi positivi, permettendo di esprimere il conteggio dei punti su $T(\mathbb{Z})$ come una somma alternata su sottogruppi definiti da divisori comuni.

4. Geometria dei Numeri e Stime:

   • Il problema si riduce a stimare il numero di punti reticolari ($\mathbb{Z}^{\Sigma(1)}$) in un dominio limitato definito dalle condizioni di altezza sul torsore.
   • Si applica un teorema di Davenport sulla discrepanza tra il volume di un dominio semi-algebrico e il numero di punti interi contenuti in esso.
   • Si analizzano i termini di errore, dimostrando che sono trascurabili rispetto al termine principale quando il parametro di altezza $B$ tende all'infinito, a condizione che il vettore di direzione $u$ appartenga all'interno del duale del cono efficace.

3. Contributi Chiave e Risultati Principali

Il risultato centrale è la Teorema 2.15 (e la sua versione finale nel Teorema 4.16), che conferma la congettura di Peyre per le varietà toriche nel contesto multi-altezza.

• Asintotica Confermata: Per una varietà torica $X$ e una regione $D_B = D_1 + \log(B)u$ (dove $u$ è nell'interno del duale del cono efficace), il numero di punti razionali $\sharp(X(\mathbb{Q}))_{h \in D_B}$ soddisfa:
  $$\sharp(X(\mathbb{Q}))_{h \in D_B} \sim_{B \to +\infty} \nu(D_1) \cdot \tau(X) \cdot B^{\langle \omega^{-1}_X, u \rangle}$$
  dove:

  • $\nu(D_1)$ è una misura geometrica su $\text{Pic}(X)^\vee_{\mathbb{R}}$.
  • $\tau(X)$ è il numero di Tamagawa della varietà.
  • L'esponente è dato dal pairing tra il fascio anticanonico e il vettore di direzione $u$.

• Assenza di Sottinsiemi Accumulanti: Un risultato significativo è che, nel caso torico e considerando punti la cui multi-altezza giace nell'interno del duale del cono efficace, non esistono sottinsiemi accumulanti (exceptional subsets) che alterino l'asintotica. Questo risolve una questione aperta riguardo alla necessità di rimuovere insiemi eccezionali in contesti multi-altezza.

• Stima dell'Errore: L'autore fornisce una stima esplicita del termine di errore:
  $$O\left( B^{\langle \omega^{-1}_X, u \rangle - (1 - 1/l - \varepsilon) \min_{\rho} \langle [D_\rho], u \rangle} \right)$$
  dove $l$ è il numero minimo di raggi non contenuti in un cono del ventaglio. Questo dimostra la convergenza rapida dell'asintotica.

• Corrispondenza con i Numeri di Tamagawa: Il lavoro collega esplicitamente la costante asintotica al prodotto dei densità locali sui torsori universali, confermando la previsione di Peyre che la costante globale è il prodotto del numero di Tamagawa e della misura geometrica.

4. Significato e Implicazioni

• Validazione della Congettura di Peyre: Questo lavoro fornisce una prova rigorosa della congettura di Peyre per la distribuzione multi-altezza su una classe importante di varietà (quelle toriche), utilizzando un metodo di discesa che è diverso e complementare all'approccio tramite funzioni zeta delle altezze usato in lavori precedenti (es. [11]).
• Metodologia Robusta: L'uso combinato dei torsori universali, dell'inversione di Möbius e della geometria dei numeri di Davenport offre un quadro metodologico potente che può essere esteso ad altre classi di varietà.
• Chiarezza sulle Condizioni: L'articolo chiarisce le condizioni necessarie (in particolare la posizione di $u$ nell'interno del duale del cono efficace) per evitare errori nelle stime asintotiche, correggendo potenziali ambiguità presenti in letteratura precedente.
• Fondamento per Generalizzazioni: L'autore accenna nel Remark 2.16 che questo risultato implica la forma classica della congettura di Manin (per un singolo fascio di linee) e apre la strada a risultati senza vincoli inferiori sull'altezza, sebbene con termini di errore logaritmici.

In sintesi, il paper di Bongiorno rappresenta un avanzamento significativo nella comprensione della distribuzione fine dei punti razionali sulle varietà toriche, confermando che il comportamento asintotico previsto dalla teoria geometrica dei numeri si realizza esattamente anche quando si considera l'intera struttura delle altezze multiple.