REVIEW 2 major objections 2 minor
For any elliptic curve over the rationals, infinitely many twists by sums of two squares have rank exactly one.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-15 01:40 UTC pith:SNVRCK42
load-bearing objection Abstract-only: announced infinitely many rank-1 twists by sums of two squares via lower L-derivatives; load-bearing estimates uninspectable. the 2 major comments →
Ranks of Elliptic Curves Twisted by Quadratic Forms
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For every elliptic curve E over Q there exist infinitely many integers d that are sums of two squares such that the quadratic twist E^d has Mordell–Weil rank exactly one. The proof obtains this by showing that the first non-vanishing derivative of L(E^d,s) at the central point is non-zero for infinitely many such d.
What carries the argument
Moments of the lower-order derivatives of the modular L-functions L(E^d,s) for d restricted to sums of two squares; these moments produce infinitely many non-vanishing central derivatives and thereby force analytic rank one.
Load-bearing premise
The moments of those lower-order derivatives can be evaluated with enough precision, when d is restricted to sums of two squares, to guarantee infinitely many non-vanishing central derivatives.
What would settle it
An explicit elliptic curve E over Q for which every quadratic twist by a sum of two squares has even analytic rank (so that no such d yields analytic rank one).
If this is right
- Infinitely many rank-one curves appear among the twists of any fixed E by sums of two squares.
- The elliptic surface (1+t^{2})y^{2}=f(x) acquires infinitely many rational sections of infinite order for any cubic f.
- The set of d that are sums of two squares is large enough to capture the same rank-one phenomenon previously known only for unrestricted twists.
- Lower-order derivatives of modular L-functions, previously omitted, can be made to contribute to non-vanishing results.
Where Pith is reading between the lines
- The same moment method may extend to other thin sets of twisting characters (e.g., sums of three squares) once the corresponding character-sum estimates are available.
- If the analytic rank-one statement can be upgraded to an asymptotic density, one would obtain a positive-density subset of the sums-of-two-squares twists of rank one.
- The geometric consequence suggests that similar moment techniques could produce rank-one fibres on other quadratic twists of elliptic surfaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that for any fixed elliptic curve E/Q there exist infinitely many integers d that are sums of two squares such that the quadratic twist E^d has Mordell–Weil rank 1. The argument is announced to proceed by evaluating moments of lower-order derivatives of the modular L-functions L(s,E^d) on the thin set of sums of two squares, thereby treating the derivatives omitted in Munshi’s earlier work, and then converting non-vanishing of a central derivative into algebraic rank 1. A geometric corollary for the elliptic fibration (1+t^{2})y^{2}=f(x) is also asserted.
Significance. If the analytic estimates hold, the result would be a genuine advance: it places infinitely many rank-1 twists inside a thin arithmetic progression (sums of two squares) and supplies new information on ranks of fibres of a natural elliptic surface. The explicit focus on lower-order derivatives left out by Munshi is a natural and potentially powerful contribution to the moment method for twisted L-functions. These strengths, however, remain conditional on the uninspectable body of the paper.
major comments (2)
- Only the abstract is available for review. The central existence claim rests on asymptotic evaluation of moments of lower-order derivatives of L(s,E^d) for d restricted to sums of two squares, with error terms strong enough to produce infinitely many non-vanishing central derivatives. Those estimates, the precise range of derivatives treated, and the passage from analytic non-vanishing to algebraic rank 1 (via BSD, Kolyvagin, or an unconditional substitute) are load-bearing and cannot be checked. Until the full text is supplied, the claim is uninspectable rather than verified or refuted.
- Abstract: the assertion that the method “particularly captures the lower derivatives which were left out in the work of Munshi” is the announced novelty. Without the body one cannot confirm that the moment calculations for those lower derivatives are free of circularity, that the thin-set restriction does not destroy the main-term size, or that the resulting non-vanishing forces rank exactly 1 rather than merely odd rank.
minor comments (2)
- Abstract: the geometric corollary for the fibration (1+t^{2})y^{2}=f(x) is stated only in a single sentence; a precise formulation of what is proved about the ranks of the fibres would help the reader assess the geometric content.
- Abstract: “twists d which are sums of two squares” should be clarified (square-free? fundamental discriminants? positive?). Notation for the twist E^d is standard but the precise class of d should be fixed already in the abstract.
Circularity Check
Abstract-only review: no circularity detectable; central claim is an existence proof via L-function moments, not a self-referential construction.
full rationale
Only the abstract is available. It states an existence result (infinitely many d = a^{2} + b^{2} with rank(E^d) = 1) obtained by evaluating moments of lower-order derivatives of modular L-functions L(s, E^d) that Munshi left untreated, restricted to the thin set of sums of two squares. Nothing in the abstract indicates that the target rank statement is fed back as an input, that a fitted parameter is re-labeled a prediction, that a uniqueness theorem of the same authors is imported to force the conclusion, or that a known empirical pattern is merely renamed. Dependence on Munshi’s prior work is ordinary citation of external analytic machinery and does not create circularity of the central claim. Because the body is unavailable, the analytic estimates themselves cannot be inspected for hidden self-definition, but the abstract’s logical shape is a standard non-circular existence argument. Score 0 is therefore the only warranted finding under the hard rules (no speculation, quote-required evidence only).
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption Modularity of elliptic curves over Q and the associated modular L-functions satisfy the expected analytic continuation and functional equation.
- domain assumption Non-vanishing of a central derivative of L(E^d,s) of order 1 implies that the Mordell–Weil rank of E^d is exactly 1 (via known rank-1 results of Kolyvagin or Gross–Zagier type).
- ad hoc to paper Moments of the lower-order derivatives of the twisted L-functions can be evaluated asymptotically for the thin set of d that are sums of two squares.
read the original abstract
Let $E$ be an elliptic curve over $\mathbb{Q}$ and let $E^d$ be its twist by the quadratic character $\chi_d$. We prove there are infinitely many twists $d$ which are sums of two squares such that $E^d$ has rank $1$. This result is achieved using moments of derivatives of modular $L$-functions, and particularly captures the lower derivatives which were left out in the work of Munshi. Such a result, in particular, also gives us information on the elliptic fibration $(1+t^2)y^2=f(x)$, where $f(x)$ is a cubic polynomial.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.