A proof of Perrin-Riou's Heegner point main conjecture
arXiv:1908.09512 · doi:10.2140/ant.2021.15.1627
Abstract
Let be an elliptic curve of conductor , let be a prime where has good ordinary reduction, and let be an imaginary quadratic field satisfying the Heegner hypothesis. In 1987, Perrin-Riou formulated an Iwasawa main conjecture for the Tate-Shafarevich group of over the anticyclotomic -extension of in terms of Heegner points. In this paper, we give a proof of Perrin-Riou's conjecture under mild hypotheses. Our proof builds on Howard's theory of bipartite Euler systems and Wei Zhang's work on Kolyvagin's conjecture. In the case when splits in , we also obtain a proof of the Iwasawa-Greenberg main conjecture for the -adic -functions of Bertolini-Darmon-Prasanna.
22 pages. Revised version, to appear in Algebra & Number Theory