🔢 mathematics

Distribution of Selmer ranks in prime cyclic extensions

Assuming the Extended Riemann Hypothesis, this paper analyzes the distribution of Selmer ranks in prime cyclic extensions for specific Galois modules, deriving probabilistic bounds for rank changes in elliptic, superelliptic, and hyperelliptic curves ordered by the product of ramified primes.

Original authors: Daniel Keliher, Sun Woo Park

Published 2026-07-02

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Daniel Keliher, Sun Woo Park

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 gardener tending to a very special, mysterious garden. In this garden, the plants are not flowers or vegetables, but mathematical objects called elliptic curves and hyperelliptic curves. These aren't plants you can touch; they are complex shapes defined by equations that hold secrets about numbers.

The main question the authors, Daniel Keliher and Sun Woo Park, are asking is: "If we change the soil (the mathematical environment) in specific ways, how much does the 'rank' of these plants grow?"

In math, the "rank" is like a measure of how many independent, infinite solutions a curve has. A higher rank means the curve is more complex and has more "hidden life."

Here is a breakdown of their work using simple analogies:

1. The Experiment: Changing the Soil

The researchers want to see what happens when they take a specific curve and "twist" it. Think of a twist like taking a rubber band and twisting it before stretching it out. In math, this involves extending the number system (the "soil") into a cyclic extension.

The Old Way: Previous mathematicians (Klagsbrun, Mazur, and Rubin) studied these twists by arranging them in a very specific, rigid order called a "fan structure." It was like sorting seeds by a very complicated, artificial rule that didn't quite match how nature usually grows things.
The New Way: Keliher and Park wanted to know: What if we sort these twists by a more natural rule? They decided to order them by the product of the "ramified primes."
- Analogy: Imagine you have a bag of seeds. The old method sorted them by their color, then their weight, then their shape. The new method sorts them simply by the total size of the pot they would grow in. This feels more like a "natural" way to count them.

2. The Big Assumption: The "Perfect Weather" Rule

To make their new sorting method work, the authors have to assume something called the Extended Riemann Hypothesis (ERH).

Analogy: Think of the ERH as assuming the weather is perfectly predictable and follows a specific, ideal pattern. Without this assumption, the mathematical "wind" might blow the seeds in unpredictable directions, making it impossible to calculate the statistics. The paper says, "If we assume this perfect weather (ERH), here is exactly what happens."

3. The Results: How Often Do Ranks Grow?

The paper calculates the probability of different outcomes. They found that the distribution of these "ranks" follows a very specific, predictable pattern (a "stationary distribution").

For Elliptic Curves (The Classic Plants):
They calculated the odds that a curve will gain rank (grow taller) or stay the same when moved to a new number system.
- The Finding: They found that for a prime number $p$ , there is a specific probability that the rank stays at 0, or jumps to 1, 2, etc. They provided a formula to calculate these odds. Interestingly, if the number field has a "real" embedding (a specific type of mathematical property), the odds shift slightly, but the overall pattern remains stable.
For Superelliptic Curves (The Exotic Plants):
These are more complex curves. The authors looked at families of these curves and asked: "On average, how many rational points (solutions) do they have?"
- The Finding: They proved that the average number of solutions is bounded. Even though some individual curves might have millions of solutions, if you look at the whole family, the average doesn't explode to infinity. It stays within a manageable limit. This is a step toward proving the "Mordell-Lang conjecture" for these specific families.
For Hyperelliptic Curves (The Twisted Plants):
These are curves defined by equations like $y^2 = f(x)$ . The authors studied what happens when you twist them using quadratic extensions (like taking square roots).
- The Finding: They confirmed a famous guess (the Poonen-Rains heuristic) about how these ranks are distributed. They showed that the distribution of ranks settles into a predictable pattern, provided the "weather" (ERH) is perfect. They also noted that this pattern depends on a specific invariant (a hidden property) of the curve, which acts like a "seed type" determining the growth pattern.

4. The Secret Sauce: The "Fan" and the "Markov Chain"

How did they prove this? They used a clever mathematical trick involving Markov Chains.

Analogy: Imagine a game where you roll a die to decide if a plant grows or shrinks. The result of the next roll depends on the current state, but over time, the game settles into a predictable rhythm.
The authors built a "fan structure" (a specific way of grouping the twists) and showed that even though they reordered the twists (swapping the order of the "soil" changes), the final "rhythm" of the growth (the distribution of ranks) remained the same. They proved that the order in which you apply these twists doesn't matter in the long run, as long as you have enough of them.

Summary of the Paper's Claims

New Sorting Method: They successfully moved from an artificial sorting method ("fan structure") to a more natural one (ordering by the product of ramified primes) for studying these curves.
Conditional on ERH: All their precise probability calculations rely on the assumption that the Extended Riemann Hypothesis is true.
Predictable Growth: They proved that for elliptic curves, superelliptic curves, and hyperelliptic curves, the distribution of their "ranks" (complexity) follows a specific, calculable probability pattern.
Bounded Averages: For superelliptic curves, they proved that the average number of solutions across a family of curves is finite and bounded.

In short: The authors took a complex mathematical garden, changed the way they counted the plants, assumed the weather was perfect, and successfully predicted exactly how the plants would grow in the long run. They confirmed that despite the chaos of individual twists, the garden as a whole follows a beautiful, predictable statistical law.

Technical Summary: Distribution of Selmer Ranks in Prime Cyclic Extensions

Problem Statement
This paper investigates the statistical distribution of Selmer ranks within twist families of Galois modules over number fields. Specifically, it addresses the distribution of $p$ -Selmer ranks for prime $p$ in cyclic extensions, ordered by the product of ramified primes (the radical of the relative discriminant), rather than the "fan structure" ordering used in prior foundational work by Klagsbrun, Mazur, and Rubin (KMR). The authors aim to determine the probability that a fixed elliptic curve, superelliptic curve, or hyperelliptic curve gains rank upon base extension to these cyclic fields. A central challenge is establishing these distributions under the Extended Riemann Hypothesis (ERH) without relying on heuristic models or specific ordering constraints that previously limited the scope of such results.

Methodology
The authors employ a synthesis of arithmetic statistics, analytic number theory, and probability theory, adapting and modifying the framework established by Klagsbrun, Mazur, and Rubin [KMR13, KMR14] and Yu [Yu19].

Selmer Structures and Twisting: The paper defines Selmer structures associated with twists of Galois modules $T$ satisfying specific technical conditions (irreducibility, non-degenerate pairings, etc.). These structures model the $p$ -Selmer groups of abelian varieties associated with the curves (e.g., $A_{\chi}$ for elliptic curves and $Jac(C_d)[1-\zeta_p]$ for superelliptic curves).
Fan Structures and Ordering: The core methodological innovation involves constructing a new "fan structure" of square-free ideals. Unlike the original KMR fan structure, which relied on effective Chebotarev density theorems with complex error terms, the authors define a new ordering based on the radical of the ideal (the product of distinct prime factors).
- They utilize the Extended Riemann Hypothesis (ERH) to invoke an effective form of the Chebotarev Density Theorem (Theorem 3.5). This allows for precise control over the distribution of Frobenius elements, enabling the authors to reorder the sequence of prime ideal twists.
- By proving that this new fan structure constitutes a density 1 subset of all square-free ideals (Proposition 4.1), they justify that statistics derived over this subset apply to the general set of extensions ordered by the product of ramified primes.
Markov Processes and Geometric Ergodicity: The distribution of Selmer ranks is modeled as the stationary distribution of an irreducible, aperiodic Markov process acting on the state space of non-negative integers.
- The authors utilize geometric ergodicity theorems for Markov operators (Theorem 4.12) to demonstrate that the distribution converges to a stationary state regardless of the initial conditions, provided the number of twists (prime factors) grows sufficiently.
- A key technical step involves showing that the order in which prime ideals are applied to twist the Selmer structure does not alter the asymptotic distribution, a result made possible by the independence of prime ideal norms in the constructed fan structure and the ERH.
Hyperelliptic Curves and the UDRL Condition: For hyperelliptic curves, the paper addresses the distribution of 2-Selmer groups. Previous results (e.g., Yu [Yu19]) often required the "UDRL" (Unramified Distribution of Local Kummer Maps) condition. The authors demonstrate that assuming ERH allows them to bypass this heuristic assumption, deriving the Poonen-Rains distribution directly from the Chebotarev density theorem.

Key Contributions

New Ordering Scheme: The paper successfully transfers the distribution results of Selmer ranks from the "fan structure" ordering to the ordering by the product of ramified primes (radical of the discriminant), a more natural ordering for arithmetic statistics.
Removal of Heuristic Assumptions: For hyperelliptic curves, the authors remove the need for the UDRL heuristic assumption by leveraging ERH to control local Kummer maps.
Generalization to Various Curves: The framework is applied to three distinct cases:
1. Rank growth of elliptic curves in $p$ -cyclic extensions.
2. Average size of rational points on superelliptic curves in $p$ -cyclic extensions.
3. Rank growth of Jacobians of hyperelliptic curves in quadratic extensions.

Main Results

Theorem 1.1 (Elliptic Curves): Assuming ERH, the paper provides explicit lower and upper bounds for the probability that an elliptic curve $E/K$ (with $Gal(K(E[p])/K) \supseteq SL_2(\mathbb{F}_p)$ ) has a specific rank growth in $p$ -cyclic extensions ordered by the product of ramified primes. The distribution is shown to be a linear combination of two stationary distributions ( $E_+$ and $E_-$ ) determined by the parity of the initial Selmer structure.
Theorem 1.2 (Superelliptic Curves): For superelliptic curves $C: y^p = F(x)$ with specific Galois splitting fields, the paper establishes an effective Mordell-Lang conjecture. It proves that the average size of the set of $K$ -rational points on the twist family is bounded by an explicit constant $B(p, K)$ .
Theorem 1.3 (Hyperelliptic Curves): Assuming ERH, the paper determines the distribution of 2-Selmer ranks for quadratic twists of hyperelliptic curves. The result confirms that the distribution converges to the Poonen-Rains distribution (specifically, the average size converges to 3 or 6 depending on the size of the Tate-Shafarevich group component $X^1$ ), consistent with Smith's results but derived without the UDRL heuristic.

Significance and Claims
The paper claims to provide a rigorous, conditional (on ERH) framework for understanding the distribution of Selmer ranks in prime cyclic extensions ordered by the product of ramified primes. By modifying the KMR machinery to accommodate this ordering, the authors bridge the gap between abstract Markov process models and concrete arithmetic statistics.

The authors explicitly state that their work:

Verifies the Poonen-Rains conjecture for hyperelliptic curves conditional on ERH, without assuming the UDRL condition.
Generalizes Alex Smith's results on the distribution of 2-Selmer groups to a broader class of hyperelliptic curves (including those that are not "odd").
Provides bounds for the average size of rational points on superelliptic curves, offering an effective version of the Mordell-Lang conjecture for these families.
Demonstrates that the rate of convergence to the stationary distribution can be improved to $O(1/(\log X)^c)$ under ERH, a significant improvement over previous exponential error terms.

The paper concludes by noting that these techniques are adaptable to global function fields and that future work will explore rank growths for principally polarized abelian varieties over cyclic prime extensions of global fields.

1. The Experiment: Changing the Soil

2. The Big Assumption: The "Perfect Weather" Rule

3. The Results: How Often Do Ranks Grow?

4. The Secret Sauce: The "Fan" and the "Markov Chain"

Summary of the Paper's Claims

More like this