Pith. sign in

REVIEW 1 major objections 5 minor 29 references

Elliptic curves of rank one over number fields

T0 review · 1 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read Every number field has infinitely many elliptic curves of rank exactly 1.

desk verdict A genuinely new conditional result on rank-one twists, properly credited, but with a load-bearing omitted descent step that must be supplied before the main theorem is fully certified. read the letter →

arxiv 2505.16910 v1 pith:NME2Z5Z6 submitted 2025-05-22 math.NT

Peter Koymans , Carlo Pagano This is my paper · ORCID
classification math.NT MSC 11G0511R4511N32
keywords ellipticcurvesrankonenumberfieldsquadratictwistsSelmergroups2-descentadditivecombinatoricsHilbert'stenthproblem
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

This paper proves that every number field K has infinitely many elliptic curves of rank exactly 1, settling a folklore conjecture. The engine is a sharper theorem: any elliptic curve over K with full rational 2-torsion that is '3-generic' has infinitely many quadratic twists of rank 1. The proof introduces a non-archimedean analogue of the real places that earlier additive-combinatorics methods required, using places of split multiplicative reduction to flexibly swap quadratic symbols. This lets the authors perform simultaneous descent and rank growth on a family of twists over an arbitrary number field, pinning the 2-Selmer rank down to 3 while an explicit point guarantees positive rank.

What carries the argument

The central mechanism is a Markov-chain model for 2-Selmer ranks: a sequence of Selmer structures L_{i,π} on E[2], indexed by the places v1,...,vi that ramify in a twist and by local uniformizers π_j. A lemma giving explicit generators for the local Selmer space at a place of split multiplicative reduction (Lemma 2.7), together with a rank-change rule for adding a new ramified place (Lemma 2.6), lets the authors compute how the Selmer dimension changes step by step. The paper's key insight is to use the five prime ideals w1,...,w5 of split multiplicative reduction carried by a 2-generic curve as 'non-archimedean infinite places': they provide the quadratic-symbol degrees of freedom that, in the earlier method of [14], came from 32 real embeddings. The rest of the machinery is the additive combinatorics input applied to four admissible linear forms whose prime values become the ramified primes q_i of a suitable twist.

What would settle it

Run the construction of Theorem 3.9 for a fixed number field K and a fixed 3-generic elliptic curve E with full rational 2-torsion, checking at each of the seven steps that a prime ideal with the required quadratic-residue pattern and principalization condition can be found; failure of any step would falsify the central claim.

Watch

Extended reading notes

Core claim

Over a fixed number field K, let E be an elliptic curve with E(K)[2] ≅ $F2^{2}$ that is 3-generic in the sense of Definition 1.2. Theorem 1.3 asserts that infinitely many quadratic twists E^t of E have Mordell–Weil rank exactly 1. The proof works by first finding an auxiliary twist κ (Definition 3.4) whose Selmer group has a basis with a prescribed pattern of local behavior at five split multiplicative primes, then applying an additive combinatorics theorem to four admissible linear forms to produce infinitely many prime elements q1,...,q4. For each such quadruple, the twist t = κ q1 q2 q3 q4 is 'suitable' (Definition 3.2): its Selmer rank is forced to 3 through a sequence of steps where the local conditions at the new primes successively cut a 5-dimensional Selmer group down to 1 dimension, while a rational point on E^t constructed from the values of the linear forms guarantees that the rank is at least 1. Since a 3-generic curve exists over every number field (Section 4), Corollary 1.1 follows: infinitely many rank-one curves over K.

Load-bearing premise

The construction relies on the assumption that one can always pick a finite collection of prime ideals with a fully prescribed pattern of quadratic residues and with principal product; if any of those simultaneous choices is impossible, the Selmer-group basis that forces rank one would not exist.

Editorial extensions

If this is right

  • The ring-theoretic applications to Hilbert's tenth problem that earlier work made conditional on the existence of rank-one curves now hold unconditionally for every number field.
  • The method removes the previous requirement of many real places, replacing them with places of split multiplicative reduction, so the descent strategy is now available over arbitrary number fields.
  • The 3-genericity hypothesis is satisfied by almost all curves with full rational 2-torsion when ordered by height, so Theorem 1.3 applies to a positive-density family of twists.
  • The folklore conjecture that every number field has at least one elliptic curve of rank 1 is settled, and in fact every number field has infinitely many such curves.

Reading between the lines

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

  • Because the only elliptic-curve-specific ingredient is the description of local Selmer spaces at split multiplicative primes, the same strategy should adapt to higher Selmer groups or to abelian varieties with suitable local conditions.
  • If the 3-generic condition can be weakened to 'full rational 2-torsion', as the authors suggest in the introduction, the rank-one conclusion would hold for every such curve without a genericity sieve.
  • The construction of the auxiliary twist κ is modular—it builds a Selmer group of prescribed shape one prime at a time—and a similar one-prime-at-a-time control could force exact Selmer ranks other than 1 in any family where the Markov-chain ranks are known.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 5 minor

Summary. The paper proves that for every number field K there are infinitely many elliptic curves over K of Mordell–Weil rank exactly 1. The main theorem, Theorem 1.3, gives this for every 3-generic elliptic curve E/K with E(K)[2] ≅ F_2^2, by exhibiting infinitely many quadratic twists E^t with rank 1. A corollary, Corollary 1.1, removes the genericity hypothesis by constructing an explicit 3-generic curve, and the authors note that this corollary was already independently proved by Zywina [29]. The proof combines a Markov-chain description of 2-Selmer ranks with additive combinatorics: Theorem 3.3 reduces the desired rank-1 conclusion to the existence of infinitely many 'suitable twists'; Theorem 3.5 reduces the construction of suitable twists to the existence of a single 'auxiliary twist'; and Theorem 3.9 constructs that auxiliary twist using Chebotarev/Mitsui-style prime choices. The main technical novelty advertised is replacing the real places used in the authors' earlier work [14] by places of split multiplicative reduction, allowing the method to work over arbitrary number fields.

Significance. If the proof is completed, this is a significant result: it resolves a folklore conjecture that every number field admits an elliptic curve of rank 1, and it does so with a method that applies to a generic family of elliptic curves with full rational 2-torsion. The paper is clearly structured and makes good use of the existing machinery from [14], especially the Markov-chain description of Selmer ranks and the additive combinatorics input. The authors are explicit about the relation to Zywina's independent proof of Corollary 1.1 and about the different scope of their Theorem 1.3. A notable strength is that the reduction steps are modular: once the auxiliary-twist existence is established, the additive-combinatorics mechanism produces infinitely many twists with controlled Selmer rank. However, the current version contains an explicitly omitted derivation of the key intermediate claim (3.11), and the existence proof for the auxiliary twist proceeds partly by assertion rather than by a complete descent/Chebotarev verification. These points are load-bearing for the central claim, so the paper is not yet ready for acceptance in its present form.

major comments (1)
  1. [Introduction, Definition 1.2] The statement after Definition 1.2 that 'it is readily shown' that almost all (a1,a2,a3) ∈ O_K^3 are n-generic when ordered by height is not proved or referenced. This density claim is used implicitly to motivate the terminology and the scope of Theorem 1.3, although it is not strictly needed for Corollary 1.1, where an explicit 3-generic curve is constructed in Section 4. The paper should either provide a proof or cite a precise statement, and should clarify whether the density claim is used anywhere in the proof.
minor comments (5)
  1. [§2.2, Lemma 2.2(ii)] The formula w(E/K)=(-1)^{⌊v(Δ)|k|/12⌋} for additive potentially good reduction should be checked against the cited source [4, Theorem 2.3]: the factor |k| in the exponent looks unusual and may be a typographical artifact.
  2. [§3.2, after (C7)] The phrase 'It is clearly possible to find such prime elements by repeatedly applying Mitsui's prime ideal theorem' overstates the matter; the compatibility issue raised in the major comments above applies already at this point.
  3. [§3.2, end of Theorem 3.9] The sentence 'We finally choose π_s in such a way to enforce that n_{s-1}=0' is potentially confusing: n_{s-1} denotes the change in Selmer dimension when adding p_s, so the choice of π_s is correct, but the notation should be clarified.
  4. [§3.1, verification of (P3)] Equation (3.27) states q4 ≡ λ mod 8Nκ; since λ was chosen coprime to κ in (3.23), the congruence notation with the ideal κ should be explained to avoid ambiguity about whether κ denotes the element or the ideal.
  5. [§2.3, Lemma 2.7] The proof of Lemma 2.7 refers to '[24, p. 186]' for minimality of the given model; a precise proposition number would be more helpful.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the auxiliary twist is constructed, not fitted to the target; the heavy self-citation is dependency, not a circular loop.

full rationale

The paper's central theorem is proved by constructing an auxiliary twist κ (Theorem 3.9) whose Selmer group is forced, through Chebotarev/Mitsui choices of primes and local uniformizers, to have the basis (3.44) with the valuation table (3.22). This is a constructive existence result, not a parameter fit: κ is not chosen after observing the final twists t; rather, the later t = κq1q2q3q4 are produced by an additive combinatorics theorem, and the local conditions (P3) are verified from the defining choices (3.25) and (3.22). No displayed equation in the derivation assumes the rank-one conclusion as an input. The reliance on [14] consists of fixed prior theorems (Lemmas 2.1, 2.3, 2.5, 2.6 and Theorem A.8) whose assumptions do not include Theorem 1.3; these self-citations are dependencies, not circular loops. The only notable weakness is the acknowledged omitted proof of the second intermediate claim (3.11): the text states that the proof 'proceeds among the same lines as the proof of the first intermediate claim (3.10), and is omitted.' That is a completeness gap in the descent calculation, not a circular step, because (3.11) is not being assumed or fitted; it is asserted without the detailed verification. Likewise, the Chebotarev existence choices in Theorem 3.9 are asserted rather than fully expanded, but they are independent existence statements, not the target conclusion. Accordingly, the circularity score is 0.

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

The central claim rests on standard algebraic number theory and on the authors' previous [14] for the Selmer Markov chain and prime-value theorem; no external machine-checked proofs are provided.

assumptions (7)
  • standard math Mitsui's prime ideal theorem: arbitrarily prescribed congruence and Legendre-symbol conditions can be met by prime elements.
    Invoked in Lemma 3.1 and throughout Theorem 3.9 (conditions (C1)-(C8), choice of p_{s-1} and p_s) to produce prime elements with the needed local behavior; failure of any such choice would invalidate the auxiliary twist.
  • standard math Hilbert reciprocity / quadratic reciprocity over number fields.
    Used in Lemma 3.1, Lemma 3.8, and the verification of (P3) to translate local square conditions into global Legendre symbol identities; also used in Section 4 to construct the 3-generic curve.
  • domain assumption 2-parity conjecture for elliptic curves with full rational 2-torsion: (-1)^{dim Sel2(E/K)} = w(E/K).
    Quoted as Lemma 2.3 from [14, Cor. 3.6]; it guarantees the Selmer dimensions are odd and is used with root number -1 in Lemma 3.1 and in the Markov chain arguments.
  • domain assumption Kai's theorem on prime values of linear forms over number fields (as packaged in [14, Theorem A.8]).
    Gives the infinitely many quadruples q1,...,q4 of prime elements from the four linear forms L_i in Theorem 3.5; the paper only checks admissibility and volume, not the theorem itself.
  • domain assumption Markov-chain description of 2-Selmer ranks of quadratic twists (Lemmas 2.5 and 2.6 from [14]).
    Relates Sel2(E^t/K) to the auxiliary Selmer structures L_{i,pi} and gives the dimension change n_i at each added prime; the whole rank-one mechanism depends on these exact transition rules.
  • standard math Local root number formulas for elliptic curves (Lemma 2.2, from Cowland Kellock-Dokchitser [4]).
    Used to compute how the global root number changes under twisting, in particular in Lemma 3.1 to arrange w(E^q/K)=-1 while preserving genericity.
  • standard math Cauchy-Davenport theorem over finite fields.
    Used in Lemma 2.8 to solve a system of three quadratic equations over F_q for q>5.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Elliptic curves of rank one over number fields." pith.science (2026). https://pith.science/paper/NME2Z5Z6

@misc{pith2026250516910,
  author       = {Pith},
  title        = {Pith review of: Elliptic curves of rank one over number fields},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NME2Z5Z6}},
  note         = {Machine review of arXiv:2505.16910}
}
abstract

We prove that for every number field $K$, there exist infinitely many elliptic curves $E$ over $K$ with rank exactly equal to 1.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 23 canonical work pages

  1. [14]

    Koymans and C

    P. Koymans and C. Pagano. Hilbert’s tenth problem via additive combinatorics.arXiv preprint:2412.01768

    arXiv

  2. [2]

    Česnavičius

    K. Česnavičius. Thep-parity conjecture for elliptic curves with ap-isogeny.J. Reine Angew. Math.2016(2016), no. 719, 45–73. 28

    work page 2016

  3. [29]

    D. Zywina. Rank one elliptic curves and rank stability.https://pi.math.cornell.edu/ ~zywina/papers/Rank1WithStability.pdf, retrieved 21 May 2025. 30

    work page 2025

  4. [1]

    Alpöge, M

    L. Alpöge, M. Bhargava, W. Ho and A. Shnidman. Rank stability in quadratic ex- tensions and Hilbert’s tenth problem for the ring of integers of a number field.arXiv preprint:2501.18774

    arXiv

  5. [3]

    Cornelissen and A

    G. Cornelissen and A. Shlapentokh. Defining the integers in large rings of a number field using one universal quantifier.Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI)358(2008), 199–223

    work page 2008

  6. [4]

    Root numbers and parity phenomena

    L. Cowland Kellock and V. Dokchitser. Root numbers and parity phenomena.arXiv preprint:2303.07883

    work page Pith review arXiv

  7. [5]

    Dokchitser and V

    T. Dokchitser and V. Dokchitser. Root numbers and parity of ranks of elliptic curves.J. Reine Angew. Math.2011(2011), no. 658, 39–64

    work page 2011

  8. [6]

    Eisenträger, G

    K. Eisenträger, G. Everest and A. Shlapentokh. Hilbert tenth’s problem and Mazur’s conjectures in complementary subrings of number fields.Math. Res. Lett.18(2011), no. 6, 1141–1162

    work page 2011

Show all 29 references
  1. [7]

    Green and T

    B. Green and T. Tao. An inverse theorem for the GowersU3(G)norm.Proc. Edinb. Math. Soc. (2)51(2008), no. 1, 73–153

    2008

  2. [8]

    Green and T

    B. Green and T. Tao. Linear equations in primes.Ann. of Math. (2)171(2010), no. 3, 1753–1850

    2010

  3. [9]

    Green and T

    B. Green and T. Tao. The quantitative behaviour of polynomial orbits on nilmanifolds. Ann. of Math. (2)175(2012), no. 2, 465–540

    2012

  4. [10]

    Green and T

    B. Green and T. Tao. The Möbius function is strongly orthogonal to nilsequences.Ann. of Math. (2)175(2012), no. 2, 541–566

    2012

  5. [11]

    W. Kai. Linear patters of prime elements in number fields.arXiv preprint:2306.16983

  6. [12]

    Klagsbrun, B

    Z. Klagsbrun, B. Mazur and K. Rubin. Disparity in Selmer ranks of quadratic twists of elliptic curves.Ann. of Math. (2)178(2013), no. 1, 287–320

    2013

  7. [13]

    Klagsbrun, B

    Z. Klagsbrun, B. Mazur and K. Rubin. A Markov model for Selmer ranks in families of twists.Compos. Math.150(2014), no. 7, 1077–1106

    2014

  8. [15]

    Matiyasevich

    Y. Matiyasevich. The Diophantineness of enumerable sets.Dokl. Akad. Nauk SSSR191 (1970), 279–282

    1970

  9. [16]

    Mazur and K

    B. Mazur and K. Rubin. Ranks of twists of elliptic curves and Hilbert’s Tenth Problem. Invent. math.181(2010), 541–575

    2010

  10. [17]

    J. Park, B. Poonen, J. Voight and M.M. Wood. A heuristic for boundedness of ranks of elliptic curves.J. Eur. Math. Soc.21(2019), no. 9, 2859–2903

    2019

  11. [18]

    B. Poonen. Using elliptic curves of rank one towards the undecidability of Hilbert’s tenth problem over rings of algebraic integers. In: Algorithmic Number Theory (Sydney, 2002), Lecture Notes in Comput. Sci.2369,Berlin: Springer-Verlag(2002) 33–42

    2002

  12. [19]

    B. Poonen. Hilbert’s tenth problem and Mazur’s conjecture for large subrings ofQ.J. Amer. Math. Soc.16(2003), no. 4, 981–990. 29

    2003

  13. [20]

    Poonen and E

    B. Poonen and E. Rains. Random maximal isotropic subspaces and Selmer groups.J. Amer. Math. Soc.25(2012), no. 1, 245–269

    2012

  14. [21]

    Poonen and A

    B. Poonen and A. Shlapentokh. Diophantine definability of infinite discrete nonar- chimedean sets and Diophantine models over large subrings of number fields.J. Reine Angew. Math.588(2005), 27–47

    2005

  15. [22]

    Shlapentokh

    A. Shlapentokh. Elliptic curves retaining their rank in finite extensions and Hilbert’s tenth problem for rings of algebraic numbers.Trans. Amer. Math. Soc.360(2008), no. 7, 3541–3555

    2008

  16. [23]

    Silverman

    J.H. Silverman. Divisibility of the Specialization Map for Families of Elliptic Curves. Amer. J. Math.107(1985), no. 3, 555–565

    1985

  17. [24]

    Silverman

    J.H. Silverman. The arithmetic of elliptic curves. Second edition. Grad. Texts in Math., 106.Springer, Dordrecht,2009. xx+513 pp

    2009

  18. [25]

    A. Smith. The distribution ofℓ ∞-Selmer groups in degreeℓtwist families I.arXiv preprint:2207.05674

    arXiv

  19. [26]

    A. Smith. The distribution ofℓ ∞-Selmer groups in degreeℓtwist families II.arXiv preprint:2207.05143

    arXiv

  20. [27]

    A. Smith. The Birch and Swinnerton-Dyer conjecture implies Goldfeld’s conjecture.arXiv preprint:2503.17619

    arXiv

  21. [28]

    D. Zywina. There are infinitely many elliptic curves over the rationals of rank 2.arXiv preprint:2502.01957

    arXiv

Pith tools

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