🔢 mathematics

Multi-height distribution of rational points of split toric stacks

This paper establishes the multi-height distribution of rational points on split toric stacks over $\mathbf{Q}$ by lifting the counting problem to an extended universal torsor via an integral parametrization, thereby defining the stack's Tamagawa number as an Euler product and interpreting its $p$ -adic factors through a mass formula for $\mathbf{F}_p$ -points.

Original authors: Nicolas Bongiorno

Published 2026-03-16

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Nicolas Bongiorno

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a detective trying to count the number of "treasure hunters" (rational points) visiting a very strange, complex island called a Toric Stack.

In the world of mathematics, these islands are geometric shapes where you can find points with coordinates that are fractions (like 1/2, 3/4). The goal of this paper is to answer a specific question: If we only let treasure hunters visit the island if their "backpacks" (heights) aren't too heavy, how many will we find as we allow heavier and heavier backpacks?

Here is a simple breakdown of how Nicolas Bongiorno solves this mystery, using some creative analogies.

1. The Problem: The Island is "Stacky"

Usually, mathematicians study smooth islands (varieties). But this island is a Toric Stack. Think of a stack as an island with hidden "twists" or "glitches."

The Glitch: On a normal island, if you have a map to a spot, you can usually walk there. On a stacky island, sometimes you can see the spot on the map, but you can't actually walk there without getting stuck in a "twist" (a singularity).
The Consequence: You can't just count the spots directly. You need a special way to "lift" your view to see the whole picture without getting stuck.

2. The Solution: The "Universal Torsor" (The Master Key)

To solve the counting problem, the author uses a tool called a Universal Torsor.

The Analogy: Imagine the island (the Stack) is a locked room. You can't count the people inside easily because the room is twisted.
The Key: The Universal Torsor is like a perfect, flat, un-twisted blueprint of the room. It's a "cover" that unfolds all the twists.
How it helps: Instead of trying to count people in the twisted room, the author counts them on the flat blueprint. Because the blueprint is flat and simple, counting becomes a matter of counting lattice points (like dots on graph paper) inside a shape.

3. The "Multi-Height" Challenge

The author isn't just looking at one type of backpack (height). He is looking at all possible backpacks at once.

The Analogy: Imagine a rule that says, "You can enter if your red backpack is under 5kg AND your blue backpack is under 3kg."
The Twist: The author wants to know how the number of people changes if we relax all the rules simultaneously. This creates a complex, multi-dimensional shape (a polyhedron) on the blueprint. The author proves that as the allowed weight limit ( $B$ ) goes to infinity, the number of people grows in a very predictable way, following a specific curve.

4. The "Age" and the "Twisted Sectors"

This is the most unique part of the paper. Because the island has glitches, some visitors get "stuck" in specific loops.

The Analogy: Imagine some visitors get trapped in a revolving door that spins 1/3 of a turn, others 1/2, etc. These are the Twisted Sectors.
The "Age": The author invents a concept called "Age" to measure how much a visitor is stuck in these loops.
The Breakthrough: He shows that you can calculate the "Age" of a visitor just by looking at their coordinates on the flat blueprint. This allows him to separate the visitors into groups based on which "loop" they are stuck in.

5. The Final Count: The "Mass Formula"

Once the author has the blueprint and the "Age" groups, he counts the dots.

The Formula: The final answer isn't just a random number. It's a product of two things:
1. Geometric Volume: How big the "allowed area" is on the blueprint.
2. Local Mass: A "voting" system from every prime number (like 2, 3, 5, 7...).
The Local Mass: For each prime number $p$ , the author counts how many "shadow versions" of the island exist over the field of $p$ elements. It's like checking how the island looks under a microscope for every different prime number. He proves that this local count can be calculated by simply counting the "sectors" (the loops) on the island.

Summary of the Achievement

Nicolas Bongiorno has built a mathematical translation machine.

He takes a messy, twisted, hard-to-count object (a Toric Stack).
He translates it into a clean, flat, easy-to-count object (the Extended Universal Torsor).
He counts the points on the flat object using geometry and number theory.
He translates the result back to the original object, giving a precise formula for how many rational points exist as the "height" (complexity) increases.

In short: He figured out how to count the uncountable by unfolding the world, measuring the "twists" (Age), and using a global census that checks every prime number's perspective. This confirms a deep conjecture (Manin's Conjecture) for these complex geometric shapes.

1. Problem Statement

The paper addresses the asymptotic distribution of rational points on split toric Deligne-Mumford (DM) stacks over $\mathbb{Q}$ . While the distribution of rational points on varieties (specifically toric varieties) with respect to a single height function (usually associated with the anticanonical bundle) is well-understood via the Batyrev-Manin conjecture and the method of universal torsors, the situation for stacks is more complex.

Key challenges include:

Stacky Integral Points: Rational points on a proper DM stack do not necessarily extend to integral points on a model over $\mathbb{Z}$ . Instead, they extend to "stacky integral lifts" involving root stacks.
Multi-Height Formalism: Peyre proposed studying the distribution of points with respect to all possible heights simultaneously (a multi-height setting), rather than just one.
Geometric Invariants: For stacks, the relevant geometric invariants involve the orbifold Picard group ( $Pic_{orb}$ ) and twisted sectors (arising from the inertia stack), which capture the obstruction to lifting rational points to integral ones.
Analytic Difficulty: The cone of convergence for the height zeta function in the stacky setting is often non-simplicial, making standard analytic number theory techniques difficult to apply directly.

2. Methodology

Bongiorno extends the method of universal torsors (developed by Salberger, Peyre, and others for varieties) to the context of toric stacks. The core strategy involves lifting the counting problem from the stack $X$ to an extended universal torsor $T^{ext}$ .

Key Methodological Steps:

Stacky Integral Parametrization:
- The author constructs an extended universal torsor $T^{ext}$ associated with the orbifold Néron-Severi torus $T_{NS, orb}$ . This torus is dual to the orbifold Picard group $Pic_{orb}(X)$ .
- Unlike standard universal torsors for varieties, $T^{ext}$ incorporates additional coordinates corresponding to the twisted sectors of the stack.
- A crucial result is the integral parametrization of rational points: The map $q_{ext}: T^{ext}(\mathbb{Z}) \to X(\mathbb{Q})$ induces a bijection between the quotient $T^{ext}(\mathbb{Z}) / T_{NS, orb}(\mathbb{Z})$ and the set of rational points $X(\mathbb{Q})$ .
Lifting the Age Pairing:
- The paper utilizes the age pairing between twisted sectors and the Picard group.
- A major technical innovation is the construction of a lift of the age to the torsor. This allows the definition of a "stacky height" on the torsor that respects the local behavior of rational points (specifically their reduction modulo $p$ ).
- The author defines a residue map $\psi_v: X(K_v) \to \pi_0(I_\mu X)$ (mapping to sectors) and shows how this is encoded in the coordinates of the extended torsor.
Height Definition and Local Measures:
- Local Heights: Local heights are defined on the extended torsor $T^{ext}(K_v)$ . For finite places, they relate to the valuation of coordinates corresponding to sectors. For the infinite place, they relate to the canonical stack $X_{can}$ .
- Tamagawa Measure: A Tamagawa measure $\mu_{X, v}$ is defined on $X(\mathbb{Q}_v)$ as a quotient measure derived from the Haar measure on the torsor and the torus.
- Mass Formula: The $p$ -adic factor of the Tamagawa number is interpreted via a mass formula counting $\mathbb{F}_p$ -points of the sectors of $X$ .
Analytic Counting:
- The counting problem is transformed into counting lattice points in a bounded domain on the real vector space $Pic_{orb}(X)^\vee \otimes \mathbb{R}$ .
- Möbius Inversion: To handle the "square-free" and coprimality conditions required for the integral parametrization, the author introduces a global Möbius function on the lattice of coordinates.
- Geometry of Numbers: The error term is estimated using Davenport's results on lattice points in semi-algebraic domains, ensuring the error is negligible compared to the main term.

3. Key Contributions and Results

A. The Extended Universal Torsor

The paper proves the existence of an integral parametrization for rational points on split toric stacks (Theorem 6.15). This parametrization:

Resolves the issue of rational points not extending to integral points by introducing coordinates for twisted sectors.
Establishes that $X(\mathbb{Q}) \cong T^{ext}(\mathbb{Z}) / T_{NS, orb}(\mathbb{Z})$ .

B. Multi-Height Asymptotic Formula

The main theorem (Theorem 1.1 / Theorem 7.16) provides the asymptotic behavior for the number of rational points with multi-heights in a domain $D_B$ :
$\sharp \{ 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}$
Where:

$D_B = D_1 + \log(B)u$ is a domain in the dual of the orbifold effective cone.
$\nu(D_1)$ is a volume integral over the domain.
$\tau_{orb}(X)$ is the Tamagawa number of the stack.
The exponent is determined by the pairing of the orbifold anticanonical bundle with the direction $u$ .

C. Interpretation of the Tamagawa Number

The paper provides an explicit Euler product formula for the leading constant $\tau_{orb}(X)$ :
$\tau_{orb}(X) = \frac{1}{\sharp G(\mathbb{Z}) \cdot \mu_{X, \infty}(X(\mathbb{R}))} \prod_{p} \left( 1 - \frac{1}{p} \right)^{\text{rank}(Pic_{orb}(X))} \cdot \mu_{X, p}(X(\mathbb{Q}_p))$
Crucially, the $p$ -adic factor is interpreted via a mass formula (Theorem 1.2 / Theorem 6.52):
$\mu_{X, p}(X(\mathbb{Q}_p)) = \frac{\sharp X(\mathbb{F}_p)}{p^{\dim(X)}} + \frac{1}{p} \sum_{S \in \pi^*_0(I_\mu X)} \frac{\sharp S(\mathbb{F}_p)}{p^{\dim(S)}}$
This connects the analytic constant to the geometry of the stack's sectors over finite fields.

D. Resolution of the "Wild" Case

The author extends the definition of the residue map and the age pairing to cases where the stack is wild (i.e., at primes where the stabilizer order is divisible by the residue characteristic), provided the stack is toric. This is achieved by lifting the age to the torsor, bypassing the need for the stack to be tame.

4. Significance

Generalization of Peyre's Program: This work successfully extends Peyre's multi-height framework from varieties to Deligne-Mumford stacks, a significant step in arithmetic geometry.
Unified Framework for Stacks: It unifies the study of rational points on classifying stacks (e.g., $BG$) and toric stacks under a single formalism involving the orbifold Picard group and twisted sectors.
Explicit Constants: The paper provides a concrete, computable formula for the leading constant in the Manin-type conjecture for stacks, resolving ambiguities about the contribution of twisted sectors.
New Tools: The introduction of the extended universal torsor and the stacky integral parametrization offers a powerful new tool for studying rational points on stacks with non-trivial stabilizers, potentially applicable to other problems in the arithmetic of stacks (e.g., Malle's conjecture).
Reinterpretation of Existing Results: It reinterprets previous results on $BG$ and modular curves as instances of this multi-height conjecture, showing that the "obstruction" to lifting points is naturally captured by the geometry of the sectors.

In summary, Bongiorno's paper establishes a rigorous analytic framework for counting rational points on toric stacks, proving that the asymptotic distribution is governed by geometric invariants of the orbifold structure, and providing explicit formulas for the constants involved.