Pith. sign in

REVIEW 3 major objections 2 minor 39 references

Distribution of Selmer ranks in prime cyclic extensions

T0 review · 3 major / 2 minor · reviewed 2026-07-02 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Assuming the extended Riemann hypothesis, Selmer ranks in twist families of even-dimensional Galois modules follow a distribution that bounds rank gains in p-cyclic extensions.

desk verdict This paper adapts the Klagsbrun-Mazur-Rubin framework to even-dimensional Galois modules and extracts explicit conditional bounds on rank-gain probabilities and point counts in cyclic extensions. read the letter →

arxiv 2607.01126 v1 pith:SNSQRU4V submitted 2026-07-01 math.NT math.PR

Daniel Keliher , Sun Woo Park This is my paper
classification math.NTmath.PR
keywords SelmerrankstwistfamiliescyclicextensionsellipticcurvessuperelliptichyperellipticExtendedRiemannHypothesisrankdistribution
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper adapts earlier techniques to establish that, under the extended Riemann hypothesis, Selmer ranks for twist families of even-dimensional Galois modules satisfying mild conditions obey a specific distribution. This yields explicit bounds on the probability that a fixed elliptic curve increases its rank over p-cyclic extensions of the base field. The same distribution controls the average number of points on certain superelliptic curves over those extensions and gives parallel bounds for hyperelliptic curves over quadratic extensions. All statements order the extensions by the product of their ramified primes. These results matter because they supply quantitative information on how often ranks grow when base fields are enlarged in cyclic towers.

What carries the argument

The distribution of Selmer ranks in twist families of even-dimensional Galois modules, obtained via modifications to Klagsbrun-Mazur-Rubin methods under the extended Riemann hypothesis.

What would settle it

A concrete counterexample would be an elliptic curve E together with a large collection of p-cyclic extensions L/K, ordered by the product of ramified primes, in which the observed frequency of rank(E_L) > rank(E_K) lies outside the bounds predicted by the distribution.

Watch

Extended reading notes

Core claim

Modifying the work of Klagsbrun, Mazur, and Rubin, the authors prove that under the extended Riemann hypothesis the Selmer ranks in the twist families are distributed so as to give bounds on the probability that an elliptic curve gains rank in p-cyclic extensions, bounds on the average size of C(L) for superelliptic curves C, and analogous probability bounds for hyperelliptic curves in quadratic extensions, all with extensions ordered by the product of ramified primes.

Load-bearing premise

The extended Riemann hypothesis holds for the L-functions of the twist families, the Galois modules meet mild technical conditions, and the extensions are ordered by the product of ramified primes.

Editorial extensions

If this is right

  • The probability that a fixed elliptic curve gains rank in a random p-cyclic extension is bounded above and below.
  • The average size of the set of rational points on a superelliptic curve C over p-cyclic extensions L is bounded.
  • The probability that a fixed hyperelliptic curve gains rank in a quadratic extension is bounded.
  • All three families of statements hold when extensions are ordered by the product of ramified primes.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the distribution is accurate, then rank increases for elliptic curves occur with positive but strictly less than one probability in these families.
  • The same ordering and distribution statements may be compatible with natural-density statements in some cases.
  • The bounds could be compared directly with numerical computations of Selmer ranks over many cyclic extensions to test consistency with the predicted range.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 2 minor

Summary. The manuscript modifies the framework of Klagsbrun-Mazur-Rubin to study the distribution of Selmer ranks for twist families of even-dimensional Galois modules, assuming the Extended Riemann Hypothesis (ERH) and mild technical conditions on the modules. Corollaries include bounds on the probability that a fixed elliptic curve gains (or fails to gain) rank in p-cyclic extensions of a number field, bounds on the average size of C(L) for certain superelliptic curves C as L ranges over p-cyclic extensions, and analogous probability bounds for a fixed hyperelliptic curve gaining rank in quadratic extensions; in all cases extensions are ordered by the product of ramified primes.

Significance. If the conditional results hold, they extend quantitative control over Selmer-rank distributions from the KMR setting to even-dimensional modules and to explicit families of curves, yielding explicit probability bounds that refine existing heuristics on rank growth in cyclic twists. The work supplies a uniform framework that could be used to test or refine conjectures on average Selmer sizes once ERH is removed or replaced by weaker hypotheses.

major comments (3)
  1. [Abstract / §1] The central distribution theorems and all three corollaries rest on the unproven Extended Riemann Hypothesis; the manuscript should track precisely which steps invoke ERH (e.g., in the proof of the main equidistribution statement) and state whether any quantitative bounds survive under weaker assumptions such as GRH for the relevant Artin L-functions.
  2. [Abstract / §2] The 'mild technical conditions' on the even-dimensional Galois modules are invoked repeatedly to guarantee the applicability of the modified KMR machinery, yet their precise formulation and necessity are not visible from the abstract; without an explicit list (e.g., conditions on the local Tamagawa numbers or on the image of the Galois representation), it is impossible to verify whether the stated corollaries apply to the elliptic-curve and hyperelliptic cases claimed.
  3. [Abstract / §4] The ordering of extensions by the product of ramified primes is used to formulate the distribution statements, but the manuscript does not compare this ordering with the more common conductor ordering; if the two orderings produce different limiting distributions, the claimed probabilities may not be directly comparable with existing literature on Selmer ranks.
minor comments (2)
  1. Notation for the twist families and for the Selmer groups C(L) should be introduced with a short table or diagram in the introduction to aid readers unfamiliar with the KMR setup.
  2. [Abstract] The abstract states three distinct applications (elliptic curves, superelliptic curves, hyperelliptic curves) but does not indicate whether they follow from a single master theorem or require separate arguments; a sentence clarifying the logical dependence would improve readability.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and helpful suggestions. We have revised the manuscript to improve clarity on the role of ERH, to make the technical conditions explicit, and to compare the chosen ordering with conductor ordering. Point-by-point responses follow.

read point-by-point responses

  1. Referee: [Abstract / §1] The central distribution theorems and all three corollaries rest on the unproven Extended Riemann Hypothesis; the manuscript should track precisely which steps invoke ERH (e.g., in the proof of the main equidistribution statement) and state whether any quantitative bounds survive under weaker assumptions such as GRH for the relevant Artin L-functions.

    Authors: We agree that the dependence on ERH should be tracked more explicitly. In the revised manuscript we have added a paragraph in §1 that isolates the steps relying on ERH, namely the effective equidistribution of Frobenius elements via the Chebotarev theorem applied to the Artin L-functions attached to the Galois modules. The quantitative error terms in the main distribution theorems require the full strength of ERH; under GRH alone the error terms are too large to yield the stated probability bounds, so no quantitative versions survive without additional hypotheses or different methods. revision: yes

  2. Referee: [Abstract / §2] The 'mild technical conditions' on the even-dimensional Galois modules are invoked repeatedly to guarantee the applicability of the modified KMR machinery, yet their precise formulation and necessity are not visible from the abstract; without an explicit list (e.g., conditions on the local Tamagawa numbers or on the image of the Galois representation), it is impossible to verify whether the stated corollaries apply to the elliptic-curve and hyperelliptic cases claimed.

    Authors: We have revised the abstract to mention the conditions and inserted an explicit list in §2: the module must be even-dimensional and self-dual, the Galois image must be open in the appropriate group, and the local Tamagawa numbers must be bounded at primes dividing the conductor. These conditions hold for the elliptic-curve corollaries when the mod-p representation is irreducible (which is assumed) and for the hyperelliptic case under the semistable reduction hypotheses stated in the corollaries; the revised text now verifies applicability directly. revision: yes

  3. Referee: [Abstract / §4] The ordering of extensions by the product of ramified primes is used to formulate the distribution statements, but the manuscript does not compare this ordering with the more common conductor ordering; if the two orderings produce different limiting distributions, the claimed probabilities may not be directly comparable with existing literature on Selmer ranks.

    Authors: We have added a remark in §1 explaining the choice. For p-cyclic extensions the conductor equals the product of the distinct ramified primes (to the first power), so the two orderings differ only by a bounded factor and induce identical limiting distributions. Consequently the probability bounds are directly comparable with results in the literature that use conductor ordering. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper applies modifications to the independent prior framework of Klagsbrun-Mazur-Rubin (distinct authors) under the Extended Riemann Hypothesis and mild technical conditions on even-dimensional Galois modules. No self-citations are load-bearing, no fitted inputs are renamed as predictions, and no derivation step reduces by construction to the paper's own inputs or ansatzes. All quantitative bounds are derived conditionally from the cited external analytic inputs and stated ordering of extensions.

Assumptions & free parameters 0 free parameters · 2 assumptions · 0 invented entities

Abstract only supplies limited information on the precise technical conditions or analytic inputs; the Extended Riemann Hypothesis is the dominant external assumption.

assumptions (2)
  • domain assumption Extended Riemann Hypothesis
    Invoked explicitly for the distribution statements on Selmer ranks.
  • ad hoc to paper Mild technical conditions on the even-dimensional Galois modules
    Required for the twist families to satisfy the hypotheses of the modified Klagsbrun-Mazur-Rubin framework.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Distribution of Selmer ranks in prime cyclic extensions." pith.science (2026). https://pith.science/paper/SNSQRU4V

@misc{pith2026260701126,
  author       = {Pith},
  title        = {Pith review of: Distribution of Selmer ranks in prime cyclic extensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SNSQRU4V}},
  note         = {Machine review of arXiv:2607.01126}
}
abstract

Using modifications to work of Klagsbrun, Mazur, and Rubin, we study (assuming the Extended Riemann Hypothesis) the distribution of Selmer ranks of twist families of some given even-dimensional Galois modules satisfying some mild technical conditions. As a corollary, we study the probability with which a fixed elliptic curve gains (or does not gain) rank in $p$-cyclic extensions, obtaining bounds for this distribution. Likewise, for some superelliptic curves $C$, we bound the average size of $C(L)$ as $L$ ranges over $p$-cyclic extensions over a number field $K$ containing primitive $p$-th roots of unity. Lastly, we study the probability with which a fixed hyperelliptic curve gains (or does not gain) rank in quadratic extensions, also obtaining bounds for this distribution. In all three cases, the extensions under consideration are ordered by the product of ramified primes.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

39 extracted references · 39 canonical work pages

  1. [1]

    Explicit counting of ideals and a Brun-Titchmarsh inequality for the Chebotarev density theorem

    Korneel Debaene. Explicit counting of ideals and a Brun-Titchmarsh inequality for the Chebotarev density theorem. International Journal of Number Theory , 15(5):883--905, 2019

    work page 2019

  2. [2]

    Uniformity in Mordell–Lang for curves

    Vesselin Dimitrov, Ziyang Gao, and Philipp Habegger. Uniformity in Mordell–Lang for curves. Annals of Mathematics , 194:237--298, 2021

    work page 2021

  3. [3]

    [ES26] Jordan Ellenberg and Mark Shusterman.Averages of Arithmetic Functions over Con- ductors of Function Fields

    Jordan Ellenberg and Aaron Landesman. Homological stability for generalized Hurwitz spaces and Selmer groups in quadratic twist families over function fields, 2023. arXiv:2310.16286

    work page Pith review arXiv 2023

  4. [4]

    Unconditional explicit M ertens' theorems for number fields and D edekind zeta residue bounds

    Stephan Ramon Garcia and Ethan Simpson Lee. Unconditional explicit M ertens' theorems for number fields and D edekind zeta residue bounds. Ramanujan J. , 57(3):1169--1191, 2022

    work page 2022

  5. [5]

    Heath-Brown

    D.R. Heath-Brown. The size of S elmer groups for the congruent number problem. Inventiones Mathematicae , 111(1):171--196, 1993

    work page 1993

  6. [6]

    On the ranks of the 2- S elmer groups of twists of a given elliptic curve

    Daniel Kane. On the ranks of the 2- S elmer groups of twists of a given elliptic curve. Algebra Number Theory , 7(5):1253--1279, 2013

    work page 2013

  7. [7]

    Disparity in S elmer ranks of quadratic twists of elliptic curves

    Zev Klagsbrun, Barry Mazur, and Karl Rubin. Disparity in S elmer ranks of quadratic twists of elliptic curves. Annals of Mathematics , 178:287--320, 2013

    work page 2013

  8. [8]

    A Markov model for Selmer ranks in families of twists

    Zev Klagsbrun, Barry Mazur, and Karl Rubin. A Markov model for Selmer ranks in families of twists. Compositio Mathematica , 150:1077--1106, 2014

    work page 2014

Show all 39 references
  1. [9]

    A remark on the Mordell-Weil rank of elliptic curves over the maximal abelian extension of the rational number field

    Emi Kobayashi. A remark on the Mordell-Weil rank of elliptic curves over the maximal abelian extension of the rational number field. Tokyo Journal of Mathematics , 29(2), 2006

    2006

  2. [10]

    Malle's conjecture for fair counting functions, 2023

    Peter Koymans and Carlo Pagano. Malle's conjecture for fair counting functions, 2023. To appear in ANT

    2023

  3. [12]

    Algebraic number theory , volume 110 of Graduate Texts in Mathematics

    Serge Lang. Algebraic number theory , volume 110 of Graduate Texts in Mathematics . Springer-Verlag, New York, second edition, 1994

    1994

  4. [13]

    A generalization of the Erd\"os-Kac theorem and its applications

    Yu-Ru Liu. A generalization of the Erd\"os-Kac theorem and its applications. Canadian Mathematical Bulletin , 47(4):589--606, 2004

    2004

  5. [14]

    A generalization of the Turan theorem and its applications

    Yu-Ru Liu. A generalization of the Turan theorem and its applications. Canadian Mathematical Bulletin , 47:573--588, 2004

    2004

  6. [15]

    The stable homology of Hurwitz modules and applications, 2025

    Aaron Landesman and Ishan Levy. The stable homology of Hurwitz modules and applications, 2025. arXiv:2510.02068

    2025

  7. [16]

    Complex analysis on riemann surfaces, 2013

    Curtis McMullen. Complex analysis on riemann surfaces, 2013. Course notes available at https://math.berkeley.edu/ ianagol/complexriemann.pdf

    2013

  8. [17]

    Finding large S elmer rank via an arithmetic theory of local constants

    Barry Mazur and Karl Rubin. Finding large S elmer rank via an arithmetic theory of local constants. Annals of Mathematics , 166:579--612, 2007

    2007

  9. [18]

    Markov chains and stochastic stability

    Sean Meyn and Richard Tweedie. Markov chains and stochastic stability . Springer-Verlag, Berlin, Germany, 1993

    1993

  10. [19]

    Multiplicative Number theory 1

    Hugh Montgomery and Robert Vaughan. Multiplicative Number theory 1. Classical Theory: Cambridge studies in advanced mathematics 97 . Cambridge University Press, 2006

    2006

  11. [20]

    Moderate and large deviations for the E rd\"os- K ac theorem

    Behzad Mehrdad and Lingjiong Zhu. Moderate and large deviations for the E rd\"os- K ac theorem. The Quarterly Journal of Mathematics , 67(1):147--160, 2016

    2016

  12. [21]

    The conductor density of abelian number fields

    Sirpa Mäki. The conductor density of abelian number fields. Journal of the London Mathematical Society , s2-47(1):18--30, 1993

    1993

  13. [22]

    Karl K. Norton. On the number of restricted prime factors of an integer I . Illinois Journal of Mathematics , 20:681--705, 1976

    1976

  14. [23]

    Mordell--Lang and disparate Selmer ranks of odd twists of some superelliptic curves over global function fields, 2025

    Sun Woo Park. Mordell--Lang and disparate Selmer ranks of odd twists of some superelliptic curves over global function fields, 2025. arXiv:2504.20594

    2025

  15. [24]

    On the prime S elmer ranks of cyclic prime twist families of elliptic curves over global function fields

    Sun Woo Park. On the prime S elmer ranks of cyclic prime twist families of elliptic curves over global function fields. Compositio Mathematica , 161(12):3277--3320, 2025

    2025

  16. [25]

    Random maximal isotropic subspaces and S elmer groups

    Bjorn Poonen and Eric Rains. Random maximal isotropic subspaces and S elmer groups. Journal of the American Mathematical Society , 25(1):245--269, 2012

    2012

  17. [26]

    Self cup products and the theta characteristic torsor

    Bjorn Poonen and Eric Rains. Self cup products and the theta characteristic torsor. Mathematical Research Letters , 18(6):1305--1318, 2012

    2012

  18. [27]

    The Cassels-Tate pairing on polarized abelian varieties

    Bjorn Poonen and Michael Stoll. The Cassels-Tate pairing on polarized abelian varieties. Annals of Mathematics , 150(3):1109--1149, 1999

    1999

  19. [28]

    On the application of large deviation estimates to local solubility in families of varieties, 2025

    Sun Woo Park and Efthymios Sofos. On the application of large deviation estimates to local solubility in families of varieties, 2025. arXiv:2507.08173

    2025

  20. [29]

    On the distribution of 2-Selmer ranks of quadratic twists of elliptic curves over Q , 2025

    Jinzhao Pan and Ye Tian. On the distribution of 2-Selmer ranks of quadratic twists of elliptic curves over Q , 2025. arXiv:2503.21462

    2025

  21. [30]

    A generalization of M ertens' theorem

    Michael Rosen. A generalization of M ertens' theorem. J. Ramanujan Math. Soc. , 14(1):1--19, 1999

    1999

  22. [31]

    L.G. Sathe. On a problem of Hardy on the distribution of integers having a given number of prime factors. The Journal of the Indian Mathematical Society , 17:63--141, 1953

    1953

  23. [32]

    Computing a Selmer group of a Jacobian using functions on the curve

    Edward Schaefer. Computing a Selmer group of a Jacobian using functions on the curve. Mathematische Annalen , 310:447--471, 1998

    1998

  24. [33]

    The effect of twisting on the 2- S elmer group

    Peter Swinnerton-Dyer. The effect of twisting on the 2- S elmer group. Math. Proc. Cambridge Philos. Soc. , 145(3):513--526, 2008

    2008

  25. [34]

    A. Selberg. Note on a paper by l.g.sathe. The Journal of the Indian Mathematical Society , 18:83--87, 1954

    1954

  26. [35]

    Quelques applications du théorème de densité de Chebotarev

    Jean-Pierre Serre. Quelques applications du théorème de densité de Chebotarev . Publications Mathématiques de l'IHÉS , 54:123--201, 1981

    1981

  27. [36]

    The distribution of ^ - S elmer groups in degree twist families I

    Alexander Smith. The distribution of ^ - S elmer groups in degree twist families I . Journal of the American Mathematical Society , 39(1):1--72, 2026

    2026

  28. [37]

    The distribution of ^ - S elmer groups in degree twist families II

    Alexander Smith. The distribution of ^ - S elmer groups in degree twist families II . Journal of the American Mathematical Society , 39(2):453--514, 2026

    2026

  29. [38]

    A sharpening of effective formulas of S elberg– D elange type for some arithmetic functions on the semigroup G_K

    Jie Wu. A sharpening of effective formulas of S elberg– D elange type for some arithmetic functions on the semigroup G_K . Journal of Number Theory , 59(1):1--19, 1996

    1996

  30. [39]

    Selmer ranks of twists of hyperelliptic curves and superelliptic curves

    Myungjun Yu. Selmer ranks of twists of hyperelliptic curves and superelliptic curves . Journal of Number Theory , 160:148--185, 2016

    2016

  31. [40]

    The distribution of Selmer ranks of quadratic twists of Jacobians of hyperelliptic curves

    Myungjun Yu. The distribution of Selmer ranks of quadratic twists of Jacobians of hyperelliptic curves . Mathematical Research Letters , 26(4):1217--1250, 2019

    2019

Pith tools

Reviewed July 2, 2026 · model on record in the stance chip above.