Nonvanishing of 2-primary Kolyvagin classes via simultaneous quadratic twists

Zhiqi Sun

REVIEW

Nonvanishing of 2-primary Kolyvagin classes via simultaneous quadratic twists

Zhiqi Sun

Number Theory · Submitted 22 Oct 2026 · 30 references

Pith's verdict: First real attack on mod-2 Kolyvagin nonvanishing, internally solid, but the sharp criterion rests on an unrefereed Manin-constant preprint — conditional acceptance with that input audited first.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 23, 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 · 4 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2610.31631 (version 1)

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

CitationZhiqi Sun. "Nonvanishing of 2-primary Kolyvagin classes via simultaneous quadratic twists." arXiv:2610.31631 (2026). https://pith.science/paper/2NAG5A4F

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

Two things first. The genuinely new result is Kolyvagin nonvanishing at p = 2, where the previous literature (Zhang, Sweeting, Le Hung–Li, Li, Coates–Li–Tian–Zhai) is explicitly blocked: §1.5 explains why the odd-prime technology dies at 2 — signs ±1 are indistinguishable mod 2, and q ≢ ±1 mod p is impossible at p = 2. That novelty claim holds up on reading. Second: the paper's own machinery is written out in detail and internally consistent, but the sharp equivalence (1.13) hangs on an unrefereed Manin-constant preprint posted three days before submission. The stress-test note has that right.

What the paper does well. The architecture is honest: every theorem states its hypotheses, and the proof outline in §1.5 matches the body. The simultaneous Selmer descent (Sections 2–3, Mazur–Rubin twisting plus Klagsbrun–Mazur–Rubin parity) is explicit; Appendices A–D fill in the Chebotarev detection, dyadic corrections, and the corank argument. The Section 8 example is genuinely reproducible — Magma with fixed seed, Bound := -1, unconditional — and matches the predicted terminal configuration ((a0,a1)=(2,1), R=1, class order 4). The intrinsic index i(E,K) is a fixed local invariant, not a fitted parameter; the circularity burden is low. The paper also states its own limits (Theorem 7.2's finite Selmer groups are left uncomputed).

Soft spots, in proportion. The dominant one is external: three load-bearing inputs are unrefereed, weeks-old preprints — the low-corank 2-converse and 2-primary BSD from OpenAI (refs 27, 28) and the optimal Manin constant theorem (ref 15). Proposition 5.1 imports v2(c_φ0)=0 from [15]; the clean iff (1.13) is exactly that step. Published unconditional results (Česnavičius [13]) cover only semistable levels; Remark 5.2 offers [13] as partial cover, but the general case rests on [15, Theorem 1.1]. If [15] fails at even one level, (1.13) degrades to nonvanishing iff v2(c_φ) + i(E,K) = 0 and parametrization-independence is lost. A referee should audit [15] first, then the two OpenAI preprints. Minor: (exclusion) when Δ_E < 0 is genuinely case-by-case (Proposition 3.3); the paper acknowledges this, but it limits the unconditional scope of the examples.

Bottom line: this deserves a serious referee. Conditional acceptance, with those three preprints verified, is the right disposition. I'd bring it to reading group and cite it, with a mental asterisk on [15].

Referee report

Significance

If correct, the paper provides a striking and genuinely local criterion for residual nonvanishing of standard 2-primary Kolyvagin classes: the intrinsic index i(E,K) is built from Tamagawa numbers, local norm indices, and real components, with no fitting parameter or post-hoc data selection. The internal argument is unusually detailed and self-contained: the descent in Sections 2-3, the genus-point comparison in Section 4, and the index calculation in Section 5 are written out in full, and the main theorem statements match the proofs at the level I could check. The Section 8 example is reproducible from the supplied Magma code and checks a real terminal support. The main caveat is external: the sharp statements import three results from unrefereed preprints, [15], [27], and [28], and the clean equivalence (1.13) depends in an essential way on the first of these. This does not undermine the internal framework, but it means the unconditional form of Theorems 1.2 and 1.4 is only as strong as those preprints.

Major objections (2)

[Section 5.1, Proposition 5.1 and Theorem 1.2] The forcing step v_2(c_{phi_0})=0 is imported from [15, Theorem 1.1], an unrefereed preprint posted days before this submission. The equivalence (1.13) is exactly the point where the Manin factor is eliminated: without v_2(c_{phi_0})=0, Theorem 5.4 gives only kappa != 0 iff v_2(c_{phi_0})+i(E,K)=0, and the claimed independence of the parametrization is lost. Remark 5.2 shifts the burden to [15, Proposition 2.2] but does not change the provenance. The paper should either prove the needed Manin-factor unit property under the residual-irreducibility hypotheses used here, quote a peer-reviewed source valid at every level, or state Theorems 1.2 and 1.4 and Corollary 1.3 explicitly as conditional on [15].
[Theorem 5.4 and Theorem 1.2] The index computation also rests on the low-corank 2-converse [27, Theorem 1.1] and the 2-primary Birch-Swinnerton-Dyer formula [28, Theorem 1.1], both unrefereed preprints. These results are used to pass from finite Selmer dimensions (0,1) to analytic ranks, to prove that Q_T is non-torsion, and to compute v_2 of the normalized leading term in (5.13)-(5.15). Since the cancellation leading to (5.16) depends on those statements, the central theorems should either be stated as conditional on [27] and [28] or should reproduce their exact hypotheses and statements in an appendix. As written, the manuscript's unconditional claims outrun what it proves internally at this load-bearing point.

Minor objections (4)

[Section 5.4, Table 2] The table entry for the original bad primes says that permitted supports preserve 2T_E, but the justification splits into the cases Delta_E<0 or |T| even, versus Delta_E>0 and |T| odd with i(E,K)=0. This is correct, but it would be clearer to indicate in the table itself that Lemma 2.4 and T_E=0 are being used in the odd-support positive-discriminant case.
[Section 8, paragraph after Table 3] The assertion that the original curve has rank 2 over Q is referred to a Magma handbook example [29]; a proof or a standard published database reference would make the example more self-contained, since this rank statement is part of the claimed consistency of the numerical illustration.
[Section 8, Table 3] The table would be easier to read with explicit column spacing for the minimal Weierstrass coefficients; the current inline list format makes the rows hard to parse.
[Section 3.1 and the applications after Theorem 1.1] The condition (exclusion) is automatic when Delta_E>0 but must be checked case by case when Delta_E<0, as the paper acknowledges via Proposition 3.3. Since Section 8 only illustrates the positive-discriminant case, a small worked negative-discriminant example would help readers see how the test is applied in practice.

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

The paper

The paper claims

This paper proves that the standard mod-2 Kolyvagin class on a terminal quadratic twist is nonzero exactly when the intrinsic 2-adic index $i(E,K)$ of the base elliptic curve vanishes, and that the class then has order $2^M$ at every depth.

The reading

This paper proves a 2-primary analogue of Kolyvagin's nonvanishing conjecture in a new regime: it claims that, on a curve satisfying its hypotheses, the standard mod-2 Kolyvagin class (a Galois cohomology class built from Heegner points over ring class fields) attached to a suitable quadratic twist is nonzero exactly when a purely local quantity, the intrinsic 2-adic index $i(E,K)$, vanishes. The paper constructs a finite set of auxiliary primes $T$ for which the 2-Selmer dimensions of the two twisted curves are $0$ and $1$, builds a point $Q_T$ on the terminal twist whose Kummer class is the standard class, and computes the 2-adic valuation of its index in the full Mordell–Weil lattice as $v_2(m_T)=v_2(c_\varphi)+i(E,K)$, independently of $T$. A normalization of the modular parametrization with odd Manin factor then converts this into the equivalence $\kappa^{\mathrm{std}}_{n_T,1}(\varphi_0)\ne 0 \iff i(E,K)=0$, and, when the index vanishes, into order statements $2^M$ at every depth $1\le M\le L$ and strong nonvanishing with support size bounded by the initial Selmer dimensions. If the paper is right, nonvanishing of these classes is governed by a single local invariant of the base curve and field, independent of the twisting support.

What carries the argument

The argument runs on four pieces. (1) The intrinsic $2$-adic index $i(E,K)=T_E+\delta_K$, where $T_E$ is the sum of the $2$-adic Tamagawa valuations and $\delta_K$ is half the total local discrepancy between the Kummer conditions of $E$ and $E^D$; it vanishes exactly when all Tamagawa numbers of $E$ are odd and the two local-condition sets differ by one in total. (2) A simultaneous Selmer descent along a fixed Chebotarev prime family $P_L$: at each auxiliary prime the local Kummer line is switched from the unramified line to the transverse line of a ramified twist, lowering the two Selmer dimensions in lockstep until the pair $(0,1)$ is reached with support size bounded by $\max\{a_0,a_1\}$. (3) The point $Q_T\in E^{d_T}(K)$, obtained as an integral character projection of Heegner traces in the style of the congruent-number genus-point method; Proposition 4.4 identifies its mod-2 Kummer class with the standard Kolyvagin class $\kappa^{\mathrm{std}}_{n_T,1}$. (4) The index computation $v_2(m_T)=v_2(c_\varphi)+i(E,K)$, in which the Gross–Zagier term for the full character trace, the real periods, the Tamagawa products, and the dyadic corrections cancel against the auxiliary primes, leaving only the Manin factor of $\varphi$ and the intrinsic index; the optimal-Manin-constant theorem then supplies $\varphi_0$ with $v_2(c_{\varphi_0})=0$, turning the index formula into the sharp criterion.

Extended reading notes

Core claim

The central claim, Theorem 1.2, is that under the Heegner hypothesis, surjectivity of the mod-$2^L$ Galois representation, and a cohomological exclusion condition at level $4$, any $2$-indivisible parametrization $\varphi_0$ and any terminal support $T$ (one for which the $2$-Selmer dimensions of $E^{d_T}$ and $E^{d_T D}$ are $0$ and $1$) satisfy $\kappa^{\mathrm{std}}_{n_T,1}(\varphi_0)\ne 0$ if and only if $i(E,K)=0$, and when the index vanishes the normalized standard classes have order exactly $2^M$ for every $1\le M\le L$. The engine is Theorem 5.4, which computes the $2$-adic valuation of the index $m_T$ of the constructed point $Q_T$ in the full Mordell–Weil lattice of the terminal twist: $v_2(m_T)=v_2(c_\varphi)+i(E,K)$, a formula independent of $T$. With a $2$-indivisible parametrization supplied by the optimal-Manin-constant theorem, the criterion becomes purely local, and when $i(E,K)=0$ the minimum terminal support size is $R=\min\{d_2(E),d_2(E^D)\}$; full mod-$8$ Galois image then gives strong nonvanishing of the standard system (Theorem 1.4). The intrinsic index $i(E,K)=T_E+\delta_K$ is an explicit local quantity — the total $2$-adic Tamagawa contribution of $E$ plus half the total discrepancy between the Kummer conditions of $E$ and $E^D$ — so the paper's conclusion is that residual nonvanishing of the standard Kolyvagin class is a property of the base curve and field alone.

Load-bearing premise

The load-bearing premise is that three quoted preprint results are all correct — the low-corank 2-converse, the 2-primary Birch–Swinnerton-Dyer formula, and the optimal-Manin-constant theorem $c_\pi=\pm 1$ — since a single counterexample would replace the sharp equivalence (1.13) by a criterion involving the Manin factor $v_2(c_\varphi)$ as well as the intrinsic index, and for negative discriminant the (exclusion) hypothesis must additionally be verified case by case via Proposition 3.3.

Editorial extensions

If this is right

If $i(E,K)=0$, every terminal support gives a nonzero standard mod-2 Kolyvagin class of order exactly $2^M$ at every depth $1\le M\le L$; for a general parametrization $\varphi=[2^b]\circ\varphi_0$ the order is $2^{\max\{M-b,0\}}$ (Corollary 1.3).
The minimum terminal support size is $R=\min\{d_2(E),d_2(E^D)\}$, and infinitely many minimizing supports exist that avoid any prescribed finite set of primes (Theorem 1.1).
Surjectivity modulo $8$ — equivalent to full $2$-adic Galois image — upgrades this to strong nonvanishing: nonzero standard classes with support size at most $R$ occur at arbitrarily deep admissible congruences, at the fixed coefficient depth $b_\varphi+1$ (Theorem 1.4).
The corank theorem (Theorem 7.1) reads off the rational Selmer coranks from the strong-nonvanishing support size: $s_{\varepsilon_f}=f+1$ and $s_{-\varepsilon_f}\le f$, so $f=\max\{s_2(E),s_2(E^D)\}-1$ when $T_E=0$.
On a terminal twist, the $2$-primary Tate–Shafarevich group over $K$ is finite and killed by $2$, with $\mathrm{Sha}(C/K)[2^\infty]\cong(\mathbb{Z}/2)^{d_K(C)-1}$, so a single further $2$-descent over $K$ determines it completely (Proposition 7.3).

Reading between the lines

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

If the quoted optimal-Manin-constant theorem ever failed at some level, the sharp equivalence (1.13) would degrade to '$\kappa\ne 0 \iff v_2(c_\varphi)+i(E,K)=0$': nonvanishing would then genuinely depend on the parametrization, although the support-independence of the index formula (5.16) would survive.
The support bound being independent of $L$ suggests the mechanism is parity-theoretic through and through: the parity formula makes $a_0+a_1$ odd, and the descent lowers the two Selmer dimensions in lockstep; a natural test is whether the bound $R=\min\{a_0,a_1\}$ persists without the exclusion hypothesis when $\Delta_E>0$, where the paper shows exclusion is automatic.
The order formula predicts a class of exact order $2^L$ precisely at the depth the auxiliary primes allow; on a terminal support whose primes satisfy $2^L\,\|\,q+1,\,a_q(E)$ exactly, a mod-$2^L$ descent computation on the terminal twist would verify or refute (1.14) directly.
Section 7 leaves implicit that intrinsic index zero plus the corank theorem bounds the Mordell–Weil rank over $K$: $\mathrm{rank}\,E(K)\le s_K\le 2R+1=a_0+a_1$, so any curve in this setting with large initial $2$-Selmer dimensions and vanishing intrinsic index has its excess Selmer rank forced into the finite quotient of $\mathrm{Sha}$.

Original abstract

Let $E/\mathbf{Q}$ be an elliptic curve, let $K=\mathbf{Q}(\sqrt{D})$ satisfy the Heegner hypothesis with $D<-4$, and fix a modular parametrization $\varphi$ with $\varphi(\infty)=O$. Under surjectivity modulo $2^L$, with $L\ge 2$, and a cohomological exclusion condition at level $4$, we construct a finite set of primes $T$ such that, writing $d_T=\prod_{q\in T}(-q)$ and $n_T=\prod_{q\in T}q$, the $2$-Selmer dimensions of $E^{d_T}$ and $E^{d_TD}$ are $0$ and $1$. The support size is bounded in terms of the initial Selmer dimensions, independently of $L$. Inspired by the work of Tian and Tian--Yuan--Zhang on congruent numbers, we construct a point $Q_T$ on the terminal twist and identify its Kummer class with the standard mod-$2$ Kolyvagin class. Using the low-corank $2$-converse and the $2$-primary Birch--Swinnerton-Dyer formula, we prove that its index $m_T$ in the full Mordell--Weil lattice satisfies $v_2(m_T)=v_2(c_\varphi)+\mathfrak{i}(E,K)$. The optimal Manin constant theorem supplies a $2$-indivisible parametrization $\varphi_0$, for which $\kappa^{\mathrm{std}}_{n_T,1}(\varphi_0)\ne 0$ if and only if $\mathfrak{i}(E,K)=0$. When the intrinsic index vanishes, the minimum terminal support size is $R=\min\{d_2(E),d_2(E^D)\}$, and the normalized standard classes have order $2^M$ for $1\le M\le L$. Full $2$-adic Galois image then gives strong nonvanishing.

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-10-23: 1 request, 6,887 input tokens.

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

The abstract, sentence by sentence

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

Let $E/\mathbf{Q}$ be an elliptic curve, let $K=\mathbf{Q}(\sqrt{D})$ satisfy the Heegner hypothesis with $D<-4$, and fix a modular parametrization $\varphi$ with $\varphi(\infty)=O$. Under surjectivity modulo $2^L$, with $L\ge 2$, and a cohomological exclusion condition at level $4$, we construct a finite set of primes $T$ such that, writing $d_T=\prod_{q\in T}(-q)$ and $n_T=\prod_{q\in T}q$, the $2$-Selmer dimensions of $E^{d_T}$ and $E^{d_TD}$ are $0$ and $1$. The support size is bounded in terms of the initial Selmer dimensions, independently of $L$. Inspired by the work of Tian and Tian--Yuan--Zhang on congruent numbers, we construct a point $Q_T$ on the terminal twist and identify its Kummer class with the standard mod-$2$ Kolyvagin class. Using the low-corank $2$-converse and the $2$-primary Birch--Swinnerton-Dyer formula, we prove that its index $m_T$ in the full Mordell--Weil lattice satisfies $v_2(m_T)=v_2(c_\varphi)+\mathfrak{i}(E,K)$. The optimal Manin constant theorem supplies a $2$-indivisible parametrization $\varphi_0$, for which $\kappa^{\mathrm{std}}_{n_T,1}(\varphi_0)\ne 0$ if and only if $\mathfrak{i}(E,K)=0$. When the intrinsic index vanishes, the minimum terminal support size is $R=\min\{d_2(E),d_2(E^D)\}$, and the normalized standard classes have order $2^M$ for $1\le M\le L$. Full $2$-adic Galois image then gives strong nonvanishing.

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	Let $E/\mathbf{Q}$ be an elliptic curve, let $K=\mathbf{Q}(\sqrt{D})$ satisfy the Heegner hypothesis with $D<-4$, and fix a modular parametrization $\varphi$ with $\varphi(\infty)=O$.	background 1.00	0.20	0.02	asserted 0.64
s1	Under surjectivity modulo $2^L$, with $L\ge 2$, and a cohomological exclusion condition at level $4$, we construct a finite set of primes $T$ such that, writing $d_T=\prod_{q\in T}(-q)$ and $n_T=\prod_{q\in T}q$, the $2$-Selmer dimensions of $E^{d_T}$ and $E^{d_TD}$ are $0$ and $1$.	result 0.46	0.93	0.22	asserted 1.00
s2	The support size is bounded in terms of the initial Selmer dimensions, independently of $L$.	result 0.98	0.85	0.06	asserted 1.00
s3	Inspired by the work of Tian and Tian--Yuan--Zhang on congruent numbers, we construct a point $Q_T$ on the terminal twist and identify its Kummer class with the standard mod-$2$ Kolyvagin class.	method 0.52	0.92	0.06	asserted 1.00
s4	Using the low-corank $2$-converse and the $2$-primary Birch--Swinnerton-Dyer formula, we prove that its index $m_T$ in the full Mordell--Weil lattice satisfies $v_2(m_T)=v_2(c_\varphi)+\mathfrak{i}(E,K)$.	result 0.95	0.90	0.25	asserted 1.00
s5	The optimal Manin constant theorem supplies a $2$-indivisible parametrization $\varphi_0$, for which $\kappa^{\mathrm{std}}_{n_T,1}(\varphi_0)\ne 0$ if and only if $\mathfrak{i}(E,K)=0$.	result 0.68	0.34	0.20	asserted 1.00
s6	When the intrinsic index vanishes, the minimum terminal support size is $R=\min\{d_2(E),d_2(E^D)\}$, and the normalized standard classes have order $2^M$ for $1\le M\le L$.	result 1.00	0.84	0.20	asserted 1.00
s7	Full $2$-adic Galois image then gives strong nonvanishing.	interpretation 0.81	0.38	0.20	asserted 0.94

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

Works cited (30)

[15]

Z. Chi, S. Liu, and P. Nie, On the Manin constant, preprint, October 19, 2026. arXiv:2610.25672v1

View on Pith Pith review arXiv 2026
[13]

K. Česnavičius, The Manin constant in the semistable case,Compositio Math.154(2018), 1889–1920. arXiv:1703.02951

View on Pith Pith review arXiv 2018
[27]

OpenAI, Goldfeld’s analytic density conjecture and the2-converse for elliptic curves, preprint, dated September 23, 2026. Theorem 1.1, fixed source revision (1581d4cbdd69), accessed October 21, 2026. 55 Z. Sun Standard2-primary Kolyvagin classes

View on Pith 2026
[28]

OpenAI, The two-primary Birch–Swinnerton-Dyer formula in Selmer corank at most one, preprint, dated September 24, 2026. Section 1.1 and Theorem 1.1, fixed source revision (1581d4cbdd69), accessed October 21, 2026

View on Pith 2026
[1]

B. Mazur and K. Rubin, Ranks of twists of elliptic curves and Hilbert’s tenth problem, Invent. Math.181(2010), 541–575. arXiv:0904.3709

View on Pith Pith review arXiv 2010
[2]

Z. Klagsbrun, B. Mazur, and K. Rubin, Disparity in Selmer ranks of quadratic twists of elliptic curves,Ann. of Math.178(2013), 287–320. arXiv:1111.2321

View on Pith Pith review arXiv 2013
[3]

B. Poonen and E. Rains, Random maximal isotropic subspaces and Selmer groups,J. Amer. Math. Soc.25(2012), no. 1, 245–269. Revised author’s version

View on Pith 2012
[4]

J. S. Milne,Arithmetic Duality Theorems, 2nd ed., BookSurge, 2006. Author’s electronic edition

View on Pith 2006
[5]

K. Kramer, Arithmetic of elliptic curves upon quadratic extension,Trans. Amer. Math. Soc.264(1981), no. 1, 121–135. doi:10.1090/S0002-9947-1981-0597871-8

View on Pith doi:10.1090/s0002-9947-1981-0597871-8 1981
[6]

K. Kramer and J. Tunnell, Elliptic curves and localϵ-factors,Compositio Math.46(1982), no. 3, 307–352. Numdam

View on Pith 1982
[7]

W.Stein, Kolyvagin’sconjectureforspecifichigherrankellipticcurves, author’smanuscript, March 26, 2011

View on Pith 2011
[8]

B. H. Gross, Kolyvagin’s work on modular elliptic curves, inL-functions and Arithmetic (J. Coates and M. J. Taylor, eds.), London Math. Soc. Lecture Note Ser., vol. 153, Cam- bridge University Press, 1991, pp. 235–256

View on Pith 1991
[9]

L. Cai, J. Shu, and Y. Tian, Explicit Gross–Zagier and Waldspurger formulae,Algebra Number Theory8(2014), no. 10, 2523–2572. arXiv:1408.1733

View on Pith Pith review arXiv 2014
[10]

B. H. Gross and D. B. Zagier, Heegner points and derivatives ofL-series,Invent. Math.84 (1986), 225–320. doi:10.1007/BF01388809. 54 Z. Sun Standard2-primary Kolyvagin classes

View on Pith doi:10.1007/bf01388809 1986
[11]

A. J. Barrios, M. Roy, N. Sahajpal, D. Tallana, B. Tobin, and H. Wiersema, Local data of elliptic curves under quadratic twist,Res. Number Theory11(2025), article 75. arXiv:2501.03209

View on Pith Pith review arXiv 2025
[12]

A. J. Barrios and C. P. Mok, On the Birch and Swinnerton-Dyer formula modulo squares for certain quadratic twists of elliptic curves, preprint, 2025. arXiv:2510.00926

View on Pith arXiv 2025
[14]

K. Česnavičius, M. Neururer, and A. Saha, The Manin constant and the modular degree, J. Eur. Math. Soc.26(2024), no. 2, 573–637. Author’s version

View on Pith 2024
[16]

V. A. Kolyvagin, On the structure of Shafarevich–Tate groups, inAlgebraic Geometry (Chicago, IL, 1989), Lecture Notes in Math., vol. 1479, Springer, 1991, pp. 94–121. Original article

View on Pith 1989
[17]

V. A. Kolyvagin, On the structure of Selmer groups, preprint MPIM/90-70, 1990. MPIM archive. Preprint version of [18]. Theorem numbers and printed-page references to this work in the present paper follow the preprint

View on Pith 1990
[18]

V. A. Kolyvagin, On the structure of Selmer groups,Math. Ann.291(1991), 253–259. doi:10.1007/BF01445205

View on Pith doi:10.1007/bf01445205 1991
[19]

B. Poonen and M. Stoll, The Cassels–Tate pairing on polarized abelian varieties,Ann. of Math.150(1999), 1109–1149. Revised author’s version, corrected August 23, 2014

View on Pith 1999
[20]

W. Zhang, Selmer groups and the indivisibility of Heegner points,Cambridge J. Math.2 (2014), no. 2, 191–253. Author’s manuscript

View on Pith 2014
[21]

N. Sweeting, Kolyvagin’s conjecture, bipartite Euler systems, and higher congruences of modular forms, preprint, November 16, 2022. arXiv:2012.11771v3

View on Pith Pith review arXiv 2022
[22]

B. V. Le Hung and C. Li, Level raising mod2and arbitrary2-Selmer ranks,Compos. Math. 152(2016), no. 8, 1576–1608. Author’s version

View on Pith 2016
[23]

C. Li, Level raising mod2and obstruction to rank lowering,Int. Math. Res. Not. IMRN (2019), no. 8, 2332–2355. Author’s version

View on Pith 2019
[24]

J. Coates, Y. Li, Y. Tian, and S. Zhai, Quadratic twists of elliptic curves,Proc. Lond. Math. Soc.(3)110(2015), no. 2, 357–394. doi:10.1112/plms/pdu059. arXiv:1312.3884v3

View on Pith Pith review arXiv 2015
[25]

Y. Tian, Congruent numbers and Heegner points,Cambridge J. Math.2(2014), no. 1, 117–161. arXiv:1210.8231

View on Pith Pith review arXiv 2014
[26]

Y. Tian, X. Yuan, and S.-W. Zhang, Genus periods, genus points and congruent number problem,Asian J. Math.21(2017), no. 4, 721–774. arXiv:1411.4728

View on Pith Pith review arXiv 2017
[29]

Computational Algebra Group, University of Sydney,Magma Handbook, version 2.29: Mordell–Weil groups and descent methods, Selmer groups, accessed October 20, 2026

View on Pith 2026
[30]

E. F. Schaefer,2-descent on the Jacobians of hyperelliptic curves,J. Number Theory51 (1995), no. 2, 219–232. doi:10.1006/jnth.1995.1044. 56

View on Pith doi:10.1006/jnth.1995.1044 1995

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.

[1] [15]

Z. Chi, S. Liu, and P. Nie, On the Manin constant, preprint, October 19, 2026. arXiv:2610.25672v1

View on Pith Pith review arXiv 2026

[2] [13]

K. Česnavičius, The Manin constant in the semistable case,Compositio Math.154(2018), 1889–1920. arXiv:1703.02951

View on Pith Pith review arXiv 2018

[3] [27]

OpenAI, Goldfeld’s analytic density conjecture and the2-converse for elliptic curves, preprint, dated September 23, 2026. Theorem 1.1, fixed source revision (1581d4cbdd69), accessed October 21, 2026. 55 Z. Sun Standard2-primary Kolyvagin classes

View on Pith 2026

[4] [28]

OpenAI, The two-primary Birch–Swinnerton-Dyer formula in Selmer corank at most one, preprint, dated September 24, 2026. Section 1.1 and Theorem 1.1, fixed source revision (1581d4cbdd69), accessed October 21, 2026

View on Pith 2026

[5] [1]

B. Mazur and K. Rubin, Ranks of twists of elliptic curves and Hilbert’s tenth problem, Invent. Math.181(2010), 541–575. arXiv:0904.3709

View on Pith Pith review arXiv 2010

[6] [2]

Z. Klagsbrun, B. Mazur, and K. Rubin, Disparity in Selmer ranks of quadratic twists of elliptic curves,Ann. of Math.178(2013), 287–320. arXiv:1111.2321

View on Pith Pith review arXiv 2013

[7] [3]

B. Poonen and E. Rains, Random maximal isotropic subspaces and Selmer groups,J. Amer. Math. Soc.25(2012), no. 1, 245–269. Revised author’s version

View on Pith 2012

[8] [4]

J. S. Milne,Arithmetic Duality Theorems, 2nd ed., BookSurge, 2006. Author’s electronic edition

View on Pith 2006

[9] [5]

K. Kramer, Arithmetic of elliptic curves upon quadratic extension,Trans. Amer. Math. Soc.264(1981), no. 1, 121–135. doi:10.1090/S0002-9947-1981-0597871-8

View on Pith doi:10.1090/s0002-9947-1981-0597871-8 1981

[10] [6]

K. Kramer and J. Tunnell, Elliptic curves and localϵ-factors,Compositio Math.46(1982), no. 3, 307–352. Numdam

View on Pith 1982

[11] [7]

W.Stein, Kolyvagin’sconjectureforspecifichigherrankellipticcurves, author’smanuscript, March 26, 2011

View on Pith 2011

[12] [8]

B. H. Gross, Kolyvagin’s work on modular elliptic curves, inL-functions and Arithmetic (J. Coates and M. J. Taylor, eds.), London Math. Soc. Lecture Note Ser., vol. 153, Cam- bridge University Press, 1991, pp. 235–256

View on Pith 1991

[13] [9]

L. Cai, J. Shu, and Y. Tian, Explicit Gross–Zagier and Waldspurger formulae,Algebra Number Theory8(2014), no. 10, 2523–2572. arXiv:1408.1733

View on Pith Pith review arXiv 2014

[14] [10]

B. H. Gross and D. B. Zagier, Heegner points and derivatives ofL-series,Invent. Math.84 (1986), 225–320. doi:10.1007/BF01388809. 54 Z. Sun Standard2-primary Kolyvagin classes

View on Pith doi:10.1007/bf01388809 1986

[15] [11]

A. J. Barrios, M. Roy, N. Sahajpal, D. Tallana, B. Tobin, and H. Wiersema, Local data of elliptic curves under quadratic twist,Res. Number Theory11(2025), article 75. arXiv:2501.03209

View on Pith Pith review arXiv 2025

[16] [12]

A. J. Barrios and C. P. Mok, On the Birch and Swinnerton-Dyer formula modulo squares for certain quadratic twists of elliptic curves, preprint, 2025. arXiv:2510.00926

View on Pith arXiv 2025

[17] [14]

K. Česnavičius, M. Neururer, and A. Saha, The Manin constant and the modular degree, J. Eur. Math. Soc.26(2024), no. 2, 573–637. Author’s version

View on Pith 2024

[18] [16]

V. A. Kolyvagin, On the structure of Shafarevich–Tate groups, inAlgebraic Geometry (Chicago, IL, 1989), Lecture Notes in Math., vol. 1479, Springer, 1991, pp. 94–121. Original article

View on Pith 1989

[19] [17]

V. A. Kolyvagin, On the structure of Selmer groups, preprint MPIM/90-70, 1990. MPIM archive. Preprint version of [18]. Theorem numbers and printed-page references to this work in the present paper follow the preprint

View on Pith 1990

[20] [18]

V. A. Kolyvagin, On the structure of Selmer groups,Math. Ann.291(1991), 253–259. doi:10.1007/BF01445205

View on Pith doi:10.1007/bf01445205 1991

[21] [19]

B. Poonen and M. Stoll, The Cassels–Tate pairing on polarized abelian varieties,Ann. of Math.150(1999), 1109–1149. Revised author’s version, corrected August 23, 2014

View on Pith 1999

[22] [20]

W. Zhang, Selmer groups and the indivisibility of Heegner points,Cambridge J. Math.2 (2014), no. 2, 191–253. Author’s manuscript

View on Pith 2014

[23] [21]

N. Sweeting, Kolyvagin’s conjecture, bipartite Euler systems, and higher congruences of modular forms, preprint, November 16, 2022. arXiv:2012.11771v3

View on Pith Pith review arXiv 2022

[24] [22]

B. V. Le Hung and C. Li, Level raising mod2and arbitrary2-Selmer ranks,Compos. Math. 152(2016), no. 8, 1576–1608. Author’s version

View on Pith 2016

[25] [23]

C. Li, Level raising mod2and obstruction to rank lowering,Int. Math. Res. Not. IMRN (2019), no. 8, 2332–2355. Author’s version

View on Pith 2019

[26] [24]

J. Coates, Y. Li, Y. Tian, and S. Zhai, Quadratic twists of elliptic curves,Proc. Lond. Math. Soc.(3)110(2015), no. 2, 357–394. doi:10.1112/plms/pdu059. arXiv:1312.3884v3

View on Pith Pith review arXiv 2015

[27] [25]

Y. Tian, Congruent numbers and Heegner points,Cambridge J. Math.2(2014), no. 1, 117–161. arXiv:1210.8231

View on Pith Pith review arXiv 2014

[28] [26]

Y. Tian, X. Yuan, and S.-W. Zhang, Genus periods, genus points and congruent number problem,Asian J. Math.21(2017), no. 4, 721–774. arXiv:1411.4728

View on Pith Pith review arXiv 2017

[29] [29]

Computational Algebra Group, University of Sydney,Magma Handbook, version 2.29: Mordell–Weil groups and descent methods, Selmer groups, accessed October 20, 2026

View on Pith 2026

[30] [30]

E. F. Schaefer,2-descent on the Jacobians of hyperelliptic curves,J. Number Theory51 (1995), no. 2, 219–232. doi:10.1006/jnth.1995.1044. 56

View on Pith doi:10.1006/jnth.1995.1044 1995