pith. sign in

arxiv: 2310.06813 · v2 · submitted 2023-10-10 · 🧮 math.NT

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

classification 🧮 math.NT
keywords anticyclotomic Iwasawa theoryHeegner pointsmain conjecturessupersingular primesp-converse theoremselliptic curvesGL2-type abelian varietiesEuler systems
0
0 comments X

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.

This paper generalizes plus/minus Heegner point main conjectures in the anticyclotomic Z_p-extension of an imaginary quadratic field K to elliptic curves and GL2-type abelian varieties at non-ordinary primes. When p splits in K, it formulates and proves Sprung-type main conjectures under some conditions. When p is inert in K, it formulates plus/minus Heegner point main conjectures relying on prior work and proves the minus version for semistable curves. A sympathetic reader cares because the inert case yields a p-converse theorem that controls the Mordell-Weil rank and the p-part of the Shafarevich-Tate group via Heegner points when the analytic rank is one.

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

These are editorial extensions of the paper, not claims the author makes directly.

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

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

3 major / 2 minor

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)
  1. [§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.
  2. [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.
  3. [§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)
  1. [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. [§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

3 responses · 0 unresolved

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

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

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

0 steps flagged

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

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no explicit free parameters, axioms, or invented entities are identifiable from the given text.

pith-pipeline@v0.9.0 · 5838 in / 1409 out tokens · 42759 ms · 2026-05-24T06:12:33.341509+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

53 extracted references · 53 canonical work pages · 1 internal anchor

  1. [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. [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. [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

  4. [4]

    Bertolini and Henri Darmon

    Massimo. Bertolini and Henri Darmon. Heegner points on M umford- T ate curves. Invent. Math. , 126(3):413--456, 1996

  5. [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

  6. [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

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

  8. [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

  9. [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. [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. [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

  12. [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

  13. [13]

    Burungale

    Ashay A. Burungale. On the non-triviality of the p -adic A bel- J acobi image of generalised H eegner cycles modulo p , II : S himura curves. J. Inst. Math. Jussieu , 16(1):189--222, 2017

  14. [14]

    Burungale

    Ashay A. Burungale. On the non-triviality of the p -adic A bel- J acobi image of generalised H eegner cycles modulo p , I : M odular curves. J. Algebraic Geom. , 29(2):329--371, 2020

  15. [15]

    -adic K olyvagin systems

    K\^ a z m B \" u y \" u kboduk. -adic K olyvagin systems. IMRN , 2011(14):3141--3206, 2011

  16. [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

  17. [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

  18. [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

  19. [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

  20. [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

  21. [21]

    Derived p -adic heights and the leading coefficient of the Bertolini--Darmon--Prasanna p -adic L -function , 2023

    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. [22]

    Iwasawa- G reenberg main conjecture for nonordinary modular forms and E isenstein congruences on GU (3,1)

    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

  23. [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

  24. [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. [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

  26. [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

  27. [27]

    Serre's conjecture

    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

  28. [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

  29. [29]

    Relative deformation theory, relative S elmer groups, and lifting irreducible G alois representations

    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

  30. [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. [31]

    Gross and James A

    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

  32. [32]

    Gross and Don B

    Benedict H. Gross and Don B. Zagier. Heegner points and derivatives of L -series. Invent. Math. , 84(2):225--320, 1986

  33. [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

  34. [34]

    The H eegner point K olyvagin system

    Benjamin Howard. The H eegner point K olyvagin system. Compos. Math. , 140(6):1439--1472, 2004

  35. [35]

    Bipartite E uler systems

    Benjamin Howard. Bipartite E uler systems. J. Reine Angew. Math. , 597:1--25, 2006

  36. [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

  37. [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

  38. [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

  39. [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

  40. [40]

    Katz and Barry Mazur

    Nicholas M. Katz and Barry Mazur. Arithmetic moduli of elliptic curves , volume 108 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 1985

  41. [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

  42. [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

  43. [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

  44. [44]

    Kolyvagin systems

    Barry Mazur and Karl Rubin. Kolyvagin systems. Mem. Amer. Math. Soc. , 168(799):viii+96, 2004

  45. [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

  46. [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

  47. [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

  48. [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

  49. [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

  50. [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. [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. [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

  53. [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