REVIEW 2 major objections 3 minor 4 references
Rank one elliptic curves and rank stability
T0 review · 2 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For every number field K and every quadratic extension L/K, this paper constructs infinitely many elliptic curves with rank exactly 1 over both fields.
desk verdict A strong, genuinely new unconditional rank-1 existence theorem; the only substantive concern is the unverified hypotheses in the black-box use of Kai's proposition, which a referee should check. 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 carrying object is the degree-2 isogeny $\phi_d: E_d \to E'_d$ attached to the Weierstrass model (3.1), together with the Selmer groups $Sel_{\phi_d}(E_d/K)$ and $Sel_{\hat\phi_d}(E'_d/K)$. The paper computes the ratio $|Sel_{\phi}|/|Sel_{\hat\phi}| = \prod_v \frac{1}{2}|\mathrm{Im}\,\delta_v|$ from local images $\delta_v$ that are pinned down by Tate's algorithm (Lemma 2.2) and by the product formula of Lemma 2.1. The auxiliary finite sets $S_0,S_1,S_2,S_3$ and open sets $U_p$ are chosen to force these local images so that the Selmer elements reduce to $\{1, 2a(a+b)\}$ for both $d=1$ and $d=D$, and so that the exact sequence (2.2) gives $E_1(K)/2E_1(K)\cong(\mathbb{Z}/2\mathbb{Z})^2$ and $E_D(K)/2E_D(K)\cong\mathbb{Z}/2\mathbb{Z}$, forcing ranks $1$ and $0$; the point $P_t=(-2t(t+1), 2t(t+1)^2)$ provides the rational point of infinite order via the specialization theorem.
What would settle it
Carry out the Section 3 construction for a concrete quadratic extension such as $\mathbb{Q}(i)/\mathbb{Q}$, then search systematically for $a,b\in\mathcal{O}_{K,S}$ satisfying the three conditions of Theorem 1.5; if some data set $(S,\{U_p\})$ admits no such pair, Lemma 4.1 fails and with it both main theorems. A more direct test is to verify the admissibility hypotheses of the cited Proposition 13.2 for the particular $U_p$ produced in Section 3; any instance where those hypotheses fail would expose a fatal gap in the proof.
Extended reading notes
Core claim
The central claim is that rank stability with the smallest possible positive rank is universal: over any quadratic extension $L/K$ of number fields, infinitely many elliptic curves $E$ up to isomorphism satisfy $\mathrm{rank}\,E(K)=\mathrm{rank}\,E(L)=1$. The curves are explicit specializations of the surface $y^2=x^3+4T(T+1)x^2+2T(T+1)^2(T-1)x$, specialized at parameters $t=a/b$ where $a,b\in\mathcal{O}_{K,S}$ and $a$, $a+b$, $a-b$ generate distinct prime ideals. For such parameters an explicit 2-descent through the 2-isogeny shows that the curve $E_1$ has rank exactly 1 over $K$ and its quadratic twist $E_D$ by the element $D$ with $L=K(\sqrt{D})$ has rank 0. Since $\mathrm{rank}\,E_1(L)=\mathrm{rank}\,E_1(K)+\mathrm{rank}\,E_D(K)$, the curve has rank 1 over $L$; shrinking the allowed open sets $U_p$ one $j$-invariant at a time produces infinitely many non-isomorphic examples.
Load-bearing premise
The proof hinges on the referenced proposition that guarantees, for the specific finite set $S$ and open sets $U_p$ constructed in Section 3, the existence of $S$-integers $a,b$ with prescribed local approximations and with $a$, $a+b$, $a-b$ generating distinct prime ideals; the paper cites that proposition without checking all of its admissibility hypotheses for these $U_p$, so if the proposition is false or inapplicable, Lemma 4.1 and both main theorems collapse.
Editorial extensions
If this is right
- For any number field $K$, there are infinitely many elliptic curves of rank exactly 1, unconditionally and without conjectures on Tate–Shafarevich groups.
- For any quadratic extension $L/K$, infinitely many curves satisfy $\mathrm{rank}\,E(K)=\mathrm{rank}\,E(L)=1$, the smallest positive rank at which rank stability can occur.
- The curves are explicit specializations of one fixed Weierstrass family, so the 2-descent computes the ranks exactly rather than merely bounding them.
- The same rank-stability input that earlier theorems used for Hilbert's tenth problem over rings of integers is now obtained uniformly for every number field.
- Infinitely many non-isomorphic examples follow by excluding finitely many $j$-invariants from the parameter sets, so the count is genuinely infinite up to isomorphism.
Reading between the lines
- Going beyond the paper: replacing the cited number-field additive-combinatorial existence result by an effective sieve could turn the theorem into a quantitative counting statement for rank-1 curves of bounded height; the local setup seems designed for such a refinement.
- Going beyond the paper: the proof establishes rank stability for one quadratic twist at a time, and it is natural to ask whether the same Selmer-ratio bookkeeping can force several twists $E_{D_1},E_{D_2},\dots$ to have rank 0 simultaneously, yielding curves that keep rank 1 under multiple quadratic extensions.
- Going beyond the paper: the role of the three-term progression $a-b,a,a+b$ suggests that longer additive patterns, if produced by the same number-field machinery, would give rank-stable families with more than one free parameter.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that for any quadratic extension L/K of number fields there are infinitely many elliptic curves E over K, up to isomorphism, with rank E(K) = rank E(L) = 1 (Theorem 1.2), and in particular infinitely many rank-one elliptic curves over any number field (Theorem 1.1). The proof constructs a nonisotrivial family of elliptic curves depending on parameters a,b and uses an explicit 2-descent to show that, under suitable local conditions collected in Theorem 1.5, the curve E1 has rank 1 while its quadratic twist ED by D has rank 0. The local conditions are then realized by applying a result of Kai on linear patterns of prime elements in number fields, giving the required a,b. The paper also explains how the rank stability statement implies rank-one curves and how shrinking the local conditions yields infinitely many non-isomorphic examples.
Significance. If the proof is complete, this is a substantial result: it removes the restrictions in Koymans–Pagano (many real places) and gives a curve-based analogue of the Alpöge–Bhargava–Ho–Shnidman rank stability theorem, with the same applications to Hilbert's tenth problem over rings of integers. The approach is genuinely different: instead of averaging over families of twists, it specializes a nonisotrivial rank-one family and computes the relevant Selmer groups explicitly. A notable strength is that the descent argument is explicit and checkable, and the main theorems do not rely on unproved conjectures such as finiteness of the 2-part of the Tate–Shafarevich group. The proof is essentially self-contained apart from standard tools and the cited theorem of Kai; the author's earlier papers [Zyw25a], [Zyw25b] are used for framework and ideas, not as a circular dependency.
major comments (2)
- [Section 4, Lemma 4.1] The proof of Lemma 4.1 is a direct invocation of [Kai25, Proposition 13.2], but the manuscript neither states the hypotheses of that proposition nor verifies them for the sets U_p constructed in Section 3. In particular, one needs to check that the U_p are admissible for Kai's theorem; that the valuation and square conditions such as (v_p(a),v_p(a+b),v_p(a-b))=(-1,1,-1) and -2a(a+b) square are compatible with finding a,b in O_{K,S}; that the real-place inequalities |a/b-1/2|_v<epsilon and b>0 are encoded in the allowed archimedean local data; and that the conclusion 'a, a+b and a-b generate distinct prime ideals of O_{K,S}' is exactly the form of prime-element output supplied by the proposition. Since Lemma 4.1 is the only bridge from the purely local Theorem 1.5 to the global existence statements of Theorems 1.1 and 1.2, this is a load-bearing point. Please state Proposition 13.2 and verify its hypotheses explicitly.
- [Section 2.2, Lemma 2.2] The nine local cases of Lemma 2.2 are resolved by Tate's algorithm with the relevant Weierstrass models and Kodaira symbols stated but not derived. The split-versus-nonsplit multiplicative reduction determinations in cases (iv)-(ix) are especially important because they control the sizes of Im(delta_{d,p}) that feed into the identities |Phi_{1,p}|/|Phi_{D,p}| = xi_p in Lemma 3.1 and into the Selmer ratio computation in Lemma 3.9. I would like the Tate algorithm steps displayed, or at least a table giving the resulting coefficients and split/nonsplit criterion for each of these cases, so that the c_p ratios are directly checkable without reproducing the computation.
minor comments (3)
- [Section 3.3] The text says 'we take any a,b in O_K' but Theorem 1.5 and the subsequent arguments with ideals of O_{K,S} require a,b to be in O_{K,S}; this should be corrected.
- [Section 3.2] After Lemma 3.1, the set S1 has been enlarged to S1 union S'_1 during the proof of part (g), but the notation S1 is subsequently used without explicitly saying that it now denotes the enlarged set; please make this replacement explicit.
- [Section 2.2] There is a duplicated phrase 'as in in §2.2' in the paragraph introducing delta_{d,v}; this is a typo.
Circularity Check
No significant circularity: the rank statements are derived from Selmer-group computations rather than assumed, and the existence input is an external result of Kai, not a self-citation.
full rationale
The derivation chain is self-contained apart from standard tools and one external citation. Theorem 1.5 is a conditional construction: the open sets U_p are chosen so that the 2-descent local images are prescribed, and then Lemmas 3.6-3.11 compute the relevant Selmer groups and derive rank E1 = 1 and rank ED = 0 from the exact sequence (2.2). The conclusion 'rank 1' is not an input to the U_p; it is obtained by computing |Sel| and E(K)/2E(K). The existence of a,b satisfying the local conditions is deferred to Lemma 4.1, which invokes Proposition 13.2 of Kai [Kai25], an external result independent of the present paper; even if its hypotheses were under-verified, that would be a correctness gap, not circularity. The self-citations [Zyw25a] and [Zyw25b] are mentioned only as sources of ideas ('Our proof builds off of the ideas introduced in [Zyw25a] and [Zyw25b]') and no load-bearing theorem from those papers is used. The 'infinitely many' step is a standard j-invariant-exclusion argument using shrinking open sets. No equation or quantity is defined in terms of the object it is meant to predict; no fitted parameter is renamed as a prediction. Therefore the paper receives score 0.
Assumptions & free parameters
assumptions (6)
- standard math Silverman specialization: for all but finitely many t, the point P_t in the specialized curve has infinite order
- standard math Cassels' Theorem 1.1 and the product formula for Selmer ratios in isogeny descents
- standard math Dokchitser-Dokchitser local invariants (Lemmas 4.2, 4.3, Proposition 7.6) controlling |Im delta_p| and the local term at real places
- standard math Tate's algorithm as a valid procedure to compute Kodaira symbols and Tamagawa numbers
- domain assumption Kai's Proposition 13.2, a Green-Tao type theorem for prime elements in number fields
- standard math Class field theory, Chebotarev density, Dirichlet unit theorem, weak approximation, Neukirch quadratic reciprocity
Cite this review
Pith. "Pith review of Rank one elliptic curves and rank stability." pith.science (2026). https://pith.science/paper/RKWZECYZ
@misc{pith2026250516960,
author = {Pith},
title = {Pith review of: Rank one elliptic curves and rank stability},
year = {2026},
howpublished = {\url{https://pith.science/paper/RKWZECYZ}},
note = {Machine review of arXiv:2505.16960}
}
abstract
For any quadratic extension $L/K$ of number fields, we prove that there are infinitely many elliptic curves $E$ over $K$ so that the abelian groups $E(K)$ and $E(L)$ both have rank $1$. In particular, there are infinitely many elliptic curves of rank $1$ over any number field. This result generalizes theorems of Koymans-Pagano and Alp\"oge-Bhargava-Ho-Shnidman which were used to independently show that Hilbert's tenth problem over the ring of integers of any number field has a negative answer. Our approach differs since we are obtaining our elliptic curves by specializing a nonisotrivial rank $1$ family of elliptic curves and we compute all the ranks involved.
Reference graph
Works this paper leans on
-
[1]
[ABHS25] Levent Alp¨ oge, Manjul Bhargava, Wei Ho, and Ari Shnidman, Rank stability in quadratic extensions and Hilbert’s tenth problem for the ring of integers of a number field (2025). arXiv:2501.18774. ↑1.4, 1, 1.2 [BS14] Manjul Bhargava and Christopher Skinner, A positive proportion of elliptic curves over Q have rank one, J. Ramanujan Math. Soc. 29 (...
arXiv 2025
-
[2]
On conjectures of Birch and Swinnerton- Dyer, J
VIII. On conjectures of Birch and Swinnerton- Dyer, J. Reine Angew. Math. 217 (1965), 180–199, DOI 10.1515/crll.1965.217.180. ↑2.1 18 [DD15] Tim Dokchitser and Vladimir Dokchitser, Local invariants of isogenous elliptic curves , Trans. Amer. Math. Soc. 367 (2015), no. 6, 4339–4358, DOI 10.1090/S0002-9947-2014-06271-5. ↑2.1 [Kai25] Wataru Kai, Linear patte...
arXiv 1965
-
[1999]
Trans- lated from the 1992 German original and with a note by Norbert Schappacher; With a foreword by G. Harder. ↑3.2, 3.3 [Sat87] Philippe Satg´ e,Un analogue du calcul de Heegner , Invent. Math. 87 (1987), no. 2, 425–439, DOI 10.1007/BF01389425 (French). ↑1 [Sil83] Joseph H. Silverman, Heights and the specialization map for families of abelian varieties...
-
[2009]
An elliptic surface with infinitely many fibers for which the rank does not jump
↑2.1 [Zyw25a] David Zywina, An elliptic surface with infinitely many fibers for which the rank does not jump (2025). arXiv:2502.01026. ↑1 [Zyw25b] , There are infinitely many elliptic curves over the rationals of rank 2 (2025). arXiv:2502.01957. ↑1 Department of Mathematics, Cornell University, Ithaca, NY 14853, USA Email address : zywina@math.cornell.edu 19
work page Pith review arXiv 2025
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.