The multi-height distribution implies the Batyrev-Manin principle

1. Il Problema e il Contesto

L'articolo si inserisce nel programma di Manin, che studia il comportamento asintotico del numero di punti razionali di altezza limitata su varietà algebriche, in particolare su varietà toriche e stack torici.

• Obiettivo principale: Dimostrare che la conoscenza della distribuzione asintotica dei punti razionali rispetto a una moltiplicità di altezze (multi-height distribution) implica la formula asintotica classica per il numero di punti razionali di altezza anticanonica (o anticanonica orbifold nel caso degli stack) limitata.
• Contesto teorico:
  • Per le varietà toriche lisce e split, il principio di Batyrev-Manin è stato dimostrato da Batyrev-Tschinkel (analisi armonica) e Salberger (torsori universali).
  • Recenti lavori (Darda, Yasuda, Peyre) hanno esteso il formalismo alle stack di Deligne-Mumford (DM) e ai stack torici, introducendo l'altezza associata al fibrato anticanonico orbifold.
  • Peyre ha proposto di considerare non una singola altezza, ma l'intera distribuzione delle altezze (mappa multi-altezza $h: X(\mathbb{Q}) \to \text{Pic}(X)^\vee_{\mathbb{R}}$).
• La sfida: Sebbene si conoscesse il comportamento asintotico per le altezze multiple (teoremi precedenti dell'autore in [4] e [5]), mancava una derivazione rigorosa che mostrasse come questo implicasse direttamente la formula di Batyrev-Manin per l'altezza anticanonica singola, specialmente nel contesto degli stack.

2. Metodologia

L'approccio metodologico si basa su una combinazione di geometria dei numeri, teoria degli stack e un metodo analitico avanzato.

• Mappa Multi-Altezza: Si considera la mappa $h$ che associa a ogni punto razionale un vettore nel duale del gruppo di Picard. L'obiettivo è contare i punti la cui altezza anticanonica $\langle h(P), \omega_X^{-1} \rangle$ è limitata da $\log(B)$.
• Decomposizione del Cono Effettivo: Il cono duale dei divisori effettivi $C_{\text{eff}}(X)^\vee$ viene decomposto in una unione finita di sottocconi simpliciali $\Lambda_j$. Questo permette di analizzare il comportamento asintotico localmente su ciascun cono simpliciale.
• Metodo dell'Iperbole Generalizzato: Il cuore della dimostrazione è l'applicazione di una versione generalizzata del metodo dell'iperbole sviluppata da Pieropan e Schindler ([20]).
  • Si definiscono funzioni aritmetiche $f(y)$ che contano i punti razionali con altezze multiple in un intervallo discreto.
  • Si dimostra che queste funzioni soddisfano le ipotesi del teorema di Pieropan-Schindler, fornendo una stima asintotica della somma su un dominio definito da disuguaglianze lineari.
• Estensione del Risultato: L'autore estende i risultati precedenti (validi per altezze multiple limitate sia superiormente che inferiormente) al caso in cui le altezze sono limitate solo superiormente (ma non inferiormente), utilizzando una decomposizione del dominio in poliedri compatti e stimando gli errori.

3. Contributi Chiave e Risultati Principali

A. Derivazione della Formula Asintotica

Il risultato centrale è il Teorema 1.4 (e il Teorema 4.11), che stabilisce il comportamento asintotico per i punti razionali su un toro $T$ (o uno stack torico $X$) con altezza anticanonica limitata:
$$\sharp \{ P \in T(\mathbb{Q}) \mid h(P)(\omega_X^{-1}) \leq \log(B) \} \sim_{B \to +\infty} \alpha(X) \tau(X) B \log(B)^{\rho(X)-1}$$
Dove:

• $\rho(X)$ è il rango del gruppo di Picard.
• $\tau(X)$ è il numero di Tamagawa (definito per gli stack torici).
• $\alpha(X)$ è una costante geometrica legata al volume del cono effettivo duale.

B. Identificazione della Costante di Tamagawa

Un contributo significativo è la Corollario 1.5, che risolve un problema di identificazione delle costanti:

• Dimostra che la costante ottenuta in lavori precedenti di Darda e Yasuda ([6]) coincide esattamente con il numero di Tamagawa orbifold definito dall'autore in [5].
• Fornisce una formula esplicita per la misura di Tamagawa locale $\mu_{X,p}$ su $\mathbb{Q}_p$, collegandola alla cardinalità dello stack sul campo finito $\mathbb{F}_p$ e ai settori twistati.

C. Applicazione del Metodo di Pieropan-Schindler

L'articolo applica con successo il teorema di Pieropan-Schindler al contesto degli stack torici.

• Si dimostra che il poliedro $P$ associato alle condizioni di altezza è limitato e non contenuto in un iperpiano.
• Si calcola esplicitamente la costante $c_P$ come $1/(\rho-1)!$, derivante dal volume di un simplettico.

D. Ipotesi di Positività

L'autore introduce e verifica l'Ipotesi 4.1: per ogni punto razionale $P$ nel toro denso, l'altezza multipla $h(P)$ appartiene al cono duale effettivo $C_{\text{eff}}(X)^\vee$.

• Viene dimostrato che questa ipotesi vale per varietà toriche lisce, proprie e split (Proposizione 4.5) e per gli stack proiettivi pesati (Proposizione 4.6).
• Si argomenta che questo dovrebbe essere vero per tutti gli stack torici split.

4. Significato e Implicazioni

• Unificazione Teorica: Il lavoro conferma che il programma di Manin, formulato in termini di distribuzione multi-altezza (un approccio più fine e moderno), è sufficiente a recuperare i risultati classici di Batyrev-Manin. Questo valida l'approccio di Peyre e apre la strada a nuove applicazioni.
• Validazione per gli Stack: Estende la validità del principio di Batyrev-Manin al contesto degli stack di Deligne-Mumford, un'area di ricerca attiva dove la definizione stessa di "punto razionale" e "altezza" è più sottile a causa della presenza di settori twistati.
• Connessione con Congetture di Malle: Il lavoro rafforza il legame tra la distribuzione dei punti razionali su $BG$ (classifying space) e le congetture di Malle e Bhargava sulla distribuzione delle estensioni di Galois, fornendo un quadro unificato per la teoria dei numeri e la geometria aritmetica.
• Strumento Tecnico: La dimostrazione che le funzioni aritmetiche sugli stack soddisfano le condizioni del metodo dell'iperbole generalizzato fornisce uno strumento potente per futuri studi su varietà più generali o su altri tipi di stack.

In sintesi, l'articolo di Bongiorno funge da ponte cruciale tra la teoria moderna delle distribuzioni di altezze multiple e i risultati asintotici classici, fornendo dimostrazioni rigorose e identificazioni precise delle costanti geometriche nel contesto degli stack torici.