🔢 mathematics

Equidistribution for quasi-projective varieties over function fields

This paper establishes the equidistribution of small points and subvarieties on quasi-projective varieties over function fields, thereby confirming Yuan's conjecture for compactified relatively nef metrized line bundles and extending the result to arithmetically big line bundles through the use of generic curves and positive intersection theory.

Original authors: Debam Biswas, Yulin Cai

Published 2026-08-25

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Debam Biswas, Yulin Cai

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

Mathematics often deals with the invisible architecture of space, asking how points and shapes arrange themselves when viewed through the lens of numbers. In a specific branch of this field known as arithmetic geometry, researchers study varieties, which are geometric shapes defined by equations, over different types of number systems. One such system is a function field, which behaves like the collection of all possible rational functions on a geometric curve or surface, rather than the familiar integers or fractions used in everyday counting. A central question in this area is how "small" points—those that are simple in a specific numerical sense—distribute themselves across these shapes. If you scatter a vast number of these simple points across a space, do they spread out evenly, or do they clump together in certain areas? The answer depends on a concept called a height function, which measures the arithmetic complexity of a point, and a metric, which defines the geometry of the space. When points are chosen to be as simple as possible, they are expected to settle into a uniform pattern, a phenomenon known as equidistribution. This behavior is crucial because it links the discrete world of numbers to the continuous world of geometry, offering a way to understand the deep structure of these mathematical spaces.

For decades, mathematicians have proven that this even spreading of points happens reliably when the shapes involved are closed and bounded, like a sphere or a torus. However, the situation becomes much more complicated when the shapes are open, meaning they have edges or holes, or when the underlying number system is built from a higher-dimensional surface rather than a simple curve. In these more complex scenarios, the rules for how points distribute were not fully understood, leaving a significant gap in the theory. A recent paper by Debam Biswas and Yulin Cai addresses this gap by proving that equidistribution holds true even for these open, quasi-projective varieties when the base is a function field of any dimension. They confirmed a specific conjecture that had been proposed by other researchers, showing that the points do indeed spread out evenly, provided the geometric space and the measuring tools used to define them meet certain stability conditions.

The researchers achieved this by developing a clever strategy to simplify the problem. Instead of trying to solve the complex, high-dimensional case all at once, they reduced it to a simpler scenario involving curves. They constructed what they call "generic curves," which are special one-dimensional slices taken through the higher-dimensional space. By proving that the points distribute evenly along these slices, they were able to extend the result back to the full, multi-dimensional shape. This technique allowed them to bypass the difficulties that arise when the base space is large and complex. Their work applies to a broad class of geometric objects, including those that are "relatively nef," a technical term indicating that the geometry is stable and does not curve inward in a way that would trap points. They showed that as long as the points are chosen to be sufficiently simple and the space is large enough to support them, the points will eventually cover the space uniformly, filling every corner with the same density.

In addition to the case of stable, well-behaved shapes, the authors also tackled the more difficult situation where the geometric space is "big," meaning it has a high degree of complexity and volume. In these cases, the standard tools for measuring distribution were insufficient. To solve this, they established a new method for approximating the geometry using simpler, well-understood pieces, a technique inspired by earlier work on number fields. This allowed them to define a precise measure of how the points should spread, even when the shape is not perfectly stable. They proved that for these complex, big shapes, the points still follow a predictable pattern of distribution, governed by a specific measure derived from the geometry of the space. This result is significant because it extends the theory of equidistribution to a much wider range of mathematical objects than was previously possible.

The paper does not merely suggest that this behavior occurs; it provides a rigorous proof that the distribution is exact in the limit. The authors demonstrate that as the number of points grows, the difference between the actual distribution and the predicted uniform pattern vanishes completely. They also clarified that this result holds regardless of the specific dimension of the base field, whether it is a simple curve or a complex surface. By confirming the conjecture for compactified metrized line bundles, they have solidified the theoretical foundation for studying these open varieties. The work does not claim to solve every problem in arithmetic geometry, nor does it extend to all possible types of number systems, but it definitively settles the question for the specific class of function fields and quasi-projective varieties they studied. The findings offer a clear, unified picture of how arithmetic complexity and geometric shape interact, showing that even in the most intricate mathematical landscapes, simplicity eventually leads to order.

Technical Summary: Equidistribution for Quasi-Projective Varieties over Function Fields

Problem Statement
The paper addresses the equidistribution of small points and subvarieties on quasi-projective varieties defined over function fields of higher-dimensional bases. While the equidistribution theorem is well-established for projective varieties over number fields and function fields of curves (dimension 1), extending these results to quasi-projective varieties over higher-dimensional function fields presents significant challenges. Specifically, the authors aim to confirm [YZ26, Conjecture 5.4.1] for compactified relatively nef metrized line bundles in the function field case. Furthermore, they seek to establish equidistribution for arithmetically big line bundles, a case requiring new tools beyond the nef setting.

Methodology
The core methodological innovation is the application and refinement of the "generic curve" technique, originally developed by Gubler [Gub08], within the framework of adelic curves as defined by Chen and Moriwaki [CM20, CM21].

Reduction to Curves: For a base variety $T$ of dimension $\delta \geq 2$ , the authors construct a "generic curve" $T_c$ associated with an ample class on $T$ . This construction induces a covering of adelic curves $S_c \to S$ , where $S$ corresponds to the original function field $K = k(T)$ and $S_c$ corresponds to the function field of the generic curve $K_c$ .
Invariance of Intersection Numbers: A critical technical step involves proving that arithmetic intersection numbers and geometric degrees are invariant under the pull-back to the generic curve. This allows the reduction of the higher-dimensional base case to the one-dimensional base case (where the curve $T_c$ has dimension 1).
Compactified Metrized Line Bundles: The authors utilize the theory of compactified $S$ -metrized YZ-line bundles on quasi-projective varieties. They define arithmetic intersection numbers and height functions for relatively nef and big line bundles, extending the definitions from the projective case via limits and boundary topologies.
Fujita Approximation: For the case of arithmetically big line bundles (where the line bundle is not necessarily nef), the authors establish a Fujita approximation theorem over function fields of characteristic 0. This allows them to approximate big line bundles by nef ones and define an intrinsic equidistribution measure via positive intersection products.

Key Contributions and Results

Theorem A (Relatively Nef Case): The authors prove the equidistribution theorem for small points on quasi-projective varieties over function fields of higher-dimensional bases, assuming the metrized line bundle $L$ is relatively nef.
- Result: For a generic net of points $\{x_m\}$ small with respect to a relatively nef line bundle $L$ , the Galois orbits of these points equidistribute in the Berkovich analytification $U^{an}_v$ with respect to the measure $c_1(L_v)^d$ .
- Significance: This confirms [YZ26, Conjecture 5.4.1] for the function field case, extending previous results limited to number fields or function fields of curves.
Theorem B (Generic Curve Covering): The paper rigorously formulates the generic curve construction as a covering of adelic curves. It demonstrates that this covering preserves the structure of arithmetic intersection numbers and allows the transfer of equidistribution results from the curve case to the higher-dimensional base case.
Theorem C (Big Case): The authors establish an equidistribution theorem for arithmetically big line bundles (assuming characteristic 0).
- Result: For a generic net of small points with respect to a big line bundle $L$ , the points equidistribute with respect to a measure defined via the positive intersection product $\langle L^d \rangle \cdot O_U(f_v)$ .
- Significance: This extends the theory beyond the nef cone, utilizing a Fujita approximation theorem to define the measure intrinsically. The paper notes that while the intrinsic definition requires characteristic 0, the measure can still be defined via push-forward in arbitrary characteristic, and the equidistribution result remains valid.
Subvariety Equidistribution: The paper also proves an equidistribution theorem for small subvarieties in the relatively nef case (Theorem 5.3.3), generalizing the pointwise result to higher-dimensional subvarieties.

Significance and Claims
The paper claims to resolve the equidistribution problem for quasi-projective varieties over higher-dimensional function fields, a gap left by previous works that were restricted to projective varieties or one-dimensional bases. By confirming Conjecture 5.4.1 of Yuan and Zhang [YZ26] in this context, the authors unify the theory of small points across different types of fields (number fields and function fields) and geometric settings (projective and quasi-projective).

The significance of the work lies in:

Generalization: Moving from projective to quasi-projective varieties and from curve bases to higher-dimensional bases.
Methodological Unification: Successfully adapting the generic curve technique to the language of adelic curves to handle higher-dimensional bases.
Extension to Big Bundles: Providing a framework for equidistribution in the "big" case using positive intersection products, which is essential for applications involving non-nef line bundles.

The authors explicitly state that their arguments rely on the generic curve technique to reduce higher-dimensional bases to curves and that the Fujita approximation theorem is a necessary component for the big case. They do not claim to solve the equidistribution problem for arbitrary non-nef bundles without the "big" assumption or to extend the Fujita approximation to positive characteristic without the specific push-forward caveat. The results are presented as a confirmation of existing conjectures and a natural extension of the Arakelov theory over function fields.

More like this