\(p^{\infty}\)-Selmer groups and rational points on CM elliptic curves
type: Item
instance of: scholarly article
title: \(p^{\infty}\)-Selmer groups and rational points on CM elliptic curves
author: Ashay A. Burungale
author: Francesc Castella
author: Ye Tian
author: Christopher M. Skinner
published in: Annales Mathématiques du Québec
publication date: 2022-10-09T00:00:00Z
review text: Let \(E/\mathbb{Q}\) be an elliptic curve, let \(L(E,s)\) be the \(L\)-function of \(E\), and let \(\mathrm{ord}_1( L(E,s))\) denote the order of vanishing of \(L(E,s)\) at \(s=1\). The celebrated theorem of Gross-Zagier, Kolyvagin, and Rubin states that if \(r:=\mathrm{ord}_1( L(E,s))\in \{0,1\}\), then the Mordell-Weil rank of \(E(\mathbb Q)\) is \(r\). Given a prime number \(p\), it is known as a \(p\)-converse of the celebrated theorem that if \(\mathrm{corank}_{\mathbb Z_p} \mathrm{Sel}_{p^\infty}(E/\mathbb Q)=1\), then \(\mathrm{ord}_1( L(E,s))=1\). Several \(p\)-converse theorems are available in the literature. The authors of the paper under review prove the following result, and a similar result for CM abelian varieties. Suppose that \(E\) has complex multiplication by an order of an imaginary quadratic field \(K\) of discriminant \(-D<0\), and that the Hecke character associated to \(E\) has conductor exactly divisible by the ideal generated by \(\sqrt{-D}\). Let \(p\) be a prime of good ordinary reduction for \(E\). Then, \(\mathrm{corank}_{\mathbb Z_p} \mathrm{Sel}_{p^\infty}(E/\mathbb Q)=1\) implies that \(\mathrm{ord}_1( L(E,s))=1\). In particular, if \(\mathrm{corank}_{\mathbb Z_p} \mathrm{Sel}_{p^\infty}(E/\mathbb Q)=1\), then the Mordell-Weil rank of \(E\) is \(1\), and the Tate-Shafarevich group of \(E\) is finite. This implies that if \(E\) has no rational \(p\)-torsion points, and the \(p\)-Selmer group of \(E\) has dimension \(1\), then \(\mathrm{ord}_1( L(E,s))=1\) and the \(p^\infty\)-torsion of the Tate-Shafarevich group of \(E\) is trivial. For prime \(p>3\), this result was first proved in [\textit{A. A. Burungale} and \textit{Y. Tian}, Invent. Math. 220, No. 1, 211--253 (2020; Zbl 1452.11068)]. However, the approach of the work under review is different, and has advantage of being generalized to CM elliptic curves over totally real fields, which will be explored in their follow-up paper. The \(p\)-converse theorem is also independently pro…
reviewed by: Sungkon Chang
Mathematics Subject Classification ID: 11G05
Mathematics Subject Classification ID: 11G40
zbMATH DE Number: 7598385
zbMATH Keywords: \(L\)-functions
zbMATH Keywords: \(p\)-adic
zbMATH Keywords: Selmen groups
zbMATH Keywords: elliptic waves
zbMATH Keywords: Heegen points
MaRDI profile type: Publication
full work available at URL: s40316-022-00203-y
OpenAlex ID: W4284889157
cites work: Anticyclotomic Iwasawa theory of CM elliptic curves
cites work: Anticyclotomic main conjectures for CM modular forms
cites work: A proof of Perrin-Riou's Heegner point main conjecture
cites work: On the non-vanishing of \(p\)-adic heights on CM abelian varieties, and the arithmetic of Katz \(p\)-adic \(L\)-functions
cites work: \(p\)-adic Rankin \(L\)-series and rational points on CM elliptic curves
cites work: Generalized Heegner cycles and \(p\)-adic Rankin \(L\)-series. With an appendix by Brian Conrad
cites work: Q3972724
cites work: Anticyclotomic p-adic L-function of Central Critical Rankin-Selberg L-value
cites work: \(p\)-converse to a theorem of Gross-Zagier, Kolyvagin and Rubin
cites work: The even parity Goldfeld conjecture: congruent number elliptic curves
cites work: On the -invariant of the cyclotomic derivative of a Katzp-adic -function
cites work: ON THE -ADIC VARIATION OF HEEGNER POINTS
cites work: p-adic heights of Heegner points and Beilinson-Flach classes
cites work: Kummer theory for abelian varieties over local fields
cites work: On the anticyclotomic Iwasawa theory of rational elliptic curves at Eisenstein primes
cites work: Heegner cycles and \(p\)-adic \(L\)-functions
cites work: Explicit Gross-Zagier and Waldspurger formulae
cites work: The -adic Gross–Zagier formula on Shimura curves
cites work: Q3828097
cites work: Q3207116
cites work: On the critical values of Hecke \(L\)-functions for imaginary quadratic fields
cites work: Q4297081
cites work: Q4702588
cites work: On the \(\mu\)-invariant of anticyclotomic \(p\)-adic \(L\)-functions for CM fields
cites work: Special values of anticyclotomic Rankin-Selberg \(L\)-functions
cites work: Anti-cyclotomic Katz $p$-adic $L$-functions and congruence modules
cites work: On the equivariant main conjecture for imaginary quadratic fields
cites work: \(p\)-adic \(L\)-functions for CM fields
cites work: Iwasawa theory and p-adic L-functions over ${\mathbb Z}_{p}^{2}$-extensions
cites work: A \(p\)-adic Waldspurger formula
cites work: On the parity of ranks of Selmer groups. II
cites work: Q3499984
cites work: Level raising and anticyclotomic Selmer groups for Hilbert modular forms of weight two
cites work: Points of finite order on elliptic curves with complex multiplication
cites work: On the \(\mu\)-invariant of Katz \(p\)-adic \(L\)-functions attached to imaginary quadratic fields
cites work: Fonctions $L$ $p$-adiques, théorie d'Iwasawa et points de Heegner
cites work: Iwasawa theory of \(p\)-adic representations over a local field
cites work: On \(L\)-functions of elliptic curves and anticyclotomic towers
cites work: The ``main conjectures'' of Iwasawa theory for imaginary quadratic fields
cites work: \(p\)-adic \(L\)-functions and rational points on elliptic curves with complex multiplication
cites work: Q4314326
cites work: Euler Systems
cites work: On the zeta-function of an abelian variety with complex multiplication
cites work: A converse to a theorem of Gross, Zagier, and Kolyvagin
cites work: Heegner point Kolyvagin system and Iwasawa main conjecture
cites work: The Gross-Zagier Formula on Shimura Curves
cites work: Selmer groups and the indivisibility of Heegner points
DOI: 10.1007/S40316-022-00203-Y
description: scientific article; zbMATH DE number 7598385