🔢 mathematics

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

This paper establishes a motivic version of the Batyrev-Manin-Peyre conjecture for equivariant compactifications of additive groups by proving that, within a suitable Grothendieck ring of varieties, the normalized class of the moduli space of sections converges to a non-zero effective motivic Euler product as the sections move far from the boundary of the dual effective cone.

Original authors: Loïs Faisant

Published 2026-03-31

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Loïs Faisant

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 an architect trying to count how many different ways you can build a specific type of bridge across a river. But instead of counting just the number of bridges, you are counting the "shape" and "complexity" of every possible bridge design, and you want to know what happens when you allow the bridges to get incredibly long and complex.

This paper, written by Loïs Faisant, is a deep dive into a very specific mathematical problem: counting the number of ways to draw curves on a special kind of geometric shape.

Here is the breakdown using simple analogies:

1. The Setting: The River and the Bridge

The River (The Curve): Imagine a smooth, closed loop of water (a projective curve).
The Bridge (The Section): You want to build a bridge that starts at one point on the river, goes over the water, and lands back on the river. In math terms, this is a "section" of a family of shapes.
The Shape (The Variety): The bridge doesn't just float in empty space; it has to land on a specific, fancy geometric structure (an "equivariant compactification of an additive group"). Think of this structure as a giant, multi-dimensional playground with specific rules on how you can move around it.

2. The Problem: Counting the Bridges

Mathematicians have a famous set of rules called the Batyrev-Manin-Peyre conjectures. These rules try to predict how the number of rational points (or in this case, bridges) grows as you allow them to get "bigger" or "longer."

Usually, mathematicians look at the "length" of the bridge as a single number. But this paper asks a more complex question: What if the bridge has many different dimensions of length? What if we track its length in every possible direction simultaneously?

The author is looking at the Moduli Space. Think of this as a giant catalog or a library. Every book in the library represents a different valid bridge design. The author wants to know: As the bridges get infinitely long and complex, what does the "average shape" of this library look like?

3. The Twist: The "Motivic" Lens

This is where it gets magical. Instead of just counting "1, 2, 3" bridges, the author uses a tool called a Grothendieck Ring.

The Analogy: Imagine you don't just count the apples; you count the concept of an apple. You treat a red apple and a green apple as different "types" of objects, but you can add them together like algebra variables.
The Goal: The author isn't just asking "How many bridges?" They are asking, "What is the algebraic essence of the collection of all these bridges?"

4. The Discovery: The Magic Formula

The paper proves that if you take these complex collections of bridges and normalize them (divide by a standard "size" factor), something beautiful happens as the bridges get infinitely long:

The chaos settles down into a predictable pattern.

The author shows that the "essence" of these collections converges to a specific, non-zero value. This value isn't just a number; it's a Motivic Euler Product.

The Metaphor: Imagine you are listening to a chaotic orchestra playing a million different notes. As the music gets louder and more complex, you realize that if you filter out the noise, there is a perfect, repeating melody underneath.
The "Euler Product": This is a mathematical way of saying the final answer is built by multiplying together tiny, local contributions from every point along the river. It's like saying the total beauty of the bridge is the product of the beauty of every single plank, every bolt, and every curve, calculated locally and then multiplied together.

5. Why Does This Matter?

Solving a Puzzle: This provides a "positive answer" to a geometric version of the Batyrev-Manin-Peyre conjectures. It confirms that even in these complex, high-dimensional worlds, there is order and predictability.
The "Boundary" Rule: The paper specifies that this pattern only emerges if the bridges go "arbitrarily far from the boundary."
- Analogy: If you are walking in a forest, the trees look different near the edge than they do in the deep center. The author proves that if you walk deep enough into the forest (away from the edges of the mathematical possibilities), the trees arrange themselves in a perfect, predictable grid.

Summary

Loïs Faisant has taken a very abstract problem about counting complex geometric paths and proved that, under the right conditions, these paths organize themselves into a beautiful, predictable mathematical structure.

Instead of a messy pile of infinite possibilities, the result is a clean, elegant formula (a motivic Euler product) that describes the "soul" of these infinite collections. It's like finding a hidden symmetry in the universe of shapes.

1. Problem Statement and Context

The Core Problem:
The paper addresses the asymptotic behavior of the number of rational curves (specifically, sections of a family) on algebraic varieties. This is the geometric analogue of the Batyrev-Manin-Peyre conjectures, which predict the asymptotic growth of the number of rational points of bounded height on Fano varieties over number fields.

In the geometric setting (over a function field $F = k(C)$ where $C$ is a smooth projective curve), the "height" corresponds to the degree of the section, and the counting function is replaced by the class of the moduli space of sections in the Grothendieck ring of varieties.

Specific Setting:

Base: A smooth projective curve $C$ over an algebraically closed field $k$ of characteristic 0.
Target: A family $\pi: X \to C$ where the generic fiber $X_F$ is a smooth equivariant compactification of the additive group $\mathbb{G}_a^n$ .
Goal: To determine the limit of the class $[M_n]$ of the moduli space of sections with a given multidegree $n$ , normalized by the class of the affine space of the corresponding anticanonical degree, as the multidegree tends to infinity away from the boundary of the effective cone.

Gap in Previous Work:
Previous results by Chambert-Loir, Loeser, and Bilu established convergence for specific degrees relative to the log-anticanonical bundle or for toric varieties. However, they did not fully distinguish the components of the moduli space when the sections are restricted to a partial compactification (S-integral points) or when the multidegree varies in a multi-dimensional way. This paper refines these results to handle the full multidegree and partial compactifications.

2. Methodology

The author employs a sophisticated toolkit from Motivic Integration and Arithmetic Geometry, extending the methods of Bilu's thesis.

Key Technical Tools:

Grothendieck Rings of Varieties: The work takes place in the localized Grothendieck ring $M_k = KVar_k[L^{-1}]$ and its completion with respect to the weight topology. The class $[M_n]$ is treated as an element in this ring.
Motivic Height Zeta Functions: The author defines a multivariate motivic height zeta function:
$Z(T) = \sum_{n \in \mathbb{Z}^A} [M_n] T^n$
where $T$ represents a family of indeterminates corresponding to the degrees of the sections with respect to boundary divisors.
Motivic Poisson Formula: A central technique involves using a motivic version of the Poisson summation formula (generalizing Hrushovski-Kazhdan). This allows the decomposition of the zeta function into a sum over characters of the additive group:
$Z(T) = \sum_{\xi \in G(F)^\vee} Z(T, \xi)$
The term for the trivial character ( $\xi=0$ ) provides the main asymptotic term, while non-trivial characters are shown to be negligible.
Motivic Euler Products: The local factors of the zeta function are expressed as motivic Euler products. The convergence of these products is analyzed using a weight filtration on the Grothendieck ring.
Clemens Complexes: To handle sections intersecting the boundary divisors at specific points (S-integral points), the author utilizes the Clemens complex (a simplicial complex encoding the intersection patterns of boundary components). This allows for the decomposition of the moduli space into strata based on which boundary components the sections intersect.

3. Key Contributions and Results

A. Refinement of the Moduli Space Decomposition
The paper introduces refined motivic height zeta functions that account for local intersection degrees at a finite set of points $S = C \setminus C_0$ . This allows the author to distinguish different components of the moduli space based on how sections interact with the boundary divisors $D_\alpha$ above $S$ .

B. Convergence of Motivic Euler Products
The author proves that the motivic Euler products associated with the local factors of the zeta function converge weight-linearly in the completed Grothendieck ring.

Main Term: The product converges to a non-zero effective element when the multidegree tends to infinity in a "proper" way (i.e., far from the boundary of the dual of the effective cone).
Error Terms: Contributions from non-trivial characters and "error" terms arising from the approximation of the Kapranov zeta function are shown to have strictly lower weight, making them negligible in the limit.

C. The Main Theorem (Theorem 4.15)
The central result states that for a family $\pi: X \to C$ with generic fiber an equivariant compactification of $\mathbb{G}_a^n$ , and for a choice of maximal faces $M$ in the Clemens complex (representing the intersection pattern at $S$ ), the normalized class of the moduli space converges:

$[M_{n}^{\beta, M}] L^{-\langle \rho', n \rangle} \xrightarrow{\text{weight-topology}} \mathcal{C}$

Where:

$\rho'$ is the log-anticanonical weight vector.
The limit $\mathcal{C}$ is a non-zero effective element of the completed Grothendieck ring.
$\mathcal{C}$ can be explicitly written as a motivic Euler product:
$\mathcal{C} = L^{(1-g)n} \left( \frac{[\text{Pic}^0(C)]L^{1-g}}{L-1} \right)^{\text{rg}(\text{Pic}(U))} \times \prod_{v \in C} c_v$
The local factors $c_v$ involve motivic volumes of the fibers and intersections of boundary divisors, interpreted as motivic integrals over arc spaces.

D. Interpretation as Motivic Euler Product
The limit is interpreted as a motivic Euler product in the sense of Bilu. This confirms the geometric Batyrev-Manin-Peyre conjecture for this specific class of varieties, providing the expected "Tamagawa number" (the motivic volume) as the leading constant.

4. Significance

Resolution of the Geometric Conjecture: This work provides a positive answer to the geometric Batyrev-Manin-Peyre conjecture for equivariant compactifications of additive groups, a class of varieties that had not been fully treated with this level of precision regarding multidegrees and S-integral points.
Generalization of Bilu's Work: It significantly extends the results of Margaret Bilu (from her thesis) by handling the case of partial compactifications (S-integral points) and distinguishing the components of the moduli space via the Clemens complex. Previous results were often limited to the case where $U=X$ (no S-integral restriction) or specific degree constraints.
Methodological Advancement: The paper demonstrates the power of combining motivic Poisson summation with weight filtration convergence criteria to handle multivariate asymptotic problems in the Grothendieck ring. It establishes a robust framework for analyzing the asymptotic behavior of moduli spaces of sections in function field arithmetic geometry.
Motivic Volume Interpretation: The explicit formula for the limit connects the asymptotic count of sections to motivic volumes of adelic spaces and arc spaces, offering a deep geometric interpretation of the "Tamagawa number" in the motivic setting.

In summary, Faisant's paper is a rigorous advancement in the arithmetic geometry of function fields, successfully translating the Batyrev-Manin-Peyre philosophy into the motivic setting for additive group compactifications, complete with precise error control and a clear geometric interpretation of the leading constant.