🔢 mathematics

A geometric approach to the uniform boundedness of $\ell$ -primary torsion points

Using the theory of Betti foliations and the arithmetic equidistribution theorem, this paper establishes that the genus of generic multi-sections with small heights tends to infinity, thereby providing a new proof for the uniform boundedness of $\ell$ -primary torsion points on abelian schemes and resolving a conjecture by Cadoret and Tamagawa.

Original authors: Zhuchao Ji, Jiarui Song, Junyi Xie

Published 2026-01-22

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Zhuchao Ji, Jiarui Song, Junyi Xie

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 looking at a vast, moving landscape of mathematical shapes called abelian varieties. Think of these not as static objects, but as a family of complex, multi-dimensional donuts (or toruses) that change slightly as you move along a path, which mathematicians call a curve.

The paper by Ji, Song, and Xie tackles a big question: How many "special points" (called torsion points) can exist on these shapes?

A "torsion point" is like a point on a clock that, if you keep moving it forward by a certain amount, eventually lands back exactly where it started. The "Uniform Boundedness Conjecture" asks: Is there a universal limit to how many of these special points can exist on any single shape in this family, regardless of where you are on the path?

Previously, mathematicians Cadoret and Tamagawa proved this was true, but they used heavy, abstract tools involving "Galois representations" (think of these as complex algebraic codes). This new paper says: "We can prove the same thing using geometry and movement instead."

Here is the breakdown of their approach using simple analogies:

1. The Main Discovery: The "Genus" of the Path

The authors prove a surprising fact about the paths (called multi-sections) that connect these special points across the family.

The Analogy: Imagine you are tracing a path through this moving landscape. If the points you are tracing are "small" (mathematically, they have low "height," meaning they are simple or close to the center), and if the path they form is "generic" (it doesn't get stuck in a small, repetitive loop), then something interesting happens.
The Result: If the abelian family is not just a copy of the same shape repeated over and over (mathematically, "non-isotrivial"), then the path you trace must become incredibly complicated.
The Metaphor: Think of the "genus" of a path as the number of holes in a donut. A simple line has 0 holes. A pretzel has 3. The authors prove that if you are tracing these simple points in a non-repeating family, your path must eventually turn into a shape with infinite holes. It gets so twisted and complex that its "genus" goes to infinity.

2. The Tools: The "Betti Foliations" and "Equidistribution"

How did they prove this? They used two main geometric tools:

The Betti Foliations (The "Flow"): Imagine the family of donuts has a hidden "wind" or "current" flowing through them. This is the Betti foliation. It tells you how to move from one donut to the next in a smooth, continuous way.
- When you move around a loop in the landscape, this wind might twist the donut. If the donut twists back to its original position after a few loops, it has a finite "order." If it never quite lines up, the order is infinite.
The Equidistribution Theorem (The "Crowd"): This is a rule about how points spread out. If you have a huge crowd of these "small" points, they don't cluster in one corner; they spread out evenly across the entire shape, like ink dropping into water.
- The Logic: The authors showed that if the path didn't get infinitely complex (infinite genus), the points would have to cluster in a way that violates this "spreading out" rule. Specifically, the "wind" (monodromy) would have to be doing something impossible (like being the identity map when it shouldn't be).

3. The Three-Step Proof Strategy

The authors break their proof down into three logical steps:

The "Freeze" Step: They assume the path is not getting infinitely complex. This forces the "wind" (monodromy) to act in a very specific, limited way on the points. It's like saying, "If the path is simple, the wind must be holding the points still."
The "Counting" Step: They use a famous formula (Riemann-Hurwitz) to count how many times the path must twist. They show that if the path is simple, the "twistiness" of the landscape is limited to a very specific, small number of possibilities.
The "Hyperbolicity" Step: They look at the shape of the landscape itself. They prove that the only landscapes where these limited twists can happen are very simple, repetitive ones (like a flat plane or a circle). If the landscape is anything more complex, the math breaks, proving that the path must have become infinitely complex.

4. The Application: Solving the Conjecture

Because they proved that these paths must get infinitely complex, they can now solve the original problem:

The Conjecture: "Is there a limit to the number of special points?"
The Solution: Yes. If there were no limit, you could find an infinite sequence of these points. But the authors proved that such a sequence would force the path to become infinitely complex. However, in the specific case of "torsion points" (which are very rigid), the path cannot become infinitely complex without the whole family being a simple, repeating copy (isotrivial).
The Result: Since the family isn't a simple copy (in the non-trivial cases), the number of special points must be bounded. They also resolved a specific guess (conjecture) by Cadoret and Tamagawa about how the "complexity" (genus) of these points grows as the points get more complex.

Summary

In everyday terms, the authors replaced a heavy algebraic lockpick with a geometric magnifying glass. They showed that if you try to find too many "special points" in a changing family of shapes, the path connecting them becomes so tangled and complex that it breaks the rules of the landscape. This proves that there is a hard limit to how many of these points can exist, confirming a long-standing mathematical prediction using the language of shapes, flows, and spreading crowds.

Technical Summary: A Geometric Approach to the Uniform Boundedness of $\ell$ -primary Torsion Points

Problem Statement
The paper addresses the uniform boundedness of torsion points on abelian schemes over smooth curves, a geometric variant of the classical uniform boundedness conjecture for abelian varieties over number fields. Specifically, it investigates whether the number of $\ell$ -primary torsion points in the fibers of an abelian scheme $\pi: A \to B$ (where $B$ is a smooth curve over a finitely generated field $k$ ) is uniformly bounded, independent of the fiber. While Cadoret and Tamagawa previously established this result using arithmetic techniques involving Galois representations, this work seeks a purely geometric proof and aims to resolve related conjectures without additional assumptions on the base curve or reduction types.

Methodology
The authors employ a geometric framework centered on the theory of Betti foliations and the arithmetic equidistribution theorem. The core strategy involves analyzing sequences of multi-sections (Zariski closures of points in the generic fiber) with small Néron–Tate heights.

Betti Foliations and Monodromy: The authors utilize the Betti map, which trivializes the family of abelian varieties locally over simply connected domains, inducing a foliation on the total space. The monodromy representation $\rho_b: \pi_1(B, b) \to GL_{2g}(\mathbb{Z})$ characterizes the reduction of the abelian scheme at boundary points. The order of the monodromy element around a puncture, denoted $\text{ord}(s)$ , determines the reduction type (good reduction corresponds to trivial monodromy).
Small Sequences and Equidistribution: The proof considers a "generic and small" sequence of points $(x_n)$ in the generic fiber $A(K)$ , where "small" means the Néron–Tate height tends to zero. By the Northcott property, the degrees of these points must tend to infinity. The authors apply the equidistribution theorem of Chen–Moriwaki, which states that the Galois orbits of such small sequences become equidistributed with respect to the Haar measure on the fibers (induced by the Betti form).
Geometric Constraints: The proof proceeds by contradiction. Assuming the abelian scheme is non-isotrivial and the genus of the Zariski closures $C_n$ $C_{n}$ of the points $x_n$ $x_{n}$ grows slowly relative to their degrees ( $\liminf g(C_n)/\deg(x_n) = 0$ $lim inf g (C_{n}) / de g (x_{n}) = 0$ ), the authors derive constraints on the monodromy orders.
- Step 1: Small heights imply the existence of points on fibers that are nearly fixed by monodromy actions. Equidistribution forces these fixed-point sets to have positive Haar measure, implying the monodromy action must be trivial (or of finite order).
- Step 2: Using a counting argument derived from the Riemann–Hurwitz formula, the authors bound the number of preimages of loops under the multi-sections. This links the genus of the multi-sections to the monodromy orders at the boundary points.
- Step 3: The authors explicitly solve the resulting equation $\sum \frac{1}{\text{ord}(s_i)} = 2g(B) - 2 + N$ (where $N$ is the number of punctures). They show that the only solutions correspond to cases where the base curve $B$ is isomorphic to $\mathbb{A}^1$ , $\mathbb{G}_m$ , $\mathbb{P}^1$ , or an elliptic curve, or where the reduction types force the scheme to be isotrivial via base change.

Key Results

Theorem 1.4 (Main Geometric Result): Let $\pi: A \to B$ be an abelian scheme over a smooth curve $B$ . If there exists a generic and small sequence of points $(x_n)$ in the generic fiber such that the genus of their Zariski closures $C_n$ satisfies $\liminf_{n \to \infty} \frac{g(C_n)}{\deg(x_n)} = 0$ , then the abelian scheme $\pi$ is isotrivial (i.e., becomes constant after a finite base change).
- Corollary: If the scheme is non-isotrivial, the genus of any generic small sequence of multi-sections must tend to infinity.
Theorem 1.6 (Uniform Boundedness for Sections): Assuming $A \to B$ contains no non-trivial isotrivial abelian subscheme, for any section $P: B \to A$ , any finite extension $k'/k$ , and any integer $\ell$ , the set of points $z$ in fibers such that $\ell^n z = P(b)$ is uniformly bounded. This provides a new geometric proof of the uniform boundedness of $\ell$ -primary torsion points (Theorem 1.2) by reducing the general case to the non-isotrivial and isotrivial cases.
Resolution of Conjecture 1.8: The paper proves a conjecture by Cadoret and Tamagawa stating that for a non-isotrivial abelian scheme, the minimum genus of the Zariski closure of torsion points of exact order $n$ , denoted $g(n)$ , tends to infinity as $n \to \infty$ . This is achieved without the additional assumptions (such as $g(B) \ge 1$ or semistable reduction) required in previous partial results.

Significance and Claims
The paper claims to provide a geometric proof of the uniform boundedness of $\ell$ -primary torsion points, an alternative to the arithmetic Galois representation methods used by Cadoret and Tamagawa. By leveraging the interplay between the geometry of multi-sections (via the Betti foliation) and the distribution of small points (via equidistribution), the authors resolve the problem of the growth of genera for torsion points without restrictive assumptions on the base curve or the reduction type of the abelian scheme. The work demonstrates that the "hyperbolicity" of the moduli space of abelian varieties, manifested through the behavior of the Betti foliation and monodromy, is sufficient to enforce uniform boundedness.

1. The Main Discovery: The "Genus" of the Path

2. The Tools: The "Betti Foliations" and "Equidistribution"

3. The Three-Step Proof Strategy

4. The Application: Solving the Conjecture

Summary

More like this