Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

Iwasawa theory and ranks of elliptic curves in quadratic twist families

T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash

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

Pith's one-line read For elliptic curves satisfying four conditions, at least X/(log X)^{11/12} quadratic twists below X have 2-primary Selmer corank 1; if Tate-Shafarevich is finite, these are rank-1 twists.

desk verdict New Iwasawa-theoretic method for Selmer corank 1 twists; the main theorem is likely right, but Proposition 3.11 has a false lambda=1 claim that is repairable. read the letter →

arxiv 2412.07308 v2 pith:ZS2WXCLE submitted 2024-12-10 math.NT

Jeffrey Hatley , Anwesh Ray This is my paper · ORCID
classification math.NT MSC 11G0511R2311R45
keywords IwasawatheoryellipticcurvesquadratictwistfamiliesGoldfeld'sconjectureSelmergroups2-adiclambda-invariantsKida'sformulaChebotarevdensity
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 targets Goldfeld's conjecture, which predicts that half the quadratic twists of an elliptic curve have Mordell-Weil rank 0 and half have rank 1. Its tool is the 2-primary Selmer group, a Galois-cohomology package whose corank bounds the Mordell-Weil rank and equals it when the Tate-Shafarevich group is finite. The central result is a lower bound: for an elliptic curve over Q with good ordinary reduction at 2, squarefree conductor, no rational 2-torsion, root number -1, and 2-adic Iwasawa invariants mu2=0 and lambda2 at most 2, the number of squarefree d below X with Selmer corank exactly 1 is at least a constant multiple of X/(log X)^{11/12}. If the Tate-Shafarevich group of each twist is finite, the same count applies to elliptic curves of Mordell-Weil rank 1. The paper also proves a prime-twist version with density at least 1/12, a result for curves with full rational 2-torsion, and a theorem prescribing the distribution of 2-adic $\lambda$-invariants.

What carries the argument

Matsuno's formula is the load-bearing identity: for squarefree d coprime to the conductor, lambda2(E^(d)/Q) = lambda2(E/Q) + sum over prime divisors ell of d with 2 dividing #E~(F_ell) of $2^{{n_ell+1}}$, where n_ell = ord_2(($ell^{2}$-1)/8). This reduces the $\lambda$-invariant of the twist to one local condition per prime, so primes with E~(F_ell)[2]=0 contribute nothing and primes with ell congruent to 3 or 5 modulo 8 contribute exactly 2. Around this, the proof assembles three standard tools: the parity theorem relating the parity of the Selmer corank to the root number, the root-number formula omega(E^(d)) = chi_d(-N_E) omega(E), and the Chebotarev density theorem together with Delange's tauberian theorem, which count products of primes selected by Frobenius conditions. The density calculation for the main theorem uses the Galois group of the field generated by the 2-torsion of E and the biquadratic field Q(i, $\sqrt$(-N_E)).

What would settle it

Take an elliptic curve satisfying the hypotheses of Theorem 3.12 with lambda2(E/Q)=2, form a squarefree d with d congruent to 1 modulo 4 whose prime divisors all avoid the set $\Omega$ of primes where the reduced curve has a rational point of order 2, and compute lambda2(E^(d)/Q) by Matsuno's formula: if the result is 2 rather than 1, Proposition 3.11 is false as stated and the proof of the main lower bound collapses.

Watch

Extended reading notes

Core claim

The paper's discovery is that Matsuno's 2-adic Kida-type formula makes the $\lambda$-invariant of a quadratic twist computable from local data at the twisting primes, and that this computability can be converted into a counting theorem for Selmer coranks. Concretely, choosing d so that every prime divisor ell satisfies E~(F_ell)[2]=0 keeps lambda2(E^(d)/Q)=lambda2(E/Q); choosing additional primes where 2 divides #E~(F_ell) makes lambda2 increase by exactly 2. With lambda2(E/Q) at most 2 and the root number made -1 by Chebotarev conditions, the parity theorem forces the Selmer corank to be odd and at most 2, hence exactly 1. The authors carry this out for products of primes in a positive-density set, obtaining n'_{E,1}(X) >> X/(log X)^{11/12}, and they prove an analogue for prime twists with density at least 1/12, plus a result for curves with E(Q)[2] nonzero where prime twists with density 1/4 have corank 1. When the Tate-Shafarevich group is finite, these corank-1 statements become rank-1 statements for the elliptic curves themselves.

Load-bearing premise

The main counting theorem rests on Proposition 3.11, which asserts that certain carefully chosen quadratic twists have Selmer corank exactly 1; if the formula computation behind that proposition does not actually force that value for the stated primes, the paper's counting lower bound does not follow as written.

Editorial extensions

If this is right

  • For the twists counted in Theorem 3.12, the 2-primary Selmer group has corank exactly 1; when Sha(E^(d)/Q)[2^infinity] is finite, those twists have Mordell-Weil rank 1.
  • Prime twists ell in a set of density at least 1/12 satisfy the same corank-1 conclusion, giving an effective family of rank-1 twists when Sha is finite.
  • For curves with E(Q)[2] nonzero, root number +1, and lambda2(E/Q)=0, prime twists by primes inert in Q(sqrt(-N_E)) and congruent to 3 or 5 modulo 8 have corank 1, and such primes have density 1/4.
  • For any integer N at least lambda2(E/Q) with the same parity, there are at least a constant multiple of X/(log X)^{1/3} or X/(log X)^{2/3} squarefree d below X with lambda2(E^(d)/Q)=N, depending on the Galois image of the 2-torsion representation.
  • When lambda2(E/Q)=0, the same construction with primes outside the exceptional set gives quadratic twists with Selmer corank 0, hence rank-0 twists when Sha is finite, with a lower bound of the same logarithmic shape.

Reading between the lines

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

  • The same template could be run at odd primes p if a p-adic analogue of Matsuno's formula exists; the parity theorem is already known for all primes, so the missing ingredient is a local formula for lambda_p(E^(d)/Q).
  • The exponent 11/12 comes from the lower bound 1/12 on the density of admissible primes; a finer analysis of Gal(F(E[2])/Q) could raise that density and improve the lower bound toward a positive proportion of twists.
  • If the conjectural vanishing of the Iwasawa mu-invariant holds broadly, the hypothesis mu2(E/Q)=0 would be satisfied for a substantial set of base curves, making the theorem's conditions less restrictive.
  • For supersingular reduction at 2, the paper notes that the sharp and flat Selmer theory would be the natural replacement for the cotorsion framework; a Kida-type formula in that setting would likely produce analogous corank counts.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper studies 2-adic Iwasawa invariants of quadratic twists of elliptic curves E/Q with good ordinary reduction at 2 and squarefree conductor. Using Matsuno's Kida-type formula for the 2-adic λ-invariant and the Dokchitser–Dokchitser parity theorem, it aims to show that for certain squarefree twists d with root number -1 and λ2(E(d)/Q) ≤ 2, the 2-adic Selmer corank is exactly 1; when Sha(E(d)/Q)[2^∞] is finite this yields Mordell–Weil rank 1. The main results are Theorem 3.12 (a lower bound ≫ X/(log X)^{11/12} for the number of d < X with Selmer corank 1 under hypotheses including μ2=0, λ2≤2, E(Q)[2]=0, ω(E)=-1), Theorem 3.13 (an explicit prime-twist set of density ≥ 1/12), Theorem 3.15 (a result for E(Q)[2] ≠ 0 with λ2=0, ω(E)=+1), and Theorem 4.1 (prescribing λ2-invariants in twist families). The Selmer-corank statements are meant to be unconditional; rank statements depend on the standard finiteness assumption for the 2-primary Tate–Shafarevich group.

Significance. If the central lemma is repaired, the paper is a solid contribution: it gives unconditional lower bounds for Selmer coranks in quadratic twist families by Iwasawa-theoretic methods, with explicit Chebotarev sets, effective densities, and no fitted parameters. The approach complements Smith's work and provides a different route to statements in the direction of Goldfeld's conjecture. The main caveat is that the passage from Selmer corank 1 to algebraic rank 1 requires finiteness of the relevant 2-primary Tate–Shafarevich group, which is standard in this area. However, as written, Proposition 3.11 is false as stated, and because Theorem 3.12 invokes it for every counted twist, the main proof currently rests on an invalid lemma; the repair is local but essential.

major comments (3)
  1. [Proposition 3.11] Proposition 3.11(1), as stated, is false. Under the hypothesis that every ℓ_i lies outside Ω, Matsuno's formula (3.1) in Theorem 3.2 has an empty sum, so λ2(E(d)/Q)=λ2(E/Q). Since the hypotheses allow λ2(E/Q)=2, the asserted conclusion λ2(E(d)/Q)=1 cannot hold in general. The proof's line 'Since ℓ_i ∉ Ω for i≥2' also conflicts with the hypothesis that aℓ_i are outside Ω. What the proof actually establishes is that λ2(E(d)/Q)=λ2(E/Q)≤2, and then Dokchitser–Dokchitser parity gives corank=1. The lemma should be restated with the corrected conclusion λ2(E(d)/Q)=λ2(E/Q)≤2, or with the additional hypothesis λ2(E/Q)=1 if the value λ2=1 is wanted.
  2. [Theorem 3.12] Theorem 3.12 invokes Proposition 3.11 for every d that is counted, so as written the proof relies on a lemma that is false as stated. The situation is repairable: the corrected bound λ2(E(d)/Q)≤2 is sufficient for the parity argument, so the corank-one conclusion of Proposition 3.11(3) and the statement of Theorem 3.12 can be recovered. The authors should revise the statement and proof of Proposition 3.11 so that the main theorem does not depend on the invalid λ2=1 assertion.
  3. [Theorem 3.2, Eq. (3.1)] The summation condition in Matsuno's formula is printed as '2|#∼E(F2)' and is not meaningful when the sum runs over odd primes ℓ dividing d; the condition should be a local condition at the prime ℓ, presumably '2 | #∼E(Fℓ)' or equivalently 'ℓ∈Ω'. As printed, the key formula cannot be checked and is used in several places, including Proposition 3.11, Theorem 3.15, and Theorem 4.1. This notation should be corrected throughout.
minor comments (4)
  1. [Theorem 3.12, proof] In the proof of Theorem 3.12, 'n_{M^c}(X) is the number of squarefree d < 0' should read 'd > 0', and the sentence 'Proposition 3.11 implies that n_{M^c}(X) ≫ ...' should refer to Proposition 2.12.
  2. [Abstract and Theorem A] The abstract states the main input as λ2(E/Q)=0, whereas Theorem A (Theorem 3.12) only assumes λ2(E/Q)≤2; these statements should be aligned.
  3. [Proposition 3.11, proof] The phrase 'Since ℓ_i ∉ Ω for i≥2' should be 'for all i=1,...,k' if the intended hypothesis is that all primes in the product are outside Ω; as written it appears to exclude i=1 for no stated reason.
  4. [Theorem 3.15, proof] The congruence condition 'ℓ≡3,5,11,13 (mod 16)' is equivalent to 'ℓ≡3,5 (mod 8)'; the formulation can be simplified for readability.

Circularity Check

0 steps flagged · score 1.0 of 10

No material circularity: the rank and lambda claims are derived from Matsuno's formula, Dokchitser parity, and Chebotarev; the flagged Proposition 3.11 gap is a correctness issue, not a circular reduction.

full rationale

The derivation chain is self-contained against external theorems: λ2(E(d)/Q) is computed from Matsuno's formula (Theorem 3.2), Selmer coranks are bounded via Lemma 3.1, parity is supplied by Dokchitser–Dokchitser (Theorem 3.3), and densities come from Chebotarev plus Delange's theorem (Proposition 2.12). No parameter is fitted to the data being 'predicted', and the counted twists are constructed by explicit congruence and Chebotarev conditions rather than defined by the rank outcome. The self-citations ([16], [22]) are contextual statistics about how often hypotheses hold and are not load-bearing for Theorem 3.12. One non-circular defect is flagged: Proposition 3.11 asserts λ2(E(d)/Q)=1, but its proof never derives this; Matsuno's formula with all ℓ_i outside Ω gives λ2(E(d)/Q)=λ2(E/Q), which equals 2 for allowed curves with λ2(E/Q)=2. The corank conclusion still follows from the bound corank ≤ λ2(E/Q) ≤ 2 together with odd parity, so the main theorem's use of the proposition is repairable, but the statement as written is not proved. This is a correctness gap, not a case of the conclusion being assumed as input.

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

No fitted parameters. The central claims rest on standard Iwasawa-theoretic theorems and on explicit hypotheses about mu2 and lambda2 whose prevalence is open. The rank interpretation additionally assumes Sha finiteness.

assumptions (6)
  • standard math Selmer group Sel_{2oo}(E^(d)/Qoo) is cotorsion over the Iwasawa algebra for E with good ordinary reduction at 2 (Kato, Rubin)
    Invoked in Lemma 3.1 to define mu2 and lambda2; cited to [11] (Kato) and [23] (Rubin).
  • standard math Matsuno's Kida-type formula for lambda2(E^(d)/Q) in quadratic twist families
    Theorem 3.2 is the main engine; cited to [18, Theorem 5.1].
  • standard math Dokchitser-Dokchitser p-parity theorem: corank of Sel_{poo}(E/Q) is even iff omega(E)=+1
    Theorem 3.3, used to force Selmer corank to be 1 once lambda is bounded and root number is -1.
  • standard math Delange's tauberian theorem and Chebotarev density theorem
    Used in Section 2.4 and in the density computations in Theorems 3.12, 3.13, 3.15, and 4.1.
  • domain assumption Finiteness of X(E^(d)/Q)[2oo] is needed to pass from Selmer corank 1 to Mordell-Weil rank 1
    Stated in the abstract and Section 1; this is part of the BSD conjecture and is not proven for the constructed twists.
  • domain assumption The hypotheses mu2(E/Q)=0 and lambda2(E/Q)<=2 (or lambda2=0 in Theorem C) hold for the curves considered
    Explicit hypothesis of Theorems A-D; the paper notes in the Introduction that positive density of curves satisfying condition (4) is open.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Iwasawa theory and ranks of elliptic curves in quadratic twist families." pith.science (2026). https://pith.science/paper/ZS2WXCLE

@misc{pith2026241207308,
  author       = {Pith},
  title        = {Pith review of: Iwasawa theory and ranks of elliptic curves in quadratic twist families},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZS2WXCLE}},
  note         = {Machine review of arXiv:2412.07308}
}
abstract

We study the distribution of ranks of elliptic curves in quadratic twist families using Iwasawa-theoretic methods, contributing to the understanding of Goldfeld's conjecture. Given an elliptic curve $ E/\mathbb{Q} $ with good ordinary reduction at $ 2 $ and $ \lambda_2(E/\mathbb{Q}) = 0 $, we use Matsuno's Kida-type formula to construct quadratic twists $ E^{(d)} $ such that $ \lambda_2(E^{(d)}/\mathbb{Q}) $ remains unchanged or increases by $ 2 $. When the root number of $E^{(d)}$ is $-1$ and the Tate-Shafarevich group $Sha(E^{(d)}/\mathbb{Q})[2^\infty] $ is finite, this yields quadratic twists with Mordell--Weil rank $ 1 $. These results support the conjectural expectation that, on average, half of the quadratic twists in a family have rank $ 0 $ and half have rank $ 1 $. In the cases we consider we obtain asymptotic lower bounds for the number of twists by squarefree numbers $d\leq X$ which match with the conjectured value up to an explicit power of $\log X$. They complement recent groundbreaking results of Smith on Goldfeld's conjecture.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Iwasawa invariants of sharp/flat $2$-adic $L$-functions for quadratic twists of elliptic curves

    math.NT 2026-07 conditional novelty 6.0 of 10

    An explicit Kida-type difference formula for sharp/flat 2-adic lambda-invariants of supersingular elliptic curves under quadratic twists is proved, yielding asymptotic lower bounds for twists with prescribed invariants.

Reference graph

Works this paper leans on

30 extracted references · 28 canonical work pages · cited by 1 Pith paper

  1. [2]

    Bhargava and A

    M. Bhargava and A. Shankar. Binary quartic forms having b ounded invariants, and the boundedness of the average rank of elliptic curves. Ann. of Math. (2) , 181(1):191–242, 2015

    work page 2015

  2. [1]

    Bhargava, D

    M. Bhargava, D. M. Kane, H. W. Lenstra, Jr., B. Poonen, and E. Rains. Modeling the distribution of ranks, Selmer groups, and Shafarevich-Tate groups of elliptic cur ves. Camb. J. Math. , 3(3):275–321, 2015

    work page 2015

  3. [3]

    J. E. Cremona and M. Sadek. Local and global densities for Weierstrass models of elliptic curves. Math. Res. Lett., 30(2):413–461, 2023

    work page 2023

  4. [4]

    Dokchitser and V

    T. Dokchitser and V. Dokchitser. On the Birch-Swinnerto n-Dyer quotients modulo squares. Ann. of Math. (2) , 172(1):567–596, 2010

    work page 2010

  5. [5]

    W. Duke. Elliptic curves with no exceptional primes. C. R. Acad. Sci. Paris Sér. I Math. , 325(8):813–818, 1997

    work page 1997

  6. [6]

    Goldfeld

    D. Goldfeld. Conjectures on elliptic curves over quadra tic fields. In Number theory, Carbondale 1979 (Proc. Southern Illinois Conf., Southern Illinois Univ., Carbondal e, Ill., 1979) , volume 751 of Lecture Notes in Math. , pages 108–118. Springer, Berlin, 1979

    work page 1979

  7. [7]

    Greenberg

    R. Greenberg. Iwasawa theory for elliptic curves. In Arithmetic theory of elliptic curves (Cetraro, 1997) , volume 1716 of Lecture Notes in Math. , pages 51–144. Springer, Berlin, 1999

    work page 1997

  8. [8]

    Hachimori and K

    Y. Hachimori and K. Matsuno. An analogue of Kida’s formul a for the Selmer groups of elliptic curves. J. Algebraic Geom., 8(3):581–601, 1999

    work page 1999

Show all 30 references
  1. [9]

    Heath-Brown

    R. Heath-Brown. The average analytic rank of elliptic cu rves. Duke Mathematical Journal , 122, 06 2003

    2003

  2. [10]

    S. Howson. Euler characteristics as invariants of Iwas awa modules. Proc. London Math. Soc. (3) , 85(3):634–658, 2002

    2002

  3. [11]

    K. Kato. p-adic Hodge theory and values of zeta functions of modular fo rms. Number 295, pages ix, 117–290

  4. [12]

    N. M. Katz and P. Sarnak. Random matrices, Frobenius eigenvalues, and monodromy , volume 45 of American Mathematical Society Colloquium Publications . American Mathematical Society, Providence, RI, 1999

    1999

  5. [13]

    V. A. Kolyvagin. Finiteness of e(Q) and sha for a subclass of Weil curves. Izv. Akad. Nauk SSSR Ser. Mat. , 52(3):522–540, 670–671, 1988

    1988

  6. [14]

    Kriz and C

    D. Kriz and C. Li. Goldfeld’s conjecture and congruence s between Heegner points. Forum Math. Sigma , 7, 2019

    2019

  7. [15]

    Kriz and A

    D. Kriz and A. C. Nordentoft. Horizontal p-adic l-functions. arXiv preprint arXiv:2310.20678 , 2023

    2023

  8. [16]

    Kundu and A

    D. Kundu and A. Ray. Statistics for Iwasawa invariants o f elliptic curves. Trans. Amer. Math. Soc., 374(11):7945– 7965, 2021

    2021

  9. [17]

    Lozano-Robledo

    A. Lozano-Robledo. A probabilistic model for the distr ibution of ranks of elliptic curves over Q. J. Number Theory, 221:270–338, 2021

    2021

  10. [18]

    K. MATSUNO. On the 2-adic iwasawa invariants of ordinar y elliptic curves. International Journal of Number Theory, 04(03):403–422, 2008

    2008

  11. [19]

    B. Mazur. Rational points of abelian varieties with val ues in towers of number fields. Invent. Math. , 18:183–266, 1972

    1972

  12. [20]

    K. Ono. Nonvanishing of quadratic twists of modular L-functions and applications to elliptic curves. J. Reine Angew. Math. , 533:81–97, 2001

    2001

  13. [21]

    Ono and C

    K. Ono and C. Skinner. Non-vanishing of quadratic twist s of modular L-functions. Invent. Math. , 134(3):651–660, 1998

    1998

  14. [22]

    A. Ray. Statistics for iwasawa invariants of elliptic c urves, III. arXiv preprint arXiv:2404.09009 , 2024

    2024 arXiv

  15. [23]

    K. Rubin. Elliptic curves with complex multiplication and the conjecture of Birch and Swinnerton-Dyer. Invent. Math., 64(3):455–470, 1981

    1981

  16. [24]

    K. Rubin. Tate-Shafarevich groups and L-functions of elliptic curves with complex multiplication . Invent. Math. , 89(3):527–559, 1987

    1987

  17. [25]

    Rubin and A

    K. Rubin and A. Silverberg. Twists of elliptic curves of rank at least four. In Ranks of elliptic curves and random matrix theory , volume 341 of London Math. Soc. Lecture Note Ser. , pages 177–188. Cambridge Univ. Press, Cambridge, 2007

    2007

  18. [26]

    J.-P. Serre. Divisibilité de certaines fonctions arit hmétiques. In Séminaire Delange-Pisot-Poitou (16e année: 1974/75), Théorie des nombres, Fasc. 1 , pages Exp. No. 20, 28. Secrétariat Math., Paris, 1975

    1974

  19. [27]

    A. Smith. 2∞ -selmer groups, 2∞ -class groups, and goldfeld’s conjecture, 2017. 18 J. HATLEY AND A. RAY

    2017

  20. [28]

    A. Smith. The distribution of ℓ∞ -selmer groups in degree ℓ twist families. arXiv preprint arXiv:2207.05674 , 2022

    2022 arXiv

  21. [29]

    F. E. I. Sprung. Iwasawa theory for elliptic curves at su persingular primes: a pair of main conjectures. J. Number Theory, 132(7):1483–1506, 2012. (Hatley) Department of Mathematics, Union College, Bailey Hall 202, Schenectady, NY 12308, USA Email address : hatleyj@union.edu ...

    2012

  22. [2004]

    Cohomologies p-adiques et applications arithmétiques. III

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.