{"id":"a14dc607-b10e-4477-bd71-c3edcf8cd0d6","arxiv_id":"2609.15328","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A proof of Kolyvagin's conjecture for supersingular primes and new results on Tate-Shafarevich groups via Heegner points.","lead":"This paper proves Kolyvagin's conjecture for semi-stable elliptic curves with supersingular reduction at primes p≥5, showing that certain families of Heegner points detect the finiteness of Tate-Shafarevich groups even when the analytic rank is greater than one. The result provides a new independent proof of the conjecture and has applications to the existence of solvable points on genus one curves.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek/deepseek-v4-flash","headline":"Proof of Theorem 3.3 lacks justification for boundedness of δ constants as approximating primes vary.","rationale":"The reader identified the reliance on Castella-Wan's main conjecture as the weakest assumption, which is an external deep result but is accepted as given. My concern is internal: the proof of Theorem 3.3 has a logical gap where boundedness of δ constants is asserted without proof. This gap directly affects the central claim (Kolyvagin's conjecture). The reader did not spot this gap, likely because they did not examine the technical approximation argument in detail. Therefore, I recommend REJECT until the boundedness is rigorously established or a different argument is provided.","tokens_in":23159,"tokens_out":1449,"duration_ms":14911,"concrete_test":"Fix a specific elliptic curve E, prime p, and field K satisfying the hypotheses. Let P be a height one prime of Λ (e.g., the augmentation ideal). For each M, compute or bound δ^{Hg,±}_{P_M}(k) for a fixed k (e.g., k=1) using the definition d(κ^{Hg,±,(P_M)}) and the rigidity lemma. Determine whether δ^{Hg,±}_{P_M}(k) remains bounded as M→∞. If δ is unbounded, then the argument fails. If bounded, the proof may be salvageable with additional justification.","verdict_should_be":"REJECT","load_bearing_attack":"The proof of Theorem 3.3 (equivalence between non-triviality of κ^{Hg,±,∞} modulo P and the equality of ordinals) involves approximating a height one prime P by primes P_M = (g + p^M)Λ. The argument claims: if κ^{Hg,±,(P)} is non-trivial, then δ^{Hg,±}_{P_M}(k) (the constant from the rigidity lemma 3.1 for the specialization at P_M) is bounded as M varies, and from this the inequality (3.2) becomes an equality, yielding the desired ord equality. However, the boundedness of δ^{Hg,±}_{P_M}(k) is not justified. The congruence (3.4) only relates the specializations at a single level (mod p^M), but δ^{Hg,±}_{P_M}(k) is defined globally at P_M and may grow with M even if the limit system is non-trivial. The rigidity lemma (Zanarella) applies to a fixed P_M but does not give uniform control across different P_M. Without this boundedness, the step 'so the inequality above becomes an equality' is unsupported. Consequently, the equivalence (1)⇔(2) in Theorem 3.3, and therefore the main Theorem 1.5, rests on an unproven uniformity claim.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek/deepseek-v4-flash","summary":"The paper claims to prove Kolyvagin's conjecture for semi-stable elliptic curves with supersingular reduction at primes p ≥ 5 (Theorem 1.5) and to use this to derive a criterion for the finiteness of the p-primary Tate–Shafarevich group (Theorem 1.1) and a result on solvable points on genus-one curves (Corollary 1.8). The proof of Theorem 1.5 relies on an equivalence (Theorem 3.3) between the non-triviality of a Λ-adic Heegner-point Kolyvagin system modulo a height-one prime and an equality of ordinals coming from the signed Heegner point main conjecture (Castella–Wan).","tokens_in":23515,"tokens_out":3643,"duration_ms":36818,"significance":"If correct, the results represent a substantial advance: they extend Kolyvagin's conjecture to the supersingular case without invoking the cyclotomic main conjecture, and they establish a new link between the finiteness of Tate–Shafarevich groups and explicit Heegner-point conditions for elliptic curves of arbitrary analytic rank. The applications to solvable points refine earlier work of C¸iperiani–Wiles. The paper is clearly written and situates itself well within the current literature.","major_comments":[{"comment":"The argument for the implication (1)⇒(2) (and similarly the converse direction) lacks justification for the boundedness of the constants δ^{Hg,±}_{P_M}(k) as M varies. The congruence (3.4) relates specializations modulo p^M, but the δ constants are defined via the m_{P_M}-adic valuation of the Kolyvagin system at the prime P_M; they could grow with M even when the limit system is non-trivial. The reference to [MR04, Thm. 5.3.10] does not automatically transfer to this setting because the Selmer structures and the nature of the approximating primes differ. A direct argument for boundedness, or a restructuring of the proof, is required to establish the central equivalence.","section":"§3.2, proof of Theorem 3.3"},{"comment":"The O(1) terms in the length calculations are asserted to be independent of M, but no justification is given for the uniformity of the kernel/cokernel bounds. The citation [How04a, Prop. 2.2.8] provides a bound depending on [S_{P_M}:Λ/P_M]; since P_M = (g+p^M)Λ, this degree may vary with M. The argument should explain why the O(1) terms do not affect the asymptotic equalities that are used to compare ordinals.","section":"§3.2, inequality (3.2) and subsequent derivation"}],"minor_comments":[{"comment":"The phrase 'elliptic curves over the rationals of arbitrary rank' is ambiguous; clarify that 'rank' refers to the Mordell–Weil rank.","section":"Abstract"},{"comment":"The definition ∂ = ∂(ord(κ^{Hg}))(κ^{Hg}) is unclear; the superscript on ∂ is used without prior explanation.","section":"§1.1.2"},{"comment":"The invariants ∂^{(i)} and ∂^{(∞)} are defined but not used consistently later; in §4.1 the notation ∂^{(ord(κ^{Hg}))} appears; the indexing should be checked for consistency.","section":"§2.3.2"},{"comment":"The phrase 'the inequality above becomes an equality' is ambiguous because the preceding lines contain several equalities but no explicit inequality. Clarify which inequality is being referenced.","section":"§3.2"},{"comment":"Several preprints are listed without a year (e.g., [BCGS], [CS], [DR], [Swe], [Zan]); please add arXiv numbers or expected publication information where available.","section":"References"},{"comment":"In condition (3), there is a period after '0.' instead of a comma; please correct the punctuation.","section":"Theorem 1.1"}],"recommendation":"major_revision","confidential_remarks":"The paper tackles a difficult and central problem. The gap in the proof of Theorem 3.3 is serious, but the overall structure suggests that it may be fixable with additional technical work. If the boundedness issue can be resolved, the paper would be a strong contribution. I recommend major revision to allow the author to address this concern."},"author_rebuttal":null,"desk_editor":{"model":"deepseek/deepseek-v4-flash","letter":"Here's the paper you asked about. It's a serious piece of work that claims to prove Kolyvagin's conjecture for supersingular primes and derives new finiteness criteria for Tate–Shafarevich groups. The approach is genuinely novel: it bypasses the cyclotomic main conjecture and relies instead on the signed Heegner point main conjecture (Castella–Wan) plus a Mazur–Rubin style approximation argument. That alone is a real step forward, and the applications to arbitrary rank Selmer groups are interesting.\n\nNow the soft spot. The stress test is right: the proof of Theorem 3.3, which is the hinge for Kolyvagin's conjecture, needs uniform boundedness of the δ constants δ^{Hg,±}_{P_M}(k) as M varies. The text asserts that if κ is non-trivial modulo P then these δ constants are bounded, but I don't see where that boundedness is justified. The congruence (3.4) only ties the specializations at each M, not the δ-invariants themselves. The rigidity lemma (Zanarella) applies to a fixed P_M but gives no control across M. Without that uniformity, the step 'so the inequality above becomes an equality' is unsupported, and the equivalence (1)⇔(2) in Theorem 3.3—and therefore Theorem 1.5—is not yet established. This is a genuine gap, not a minor oversight.\n\nThe rest of the paper looks solid: the reliance on Castella–Wan is honest, the numerics and diagrams are careful, and the author is up front about needing signed main conjectures. The extended applications in Section 4 are logically conditional but well-organized.\n\nBottom line: the paper makes a strong claim and the method is promising, but the proof of the central theorem has a load-bearing hole. A serious referee should check whether the boundedness can be supplied (maybe via compactness or a finer Iwasawa-theoretic argument). I would not desk-reject it—the idea is too important—but I would insist on a fix before publication.\n\nVerdict: accept peer review, flag the gap, and hope the author can close it.","headline":"Significant claim, but the proof of Theorem 3.3 has a gap concerning uniform boundedness of δ constants — this needs fixing before the main result can be accepted.","tokens_in":24004,"tokens_out":1078,"would_cite":false,"duration_ms":12653,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":["11G05","11G40","14G10"],"pacs":[],"model":"deepseek/deepseek-v4-flash","headline":"Heegner points detect the finiteness of Tate-Shafarevich groups for elliptic curves of arbitrary rank, and Kolyvagin's conjecture is proved for supersingular primes.","keywords":["Tate-Shafarevich group","Kolyvagin's conjecture","Heegner points","supersingular reduction","elliptic curves","Selmer groups","Iwasawa theory","Kolyvagin systems"],"falsifier":"Exhibit a semi-stable elliptic curve E over Q and a supersingular prime p≥5 satisfying the paper's conditions (including the existence of K as in §1.5.2) for which Castella–Wan's theorem (Theorem 2.5) fails—e.g., if the signed Iwasawa–Heegner class z^±_∞ were Λ-torsion. Then the equivalence in Theorem 3.3 would break, and Kolyvagin's conjecture would be false for that curve.","tokens_in":24749,"feed_emoji":"🔢","tokens_out":5723,"duration_ms":52219,"temperature":0.7,"pith_summary":"This paper establishes that for semi-stable elliptic curves over the rationals, the finiteness of the p-primary part of the Tate-Shafarevich group—even when the analytic rank is greater than one—can be expressed purely in terms of the location of certain derived Heegner points in Mordell-Weil groups over ring class fields. As a necessary ingredient, the author proves Kolyvagin's conjecture for supersingular reduction primes, showing that the Heegner point Kolyvagin system is non-trivial in that case. This extends the classical Gross-Zagier-Kolyvagin framework beyond rank-one settings and removes the previous reliance on the cyclotomic Iwasawa main conjecture for supersingular primes. A corollary partially recovers the theorem of Ciperiani-Wiles on solvable points on genus one curves.","feed_headline":"Heegner points reveal Tate-Shafarevich structure for any rank","feed_subtitle":"New proof of Kolyvagin's conjecture for supersingular primes ties finiteness to simple conditions on derived Heegner points","key_machinery":"The central objects are the Heegner point Kolyvagin system $κ^{{Hg}}$ and its signed Iwasawa-theoretic lift $κ^{{Hg,±,∞}}$. The argument relies on an equivalence (Theorem 3.3) between the non-triviality of the specialization of $κ^{{Hg,±,∞}}$ at a height-one prime and the equality of Iwasawa invariants from the signed Heegner point main conjecture. The rigidity lemma of Zanarella (Lemma 3.1) is used to connect these invariants to the structure of signed Selmer groups. Castella-Wan's theorem (Theorem 2.5) supplies the non-triviality of the signed Iwasawa–Heegner class and the structure of signed Selmer groups, which feeds into the equivalence.","core_discovery":"The paper's central claim is twofold. First, for a semi-stable elliptic curve E over Q and a good reduction prime p≥5 with E[p] irreducible, if the Z_p-corank of the Selmer group Sel(Q,E[p^∞]) is at least 2, then the finiteness of X(E/Q)[p^∞] is equivalent to the condition that certain derived Heegner points P_{n_k} lie in p^∂(E(Q) + p^k E(K[n_k])), where ∂ is a constant determined by the Heegner point Kolyvagin system. Second, the paper proves Kolyvagin's conjecture for the supersingular case: the Heegner point Kolyvagin system $κ^{{Hg}}$ is non-trivial for semi-stable elliptic curves with supersingular reduction at p≥5, under a suitable choice of imaginary quadratic field. This proof uses the signed Heegner point main conjecture of Castella-Wan and a rigidity argument for Kolyvagin systems, and is independent of the cyclotomic main conjecture.","pith_inferences":["The equivalence in Theorem 1.1 suggests that the arithmetic obstruction to the finiteness of X(E/Q)[p^∞] reduces to a purely geometric condition on Heegner points, potentially opening a path toward effective computational criteria.","The independence from the cyclotomic main conjecture may allow the results to be extended to modular forms of higher weight or to abelian varieties of GL₂-type, using analogous Heegner point constructions.","The refined choice of solvable extension in Corollary 1.8, which can be made unramified outside a prescribed set of primes, could be useful for constructing explicit solvable points on genus one curves.","If the signed Heegner point main conjecture were established for a wider class of elliptic curves (e.g., without the semi-stability condition), the same method would prove Kolyvagin's conjecture in full generality."],"forward_implications":["Kolyvagin's structure theorem for Selmer groups (Theorems 4.1 and 4.2) now applies to every good reduction prime p≥5 with irreducible mod p representation, covering both ordinary and supersingular cases without tameness hypotheses.","The finiteness of X(E/Q)[p^∞] can be verified by checking conditions on derived Heegner points over ring class fields, reducing a global question to a finite computation of reductions of elliptic curves over finite fields (Theorem 4.7).","A smooth projective genus one curve over Q with semi-stable Jacobian of squarefree conductor N and X(J/Q)[N]=0 admits a point in a solvable extension of Q (Corollary 1.8).","The paper provides a p-adic approximation of the Mordell-Weil group E(Q) by collections of derived Heegner points, contingent on the finiteness of X(E/Q)[p^∞]."],"supporting_citations":[{"why":"Castella–Wan's theorem on the signed Heegner point main conjecture (Theorem 2.5) provides the non-triviality of the signed Iwasawa–Heegner class and the structure of signed Selmer groups, essential for the proof of Kolyvagin's conjecture.","marker":"[CW24]"},{"why":"Kolyvagin's original conjecture and structure theorems for Selmer groups (Theorems 4.1–4.3) are the framework that the paper extends to the supersingular case.","marker":"[Kol91a]"},{"why":"Howard's theory of Heegner point Kolyvagin systems and the general structure of signed Selmer groups (including the self-duality property) are used throughout.","marker":"[How04a]"},{"why":"Zanarella's rigidity lemma (Lemma 3.1) for Kolyvagin systems is a key technical tool linking the non-triviality of the system to Iwasawa invariants.","marker":"[Zan]"},{"why":"Mazur–Rubin's approximation argument for Kolyvagin systems and height-one primes is adapted in the proof of Theorem 3.3.","marker":"[MR04]"},{"why":"Burungale–Castella–Skinner's results on base change and Iwasawa main conjectures are cited as part of the earlier proof of Kolyvagin's conjecture for the ordinary case (Theorem 1.4).","marker":"[BCS25]"}],"fun_headline_variants":["Kolyvagin's conjecture proved for supersingular elliptic curves","Heegner points tie Tate-Shafarevich finiteness to simple condition","Finiteness of Tate-Shafarevich group linked to Heegner points","Heegner points settle Tate-Shafarevich structure for any rank","Supersingular Kolyvagin conjecture proved, X finiteness settled"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The signed Heegner point main conjecture (Castella–Wan, Theorem 2.5) must hold for the chosen imaginary quadratic field K; this is an external result relied upon without reproof, and it currently requires E to be semi-stable and p to split in K among other conditions.","fun_headline_variants_meta":{"raw":{"variants":["Kolyvagin's conjecture proved for supersingular elliptic curves","Heegner points tie Tate-Shafarevich finiteness to simple condition","Finiteness of Tate-Shafarevich group linked to Heegner points","Heegner points settle Tate-Shafarevich structure for any rank","Supersingular Kolyvagin conjecture proved, X finiteness settled"]},"model":"deepseek/deepseek-v4-flash","effort":"low","cost_usd":0.00047,"raw_usage":{"cost":0.000470428,"is_byok":false,"cost_details":{"upstream_inference_cost":0.000470428,"upstream_inference_prompt_cost":9.7748e-05,"upstream_inference_completions_cost":0.00037268},"total_tokens":2234,"prompt_tokens":903,"completion_tokens":1331,"prompt_tokens_details":{"audio_tokens":0,"video_tokens":0,"cached_tokens":256,"cache_write_tokens":0},"completion_tokens_details":{"audio_tokens":0,"image_tokens":0,"reasoning_tokens":1231}},"tokens_in":903,"tokens_out":1331,"cost_source":"openrouter_usage","duration_ms":12222,"image_pages":[],"temperature":1.0,"reasoning_tokens":1231,"transport_provider":"openrouter","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-09-15T09:02:16.090518+00:00","model_set":{"reader":"deepseek/deepseek-v4-flash"},"falsifier":"Exhibit a semi-stable elliptic curve E over Q and a supersingular prime p≥5 satisfying the paper's conditions (including the existence of K as in §1.5.2) for which Castella–Wan's theorem (Theorem 2.5) fails—e.g., if the signed Iwasawa–Heegner class z^±_∞ were Λ-torsion. Then the equivalence in Theorem 3.3 would break, and Kolyvagin's conjecture would be false for that curve.","supporting_citations":[],"review_version":1}