TY - JOUR
T1 - p∞ -Selmer groups and rational points on CM elliptic curves
AU - Burungale, Ashay
AU - Castella, Francesc
AU - Skinner, Christopher
AU - Tian, Ye
N1 - Funding Information:
We thank Matthias Flach, Jacob Ressler and Qiyao Yu for helpful discussions. We also thank Henri Darmon and Antonio Lei for giving us the opportunity to contribute to this special issue, and the anonymous referee for a detailed reading. During the preparation of this paper, A.B. was partially supported by the NSF grant DMS-2001409; F.C. was partially supported by the NSF grants DMS-1946136 and DMS-2101458; C.S. was partially supported by the Simons Investigator Grant #376203 from the Simons Foundation and by the NSF Grant DMS-1901985; Y.T. was partially supported by the NSFC grants #11688101 and #11531008.
Publisher Copyright:
© 2022, The Author(s).
PY - 2022/10
Y1 - 2022/10
N2 - Let E/ Q be a CM elliptic curve and p a prime of good ordinary reduction for E. We show that if Selp∞(E/Q) has Zp-corank one, then E(Q) has a point of infinite order. The non-torsion point arises from a Heegner point, and thus ords=1L(E,s)=1, yielding a p-converse to a theorem of Gross–Zagier, Kolyvagin, and Rubin in the spirit of [49, 54]. For p> 3 , this gives a new proof of the main result of [12], which our approach extends to all primes. The approach generalizes to CM elliptic curves over totally real fields [4].
AB - Let E/ Q be a CM elliptic curve and p a prime of good ordinary reduction for E. We show that if Selp∞(E/Q) has Zp-corank one, then E(Q) has a point of infinite order. The non-torsion point arises from a Heegner point, and thus ords=1L(E,s)=1, yielding a p-converse to a theorem of Gross–Zagier, Kolyvagin, and Rubin in the spirit of [49, 54]. For p> 3 , this gives a new proof of the main result of [12], which our approach extends to all primes. The approach generalizes to CM elliptic curves over totally real fields [4].
KW - Elliptic waves
KW - Heegen points
KW - L-functions
KW - P-adic
KW - Selmen groups
UR - http://www.scopus.com/inward/record.url?scp=85128979211&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85128979211&partnerID=8YFLogxK
U2 - 10.1007/s40316-022-00203-y
DO - 10.1007/s40316-022-00203-y
M3 - Article
AN - SCOPUS:85128979211
SN - 2195-4755
VL - 46
SP - 325
EP - 346
JO - Annales Mathematiques du Quebec
JF - Annales Mathematiques du Quebec
IS - 2
ER -