{"id":"1df06837-483a-4744-baff-e927f4a4173f","arxiv_id":"2412.07308","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For elliptic curves with vanishing 2-adic mu-invariant and small lambda-invariant, the authors show that many quadratic twists have Selmer corank 1, conditionally yielding rank 1 curves when the Tate-Shafarevich group is finite.","lead":"This paper constructs quadratic twists of elliptic curves whose 2-adic Selmer group has corank 1, using a formula for how the Iwasawa lambda-invariant changes under twisting. The lower bounds it proves for the number of such twists support Goldfeld's conjecture that half of all quadratic twists have rank 0 and half have rank 1, a longstanding question in number theory.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proposition 3.11's asserted λ2(E(d)/Q)=1 is false when λ2(E/Q)=2; the lemma as stated is invalid, though the corank conclusion used by the main theorem is repairable.","rationale":"Reading the paper in good faith, the central construction is a Kida/Matsuno-type control of λ2 in quadratic twist families, combined with Dokchitser–Dokchitser parity to force Selmer corank 1. The main theorem's counting argument is sound: the set M has Chebotarev density at least 1/12, and the count of squarefree products from M follows from Delange's tauberian theorem with the stated exponent. The weak point is the proposition that certifies corank=1 for those products. The reader's diagnosis is accurate: Proposition 3.11 as stated asserts λ2(E(d)/Q)=1 for all d with prime factors outside Ω, but Matsuno's formula gives λ2(E/Q) in that case. When λ2(E/Q)=2, this is false. The proof also contains a typo ('i≥2') that conflicts with the hypothesis. However, the corank conclusion (3) is not affected: with λ2(E(d)/Q)=λ2(E/Q)≤2 and root number -1, parity gives an odd corank bounded by 2, hence 1. So the main theorem is readily repairable by weakening (1) to λ2(E(d)/Q)≤2. This is an internal-inconsistency concern, not a disagreement with consensus, and it warrants a conditional verdict until the proposition is corrected. The additional caveat about finiteness of Sha for the rank-1 interpretation is standard and does not affect the corank statement.","tokens_in":17728,"tokens_out":39917,"duration_ms":381797,"concrete_test":"Select from LMFDB an elliptic curve E/Q with good ordinary reduction at 2, squarefree conductor, E(Q)[2]=0, ω(E)=-1, μ2(E/Q)=0 and λ2(E/Q)=2. Choose a prime ℓ with ℓ≡1 mod4, ℓ splits in Q(√−N_E), and #E(F_ℓ)[2]=0 (i.e., ℓ∉Ω). Applying Matsuno's formula (3.1) gives λ2(E(ℓ)/Q)=λ2(E/Q)=2, contradicting Proposition 3.11's claim of 1. Independently, verify corank_{Z2} Sel2∞(E(ℓ)/Q)=1 via the parity theorem and the bound corank≤λ2(E(ℓ)/Q)=2. This confirms that the proposition's λ-claim is false in an allowed case while the corank step used in Theorem 3.12 survives after replacing (1) by the correct bound.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Proposition 3.11, the lemma invoked by Theorem 3.12 for every counted twist, asserts λ2(E(d)/Q)=1 under hypotheses that include λ2(E/Q)≤2 and ℓ1,...,ℓk all outside Ω. By Matsuno's formula (Theorem 3.2, eq. 3.1), when every ℓ_i is outside Ω the local terms vanish, so λ2(E(d)/Q)=λ2(E/Q). Thus for any E satisfying Theorem 3.12 with λ2(E/Q)=2 (allowed by condition (4)), the asserted value is 2, not 1. The proof never establishes (1); after proving the root number it jumps directly to the corank bound, and its line 'Since ℓ_i /∈ Ω for i≥2' is inconsistent with the hypothesis that all ℓ_i are outside Ω. Theorem 3.12 therefore rests on a lemma that is false as stated. The specific corank conclusion (3) remains valid if (1) is replaced by λ2(E(d)/Q)≤2, since Dokchitser–Dokchitser parity then forces corank=1, so the main claim is likely repairable.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":17922,"tokens_out":19162,"duration_ms":194365,"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":[{"comment":"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.","section":"Proposition 3.11"},{"comment":"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.","section":"Theorem 3.12"},{"comment":"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.","section":"Theorem 3.2, Eq. (3.1)"}],"minor_comments":[{"comment":"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.","section":"Theorem 3.12, proof"},{"comment":"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.","section":"Abstract and Theorem A"},{"comment":"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.","section":"Proposition 3.11, proof"},{"comment":"The congruence condition 'ℓ≡3,5,11,13 (mod 16)' is equivalent to 'ℓ≡3,5 (mod 8)'; the formulation can be simplified for readability.","section":"Theorem 3.15, proof"}],"recommendation":"major_revision","confidential_remarks":"The paper's main theorem is likely recoverable after a local repair of Proposition 3.11 and the printed formula in Theorem 3.2. I would not reject; the methodology is sound and well-suited to the journal. The authors should be asked to make the corrected lemma explicit and to re-verify the proof of Theorem 3.12 with the corrected statement before the paper can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Jeff, quick take on arXiv:2412.07308. The Iwasawa-theory angle is genuinely new: the authors use Matsuno's Kida-type formula to control lambda_2 for quadratic twists, then use Dokchitser-Dokchitser parity to pin the Selmer corank to 1. That gives lower bounds like X/(log X)^{11/12} for the number of twists with corank 1, and a version for prime twists with density 1/12. Those exponents are weaker than Smith's positive-density work, but the method is different and independent, so it's a meaningful complement.\n\nThe paper is well organized, and the Chebotarev/density machinery is standard and correctly applied. The examples are helpful. I read the proof of Theorem 3.12 carefully; the main line is plausible.\n\nThe soft spot is Proposition 3.11. As stated, conclusion (1) says lambda_2(E(d)/Q)=1. But the hypotheses allow lambda_2(E/Q)=2, and they require all primes l_i to lie outside Omega. Matsuno's formula then gives lambda_2(E(d)/Q)=lambda_2(E/Q), so for lambda_2(E/Q)=2 the invariant is 2, not 1. The proof never proves (1); after the root-number computation it jumps to the corank bound, and the line 'Since l_i not in Omega for i>=2' is inconsistent with the hypothesis that all l_i are outside Omega. So the lemma is false as stated.\n\nThat said, this is not fatal to the main theorem. The corank conclusion in (3) only needs lambda_2(E(d)/Q)<=2, which does follow from Matsuno if all l_i are outside Omega. Since Dokchitser-Dokchitser gives odd corank, the bound <=2 forces corank=1. So Theorem 3.12 is repairable by replacing the false claim with the weaker bound. The same fix applies to Theorem 3.13. The rank-1 statement also depends on finiteness of Sha[2^infinity], which the authors state clearly.\n\nThe citation pattern looks fine. I don't see fitted parameters or circularity. Overall: a solid paper with a localized error in a lemma that is not load-bearing. I would send it to a serious referee, with a clear request to fix Proposition 3.11. If the authors make that small repair, I'd be happy to cite it.","headline":"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.","tokens_in":18510,"tokens_out":4713,"would_cite":true,"duration_ms":45302,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11G05","11R23","11R45"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Iwasawa theory","elliptic curves","quadratic twist families","Goldfeld's conjecture","Selmer groups","2-adic lambda-invariants","Kida's formula","Chebotarev density"],"falsifier":"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.","tokens_in":17479,"feed_emoji":"🔢","tokens_out":12436,"duration_ms":116766,"temperature":0.7,"pith_summary":"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.","feed_headline":"Selmer corank 1 counted for many quadratic twists","feed_subtitle":"If Tate-Shafarevich is finite, these twists have rank 1, supporting Goldfeld's half-rank prediction.","key_machinery":"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)).","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the Kida-type formula for 2-adic lambda-invariants of quadratic twists, the identity on which the entire construction rests.","marker":"[18]"},{"why":"Supplies the parity theorem that turns a root-number sign into the parity of the Selmer corank.","marker":"[4]"},{"why":"Cited with [23] for the fact that the Selmer group is Lambda-cotorsion over the cyclotomic Z2-extension.","marker":"[11]"},{"why":"Cited with [11] for the same cotorsion result, making the mu- and lambda-invariants well defined.","marker":"[23]"},{"why":"Supplies the root-number formula for quadratic twists used to arrange omega(E^(d)) = -1.","marker":"[25]"},{"why":"Supplies the tauberian theorem counting squarefree products of primes from a positive-density set.","marker":"[26]"},{"why":"Supplies the cohomological calculation bounding the Selmer corank by the lambda-invariant in Lemma 3.1.","marker":"[10]"}],"fun_headline_variants":["Iwasawa theory yields lower bounds for rank-1 twists","Lambda-invariant control gives many rank-1 twists","Goldfeld support from Iwasawa twist counting","Counting twists with Selmer corank 1: Goldfeld evidence","Quadratic twists with Selmer corank 1: new counting"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Iwasawa theory yields lower bounds for rank-1 twists","Lambda-invariant control gives many rank-1 twists","Goldfeld support from Iwasawa twist counting","Counting twists with Selmer corank 1: Goldfeld evidence","Quadratic twists with Selmer corank 1: new counting"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000505,"raw_usage":{"total_tokens":2510,"prompt_tokens":1035,"completion_tokens":1475,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":651,"completion_tokens_details":{"reasoning_tokens":1392}},"tokens_in":651,"tokens_out":1475,"duration_ms":12241,"temperature":1.0,"reasoning_tokens":1392,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T18:56:53.613684+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Kida-type formula for 2-adic lambda-invariants of quadratic twists, the identity on which the entire construction rests."},{"cited_title":"Dokchitser and V","cited_arxiv_id":null,"evidence_quote":"Supplies the parity theorem that turns a root-number sign into the parity of the Selmer corank."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Cited with [23] for the fact that the Selmer group is Lambda-cotorsion over the cyclotomic Z2-extension."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Cited with [11] for the same cotorsion result, making the mu- and lambda-invariants well defined."},{"cited_title":"Rubin and A","cited_arxiv_id":null,"evidence_quote":"Supplies the root-number formula for quadratic twists used to arrange omega(E^(d)) = -1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the tauberian theorem counting squarefree products of primes from a positive-density set."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the cohomological calculation bounding the Selmer corank by the lambda-invariant in Lemma 3.1."}],"review_version":1}