REVIEW 3 major objections 5 minor 39 references
Rank growth of elliptic curves over S3 extensions with fixed quadratic resolvents
T0 review · 3 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash
Pith's one-line read The paper gives an exact distribution for rank growth of elliptic curves over cubic S3-extensions with a fixed quadratic resolvent, and a 31.95% lower bound for growth by at most one.
desk verdict A promising Markov-chain framework undermined by a central identification that confuses characters of G_k with S3-cubic extensions; the main density statement as written counts the wrong objects. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing machinery is a Markov chain on local Selmer structures, organized by a fan ordering that makes the chain converge. Starting from the local Selmer structure of $E[3]$ over the quadratic resolvent $F$, adding a ramified local character at a prime where $\dim_{\mathbb{F}_3} E[3](k_v)$ is $1$ or $2$ changes the Selmer dimension by $\pm 2$ or $0$, with transition probabilities controlled by an alternating mod-3 Lagrangian Markov operator (Definition 5.21); the operator preserves parity of the Selmer dimension. The fan structure $B_{m,*}(X)$ (Definition 7.2) orders $S_3$-cubic extensions by a sequence of bounding functions rather than by discriminant, so that sufficiently many primes enter the support to force convergence. The link between the Markov chain and the original curve is the isomorphism $\mathrm{Sel}_{1-\sigma_K}(B_{K/k}/k) \cong \mathrm{Sel}(E[3],\eta_d(\chi_K))_F$, obtained from Proposition 4.10 and Shapiro's lemma, which carries the Selmer dimension of the auxiliary four-dimensional variety to a Selmer group of $E$ over $F$ with local character conditions.
What would settle it
The theorem would be settled by enumerating the fan sets $B_{m,*}(X)$ for one explicit admissible pair $(E,F)$ with increasing $m$ and $X$, computing the proportions of extensions with $\dim_{\mathbb{F}_3} \mathrm{Sel}_{1-\sigma_K}(B_{K/k}/k)=s$, and comparing them to $\rho_E E_{\mathrm{even}}(s)+(1-\rho_E)E_{\mathrm{odd}}(s)$; any mismatch at a single $s$ would show the formula is wrong. A direct check of the proof's parametrization is also decisive: a homomorphism $G_k \to \mu_3$ has an abelian fixed field, so if the argument treats such characters as cutting out non-Galois $S_3$-cubic extensions, that bijection cannot hold as stated.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 7.3: for every admissible quadratic extension $F/k$ and every elliptic curve $E/k$ with $\mathrm{Gal}(k(E[3])/k) \supset \mathrm{SL}_2(\mathbb{F}_3)$ and $F$ linearly disjoint from $k(E[3])$, the fan-structure density of $S_3$-cubic extensions with quadratic resolvent $F$ for which $\dim_{\mathbb{F}_3} \mathrm{Sel}_{1-\sigma_K}(B_{K/k}/k)=s$ equals $\rho_E E_{\mathrm{even}}(s)+(1-\rho_E)E_{\mathrm{odd}}(s)$. Here $E_{\mathrm{even}}(s)=\prod_{k=0}^{\infty}(1+3^{-k})^{-1}\prod_{k=1}^{s/2}3/(3^k-1)$ for even $s$ and $0$ otherwise, and $E_{\mathrm{odd}}(s)$ is the corresponding shifted distribution for odd $s$; $\rho_E\in[0,1]$ is a computable constant depending only on $E$. The rank-growth statement follows from the identity $\mathrm{rk}(B_{K/k}(k))=2(\mathrm{rk}(E(K))-\mathrm{rk}(E(k)))$ together with the inequality $\mathrm{rk}(E(K))-\mathrm{rk}(E(k))\le\dim_{\mathbb{F}_3}\mathrm{Sel}_{1-\sigma_K}(B_{K/k}/k)$.
Load-bearing premise
The proof assumes that the fan-ordered family of global characters is in bijection with the $S_3$-cubic extensions with the given quadratic resolvent, and that the limit over the fan size can be interchanged with the limit over the field-bound $X$; if either assumption fails, the density statement does not follow.
Editorial extensions
If this is right
- For every admissible pair $(E,F)$, the fan-structure density of $S_3$-cubic extensions with a given Selmer dimension $s$ is exactly $\rho_E E_{\mathrm{even}}(s)+(1-\rho_E)E_{\mathrm{odd}}(s)$, with the constants and distributions written out explicitly.
- At least $31.95\%$ of the fan-ordered $S_3$-cubic extensions satisfy $\mathrm{rk}(E(K))-\mathrm{rk}(E(k))\le 1$, and at least $\rho_E\cdot 31.95\%$ satisfy $\mathrm{rk}(E(K))=\mathrm{rk}(E(k))$.
- The density of extensions with rank growth at least $s$ decays quadratic-exponentially in $s$: Corollary 7.4 gives the explicit bound $C\cdot 3^{-s(s-2)/8}$ for even $s\ge 4$ and the analogous odd bound.
- The parity of $\dim_{\mathbb{F}_3} \mathrm{Sel}_{1-\sigma_K}(B_{K/k}/k)$ is forced by the Markov process: the total limiting mass on even dimensions is $\rho_E$, and the total mass on odd dimensions is $1-\rho_E$.
- The numerical distribution is concentrated on dimensions $0$ through $7$, with the largest single mass at dimension $2$ when $\rho_E=1$ and at dimension $3$ when $\rho_E=0$.
Reading between the lines
- Because the fan ordering is non-standard, the $31.95\%$ figure is not a statement about the same family ordered by discriminant; translating it to discriminant order would require an additional equidistribution assumption not proved here.
- The proof's character-to-extension bijection may be repairable: the paper's Section 3 parametrization of $S_3$-cubic extensions by ideal pairs and $3$-Selmer units is independent of the global-character description, so the theorem could in principle be re-derived on that parametrization if the character map fails.
- One testable prediction is that in function-field analogues, where the effective Chebotarev bound can be made explicit, the parity mixture $\rho_E E_{\mathrm{even}}+(1-\rho_E)E_{\mathrm{odd}}$ should already be visible for small fan parameters before the double limit is taken.
- The same Markov-operator scheme should give analogous rank-growth distributions for other extension types whose Galois closure has a fixed quadratic subfield, such as $D_4$ or $A_4$ quartic extensions, with the $3$-torsion Selmer group replaced by the appropriate isogeny Selmer group.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper claims to determine, under a non-standard fan ordering, the density of S3-cubic extensions K/k with fixed quadratic resolvent F/k for which dim_{F3} Sel_{1-σ_K}(B_{K/k}/k) equals s, where B_{K/k} is a 4-dimensional abelian variety constructed from E. The authors prove an exact relation between rank growth of E and the rank of B_{K/k}, and they bound rank growth by the Selmer dimension. They adapt the Klagsbrun-Mazur-Rubin Markov-chain method to an 'alternating' operator, compute its stationary distribution, and express the limiting distribution as ρ_E E_even + (1-ρ_E) E_odd, with an unspecified parameter ρ_E. As a corollary they claim a 31.95% lower bound for the density of rank growth at most one. The main theorem depends on identifying the fan B_{m,*}(X), defined as a union of spaces Hom(G_k, μ_3), with S3-cubic extensions.
Significance. If the theorems were correct, they would be a natural extension of the KMR14 Markov-chain method to non-abelian cubic extensions and would give a quantitative answer to a natural rank-growth question. The paper contains several useful components: the construction of B_{K/k} and the identity rk(E(K))-rk(E(k)) = (1/2) rk(B_{K/k}(k)); the reduction of its Selmer group to a 3-Selmer group over F via Proposition 4.4; the local Lagrangian subspace counts; and the explicit stationary distribution of the alternating Markov operator. The 31.95% lower bound is a clean consequence of the mixture formula (86) and is independent of ρ_E. However, the central parametrization tying these components to S3-cubic extensions is invalid as stated, so the advertised theorems are not established for the claimed family.
major comments (3)
- [§7, Definition 7.2 and proof of Theorem 7.3] The proof begins by taking, for an S3-cubic extension K/k, a character χ_K ∈ Hom(G_k, μ_3) whose fixed field is K. For every such character, ker(χ_K) is normal in G_k, so its fixed field is a Galois extension of k with cyclic Galois group of order 1 or 3. An S3-cubic extension is not Galois over k and has Galois closure with Galois group S3; it contains no degree-3 Galois subextension. Hence no such χ_K exists. Since Definition 6.1 defines C(d) as a subset of Hom(G_k, μ_3), the fans in Definition 6.4 are unions of character spaces whose fixed fields are cyclic cubic Galois extensions, not S3-cubic extensions. Definition 7.2's assertion that B_{m,*}(X) is a collection of S3-cubic extensions is therefore not established, and the density in (86) counts characters rather than the S3 extensions appearing in Theorems 1.1, 1.2, and Corollary 7.4. A correct treatment would need a different parametrization of S3 cubics, such as the one in Section 3, and a fan structure adapted to it; this is not supplied.
- [§7, Eq. (87)] The isomorphism Sel_{1-σ_K}(B_{K/k}/k) ≅ Sel(E[3], η_d(χ_K))_F is asserted only after the invalid identification of K with the fixed field of χ_K. Consequently the right-hand side is not defined for a non-Galois S3 extension. If one tried to repair this by taking a character of G_F cutting out the C3-extension K̃/F of Section 3, the local conditions at places of k and the fan definition would have to be reworked, because the current C(d) consists of characters of G_k, not of G_F.
- [§6–§7, Theorem 6.7 to (86)] The passage from Theorem 6.7 to (86) omits a nontrivial limiting argument. Theorem 6.7 fixes both m and w and gives a limit as X→∞ for B_{m,w,D*,X}; Definition 7.2 then takes a union over w, and (86) takes m→∞. The proof gives no justification for interchanging the X and m limits and no control of the distribution of w among the fan. Even after the parametrization issue is resolved, the limiting statement in (86) would require such estimates.
minor comments (5)
- [§3, Definition 3.4] The table in Definition 3.4 has a typographical issue in the last column label ('Further Conditions on F/k ?') and the table formatting makes the rows harder to parse than necessary.
- [§5.2, Lemma 5.17] Lemma 5.17 assumes Gal(k(E[3])/k) = GL_2(F_3), whereas Theorem 1.1 assumes only that Gal(k(E[3])/k) contains SL_2(F_3); in the cases where the lemma is used this follows from F = k(ζ_3), but the paper should state this implication explicitly.
- [References] The reference [GZ86] contains a typo in the author list ('Benedict Gross, , and Don Zagier').
- [§5.2, Proposition 5.20] Proposition 5.20 labels the table entries c_{i,j}(r_ω), but the displayed entries depend on r_ω through r; the notation should be made uniform with Definition 5.21.
- [§7, Definition 7.1] The parameter ρ_E is introduced and called computable, but it is not evaluated or bounded anywhere in the paper; Theorem 1.2 is therefore a conditional distribution in terms of an unspecified input, which should be stated more prominently.
Circularity Check
The main density theorem is self-definitional: Definition 7.2 declares the fan union of characters to be the set of S3-cubic extensions, so the extension-counting statement is by construction rather than derivation.
-
self definitional
[Section 7, Definition 7.2 and the proof of Theorem 7.3 (Eqs. (85)-(87))]
"Definition 7.2: "Let B_{m, ∗}(X) := ⋃_w B_{m,w, D∗,X (85) be a collection of S3-cubic extensions K of k with a fixed quadratic resolvent field F/k. The right hand side is a union of fan structures as in Definition 6.4." Proof of Theorem 7.3: "Given an S3-cubic extension K/k, denote by χ_K ∈ Hom(G_k, µ_3) the global character whose fixed field is K.""
The object whose density Theorem 7.3 claims to compute—the "collection of S3-cubic extensions"—is defined in (85) as the union of the character fan spaces B_{m,w,D∗,X} from Definition 6.4, which are subsets of C(k) = Hom(G_k, μ_3). The theorem then evaluates the density over this character fan and calls it the density over S3-cubic extensions. This identification is not derived; it is put in by definition. The proof's asserted correspondence χ_K → K is also circular in its role: every χ ∈ Hom(G_k, μ_3) has kernel a normal subgroup, so its fixed field is Galois and cyclic over k, not a non-Galois S3-cubic extension.
full rationale
The Markov-chain portion of the paper is genuinely self-contained and not circular: Proposition 5.23 derives the stationary law E_even/E_odd from the operator M_L, the 31.95% constant is an honest numerical evaluation of the infinite product, and the per-step rank-change rules in Section 5 are imported from KMR14's independent framework rather than from a fit. The constant ρ_E is an explicitly defined input (the even-mass of E_1), not a fitted parameter disguised as output, so the formula is a one-parameter family rather than a full prediction. No load-bearing self-citation of the present authors occurs: [Par24] is used for one isomorphism, but Proposition 4.4 also gives an independent proof sketch, and [Kel22] is unrelated background. However, the central translation from fan characters to S3-cubic extensions is effected by Definition 7.2 and the impossible 'fixed field is K' character, so the main theorem's counted object is the character fan by definition. That is a genuine self-definitional collapse of the paper's central claim, although the underlying Markov computation is independent.
Assumptions & free parameters
free parameters (1)
- rho_E =
not computed
assumptions (4)
- domain assumption Gal(k(E[3])/k) contains SL2(F3) and F is linearly disjoint from k(E[3]) over k.
- ad hoc to paper Density is taken with respect to the fan structure, with limits in m and then X, not with respect to a natural ordering by discriminant.
- domain assumption The KMR14 effective Chebotarev theorem applies to the fields k_{d,omega} and hat-k_{d,omega} constructed in Section 5.2.
- ad hoc to paper Every character in the fan corresponds to exactly one S3-cubic extension with resolvent F, and the multiplicity from choices of u in S3(F_z)[T] is uniform.
invented entities (1)
-
Auxiliary abelian variety B_{K/k}
independent evidence
Cite this review
Pith. "Pith review of Rank growth of elliptic curves over S3 extensions with fixed quadratic resolvents." pith.science (2026). https://pith.science/paper/YOOHS4TQ
@misc{pith2026250205705,
author = {Pith},
title = {Pith review of: Rank growth of elliptic curves over S3 extensions with fixed quadratic resolvents},
year = {2026},
howpublished = {\url{https://pith.science/paper/YOOHS4TQ}},
note = {Machine review of arXiv:2502.05705}
}
abstract
We study the probability with which an elliptic curve $E/k$, subject to some technical conditions, gains rank upon base extension to an $S_3$-cubic extension $K/k$ with quadratic resolvent field $F/k$, all three fields of which are subject to some mild technical conditions. To do so, we determine the distribution (under a non-standard ordering) of Selmer ranks of an auxiliary abelian variety associated to $E$ and $S_3$-cubic extensions $K/k$ following ideas of Klagsbrun, Mazur, and Rubin. One corollary of this distribution is that $E$ gains rank by at most one upon base extension to $K$ with probability at least $31.95\%$.
Reference graph
Works this paper leans on
-
[3]
J. W. S. Cassels. Lectures on elliptic curves , volume 24 of London Mathematical Society Student Texts . Cambridge University Press, Cambridge, 1991
work page 1991
-
[1]
Integers expressible as the sum of two rational cubes, 2024
Levent Alpöge, Manjul Bhargava, and Ari Shnidman. Integers expressible as the sum of two rational cubes, 2024
work page 2024
-
[2]
Bryan Birch and Peter Swinnerton-Dyer. Notes on elliptic curves (ii). Journal für die reine und angewandte Mathematik , 165(218):79--108, 1965
work page 1965
-
[4]
Counting cubic extensions with given quadratic resolvent
Henri Cohen and Anna Morra. Counting cubic extensions with given quadratic resolvent. Journal of Algebra , 325(1):461--478, 2011
work page 2011
-
[5]
Dirichlet series associated to quartic fields with given cubic resolvent
Henri Cohen and Frank Thorne. Dirichlet series associated to quartic fields with given cubic resolvent. Res. Number Theory , 2:Paper No. 29, 40, 2016
work page 2016
-
[6]
Rational Points on Modular Elliptic Curves
Henri Darmon. Rational Points on Modular Elliptic Curves . American Mathematical Society, 2003
work page 2003
-
[7]
On the B irch- S winnerton- D yer quotients modulo squares
Tim Dokchitser and Vladimir Dokchitser. On the B irch- S winnerton- D yer quotients modulo squares. Annals of Mathematics , 172(1):567--596, 2010
work page 2010
-
[8]
Stark points and p -adic iterated integrals attached to modular forms of weight one
Henri Darmon, Alan Lauder, and Victor Rotger. Stark points and p -adic iterated integrals attached to modular forms of weight one. Forum of Mathematics, Pi , 3:e8, 2015
work page 2015
Show all 39 references
-
[9]
Algebraic cycles and S tark- H eegner points
Henri Darmon and Victor Rotger. Algebraic cycles and S tark- H eegner points. Lecture notes for Arizona Winter School 2011 , pages 23--32, 2011
2011
-
[10]
Conjectures on elliptic curves over quadratic fields
Dorian Goldfeld. Conjectures on elliptic curves over quadratic fields. In Number theory, C arbondale 1979 ( P roc. S outhern I llinois C onf., S outhern I llinois U niv., C arbondale, I ll., 1979) , volume 751 of Lecture Notes in Math. , pages 108--118. Springer, Berlin, 1979
1979
-
[11]
Kolyvagin’s work on modular elliptic curves in L -functions and arithmetic ( D urham, 1989)
Benedict Gross. Kolyvagin’s work on modular elliptic curves in L -functions and arithmetic ( D urham, 1989). London Mathematical Society Lecture Note Series , 153:235--256, 1991
1989
-
[12]
Heegner points and derivatives of L -series
Benedict Gross, , and Don Zagier. Heegner points and derivatives of L -series. Inventiones Mathematicae , 84(2):225--320, 1986
1986
-
[13]
Heath-Brown
D.R. Heath-Brown. The size of S elmer groups for the congruent number problem. Inventiones Mathematicae , 111(1):171--196, 1993
1993
-
[14]
Everett W. Howe. Isogeny classes of abelian varieties with no principal polarizations. Moduli of Abelian Varieties (Texel Island, 1999), Birkhauser Progress in Mathematics , pages 203--216, 2001
1999
-
[15]
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
2013
-
[16]
Rank growth of elliptic curves in S_4 and A_4 quartic extensions of the rationals, 2022
Daniel Keliher. Rank growth of elliptic curves in S_4 and A_4 quartic extensions of the rationals, 2022. Accepted to Pacific Journal of Mathematics
2022
-
[17]
urgen Kl\
J\"urgen Kl\"uners and Gunter Malle. Counting nilpotent G alois extensions. J. Reine Angew. Math. , 572:1--26, 2004
2004
-
[18]
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
2013
-
[19]
A M arkov model for S elmer ranks in families of twists
Zev Klagsbrun, Barry Mazur, and Karl Rubin. A M arkov model for S elmer ranks in families of twists. Compositio Mathematica , 150:1077--1106, 2014
2014
-
[20]
On M alle's conjecture for nilpotent groups
Peter Koymans and Carlo Pagano. On M alle's conjecture for nilpotent groups. Trans. Amer. Math. Soc. Ser. B , 10:310--354, 2023
2023
-
[21]
Sums of rational cubes and the 3 -selmer group, 2024
Peter Koymans and Alexander Smith. Sums of rational cubes and the 3 -selmer group, 2024
2024
-
[22]
Rank growth of elliptic curves in non-abelian extensions
Robert J Lemke Oliver and Frank Thorne. Rank growth of elliptic curves in non-abelian extensions. International Mathematics Research Notices , 2021(24):18411--18441, 12 2019
2021
-
[23]
On the Distribution of Galois Groups
Gunter Malle. On the Distribution of Galois Groups . Journal of Number Theory , 92(2):315--329, 2002
2002
-
[24]
On the Distribution of Galois Groups, II
Gunter Malle. On the Distribution of Galois Groups, II . Experimental Mathematics , 13(2):129 -- 136, 2004
2004
-
[25]
The S ato- T ate conjecture and generalizations
M Ram Murty and V Kumar Murty. The S ato- T ate conjecture and generalizations. Current Trends in Science: Platinum Jubilee Special , pages 639--646, 2009
2009
-
[26]
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
-
[27]
Mazur and K
B. Mazur and K. Rubin. Ranks of twists of elliptic curves and H ilbert's tenth problem. Invent. Math. , 181(3):541--575, 2010
2010
-
[28]
On the prime S elmer ranks of cyclic prime twist families of elliptic curves over global function fields, 2022
Sun Woo Park. On the prime S elmer ranks of cyclic prime twist families of elliptic curves over global function fields, 2022. arXiv:2211.11486
2022 arXiv
-
[29]
Arithmetic Statistics of Selmer Groups of Twist Families of Elliptic Curves Over Global Fields
Sun Woo Park. Arithmetic Statistics of Selmer Groups of Twist Families of Elliptic Curves Over Global Fields . PhD thesis, University of Wisconsin, Madison, 2024. Copyright - Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works;...
2024
-
[30]
Random maximal isotropic subspaces and selmer groups
Bjorn Poonen and Eric Rains. Random maximal isotropic subspaces and selmer groups. Journal of the American Mathematical Society , 25(1):245--269, 2012
2012
-
[31]
Rank stability of elliptic curves in certain metabelian extensions, 2024
Siddy Pathak and Anwesh Ray. Rank stability of elliptic curves in certain metabelian extensions, 2024. arXiv:2401.13582
2024 arXiv
-
[32]
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
-
[33]
Silverman
Joseph H. Silverman. The arithmetic of elliptic curves , volume 106 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1986
1986
-
[34]
The distribution of ^ - S elmer groups in degree twist families I , 2023
Alexander Smith. The distribution of ^ - S elmer groups in degree twist families I , 2023. arXiv:2207.05674
2023 arXiv
-
[35]
The distribution of ^ - S elmer groups in degree twist families II , 2023
Alexander Smith. The distribution of ^ - S elmer groups in degree twist families II , 2023. arXiv:2207.05143
2023 arXiv
-
[36]
Elliptic curves and analogies between number fields and function fields
Douglas Ulmer. Elliptic curves and analogies between number fields and function fields. Heegner Points and Rankin L-Series MSRI Publications , 49:285--315, 2004
2004
-
[37]
Heights of H eegner points on S himura curves
Shouwu Zhang. Heights of H eegner points on S himura curves. Annals of Mathematics , 153:27--147, 2001
2001
-
[38]
Selmer groups and the indivisibility of H eegner points
Wei Zhang. Selmer groups and the indivisibility of H eegner points. Cambridge Journal of Mathematics , 2(2):191--253, 2014
2014
-
[39]
Gross-Zagier Formula for GL(2), II , page 191–242
Shou-Wu Zhang and Mathematical Sciences Research Institute. Gross-Zagier Formula for GL(2), II , page 191–242. Mathematical Sciences Research Institute Publications. Cambridge University Press, 2004
2004
Reviewed August 8, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.