Multi-height distribution of rational points of split toric stacks

1. Il Problema e il Contesto

Il lavoro si inserisce nel programma di Manin, che studia il comportamento asintotico del numero di punti razionali di altezza limitata su varietà algebriche. In particolare, l'autore estende questo quadro alle stack di Deligne-Mumford (DM) split, focalizzandosi sui stack torici.

Il problema principale affrontato è duplice:

1. Estensione ai Stack: A differenza delle varietà, su uno stack DM un punto razionale non si estende necessariamente a un punto intero. L'ostacolo è legato alla presenza di settori "twisted" (sezione 2.3).
2. Distribuzione Multi-Altezza: Mentre la maggior parte della letteratura si concentra sull'altezza associata a un singolo fascio lineare (solitamente il fibrato anticanonico), Peyre ha proposto di studiare la distribuzione dei punti razionali rispetto a tutte le possibili altezze simultaneamente (il "sistema di altezze"). Questo richiede un approccio geometrico più sofisticato per gestire la struttura dei settori twisted e il gruppo di Picard orbifold.

L'obiettivo è dimostrare una formula asintotica per il numero di punti razionali su uno stack torico $X$ con altezza multipla limitata, interpretando la costante principale attraverso invarianti geometrici dello stack.

2. Metodologia

L'autore adotta un approccio che combina la teoria degli stack, la geometria torica e la teoria dei numeri analitica (metodo dei punti reticolari). La metodologia si articola in diversi passaggi chiave:

• Parametrizzazione Integrale Estesa: L'idea centrale è sollevare il problema di conteggio dallo stack $X$ a un torsore universale esteso ($T^{ext}$). Mentre per le varietà toriche si usa il torsore universale classico (relativo al gruppo di Picard), per gli stack torici è necessario introdurre un torsore associato al gruppo di Picard orbifold ($Pic_{orb}(X)$), che include contributi dai settori twisted.
• Parametrizzazione dei Punti Razionali: Viene costruita una parametrizzazione integrale dei punti razionali $X(\mathbb{Q})$ tramite il torsore esteso $T^{ext}(\mathbb{Z})$. Questa parametrizzazione tiene conto delle condizioni di integrità locali e della struttura dei settori twisted (Definizione 6.1).
• Lift dell'Altezza Stacky: Viene definito un "lift" dell'altezza stacky dal torsore esteso. Questo permette di esprimere l'altezza di un punto razionale in termini delle coordinate sul torsore, separando la parte classica (legata al fibrato anticanonico) dalla parte legata ai settori twisted.
• Inversione di Möbius: Per contare i punti primitivi (che corrispondono ai punti razionali sullo stack), l'autore utilizza una funzione di Möbius globale definita sul reticolo del torsore esteso, adattando tecniche sviluppate da Salberger per le varietà toriche.
• Analisi Asintotica: Il conteggio viene ridotto alla stima del numero di punti interi in un dominio limitato nello spazio euclideo associato al torsore, utilizzando risultati di geometria dei numeri (teorema di Davenport) per stimare il termine di errore.

3. Contributi Chiave e Risultati Principali

A. Parametrizzazione e Torsore Universale Esteso

L'autore dimostra che per uno stack torico $X$, esiste un torsore universale esteso $T^{ext}$ sotto il toro $T_{NS, orb}$ (dual del gruppo di Picard orbifold) tale che i punti razionali $X(\mathbb{Q})$ sono in corrispondenza biunivoca con le orbite di $T^{ext}(\mathbb{Z})$ sotto l'azione di $T_{NS, orb}(\mathbb{Z})$ (Teorema 6.15). Questa parametrizzazione gestisce esplicitamente l'ostacolo all'estensione integrale tramite i settori twisted.

B. Definizione del Numero di Tamagawa per Stack

Viene definito il numero di Tamagawa $\tau_{orb}(X)$ per uno stack torico come un prodotto euleriano:
$$\tau_{orb}(X) = \frac{1}{\#G(\mathbb{Z}) \cdot \mu_{X, \infty}(X(\mathbb{R}))} \prod_{p} \left( 1 - \frac{1}{p} \right)^{\rho_{orb}(X)} \mu_{X, p}(X(\mathbb{Q}_p))$$
dove $\rho_{orb}(X)$ è il rango del gruppo di Picard orbifold.

C. Formula Massica per il Fattore p-adico (Teorema 1.2)

Uno dei risultati più significativi è l'interpretazione del fattore locale $p$-adico $\mu_{X, p}(X(\mathbb{Q}_p))$. L'autore dimostra che questo fattore può essere calcolato tramite una formula di massa che conta i punti sui campi finiti dei settori dello stack:
$$\mu_{X, p}(X(\mathbb{Q}_p)) = \frac{\#X(\mathbb{F}_p)}{p^{\dim(X)}} + \frac{1}{p} \sum_{S \in \pi_0^*(I_\mu X)} \frac{\#S(\mathbb{F}_p)}{p^{\dim(S)}}$$
Questa formula collega la distribuzione dei punti razionali $p$-adici alla geometria dei settori twisted, generalizzando risultati noti per i campi di classificazione $BG$.

D. Comportamento Asintotico Multi-Altezza (Teorema 1.1 e 3.30)

Il risultato principale stabilisce che, per uno stack torico $X$ su $\mathbb{Q}$, il numero di punti razionali con altezza multipla in un dominio $D_B$ (definito da un poliedro $D_1$ e una direzione $u$) cresce asintoticamente come:
$$\# \{ P \in X(\mathbb{Q}) \mid h(P) \in D_B \} \sim_{B \to +\infty} \nu(D_1) \cdot \tau_{orb}(X) \cdot B^{\langle \omega^{-1}_{X, orb}, u \rangle}$$
dove:

• $\nu(D_1)$ è un volume geometrico sul duale del gruppo di Picard orbifold.
• $\tau_{orb}(X)$ è il numero di Tamagawa.
• L'esponente è dato dal pairing tra il fibrato anticanonico orbifold e la direzione $u$.

4. Significato e Impatto

Questo lavoro rappresenta un avanzamento significativo nella teoria dei punti razionali su stack:

1. Generalizzazione del Principio di Manin: Estende il principio di Manin (e la sua versione multi-altezza) dalle varietà toriche lisce agli stack torici, che includono oggetti geometrici importanti come le curve modulari e gli stack di classificazione di gruppi finiti.
2. Strumenti per Stack "Wild": Fornisce un quadro coerente per trattare stack che non sono "tame" (tame stacks) in tutti i punti, utilizzando la nozione di "lift stacky integrale" e mappature di residuo.
3. Interpretazione Geometrica delle Costanti: La costante principale nella formula asintotica non è solo un numero, ma ha una chiara interpretazione geometrica e aritmetica: è il prodotto del numero di Tamagawa (che codifica la densità dei punti locali) e di un volume geometrico.
4. Connessione con la Teoria dei Campi di Classificazione: La formula di massa per il fattore $p$-adico collega direttamente il conteggio dei punti razionali su stack torici al conteggio di punti su $BG$, offrendo nuove prospettive per congetture di Malle e Bhargava.

In sintesi, Bongiorno fornisce un quadro unificato e potente per analizzare la distribuzione dei punti razionali su una classe ampia di oggetti geometrici singolari (stack), risolvendo le difficoltà tecniche legate alla presenza di automorfismi e settori twisted attraverso l'uso di torsori universali estesi e tecniche di analisi armonica sui tori.