On the arithmetic of Tate-Shafarevich groups via Kolyvagin's conjecture

Chan-Ho Kim

REVIEW

On the arithmetic of Tate-Shafarevich groups via Kolyvagin's conjecture

Chan-Ho Kim

Number Theory · Submitted 14 Sep 2026

Pith's verdict: 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.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on September 15, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 6 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2609.15328 (version 2)

Pith ID2BI4KPLY, Pith's permanent record of this paper and its review

CitationChan-Ho Kim. "On the arithmetic of Tate-Shafarevich groups via Kolyvagin's conjecture." arXiv:2609.15328 (2026). https://pith.science/paper/2BI4KPLY

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the 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.

Now 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.

The 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.

Bottom 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.

Verdict: accept peer review, flag the gap, and hope the author can close it.

Referee report

Major objections (2)

[§3.2, proof of Theorem 3.3] 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.
[§3.2, inequality (3.2) and subsequent derivation] 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.

Minor objections (6)

[Abstract] The phrase 'elliptic curves over the rationals of arbitrary rank' is ambiguous; clarify that 'rank' refers to the Mordell–Weil rank.
[§1.1.2] The definition ∂ = ∂(ord(κ^{Hg}))(κ^{Hg}) is unclear; the superscript on ∂ is used without prior explanation.
[§2.3.2] 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.
[§3.2] 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.
[References] Several preprints are listed without a year (e.g., [BCGS], [CS], [DR], [Swe], [Zan]); please add arXiv numbers or expected publication information where available.
[Theorem 1.1] In condition (3), there is a period after '0.' instead of a comma; please correct the punctuation.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

Heegner points detect the finiteness of Tate-Shafarevich groups for elliptic curves of arbitrary rank, and Kolyvagin's conjecture is proved for supersingular primes.

The reading

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.

What carries the argument

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.

Extended reading notes

Core claim

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.

Load-bearing premise

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.

Editorial extensions

If this is right

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^∞].

Reading between the lines

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

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.

Original abstract

We investigate how Heegner points detect the finiteness of the $p$-primary part of Tate-Shafarevich groups of semi-stable elliptic curves over the rationals of \emph{arbitrary} rank with any good reduction prime $p \geq 5$ with irreducible mod $p$ representation and partially recover \c{C}iperiani--Wiles' theorem on solvable points on genus one curves. As a key ingredient of the proof of these results, we also give a concise proof of Kolyvagin's conjecture for semi-stable elliptic curves with supersingular reduction with a relevant choice of an imaginary quadratic field. Our approach is independent of the cyclotomic Iwasawa main conjecture for elliptic curves with supersingular reduction.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 3,165 input tokens.

What the abstract itself states, as probabilities: claims first 0.05 · states limitation 0.32 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.08 · compares with prior results 0.83 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

We investigate how Heegner points detect the finiteness of the $p$-primary part of Tate-Shafarevich groups of semi-stable elliptic curves over the rationals of \emph{arbitrary} rank with any good reduction prime $p \geq 5$ with irreducible mod $p$ representation and partially recover \c{C}iperiani--Wiles' theorem on solvable points on genus one curves. As a key ingredient of the proof of these results, we also give a concise proof of Kolyvagin's conjecture for semi-stable elliptic curves with supersingular reduction with a relevant choice of an imaginary quadratic field. Our approach is independent of the cyclotomic Iwasawa main conjecture for elliptic curves with supersingular reduction.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	We investigate how Heegner points detect the finiteness of the $p$-primary part of Tate-Shafarevich groups of semi-stable elliptic curves over the rationals of \emph{arbitrary} rank with any good reduction prime $p \geq 5$ with irreducible mod $p$ representation and partially recover \c{C}iperiani--Wiles' theorem on solvable points on genus one curves.	contribution 0.87	0.94	0.78	asserted 0.98
s1	As a key ingredient of the proof of these results, we also give a concise proof of Kolyvagin's conjecture for semi-stable elliptic curves with supersingular reduction with a relevant choice of an imaginary quadratic field.	contribution 0.61	0.95	0.11	asserted 1.00
s2	Our approach is independent of the cyclotomic Iwasawa main conjecture for elliptic curves with supersingular reduction.	method 0.49	0.79	0.04	asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.