Anticyclotomic Iwasawa theory of abelian varieties of GL₂-type at non-ordinary primes II
Pith reviewed 2026-05-24 06:12 UTC · model grok-4.3
The pith
The paper proves a p-converse to Gross-Zagier and Kolyvagin for semistable elliptic curves at supersingular primes p≥5.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is that the minus main conjecture among the plus/minus Heegner point main conjectures holds for semistable elliptic curves E/Q with good supersingular reduction at p≥5 when p is inert in K; this is proved using Howard's bipartite Euler systems together with Zhang's resolution of Kolyvagin's conjecture and the cyclotomic main conjecture at non-ordinary primes, and it produces the stated p-converse to the Gross-Zagier and Kolyvagin theorem.
What carries the argument
Howard's framework of bipartite Euler systems, which carries the argument by relating the Heegner point main conjectures to known cyclotomic results and Kolyvagin's theorem.
If this is right
- The p-converse theorem holds: if the analytic rank of E over K is one then the Mordell-Weil rank is one and the p-primary part of Sha(E/K) is finite.
- Sprung-type main conjectures hold for GL2-type abelian varieties at non-ordinary primes when p splits in K, under the stated conditions.
- The minus main conjecture holds in the inert case for semistable curves, complementing the split-case results of Castella-Wan.
- The results rely on and extend the cyclotomic main conjecture at non-ordinary primes.
Where Pith is reading between the lines
- The methods could be tested numerically by verifying the main conjecture predictions for specific semistable curves at small supersingular primes such as p=5 or p=7.
- If the semistable hypothesis can be relaxed using the same Euler-system techniques, the p-converse would apply to a larger class of curves.
- The bipartite Euler system framework may connect to similar Iwasawa-theoretic statements for higher-dimensional abelian varieties of GL2-type.
Load-bearing premise
The semistable hypothesis on the elliptic curve is required for the proofs in both the split and inert cases to go through.
What would settle it
An explicit semistable elliptic curve E with good supersingular reduction at some p≥5, root number -1 over K, analytic rank one, but Mordell-Weil rank greater than one or infinite p-part of Sha, would falsify the p-converse.
read the original abstract
Let $E/\mathbb{Q}$ an elliptic curve with good supersingular reduction at a prime $p\geq 5$, and $K$ an imaginary quadratic field such that the root number of $E$ over $K$ equals $-1$. When $p$ splits in $K$, Castella and Wan formulated the plus/minus Heegner point main conjectures for $E$ along the anticyclotomic $\mathbb{Z}_p$-extension of $K$, and proved them for semistable curves. We generalize their results to two settings: 1. For $p$ split in $K$, we formulate Sprung-type main conjectures for $\mathrm{GL}_2$-type abelian varieties at non-ordinary primes and prove them under some conditions. 2. For $p$ inert in $K$, we formulate, relying on the work of the first-named author with Kobayashi and Ota, plus/minus Heegner point main conjectures for elliptic curves, and prove the minus main conjecture for semistable curves. The latter yields a $p$-converse to the Gross--Zagier and Kolyvagin theorem for semistable elliptic curves $E$ at supersingular primes $p\geq 5$, complementing the pioneering $p$-converse theorems of Skinner and Zhang. Our method relies on Howard's framework of bipartite Euler systems, Zhang's resolution of Kolyvagin's conjecture and the recent proof of cyclotomic main conjecture at non-ordinary primes.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript generalizes plus/minus Heegner-point main conjectures in the anticyclotomic Iwasawa theory of elliptic curves and abelian varieties of GL₂-type at good supersingular primes p ≥ 5. For p split in the imaginary quadratic field K it formulates Sprung-type main conjectures and proves them under unspecified conditions; for p inert in K it formulates plus/minus conjectures (relying on prior work of the first author with Kobayashi–Ota) and proves the minus conjecture for semistable curves. The latter is used to obtain a p-converse to the Gross–Zagier–Kolyvagin theorem, complementing Skinner–Zhang.
Significance. If the derivations are complete, the work supplies the first p-converse statements at supersingular primes in the inert case and extends the plus/minus formalism to GL₂-type abelian varieties, using Howard’s bipartite Euler systems, Zhang’s Kolyvagin resolution, and the cyclotomic main conjecture at non-ordinary primes. These are concrete advances in the non-ordinary Iwasawa theory of Heegner points.
major comments (3)
- [§3] §3 (inert-case formulation): the minus main conjecture is stated to follow from the plus/minus setup of the first author–Kobayashi–Ota together with Howard’s bipartite Euler system and Zhang’s resolution; the manuscript must explicitly verify that the local conditions at the supersingular prime p (inert in K) produce the required signed Heegner classes without additional restrictions on the semistable reduction or on the choice of the anticyclotomic extension.
- [Theorem 5.3] Theorem 5.3 (p-converse): the deduction that the minus main conjecture implies the p-converse to Gross–Zagier–Kolyvagin for semistable E at supersingular p ≥ 5 is load-bearing; the argument must confirm that the Euler-system classes remain non-trivial after the sign change and that the Kolyvagin system does not vanish for the same reason as in the ordinary case.
- [§2.2] §2.2 (Sprung-type conjectures): the formulation for GL₂-type abelian varieties at split primes invokes an unspecified set of “some conditions”; these conditions must be stated explicitly and shown to be satisfied by the semistable elliptic curves treated in the inert case, or the two settings cannot be compared.
minor comments (2)
- [Abstract] The abstract and introduction should list the precise hypotheses (e.g., semistable at all primes dividing the conductor, root number −1 over K) under which each main conjecture is proved.
- [§2–§3] Notation for the plus/minus Selmer groups and the signed Heegner points should be uniform between the split and inert sections to avoid confusion when the two settings are compared.
Simulated Author's Rebuttal
We are grateful to the referee for their thorough review and valuable suggestions. We address each of the major comments below, indicating the changes we will implement in the revised manuscript.
read point-by-point responses
-
Referee: [§3] §3 (inert-case formulation): the minus main conjecture is stated to follow from the plus/minus setup of the first author–Kobayashi–Ota together with Howard’s bipartite Euler system and Zhang’s resolution; the manuscript must explicitly verify that the local conditions at the supersingular prime p (inert in K) produce the required signed Heegner classes without additional restrictions on the semistable reduction or on the choice of the anticyclotomic extension.
Authors: We agree that an explicit verification would strengthen the presentation. In the revised version, we will insert a detailed paragraph or subsection in §3 explaining how the local conditions at the supersingular prime p, for semistable reduction and the standard anticyclotomic extension, yield the signed Heegner classes as defined in the plus/minus setup of the first author with Kobayashi and Ota. This verification relies on the compatibility already established in that prior work and does not impose additional restrictions. revision: yes
-
Referee: [Theorem 5.3] Theorem 5.3 (p-converse): the deduction that the minus main conjecture implies the p-converse to Gross–Zagier–Kolyvagin for semistable E at supersingular p ≥ 5 is load-bearing; the argument must confirm that the Euler-system classes remain non-trivial after the sign change and that the Kolyvagin system does not vanish for the same reason as in the ordinary case.
Authors: We will revise the proof of Theorem 5.3 to include explicit confirmation that the Euler-system classes remain non-trivial after the sign change, adapting the non-vanishing arguments from the ordinary case to the supersingular setting using the minus main conjecture. Additionally, we will clarify that the Kolyvagin system does not vanish for reasons analogous to those in the ordinary case, drawing on Zhang's resolution of Kolyvagin's conjecture. revision: yes
-
Referee: [§2.2] §2.2 (Sprung-type conjectures): the formulation for GL₂-type abelian varieties at split primes invokes an unspecified set of “some conditions”; these conditions must be stated explicitly and shown to be satisfied by the semistable elliptic curves treated in the inert case, or the two settings cannot be compared.
Authors: The phrase 'some conditions' in the abstract and §2.2 refers to the technical assumptions needed for the formulation of Sprung-type main conjectures, including the existence of the relevant p-adic L-functions and their compatibility with the cyclotomic main conjecture at non-ordinary primes. In the revision, we will explicitly list these conditions in §2.2 and demonstrate that they hold for the semistable elliptic curves considered in the inert case, thereby allowing a direct comparison between the split and inert settings. revision: yes
Circularity Check
No significant circularity; derivation builds on external frameworks
full rationale
The paper formulates and proves main conjectures in new settings (Sprung-type for split case; plus/minus for inert case) and derives the p-converse from the minus conjecture proof. The inert-case formulation cites prior work by the first author with Kobayashi and Ota, but this is a standard reference for setup rather than a load-bearing reduction of the current proofs. The method explicitly invokes Howard's bipartite Euler systems, Zhang's Kolyvagin resolution, and the cyclotomic main conjecture at non-ordinary primes as independent inputs. No equations, fitted parameters, or self-definitional steps are exhibited that reduce the claimed results to the paper's own inputs by construction. The derivation is therefore self-contained against the cited external benchmarks.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
K atz type p -adic L -functions for primes p non-split in the CM field, 2019
Fabrizio Andreatta and Adrian Iovita. K atz type p -adic L -functions for primes p non-split in the CM field, 2019. Preprint, ar X iv:1905.00792
-
[2]
Anticyclotomic I wasawa theory of abelian varieties of GL_2 -type at non-ordinary primes, 2022
Ashay Burungale, K\^ a zim B\" u y\" u kboduk, and Antonio Lei. Anticyclotomic I wasawa theory of abelian varieties of GL_2 -type at non-ordinary primes, 2022. Preprint, arXiv:2211.03722
-
[3]
A proof of P errin- R iou's H eegner point main conjecture
Ashay Burungale, Francesc Castella, and Chan-Ho Kim. A proof of P errin- R iou's H eegner point main conjecture. Algebra Number Theory , 15(7):1627--1653, 2021
work page 2021
-
[4]
Massimo. Bertolini and Henri Darmon. Heegner points on M umford- T ate curves. Invent. Math. , 126(3):413--456, 1996
work page 1996
-
[5]
Iwasawa's main conjecture for elliptic curves over anticyclotomic Z_p -extensions
Massimo Bertolini and Henri Darmon. Iwasawa's main conjecture for elliptic curves over anticyclotomic Z_p -extensions. Ann. of Math. (2) , 162(1):1--64, 2005
work page 2005
-
[6]
Generalized Heegner cycles and p -adic Rankin L -series
Massimo Bertolini , Henri Darmon , and Kartik Prasanna . Generalized Heegner cycles and p -adic Rankin L -series. Duke Math. J. , 162(6):1033--1148, 2013
work page 2013
-
[7]
Selmer groups and H eegner points in anticyclotomic Z_p -extensions
Massimo Bertolini. Selmer groups and H eegner points in anticyclotomic Z_p -extensions. Compositio Math. , 99(2):153--182, 1995
work page 1995
-
[8]
Rubin's conjecture on local units in the anticyclotomic tower at inert primes
Ashay Burungale, Shinichi Kobayashi, and Kazuto Ota. Rubin's conjecture on local units in the anticyclotomic tower at inert primes. Ann. of Math. (2) , 194(3):943--966, 2021
work page 2021
-
[9]
p -adic L -functions and rational points on CM elliptic curves at inert primes, 2023
Ashay Burungale, Shinichi Kobayashi, and Kazuto Ota. p -adic L -functions and rational points on CM elliptic curves at inert primes, 2023. to appear in J. Inst. Math. Jussieu, https://doi.org/10.1017/S147474802300021X
-
[10]
The anticyclotomic main conjectures for elliptic curves, 2023
Massimo Bertolini, Matteo Longo, and Rodolfo Venerucci. The anticyclotomic main conjectures for elliptic curves, 2023. Preprint, arXiv:2306.17784
-
[11]
Burungale, Christopher Skinner, and Ye Tian
Ashay A. Burungale, Christopher Skinner, and Ye Tian. The B irch and S winnerton- D yer conjecture: a brief survey. In Nine mathematical challenges---an elucidation , volume 104 of Proc. Sympos. Pure Math. , pages 11--29. Amer. Math. Soc., Providence, RI, 2021
work page 2021
-
[12]
Burungale, Christopher Skinner, Ye Tian, and Xin Wan
Ashay A. Burungale, Christopher Skinner, Ye Tian, and Xin Wan. Zeta elements for elliptic curves and applications, 2023. Preprint
work page 2023
- [13]
- [14]
-
[15]
K\^ a z m B \" u y \" u kboduk. -adic K olyvagin systems. IMRN , 2011(14):3141--3206, 2011
work page 2011
-
[16]
Deformations of K olyvagin systems
K\^ a z m B \"u y \"u kboduk. Deformations of K olyvagin systems. Ann. Math. Qu\' e . , 40(2):251--302, 2016
work page 2016
-
[17]
Integral models of certain S himura curves
Kevin Buzzard. Integral models of certain S himura curves. Duke Math. J. , 87(3):591--612, 1997
work page 1997
-
[18]
On the Iwasawa main conjectures for modular forms at non-ordinary primes
Francesc Castella, Mirela Ciperiani, Christopher Skinner, and Florian Sprung. The I wasawa main conjectures for modular forms at non-ordinary primes, 2018. preprint, arXiv:1804.10993
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[19]
On the anticyclotomic I wasawa main conjecture for modular forms
Masataka Chida and Ming-Lun Hsieh. On the anticyclotomic I wasawa main conjecture for modular forms. Compos. Math. , 151(5):863--897, 2015
work page 2015
-
[20]
Special values of anticyclotomic L -functions for modular forms
Masataka Chida and Ming-Lun Hsieh. Special values of anticyclotomic L -functions for modular forms. J. Reine Angew. Math. , 741:87--131, 2018
work page 2018
-
[21]
Francesc Castella, Chi-Yun Hsu, Debanjana Kundu, Yu-Shen Lee, and Zheng Liu. Derived p -adic heights and the leading coefficient of the Bertolini--Darmon--Prasanna p -adic L -function , 2023. preprint, arXiv:2308.10474
-
[22]
Francesc Castella, Zheng Liu, and Xin Wan. Iwasawa- G reenberg main conjecture for nonordinary modular forms and E isenstein congruences on GU (3,1). Forum Math. Sigma , 10:Paper No. e110, 90, 2022
work page 2022
-
[23]
Explicit G ross- Z agier and W aldspurger formulae
Li Cai, Jie Shu, and Ye Tian. Explicit G ross- Z agier and W aldspurger formulae. Algebra Number Theory , 8(10):2523--2572, 2014
work page 2014
-
[24]
Perrin-Riou’s main conjecture for elliptic curves at supersingular primes , 2023
Francesc Castella and Xin Wan. Perrin-Riou’s main conjecture for elliptic curves at supersingular primes , 2023. to appear in Math. Ann. https://doi.org/10.1007/s00208-023-02711-w
-
[25]
On the B irch- S winnerton- D yer quotients modulo squares
Tim Dokchitser and Vladimir Dokchitser. On the B irch- S winnerton- D yer quotients modulo squares. Ann. of Math. (2) , 172(1):567--596, 2010
work page 2010
-
[26]
The anticyclotomic main conjecture for elliptic curves at supersingular primes
Henri Darmon and Adrian Iovita. The anticyclotomic main conjecture for elliptic curves at supersingular primes. J. Inst. Math. Jussieu , 7(2):291--325, 2008
work page 2008
-
[27]
Bas Edixhoven. Serre's conjecture. In Modular forms and F ermat's last theorem ( B oston, MA , 1995) , pages 209--242. Springer, New York, 1997
work page 1995
-
[28]
Nonvanishing theorems for automorphic L -functions on GL (2)
Solomon Friedberg and Jeffrey Hoffstein. Nonvanishing theorems for automorphic L -functions on GL (2) . Ann. of Math. (2) , 142(2):385--423, 1995
work page 1995
-
[29]
Najmuddin Fakhruddin, Chandrashekhar Khare, and Stefan Patrikis. Relative deformation theory, relative S elmer groups, and lifting irreducible G alois representations. Duke Math. J. , 170(16):3505--3599, 2021
work page 2021
-
[30]
The Iwasawa Main Conjecture for universal families of modular motives , 2021
Olivier Fouquet and Xin Wan. The Iwasawa Main Conjecture for universal families of modular motives , 2021. preprint, arXiv:2107.13726
-
[31]
Benedict H. Gross and James A. Parson. On the local divisibility of H eegner points. In Number theory, analysis and geometry , pages 215--241. Springer, New York, 2012
work page 2012
-
[32]
Benedict H. Gross and Don B. Zagier. Heegner points and derivatives of L -series. Invent. Math. , 84(2):225--320, 1986
work page 1986
-
[33]
On maps between modular J acobians and J acobians of S himura curves
David Helm. On maps between modular J acobians and J acobians of S himura curves. Israel J. Math. , 160:61--117, 2007
work page 2007
-
[34]
The H eegner point K olyvagin system
Benjamin Howard. The H eegner point K olyvagin system. Compos. Math. , 140(6):1439--1472, 2004
work page 2004
-
[35]
Benjamin Howard. Bipartite E uler systems. J. Reine Angew. Math. , 597:1--25, 2006
work page 2006
-
[36]
The B irch and S winnerton- D yer formula for elliptic curves of analytic rank one
Dimitar Jetchev, Christopher Skinner, and Xin Wan. The B irch and S winnerton- D yer formula for elliptic curves of analytic rank one. Camb. J. Math. , 5(3):369--434, 2017
work page 2017
-
[37]
The parity conjecture for elliptic curves at supersingular reduction primes
Byoung Du Kim. The parity conjecture for elliptic curves at supersingular reduction primes. Compos. Math. , 143(1):47--72, 2007
work page 2007
-
[38]
Moduli of finite flat group schemes, and modularity
Mark Kisin. Moduli of finite flat group schemes, and modularity. Ann. of Math. (2) , 170(3):1085--1180, 2009
work page 2009
-
[39]
On the indivisibility of derived K ato's E uler systems and the main conjecture for modular forms
Chan-Ho Kim, Myoungil Kim, and Hae-Sang Sun. On the indivisibility of derived K ato's E uler systems and the main conjecture for modular forms. Selecta Math. (N.S.) , 26(2):Paper No. 31, 47, 2020
work page 2020
-
[40]
Nicholas M. Katz and Barry Mazur. Arithmetic moduli of elliptic curves , volume 108 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1985
work page 1985
-
[41]
Iwasawa theory for elliptic curves at supersingular primes
Shinichi Kobayashi. Iwasawa theory for elliptic curves at supersingular primes. Invent. Math. , 152(1):1--36, 2003
work page 2003
-
[42]
V. A. Kolyvagin. Finiteness of E( Q ) and CH(E, Q ) for a subclass of W eil curves. Izv. Akad. Nauk SSSR Ser. Mat. , 52(3):522--540, 670--671, 1988
work page 1988
-
[43]
Plus/minus H eegner points and I wasawa theory of elliptic curves at supersingular primes
Matteo Longo and Stefano Vigni. Plus/minus H eegner points and I wasawa theory of elliptic curves at supersingular primes. Boll. Unione Mat. Ital. , 12(3):315--347, 2019
work page 2019
-
[44]
Barry Mazur and Karl Rubin. Kolyvagin systems. Mem. Amer. Math. Soc. , 168(799):viii+96, 2004
work page 2004
-
[45]
Points de H eegner et d\' e riv\' e es de fonctions L p -adiques
Bernadette Perrin-Riou. Points de H eegner et d\' e riv\' e es de fonctions L p -adiques. Invent. Math. , 89(3):455--510, 1987
work page 1987
-
[46]
On anticyclotomic -invariants of modular forms
Robert Pollack and Tom Weston. On anticyclotomic -invariants of modular forms. Compositio Math. , 147(5):1353--1381, 2011
work page 2011
-
[47]
Stark systems over G orenstein local rings
Ryotaro Sakamoto. Stark systems over G orenstein local rings. Algebra Number Theory , 12(10):2295--2326, 2018
work page 2018
-
[48]
A converse to a theorem of G ross, Z agier, and K olyvagin
Christopher Skinner. A converse to a theorem of G ross, Z agier, and K olyvagin. Ann. of Math. (2) , 191(2):329--354, 2020
work page 2020
-
[49]
The I wasawa main conjectures for GL_2
Christopher Skinner and Eric Urban. The I wasawa main conjectures for GL_2 . Invent. Math. , 195(1):1--277, 2014
work page 2014
-
[50]
Kolyvagin's conjecture and patched E uler systems in anticyclotomic I wasawa theory
Naomi Sweeting. Kolyvagin's conjecture and patched E uler systems in anticyclotomic I wasawa theory. Preprint, ar X iv:2012.11771, 2020
-
[51]
I wasawa M ain C onjecture for S upersingular E lliptic C urves, 2014
Xin Wan. I wasawa M ain C onjecture for S upersingular E lliptic C urves, 2014. preprint, ar X iv:1411.6352
-
[52]
Heegner point K olyvagin system and I wasawa main conjecture
Xin Wan. Heegner point K olyvagin system and I wasawa main conjecture. Acta Math. Sin. (Engl. Ser.) , 37(1):104--120, 2021
work page 2021
-
[53]
Selmer groups and the indivisibility of H eegner points
Wei Zhang. Selmer groups and the indivisibility of H eegner points. Camb. J. Math. , 2(2):191--253, 2014
work page 2014
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.