Abstract
Let \(E/{\mathbb {Q}}\) be a CM elliptic curve and p a prime of good ordinary reduction for E. We show that if \(\text {Sel}_{p^\infty }(E/{\mathbb {Q}})\) has \({\mathbb {Z}}_p\)-corank one, then \(E({\mathbb {Q}})\) has a point of infinite order. The non-torsion point arises from a Heegner point, and thus \({{\,\textrm{ord}\,}}_{s=1}L(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].
Résumé
Soit \(E/{\mathbb {Q}}\) une courbe elliptique à multiplication complexe et p un nombre premier de bonne réduction ordinaire pour E. Nous montrons que si \({\textrm{corank}}_{{\mathbb {Z}}_p}{\textrm{Sel}}_{p^\infty }(E/{\mathbb {Q}})=1\), alors E a un point d’ordre infini. Le point de non-torsion provient d’un point de Heegner, et donc \({{{\textrm{ord}}}}_{s=1}L(E,s)=1\), ce qui donne une réciproque à un théorème de Gross–Zagier, Kolyvagin, et Rubin dans l’esprit de [49, 54]. Pour \(p>3\), cela donne une nouvelle preuve du résultat principal de [12], que notre approche étend à tous les nombres premiers. L’approche se généralise aux courbes elliptiques à multiplication complexe sur les corps totalement réels [4].
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Starting with [49, 54], several works have been devoted to p-converses to a celebrated theorem of Gross–Zagier, Kolyvagin, and Rubin: If the \(p^\infty \)-Selmer group \({\textrm{Sel}}_{p^\infty }(E/{\mathbb {Q}})\) has \({\mathbb {Z}}_p\)-corank 1 for an elliptic curve \(E/{\mathbb {Q}}\), then \({{{\textrm{ord}}}}_{s=1}L(E,s)=1\). Besides being an evidence for the Birch and Swinnerton-Dyer conjecture, an important impetus for the p-converse theorems has come from recent developments in arithmetic statistics. For instance, such p-converse theorems have led to the proof [10] that a large proportion of elliptic curves over \({\mathbb {Q}}\)—and conditionally, \(100\%\) of them—satisfy the Birch and Swinnerton-Dyer conjecture.
The p-converse theorems of [49, 54] are obtained by exhibiting a certain Heegner point on E with infinite order, and hold for primes \(p>3\) of good ordinary reduction of E, and under certain hypotheses that excluded the CM elliptic curves.
Our main result is the following CM p-converse theorem. For primes \(p>3\), the result was first proved in [12].
Theorem A
Let \(E/{\mathbb {Q}}\) be an elliptic curve with complex multiplication by an order of an imaginary quadratic field \(\mathcal {K}\) of discriminant \(-D_{\mathcal {K}}<0\). Assume that the Hecke character associated to E has conductor exactly divisible by \({\mathfrak {d}}_{\mathcal {K}}:=(\sqrt{-D_{\mathcal {K}}})\). Let p be a prime of good ordinary reduction for E. Then
In particular, if \({\textrm{corank}}_{{\mathbb {Z}}_p}{\textrm{Sel}}_{p^\infty }(E/{\mathbb {Q}})=1\) then \({\textrm{rank}}_{\mathbb {Z}}E({\mathbb {Q}})=1\) and .
Note that the ‘in particular’ clause in Theorem A follows from combining its conclusion with the fundamental work of Gross–Zagier, Kolyvagin, and Rubin. In turn, this consequence yields the following mod p criterion for analytic rank one.
Corollary B
Let \((E,\mathcal {K})\) be as in Theorem A, and let p be a prime of good ordinary reduction for E such that :
-
(i)
\(E({\mathbb {Q}})[p]=0;\)
-
(ii)
\({\textrm{Sel}}_p(E/{\mathbb {Q}})\simeq {\mathbb {Z}}/p{\mathbb {Z}},\) where \({\textrm{Sel}}_p(E/{\mathbb {Q}})\subset {\textrm{H}}^1({\mathbb {Q}},E[p])\) is the p-Selmer group of E.
Then \({{{\textrm{ord}}}}_{s=1}L(E,s)=1\) and .
More generally, we prove a p-converse for CM abelian varieties \(B_\lambda /\mathcal {K}\) associated with Hecke characters \(\lambda \) over \(\mathcal {K}\) of infinity type \((-1,0)\) (see Theorem 8.2).
Our approach to the CM p-converse differs from [12]. A salient feature is that the approach generalizes to CM elliptic curves over totally real fields: It sidesteps the inherence of elliptic units in [12], and leads to the first p-converse theorems over general totally real fields. This note might thus be viewed as a prelude to [4].
The conductor hypothesis in Theorem A arises from an appeal to [19] which supposes a classical Heegner hypothesis. This hypothesis may be removed (cf. [3, 4]) via the p-adic Waldspurger formula of Liu–Zhang–Zhang [34], whose habitat is the general Yuan–Zhang–Zhang framework [53]. (The hypothesis is not present in [12], thanks to Disegni’s p-adic Gross–Zagier formula [22], also in the framework of [53].)
Remark C
The p-converse as in Theorem A is independently due to Ressler and Yu [47, 52]. Complementing the present note, their approach builds on [12] and does not require the conductor hypothesis. A key new element in their work is a counterpart of the main results of Agboola–Howard [1] for small primes.
Remark D
A spectacular result of Smith [50] reduces Goldfeld’s conjecture [24] for CM elliptic curves \(E/{\mathbb {Q}}\) with \(E({\mathbb {Q}})[2]\simeq ({\mathbb {Z}}/2{\mathbb {Z}})^2\) and admitting no rational cyclic 4-isogeny to the CM p-converse and its rank zero analogue for the prime \(p=2\). The unconditional rank zero CM p-converse is in fact proved in [11, 13]. Unfortunately, Theorem A falls short of providing the desired rank one CM p-converse: First, E should be allowed to have just potentially good ordinary reduction at p (this might be approachable by our strategy); the second—and the main—hindrance is that \({\mathbb {Q}}(\sqrt{-7})\) is the only imaginary quadratic field of class number 1 with 2 split, and incidentally \(E({\mathbb {Q}})[2]\simeq {\mathbb {Z}}/2{\mathbb {Z}}\) for all elliptic curves \(E/{\mathbb {Q}}\) with CM by \({\mathbb {Q}}(\sqrt{-7})\) (see e.g. the table in [38, p. 2]).
The approach Assuming and \(p\not \mid \#\mathcal {O}_{\mathcal {K}}^{\times }\), the p-converse as in Theorem A goes back to Rubin [45, Thm. 4]. Around the same time, Rubin proved a striking formula [44] which expresses the p-adic formal group logarithm of a point \(P\in E({\mathbb {Q}})\otimes _{{\mathbb {Z}}}{\mathbb {Z}}_p\) in terms of the value of a Katz p-adic L-function outside its range of interpolation. Our approach to Theorem A is inspired by the p-adic Waldspurger formula of Bertolini–Darmon–Prasanna [7], which is a remarkable generalization of Rubin’s formula, and sheds new light on [44] (cf. [6]).
Let \(E/{\mathbb {Q}}\) be an elliptic curve with CM by an imaginary quadratic field \(\mathcal {K}\), and p a prime of good ordinary reduction. Let \(\lambda \) be the Hecke character over \(\mathcal {K}\) associated with E so that
In view of a non-vanishing result of Rohrlich [42], we pick a pair \((\psi ,\chi )\) of Hecke characters over \(\mathcal {K}\) with \(\chi \) of finite order such that
where \(\psi ^{*}:=\psi \circ c\) is the composition of \(\psi \) with the non-trivial automorphism of \(\mathcal {K}/{\mathbb {Q}}\). For \(f=\theta _\psi \) the theta series associated to \(\psi \), the main result of [7] relates the p-adic formal group logarithm of a Heegner point \(P_{\psi ,\chi }\in B_{\psi ,\chi }(\mathcal {K})\) to a value (outside the range of interpolation) of a p-adic Rankin L-series \({\mathscr {L}}_v(f,\chi )\). Here \(B_{\psi ,\chi }\) is a CM abelian variety over \(\mathcal {K}\) endowed with a \(\mathcal {K}\)-rational map \(i_\lambda :B_{\psi ,\chi }\rightarrow E\). By the Gross–Zagier formula [53], \(P_{\psi ,\chi }\) is non-torsion if and only if \(L'(f,\chi ,1)\ne 0\). Setting
one thus obtains a point on E which, in light of (1.1) and the factorization
is non-torsion if and only if \({{{\textrm{ord}}}}_{s=1}L(E,s)=1\).
Now, Theorem A is equivalent to: If \({\textrm{Sel}}_{p^\infty }(E/{\mathbb {Q}})\) has \({\mathbb {Z}}_p\)-corank 1, then \(P_{\mathcal {K}}\) is non-torsion. In [12] the non-triviality is shown via the following.
-
(1)
The anticyclotomic Iwasawa main conjecture (IMC) for (Hecke characters over) \(\mathcal {K}\) in the root number \(+1\) case [43];
-
(2)
The anticyclotomic IMC for \(\mathcal {K}\) in the root number \(-1\) case [1, 2];
-
(3)
The non-vanishing of the \(\Lambda \)-adic regulator appearing in (2) [14];
-
(4)
The \(\Lambda \)-adic Gross–Zagier formula [22].
Here \(\Lambda \) denotes the anticyclotomic Iwasawa algebra over \(\mathcal {K}\) (with certain coefficients).
Bypassing (2), (3), and (4), our approach builds on the explicit reciprocity law [19], which realizes \({\mathscr {L}}_v(f,\chi )\) as the image of a \(\Lambda \)-adic Heegner class \({\textbf{z}}_{f,\chi }\) under a Perrin-Riou big logarithm map. Similarly as in [6], we establish a factorization
in Sect. 4 relating \({\mathscr {L}}_v(\theta _\psi ,\chi )^2\) to the product of two Katz p-adic L-functions, mirroring (1.2).
Along with an analogous decomposition for Selmer groups shown in Sect. 3, the Iwasawa–Greenberg main conjecture for \({\mathscr {L}}_v(\theta _\psi ,\chi )^2\) is readily seen to be a consequence of the main results of [31, 43]. Building on the \(\Lambda \)-adic explicit reciprocity law, in Sect. 5 we prove the equivalence between the main conjecture for the p-adic L-function \({\mathscr {L}}_v(\theta _\psi ,\chi )^2\) and a different main conjecture formulated in terms of the zeta element \({\textbf{z}}_{f,\chi }\). Finally, the latter yields the implication
via a variant of Mazur’s control theorem.
Dedication The p-converse for CM elliptic curves \(E/{\mathbb {Q}}\) is due to Rubin if . The essence of our removal of this hypothesis is Iwasawa theory of Heegner points, as pioneered by Perrin-Riou [40]. The theory of big logarithm maps [41], another major contribution of Perrin-Riou, is also elemental to our approach. It is a great pleasure to dedicate this note to Bernadette Perrin-Riou as a humble gift on the occasion of her 65th birthday.
2 Preliminaries
Fix throughout a prime p, an algebraic closure \(\overline{{\mathbb {Q}}}\) of \({\mathbb {Q}}\), and embeddings \({\mathbb {C}}\overset{\imath _\infty }{\hookleftarrow }\overline{{\mathbb {Q}}}\overset{\imath _p}{\hookrightarrow }{\mathbb {C}}_p\). Fix also an imaginary quadratic field \(\mathcal {K}\) of discriminant \(-D_{\mathcal {K}}<0\) and ring of integers \(\mathcal {O}_{\mathcal {K}}\).
2.1 CM abelian varieties
We say that a Hecke character \(\psi :{\mathcal {K}}^\times \backslash {\mathbb {A}}_{\mathcal {K}}^\times \rightarrow {\mathbb {C}}^\times \) has infinity type \((a,b)\in {\mathbb {Z}}^2\) if, writing \(\psi =(\psi _v)_v\) with v running over the places of \(\mathcal {K}\), the component \(\psi _\infty \) satisfies \(\psi _\infty (z)=z^{a}\bar{z}^{b}\) for all \(z\in (\mathcal {K}\otimes _{\mathbb {Q}}{\mathbb {R}})^\times \simeq {\mathbb {C}}^\times \), where the identification is made via \(\imath _\infty \). Hence in particular the norm character \({\textbf{N}}_{\mathcal {K}}\), given by \({\mathfrak {q}}\mapsto \#(\mathcal {O}_{\mathcal {K}}/{\mathfrak {q}})\) on ideals of \(\mathcal {O}_{\mathcal {K}}\), has infinity type \((-1,-1)\). The central character of such \(\psi \) is the character \(\omega _\psi \) on \({\mathbb {A}}^\times \) defined by
where \({\textbf{N}}\) is the norm on \({\mathbb {A}}^\times \).
Our fixed embedding \(\imath _p\) defines a natural map \(\sigma :\mathcal {K}\otimes _{\mathbb {Q}}{\mathbb {Q}}_p\rightarrow {\mathbb {C}}_p\), and we let \(\overline{\sigma }:\mathcal {K}\otimes _{\mathbb {Q}}{\mathbb {Q}}_p\rightarrow {\mathbb {C}}_p\) be the composition of \(\sigma \) with the non-trivial automorphism of \(\mathcal {K}\). The p-adic avatar of a Hecke character \(\psi \) of infinity type (a, b) is the character \(\hat{\psi }:\mathcal {K}^\times \backslash {\mathbb {A}}_{\mathcal {K},{{\textrm{f}}}}^\times \rightarrow {\mathbb {C}}_p^\times \) given by
for all \(x\in {\mathbb {A}}_{\mathcal {K},{\textrm{f}}}^\times \), where \(x_p\in (\mathcal {K}\otimes {\mathbb {Q}}_p)^\times \) is the p-component of x.
Throughout the following, we shall often omit the notational distinction between an algebraic Hecke character and its p-adic avatar, as it will be clear from the context which one is meant.
Let \(\psi \) be an algebraic Hecke character of \(\mathcal {K}\) infinity type \((-1,0)\) with values in a number field \(F_\psi \subset \overline{{\mathbb {Q}}}\) with ring of integer \(\mathcal {O}_\psi \). Let \(\mathfrak {P}\) be the prime of \(F_\psi \) above p induced by \(\imath _p\), and denote by \(\Phi _\psi \) the completion of \(F_\psi \) at \(\mathfrak {P}\) and by \({\mathscr {O}}_\psi \) the ring of integers of \(\Phi _\psi \). By a well-known theorem of Casselman’s (see [6, Thm. 2.5] and the reference [48, Thm. 6] therein), attached to \(\psi \) there is a CM abelian variety \(B_{\psi /\mathcal {K}}\), unique up to isogeny over \(\mathcal {K}\), with the property that
as one-dimensional \(\Phi _\psi \)-representations of \(G_{\mathcal {K}}\), where \(V_\mathfrak {P}B_\psi =\bigl (\varprojlim B_\psi [\mathfrak {P}^j]\bigr )\otimes _{{\mathscr {O}}_\psi }\Phi _\psi \) is the rational \(\mathfrak {P}\)-adic Tate module of \(B_\psi \).
2.2 Heegner points
Let \(f\in S_2(\Gamma _1(N))\) be a normalized eigenform of weight 2, level N prime to p, and nebentypus \(\varepsilon _f\). We assume that \(\mathcal {K}\) satisfies the Heegner hypothesis relative to N:
and fix once and for all an ideal \({\mathfrak {N}}\) as above. We assume also that
with v the prime of \(\mathcal {K}\) above p induced by our fixed embedding \(\imath _p\). Let \(F\subset \overline{{\mathbb {Q}}}\) be the number field generated by the Fourier coefficients of f. Denote by \(\mathfrak {P}\) the prime of F above p induced by \(\imath _p\), and assume that f is \(\mathfrak {P}\)-ordinary, i.e. \(v_\mathfrak {P}(a_p(f))=0\), where \(v_\mathfrak {P}\) is the \(\mathfrak {P}\)-adic valuation on F.
Let \(A_f/{\mathbb {Q}}\) be the abelian variety of \({\textrm{GL}}_2\)-type associated to f, determined up to isogeny over \({\mathbb {Q}}\) by the equality of L-functions
where \(f^\tau \) runs over all the conjugates of f. Denote by \(\Phi \) the completion of F at \(\mathfrak {P}\), and let \({\mathscr {O}}\) be the ring of integers of \(\Phi \). Let \(T_\mathfrak {P}A_f:=\varprojlim A_f[\mathfrak {P}^j]\) be the \(\mathfrak {P}\)-adic Tate module of \(A_f\), which is free of rank two over \({\mathscr {O}}\).
For every positive integer c, let \(\mathcal {K}_c\) be the ring class field of \(\mathcal {K}\) of conductor c, so \({\textrm{Gal}}(\mathcal {K}_c/\mathcal {K})\simeq {\textrm{Pic}}(\mathcal {O}_c)\) by class field theory, where \(\mathcal {O}_c={\mathbb {Z}}+c\mathcal {O}_{\mathcal {K}}\) is the order of \(\mathcal {K}\) of conductor c. For every \(c>0\) prime to N and every ideal \({\mathfrak {a}}\) of \(\mathcal {O}_c\), we consider the CM point \(x_{{\mathfrak {a}}}\in X_1(N)(\tilde{\mathcal {K}}_{c})\) constructed in [19, §2.3], where \(\tilde{\mathcal {K}}_{c}\) is the compositum of \(\mathcal {K}_c\) and the ray class field of \(\mathcal {K}\) of conductor \({\mathfrak {N}}\). Let \(\Delta _{\mathfrak {a}}\) be the class of the degree 0 divisor \((x_{\mathfrak {a}})-(\infty )\) in \(J_1(N)={\textrm{Jac}}(X_1(N))\), and denote by \(z_{\mathfrak {a}}=\delta (\Delta _{\mathfrak {a}})\) its image under the Kummer map
Fix a parametrization \(\pi :J_1(N)\rightarrow A_f\), and let \(y_{f,{\mathfrak {a}}}\in \textrm{H}^1(\tilde{\mathcal {K}}_c,T_\mathfrak {P}A_f)\) be the image of \(y_{\mathfrak {a}}\) under the natural projection
For the ease of notation, we set \(y_{f,c}=y_{f,{\mathfrak {a}}}\) for \({\mathfrak {a}}=\mathcal {O}_c\). A standard calculation shows that if \(p\not \mid c\), then for every \(n>0\) we have
where \(u_c:=[\mathcal {O}_{c}^\times :\mathcal {O}_{cp}^\times ]\) and \(\sigma _{v},\sigma _{\overline{v}}\in {\textrm{Gal}}(\tilde{\mathcal {K}}_{c}/\mathcal {K})\) are Frobenius elements at the primes of \(\mathcal {K}\) above p (see [19, Prop. 4.4]).
Let \(\alpha \) be the \(\mathfrak {P}\)-adic unit root of \(x^2-a_p(f)x+\varepsilon _f(p)p\), and for any positive integer c prime to N define the \(\alpha \)-stabilized Heegner class \(y_{f,c,\alpha }\) by
This definition is motivated by the following result.
Lemma 2.1
For all positive integers c prime to N, we have
Proof
This follows immediately from (2.1). \(\square \)
2.3 Heegner point main conjecture
Fix a positive integer c prime to Np, and put \(\tilde{\mathcal {K}}_{cp^\infty }=\bigcup _{m\ge 0}\tilde{\mathcal {K}}_{cp^m}\). The Galois group \({\mathcal {G}}_c={\textrm{Gal}}(\tilde{\mathcal {K}}_{cp^\infty }/\mathcal {K})\) decomposes as
where \(\Gamma \) is the maximal torsion-free quotient of \({\mathcal {G}}_c\), giving the Galois group of the anticyclotomic \({\mathbb {Z}}_p\)-extension \(\mathcal {K}_\infty /\mathcal {K}\), and \(\Delta _c\) is a finite abelian group.
Let \(\chi \) be a finite order Hecke character of \(\mathcal {K}\) with \(\chi \vert _{{\mathbb {A}}^\times }=\varepsilon _f^{-1}\) and of conductor dividing \(c{\mathfrak {N}}\). Upon enlarging F is necessary, assume that \(\Phi \) contains the values of \(\chi \). For each n, take \(m\gg 0\) so that \(\tilde{\mathcal {K}}_{cp^{m}}\supset \mathcal {K}_n\), and set
In view of Lemma 2.1, the definition of \(z_{f,\chi ,n}\) does not depend on the choice of m. Moreover, letting \(A_{f,\chi }\) be the Serre tensor \(A_f\otimes \chi \), we see that \(z_{f,\chi ,n}\) defines a class
Let
be the anticyclotomic Iwasawa algebras. From their construction, the classes \({\textbf{z}}_{f,\chi ,n}\) are contained in the pro-\(\mathfrak {P}\) Selmer group \(S_{\mathfrak {P}}(A_{f,\chi }/\mathcal {K}_n)\subset \textrm{H}^1(\mathcal {K}_n,T_{\mathfrak {P}} A_{f,\chi })\), and by Lemma 2.1 they are norm-compatible, hence defining a class \({\textbf{z}}_{f,\chi }=\{{\textbf{z}}_{f,\chi ,n}\}_n\) in the compact \(\Lambda _0\)-adic Selmer group
On the other hand set,
where \({\textrm{Sel}}_{{\mathfrak {P}}^\infty }(A_{f,\chi }/\mathcal {K}_n)\subset \textrm{H}^1(\mathcal {K}_n,A_{f,\chi }[{\mathfrak {P}}^\infty ])\) is the \({\mathfrak {P}}^\infty \)-Selmer groups of \(A_{f,\chi }\). Set also
which are finitely generated \(\Lambda \)-modules.
The following conjecture in a natural extension of Perrin-Riou’s Heegner point main conjecture [40, Conj. B].
Conjecture 2.2
The modules \({\mathcal {S}}(A_{f,\chi }/\mathcal {K}_\infty )\) and \({\mathcal {X}}(A_{f,\chi }/\mathcal {K}_\infty )\) have both \(\Lambda \)-rank one, and
where the subscript \(\Lambda \text{- }{\textrm{tors}}\) denotes the maximal \(\Lambda \)-torsion submodule.
In [12] a conjecture similar to Conjecture 2.2 is formulated in terms of a \(\Lambda \)-adic Heegner class deduced from work of Disegni [22] (see [12, Conj. 2.2]). Similarly as in [12],Footnote 1 our proof of Theorem A is based on a study of Conjecture 2.2. The novelty in our approach is in the proof of cases of this conjecture.
3 Selmer groups
In this section we introduce the different Selmer groups entering in our arguments. In particular, the decomposition in Proposition 3.4 will play a key role.
3.1 Selmer groups of certain Rankin–Selberg convolutions
As in Sect. 2.2, let \(f\in S_2(\Gamma _1(N))\) be a \(\mathfrak {P}\)-ordinary newform with nebentypus \(\varepsilon _f\), and let \(\mathcal {K}\) be an imaginary quadratic field satisfying (Heeg) and (spl).
Let \(c>0\) be a positive integer prime to N. Similarly as in [6, Def. 3.10], we say that a Hecke character \(\xi \) of infinity type \((2+j,-j)\), with \(j\in {\mathbb {Z}}\), has finite type \((c,{\mathfrak {N}},\varepsilon _f)\) if it satisfies:
-
(a)
\(\omega _\xi \cdot \varepsilon _{f}=\mathbb {1}\), where \(\omega _\xi \) is the central character of \(\xi \);
-
(b)
\({\mathfrak {f}}_\xi =c\cdot {\mathfrak {N}}'\), where \({\mathfrak {N}}'\) is the unique divisor of \({\mathfrak {N}}\) with norm equal to the conductor of \(\varepsilon _f\);
-
(c)
the local sign \(\epsilon _q(f,\xi )\) is \(+1\) for all finite primes q.
Condition (a) implies that the Rankin–Selberg L-function \(L(f,\xi ,s)\) is self-dual, with \(s=0\) as the central critical point, and by (c) the sign in the functional equation is \(+1\) (resp. \(-1\)) when \(j\geqslant 0\) (resp. \(j<0\)). Denote by \(\Sigma _{\textrm{cc}}(c,{\mathfrak {N}},\varepsilon _f)\) the set of such characters \(\xi \), and put
Denote by \(\rho _f:G_{\mathbb {Q}}\rightarrow \textrm{Aut}_{\Phi }(V_f)\) the \(\mathfrak {P}\)-adic Galois representation associated to f, so that
Let \(\chi \) be a finite order character of \(\mathcal {K}\) such that \(\chi {\textbf{N}}_{\mathcal {K}}^{-1}\in \Sigma _{\textrm{cc}}^{(1)}(c,{\mathfrak {N}},\varepsilon _f)\), and consider the conjugate self-dual \(G_{\mathcal {K}}\)-representation
For any \(\Lambda _0\)-module M, let \(M^\vee ={\textrm{Hom}}_{\textrm{cts}}(M,{\mathbb {Q}}_p/{\mathbb {Z}}_p)\) be the Pontryagin dual. Fix a \(G_{\mathcal {K}}\)-stable lattice \(T_{f,\chi }\subset V_{f,\chi }\), and define the \(G_{\mathcal {K}}\)-module
where the tensor product is endowed with the diagonal Galois action, with \(G_{\mathcal {K}}\) acting on \(\Lambda _0^\vee \) via the inverse of the tautological character \(\Psi :G_{\mathcal {K}}\twoheadrightarrow {\textrm{Gal}}(\mathcal {K}_\infty /\mathcal {K})\hookrightarrow \Lambda _0^\times \).
Definition 3.1
Fix a finite set \(\Sigma \) of places of \(\mathcal {K}\) containing \(\infty \) and the primes dividing Np, and denote by \(\mathcal {K}^\Sigma \) the maximal extension of \(\mathcal {K}\) unramified outside \(\Sigma \). The Selmer group \({\mathscr {S}}_v({\textbf{W}}_{f,\chi })\) is defined by
We also set
which is independent of the lattice \(T_{f,\chi }\).
Note that \({\mathcal {X}}_v(f,\chi )\) and the Selmer group \({\mathcal {X}}(A_{f,\chi }/\mathcal {K}_\infty )\) defined in Sect. 2.3 differ only in their defining local conditions at the primes above p. More precisely, by \(\mathfrak {P}\)-ordinarity, for every prime w of \(\mathcal {K}\) above p there is a \(G_{\mathcal {K}_w}\)-module exact sequence
with \({\mathscr {F}}_w^\pm T_{f,\chi }\) free of rank one over \({\mathscr {O}}\), and the quotient \({\mathscr {F}}_w^-T_{f,\chi }\) affording an unramified action of \(G_{\mathcal {K}_w}\). Put
Then the Selmer group \({\mathscr {S}}_{{{{\textrm{ord}}}}}({\textbf{W}}_{f,\chi })\) defined by
satisfies
and so
Letting \({\textbf{T}}_{f,\chi }:=T_{f,\chi }\otimes _{{\mathscr {O}}}\Lambda _0\) with \(G_\mathcal {K}\)-action via \(\rho _f\otimes \Psi \), and defining \(\check{{\mathscr {S}}}_{{{{\textrm{ord}}}}}({\textbf{T}}_{f,\chi })\subset \textrm{H}^1(\mathcal {K}^\Sigma /\mathcal {K},{\textbf{T}}_{f,\chi })\) in the same manner as in (3.4), we similarly have
(see e.g. [17, §4]).
3.2 Selmer groups of characters
We keep the hypothesis that the imaginary quadratic field \(\mathcal {K}\) satisfies (spl), and let \(\xi \) be a Hecke character of \(\mathcal {K}\) of conductor \({\mathfrak {f}}_\xi \). Let F be a number field containing the values of \(\xi \). Let \(\Phi \) be the completion of F at the prime \(\mathfrak {P}\) of F above p induced by \(\imath _p\), and let \({\mathscr {O}}\) be the ring of integers of \(\Phi \). Denote by \(T_\xi \) the free \({\mathscr {O}}\)-module of rank one on which \(G_\mathcal {K}\) acts via \(\hat{\xi }^{-1}\), and consider the \(G_{\mathcal {K}}\)-module
where as before the Galois action on \(\Lambda _0^\vee \) is given by the character \(\Psi ^{-1}\).
Definition 3.2
Let \(\Sigma \) be a finite set of places of \(\mathcal {K}\) containing \(\infty \) and the primes dividing p or \({\mathfrak {f}}_\xi \). The Selmer group \({\mathscr {S}}_v({\textbf{W}}_{\xi })\) is defined by
We also set \({\mathcal {X}}_v(\xi )={\mathscr {X}}_v({\textbf{W}}_\xi )\otimes _{{\mathscr {O}}}\Phi \).
Remark 3.3
Suppose \(\xi \) has infinity type \((-1,0)\), and denote by \(\xi ^*\) the composition of \(\xi \) with the non-trivial automorphism of \(\mathcal {K}/{\mathbb {Q}}\), so \(\xi ^*\) has infinity type \((0,-1)\). Then from e.g. [1, §1.1] we see that \({\mathcal {X}}_v(\xi )\) corresponds to the Bloch–Kato Selmer group of \(\xi \) over \(\mathcal {K}_\infty /\mathcal {K}\), whereas \({\mathcal {X}}_v(\xi ^*)\) corresponds to the Selmer group obtained by reversing the local conditions at the primes above p in the corresponding Bloch–Kato Selmer group of \(\xi ^*\).
3.3 Decomposition
We now specialize the set-up in Sect. 3.1 to the case where \(f=\theta _\psi \) is the theta series of a Hecke character \(\psi \) of \(\mathcal {K}\) of infinity type \((-1,0)\). Then f has level \(N=D_{\mathcal {K}}\cdot {\textbf{N}}({\mathfrak {f}}_\psi )\) and nebentypus \(\varepsilon _f=\eta _{\mathcal {K}}\cdot \omega _\psi \), where \(\eta _{\mathcal {K}}\) is the quadratic character associated to \(\mathcal {K}/{\mathbb {Q}}\).
One easily checks (see [6, Lem. 3.14]) that if \({\mathfrak {f}}_\psi \) is a cyclic ideal of norm \({\textbf{N}}({\mathfrak {f}}_\psi )\) prime to \(D_{\mathcal {K}}\), then \(\mathcal {K}\) satisfies the Heegner hypothesis (Heeg) relative to N, and one may take
In the following, we assume that \({\mathfrak {f}}_\psi \) satisfies the above condition, and take \({\mathfrak {N}}\) as in (3.7). Fix an integer \(c>0\) prime to Np, and let \(\chi \) be a finite order character such that \(\chi {\textbf{N}}_{\mathcal {K}}^{-1}\in \Sigma _{\textrm{cc}}^{(1)}(c,{\mathfrak {N}},\varepsilon _f)\).
The following decomposition will play an important role later.
Proposition 3.4
Let \(\psi \) and \(\chi \) be as above. There is a \(\Lambda \)-module isomorphism
Proof
Put \(f=\theta _\psi \), and note that there is a \(G_{\mathcal {K}}\)-module decomposition
Since the module \({\mathcal {X}}_v(f,\chi )\subset \textrm{H}^1(\mathcal {K}^\Sigma /\mathcal {K},{\textbf{W}}_{f,\chi })\otimes _{{\mathscr {O}}}\Phi \) does not depend on the lattice \(T_{f,\chi }\subset V_{f,\chi }\) chosen to define \({\textbf{W}}_{f,\chi }\), by (3.8) we may assume that \(T_{f,\chi }\simeq T_{\psi ^*\chi ^*}\oplus T_{\psi \chi ^*}\) as \(G_{\mathcal {K}}\)-modules, and so
as \(G_{\mathcal {K}}\)-modules. The result thus follows immediately by comparing the defining local conditions of the three Selmer groups involved at all places. \(\square \)
4 p-Adic L-functions
In this section we introduce the two p-adic L-functions needed for our arguments, and prove Proposition 4.5 relating the two.
4.1 The BDP p-adic L-function
Let \(f=\sum _{n=1}^\infty a_n(f)q^n\in S_2(\Gamma _1(N))\) be an eigenform with \(p\not \mid N\) and nebentypus \(\varepsilon _f\), let \(\mathcal {K}\) be an imaginary quadratic field satisfying (Heeg) and (spl), and fix an ideal \({\mathfrak {N}}\subset \mathcal {O}_\mathcal {K}\) with cyclic quotient of order N. Let c be a positive integer prime to Np, and let \(\chi \) be a finite order Hecke character of \(\mathcal {K}\) such that \(\chi {\textbf{N}}_{\mathcal {K}}^{-1}\in \Sigma _{\textrm{cc}}^{(1)}(c,{\mathfrak {N}},\varepsilon _f)\).
Let F be a number field containing \(\mathcal {K}\), the Fourier coefficients of f, and the values of \(\chi \), and let \(\Phi \) be the completion of F at the prime of F above p induced by \(\imath _p\), with ring of integers \({\mathscr {O}}\). Let \(\Lambda _0\) and \(\Lambda \) be the anticyclotomic Iwasawa algebras as in (2.3), and set
where \({\mathbb {Z}}_p^{\textrm{ur}}\) is the completion of the ring of integers of the maximal unramified extension of \({\mathbb {Q}}_p\).
The p-adic L-function in the next theorem was first constructed in [7] as a continuous function on characters of \(\Gamma \). Its realization as a measure in \(\Lambda _0^{\textrm{ur}}\) was given in [19] following an approach introduced in [9]. As it will suffice for our purposes, we describe below a multiple of that p-adic L-function by an element in \(\Phi ^\times \).
As in [19, §2.3], define \(\vartheta \in \mathcal {K}\) by
and let \(\Omega _p\) and \(\Omega _{\mathcal {K}}\) be CM periods attached to \(\mathcal {K}\) as in [op. cit., §2.5].
Theorem 4.1
There exists an element \({\mathscr {L}}^{}_v(f,\chi )\in \Lambda ^{\textrm{ur}}\) such that for every character \(\xi \) of \(\Gamma \) crystalline at both v and \(\bar{v}\) and corresponding to a Hecke character of \(\mathcal {K}\) of infinity type \((n,-n)\) with \(n\in {\mathbb {Z}}_{\geqslant 1}\), we have
Proof
Let \(\eta \) be an anticyclotomic Hecke character of \(\mathcal {K}\) of infinity type \((1,-1)\) and conductor dividing \(c\mathcal {O}_{\mathcal {K}}\), and define \(\mathfrak {L}_{v,\eta }(f,\chi )\in \Lambda _0^{\textrm{ur}}\) by
for all continuous characters \(\phi :\Gamma \rightarrow \overline{{\mathbb {Q}}}_p^\times \), where:
-
\(f^\flat =\sum _{p\not \mid n}a_n(f)q^n\) is the p-depletion of f,
-
\(\mu _{f^\flat _{\mathfrak {a}}}\) is the measure on \({\mathbb {Z}}_p^\times \) corresponding (under the Amice transform) to the power series
$$\begin{aligned} f^\flat (t_{{\mathfrak {a}}}^{{\textbf{N}}({\mathfrak {a}})c\sqrt{-D_{\mathcal {K}}}^{-1}})\in {\mathscr {O}}^{\textrm{ur}}\llbracket {t_{\mathfrak {a}}-1}\rrbracket \end{aligned}$$with \(t_{{\mathfrak {a}}}\) the Serre–Tate coordinate of the reduction of the point \(x_{{\mathfrak {a}}}\) on the Igusa tower of tame level N constructed in [19, (2.5)],
-
\(\eta _{{v}}(x):=\eta (\textrm{rec}_{{v}}(x))\) with \(\textrm{rec}_{{v}}:{\mathbb {Q}}_p^\times =\mathcal {K}_{{v}}^\times \rightarrow G_{\mathcal {K}}^{\textrm{ab}}\twoheadrightarrow \Gamma \) the local reciprocity map at v,
-
\(\phi \vert [{\mathfrak {a}}]:{\mathbb {Z}}_p^\times \rightarrow \overline{{\mathbb {Q}}}_p^\times \) is defined by \((\phi \vert [{\mathfrak {a}}])(x)=\phi (\textrm{rec}_v(x)\sigma _{{\mathfrak {a}}}^{-1})\) with \(\sigma _{{\mathfrak {a}}}\) the Artin symbol of \({\mathfrak {a}}\).
The same calculation as in [19, Prop. 3.8] then shows that the element \({\mathscr {L}}_v(f,\chi )\in \Lambda ^{\textrm{ur}}\) defined by
has, in view of the explicit Waldspurger formula in [29, Thm. 3.14], the stated interpolation property up to fixed element in \(\Phi ^\times \). The result follows. \(\square \)
Remark 4.2
We our later use, we note that the complex period \(\Omega _{\mathcal {K}}\in {\mathbb {C}}^\times \) in Theorem 4.1 (which also agrees with that in [7, (5.1.16)]) is different from the complex period \(\Omega _\infty \in {\mathbb {C}}^\times \) defined in [23, p. 66] and [30, (4.4b)]. In fact, one has
In terms of \(\Omega _\infty \), the interpolation formula in Theorem 7.1 reads
Specialized to the range of critical values for the representation \(V_{f,\chi }\), the Iwasawa–Greenberg main conjecture [26] predicts the following.
Conjecture 4.3
The module \({\mathcal {X}}_v(f,\chi )\) is \(\Lambda \)-torsion, and
In Theorem 5.2, we will explain the close link between Conjectures 2.2 and 4.3.
4.2 Katz p-adic L-functions
We continue to assume that \(\mathcal {K}\) satisfies (spl). Let \(\mathfrak {c}\subset \mathcal {O}_{\mathcal {K}}\) be an ideal prime to p, and let \(\mathcal {K}(\mathfrak {c}p^\infty )\) be the ray class field of \(\mathcal {K}\) of conductor \(\mathfrak {c}p^\infty \).
We say that a Hecke character \(\phi \) of \(\mathcal {K}\) is self-dual if it satisfies
Note that the infinity type of such \(\phi \) is necessarily of the form \((-1+j,-j)\) for some \(j\in {\mathbb {Z}}\).
The p-adic L-function in the next theorem follows from the work of Katz [32], as extended by Hida–Tilouine [30] (see also [23]). Here we shall use the construction in [28], and similarly as in Theorem 4.1, it will suffice for our purposes to describe a fixed \(\Phi ^\times \)-multiple of the integral measure constructed in op. cit..
For any Hecke character \(\xi \) of \(\mathcal {K}\), we denote by \(L_{\mathfrak {c}}(\xi ,s)\) the Hecke L-function \(L(\xi ,s)\) with the Euler factors at the primes \(\mathfrak {l}\vert \mathfrak {c}\) removed.
Theorem 4.4
Let \(\phi \) be a character of \({\textrm{Gal}}(\mathcal {K}(\mathfrak {c}p^\infty )/\mathcal {K})\) corresponding to a self-dual Hecke character of infinity type \((-1+j,-j)\), with \(j\in {\mathbb {Z}}_{\geqslant 0}\). Then there exists an element \({\mathscr {L}}_{v}(\phi )\in \Lambda ^{\textrm{ur}}\) such that for every character \(\xi \) of \(\Gamma \) crystalline at both v and \(\bar{v}\) and corresponding to a Hecke character of infinity type \((n,-n)\) with \(n\geqslant j\), we have
Proof
Let \(\mathfrak {L}_v\) be the integral p-adic measure on \({\textrm{Gal}}(\mathcal {K}(\mathfrak {c}p^\infty )/\mathcal {K})\) constructed in [28, §4.8], so for every character \(\chi \) of \({\textrm{Gal}}(\mathcal {K}(\mathfrak {c}p^\infty )/\mathcal {K})\) corresponding to a Hecke character of \(\mathcal {K}\) of infinity type \((k + \ell , - \ell )\) with \(k>\ell \geqslant 0\) we have
Setting
for all characters \(\xi \) of \(\Gamma \), where \(\pi ^*\xi \) is the pullback of \(\xi \) under the projection \(\pi :{\textrm{Gal}}(\mathcal {K}(\mathfrak {c}p^\infty )/\mathcal {K})\rightarrow \Gamma \), the result follows immediately from [28, Prop. 4.9], noting that the condition \(n\geqslant j\) assures that the infinity type of \(\phi ^{-1}\xi \), namely \((1 + n - j , j - n)\), is of the form \((1 + \ell , - \ell )\) with \(\ell \geqslant 0\), and the p-adic multiplier that appears is
since \(\phi \) is self-dual and \(\xi \) is anticyclotomic. \(\square \)
4.3 Factorization
As in Sect. 3.3, we now specialize to the case where \(f=\theta _\psi \) for a Hecke character \(\psi \) of \(\mathcal {K}\) of infinity type \((-1,0)\) and conductor \({\mathfrak {f}}_\psi \) with cyclic quotient of norm prime to \(D_{\mathcal {K}}\), so that \(\mathcal {K}\) satisfies hypothesis (Heeg) relative to \(N=D_{\mathcal {K}}\cdot {\textbf{N}}({\mathfrak {f}}_\psi )\).
Fix an integer \(c>0\) prime to Np, and let \(\chi \) be a finite order Hecke character of \(\mathcal {K}\) such that \(\chi {\textbf{N}}_\mathcal {K}^{-1}\in \Sigma _{\textrm{cc}}^{(1)}(c,{\mathfrak {N}},\varepsilon _f)\). Then we have a \(G_{\mathcal {K}}\)-module decomposition
where \(V_{f,\chi }\) is as in (3.1). Note that each of the characters \(\psi \chi \) and \(\psi ^*\chi \) are self-dual (see [6, Rem. 3.7]).
For the rest of this paper, we shall write \({\mathscr {L}}_v(\phi )\) for the p-adic L-function in Theorem 4.4 constructed with the auxiliary tame conductor \(\mathfrak {c}=c{\mathfrak {N}}\) used in the proof.
The following result is a manifestation of the Artin formalism arising from the decomposition (4.1). A similar result in shown in [6, Thm. 3.17]. As we shall see in Sect. 7, this is a counterpart on the analytic side of the Selmer group decomposition in Proposition 3.4.
Proposition 4.5
Suppose that \(f=\theta _\psi \) and \(\chi \) are as above. Then
where u is a unit in \((\Lambda ^{\textrm{ur}})^\times \).
Proof
This will follow by comparing the values interpolated by each side of the desired equality, using that an element in \(\Lambda ^{\textrm{ur}}\) is uniquely determined by its values at infinitely many characters.
Let \(\xi \) be a character of \(\Gamma \) of infinity type \((n,-n)\) with \(n\in {\mathbb {Z}}_{\geqslant 1}\) as in the statement of Theorem 4.1. The decomposition (4.1) yields
using that \(\psi \chi \) and \(\psi ^*\chi \) are self-dual. The factors in (4.2) are interpolated by \({\mathscr {L}}_v(\psi ^{*}\chi ^{*})(\xi )\) and \({\mathscr {L}}_v(\psi \chi ^*)(\xi )\), respectively. Noting that
in light of Theorem 4.4 for \({\mathscr {L}}_v(\psi ^*\chi ^*)\) and \({\mathscr {L}}_v(\psi \chi ^*\)) (with \(j=1\) and \(j=0\), respectively), we thus find
The result now follows from Theorem 4.1 and Remark 4.2. \(\square \)
Remark 4.6
Note that the trivial character is in the range of interpolation for \({\mathscr {L}}_v(\psi \chi ^*)\), but lies outside the range of interpolation for both \({\mathscr {L}}_v(\psi ^*\chi ^*)\) and \({\mathscr {L}}_v(f,\chi )\).
5 Explicit reciprocity law
In this section we explain a variant of the explicit reciprocity law proved in [19] relating the \(\Lambda \)-adic Heegner class \({\textbf{z}}_{f,\chi }\) to the p-adic L-function \({\mathscr {L}}_v(f,\chi )\) via a Perrin-Riou big logarithm map, and record a key consequence. We let \(f=\theta _\psi \) and \(\chi \) be as in Sect. 3.3.
For every \(w\vert p\), the natural map \(\textrm{H}^1(\mathcal {K}_w,{\mathscr {F}}_w^+{\textbf{T}}_{f,\chi })\rightarrow \textrm{H}^1(\mathcal {K}_w,{\textbf{T}}_{f,\chi })\) induced by (3.3) is injective, since its kernel is \(\textrm{H}^0(\mathcal {K}_w,{\mathscr {F}}_w^-{\textbf{T}}_{f,\chi })=0\). Therefore, in view of (3.6) the image of \({\textbf{z}}_{f,\chi }\) under the restriction map
is naturally contained in \(\textrm{H}^1(\mathcal {K}_w,{\mathscr {F}}_w^+{\textbf{T}}_{f,\chi })\). Let \(\Phi ^{\textrm{ur}}\) the compositum of \(\Phi \) and \({\mathbb {Q}}_p^{\textrm{ur}}\).
Theorem 5.1
There is a \(\Lambda ^{\textrm{ur}}\)-linear isomorphism \(\textrm{Log}_{{v}}:{\textrm{H}}^1(\mathcal {K}_{{v}},{\mathscr {F}}_{{v}}^+{\textbf{T}}_{f,\chi })\otimes _{}\Lambda ^{\textrm{ur}}\rightarrow \Lambda ^{\textrm{ur}}\) such that
for some \(c\in (\Phi ^{\textrm{ur}})^\times \).
Proof
The existence of the map \(\textrm{Log}_{{v}}\) (with coefficients in \(\Lambda _0^{\textrm{ur}}\), rather than \(\Lambda ^{\textrm{ur}}\)) follows from the two-variable extension by Loeffler–Zerbes [33] of Perrin-Riou’s big logarithm map [41], and the proof of the explicit reciprocity law (integrally) is given in [19, §5.3]. That the \(\Lambda ^{\textrm{ur}}\)-linear map \(\textrm{Log}_v\) is injective follows from [33, Prop. 4.11], and so it becomes an isomorphism after extending scalars to \(\Lambda ^{\textrm{ur}}=\Lambda _0^{\textrm{ur}}\otimes _{{\mathscr {O}}}\Phi \). \(\square \)
Similarly as observed in [15, 51], the equivalence between Conjectures 2.2 and 4.3 can be deduced from Theorem 5.1 using Poitou–Tate global duality.
Theorem 5.2
Assume that the class \({\textbf{z}}_{f,\chi }\) is not \(\Lambda \)-torsion. Then the following are equivalent :
-
(a)
\({\textrm{rank}}_\Lambda {\mathcal {S}}_{{{{\textrm{ord}}}}}(f,\chi )={\textrm{rank}}_\Lambda {\mathcal {X}}_{{{{\textrm{ord}}}}}(f,\chi )=1,\)
-
(a’)
\({\mathcal {X}}_v(f,\chi )\) is \(\Lambda \)-torsion;
and the following are equivalent :
-
(b)
\({\textrm{char}}_{\Lambda }\bigl ({\mathcal {X}}_{{{{\textrm{ord}}}}}(f,\chi )_{\Lambda \text{- }{\textrm{tors}}}\bigr )\subset {\textrm{char}}_{\Lambda }\bigl ({\mathcal {S}}_{{{{\textrm{ord}}}}}(f,\chi )/\Lambda \cdot {\textbf{z}}_{f,\chi }\bigr )^2,\)
-
(b’)
\({\textrm{char}}_\Lambda \bigl ({\mathcal {X}}_v(f,\chi )\bigr )\subset \bigl ({\mathscr {L}}_v(f,\chi )^2\bigr ),\)
and similarly for the opposite divisibilities. In particular, Conjectures 2.2 and 4.3 are equivalent.
Remark 5.3
Note that for the last claim in the theorem we are using the isomorphisms (3.5) and (3.6).
Proof of Theorem 5.2
This can be extracted from the arguments in [16, App. A], but since our setting is slightly different (in particular, E(K)[p] is reducible) we provide the necessary details for the convenience of the reader. We explain the implications \(\mathrm{(a)}\Rightarrow {(\textrm{a}')}\) and \(\mathrm{(b')}\Rightarrow \mathrm{(b)}\) (the only implication we will need later), and note that the other implication follows from the same ideas.
Following [16, §2.1], below we denote by \({\mathcal {S}}_{\textrm{str},\textrm{rel}}(f,\chi )\) (resp. \({\mathcal {S}}_{{{{\textrm{ord}}}},\textrm{rel}}(f,\chi )\), etc.) the Selmer group defined as in Sect. 3.1 but with the strict at v and relaxed at \(\overline{v}\) (resp. ordinary at v and relaxed at \(\overline{v}\), etc.) local conditions, so in particular \({\mathcal {S}}_{{{\textrm{ord}},{\textrm{ord}}}}(f,\chi )={\mathcal {S}}_{{{{\textrm{ord}}}}}(f,\chi )\) by definition.
Assume (a), and consider the exact sequence from global duality
Since \({\textbf{z}}_{f,\chi }\) is not \(\Lambda \)-torsion by hypothesis, by Theorem 5.1 it follows from (5.4) that \({\mathcal {X}}_{\mathrm{rel,{\textrm{ord}}}}(f,\chi )\) has \(\Lambda \)-rank one and \({\mathcal {S}}_{\mathrm{str,{\textrm{ord}}}}(f,\chi )\) is \(\Lambda \)-torsion. Since
(cf. [16, Lem. 2.3]), we conclude that \({\mathcal {X}}_{{{\textrm{ord}},\mathrm str}}(f,\chi )\) is \(\Lambda \)-torsion, and from the exact sequence
we conclude that \({\mathcal {X}}_{\mathrm{rel,\mathrm str}}(f,\chi )={\mathcal {X}}_v(f,\chi )\) is \(\Lambda \)-torsion, i.e., (a’) holds.
Now, in addition to (a), assume (b’). Then \({\mathcal {S}}_{\textrm{str},\textrm{rel}}(f,\chi )\) is \(\Lambda \)-torsion (since so is \({\mathcal {X}}_v(f,\chi )\), as we just showed), and since \(\textrm{H}^1(K^\Sigma /K,{\textbf{T}}_{f,\chi })\) is \(\Lambda \)-torsion free as a consequence of (3.8) and [1, Prop. 1.1.6], it follows that in fact
Thus (5.2) reduces to the exact sequence
Since \(\textrm{H}^1(\mathcal {K}_{{v}},{\mathscr {F}}_{{v}}^+{\textbf{T}}_{f,\chi })\) has \(\Lambda \)-rank one, the assumption that \({\textbf{z}}_{f,\chi }\) is not \(\Lambda \)-torsion together with Theorem 5.1 implies that \({\mathcal {S}}_{{{{\textrm{ord}}}},\textrm{rel}}(f,\chi )\) has \(\Lambda \)-rank one. Since \({\textbf{z}}_{f,\chi }\in {\mathcal {S}}_{{{{\textrm{ord}}}}}(f,\chi )\subset {\mathcal {S}}_{{{{\textrm{ord}}}},\textrm{rel}}(f,\chi )\), it follows that \({\mathcal {S}}_{{{{\textrm{ord}}}}}(f,\chi )\) also has \(\Lambda \)-rank one, and by [16, Lem. 2.3(1)] so does \({\mathcal {X}}_{{{{\textrm{ord}}}}}(f,\chi )\).
Hence the quotient \({\mathcal {S}}_{{{{\textrm{ord}}}},\textrm{rel}}(f,\chi )/{\mathcal {S}}_{{{{\textrm{ord}}}}}(f,\chi )\) is \(\Lambda \)-torsion, and since it injects in \(\textrm{H}^1(\mathcal {K}_{\overline{v}},{\mathscr {F}}_{\overline{v}}^-{\textbf{T}}_{f,\chi })\) which is \(\Lambda \)-torsion-free, this shows the equality \({\mathcal {S}}_{{{{\textrm{ord}}}}}(f,\chi )={\mathcal {S}}_{{{{\textrm{ord}}}},\textrm{rel}}(f,\chi )\). Therefore the first two terms in the exact sequence (5.4) agree with the first two terms in the exact sequence
(note that \({\mathcal {S}}_{\mathrm{str,{\textrm{ord}}}}(f,\chi )\) as a consequence of (5.3)), and this yields
In view of Theorem 5.1, it follows that
Next, from (5.4) and (5.5) we can extract the short exact sequences
from which we readily obtain (taking \(\Lambda \)-torsion in the first exact sequence and using a straightforward variant of [16, Lem. 2.3]) the relations
Combined with (5.6), we thus obtain
The result follows. \(\square \)
6 Twisted anticyclotomic main conjectures for \(\mathcal {K}\)
Let \(\mathcal {K}\) be an imaginary quadratic field satisfying (spl). The Iwasawa main conjecture for \(\mathcal {K}\) was proved by Rubin [43] under some restrictions on p (including \(p\not \mid \mathcal {O}_{\mathcal {K}}^\times \)) that were removed in subsequent work by Johnson-Leung–Kings [31] and Oukhaba–Viguié [39]. In this section we record a consequence of these results for the anticyclotomic \({\mathbb {Z}}_p\)-extension.
Note that if \(\xi \) is a self-dual Hecke character in the sense of Sect. 4.2, then the Hecke L-function \(L(\xi ^{-1},s)\) is self-dual, with a functional equation relating its values at s and \(-s\). In the following, by the sign of \(\xi \) we refer to the sign appearing in the functional equation for \(L(\xi ^{-1},s)\).
Theorem 6.1
Let \(\psi \) be a Hecke character of \(\mathcal {K}\) of infinity type \((-1,0),\) and let \(\chi \) be a finite order of character of such that the product \(\psi \chi \) is self-dual. Assume that \(\psi ^*\chi \) has sign \(+1\). Then :
-
(i)
\({\mathcal {X}}_v(\psi \chi ^*)\) is \(\Lambda \)-torsion and the following equality holds :
$$\begin{aligned} {\textrm{char}}_{\Lambda }\bigl ({\mathcal {X}}_v(\psi \chi ^*)\bigr )=\bigl ({\mathscr {L}}_{{v}}(\psi \chi ^*)\bigr ). \end{aligned}$$ -
(ii)
The following divisibility holds :
$$\begin{aligned} {\textrm{char}}_{\Lambda }\bigl ({\mathcal {X}}_v(\psi ^*\chi ^*)\bigr )\subset \bigl ({\mathscr {L}}_{{v}}(\psi ^*\chi ^*)\bigr ). \end{aligned}$$
Proof
As noted in Remark 3.3, the Iwasawa module \({\mathcal {X}}_v(\psi \chi ^*)\) recovers the Bloch–Kato Selmer group for \(\psi \chi ^*\) over the anticyclotomic \({\mathbb {Z}}_p\)-extension \(\mathcal {K}_\infty /\mathcal {K}\), and so the result of part (i) follows from [1, Thm. 2.4.17], as extended in [2, Thm. 3.9]. (In these references, the hypothesis \(p>3\) arises from their appearance in [43], but as already mentioned this restriction can be removed thanks to [31, 39].)
For (ii), put \(\widetilde{\Lambda }_0={\mathscr {O}}\llbracket {\textrm{Gal}}(\mathcal {K}(\mathfrak {c}p^\infty )/\mathcal {K})\rrbracket \), \(\widetilde{\Lambda }=\widetilde{\Lambda }_0\otimes _{{\mathscr {O}}}\Phi \), and define \(\widetilde{{\mathcal {X}}}_v(\psi ^*\chi ^*)\) and \(\widetilde{{\mathcal {X}}}_v(\psi \chi ^*)\) similarly as \({\mathcal {X}}_v(\psi ^*\chi ^*)\) and \({\mathcal {X}}_v(\psi \chi ^*)\) in Sect. 3.2 but with \(\widetilde{\Lambda }_0\) in place of \(\Lambda _0\). By the Iwasawa main conjecture for \(\mathcal {K}\), the module \({\mathcal {X}}_v(\psi \chi ^*)\) is \(\widetilde{\Lambda }_0\)-torsion, with
where \(\mathfrak {L}_v\) is the integral p-adic measure \(\mathfrak {L}_v\) appearing in the proof of Theorem 4.4, and \(\mathfrak {L}_v(\psi ^*\chi )\) denotes its twist by \(\psi ^*\chi \). Noting that \(\widetilde{{\mathcal {X}}}_v(\psi ^*\chi ^*)\) is the twist (in the sense of [46, §6.1]) of \(\widetilde{{\mathcal {X}}}_v(\psi \chi ^*)\) by \(\psi \psi ^{*-1}\), from Corollary 6.2.2 and Lemma 6.1.2 in loc. cit. we deduce from (6.1) that the module \(\widetilde{{\mathcal {X}}}_v(\psi ^*\chi ^*)\) is \(\widetilde{\Lambda }_0\)-torsion, with
The divisibility in (ii) now follows from (6.2) after descent. \(\square \)
7 The main results
Recall that \(\mathcal {K}\) is an imaginary quadratic field of discriminant \(-D_{\mathcal {K}}<0\) satisfying (spl), with v the prime of \(\mathcal {K}\) above p induced by our fixed embedding \(\imath _p\).
Theorem 7.1
Let \(\psi \) be a Hecke character of \(\mathcal {K}\) of infinity type \((-1,0)\) and conductor \({\mathfrak {f}}_\psi \) with cyclic quotient of norm prime to \(D_{\mathcal {K}},\) and set
Let c be a positive integer prime to Np, and let \(\chi \) be a finite order character such that \(\chi {\textbf{N}}_{\mathcal {K}}^{-1}\in \Sigma _{\textrm{cc}}^{(1)}(c,{\mathfrak {N}},\varepsilon _f)\). Assume that \(\psi \chi \) has sign \(-1\). Then :
-
(i)
The class \({\textbf{z}}_{f,\chi }\) is not \(\Lambda \)-torsion.
-
(ii)
The module \({\mathcal {X}}_v(f,\chi )\) is \(\Lambda \)-torsion, and
$$\begin{aligned} {\textrm{char}}_\Lambda \bigl ({\mathcal {X}}_v(f,\chi )\big )\Lambda ^{\textrm{ur}}\subset \bigl ({\mathscr {L}}_v(f,\chi )^2\bigr ). \end{aligned}$$
Proof
Part (i) follows from [5, Thm. 1.1], so we focus on (ii). By the Gross–Zagier formula, the non-triviality of \({\textbf{z}}_{f,\chi }\) implies that for all but finitely many finite order characters \(\xi :\Gamma \rightarrow \mu _{p^\infty }\) we have
Fix any such \(\xi \), and note that \(L(f,\chi \xi ,s)\) factors as
and has sign \(-1\), since (Heeg) holds in our setting (see Sect. 4.3). By our sign assumption on \(\psi \chi \), it follows that \(L(\psi ^*\chi ,s)\) has sign \(+1\) and from (7.1) and (7.2) we conclude
By an application of the Gross-Zagier formula [53] and [36, Thm. 3.2] we have
and by [37, Thm. B] we have
where \(\textrm{H}_{{\textrm{f}}}^1(\mathcal {K},W_{\psi ^*\chi ^*\xi ^*})\) and \(\textrm{H}_{{\textrm{f}}}^1(\mathcal {K},W_{\psi \chi ^*\xi ^*})\) are the Bloch–Kato Selmer groups for \(\psi ^*\chi ^*\xi ^*\) and \(\psi \chi ^*\xi ^*\), respectively, whose definition is recalled in Sect. 8 below.
By the analogue of the decomposition (8.1) below, it follows that \(\textrm{H}_{{\textrm{f}}}^1(K,W_{f,\chi \xi })\) has \({\mathscr {O}}\)-corank one, and therefore so does \({\textrm{Sel}}_{\mathfrak {P}^\infty }(A_{f,\chi \xi }/\mathcal {K})\). Varying \(\xi \), by a variant of Mazur’s control theorem it follows that \({\mathcal {X}}(A_{f,\chi }/\mathcal {K}_\infty )\) (or equivalently, \({\mathcal {S}}_{{{{\textrm{ord}}}}}(f,\chi )\) and \({\mathcal {X}}_{{{{\textrm{ord}}}}}(f,\chi )\)) has \(\Lambda \)-rank one, and so by Theorem 5.2 we conclude that \({\mathcal {X}}_v(f,\chi )\) is \(\Lambda \)-torsion.
Finally, by the decomposition in Proposition 3.4 and the factorization in Proposition 4.5, the divisibility in part (ii) of the theorem follows from Theorem 6.1. \(\square \)
Corollary 7.2
Let \(f=\theta _\psi \) and \(\chi \) be an in Theorem 7.1, and assume that \(\psi \chi \) has sign \(-1\). Then the modules \({\mathcal {S}}(A_{f,\chi }/\mathcal {K}_\infty )\) and \({\mathcal {X}}(A_{f,\chi }/\mathcal {K}_\infty )\) have both \(\Lambda \)-rank one, and
Proof
That \({\mathcal {S}}(A_{f,\chi }/\mathcal {K}_\infty )\) and \({\mathcal {X}}(A_{f,\chi }/\mathcal {K}_\infty )\) have both \(\Lambda \)-rank one has been shown in the course of the proof of Theorem 7.1, and the divisibility in the statement of Corollary 7.2 follows from Theorem 5.2 and the divisibility in part (ii) of Theorem 7.1. \(\square \)
8 The p-converse
In this section we deduce from our main results the proof of Theorem A in the Introduction. Let \(\lambda \) be a self-dual Hecke character of infinity type \((-1,0)\) and conductor \({\mathfrak {f}}_\psi \), and suppose that:
-
(a)
\(\lambda \) has sign \(-1\);
-
(b)
\(\lambda \) has central character \(\omega _\lambda =\eta _{\mathcal {K}}\);
-
(c)
\({\mathfrak {d}}_{\mathcal {K}}\Vert {\mathfrak {f}}_\lambda \).
Note that \({\mathfrak {f}}_\lambda \) is divisible by \({\mathfrak {d}}_\mathcal {K}=(\sqrt{-D_{\mathcal {K}}})\) by condition (b). Since \(\lambda \) is self-dual, \({\mathfrak {f}}_\lambda \) is invariant under complex conjugation, so by condition (c) we can write \({\mathfrak {f}}_\lambda =(c){\mathfrak {d}}_{\mathcal {K}}\) for a unique \(c>0\).
We shall apply Corollary 7.2 for a pair \((\psi ,\chi )\) which is good for \(\lambda \) in the following sense:
-
(G1)
\(\psi \) has infinity type \((-1,0)\) and conductor \({\mathfrak {f}}_\psi \) with cyclic quotient of norm prime to \(pD_{\mathcal {K}}\);
-
(G2)
\(\chi \) is a finite order character such that \(\chi {\textbf{N}}_{\mathcal {K}}^{-1}\in \Sigma _{\textrm{cc}}^{(1)}(c,{\mathfrak {N}},\varepsilon _f)\), where \(f=\theta _\psi \) and \({\mathfrak {N}}={\mathfrak {f}}_\psi {\mathfrak {d}}_{\mathcal {K}}\);
-
(G3)
\(\psi \chi =\lambda \);
-
(G4)
\(L(\psi ^{*-1}\chi ^{-1},0)\ne 0\).
The existence of good pairs for \(\lambda \) is shown in [6, Lem. 3.29] building on the non-vanishing results of Greenberg [25] and Rohrlich [42].
Fix a good pair \((\psi ,\chi )\) for \(\lambda \), and let F be a number field of containing the values of \(\psi \) and \(\chi \). Let \(\mathfrak {P}\) be the prime of F above p induced by our fixed embedding \(\imath _p\), let \(\Phi \) be the completion of F at \(\mathfrak {P}\), and let \({\mathscr {O}}\) be the ring of integers of \(\Phi \). Similarly as in (3.2), for any Hecke character \(\xi \) put
where \({\mathscr {D}}=\Phi /{\mathscr {O}}\). Let \(\Sigma \) a finite set of places of \(\mathcal {K}\) containing \(\infty \), p, and the primes of \(\mathcal {K}\) dividing the conductor of \(\lambda \). Denote by \({\textrm{H}}^1_{{\textrm{f}}}(\mathcal {K},W_{\psi ^*\chi ^*})\) the Bloch–Kato Selmer group for \(\psi ^*\chi ^*\):
where \(\textrm{H}^1(\mathcal {K}_{\overline{v}},W_{\psi ^*\chi ^*})_{\textrm{div}}\subset \textrm{H}^1(\mathcal {K}_{\overline{v}},W_{\psi ^*\chi ^*})\) is the maximal divisible submodule and \(\mathcal {K}_w^{\textrm{ur}}\) denotes the maximal unramified extension of \(\mathcal {K}_w\). Similarly, let
be the Bloch–Kato Selmer group for \(\psi \chi ^*\) (see also [1, §1.1]). Finally, let \(V_{f,\chi }\) be as in (3.1).
Lemma 8.1
In the above setting, we have
Proof
It is a standard fact (see e.g. [8]), \({\textrm{Sel}}_{\mathfrak {P}^\infty }(A_{f,\chi }/\mathcal {K})\) agrees with the Bloch–Kato Selmer group
where \(W_{f,\chi }:=T_{f,\chi }\otimes _{\mathscr {O}}{\mathscr {D}}\) for the \(G_{\mathcal {K}}\)-stable \({\mathscr {O}}\)-lattice \(T_{f,\chi }\subset V_{f,\chi }\) coming from \(T_{\mathfrak {P}}A_f\). In turn (see e.g. [27, Prop. 2.2]), the local conditions defining \(\textrm{H}^1_{{\textrm{f}}}(\mathcal {K},W_{f,\chi })\) at the primes w of \(\mathcal {K}\) above p can be described in terms of the filtration (3.3), namely:
where \({\mathscr {F}}_w^+ W_{f,\chi }:={\mathscr {F}}_w^{+}T_{f,\chi }\otimes _{\mathscr {O}}{\mathscr {D}}\). Note that since \(f=\theta _\psi \) we have
Since different lattices \(T_{f,\chi }\) give rise to Selmer groups \(\textrm{H}^1_{{\textrm{f}}}(\mathcal {K},W_{f,\chi })\) having the same \({\mathscr {O}}\)-corank, taking \(T_{f,\chi }\) so that \(W_{f,\chi }\simeq W_{\psi ^*\chi ^*}\oplus W_{\psi \chi ^*}\), comparing the local conditions we thus find
and the result follows. \(\square \)
The following recovers Theorem A in the introduction as a special case.
Theorem 8.2
Let \(\lambda \) be a self-dual Hecke character of \(\mathcal {K}\) of infinity type \((-1,0)\) with central character \(\omega _\lambda =\eta _{\mathcal {K}}\) and whose conductor \({\mathfrak {f}}_\lambda \) satisfies \({\mathfrak {d}}_{\mathcal {K}}\Vert {\mathfrak {f}}_\lambda \). Then
Proof
By the p-parity conjecture [35], if \({\textrm{corank}}_{{\mathscr {O}}}{\textrm{Sel}}_{\mathfrak {P}^\infty }(B_\lambda /\mathcal {K})=1\) then \(\lambda \) has sign \(-1\). Let \((\psi ,\chi )\) be a good pair for \(\lambda \), i.e., satisfying conditions (G1)–(G4) above, so in particular
By Theorem 4.4, the nonvanishing (8.2) implies that the p-adic L-function \({\mathscr {L}}_{{v}}(\psi \chi ^*)\) does not vanish at trivial character, so by Theorem 4.4 it follows that
where \(\gamma \in \Gamma \) is any topological generator. Since \({\mathscr {X}}_v(\psi \chi ^*)\) corresponds to the Bloch–Kato Selmer group for \(\psi \chi ^*\) over \(\mathcal {K}_\infty /\mathcal {K}\) (see Remark 3.3), it follows that \({\textrm{corank}}_{{\mathscr {O}}}\textrm{H}^1_{{\textrm{f}}}(\mathcal {K},W_{\psi \chi ^*})=0\). Since \({\textrm{Sel}}_{\mathfrak {P}^\infty }(B_\lambda /\mathcal {K})\simeq \textrm{H}^1_{{\textrm{f}}}(\mathcal {K},W_{\psi ^*\chi ^*})\), from Lemma 8.1 we thus obtain
Now, Corollary 7.2 together with a variant of Mazur’s control theorem immediately yields the implication
where \({\textbf{z}}_{f,\chi ,0}\) is the image of \({\textbf{z}}_{f,\chi }\) under the specialization map \({\mathcal {S}}(A_{f,\chi }/\mathcal {K}_\infty ) \rightarrow \textrm{H}^1(\mathcal {K},V_{f,\chi })\) at the trivial character. By definition, the class \({\textbf{z}}_{f,\chi ,0}\) is a nonzero multiple of
where \(y_{f,c}\) is the Heegner class introduced in Sect. 2.2, and so
by virtue of the general Gross–Zagier formula [20, 53]. Finally, we note once more that (3.8) yields the factorization
Combining (8.3), (8.4), and (8.5) we thus obtain
using (8.2) and the above factorization for the last implication. Since \(\psi \chi =\lambda \), this concludes the proof. \(\square \)
References
Adebisi Agboola and Benjamin Howard. Anticyclotomic Iwasawa theory of CM elliptic curves. Ann. Inst. Fourier (Grenoble), 56(4):1001–1048, 2006.
Trevor Arnold. Anticyclotomic main conjectures for CM modular forms. J. Reine Angew. Math., 606:41–78, 2007.
Ashay Burungale, Francesc Castella, and Chan-Ho Kim. A proof of Perrin-Riou’s Heegner point main conjecture. Algebra Number Theory, 15(7):1627–1653, 2021.
Ashay A. Burungale, Francesc Castella, Christopher Skinner, and Ye Tian. \(p\)-converse to a theorem of Gross–Zagier and Kolyvagin: CM elliptic curves over totally real fields. 2021. preprint.
Ashay A. Burungale and Daniel Disegni. On the non-vanishing of \(p\)-adic heights on CM abelian varieties, and the arithmetic of Katz \(p\)-adic \(L\)-functions. Ann. Inst. Fourier (Grenoble), 70(5):2077–2101, 2020.
Massimo Bertolini, Henri Darmon, and Kartik Prasanna. \(p\)-adic Rankin \(L\)-series and rational points on CM elliptic curves. Pacific J. Math., 260(2):261–303, 2012.
Massimo Bertolini, Henri Darmon, and Kartik Prasanna. Generalized Heegner cycles and \(p\)-adic Rankin \(L\)-series. Duke Math. J., 162(6):1033–1148, 2013. With an appendix by Brian Conrad.
Spencer Bloch and Kazuya Kato. \(L\)-functions and Tamagawa numbers of motives. In The Grothendieck Festschrift, Vol. I, volume 86 of Progr. Math., pages 333–400. Birkhäuser Boston, Boston, MA, 1990.
Miljan Brakočević. Anticyclotomic \(p\)-adic \(L\)-function of central critical Rankin-Selberg \(L\)-value. Int. Math. Res. Not. IMRN, (21):4967–5018, 2011.
Manjul Bhargava, Christopher Skinner, and Wei Zhang. A majority of elliptic curves over \(\mathbb{Q}\) satisfy the Birch and Swinnerton-Dyer conjecture. 2015. preprint, arXiv:1505.08165.
Ashay A. Burungale and Ye Tian. A rank zero \(p\)-converse to a theorem of Gross–Zagier, Kolyvagin and Rubin. 2019. preprint.
Ashay A. Burungale and Ye Tian. \(p\)-converse to a theorem of Gross-Zagier, Kolyvagin and Rubin. Invent. Math., 220(1):211–253, 2020.
Ashay Burungale and Ye Tian. The even parity Goldfeld conjecture: congruent number elliptic curves. J. Number Theory, 230:161–195, 2022.
Ashay A. Burungale. On the \(\mu \)-invariant of the cyclotomic derivative of a Katz \(p\)-adic \(L\)-function. J. Inst. Math. Jussieu, 14(1):131–148, 2015.
Francesc Castella. On the\(p\)-adic variation of Heegner points. 2013. Thesis (Ph.D.)–McGill University.
Francesc Castella. \(p\)-adic heights of Heegner points and Beilinson-Flach classes. J. Lond. Math. Soc., 96(1):156–180, 2017.
J. Coates and R. Greenberg. Kummer theory for abelian varieties over local fields. Invent. Math., 124(1-3):129–174, 1996.
Francesc Castella, Giada Grossi, Jaehoon Lee, and Christopher Skinner. On the anticyclotomic Iwasawa theory of rational elliptic curves at Eisenstein primes. Invent. Math., 227(2):517–580, 2022.
Francesc Castella and Ming-Lun Hsieh. Heegner cycles and \(p\)-adic \(L\)-functions. Math. Ann., 370(1-2):567–628, 2018.
Li Cai, Jie Shu, and Ye Tian. Explicit Gross-Zagier and Waldspurger formulae. Algebra Number Theory, 8(10):2523–2572, 2014.
Francesc Castella and Xin Wan. Perrin-Riou’s main conjecture for elliptic curves at supersingular primes. 2016. preprint, arXiv:1607.02019.
Daniel Disegni. The \(p\)-adic Gross-Zagier formula on Shimura curves. Compos. Math., 153(10):1987–2074, 2017.
Ehud de Shalit. Iwasawa theory of elliptic curves with complex multiplication, volume 3 of Perspectives in Mathematics. Academic Press, Inc., Boston, MA, 1987.
Dorian Goldfeld. Conjectures on elliptic curves over quadratic fields. In Number theory, Carbondale 1979 (Proc. Southern Illinois Conf., Southern Illinois Univ., Carbondale, Ill., 1979), volume 751 of Lecture Notes in Math., pages 108–118. Springer, Berlin, 1979.
Ralph Greenberg. On the critical values of Hecke \(L\)-functions for imaginary quadratic fields. Invent. Math., 79(1):79–94, 1985.
Ralph Greenberg. Iwasawa theory and \(p\)-adic deformations of motives. In Motives (Seattle, WA, 1991), volume 55 of Proc. Sympos. Pure Math., pages 193–223. Amer. Math. Soc., Providence, RI, 1994.
Ralph Greenberg. Iwasawa theory for elliptic curves. In Arithmetic theory of elliptic curves (Cetraro, 1997), volume 1716 of Lecture Notes in Math., pages 51–144. Springer, Berlin, 1999.
Ming-Lun Hsieh. On the \(\mu \)-invariant of anticyclotomic \(p\)-adic \(L\)-functions for CM fields. J. Reine Angew. Math., 688:67–100, 2014.
Ming-Lun Hsieh. Special values of anticyclotomic Rankin-Selberg \(L\)-functions. Doc. Math., 19:709–767, 2014.
H. Hida and J. Tilouine. Anti-cyclotomic Katz \(p\)-adic \(L\)-functions and congruence modules. Ann. Sci. École Norm. Sup., 26(2):189–259, 1993.
Jennifer Johnson-Leung and Guido Kings. On the equivariant main conjecture for imaginary quadratic fields. J. Reine Angew. Math., 653:75–114, 2011.
Nicholas M. Katz. \(p\)-adic \(L\)-functions for CM fields. Invent. Math., 49(3):199–297, 1978.
David Loeffler and Sarah Livia Zerbes. Iwasawa theory and \(p\)-adic \(L\)-functions over \(\mathbb{Z}_p^2\)-extensions. Int. J. Number Theory, 10(8):2045–2095, 2014.
Yifeng Liu, Shouwu Zhang, and Wei Zhang. A \(p\)-adic Waldspurger formula. Duke Math. J., 167(4):743–833, 2018.
Jan Nekovář. On the parity of ranks of Selmer groups. II. C. R. Acad. Sci. Paris Sér. I Math., 332(2):99–104, 2001.
Jan Nekovář. The Euler system method for CM points on Shimura curves. In \(L\)-functions and Galois representations, volume 320 of London Math. Soc. Lecture Note Ser., pages 471–547. Cambridge Univ. Press, Cambridge, 2007.
Jan Nekovář. Level raising and anticyclotomic Selmer groups for Hilbert modular forms of weight two. Canad. J. Math., 64(3):588–668, 2012.
Loren D. Olson. Points of finite order on elliptic curves with complex multiplication. Manuscripta Math., 14:195–205, 1974.
Hassan Oukhaba and Stéphane Viguié. On the \(\mu \)-invariant of Katz \(p\)-adic \(L\)-functions attached to imaginary quadratic fields. Forum Math., 28(3):507–525, 2016.
Bernadette Perrin-Riou. Fonctions \(L\)\(p\)-adiques, théorie d’Iwasawa et points de Heegner. Bull. Soc. Math. France, 115(4):399–456, 1987.
Bernadette Perrin-Riou. Théorie d’Iwasawa des représentations \(p\)-adiques sur un corps local. Invent. Math., 115(1):81–161, 1994. With an appendix by Jean-Marc Fontaine.
David E. Rohrlich. On \(L\)-functions of elliptic curves and anticyclotomic towers. Invent. Math., 75(3):383–408, 1984.
Karl Rubin. The “main conjectures” of Iwasawa theory for imaginary quadratic fields. Invent. Math., 103(1):25–68, 1991.
Karl Rubin. \(p\)-adic \(L\)-functions and rational points on elliptic curves with complex multiplication. Invent. Math., 107(2):323–350, 1992.
Karl Rubin. \(p\)-adic variants of the Birch and Swinnerton-Dyer conjecture for elliptic curves with complex multiplication. In \(p\)-adic monodromy and the Birch and Swinnerton-Dyer conjecture (Boston, MA, 1991), volume 165 of Contemp. Math., pages 71–80. Amer. Math. Soc., Providence, RI, 1994.
Karl Rubin. Euler systems, volume 147 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2000. Hermann Weyl Lectures. The Institute for Advanced Study.
Jacob Ressler and Qiyao Yu. \(p\)-converse to a theorem of Gross–Zagier, Kolyvagin, and Rubin for small primes. 2021. in preparation.
Goro Shimura. On the zeta-function of an abelian variety with complex multiplication. Ann. of Math. (2), 94:504–533, 1971.
Christopher Skinner. A converse to a theorem of Gross, Zagier, and Kolyvagin. Ann. of Math., 191(2):329–354, 2020.
Alexander Smith. \(2^\infty \)-Selmer groups, \(2^\infty \)-class groups, and Goldfeld’s conjecture. 2017. preprint, arXiv:1702.02325.
Xin Wan. Heegner Point Kolyvagin System and Iwasawa Main Conjecture. Acta Math. Sin., 37(1):104–120, 2021.
Qiyao Yu. \(p\)-converse to a theorem of Gross–Zagier, Kolyvagin, and Rubin for small primes. 2021. https://resolver.caltech.edu/CaltechTHESIS:06022021-000654935 Caltech, Senior thesis.
Xinyi Yuan, Shou-Wu Zhang, and Wei Zhang. The Gross-Zagier formula on Shimura curves, volume 184 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2013.
Wei Zhang. Selmer groups and the indivisibility of Heegner points. Camb. J. Math., 2(2):191–253, 2014.
Acknowledgements
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.
Author information
Authors and Affiliations
Corresponding author
Additional information
To Bernadette Perrin-Riou, with admiration.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Burungale, A., Castella, F., Skinner, C. et al. \(p^\infty \)-Selmer groups and rational points on CM elliptic curves. Ann. Math. Québec 46, 325–346 (2022). https://doi.org/10.1007/s40316-022-00203-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40316-022-00203-y