Abstract
Let \(A/\mathbf{Q}\) be an elliptic curve with split multiplicative reduction at a prime p. We prove (an analogue of) a conjecture of Perrin-Riou, relating p-adic Beilinson–Kato elements to Heegner points in \(A(\mathbf{Q})\), and a large part of the rank-one case of the Mazur–Tate–Teitelbaum exceptional zero conjecture for the cyclotomic p-adic L-function of A. More generally, let f be the weight-two newform associated with A, let \(f_{\infty }\) be the Hida family of f, and let \(L_{p}(f_{\infty },k,s)\) be the Mazur–Kitagawa two-variable p-adic L-function attached to \(f_{\infty }\). We prove a p-adic Gross–Zagier formula, expressing the quadratic term of the Taylor expansion of \(L_{p}(f_{\infty },k,s)\) at \((k,s)=(2,1)\) as a non-zero rational multiple of the extended height-weight of a Heegner point in \(A(\mathbf{Q})\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let A be an elliptic curve over \(\mathbf{Q}\) of conductor Np, with \(p>3\) a prime of split multiplicative reduction. Fix algebraic closures \(\overline{\mathbf{Q}}\) and \(\overline{\mathbf{Q}}_{p}\) of \(\mathbf{Q}\) and \(\mathbf{Q}_{p}\) respectively, and an embedding \(i_{p} :\overline{\mathbf{Q}}\hookrightarrow {}\overline{\mathbf{Q}}_{p}\). Assume throughout this paper that the p-torsion subgroup \(A_{p}\) of \(A(\overline{\mathbf{Q}})\) is an irreducible \(\mathbf {F}_{p}[G_{\mathbf{Q}}]\)-module, where \(G_{\mathbf{Q}} := \mathrm {Gal}(\overline{\mathbf{Q}}/\mathbf{Q})\).
For every \(n\in {}\mathbf{N}\), write \(\mathbf{Q}_{n}/\mathbf{Q}\) for the cyclic sub-extension of \(\mathbf{Q}(\mu _{p^{n+1}})/\mathbf{Q}\) of degree \(p^{n}\) and let \(\mathbf{Q}_{\infty }=\bigcup _{n\in {}\mathbf{N}}\mathbf{Q}_{n}\) be the cyclotomic \(\mathbf{Z}_{p}\)-extension of \(\mathbf{Q}\). Denote by \(G_{\infty }:=\mathrm {Gal}(\mathbf{Q}_{\infty }/\mathbf{Q})\) the Galois group of \(\mathbf{Q}_{\infty }\) over \(\mathbf{Q}\) and by \(\Lambda _{\mathrm {cyc}}:= \mathbf{Z}_{p}[\![{}G_{\infty }]\!]\) the cyclotomic Iwasawa algebra. Associated with \(A/\mathbf{Q}\) (and \(i_{p}\)) there is a p-adic L-function
interpolating the critical values \(L(A/\mathbf{Q}, \chi ,1)\) of the Hasse–Weil L-function of \(A/\mathbf{Q}\) twisted by finite order characters \(\chi :G_{\infty }\,{\rightarrow }\,{}\overline{\mathbf{Q}}_{p}^{*}\). Thanks to the results of Kato and Coleman–Perrin-Riou, it is known that \(L_{p}(A/\mathbf{Q})\) arises from an Euler system for the p-adic Tate module of \(A/\mathbf{Q}\). More precisely, denote by \(\mathbf{Q}_{p,\infty }=\bigcup _{n\in {}\mathbf{N}}\mathbf{Q}_{p,n}\) the cyclotomic \(\mathbf{Z}_{p}\)-extension of \(\mathbf{Q}_{p}\) (with notations similar to those introduced above), and by \(T_{p}(A)\) the p-adic Tate module of A. For \(K=\mathbf{Q}\) or \(\mathbf{Q}_{p}\), let \(H^{1}_{\mathrm {Iw}}(K_{\infty },T_{p}(A))\) be the inverse limit of the cohomology groups \(H^{1}(K_{n},T_{p}(A))\). The work of Coleman–Perrin-Riou yields a big dual exponential
It is a morphism of \(\Lambda _{\mathrm {cyc}}\)-modules, which interpolates the Bloch–Kato dual exponential maps attached to the twists of \(T_{p}(A)\) by finite order characters \(\chi \) of \(G_\infty \) (see Sect. 3.1 for the precise definition). Kato [16] constructs a cyclotomic Euler system for \(T_{p}(A)\), related to \(L_{p}(A/\mathbf{Q})\) via \(\mathcal {L}_{A}\). In particular he constructs an element \(\zeta ^{\mathrm {BK}}_{\infty }=(\zeta ^{\mathrm {BK}}_{n})_{n\in {}\mathbf{N}}\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{\infty },T_{p}(A))\) such that
Kato’s Euler system is built out of Steinberg symbols of certain Siegel modular units, which also appeared in the work of Beilinson. The classes \(\zeta ^{\mathrm {BK}}_{n}\) are then called p-adic Beilinson–Kato classes.
1.1 A conjecture of Perrin-Riou
Set \(V_{p}(A) := T_{p}(A)\otimes _{\mathbf{Z}_{p}}\mathbf{Q}_{p}\) and denote by \(\zeta ^{\mathrm {BK}}\) the natural image of the class \(\zeta ^{\mathrm {BK}}_{0}\in {}H^{1}(\mathbf{Q},T_{p}(A))\) in \(H^{1}(\mathbf{Q},V_{p}(A))\). We call \(\zeta ^{\mathrm {BK}}\) the p-adic Beilinson–Kato class attached to A. According to Kato’s reciprocity law [16]
where \(\Omega _{A}^{+}\in {}\mathbf {R}^{*}\) is the real Néron period of A and \(\exp _{A}^{*} :H^{1}(\mathbf{Q}_{p},V_{p}(A))\,{\rightarrow }\,{} \mathrm {Fil}^{0}D_{\mathrm {dR}}(V_{p}(A))\cong {}\mathbf{Q}_{p}\) is the Bloch–Kato dual exponential map (see Sect. 2.6 for the last isomorphism). In particular this implies that the complex Hasse–Weil L-function \(L(A/\mathbf{Q},s)\) vanishes at \(s=1\) precisely if \(\zeta ^{\mathrm {BK}}\) is a Selmer class, i.e. if it belongs to the Bloch–Kato Selmer group \(H^{1}_{f}(\mathbf{Q},V_{p}(A))\subset {}H^{1}(\mathbf{Q},V_{p}(A))\) of \(V_{p}(A)\).
When \(L(A/\mathbf{Q},1)=0\), it is natural to ask whether \(\zeta ^{\mathrm {BK}}\) is still related to the special values of \(L(A/\mathbf{Q},s)\). Perrin-Riou addresses this question in [32] for elliptic curves with good reduction at p. In that setting, she conjectures that the logarithm of the p-adic Beilinson–Kato class equals the square of the logarithm of a Heegner point on the elliptic curve, up to a non-zero rational factor. In particular, she predicts that the Beilinson–Kato class is non-zero precisely if the Hasse–Weil L-function has a simple zero at \(s=1\). The first aim of this paper is to prove the analogue of Perrin-Riou’s conjecture in our multiplicative setting.
Since \(A/\mathbf{Q}_{p}\) is split multiplicative, Tate’s theory provides a \(G_{\mathbf{Q}_{p}}\)-equivariant p-adic uniformisation
where \(q_{A}\in {}p\mathbf{Z}_{p}\) is the Tate period of \(A/\mathbf{Q}_{p}\). Denote by \(\log _{q_{A}} :\mathbf{Q}_{p}^{*}/q_{A}^{\mathbf{Z}}\,{\rightarrow }\,{}\mathbf{Q}_{p}\) the branch of the p-adic logarithm which vanishes at \(q_{A}\) and by
the formal group logarithm on \(A/\mathbf{Q}_{p}\). It induces on p-adic completions an isomorphism \(\log _{A} :A(\mathbf{Q}_{p})\widehat{\otimes }\,\mathbf{Q}_{p}\cong {}\mathbf{Q}_{p}\).
Theorem A
Assume that \(L(A/\mathbf{Q},1)=0\), i.e. that \(\zeta ^{\mathrm {BK}}\) is a Selmer class.
-
1.
There exist a non-zero rational number \(\ell _{1}\in {}\mathbf{Q}^{*}\) and a rational point \(\mathbf {P}\in {}A(\mathbf{Q})\otimes \mathbf{Q}\) such that
$$\begin{aligned} \log _{A}(\mathrm {res}_{p}(\zeta ^{\mathrm {BK}}))=\ell _{1}\cdot {}\log _{A}^{2}(\mathbf {P}). \end{aligned}$$ -
2.
\(\mathbf {P}\) is non-zero if and only if \(L(A/\mathbf{Q},s)\) has a simple zero at \(s=1\).
In particular: \(\mathrm {res}_{p}(\zeta ^{\mathrm {BK}})\not =0\) if and only if \(L(A/\mathbf{Q},s)\) has a simple zero at \(s=1\).
The point \(\mathbf {P}\in {}A(\mathbf{Q})\otimes \mathbf{Q}\) which appears in the statement is a Heegner point, coming from a certain Shimura curve parametrisation of A (see Sect. 2.5). Theorem A then compares two Euler systems of a different nature: Kato’s Euler system, belonging to the cyclotomic Iwasawa theory of A, and the Euler system of Heegner points, which pertains to the anticyclotomic Iwasawa theory of A (and a suitable quadratic imaginary field).
The proof of Theorem A relies on Hida’s theory of p-adic families of modular forms. Together with the work of Kato and Coleman–Perrin-Riou mentioned above, the exceptional zero formula proved by Bertolini and Darmon [2], and Nekovář’s theory of Selmer complexes [25] are the key ingredients in our proof.
Remark 1
-
1.
Assume that \(L(A/\mathbf{Q},s)\) has a simple zero at \(s=1\). By the theorem of Gross–Zagier–Kolyvagin, \(A(\mathbf{Q})\) has rank one and \(A(\mathbf{Q})\otimes \mathbf{Q}_{p}=H^{1}_{f}(\mathbf{Q},V_{p}(A))\) is generated by \(\mathbf {P}\). By Theorem A, \(\zeta ^{\mathrm {BK}}\) is equal to \(\log _{A}(\mathbf {P})\cdot {}\mathbf {P}\), up to a non-zero rational factor. According to [5, Corollaire 2], \(\log _{A}(\mathbf {P})\in {}\mathbf{Q}_{p}^{*}\) is transcendental over \(\mathbf{Q}\), so that \(\zeta ^{\text {BK}}\not \in {}A(\mathbf{Q})\otimes {}\overline{\mathbf{Q}}\). In particular, \(\zeta ^{\mathrm {BK}}\) does not come from a rational point in \(A(\mathbf{Q})\otimes \mathbf{Q}\).
-
2.
Bertolini and Darmon have recently announced [3] a proof of Perrin-Riou’s conjecture for elliptic curves with good ordinary reduction at p. Their approach, based on the p-adic Beilinson formula proved in loc. cit. and the p-adic Gross–Zagier formula proved in [4], is markedly different from ours.
Combining Theorem A, the results of Kato and Kolyvagin’s method, we deduce the following result.
Theorem B
\(\zeta ^{\mathrm {BK}}\) is non-zero if and only if \(\mathrm {ord}_{s=1}L(A/\mathbf{Q},s)\le {}1\).
1.2 p-adic Gross–Zagier formulae
Let \(\chi _{\mathrm {cyc}} :G_{\infty }\cong {}1+p\mathbf{Z}_{p}\) denote the p-adic cyclotomic character. For every \(s\in {}\mathbf{Z}_{p}\), set \(L_{p}(A/\mathbf{Q},s) := \chi _{\mathrm {cyc}}^{s-1}(L_{p}(A/\mathbf{Q}))\). Then \(L_{p}(A/\mathbf{Q},s)\) is a p-adic analytic function on \(\mathbf{Z}_{p}\). Since A has split multiplicative reduction at p, the phenomenon of exceptional zeros discovered in [23] implies that \(L_{p}(A/\mathbf{Q},1)=0\) independently of whether \(L(A/\mathbf{Q},s)\) vanishes or not at \(s=1\). The exceptional zero conjecture formulated in loc. cit. states that \(\mathrm {ord}_{s=1}L_{p}(A/\mathbf{Q},s)=\mathrm {ord}_{s=1}L(A/\mathbf{Q},s)+1\), and that the leading term in the Taylor expansion of \(L_{p}(A/\mathbf{Q},s)\) at \(s=1\) equals, up to a non-zero rational factor, the determinant of the lattice \(A^{\dag }(\mathbf{Q})/\mathrm {torsion}\), computed with respect to the extended cyclotomic p-adic height pairing. Here \(A^{\dag }(\mathbf{Q})\) is the extended Mordell–Weil group, whose elements are pairs \((P,y_{P})\in {}A(\mathbf{Q})\times {}\mathbf{Q}_{p}^{*}\) such that \(\Phi _{\mathrm {Tate}}(y_{P})=P\); it is an extension of \(A(\mathbf{Q})\) by the \(\mathbf{Z}\)-module generated by the Tate period \(q_{A}=(0,q_{A})\in {}A^{\dag }(\mathbf{Q})\). When \(L(A/\mathbf{Q},1)\not =0\) the conjecture predicts
where \({\mathscr {L}}_{p}(A)=\log _{p}(q_{A})/\mathrm {ord}_{p}(q_{A})\) is the \({\mathscr {L}}\)-invariant of \(A/\mathbf{Q}_{p}\). This formula was proved by Greenberg and Stevens [10]. (We give a slightly different proof of it in Theorem 5.2 below.)
Our second aim in this paper is to prove (a large part of) the above exceptional zero conjecture when \(\mathrm {ord}_{s=1}L(A/\mathbf{Q},s)=1\) and, more generally, a two-variable p-adic Gross–Zagier formula for the Mazur–Kitagawa p-adic L-function of the Hida family attached to \(A/\mathbf{Q}\). Let \(f\in {}S_{2}(\Gamma _{0}(Np),\mathbf{Z})\) be the weight-two newform associated with \(A/\mathbf{Q}\) by the modularity theorem, and let \(f_{\infty }=\sum _{n=1}^{\infty }a_{n}(k)\cdot {}q^{n}\in {}{\mathscr {A}}_{U}[\![{}q]\!]\) be the Hida family passing through f. Here \(U\subset {}\mathbf{Z}_{p}\) is a p-adic disc centred at 2, and \({\mathscr {A}}_{U}\subset {}\mathbf{Q}_{p}[\![{}k-2]\!]\) is the subring of power series in the variable \(k-2\) which converge for \(k\in {}U\). For every \(k\in {}U\cap {}\mathbf{Z}^{\ge {}2}\), the q-expansion \(f_{k} := \sum _{n=1}^{\infty }a_{n}(k)\cdot {}q^{n}\in {}S_{k}(\Gamma _{1}(Np),\mathbf{Z}_{p})\) is an N-new p-ordinary Hecke eigenform of weight k, and \(f_{2}=f\) (cf. Sect. 2.4). Thanks to the work of Mazur and Kitagawa [17] and Greenberg and Stevens [10], the p-adic L-functions of the forms \(f_{k}\), for \(k\in {}U\cap {}\mathbf{Z}^{\ge {2}}\), can be packaged into a single two-variable p-adic L-function \(L_{p}(f_{\infty },k,s)\in {}{\mathscr {A}},\) where \({\mathscr {A}}\subset {}\mathbf{Q}_{p}[\![{}k-2,s-1]\!]\) is the ring of formal power series converging for every \((k,s)\in {}U\times {}\mathbf{Z}_{p}\) (cf. Sect. 2.4). In particular one has \(L_{p}(f_{\infty },2,s)=L_{p}(A/\mathbf{Q},s)\) and the exceptional zero phenomenon implies that \(L_{p}(f_{\infty },k,s)\in {}{\mathscr {J}}\), where \({\mathscr {J}}\subset {}{\mathscr {A}}\) is the ideal of functions vanishing at \((k,s)=(2,1)\).
Let \(\widetilde{H}_f^{1}(\mathbf{Q},V_{p}(A))\) be Nekovář’s extended Selmer group. It is a \(\mathbf{Q}_{p}\)-module, equipped with a natural inclusion \(A^{\dag }(\mathbf{Q})\otimes \mathbf{Q}_{p}\hookrightarrow {}\widetilde{H}_f^{1}(\mathbf{Q},V_{p}(A))\), which is an isomorphism precisely when the p-primary part of the Tate–Shafarevich group of \(A/\mathbf{Q}\) is finite. In general \(\widetilde{H}_f^{1}(\mathbf{Q},V_{p}(A))\) is canonically isomorphic to the direct sum of the Bloch–Kato Selmer group \(H^{1}_{f}(\mathbf{Q},V_{p}(A))\) and the 1-dimensional vector space \(\mathbf{Q}_{p}\cdot {}q_{A}\) generated by the Tate period of \(A/\mathbf{Q}_{p}\) (see Sect. 4.2). Using Nekovář’s results and ideas (especially [25, Section 11]), we introduce in Sect. 4 a canonical \(\mathbf{Q}_{p}\)-bilinear form
called the cyclotomic height-weight pairing. One can write
where \(\left<{}-,-\right>_{p}^{\mathrm {cyc}}\) and \(\left<{}-,-\right>_{p}^{\mathrm {wt}}\) are canonical \(\mathbf{Q}_{p}\)-valued pairings defined on \(\widetilde{H}_f^{1}(\mathbf{Q},V_{p}(A))\) and \(\{\cdot {}\} :{\mathscr {J}}\twoheadrightarrow {}{\mathscr {J}}/{\mathscr {J}}^{2}\) denotes the projection. It turns out that the restriction
of \(\left<{}-,-\right>^{\mathrm {cyc}}_{p}\) to the Bloch–Kato Selmer group is the cyclotomic canonical p-adic height pairing, as defined, e.g. in [24, Section 7] (see Sect. 4.3.3 for more details). On the other hand, the weight pairing \(\left<{}-,-\right>^{\mathrm {wt}}_{p}\) is intrinsically associated with Hida’s p-ordinary deformation of \(T_{p}(A)\) (cf. Sect. 2.2). For every Selmer class \(x\in {}H^{1}_{f}(\mathbf{Q},V_{p}(A))\), define its extended p-adic height-weight
Let \(\mathrm {sign}(A/\mathbf{Q})\in \{\pm 1\}\) be the sign in the functional equation of \(L(A/\mathbf{Q},s)\), and consider the condition
The work of Gross–Zagier–Kolyvagin guarantees that this condition is satisfied when \(A(\mathbf{Q})\) is infinite and (in particular) when \(L(A/\mathbf{Q},s)\) has a simple zero at \(s=1\). We can finally state the two-variable p-adic Gross–Zagier formula mentioned above.
Theorem C
Assume that \(\mathrm {sign}(A/\mathbf{Q})=-1\) and that \(\mathbf {(Loc)}\) holds true. Let \(\mathbf {P}\in {}A(\mathbf{Q})\otimes \mathbf{Q}\) be as in Theorem A. Then \(L_{p}(f_{\infty },k,s)\in {}{\mathscr {J}}^{2}\) and there exists a non-zero rational number \(\ell _{2}\in {}\mathbf{Q}^{*}\) such that
Moreover, \(L_{p}(f_{\infty },k,s)\in {}{\mathscr {J}}^{3}\) if and only if \(\mathbf {P}=0\) (i.e. \(L(A/\mathbf{Q},s)\) vanishes to order greater than one at \(s=1\)).
1.2.1 Application to the exceptional zero conjecture
Recalling that \(\log _{p}(q_{A})\not =0\) by [7], define the Schneider height
as the symmetric, \(\mathbf{Q}_{p}\)-bilinear form which for \(x,y\in {}H^{1}_{f}(\mathbf{Q},V_{p}(A))\) is given by the formula
The terminology is justified by the fact that \(\left<{}-,-\right>_{p}^{\mathrm {Sch}}\) is the norm-adapted height constructed in [38] (cf. Section 7.14 of [25] and Chapter II, §6 of [23]). As a consequence of Theorem C and the properties of \(\left\langle \!\!\!\langle -,- \right\rangle \!\!\!\rangle _{p}\), one deduces the following p-adic Gross–Zagier formula for \(L_{p}(A/\mathbf{Q},s)\), predicted by Conjecture BSD(p)-exceptional case in [23, Chapter II, §10].
Theorem D
Assume that \(\mathbf {(Loc)}\) holds true and let \(\mathbf {P}\in {}A(\mathbf{Q})\otimes \mathbf{Q}\) be as in Theorem A. Then \(L_{p}(A/\mathbf{Q},s)\) vanishes to order at least 2 at \(s=1\), and there exists a non-zero rational number \(\ell _{3}\in {}\mathbf{Q}^{*}\) such that
The preceding result enriches our repertoire of p-adic Gross–Zagier formulae for cyclotomic and anticyclotomic p-adic L-functions of elliptic curves, which already includes the main results of [1, 18, 30].
As \({\mathscr {L}}_{p}(A)\not =0\), Theorem D implies that \(\mathrm {ord}_{s=1}L_{p}(A/\mathbf{Q},s)=2\) precisely if \(\mathrm {ord}_{s=1}L(A/\mathbf{Q},s)=1\) and \(\left<{}-,-\right>_{p}^{\mathrm {Sch}}\) is non-zero. On the other hand, it is not known that the Schneider height is non-zero when \(L(A/\mathbf{Q},s)\) has a simple zero at \(s=1\).
1.2.2 The derivative of the improved p-adic L-function
As explained in [10], the restriction of \(L_{p}(f_{\infty },k,s)\) to the vertical line \(s=1\) admits a factorisation \(L_{p}(f_{\infty },k,1)=\left( 1-a_{p}(k)^{-1}\right) \cdot {}L_{p}^{*}(f_{\infty },k)\) in \({\mathscr {A}}_{U}\). The results of [7, 10] imply that the function \(1-a_{p}(k)^{-1}\) has a simple zero at \(k=2\). The following p-adic Gross–Zagier formula for the improved p-adic L-function \(L_{p}^{*}(f_{\infty },k)\) is again a consequence of Theorem C and the properties of the height-weight pairing.
Theorem E
Assume that hypothesis \(\mathbf {(Loc)}\) holds and that \(\mathrm {sign}(A/\mathbf{Q})=-1\). Let \(\mathbf {P}\in {}A(\mathbf{Q})\otimes \mathbf{Q}\) be as in Theorem A. Then \(L_{p}^{*}(f_{\infty },2)=0\) and there exists a non-zero rational number \(\ell _{4}\in {}\mathbf{Q}^{*}\) such that
1.3 Outline of the proofs
We briefly sketch the strategy of the proofs of Theorems A and C, assuming for simplicity that \(L(A/\mathbf{Q},s)\) has a simple zero at \(s=1\).
Denote by \(L_{p}^{\mathrm {cc}}(f_{\infty },k) := L_{p}(f_{\infty },k,k/2)\in {}{\mathscr {A}}_{U}\) the restriction of \(L_{p}(f_{\infty },k,s)\) to the central critical line \(s=k/2\). According to the exceptional zero formula proved by Bertolini and Darmon [2], \(L_{p}^{\mathrm {cc}}(f_{\infty },k)\) has order of vanishing 2 at \(k=2\) and
where \(\ell \in {}\mathbf{Q}^{*}\) and \(\mathbf {P}\in {}A(\mathbf{Q})\otimes \mathbf{Q}\) is a Heegner point. (See Sect. 2.5 for more details).
On the algebraic side, write \(\widetilde{h}^{\mathrm {cc}}_{p} :H^{1}_{f}(\mathbf{Q},V_{p}(A))\,{\rightarrow }\,{}\mathbf{Q}_{p}\) for the composition of the extended height-weight \(\widetilde{h}_{p}\) with the morphism \({\mathscr {J}}^{2}/{\mathscr {J}}^{3}\twoheadrightarrow {}\mathbf{Q}_{p}\) which on the class of \(\alpha (k,s)\in {}{\mathscr {J}}^{2}\) takes the value \(\frac{d^{2}}{dk^{2}}\alpha (k,k/2)_{k=2}\). The properties satisfied by the height-weight pairing (cf. Theorem 4.2) yield
for every Selmer class x. Equation (5) can then be rephrased as the p-adic Gross–Zagier formula
This shows that the formula displayed in Theorem C holds true, once one restricts both \(L_{p}(f_{\infty },k,s)\) and \(\widetilde{h}_{p}(\mathbf {P})\) to the central critical line \(s=k/2\). Instead of trying to extend (7) to the (k, s)-plane directly, we first prove an analogue of Theorem C, in which the Heegner point \(\mathbf {P}\) is replaced by the Beilinson–Kato class \(\zeta ^{\mathrm {BK}}\). Precisely, making use of the work of Kato and Ochiai, we prove in Sect. 5 the equality in \({\mathscr {J}}^{2}{/}{\mathscr {J}}^{3}\):
Combined with (5) and (6), this gives
where \(\ell _{1} := -2\ell \cdot {}\mathrm {ord}_{p}(q_{A}){}(1-p^{-1})\). We then show that \(\mathrm {res}_{p}(\zeta ^{\mathrm {BK}})\not =0\) and deduce Theorem A. Now, thanks to the theorem of Gross–Zagier–Kolyvagin, one has \(\zeta ^{\mathrm {BK}}=\lambda \cdot {}\mathbf {P}\), with \(\lambda =\log _{A}(\mathrm {res}_{p}(\zeta ^{\mathrm {BK}})) /\log _{A}(\mathbf {P})\in {}\mathbf{Q}_{p}^{*}\). Then \(\widetilde{h}_{p}(\zeta ^{\mathrm {BK}})=\lambda ^{2}\cdot {}\widetilde{h}_{p}(\mathbf {P})\). If one sets \(\ell _{2} := 2\ell \), Theorem A and Eq. (8) yield Theorem C, namely
Organisation of the paper. Section 2 recalls the known results needed in the rest of the paper. This includes some basic facts from Hida’s theory, the main result of [2] mentioned above, Ochiai’s construction of a two variable big dual exponential and a general version of Kato’s reciprocity law. In Sect. 3 we compute the derivative of Ochiai’s big dual exponential. Section 4 introduces the height-weight pairing \(\left\langle \!\!\!\langle -,- \right\rangle \!\!\!\rangle _{p}\) and discusses its basic properties. In Sect. 5, we use the computations carried out in Sect. 3 to prove certain exceptional zero Rubin’s formulae, relating the big dual exponential and the height-weight pairing. Combining these formulae with Kato’s work, we are able to prove a variant of the main result of [10] and to prove the key equality (8) appearing above. Finally, in Sect. 6 we prove the results stated above.
2 Hida families, exceptional zeros and Euler systems
2.1 The Hida family
Set \(\Gamma := 1+p\mathbf {Z}_{p}\) and \(\Lambda := \mathbf {Z}_{p}[\![{}\Gamma ]\!]\). Let C be a finite, flat \(\Lambda \)-algebra. A continuous \(\mathbf {Z}_{p}\)-algebra morphism \(\nu :C\,{\rightarrow }\,{}\overline{\mathbf {Q}}_{p}\) is an arithmetic point of weight k and character \(\chi \) if its restriction to \(\Gamma \) under the structural morphism is of the form \(\gamma \mapsto {}\gamma ^{k-2}\cdot {}\chi (\gamma )\), for an integer \(k\ge {}2\) and a character \(\chi :\Gamma \,{\rightarrow }\,{}\overline{\mathbf {Q}}_{p}^{*}\) of finite order. Denote by \(\mathcal {X}^{\mathrm {arith}}(C)\) the set of arithmetic points of C.
Let \(f=\sum _{n=1}^{\infty }a_{n}(A)\cdot {}q^{n}\in {}S_{2}(\Gamma _{0}(Np),\mathbf {Z})\) be the weight-two newform attached to \(A/\mathbf {Q}\) by the modularity theorem of Wiles, Taylor–Wiles et alii. According to the work of Hida [13, 14] there exists an R-adic eigenform of tame level N:
passing through f. Here \(R=R_{f}\) is a normal local Noetherian domain, finite and flat over \(\Lambda \), and \(\mathbf {f}\) is a formal power series with coefficients in R satisfying the following properties. For every arithmetic point \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\) of weight \(k\ge {}2\) and character \(\chi \), the \(\nu \) -specialisation
is the q-expansion of an N-new p-ordinary Hecke eigenform of level \(Np^{r}\), weight k, and character \(\chi \cdot {}\omega ^{2-k}\). Here r is the smallest positive integer such that \(1+p^{r}\mathbf {Z}_{p}\subset {}\ker (\chi )\) and \(\omega \) is the Teichmüller character. Moreover, there exists a distinguished arithmetic point \(\psi =\nu _{f}\in {}\mathcal {X}^{\mathrm {arith}}(R)\) of weight 2 and trivial character such that
With the notations of Section 1 of [13], let \(h^{o}(N;\mathbf{Z}_{p})\) be the universal p-ordinary Hecke algebra of tame level N. Diamond operators give a morphism of \(\mathbf{Z}_{p}\)-algebras \([\cdot {}] :\Lambda \,{\rightarrow }\,{}h^{o}(N;\mathbf{Z}_{p})\), making \(h^{o}(N;\mathbf{Z}_{p})\) a free, finitely generated \(\Lambda \)-module [14, Theorem 3.1]. (We assume here that \([\cdot {}]\) is normalised as in Section 1.4 of [26].) The ring R, denoted \({\mathscr {I}}({\mathscr {K}})\) in [13], is the integral closure of \(\Lambda \) in the primitive component \({\mathscr {K}}={\mathscr {K}}_{f}\) of \(h^{o}(N;\mathbf{Z}_{p})\otimes _{\Lambda }\mathrm {Frac}(\Lambda )\) to which f belongs [13, Corollary 1.3].
Let \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\). By [13, Corollary 1.4] the localisation of R at the kernel of \(\nu \) is a discrete valuation ring, unramified over the localisation of \(\Lambda \) at \(\Lambda \cap {}\ker (\nu )\). In particular, fix a topological generator \(\gamma _{0}\in {}\Gamma \), let \(\varpi := \gamma _{0}-1\in {}\Lambda \) and write \(\mathfrak {p}=\mathfrak {p}_{\psi } := \ker (\psi )\). Then
i.e. \(\varpi \) is a prime element of \(R_{\mathfrak {p}}\).
2.2 Hida’s R-adic representation
Let \(\mathbb {T}=\mathbb {T}_{\mathbf {f}}\) be the p-ordinary R-adic representation attached by Hida to \(\mathbf {f}\) in [13, Theorem 2.1]. More precisely, let \(J_{\infty }^{o}[p^{\infty }]\) be the ‘big’ p-divisible group appearing in Section 8 of [13], which is a \(h^{o}(N;\mathbf{Z}_{p})\)-module of co-finite rank. We define \(\mathbb {T}:= \mathrm {Hom}_{\mathbf{Z}_{p}}(J_{\infty }^{o}[p^{\infty }],\mu _{p^{\infty }})\otimes _{h^{o}(N;\mathbf{Z}_{p})}R\). It is a rank-two R-module, equipped with a continuous R-linear action of \(G_{\mathbf{Q}}\), which is unramified at every rational prime \(l{\not \mid }{}Np\). According to Théorème 7 of [22] our assumption on the irreducibility of \(A_{p}\) implies that \(\mathbb {T}\) is a free R-module of rank two and that
for every \(l{\not \mid }{}Np\), where \(\mathrm {Frob}_{l}\) is an arithmetic Frobenius at \(l, [\cdot ]: \Gamma \subset {}\Lambda \,{\rightarrow }\,{} R\) is the structural morphism, and \(\langle \cdot \rangle : \varvec{Z}_{p}^{*} \twoheadrightarrow \Gamma \) is the projection to principal units. Footnote 1
2.2.1 Ramification at p
Let \(G_{p} := G_{\mathbf {Q}_{p}}\hookrightarrow {}G_{\mathbf {Q}}\) be the decomposition group determined by our choice of \(i_{p} :\overline{\mathbf {Q}}\hookrightarrow {}\overline{\mathbf {Q}}_{p}\) and let \(I_{p} := I_{\mathbf {Q}_{p}}\) be its inertia subgroup. By loc. cit. (see also [26, Section 1.5]) there exists an exact sequence of \(R[G_{p}]\)-modules
where \(\mathbb {T}^{+}\) and \(\mathbb {T}^{-}\) are free R-modules of rank 1 and \(\mathbb {T}^{-}\) is unramified. Moreover, write \(\widetilde{\mathbf {a}}_{p} :G_{p}\twoheadrightarrow {}G_{p}/I_{p}\,{\rightarrow }\,{}R^{*}\) for the unramified character sending the arithmetic Frobenius \(\mathrm {Frob}_{p} \in {}G_{p}/I_{p}\) to the p-th Hecke operator \(\mathbf {a}_{p}\). Then \(G_{p}\) acts on \(\mathbb {T}^{-}\) via \(\widetilde{\mathbf {a}}_{p}\) and on \(\mathbb {T}^{+}\) via \(\widetilde{\mathbf {a}}_{p}^{-1}\chi _{\mathrm {cyc}}\left[ \kappa _{\mathrm {cyc}}\right] \), i.e.
As in the introduction, \(\chi _{\mathrm {cyc}} :G_{\mathbf {Q}}\twoheadrightarrow {}\mathbf {Z}_{p}^{*}\) is the p-adic cyclotomic character, and \(\kappa _{\mathrm {cyc}} :G_{\mathbf {Q}}\twoheadrightarrow {}\Gamma \) is the composition of \(\chi _{\mathrm {cyc}}\) with the projection to principal units.
2.2.2 Specialisations
Let \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\), let \(K_{\nu } := \mathrm {Frac}(\nu (R))\) and let \(V_{\nu }\) be the contragredient of the \(K_{\nu }\)-adic Deligne representation of \(G_{\mathbf{Q}}\) attached to the eigenform \(f_{\nu }\). It follows from [29, Theorem 1.4.3] that the representation \(\mathbb {T}_{\nu } := \mathbb {T}\otimes _{R,\nu }\nu (R)\) is canonically isomorphic to a Galois-stable \(\nu (R)\)-lattice in \(V_{\nu }\); in particular there is a natural isomorphism
We identify from now on \(\mathbb {T}_{\nu }\) with a Galois-stable \(\nu (R)\)-lattice in \(V_{\nu }\).
Considering the arithmetic point \(\psi \in {}\mathcal {X}^{\mathrm {arith}}(R)\) corresponding to f, one has \(\mathbb {T}_{\psi }\otimes _{\mathbf{Z}_{p}}\mathbf{Q}_{p}\cong {}V_{p}(A)\). Indeed, the irreducibility of \(A_{p}\) implies that \(\psi \) induces a canonical isomorphism of \(\mathbf {Z}_{p}[G_{\mathbf {Q}}]\)-modules
Recall the Tate parametrisation \(\Phi _{\mathrm {Tate}}\) introduced in (3). As \(q_{A}\) has positive valuation, \(\Phi _{\mathrm {Tate}}\) induces on the p-adic Tate modules a short exact sequence of \(\mathbf {Z}_{p}[G_{p}]\)-modules
We also write \(T_{p}(A)^{+} := \mathbf {Z}_{p}(1)\) and \(T_{p}(A)^{-} := \mathbf {Z}_{p}\). By (11) there are isomorphisms of \(G_{p}\)-modules
We can, and will, normalise \(\pi _{f}^{\pm }\) in such a way that they are compatible with \(\pi _{f}\).
2.3 p-adic L-functions
Let \(G_{\infty }\) and \(\Lambda _{\mathrm {cyc}}\) be as in the introduction, and define \(\overline{R} := R[\![{}G_{\infty }]\!]=R\widehat{\otimes }_{\mathbf {Z}_{p}}\Lambda _{\mathrm {cyc}}\). Under our assumptions Section 3.4 of [9] (using ideas from [10, 17]) attaches to \(\mathbf {f}\) an element
unique up to multiplication by units in R, which interpolates the Mazur–Tate–Teitelbaum p-adic L-functions of the arithmetic specialisations of \(\mathbf {f}\). More precisely, given \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\), let \(\overline{R}_{\nu } := \nu (R)[\![{}G_{\infty }]\!]\) and write again \(\nu :\overline{R}\twoheadrightarrow {}\overline{R}_{\nu }\) for the morphism of \(\Lambda _{\mathrm {cyc}}\)-algebras induced by \(\nu \). Fix also a canonical Shimura period \(\Omega _{\nu }\in {}\mathbb {C}^{*}\) for \(f_{\nu }\) (see [9, Sec. 3.1]). Then, for every \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\), there exists a scalar \(\lambda _{\nu }\in {}\nu (R)^{*}\) such that
where \(L_{p}(f_{\nu })=L_{p,\Omega _{\nu }}(f_{\nu })\) is the Mazur–Tate–Teitelbaum p-adic L-function attached in [23] to \(f_{\nu }\), normalised with respect to \(\Omega _{\nu }\) (see also [10, Section 4]). It is characterised by the following interpolation property: let \(k_{\nu }\) be the weight of \(\nu \). Then for every finite order character \(\chi :G_{\infty }\,{\rightarrow }\,{}\overline{\mathbf {Q}}_{p}^{*}\) and every integer \(0<s_{0}<k_{\nu }\)
where m is the p-adic valuation of the conductor of \(\chi \) and
For a Dirichlet character \(\mu \), \(\tau (\mu )\) is the Gauss sum of \(\mu \) and \(L(f_{\nu },\mu ,s)\) is the Hecke L-function of \(f_{\nu }\) twisted by \(\mu \).
According to [11, Sec. 3], under our assumptions we can choose \(\Omega _{\psi }=\Omega _{A}^{+}\) as the real Néron period of \(A/\mathbf {Q}\), so that \(L_{p}(A/\mathbf {Q}) := L_{p}(f_{\psi })\) is the p-adic L-function of \(A/\mathbf {Q}\). Here we insist to make this choice and to normalise \(L_p(\mathbf {f})\) by requiring \(\lambda _{\psi }=1\), i.e.
Then \(L_p(\mathbf {f})\) is a well-defined element of \(\overline{R}\) up to multiplication by units \(\alpha \in {}R^{*}\) such that \(\psi (\alpha )=1\).
2.3.1 Exceptional zeros
The p-adic multiplier
which appears in the interpolation formula (16) is responsible for the phenomenon of exceptional zeros mentioned in the introduction (cf. [23]). Indeed \(\psi (\mathbf {a}_{p})=a_{p}(A)=+1\) in our setting, and \(E_{p}(\psi ,1)=0\). In particular, let \(I=I_{\mathrm {cyc}}\) be the augmentation ideal of \(\Lambda _{\mathrm {cyc}}\) and let \(\overline{\mathfrak {p}}=(\mathfrak {p},I)\) be the ideal of \(\overline{R}\) generated by I and \(\mathfrak {p}\). Then
2.3.2 The improved p-adic L-function
Let \(\varepsilon :\overline{R}\twoheadrightarrow {}R\) be the augmentation map. By [9, Remark 3.4.5] (generalising a result of [10]) there is a factorisation
for an element \(L_{p}^{*}(\mathbf {f})\in {}R\) called the improved p-adic L-function of \(\mathbf {f}\).
2.4 The analytic Mellin transform
As explained in [10, Section 2.6] (see also [26, Section 1.4.7]), there exist a disc \(U\subset {}\mathbf{Z}_{p}\) centred at 2 and a unique morphism of \(\Lambda \)-algebras
such that \(\mathtt M (r)|_{k=2}=\psi (r)\) for every \(r\in {}R\). Here \({\mathscr {A}}_{U}\subset {}\mathbf{Q}_{p}[\![{}k-2]\!]\) (see Sect. 1.2) is endowed with the structure of a \(\Lambda \)-algebra via the character \(\Gamma \,{\rightarrow }\,{}{\mathscr {A}}_{U}\) which sends \(\gamma \in {}\Gamma \) to the power series \(\gamma ^{k-2}{{{:}\!\!\!=}}\exp _{p}((k-2)\cdot {}\log _{p}(\gamma ))\). The morphism \(\mathtt M \) is called the Mellin transform centred at \(k=2\). For every \(n\in {}\mathbf {N}\), set \(a_{n}(k) := \mathtt M (\mathbf {a}_{n})\) and define
Let \({\mathscr {A}}\subset {}\mathbf {Q}_{p}[\![{}k-2,s-1]\!]{}\) and \({\mathscr {J}}\subset {}{\mathscr {A}}\) be as in Sect. 1.2. Then \({\mathscr {A}}\) has a structure of \(\Lambda _{\mathrm {cyc}}\)-algebra, induced by the character \(G_{\infty }\,{\rightarrow }\,{}{\mathscr {A}}\) mapping \(g\in {}G_{\infty }\) to \(\chi _{\mathrm {cyc}}(g)^{s-1} := \exp _{p}((s-1)\cdot {}\log _{p}(\chi _{\mathrm {cyc}}(g)))\). Moreover there exists a unique morphism of \(\Lambda _{\mathrm {cyc}}\)-algebras
whose restriction to R equals \(\mathtt M \), called the Mellin transform centred at \((k,s)=(2,1)\). Define the Mazur–Kitagawa p-adic L-function of \(f_{\infty }\):
as the Mellin transform of \(L_{p}(\mathbf {f})\in {}\overline{R}\). More precisely, it is a well-defined element of \({\mathscr {A}}\) up to multiplication by a nowhere-vanishing function \(\alpha (k)\in {\mathscr {A}}_{U}\) such that \(\alpha (2)=1\), and belongs to \({\mathscr {J}}\) by Eq. (18). In the introduction we defined \(L_{p}(A/\mathbf {Q},s) := \chi _{\mathrm {cyc}}^{s-1}(L_{p}(A/\mathbf {Q}))=\overline{\mathtt{M }}(L_{p}(A/\mathbf {Q}))\), so that Eq. (17) gives
According to Theorem 5.15 of [10] \(L_{p}(f_{\infty },k,s)\) satisfies the functional equation
where \(\Lambda _{p}(f_{\infty },k,s) := \left<{}N\right>^{s/2}\cdot {}L_{p}(f_{\infty },k,s)\), \(\langle \cdot {}\rangle :\mathbf{Z}_{p}^{*}\twoheadrightarrow {}1+p\mathbf{Z}_{p}\) denotes the projection to principal units and \(\mathrm {sign}(A/\mathbf{Q})\in {}\{\pm 1\}\) is the sign in the functional equation satisfied by the Hasse–Weil L-function of \(A/\mathbf{Q}\). Note that the central critical line \(s=k/2\) is the ‘centre of symmetry’ of the functional equation. In particular, when \(\mathrm {sign}(A/\mathbf {Q})=+1\), \(L_{p}(f_{\infty },k,k/2)\) vanishes identically.
Write . As \(\mathtt M \circ {}\varepsilon =\overline{\mathtt{M }}(\cdot )|_{s=1}\), Eq. (19) gives a factorisation in \({\mathscr {A}}_{U}\):
The function \(L_{p}^{*}(f_{\infty },k)\) is called the improved p-adic L-function of \(f_{\infty }\).
2.5 The Bertolini–Darmon exceptional zero formula
The following result has been proved in [2], assuming a mild technical condition subsequently removed in [21, Section 6]. Denote by \(L_{p}^{\mathrm {cc}}(f_{\infty },k)\in {}{\mathscr {A}}_{U}\) the restriction of \(L_{p}(f_{\infty },k,s)\) to the central critical line \(s=k/2\).
Theorem 2.1
There exist a non-zero rational number \(\ell \in {}\mathbf{Q}^{*}\) and a rational point \(\mathbf {P}\in {}A(\mathbf{Q})\otimes \mathbf{Q}\) such that
Moreover, \(\mathbf {P}\) is non-zero if and only if \(L(A/\mathbf{Q},s)\) has a simple zero at \(s=1\).
Remark 2.2
Assume for simplicity that \(\mathrm {sign}(A/\mathbf{Q})=-1\) and that \(N\not =1\) is not square-full (see [21] for the general case). As explained in [2], the definitions of \(\mathbf {P}\) and \(\ell \) rest on the choice of an auxiliary imaginary quadratic field \(K/\mathbf{Q}\) satisfying the following conditions. Let \(D_{K}\) and \(\epsilon _{K} :\left( \mathbf{Z}/D_{K}\mathbf{Z}\right) ^{*}\,{\rightarrow }\,{}\{\pm 1\}\) denote the discriminant and the quadratic character of K respectively.
- \((\alpha )\) :
-
\((D_{K},Np)=1\) and there is a factorisation \(Np=pN^{+}N^{-}\), such that \(pN^{-}\) is square-free and a prime divisor of Np divides \(pN^{-}\) if and only if it is inert in K.
- \((\beta )\) :
-
The special value \(L(A/\mathbf{Q},\epsilon _{K},1)\) is non-zero.
Then \(\mathbf {P}\) is defined as the trace to \(\mathbf{Q}\) of a Heegner point in \(A(K)\otimes {}\mathbf{Q}\), coming from a parametrisation of \(A/\mathbf{Q}\) by the Shimura curve \(X_{N^{+},pN^{-}}\) associated with an Eichler order of level \(N^{+}\) in the indefinite quaternion algebra of discriminant \(pN^{-}\). The rational number \(\ell \) is defined by the relation
Here \(\Omega _{A}^{-}\in {}i\mathbf {R}^{*}\) is such that \(\Omega _{A}^{+}\cdot {}\Omega _{A}^{-}\) is the Petersson norm of f. The constant \(\eta _{f} := \left<{}\phi _{f},\phi _{f}\right>\in {}\mathbf{Q}^{*}\) is the Petersson norm of a (suitably normalised) Jacquet–Langlands lift of f to an eigenform \(\phi _{f}\) on the definite quaternion algebra of discriminant \(N^{-}\infty \) (cf. Sections 2.2 and 2.3 of [2]). Note that both \(\mathbf {P}\) and \(\ell \) depend on the choice of \(K/\mathbf{Q}\), while the product \(\ell \cdot {}\log _{A}^{2}(\mathbf {P})\) does not.
2.6 Ochiai’s big dual exponential
We recall here the definition of Ochiai’s two-variable big dual exponential for \(\mathbb {T}\), constructed in [27] using previous work of Coleman–Perrin-Riou.
2.6.1 Notations
For every \(n\in {}\mathbf {N}\cup \{\infty \}\), let \(\mathbf{Q}_{p,n}\) be as in the introduction. The Galois group of \(\mathbf{Q}_{p,\infty }/\mathbf{Q}_{p}\) is naturally identified with \(G_{\infty }=\mathrm {Gal}(\mathbf{Q}_{\infty }/\mathbf{Q})\), via the unique prime of \(\mathbf{Q}_{\infty }\) dividing p.
Given \(n\in {}\mathbf{N}\) and a p-adic representation V of \(G_{p}=G_{\mathbf{Q}_{p}}\), let \(D_{\mathrm {dR},n}(V) := H^{0}(\mathbf{Q}_{p,n},V\otimes _{\mathbf{Q}_{p}}B_{\mathrm {dR}})\), where \(B_{\mathrm {dR}}\) is Fontaine’s field of periods. It is equipped with a complete and separated decreasing filtration \(\mathrm {Fil}^{\bullet }D_{\mathrm {dR},n}(V)\), arising from the filtration \(\{\mathrm {Fil}^{n}B_{\mathrm {dR}} := t^{n}B_{\mathrm {dR}}^{+}\}_{n\in {}\mathbf{Z}}\), where \(B_{\mathrm {dR}}^{+}\) is the ring of integers of \(B_{\mathrm {dR}}\) and \(t := \log (\zeta _{\infty })\), for a fixed generator \(\zeta _{\infty }\in {}\mathbf{Z}_{p}(1)\). Denote by \(\mathrm {tg}_{n}(V) := D_{\mathrm {dR},n}(V)/\mathrm {Fil}^{0}\) the tangent space of the \(G_{\mathbf{Q}_{p,n}}\)-representation V. If \(n=0\), it will be omitted from the notations (e.g. \(D_{\mathrm {dR}}(V)=D_{\mathrm {dR},0}(V)\)). If V is a de Rham representation of \(G_{p}\), there is a natural \(\mathrm {Gal}(\mathbf{Q}_{p,n}/\mathbf{Q}_{p})\)-equivariant isomorphism of filtered modules \(D_{\mathrm {dR},n}(V)=D_{\mathrm {dR}}(V)\otimes _{\mathbf{Q}_{p}}\mathbf{Q}_{p,n}\).
Let S be a complete, local Noetherian ring with finite residue field of characteristic p and let \(\mathbb {X}\) be a free S-module of finite rank, equipped with a continuous S-linear action of \(G_{p}\). Define
where the limit is taken with respect to the corestriction maps in Galois cohomology. Galois conjugation equips \(H^{q}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbb {X})\) with the structure of a module over the completed group algebra \(\overline{S} := S[\![{}G_{\infty }]\!]\).
For every R-module \(\mathbb {M}\) and every \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\), write \(\mathbb {M}_{\nu } := \mathbb {M}\otimes _{R,\nu }\nu (R)\).
2.6.2 de Rham modules
Set \(\check{\mathbb {T}} := \mathrm {Hom}_{R}(\mathbb {T},R)\) and \(\check{\mathbb {T}}^{\pm } := \mathrm {Hom}_{R}(\mathbb {T}^{\mp },R)\). Let \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\). Since \(\mathbb {T}_{\nu }\) is a Galois-stable lattice in \(V_{\nu }\) by (12), \(\check{\mathbb {T}}_{\nu }\) is a Galois-stable lattice in the Deligne representation \(\check{V}_{\nu }=\mathrm {Hom}_{K_{\nu }}(V_{\nu },K_{\nu })\) of \(f_{\nu }\), where \(K_{\nu } := \mathrm {Frac}(\nu (R))\). Define \(V_{\nu }^{\pm } := \mathbb {T}_{\nu }^{\pm }\otimes _{\mathbf{Z}_{p}}\mathbf{Q}_{p}\) and \(\check{V}_{\nu }^{\pm } := \check{\mathbb {T}}_{\nu }^{\pm }\otimes _{\mathbf{Z}_{p}}\mathbf{Q}_{p}\). According to (10), for \(M_{\nu }\in {}\{V_{\nu },\check{V}_{\nu }\}\) there is a short exact sequence of \(K_{\nu }[G_{p}]\)-modules
The representation \(\check{V}_{\nu }\) is known to be de Rham, and then so is \(V_{\nu }\). In addition, \(\mathrm {Fil}^{0}D_{\mathrm {dR}}(\check{V}_{\nu })=D_{\mathrm {dR}}(\check{V}_{\nu })\) and \(\mathrm {Fil}^{m}D_{\mathrm {dR}}(\check{V}_{\nu })\) is 1-dimensional over \(K_{\nu }\) (resp., zero) for every \(1\le {}m\le {}k_{\nu }-1\) (resp., \(m\ge {}k_{\nu }\)), where \(k_{\nu }\ge {}2\) is the weight of \(\nu \). It follows easily from (11) that \(p^{-} :V_{\nu }\twoheadrightarrow {}V_{\nu }^{-}\) and \(i^{+} :\check{V}_{\nu }^{+}\hookrightarrow {}\check{V}_{\nu }\) induce isomorphisms of \(K_{\nu }\)-modules
for every \(n\in {}\mathbf {N}\), which we consider as equalities in what follows.
For every \(n\in {}\mathbf{N}\) the duality \(V_{\nu }\times {}\check{V}_{\nu }(1)\,{\rightarrow }\,{}K_{\nu }(1)\) induces a \(K_{\nu }\)-bilinear form
Under the isomorphisms \(D_{\mathrm {dR},n}(M)=D_{\mathrm {dR}}(M)\otimes _{\mathbf{Q}_{p}}\mathbf{Q}_{p,n}\), for \(M=V_{\nu },\check{V}_{\nu }(1)\), the pairing \(\left<{}-,-\right>_{\mathrm {dR},n}\) is identified with the \(\mathbf{Q}_{p,n}\)-base change of \(\left<{}-,-\right>_{\mathrm {dR},0}\). Denote also by \(\left<{}-,-\right>_{\mathrm {dR}} :\mathrm {Fil}^{0}D_{\mathrm {dR},n}(V_{\nu })\times {}\mathrm {tg}_{n}(\check{V}_{\nu }(1)) \,{\rightarrow }\,{}K_{\nu }(\mu _{p^{n+1}})\) the bilinear form defined by composing \(\left<{}-,-\right>_{\mathrm {dR}}\) with the multiplication map \(K_{\nu }\otimes _{\mathbf{Q}_{p}}\mathbf{Q}_{p,n}\,{\rightarrow }\,{}K_{\nu }(\mu _{p^{n+1}})\).
2.6.3 Variation of periods
Let \(\mathbf{Q}_{p}^{\mathrm {un}}\) be the maximal unramified extension of \(\mathbf{Q}_{p}\) and let \(\widehat{\mathbf{Z}}_{p}^{\mathrm {un}}\) be the p-adic completion of its ring of integers. Following [27, Section 3], define the R-module
By (10) and (11), the \(G_{p}\)-module \(\check{\mathbb {T}}^{+}\) is unramified and free of rank one as an R-module. Then \(\mathcal {D}\) is also a free R-module of rank one, by Lemma 3.3 of [27]. As \(H^{0}(\mathbf{Q}_{p}^{\mathrm {un}},B_{\mathrm {dR}})=\widehat{\mathbf{Z}}_{p}^{\mathrm {un}}\otimes _{\mathbf{Z}_{p}}\mathbf{Q}_{p}\), this easily implies (cf. loc. cit.) that for every \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\) there is a natural isomorphism of \(K_{\nu }\)-modules \(\mathcal {D}_{\nu }\otimes _{\mathbf{Z}_{p}}\mathbf{Q}_{p}\cong {}D_{\mathrm {dR}}(\check{V}_{\nu }^{+})\). This induces a natural \(\nu \)-specialisation map
For every \(X\in {}\mathcal {D}\), denote by \(X_{\nu }\) the \(\nu \)-specialisation of X.
Fix a generator \(\mho \) of the R-module \(\mathcal {D}\), which also fixes a \(K_{\nu }\)-basis
Here \(\zeta _{\mathrm {dR}} := \zeta _{\infty }\otimes {}\log (\zeta _{\infty })^{-1}\in {}D_{\mathrm {dR}}(\mathbf{Q}_{p}(1))\) is the canonical \(\mathbf{Q}_{p}\)-basis associated to a generator \(\zeta _{\infty }\in {}\mathbf{Z}_{p}(1)\) and \(\cdot \otimes {}\zeta _{\mathrm {dR}}\) is the natural isomorphism \(D_{\mathrm {dR}}(\check{V}^{+}_{\nu })\cong {} D_{\mathrm {dR}}(\check{V}^{+}_{\nu })\otimes _{\mathbf{Q}_{p}}D_{\mathrm {dR}}(\mathbf{Q}_{p}(1))=D_{\mathrm {dR}}(\check{V}^{+}_{\nu }(1))\).
By (13) and (15) one has \(\mathbb {T}_{\psi }\cong {}T_{p}(A)\) and \(\mathbb {T}_{\psi }^{-}\cong {}\mathbf{Z}_{p}\) respectively. Then \(\check{V}_{\psi }(1)\) and \(\check{V}^{+}_{\psi }(1)\) are identified with \(\check{V}_{p}(A)(1)\) and \(\mathbf{Q}_{p}(1)\) respectively, where \(\check{V}_{p}(A) := \mathrm {Hom}_{\mathbf{Q}_{p}}(V_{p}(A),\mathbf{Q}_{p})\). In particular \(\zeta _{\mathrm {dR}}\) can be identified with an element of \(\mathrm {tg}(\check{V}_{p}(A)(1))\) (cf. Eq. (24)). After possibly multiplying \(\mho \) by a unit in R, we can assume
2.6.4 Ochiai’s two-variable big dual exponential
For every \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\) and every finite order character \(\chi :G_{\infty }\,{\rightarrow }\,{}\overline{\mathbf{Q}}_{p}^{*}\) write \(\nu \times {}\chi :\overline{R}\,{\rightarrow }\,{}\overline{\mathbf{Q}}_{p}\) for the unique morphism of \(\mathbf{Z}_{p}\)-algebras whose restriction to R (resp., \(G_{\infty }\)) equals \(\nu \) (resp., \(\chi \)). Let \(\mathbb {T}^{?}\) denote either \(\mathbb {T}\) or \(\mathbb {T}^{\pm }\). For every \(\mathfrak {Z}_{n}\in {}H^{q}(\mathbf{Q}_{p,n},\mathbb {T}^{?})\) let \(\mathfrak {Z}_{n,\nu }\in {}H^{q}(\mathbf{Q}_{p,n},V_{\nu }^{?})\) be the image of \(\mathfrak {Z}_{n}\) under the morphism induced in cohomology by \(\mathbb {T}^{?}\twoheadrightarrow {}\mathbb {T}^{?}_{\nu }\subset {}V_{\nu }^{?}\). Finally, for every \(n\in {}\mathbf{N}\), write
for the Bloch–Kato dual exponential map defined in [15, Chapter II].
The following proposition is proved in Section 5 of [27] (see in particular Proposition 5.1) building on previous work of Coleman [8] and Perrin-Riou [33].
Proposition 2.3
There exists a unique morphism of \(\overline{R}\)-modules
such that: for every \(\mathfrak {Z}=(\mathfrak {Z}_n)\in {}H^1_\mathrm {Iw}(\mathbf{Q}_{p,\infty },\mathbb {T}^{-})\), every weight-two arithmetic point \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\) and every character \(\chi :\mathrm {Gal}(\mathbf{Q}_{p,n}/\mathbf{Q}_{p})\,{\rightarrow }\,{}\overline{}\overline{\mathbf{Q}}_p^*\) of conductor \(p^{m}\le {}p^{n+1}\)
where
With a slight abuse of notation, write again
for the composition of \(\mathcal {L}_{\mathbb {T}}\) with the morphism \(H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbb {T})\,{\rightarrow }\,{}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbb {T}^{-})\) induced by \(p^{-} :\mathbb {T}\twoheadrightarrow {}\mathbb {T}^{-}\).
2.7 Beilinson–Kato elements and Kato’s reciprocity law
We now state a general version of Kato’s reciprocity law, following Section 6 of [28] (see in particular Corollary 6.17).
Denote by \(\overline{\mathbf{Q}}(Np)/\mathbf{Q}\) the maximal algebraic extension of \(\mathbf{Q}\) which is unramified at every finite prime \(l{\not \mid }{}Np\), and set \( \mathfrak {G} _{n} := \mathrm {Gal}(\overline{\mathbf{Q}}(Np)/\mathbf{Q}_{n})\). Let S be a local complete Noetherian ring with finite residue field of characteristic p and let \(\mathbb {X}\) be a free S-module of finite rank, equipped with a continuous S-linear action of \( \mathfrak {G} _{0}\). Define
where the limit is taken with respect to the corestriction maps. According to [37, Corollary B.3.6], if \(q=1\) and \(S=\mathbf{Z}_{p}\), the \(\Lambda _{\mathrm {cyc}}\)-module \(H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{\infty },\mathbb {X})\) is isomorphic to the inverse limit of the cohomology groups \(H^{1}(\mathbf{Q}_{n},\mathbb {X})\). In particular the definition of \(H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{\infty },T_{p}(A))\) given here agrees with the one given in the introduction.
Theorem 2.4
There exists \(\mathfrak {Z}^{\mathrm {BK}}_{\infty }=(\mathfrak {Z}^{\mathrm {BK}}_{n})_{n\in \mathbf{N}}\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{\infty },\mathbb {T})\) such that
Remark 2.5
The preceding theorem comes principally from the work of Kato [16]. For every arithmetic point \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\), Kato [16] attaches to \(f_{\nu }\) a cyclotomic Euler system for \(\mathbb {T}_{\nu }\), using Beilinson–Kato elements in the \(K_{2}\) of modular curves. In particular this gives a class \(\zeta ^{\mathrm {BK}}_{\infty ,\nu }\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{\infty },\mathbb {T}_{\nu })\), related to the p-adic L-function \(L_{p}(f_{\nu })\) via the Perrin-Riou big dual exponential (see in particular Theorem 16.6 of [16]). According to Theorem 6.11 of [28], the classes \(\{\zeta ^{\mathrm {BK}}_{\infty ,\nu }\}_{\nu }\) can be interpolated by a two-variable Beilinson–Kato class \(\mathfrak {Z}^{\mathrm {BK}}_{\infty }\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{\infty },\mathbb {T})\), satisfying the conclusions of the theorem.
3 The derivative of Ochiai’s big dual exponential
Consider the morphism of \(\overline{R}\)-modules
defined as the composition of Ochiai’s big dual exponential \(\mathcal {L}_{\mathbb {T}}\) with the Mellin transform \(\overline{\mathtt{M }}\); note that \(\mathcal {L}_{\mathbb {T}}(\cdot {},k,s)\) takes values in \({\mathscr {J}}\subset {}{\mathscr {A}}\) since \(\overline{\mathtt{M }}\) maps by construction the ideal \(\overline{\mathfrak {p}}\) into \({\mathscr {J}}\). With a slight abuse of notation, denote again by \(\mathcal {L}_{\mathbb {T}}(\cdot {},k,s) :H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbb {T})\mathop {\longrightarrow }\limits ^{}{\mathscr {J}}\) the composition of \(\mathcal {L}_{\mathbb {T}}(\cdot {},k,s)\) with the morphism induced by the projection \(p^{-} :\mathbb {T}\twoheadrightarrow {}\mathbb {T}^{-}\). The aim of this section is to prove Theorem 3.1 below, which gives a simple expression for the derivative of \(\mathcal {L}_{\mathbb {T}}(\cdot {},k,s)\).
Denote by \(\mathrm {rec}_{p} :\mathbf{Q}_{p}^{*}\,{\rightarrow }\,{}G_{p}^{\mathrm {ab}} := G_{\mathbf{Q}_{p}}^{\mathrm {ab}}\) the local reciprocity map, normalised so that \(\mathrm {rec}_{p}(p^{-1})\) is an arithmetic Frobenius. It induces an isomorphism \(\mathrm {rec}_{p} :\mathbf{Q}_{p}^{*}\widehat{\otimes }\mathbf{Q}_{p}\cong {}G_{p}^{\mathrm {ab}}\widehat{\otimes }\mathbf{Q}_{p}\), where \(G\widehat{\otimes }\mathbf{Q}_{p} := (\mathop {\varprojlim }\limits {}_{n\in {}\mathbf{N}}{}G/p^{n}G)\otimes _{\mathbf{Z}_{p}}\mathbf{Q}_{p}\) for every abelian group G. This yields an isomorphism of \(\mathbf{Q}_{p}\)-vector spaces
which we consider as an equality. For every \(\mathfrak {Z}=(\mathfrak {Z}_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbb {T}^{-})\), the class \(\mathfrak {Z}_{0,\psi }\in {}H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p})\) is then identified with a continuous morphism on \(\mathbf{Q}_{p}^{*}\) (see Sect. 2.6.4 for the notations). Let
be the Bloch–Kato dual exponential map (cf. (24)). Finally, set
Theorem 3.1
-
1.
Let \(\mathfrak {Z}=(\mathfrak {Z}_{n})\in {} H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbb {T}^{-})\) and let \(\mathfrak {z} := \mathfrak {Z}_{0,\psi }\in {}\mathrm {Hom}_{\mathrm {cont}}(\mathbf{Q}_{p}^{*},\mathbf{Q}_{p})\). Then
$$\begin{aligned}&\left( {1-\frac{1}{p}}\right) {}\mathcal {L}_{\mathbb {T}}(\mathfrak {Z},k,s)\\&\quad \equiv {}\mathfrak {z}(p^{-1})\cdot {}(s-1)- \frac{1}{2}{\mathscr {L}}_p(A)\cdot {}\mathfrak {z}(e(1))\cdot {}(k-2)\quad (\mathrm {mod}\ {\mathscr {J}}^{2}). \end{aligned}$$ -
2.
Let \(\mathfrak {Z}=(\mathfrak {Z}_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbb {T})\) and let \(\mathfrak {z} := \mathfrak {Z}_{0,\psi }\in {}H^{1}(\mathbf{Q}_p,V_p(A))\). Then
$$\begin{aligned} \left( {1-\frac{1}{p}}\right) {}\mathcal {L}_{\mathbb {T}}(\mathfrak {Z},k,s)\equiv {} {\mathscr {L}}_p(A)\cdot {}\exp _{A}^{*}(\mathfrak {z})\cdot {}(s-k/2)\quad (\mathrm {mod}\ {\mathscr {J}}^{2}). \end{aligned}$$
The proof of Theorem 3.1 is given in Sect. 3.3. We consider separately the partial derivatives of \(\mathcal {L}_{\mathbb {T}}(\cdot {},k,s)\) with respect to the cyclotomic variable s and the weight variable k. In order to compute the derivative in the cyclotomic direction, we make use of the work of Wiles [44] and Coleman [8]. To compute the derivative in the weight direction, we prove the existence of an improved big dual exponential, and then invoke a formula of Greenberg–Stevens which relates the derivative of the p-th Fourier coefficient of \(f_{\infty }\) to the \({\mathscr {L}}\)-invariant \({\mathscr {L}}_{p}(A)\) [10].
3.1 The Coleman map
In this section we first recall, following [36], the definition of the cyclotomic big dual exponential \(\mathcal {L}_{A} := \mathcal {L}_{T_{p}(A)}\) for the p-adic Tate module of A, called the Coleman map. In our exceptional zero situation, it is a morphism of \(\Lambda _{\mathrm {cyc}}\)-modules
factoring through the Iwasawa cohomology of \(\mathbf{Z}_{p}=T_{p}(A)^{-}\), where \(I=I_{\mathrm {cyc}}\) is the augmentation ideal of \(\Lambda _{\mathrm {cyc}}\). We then prove in Proposition 3.6 a simple formula for its derivative at the augmentation ideal. While versions of Proposition 3.6 already appear in the literature (e.g. it follows from Proposition A.3.1 of [20]), we give here a proof in our setting for the convenience of the reader.
3.1.1 Definition of \(\mathcal {L}_{A}\)
For every \(n\in {}\mathbf{N}\cup {}\{\infty \}\), identify \(G_{n} := \mathrm {Gal}(\mathbf{Q}_{n}/\mathbf{Q})\) with the Galois group of \(\mathbf{Q}_{p,n}/\mathbf{Q}_{p}\) via the unique prime of \(\mathbf{Q}_{\infty }\) dividing p. Then \(\Lambda _{\mathrm {cyc}}=\mathbf{Z}_{p}[\![{}G_{\infty }]\!]\) is identified with the Iwasawa algebra of the cyclotomic \(\mathbf{Z}_{p}\)-extension \(\mathbf{Q}_{p,\infty }/\mathbf{Q}_{p}\). Let \(\mathbf{Z}_{p,n}\) and \(\mathfrak {m}_{n}\) be the ring of integers of \(\mathbf{Q}_{p,n}\) and its maximal ideal respectively, and let \(N_{m,n} :\mathbf{Q}_{p,m}^{*}\,{\rightarrow }\,{}\mathbf{Q}_{p,n}^{*}\) be the norm map, for \(m\ge {}n\).
Fix a generator \(\zeta _{\infty }=(\zeta _{p^{n}})_{n\in {}\mathbf{N}}\in {}\mathbf{Z}_{p}(1)\). As in [36, Appendix], define for every \(n\in {}\mathbf{N}\):
A simple computation shows that these elements are compatible with respect to the trace maps. The following key lemma is due to Coleman (cf. Theorem 24 of [8]).
Lemma 3.2
There exists a unique principal unit \(g(X)\in {}1+(p,X)\cdot {}\mathbf{Z}_p [\![{}X]\!]\) such that:
-
1.
\(\log _p(g(0))=p\);
-
2.
\(\mathfrak {C}_{n} := g(\zeta _{p^{n+1}}-1)\in {}1+\mathfrak {m}_{n}\) and \(\log _p\left( \mathfrak {C}_{n}\right) =x_{n}\) for every \(n\in {}\mathbf{N}\);
-
3.
\(N_{m,n}(\mathfrak {C}_{m})=\mathfrak {C}_{n}\) for every \(m\ge {}n\ge {}0\).
Proof
See [36, Appendix] or [37, Appendix D].\(\square \)
Identify \(H^{1}(\mathbf{Q}_{p,n},\mathbf{Z}_p(1))=\mathbf{Q}_{p,n}^{*}\widehat{\otimes }\mathbf{Z}_p\) by Kummer theory. The preceding lemma allows us to define
Fix a topological generator \(\sigma _{0}\in {}G_{\infty }\), and write \(\varsigma := \sigma _{0}-1\in {}I\) for the corresponding generator of \(I\subset {}\Lambda _{\mathrm {cyc}}\).
Lemma 3.3
There exists a unique \(\mathfrak {C}^{\prime } := \mathfrak {C}^{\prime }_{\varsigma }\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbf{Z}_p(1))\) such that \(\mathfrak {C}=\varsigma \cdot {}\mathfrak {C}^{\prime }\).
Proof
The corestriction map induces an injective map: \(H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbf{Z}_{p}(1))/\varsigma \hookrightarrow {}H^{1}(\mathbf{Q}_{p},\mathbf{Z}_{p}(1))\), and the \(\varsigma \)-torsion submodule \(H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{\infty ,p},\mathbf{Z}_{p}(1))[\varsigma ]\) is trivial (being a quotient of \(H^{0}(\mathbf{Q}_{p},\mathbf{Z}_{p}(1))\)). It is then sufficient to prove that the principal unit \(\mathfrak {C}_{0}\) is equal to 1. Note that \(x_{0}=0\), as \(\mathrm {Trace}_{\mathbf{Q}_{p}(\mu _{p})/\mathbf{Q}_{p}}(\zeta _{p}-1)=-p\). By Lemma 3.2(2) this implies \(\log _{p}(\mathfrak {C}_{0})=0\), i.e. \(\mathfrak {C}_{0}=1\) (as \(p\not =2\)).\(\square \)
By local Tate duality, there is a natural morphism of \(\Lambda _{\mathrm {cyc}}\)-modules
Here \(\iota \) is Iwasawa’s main involution on \(\Lambda _{\mathrm {cyc}}\), i.e. the isomorphism of \(\mathbf{Z}_{p}\)-algebras which acts as inversion on \(G_{\infty }\), and \(H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbf{Z}_{p}(1))^{\iota }\) denotes the \(\mathbf{Z}_{p}\)-module \(H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbf{Z}_{p}(1))\), with \(\Lambda _{\mathrm {cyc}}\)-action obtained by twisting the original action by \(\iota \). (See, e.g. Section 2.1.5 of [31] for the definition of \(\left<{}-,-\right>_{\infty }\)). Define
The fact that \(\mathcal {L}_{A}\) takes values in the augmentation ideal follows from Lemma 3.3 (as \(\iota (\varsigma )=-\sigma _{0}^{-1}\varsigma \in {}I\)). The following proposition is a version of the Coleman–Wiles explicit reciprocity law [8, 44]; we refer to [36, Appendix] (or [42, Section 13.2]) for a proof in our setting.
Proposition 3.4
For every \(z=(z_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbf{Z}_p)\) and every non-trivial character \(\chi \) of \(G_{n}\):
where \(\exp _{n}^{*} :H^{1}(\mathbf{Q}_{p,n},\mathbf{Q}_{p})\,{\rightarrow }\,{}D_{\mathrm {dR},n}(\mathbf{Q}_{p})=\mathbf{Q}_{p,n}\) is the Bloch–Kato dual exponential map.
With a slight abuse of notation, denote again by \(\mathcal {L}_{A} :H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },T_{p}(A))\mathop {\longrightarrow }\limits ^{}I\) the composition of \(\mathcal {L}_{A}\) with the map induced by the projection \(p^{-} :T_{p}(A)\twoheadrightarrow {}\mathbf{Z}_{p}\) (see (14)). Note the following corollary.
Corollary 3.5
Let \(\mathbb {T}^{?}\) denote either \(\mathbb {T}^{-}\) or \(\mathbb {T}\). For every \(\mathfrak {Z}\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbb {T}^{?})\):
where \(\mathfrak {Z}_{\psi }\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },T_{p}(A)^{?})\) is the image of \(\mathfrak {Z}\) under the morphism induced by \(\mathbb {T}^{?}\twoheadrightarrow {}\mathbb {T}_{\psi }^{?}\cong {}T_{p}(A)^{?}\).
Proof
As \(\psi (\mathbf {a}_{p})=1\), this follows from (25) and the interpolation properties of \(\psi \circ {}\mathcal {L}_{\mathbb {T}}\) and \(\mathcal {L}_{A}\).\(\square \)
3.1.2 The derivative of \(\mathcal {L}_{A}\)
If M denotes either \(T_{p}(A)\) or \(\mathbf{Z}_{p}\), define the derivative of \(\mathcal {L}_{A}\):
as the composition of \(\mathcal {L}_{A}\) with the projection \(\{\cdot {}\} :I\twoheadrightarrow {}I/I^{2}\). Denote by \(\log _{p}(\varsigma )\) the p-adic logarithm of \(\chi _{\mathrm {cyc}}(\sigma _{0})\), and define
where \(\varsigma =\sigma _{0}-1\) is our fixed generator of I. As in Sect. 3, the cohomology group \(H^{1}(\mathbf{Q}_{p},\mathbf{Z}_{p})\) is identified with \(\mathrm {Hom}_{\mathrm {cont}}(\mathbf{Q}_{p}^{*},\mathbf{Z}_{p})\) via the local reciprocity map.
Proposition 3.6
Let \(z=(z_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbf{Z}_p)\). Then
Before giving the proof of Proposition 3.6, we deduce the following corollary.
Corollary 3.7
Let \(z=(z_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },T_{p}(A))\). Then
In particular \(\mathcal {L}_{A}(z)\in {}I^{2}\) if and only if \(z_{0}\in {}H^{1}_{f}(\mathbf{Q}_{p},V_{p}(A))\cong {} A(\mathbf{Q}_{p})\widehat{\otimes }\mathbf{Q}_{p}\).
Proof
Consider the exact sequence
arising from the exact sequence (14), where \(\mathrm {inv}_{p}\) is the invariant map of local class field theory. A direct computation shows that \(\delta (\cdot )=\mathrm {inv}_{p}(\cdot \cup {}q_{A}\widehat{\otimes }1)\), where \(\cup :H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p})\times {}H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p}(1))\,{\rightarrow }\,{}H^{2}(\mathbf{Q}_{p},\mathbf{Q}_{p}(1))\) is the natural cup-product pairing and we identify as above \(H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p}(1))=\mathbf{Q}_{p}^{*}\widehat{\otimes }\mathbf{Q}_{p}\). It then follows by local class field theory [39] that \(\delta (\phi )=-\phi (q_{A})\) for every \(\phi \in {}\mathrm {Hom}_{\mathrm {cont}}(\mathbf{Q}_{p}^{*},\mathbf{Q}_{p})\), so that the image of \(p^{-}\) is equal to the space of morphisms \(\phi \) such that \(\phi (q_{A})=0\). As \(\log _{p}\) and \(\mathrm {ord}_{p}\) form a \(\mathbf{Q}_{p}\)-basis of \(\mathrm {Hom}_{\mathrm {cont}}(\mathbf{Q}_{p}^{*},\mathbf{Q}_{p})\), this implies
where \(\log _{q_{A}}=\log _{p}-{\mathscr {L}}_{p}(A)\cdot {}\mathrm {ord}_{p}\) is the branch of the p-adic logarithm which vanishes on \(q_{A}\in {}p\mathbf{Z}_{p}\).
Let \(z=(z_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p, \infty }, T_{p}(A))\), and write \(p^{-}(z_{0})=\alpha \cdot {}\log _{q_{A}}\in {}\mathrm {Hom}_{\mathrm {cont}}(\mathbf{Q}_{p}^{*},\mathbf{Q}_{p})\), for some \(\alpha \in {}\mathbf{Q}_{p}\). Then \(\exp _{A}^{*}(z_{0})=\exp ^{*}(\alpha {}\cdot {}\log _{q_{A}})=\alpha \), where \(\exp ^{*}=\exp ^{*}_{0}\) is the Bloch–Kato dual exponential for \(\mathbf{Q}_{p}\). Indeed, by its very definition (see Chapter II of [15]), \(\exp ^{*}(\log _{p})=1\) and \(\exp ^{*}(\mathrm {ord}_{p})=0\). According to Proposition 3.6
The last assertion in the statement follows from the non-vanishing of the \({\mathscr {L}}\)-invariant [7] and the fact that the finite part \(H^{1}_{f}(\mathbf{Q}_{p},V_{p}(A))\cong {}A(\mathbf{Q}_{p})\widehat{\otimes }\mathbf{Q}_{p}\) [6] of the local cohomology group \(H^{1}(\mathbf{Q}_{p},V_{p}(A))\) is the kernel of the dual exponential. Indeed, the preceding discussion shows that an element of \(H^{1}(\mathbf{Q}_{p},V_{p}(A))\) belongs to the kernel of \(\exp ^{*}_{A}\) if and only if it is in the image of \(i^{+} :H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p}(1))\,{\rightarrow }\,{}H^{1}(\mathbf{Q}_{p},V_{p}(A))\), and the latter equals \(H^{1}_{f}(\mathbf{Q}_{p},V_{p}(A))\), as follows easily from Kummer theory and the surjectivity of the Tate parametrisation (3).\(\square \)
Proof of Proposition 3.6
For every \(n\in {}\mathbf{N}\), let \(\pi _{n} := \mathrm {Norm}_{\mathbf{Q}_{p}(\mu _{p^{n+1}})/\mathbf{Q}_{p,n}}(\zeta _{p^{n+1}}-1)\); this is a uniformiser of \(\mathbf{Z}_{p,n}\). Since \(\mathbf{Q}_{p,n}^{*}\) has no non-trivial p-torsion, one has a decomposition
where \(\widehat{\pi _{n}}\) is the p-adic completion of \(\pi _{n}^{\mathbf{Z}}\). Given \(\alpha _{n}\in {}H^{1}(\mathbf{Q}_{p,n},\mathbf{Z}_{p}(1))\), let \(\kappa _{n}(\alpha _{n})\in {}1+\mathfrak {m}_{n}\) be its projection to principal units, and \(\mathrm {ord}_{n}(\alpha _{n})\in {}\mathbf{Z}_{p}\) its \(\pi _{n}\)-adic valuation. Since \(N_{m,n}(\pi _{m})=\pi _{n}\) for every integers \(m\ge {}n\), if \(\alpha =(\alpha _{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbf{Z}_{p}(1))\) then \(\mathrm {ord}(\alpha ) := \mathrm {ord}_{n}(\alpha _{n})\) is independent of \(n\in {}\mathbf{N}\), and \(\kappa (\alpha ) := (\kappa _{n}(\alpha _{n}))_{n\in {}\mathbf{N}}\) is a compatible sequence with respect to the norm maps. One can then define maps
where \(U_{\infty }^{1}\) denotes the inverse limit of the groups \(1+\mathfrak {m}_{n}\). Write \(\pi _{\infty } := (\pi _{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbf{Z}_{p}(1))\). By construction \(\alpha =\pi _{\infty }^{\mathrm {ord}(\alpha )}+\kappa (\alpha )\) for every \(\alpha =(\alpha _{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbf{Z}_{p}(1))\). Moreover, one has
Indeed, local class field theory tells us that the image of the injective map \(H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbf{Z}_{p}(1))/\varsigma \hookrightarrow {}H^{1}(\mathbf{Q}_{p},\mathbf{Z}_{p}(1))\) induced by the corestriction equals \(\widehat{p}=\widehat{\pi _{0}}\). Then \(U_{\infty }^{1}\subset \varsigma \cdot {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbf{Z}_{p}(1))\) and Eq. (26) follows.
Let us now consider the element \(\mathfrak {C}^{\prime }=\mathfrak {C}^{\prime }_{\varsigma }\) appearing in Lemma 3.3. For every \(z=(z_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbf{Z}_{p})\)
Indeed, let \(\left<{}-,-\right> :H^{1}(\mathbf{Q}_{p},\mathbf{Z}_{p})\times {}H^{1}(\mathbf{Q}_{p},\mathbf{Z}_{p}(1))\,{\rightarrow }\,{}\mathbf{Z}_{p}\) be the local Tate pairing. Then \(\left<{}z_{0},\mathfrak {C}^{\prime }_{0}\right>=\varepsilon \left( \left<{}z,\mathfrak {C}^{\prime }\right>_{\infty }\right) ,\) where \(\varepsilon \) is the augmentation map and we write \(\mathfrak {C}^{\prime }= (\mathfrak {C}^{\prime }_{n})\). This implies
(Note that \(\iota (\varsigma )\equiv {}-\varsigma \ \mathrm {mod}\ I^{2}\).) Since \(\left<{}z_{0},x\right>=z_{0}(x^{-1})\) for every \(x\in {}\mathbf{Q}_{p}^{*}\widehat{\otimes }\mathbf{Z}_{p}\) by local class field theory [39], Eq. (27) follows by combining Eqs. (28) and (26).
Thanks to (27), the proposition will follow once we prove the claim
Write \(V_{\infty }\) for the inverse limit of the groups \(\mathbf{Z}_{p}[\zeta _{p^{m+1}}]^{*}\), for \(m\in {}\mathbf{N}\). According to Theorem A of [8], for every \(v=(v_{n})\in {}V_{\infty }\) there exists a unique power series \(f_{v}(T)\in {}\mathbf{Z}_{p}[\![{}T]\!]^{*}\) such that \(f_{v}(\zeta _{p^{n+1}}-1)=v_{n}\) for every \(n\in {}\mathbf{N}\). The association \(v\mapsto {}f_{v}(T)\) is a morphism of \(\mathbf{Z}_{p}[\![{}\mathrm {Gal}(\mathbf{Q}_{p}(\mu _{p^{\infty }})/\mathbf{Q}_{p})]\!]\)-modules (see [8] for details). Note that, with the notations of Lemma 3.2, \(g(T)=f_{\mathfrak {C}}(T)\). As \(\mathfrak {C}=\varsigma \cdot {}\mathfrak {C}^{\prime }\) and \(\mathfrak {C}^{\prime }=\kappa (\mathfrak {C}^{\prime })+\pi _{\infty }^{\mathrm {ord}(\mathfrak {C}^{\prime })}\), one then finds
Evaluating this equality at \(T=0\) and then applying the p-adic logarithm, we easily obtain
Since \(\log _{p}(g(0))=p\) by Lemma 3.2(1), the claim (29) follows.
3.2 The improved big dual exponential
The aim of this section is to construct an improved big dual exponential \(\mathcal {L}_{\mathbb {T}}^{*} :H^{1}(\mathbf{Q}_{p},\mathbb {T}^{-})\,{\rightarrow }\,{}R[1/p]\). To do this we follow the techniques of [27, Section 5].
Proposition 3.8
There exists a unique morphism of R-modules
such that: for every \(\mathfrak {Z}\in {}H^{1}(\mathbf{Q}_{p},\mathbb {T}^{-})\) and every \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\)
where \(\exp ^{*} :H^{1}(\mathbf{Q}_{p},V_{\nu }^{-})\,{\rightarrow }\,{}D_{\mathrm {dR}}(V_{\nu }^{-})=\mathrm {Fil}^{0} D_{\mathrm {dR}}(V_{\nu })\) is the Bloch–Kato dual exponential map.
Before giving the proof of Proposition 3.8, we note the following corollary (cf. Sect. 2.3.2).
Corollary 3.9
Let \(\varepsilon :\overline{R}\twoheadrightarrow {}R\) be the augmentation map, and let \(\mathfrak {Z}=(\mathfrak {Z}_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbb {T}^{-})\). Then
Proof
Taking \(\chi \) as the trivial character of \(G_{\infty }\) in Proposition 2.3, one has
for every weight-two arithmetic point \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\). Since such points (or better their kernels) form a dense subset of \(\mathrm {Spec}(R)\), the corollary follows.\(\square \)
Proof of Proposition 3.8
Let K be a complete subfield of \(\widehat{\mathbf{Q}}_{p}^{\mathrm {un}}\) and let V be a p-adic representation of \(G_{K}\). Denote by \(D_{\mathrm {dR},K}(V) := H^{0}(K,V\otimes _{\mathbf{Q}_{p}}B_{\mathrm {dR}})\), and by \(\exp :D_{\mathrm {dR},K}(V)\,{\rightarrow }\,{}H^{1}(K,V)\) the Bloch–Kato exponential map [6]. For \(V=\mathbf{Q}_{p}(1)\), it is described by the composition
where the first equality refers to the canonical identification \(D_{\mathrm {dR},K}(\mathbf{Q}_{p}(1))=K\cdot {}\zeta _{\mathrm {dR}}\cong {}K\) (see Sect. 2.6.3), the arrow is given by the usual p-adic exponential and the last equality is the Kummer isomorphism. As K is unramified, \(\exp _{p}\) maps the ring of integers of K into \(\frac{1}{p}H^{1}(K,\mathbf{Z}_{p}(1))\subset {}H^{1}(K,\mathbf{Q}_{p}(1))\).
Set \(G_{p} := G_{\mathbf{Q}_{p}}\), \(I_{p} := I_{\mathbf{Q}_{p}}\) and \(G_{p}^{\mathrm {un}} := G_{p}/I_{p}\). With the notations of Sect. 2.6, consider the morphism of \(R[G_{p}^{\mathrm {un}}]\)-modules
(recall that \(\check{\mathbb {T}}^{+}\) is unramified). As \(H^{0}(I_{p},\check{\mathbb {T}}^{+}(1))=0\), restriction gives an isomorphism between \(H^{1}(\mathbf{Q}_{p},\check{\mathbb {T}}^{+}(1))\) and \(H^{0}(G_{p}^{\mathrm {un}},H^{1}(I_{p},\check{\mathbb {T}}^{+}(1)))\). Taking \(G_{p}^{\mathrm {un}}\)-invariants in (30) then yields a morphism of R-modules
We claim that for every arithmetic point \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\)
where \(\nu _{*} :H^{1}(\mathbf{Q}_{p},\check{\mathbb {T}}^{+}(1))\,{\rightarrow }\,{}H^{1}(\mathbf{Q}_{p},\check{V}_{\nu }^{+}(1))\) is the morphism induced by \(\check{\mathbb {T}}^{+}\twoheadrightarrow {}\check{\mathbb {T}}^{+}_{\nu }\subset {}\check{V}_{\nu }^{+}\), and \(\mathrm {exp}\) is the exponential on \(D_{\mathrm {dR}}(\check{V}_{\nu }^{+}(1))\). As above, the restriction map gives an isomorphism between \(H^{1}(\mathbf{Q}_{p},\check{V}_{\nu }^{+}(1))\) and the \(G_{p}^{\mathrm {un}}\)-invariants of \(H^{1}(I_{p},\check{V}_{\nu }^{+}(1))\). It follows that the exponential \(\exp :D_{\mathrm {dR}}(\check{V}^{+}_{\nu }(1))\,{\rightarrow }\,{}H^{1}(\mathbf{Q}_{p},\check{V}^{+}_{\nu }(1))\) is identified with the restriction of
to the \(G_{p}^{\mathrm {un}}\)-invariants. Equation (31) then follows from the definitions of \(\mathrm {exp}_{\mathbb {T}}\) and \(\mho _{\nu }(1)\).
Let \(\left<{}-,-\right>_{R} :H^{1}(\mathbf{Q}_{p},\mathbb {T}^{-})\otimes _{R}H^{1}(\mathbf{Q}_{p},\check{\mathbb {T}}^{+}(1))\,{\rightarrow }\,{}R\) be the R-adic local Tate pairing and define
By (31) one obtains: for every \(\mathfrak {Z}\in {}H^{1}(\mathbf{Q}_{p},\mathbb {T}^{-})\) and every \(\nu \in {}\mathcal {X}^{\mathrm {arith}}(R)\)
Here \(\left<{}-,-\right>_{\nu } :H^{1}(\mathbf{Q}_{p},V_{\nu }^{-})\times {}H^{1}(\mathbf{Q}_{p},\check{V}^{+}_{\nu }(1))\,{\rightarrow }\,{}K_{\nu }\) is the local Tate pairing and \(\exp ^{*}\) is the Bloch–Kato dual exponential map on \(H^{1}(\mathbf{Q}_{p},V_{\nu }^{-})\); the first equality follows from the functoriality of the local Tate duality, while the last equality is [15, Chapter II, Theorem 1.4.1]. Define
According to (32), the morphism \(\mathcal {L}_{\mathbb {T}}^{*}\) satisfies the desired interpolation property, which characterises it uniquely (as the kernels of the arithmetic points are dense in \(\mathrm {Spec}(R)\)).
3.3 Proof of Theorem 3.1
Write \({\mathscr {R}}\) for the localisation of \(\overline{R}\) at \(\overline{\mathfrak {p}}\), and \({\mathscr {P}}\) for its maximal ideal. Then \({\mathscr {P}}=(\varpi ,\varsigma )\cdot {}{\mathscr {R}}\), where \(\varpi =\gamma _{0}-1\) (resp., \(\varsigma =\sigma _{0}-1\)) is the generator of \(\mathfrak {p}R_{\mathfrak {p}}\) (resp., I) fixed in (9) (resp., Sect. 3.1.1). Moreover the \(\mathbf{Q}_{p}\)-module \({\mathscr {P}}/{\mathscr {P}}^{2}\) is isomorphic to \((I/I^{2}\otimes {}_{\mathbf{Z}_{p}}\mathbf{Q}_{p})\oplus {} (\mathfrak {p}R_{\mathfrak {p}}/\mathfrak {p}^{2}R_{\mathfrak {p}})\).
Let \(\mathfrak {Z}=(\mathfrak {Z}_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p, \infty },\mathbb {T}^{-})\) and \(\mathfrak {z} := \mathfrak {Z}_{0,\psi }\in {}\mathrm {Hom}_{\mathrm {cont}}(\mathbf{Q}_{p}^{*},\mathbf{Q}_{p})\). According to Theorem 3.18 of [10]
where \(\log _{p}(\varpi ) := \log _{p}(\gamma _{0})\). Corollaries 3.5 and 3.9 then yield the equality in \({\mathscr {P}}/{\mathscr {P}}^{2}\):
where as usual \(\{\cdot {}\} :{\mathscr {P}}\twoheadrightarrow {}{\mathscr {P}}/{\mathscr {P}}^{2}\) denotes the projection. Thanks to Propositions 3.6 and 3.8, the last congruence can be rewritten as
Here we used that \(\psi (\mathbf {a}_{p})=a_{p}(A)=1\) and the equality \(\left<{}\exp ^{*}(\mathfrak {z}),\mho _{\psi }(1)\right>_{\mathrm {dR}} =\mathfrak {z}(e(1))\). The latter follows from the definition of \(\exp ^{*} :H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p})\,{\rightarrow }\,{}D_\mathrm {dR}(\mathbf{Q}_{p})=\mathbf{Q}_{p}\) (see the proof of Corollary 3.7) and our normalisation (25) of \(\mho _{\psi }(1)\). Applying \(\overline{\mathtt{M }}\) to both sides of the last equation, one obtains the formula displayed in Part 1 of Theorem 3.1. (Strictly speaking, the Mellin transform is defined on \(\overline{R}\), but it extends to a morphism \(\overline{\mathtt{M }}:{\mathscr {R}}\,{\rightarrow }\,{}{\mathscr {M}}^{\mathrm {reg}}\), where \({\mathscr {M}}^{\mathrm {reg}}\) is the localisation of \({\mathscr {A}}\) at the multiplicative subset \(\{g(k,s)\in {}{\mathscr {A}} :g(2,1)\not =0\}\).)
To prove Part 2 of the theorem, let \(\mathfrak {Z}=(\mathfrak {Z}_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbb {T})\) and let \(\mathfrak {z} := \mathfrak {Z}_{0,\psi }\in {}H^{1}(\mathbf{Q}_{p},V_{p}(A))\). Since \(\exp _{A}^{*}(\mathfrak {z})\) is equal to \(p^{-}(\mathfrak {z})(e(1))\), using Corollary 3.7 in place of Proposition 3.6, the same argument as above yields
thus concluding the proof of Theorem 3.1.
4 Selmer complexes and the height-weight pairing
Inspired by Nekovář’s formalism of height pairings [25, Section 11], we define the height-weight pairing mentioned in the introduction. We then summarise its main properties, referring to [25, 43] for the proofs.
4.1 Selmer complexes
With the notations of Sect. 2.7, set \( \mathfrak {G} := \mathfrak {G} _{0}\). Let S be a complete, local Noetherian ring with finite residue field of characteristic p, and let \({\mathscr {S}}\) be a localisation of S. Let \(M=(M,M^{+})\) be an \({\mathscr {S}}\)-adic, nearly-ordinary representation of \( \mathfrak {G} \). More precisely, \(M=\mathbb {M}\otimes _{S}{\mathscr {S}}\) and \(M^{+}=\mathbb {M}^{+}\otimes _{S}{\mathscr {S}}\), where \(\mathbb {M}\) is a finitely generated, free S-module, equipped with a continuous, S-linear action of \( \mathfrak {G} \), and \(\mathbb {M}^{+}\subset {}\mathbb {M}\) is an S-direct summand of \(\mathbb {M}\), which is stable for the action of the decomposition group \(G_{p} := G_{\mathbf{Q}_{p}}\hookrightarrow {}G_{\mathbf{Q}}\) determined by the embedding \(i_{p} :\overline{\mathbf{Q}}\hookrightarrow {}\overline{\mathbf{Q}}_{p}\).
For every prime q|N, fix an embedding \(i_{q} :\overline{\mathbf{Q}}\hookrightarrow {}\overline{\mathbf{Q}}_{q}\), and write \(G_{q} := G_{\mathbf{Q}_{q}}\hookrightarrow {}G_{\mathbf{Q}}\) for the corresponding decomposition group at q. Following [25], define Nekovář’s Selmer complex of M as the complex of S-modules:
where the notations are as follows. For \(G= \mathfrak {G} \) or \(G=G_{l}\) (l|Np), \(C_{\mathrm {cont}}^{\bullet }(G,\star )\) is the complex of continuous (non-homogeneous) cochains of G with values in \(\star \) and \(C_{\mathrm {cont}}^{\bullet }(\mathbf{Q}_{l},\star ) := C_{\mathrm {cont}}^{\bullet }(G_{l},\star )\) (see Section 3 of [25]). \(i^{+} :C_{\mathrm {cont}}^{\bullet }(\mathbf{Q}_{p},M^{+})\,{\rightarrow }\,{}C_{\mathrm {cont}}^{\bullet }(\mathbf{Q}_{p},M)\) is the morphism induced by \(M^{+}\subset {}M\). Finally, for every prime l|Np, \(\mathrm {res}_{l} :C_{\mathrm {cont}}^{\bullet }( \mathfrak {G} ,M)\,{\rightarrow }\,{}C_{\mathrm {cont}}^{\bullet }(\mathbf{Q}_{l},M)\) is the restriction morphism associated with the decomposition group \(G_{l}\hookrightarrow {}G_{\mathbf{Q}}\) and \(\mathrm {res}_{Np}\) is the direct sum of the morphisms \(\mathrm {res}_{l}\), for l|Np.
Denote by \(\mathrm {D}({\mathscr {S}})\) the derived category of complexes of \({\mathscr {S}}\)-modules and by \(\mathrm {D}({\mathscr {S}})^{b}_{\mathrm {ft}}\subset {}\mathrm {D}({\mathscr {S}})\) the subcategory of cohomologically bounded complexes with cohomology of finite type over \({\mathscr {S}}\). Write
for the image of \(\widetilde{C}_{f}^{\bullet }( \mathfrak {G} ,M)\) in \(\mathrm {D}({\mathscr {S}})_{\mathrm {ft}}^{b}\) and its cohomology respectively.
By construction, there is an exact triangle in \(\mathrm {D}({\mathscr {S}})^{b}_{\mathrm {ft}}\) (cf. Sect. 6 of [25]):
which gives rise to a long exact cohomology sequence of \({\mathscr {S}}\)-modules
Here \(M^{-} := M/M^{+}=\mathbb {M}/\mathbb {M}^{+}\otimes _{S}{\mathscr {S}}\), \(\mathbf {R}\Gamma _{\mathrm {cont}}(G,\star )\in {}\mathrm {D}({\mathscr {S}})^{b}_{\mathrm {ft}}\) is the image of \(C_{\mathrm {cont}}^{\bullet }(G,\star )\) in the derived category, and we write for simplicity \(H^{q}_{N}(M) := \bigoplus _{l|N}H^{q}(\mathbf{Q}_{l},M)\).
4.2 The extended Selmer group
Let \({\mathscr {S}}=\mathbf{Q}_{p}\) and \(M=V_{p}(A)\), with the nearly-ordinary structure \(i^{+} :\mathbf{Q}_{p}(1)\hookrightarrow {}V_{p}(A)\) given in (14). By [25, 12.5.9.2], one can extract from (33) a short exact sequence of \(\mathbf{Q}_{p}\)-modules
where the left-most term arises as \(H^{0}(\mathbf{Q}_{p},\mathbf{Q}_{p})=H^{0}(\mathbf{Q}_{p},V_{p}(A)^{-})\) and \(H^{1}_{f}(\mathbf{Q},V_{p}(A))\subset {}H^{1}( \mathfrak {G} ,V_{p}(A))\) is the Bloch–Kato Selmer group of \(V_{p}(A)\) [6]. In addition the projection in (34) admits a natural splitting
characterised by the following property. Let \(\wp ^{+} :\widetilde{H}_f^{1}(\mathbf{Q},V_{p}(A))\,{\rightarrow }\,{} H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p}(1))=\mathbf{Q}_{p}^{*}\widehat{\otimes }\mathbf{Q}_{p}\) be the morphism induced by the natural projection \(\widetilde{\mathbf {R}\Gamma }_{f}(\mathbf{Q},V_{p}(A))\,{\rightarrow }\,{}\mathbf {R}\Gamma _{\mathrm {cont}}(\mathbf{Q}_{p},\mathbf{Q}_{p}(1))\). Then
This follows from Section 11.4 of [25], thanks to the fact that \({\mathscr {L}}_{p}(A)\not =0\) by [7]. We use the section \(\sigma ^{\text {u-r}}\) to obtain the identification \(\widetilde{H}_f^{1}(\mathbf{Q},V_{p}(A))\cong {}\mathbf{Q}_{p}\oplus {}H^{1}_{f}(\mathbf{Q},V_{p}(A))\). Moreover, we identify the Tate period \(q_{A}\) with the canonical generator of \(\mathbf{Q}_{p}\subset {}\widetilde{H}_f^{1}(\mathbf{Q},V_{p}(A))\). In other words, from now on
4.3 The height-weight pairing
As in Sect. 3.3, let \({\mathscr {R}}\) be the localisation of \(\overline{R}=R[\![{}G_{\infty }]\!]\) at \(\overline{\mathfrak {p}}=(\mathfrak {p},I)\) and let \({\mathscr {P}}=(\varpi ,\varsigma )\cdot {}{\mathscr {R}}\) be its maximal ideal. Let \({\mathscr {M}}^{\mathrm {reg}}\subset {}\mathrm {Frac}({\mathscr {A}})\) be the localisation of \({\mathscr {A}}\) at the multiplicative subset consisting of elements \(g(k,s)\in {}{\mathscr {A}}\) such that \(g(2,1)\not =0\), and write again \({\mathscr {J}}\subset {}{\mathscr {M}}^{\mathrm {reg}}\) for the ideal of functions vanishing at (2, 1). The Mellin transform extends to a morphism \(\overline{\mathtt{M }}:{\mathscr {R}}\,{\rightarrow }\,{}{\mathscr {M}}^{\mathrm {reg}}\) mapping \({\mathscr {P}}\) into \({\mathscr {J}}\) and then induces a morphism of \(\mathbf{Q}_{p}\)-modules \(\overline{\mathtt{M }}:{\mathscr {P}}/{\mathscr {P}}^{2}\,{\rightarrow }\,{}{\mathscr {J}}/{\mathscr {J}}^{2}\).
Denote by \(\chi _{\infty } : \mathfrak {G} \twoheadrightarrow {}G_{\infty }\subset {}\overline{R}^{*}\) the tautological representation of \( \mathfrak {G} \) and define
Similarly, define the \(\overline{R}[G_{p}]\)-modules \(\overline{\mathbb {T}}^{\pm } := \mathbb {T}^{\pm }\otimes _{R}\overline{R}(\chi _{\infty }^{-1})\) and the \(\mathscr {R}[G_{p}]\)-modules \(T^{\pm } := \overline{\mathbb {T}}^{\pm }\otimes _{R}\mathscr {R}\). Then \(\overline{\mathbb {T}}^{\pm }\) are free \(\overline{R}\)-modules of rank one, so that \(T=(T,T^{+})\) is a nearly-ordinary \(\mathscr {R}\)-adic representation of \( \mathfrak {G} \). In particular, there is a short exact sequence of \(\mathscr {R}[G_{p}]\)-modules
and the Selmer complex \(\widetilde{\mathbf {R}\Gamma }_{f}(\mathbf{Q},T)\in {}\mathrm {D}(\mathscr {R})^{b}_{\mathrm {ft}}\) is defined.
Denote by \(\xi :\mathscr {R}\twoheadrightarrow {}\mathbf{Q}_{p}\) the composition of \(\psi :R_{\mathfrak {p}}\twoheadrightarrow {}\mathbf{Q}_{p}\) with the augmentation map \(\varepsilon :\mathscr {R}\twoheadrightarrow {}R_{\mathfrak {p}}\). Since \(\varepsilon \circ {}\chi _{\infty }\) is the trivial character, Eq. (13) induces a natural isomorphism of \(\mathbf{Q}_{p}[ \mathfrak {G} ]\)-modules
Similarly \(T_{\xi }^{+} := T^{+}\otimes _{\mathscr {R},\xi }\mathbf{Q}_{p}\cong {}\mathbf{Q}_{p}(1)\) and \(T_{\xi }^{-} := T^{-}\otimes _{\mathscr {R},\xi }\mathbf{Q}_{p}\cong {}\mathbf{Q}_{p}\) as \(\mathbf{Q}_{p}[G_{p}]\)-modules, and (38) extends to an isomorphism between the \(\xi \)-base change of (37) and the tensor product of (14) with \(\mathbf{Q}_{p}\). This induces a canonical isomorphism of complexes of \(\mathbf{Q}_{p}\)-modules
4.3.1 The Bockstein map
By the general behaviour of Selmer complexes under base change, \(\widetilde{\mathbf {R}\Gamma }_{f}(\mathbf{Q},T_{\xi })\) is isomorphic to the derived base change \(\widetilde{\mathbf {R}\Gamma }_{f}(\mathbf{Q},T)\otimes _{\mathscr {R},\xi }^{\mathbf {L}}\mathbf{Q}_{p}\). This yields via (39) natural isomorphisms in \(\mathrm {D}(\mathscr {R})^{b}_{\mathrm {ft}}\):
(For the details see the proof of Lemma 5.5 below; see also the proof of Proposition 8.10.1 of [25].) Applying the functor \(\widetilde{\mathbf {R}\Gamma }_{f}(\mathbf{Q},T)\otimes _{\mathscr {R}}^{\mathbf {L}}-\) to the exact triangle
then induces a morphism in \(\mathrm {D}(\mathscr {R})^{b}_{\mathrm {ft}}\):
called the derived Bockstein map. It induces in cohomology the Bockstein map
4.3.2 Definition of the pairing
Nekovář’s generalisation of Poitou-Tate duality attaches to the Weil pairing on \(V_{p}(A)\) a perfect, global cup-product pairing [25, Section 6]
where \(H^{*}_{c,\mathrm {cont}}(\mathbf{Q},-)\) denotes the compactly supported cohomology and the last trace isomorphism comes from global class field theory [25, Section 5]. (See in particular Sections 5.3.1.3, 5.4.1 and 6.3 of [25].)
We define the (cyclotomic) height-weight pairing
as the composition of
with
We also write \(\left\langle \!\!\!\langle -,- \right\rangle \!\!\!\rangle _{p}(k,s) := \left\langle \!\!\!\langle -,- \right\rangle \!\!\!\rangle _{p}\) when we want to emphasise the dependence of \(\left\langle \!\!\!\langle -,- \right\rangle \!\!\!\rangle _{p}\) on the variables (k, s). If \(F :\mathscr {M}^{\mathrm {reg}}\,{\rightarrow }\,{}\mathscr {M}^{\mathrm {reg}}\) is a morphism of \(\mathbf{Q}_{p}\)-algebras s.t. \(F(\mathscr {J})\subset {}\mathscr {J}\), then \(\left\langle \!\!\!\langle -,- \right\rangle \!\!\!\rangle _{p}(F(k,s)) := F\circ {}\left\langle \!\!\!\langle -,- \right\rangle \!\!\!\rangle _{p}\).
Remark 4.1
Let \(W :V_{p}(A)\otimes _{\mathbf{Q}_{p}}V_{p}(A)\,{\rightarrow }\,{}\mathbf{Q}_{p}(1)\) be the Weil pairing, normalised as in [40, Chapter III]. In order to define \(\left\langle \!\!\!\langle -,- \right\rangle \!\!\!\rangle _{p}\) without ambiguities, one has to fix the Tate parametrisation \(\Phi _{\mathrm {Tate}}\) introduced in (3), which is unique up to sign. We do this by requiring: \(W(a,i^{+}(b))=p^{-}(a)\cdot {}b\) for every \(a\in {}V_{p}(A)\) and \(b\in {}\mathbf{Q}_{p}(1)\).
4.3.3 Basic properties
In this section we discuss the basic properties satisfied by the height-weight pairing, referring to [25, Section 11] and [43] for the proofs.
Section 7 of [24] defines a symmetric (cyclotomic) canonical height pairing
denoted \(h^{\mathrm {can}}\) in [24]. More precisely, after identifying \(V_{p}(A)\) with its Kummer dual under the Weil pairing, the definition of \(h^{\mathrm {can}}\) rests on the choices of a continuous morphism \(\lambda _{p} :\mathbb {A}^{*}_{\mathbf{Q}}/\mathbf{Q}^{*}\,{\rightarrow }\,{}\mathbf{Q}_{p}\) (where \(\mathbb {A}^{*}_{\mathbf{Q}}\) is the group of ideles of \(\mathbf{Q}\)) and a splitting \(\mathtt sp :D_{\mathrm {dR}}(V_{p}(A))\twoheadrightarrow {}\mathrm {Fil}^{0}D_{\mathrm {dR}}(V_{p}(A))\) of the natural filtration. In the definition of \(\left<{}-,-\right>^{\mathrm {cyc}}_{p}\), \(\lambda _{p}\) is the composition of the Artin map \(\mathbb {A}^{*}_{\mathbf{Q}}/\mathbf{Q}^{*}\,{\rightarrow }\,{}G_{\mathbf{Q}}^{\mathrm {ab}}\) with \(\log _{p}\circ {}\chi _{\mathrm {cyc}} :G_{\mathbf{Q}}^{\mathrm {ab}}\,{\rightarrow }\,{}\mathbf{Q}_{p}\), and \(\mathtt sp \) is the splitting induced by (24). Let \(\{\cdot {}\} :\mathscr {J}\twoheadrightarrow {}\mathscr {J}/\mathscr {J}^{2}\) denote the projection. Given \(g(k,s)=a\cdot {}\{s-1\}+b\cdot {}\{k-2\}\in {}\mathscr {J}/\mathscr {J}^{2}\), write \(\frac{d}{ds}g(2,s)_{s=1} := a\) and \(\frac{d}{dk}g(k,1)_{k=2} := b\).
Theorem 4.2
The \(\mathbf{Q}_p\)-bilinear form \(\left\langle \!\!\!\langle -,- \right\rangle \!\!\!\rangle _{p}\) enjoys the following properties.
-
1.
(Cyclotomic specialisation) For every \(x,y\in {}H^{1}_{f}(\mathbf{Q},V_{p}(A))\):
$$\begin{aligned} \frac{d}{ds}\left( \left\langle \!\!\!\langle x,y \right\rangle \!\!\!\rangle _{p}(2,s)\right) _{s=1}={}\left<{}x,y\right>_{p}^{\mathrm {cyc}}. \end{aligned}$$ -
2.
(Exceptional zero formulae) For every \(z\in {}H^{1}_{f}(\mathbf{Q},V_p(A))\):
$$\begin{aligned} \left\langle \!\!\!\langle q_{A},q_{A} \right\rangle \!\!\!\rangle _{p}=\log _p(q_{A})\cdot {}\{s-k/2\};\quad \left\langle \!\!\!\langle q_{A},z \right\rangle \!\!\!\rangle _{p}=\log _{A}(\mathrm {res}_p(z))\cdot {}\{s-1\}, \end{aligned}$$where \(\log _{A}=\log _{q_{A}}\circ {}\Phi _{\mathrm {Tate}}^{-1} :H^{1}_{f}(\mathbf{Q}_p,V_p(A))\cong {} A(\mathbf{Q}_p)\widehat{\otimes {}}\mathbf{Q}_p \,{\rightarrow }\,{}\mathbf{Q}_p\) is the formal group logarithm.
-
3.
(Functional equation) For every \(x,y\in {}\widetilde{H}_f^{1}(\mathbf{Q},V_p(A))\):
$$\begin{aligned} \left\langle \!\!\!\langle y,x \right\rangle \!\!\!\rangle _{p}(k,s)=-\left\langle \!\!\!\langle x,y \right\rangle \!\!\!\rangle _{p}(k,k-s). \end{aligned}$$
Proof
Part 1 is proved in [25, Corollary 11.4.7]. Part 2 and Part 3 are proved in [43].\(\square \)
5 Exceptional zero formulae à la Rubin
Recall the extended height-weight \(\widetilde{h}_{p} :H^{1}_{f}(\mathbf{Q},V_{p}(A))\,{\rightarrow }\,{}\mathscr {J}^{2}/\mathscr {J}^{3}\) introduced in (4). For every global class \(\mathfrak {Z}=(\mathfrak {Z}_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{\infty },\mathbb {T})\), write \(\mathfrak {Z}_{n,\psi }\in {}H^{1}( \mathfrak {G} _{n},V_{p}(A))\) for the image of \(\mathfrak {Z}_{n}\) under the morphism induced by \(\mathbb {T}\twoheadrightarrow {}\mathbb {T}_{\psi }\subset {}V_{p}(A)\). The aim of this section is to prove the following theorem, reminiscent of the Rubin formulae proved by Rubin [35] and Perrin-Riou [32, Section 2.3] in a different setting (see also [25, Sec. 11]).
Theorem 5.1
Let \(\mathfrak {Z}=(\mathfrak {Z}_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{\infty },\mathbb {T})\) and let \(\mathfrak {z} := \mathfrak {Z}_{0,\psi } \in {}H^{1}( \mathfrak {G} ,V_{p}(A))\).
-
1.
We have the equality in \(\mathscr {J}/\mathscr {J}^{2}\):
$$\begin{aligned} \mathcal {L}_{\mathbb {T}}(\mathrm {res}_{p}(\mathfrak {Z}),k,s)\ \mathrm {mod}\ \mathscr {J}^{2}=\frac{1}{\mathrm {ord}_{p}(q_{A})}\left( {1-\frac{1}{p}}\right) ^{-1} \exp _{A}^{*}(\mathrm {res}_{p}(\mathfrak {z}))\cdot {}\left\langle \!\!\!\langle q_{A},q_{A} \right\rangle \!\!\!\rangle _{p}. \end{aligned}$$In particular: \(\mathcal {L}_{\mathbb {T}}(\mathrm {res}_{p}(\mathfrak {Z}),k,s)\in {}\mathscr {J}^{2}\) if and only if \(\mathfrak {z}\in {}H^{1}_{f}(\mathbf{Q},V_{p}(A))\).
-
2.
If \(\mathfrak {z}\in {}H^{1}_{f}(\mathbf{Q},V_{p}(A))\), we have the equality in \(\mathscr {J}^{2}/\mathscr {J}^{3}\):
$$\begin{aligned} \log _{A}(\mathrm {res}_{p}(\mathfrak {z}))\cdot {}\mathcal {L}_{\mathbb {T}}(\mathrm {res}_{p}(\mathfrak {Z}),k,s)\ \mathrm {mod}\ \mathscr {J}^{3}= \frac{-1}{\mathrm {ord}_{p}(q_{A})}\left( {1-\frac{1}{p}}\right) ^{-1} \cdot {}\widetilde{h}_{p}(\mathfrak {z}). \end{aligned}$$
This result, whose proof is given in Sect. 5.2 below, becomes particularly relevant when combined with the work of Kato. Recall the class \(\mathfrak {Z}^{\mathrm {BK}}_{\infty }\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{\infty },\mathbb {T})\) appearing in Theorem 2.4. By loc. cit. and Eq. (20)
With the notations of the introduction, we set
By Corollary 3.5 and Eq. (17), \(\mathcal {L}_{A}(\mathrm {res}_{p}(\zeta _{\infty }^{\mathrm {BK}}))=L_{p}(A/\mathbf{Q})\); this is Eq. (1) in the introduction.
Equation (42) and Theorem 5.1(1) yield the following result, which in light of Kato’s reciprocity law (2) and Theorem 4.2(2) can be seen as a variant of the main result of [10].
Theorem 5.2
We have the equality in \(\mathscr {J}/\mathscr {J}^{2}\):
In particular, \(L_{p}(f_{\infty },k,s)\in {}\mathscr {J}^{2}\) if and only if \(\zeta ^{\mathrm {BK}}\) is a Selmer class.
Theorem 5.1(2) and (42) combine to give the following theorem (cf. Sect. 1.3).
Theorem 5.3
Assume that \(\zeta ^{\mathrm {BK}}\in {}H^{1}_{f}(\mathbf{Q},V_{p}(A))\). Then we have the equality in \(\mathscr {J}^{2}/\mathscr {J}^{3}\):
5.1 Derivatives of cohomology classes
With the notations of Sect. 4.3, Shapiro’s lemma gives a natural isomorphism of \(\mathscr {R}\)-modules
under which the morphism \(\xi _{*} :H^{1}(\mathbf{Q}_{p},T^{-})\,{\rightarrow }\,{}H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p})\) induced by \(T^{-}\twoheadrightarrow {}T_{\xi }^{-}\cong {}\mathbf{Q}_{p}\) (see (38)) corresponds to the \(\mathscr {R}\)-base change of \(H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{p,\infty },\mathbb {T}^{-})\,{\rightarrow }\,{}H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p});\) \((\mathfrak {Z}_{n})\mapsto \mathfrak {Z}_{0,\psi }\). Under this isomorphism, \(\mathcal {L}_{\mathbb {T}}(\cdot {},k,s)\) gives rise to a morphism of \(\mathscr {R}\)-modules (denoted again by the same symbol)
As usual, one writes \(\mathcal {L}_{\mathbb {T}}(\cdot {},k,s) :H^{1}(\mathbf{Q}_{p},T)\,{\rightarrow }\,{}\mathscr {J}\) also for the morphism induced by the projection \(p^{-} :T\twoheadrightarrow {}T^{-}\).
Denote by \(H^{1}(\mathbf{Q}_{p},T)^{o}\subset {}H^{1}(\mathbf{Q}_{p},T)\) the submodule consisting of classes \(\mathfrak {Y}\) such that \(p^{-}(\mathfrak {Y})\in {}\mathscr {P}\cdot {}H^{1}(\mathbf{Q}_{p},T^{-})\). Given \(\mathfrak {Y}\in {}H^{1}(\mathbf{Q}_{p},T)^{o}\), choose \(\mathfrak {Y}_{\varpi },\mathfrak {Y}_{\varsigma }\in {}H^{1}(\mathbf{Q}_{p},T^{-})\) such that \(p^{-}(\mathfrak {Y})=\varpi \cdot {}\mathfrak {Y}_{\varpi }+\varsigma \cdot {}\mathfrak {Y}_{\varsigma }\), write \(\mathfrak {y}_{\varpi },\mathfrak {y}_{\varsigma }\in {}\mathrm {Hom}_{\mathrm {cont}}(\mathbf{Q}_{p}^{*},\mathbf{Q}_{p})\) for the images of \(\mathfrak {Y}_{\varpi },\mathfrak {Y}_{\varsigma }\) under \(\xi _{*}\) and define
where \(\log _{p}(\varpi ) := \log _{p}(\gamma _{0})\) and \(\log _{p}(\varsigma ) := \log _{p}(\chi _{\mathrm {cyc}}(\sigma _{0}))\). Note that, for \(*\in \{\mathrm {wt},\mathrm {cyc},\dag \}\), the definition of \(\mathrm {Der}_{*}(\mathfrak {Y})\) depends a priori on the choice of the classes \(\mathfrak {Y}_{\varpi }\) and \(\mathfrak {Y}_{\varsigma }\). That it is indeed independent of this choice is a consequence of the following corollary of Theorem 3.1 and the non-vanishing of \(\mathscr {L}_{p}(A)\).
Corollary 5.4
For every \(\mathfrak {Y}\in {}H^{1}(\mathbf{Q}_{p},T)^{o}\), we have
Proof
As \(\log _{p}(\varpi )(k-2)\) and \(\log _{p}(\varsigma )(s-1)\) are the linear terms of \(\overline{\mathtt{M }}(\varpi )\) and \(\overline{\mathtt{M }}(\varsigma )\) respectively, and \(\mathcal {L}_{\mathbb {T}}(\cdot {},k,s)\) factorises through an \(\mathscr {R}\)-linear map on \(H^{1}(\mathbf{Q}_{p},T^{-})\), this is a direct consequence of Theorem 3.1(1).\(\square \)
5.2 Proof of Theorem 5.1
Part 1 of the theorem follows by combining Theorem 3.1(2) with Theorem 4.2(2). We then concentrate on the proof of Part 2 in the rest of this section.
5.2.1 Notations
With the notations of Sect. 4.1, set \(\widetilde{C}_{f}^{\bullet }(M) := \widetilde{C}_{f}^{\bullet }( \mathfrak {G} ,M)\). Write \(\widetilde{x}=(x,x^{+},y)\) for an n-cochain of \(\widetilde{C}_{f}^{\bullet }(M)\), where \(x\in {}C_{\mathrm {cont}}^{n}( \mathfrak {G} ,M)\), \(x^{+}\in {}C_{\mathrm {cont}}^{n}(\mathbf{Q}_{p},M^{+})\) and \(y=(y_{l})_{l|Np}\in {}\bigoplus _{l|Np}C_{\mathrm {cont}}^{n-1}(\mathbf{Q}_{l},M)\). Denote by \(\widetilde{d}\) the differentials of \(\widetilde{C}_{f}^{\bullet }(M)\), so that \(\widetilde{d}(\widetilde{x})=(d(x),d(x^{+}),i^{+}(x^{+})-\mathrm {res}_{Np}(x)-d(y))\), where the d’s are the differentials of \(C_{\mathrm {cont}}^{\bullet }(-,-)\). Write \(\xi _{*} :\widetilde{C}_{f}^{\bullet }(T)\,{\rightarrow }\,{}\widetilde{C}_{f}^{\bullet }(V_{p}(A))\), \(\xi _{*} :C_{\mathrm {cont}}^{\bullet }( \mathfrak {G} ,T)\,{\rightarrow }\,{}C_{\mathrm {cont}}^{\bullet }( \mathfrak {G} ,V_{p}(A))\) and \(\xi _{*} :C_{\mathrm {cont}}^{\bullet }(\mathbf{Q}_{p},T^{?})\,{\rightarrow }\,{}C_{\mathrm {cont}}^{\bullet }(\mathbf{Q}_{p},V_{p}(A)^{?})\) (with \(?\in {}\{\emptyset ,\pm \}\)) to denote the morphisms induced on cochains by \(T\twoheadrightarrow {}T_{\xi }\cong {}V_{p}(A)\) (see Eq. (38)). Finally, write \(\widetilde{\mathbf {R}\Gamma }_{f}(M) := \widetilde{\mathbf {R}\Gamma }_{f}(\mathbf{Q},M)\) and \(\widetilde{H}_f^{*}(M) := \widetilde{H}_f^{*}(\mathbf{Q},M)\).
5.2.2 A description of \(\widetilde{\beta }_{p}\)
In order to prove the theorem, we need a more concrete description of the Bockstein map \(\widetilde{\beta }_{p}\). This is addressed in the following lemma.
Lemma 5.5
Let \(\widetilde{x}\in {}\widetilde{C}_{f}^{1}(V_{p}(A))\) be a 1-cocycle, and let \(\widetilde{X}\in {}\widetilde{C}_{f}^{1}(T)\) and \(\widetilde{Y}_{\varpi },\widetilde{Y}_{\varsigma }\in {}\widetilde{C}_{f}^{2}(T)\) be cochains such that:
-
(a)
\(\xi _{*}(\widetilde{X})=\widetilde{x}{}\);
-
(b)
\(\widetilde{d}(\widetilde{X})=\varpi \cdot {}\widetilde{Y}_{\varpi }+\varsigma \cdot {}\widetilde{Y}_{\varsigma }\).
Then \(\widetilde{y}_{\varpi } := \xi _{*}(\widetilde{Y}_{\varpi })\) and \(\widetilde{y}_{\varsigma } := \xi _{*}(\widetilde{Y}_{\varsigma })\) are 2-cocycles of \(\widetilde{C}_{f}^{\bullet }(V_{p}(A))\) and
(where \([\star ]\) denotes the cohomology class of \(\star \), and \(\{\cdot {}\} :\mathscr {P}\twoheadrightarrow {}\mathscr {P}/\mathscr {P}^{2}\) the projection).
Proof
Consider the complex of \(\mathscr {R}\)-modules, concentrated in degrees \((-2,0)\):
where \(d_{2}(r)=(-r\varsigma ,r\varpi )\) and \(d_{1}(r,s)=r\varpi +s\varsigma \). It is the Koszul complex of the \(\mathscr {R}\)-sequence \((\varpi ,\varsigma )\) generating \(\mathscr {P}\). Note that the morphism \(\xi \) in degree zero defines a quasi-isomorphism \(\xi :K_{\bullet }\,{\rightarrow }\,{}\mathbf{Q}_{p}\). Similarly, one has a quasi-isomorphism \(\xi ^{\prime } :K_{\bullet }^{2}\,{\rightarrow }\,{}\mathbf{Q}_{p}^{2}\cong {}\mathscr {P}/\mathscr {P}^{2}\), defined in degree zero by \(\xi ^{\prime }(r,s)=\xi (r)\{\varpi \}+\xi (s)\{\varsigma \}\). It is then easily verified that there is a commutative diagram in \(\mathrm {D}(\mathscr {R})\):
where \(\partial _{\xi }\) is the morphism which appears in the exact triangle (41) and \(\widehat{\partial _{\xi }}\) is the morphism of complexes
with \(\mu (r) := (0,r,-r,0)\) for every \(r\in {}\mathscr {R}\).
As \(K_{\bullet }\cong {}\mathbf{Q}_{p}\) in \(\mathrm {D}(\mathscr {R})\) and \(K_{\bullet }\) is a complex of free \(\mathscr {R}\)-modules, there are functorial isomorphisms in \(\mathrm {D}(\mathscr {R})\):
for every cohomologically bounded complex \(C\in {}\mathrm {D}(\mathscr {R})^{b}\). Since T and \(T^{\pm }\) are free \(\mathscr {R}\)-modules, the natural projection \(K_{\bullet }\,{\rightarrow }\,{}\mathscr {R}/\mathscr {P}\) (in degree zero) induces a quasi-isomorphism
The complex on the right is isomorphic to \(\widetilde{C}_{f}^{\bullet }(T_{\xi })\cong {}\widetilde{C}_{f}^{\bullet }(V_{p}(A))\), as follows from [25, Proposition 3.4.2]. Then \(\xi _{*} :\widetilde{C}_{f}^{\bullet }(T)\twoheadrightarrow {}\widetilde{C}_{f}^{\bullet }(V_{p}(A))\) and (45) define a quasi-isomorphism
inducing via (44) the first isomorphism in (40). Similarly, consider the quasi-isomorphism
The second isomorphism displayed in (40) is then induced by \(\Xi ^{\prime }\) via (44).
Together with (43), the preceding discussion describes the morphism \(\widetilde{\beta }_{p}\) as the composition
where \((\cdot {})_{n} := H^{n}(\cdot )\). Take now \(\widetilde{x},\widetilde{X},\widetilde{Y}_{\varpi }\) and \(\widetilde{Y}_{\varsigma }\) as in the statement. The relation (b) gives \(\varpi \cdot {}\widetilde{d}(\widetilde{Y}_{\varpi })=-\varsigma \cdot {}\widetilde{d}(\widetilde{Y}_{\varsigma })\). This easily implies that \(\widetilde{d}(\widetilde{Y}_{\varpi })=\varsigma \cdot {}\widetilde{U}\) and \(\widetilde{d}(\widetilde{Y}_{\varsigma })=-\varpi \cdot {}\widetilde{U}\), for a 3-cocycle \(\widetilde{U}\in {}\widetilde{C}_{f}^{3}(T)\). Then (b) tells us that
is a 1-cocycle, and by (a): \(\Xi _{1}([\mathbf {X}])=[\xi _{*}(\widetilde{X})]=[\widetilde{x}]\). Applying \((\mathrm {id}\otimes {}\widehat{\partial _{\xi }})_{1}\) to \(\mathbf {X}\) we obtain the 2-cocycle
By Eq. (46) one has
as was to be shown.\(\square \)
5.2.3 Proof of Part 2 of Theorem 5.1
Let us begin with two simple lemmas.
Lemma 5.6
-
1.
The natural projections induce isomorphisms
$$\begin{aligned} H^{1}(\mathbf{Q}_{p},T^{-})/\varpi \cong {}H^{1}(\mathbf{Q}_{p},T^{-}/\varpi );\ \ H^{1}(\mathbf{Q}_{p},T^{-})/\varsigma \cong {}H^{1}(\mathbf{Q}_{p},T^{-}/\varsigma ). \end{aligned}$$ -
2.
\(\xi _{*}\) induces an isomorphism \(H^{1}(\mathbf{Q}_{p},T^{-})\otimes _{\mathscr {R}}\mathscr {R}/\mathscr {P}\cong {}H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p})\).
Proof
1. We prove the first isomorphism, the other being similar. Since \((T^{-}/\varpi )/\varsigma =T^{-}/\mathscr {P}\cong {}\mathbf{Q}_{p}\), \(H^{2}(\mathbf{Q}_{p},T^{-}/\varpi )/\varsigma \) is a submodule of \(H^{2}(\mathbf{Q}_{p},\mathbf{Q}_{p})=0\), hence \(H^{2}(\mathbf{Q}_{p},T^{-}/\varpi )=0\) by Nakayama’s lemma. We have short exact sequences
Taking \(q=2\) yields \(H^{2}(\mathbf{Q}_{p},T^{-})/\varpi =0\), and then \(H^{2}(\mathbf{Q}_{p},T^{-})=0\) by another application of Nakayama’s lemma. Taking now \(q=1\) in the exact sequence above, one finds \(H^{1}(\mathbf{Q}_{p},T^{-})/\varpi \cong {}H^{1}(\mathbf{Q}_{p},T^{-}/\varpi )\).
2. By an argument similar to that proving Part 1, the vanishing of \(H^{2}(\mathbf{Q}_{p},\mathbf{Q}_{p})\) implies that \(H^{1}(\mathbf{Q}_{p},T^{-}/\varpi )/\varsigma \) is isomorphic to \(H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p})\). Together with Part 1 this concludes the proof. \(\square \)
Taking \(\mathscr {S}=\mathbf{Q}_{p}\) and \(M=V_{p}(A)\) in Eq. (33) (so that \(M^{-}=\mathbf{Q}_{p}\)), one can extract from the long exact sequence a morphism
We recall also the morphism \(\wp ^{+} :\widetilde{H}_f^{1}(V_{p}(A))\,{\rightarrow }\,{}H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p}(1))=\mathbf{Q}_{p}^{*}\widehat{\otimes }\mathbf{Q}_{p}\) introduced in Sect. 4.2.
Lemma 5.7
For every \(\varvec{x}\in {}\widetilde{H}_f^{1}(V_{p}(A))\) and every \(\kappa \in {}H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p})\):
Proof
Let \(\hat{\kappa }\in {}C^{1}_{\mathrm {cont}}(\mathbf{Q}_{p},V_{p}(A))\) be a 1-cochain lifting \(\kappa \) under the map \(p^{-}_{*} :C_{\mathrm {cont}}^{\bullet }(\mathbf{Q}_{p},V_{p}(A))\,{\rightarrow }\,{}C_{\mathrm {cont}}^{\bullet }(\mathbf{Q}_{p},\mathbf{Q}_{p})\) and let \(d\hat{\kappa }=i^{+}(c(\kappa )^{+})\), for a 2-cocycle \(c(\kappa )^{+}\in {}C^{2}_{\mathrm {cont}}(\mathbf{Q}_{p},\mathbf{Q}_{p}(1))\). By construction
Let \((x,x^{+},y)\in {}\widetilde{C}_{f}^{1}(V_{p}(A))\) be a 1-cocycle representing \(\varvec{x}\), so \(\wp ^{+}(\varvec{x})\) is represented by \(x^{+}\in {}C_{\mathrm {cont}}^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p}(1))\). The definition of \(\left<{}-,-\right>_{\mathrm {Nek}}\) in [25, Section 6.3] yields
Here \(\cup _{W} :C_{\mathrm {cont}}^{\bullet }(\mathbf{Q}_{p},V_{p}(A))\otimes _{\mathbf{Q}_{p}}C_{\mathrm {cont}}^{\bullet }(\mathbf{Q}_{p},V_{p}(A)) \,{\rightarrow }\,{}C_{\mathrm {cont}}^{\bullet }(\mathbf{Q}_{p},\mathbf{Q}_{p}(1))\) is the cup-product induced by the Weil pairing W, and \(\mathrm {inv}_{p}:H^{2}(\mathbf{Q}_{p},\mathbf{Q}_{p}(1))\cong {}\mathbf{Q}_{p}\) is the invariant map. The second equality follows from Remark 4.1, while the last equality is a consequence of local class field theory [39].\(\square \)
We are now ready to begin the actual proof of Part 2 of Theorem 5.1. Let \(\mathfrak {Z}=(\mathfrak {Z}_{n})\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{\infty },\mathbb {T})\), let \(\mathfrak {z} := \mathfrak {Z}_{0,\psi }\) and assume that \(\mathfrak {z}\in {}H^{1}_{f}(\mathbf{Q},V_{p}(A))\). As in Sect. 5.1, Shapiro’s lemma gives a natural isomorphism
Write again \(\mathfrak {Z}\in {}H^{1}( \mathfrak {G} ,T)\) for the class corresponding to \(\mathfrak {Z}\otimes {}1\in {}H^{1}_{\mathrm {Iw}}(\mathbf{Q}_{\infty },\mathbb {T})\otimes _{\overline{R}}\mathscr {R}\) under this isomorphism, which satisfies \(\mathfrak {z}=\xi _{*}(\mathfrak {Z})\). Choose a 1-cocycle \(Z\in {}C^{1}_{\mathrm {cont}}( \mathfrak {G} ,T)\) representing \(\mathfrak {Z}\), and a 1-cochain
(The shape of \(\dag \in {}C^{1}_{\mathrm {cont}}(\mathbf{Q}_{p},T^{+})\) and \(\ddag \in {}\bigoplus _{l|Np}C^{0}_{\mathrm {cont}}(\mathbf{Q}_{l},T)\) will not be relevant, and we use Eq. (36) to identify \(H^{1}_{f}(\mathbf{Q},V_{p}(A))\) with a submodule of \(\widetilde{H}_f^{1}(V_{p}(A))\).) As \(\xi _{*}(\widetilde{d}(\widetilde{Z}))=0\), there exist \(\widetilde{Y}_{\varpi },\widetilde{Y}_{\varsigma }\in {}\widetilde{C}_{f}^{2}(T)\) such that
Write \(\widetilde{y}_{\varpi } := \xi _{*}(\widetilde{Y}_{\varpi })\) and \(\widetilde{y}_{\varsigma } := \xi _{*}(\widetilde{Y}_{\varsigma })\). Lemma 5.5 yields
For \(?\in {}\{\varpi ,\varsigma \}\), write \(\widetilde{Y}_{?}=(Y_{?},Y_{?}^{+},\hat{K}_{?}+\hat{L}_{?})\), where
Since \(d(Z)=0\), (48) gives \(\varpi \cdot {}Y_{\varpi }=-\varsigma \cdot {}Y_{\varsigma }\) and this implies \(\xi _{*}(Y_{?})=0\), as T and \(T^{+}\) are free \(\mathscr {R}\)-modules. Define
Since \(\mathbf {R}\Gamma _{\mathrm {cont}}(\mathbf{Q}_{l},V_{p}(A))\cong {}0\) for every prime \(l\not =p\) one deduces
(see Eq. (47)). Lemma 5.7 and (49) then give: for every \(\varvec{x}\in {}\widetilde{H}_f^{1}(V_{p}(A))\)
Lemma 5.8
The class \(\mathrm {res}_{p}(\mathfrak {Z})\) belongs to \(H^{1}(\mathbf{Q}_{p},T)^{o}\) and we have
Proof
Since \(\mathfrak {z}\) is a Selmer class, \(p^{-}(\mathrm {res}_{p}(\mathfrak {Z}))\) is in the kernel of the morphism \(\xi _{*}:H^{1}(\mathbf{Q}_{p},T^{-})\,{\rightarrow }\,{}H^{1}(\mathbf{Q}_{p},\mathbf{Q}_{p})\) (see Eq. (34)). Lemma 5.6(2) then implies that \(\mathrm {res}_{p}(\mathfrak {Z})\in {}H^{1}(\mathbf{Q}_{p},T)^{o}\).
Write \(K_{?} := p^{-}_{*}(\hat{K}_{?})\), so that \(\xi _{*}(K_{?})=\kappa _{?}\). By Eq. (48)
where \(\approx \) denotes equality up to coboundaries. In particular the sum in the R.H.S. is a 1-cocycle in \(C^{1}_{\mathrm {cont}}(\mathbf{Q}_{p},T^{-})\). Then \(\varpi \cdot {}(K_{\varpi }\ \mathrm {mod}\ \varsigma )\in {}C^{1}_{\mathrm {cont}}(\mathbf{Q}_{p},T^{-}/\varsigma )\) is a 1-cocycle, so \((K_{\varpi }\ \mathrm {mod}\ \varsigma )\) is a 1-cocycle, as \(T^{-}/\varsigma \) is free over \(\mathscr {R}/\varsigma \). Similarly, \((K_{\varsigma }\ \mathrm {mod}\ \varpi )\in {}C^{1}_{\mathrm {cont}}(\mathbf{Q}_{p},T^{-}/\varpi )\) is a 1-cocycle. Lemma 5.6 then implies the existence of 1-cocycles \(A_{\varpi },A_{\varsigma }\in {}C^{1}_{\mathrm {cont}}(\mathbf{Q}_{p},T^{-})\) and 1-cochains \(B_{\varpi },B_{\varsigma }\in {}C^{1}_{\mathrm {cont}}(\mathbf{Q}_{p},T^{-})\) such that
Note that \(\varpi \varsigma \cdot {}(B_{\varpi }+B_{\varsigma })\in {}C^{1}_{\mathrm {cont}}(\mathbf{Q}_{p},T^{-})\) is a 1-cocycle; using again the fact that \(T^{-}\) is \(\mathscr {R}\)-free, this implies that \(B_{\varpi }+B_{\varsigma }\) itself is a 1-cocycle. We then deduce the congruence
Since \(\kappa _{\varpi }=\xi _{*}([A_{\varpi }])\) and \(\kappa _{\varsigma }=\xi _{*}([A_{\varsigma }])\), the lemma follows from the definition of the derivatives of \(\mathrm {res}_{p}(\mathfrak {Z})\).\(\square \)
Coming back to our proof, since the p-adic logarithm \(\log _{p}\) and the p-adic valuation \(\mathrm {ord}_{p}\) give a \(\mathbf{Q}_{p}\)-basis of \(\mathrm {Hom}_{\mathrm {cont}}(\mathbf{Q}_{p}^{*},\mathbf{Q}_{p})\), Lemma 5.8 allows us to write
for (unique) constants \(a(\varsigma ),b(\varpi )\in {}\mathbf{Q}_{p}\) which satisfy
Since \(\wp ^{+}(\mathfrak {z})\in {}\mathbf{Z}_{p}^{*}\widehat{\otimes }\mathbf{Q}_{p}\) by Eq. (35) and \(\wp ^{+}(q_{A})=q_{A}\widehat{\otimes }1\) (cf. Eq. (36)), Eqs. (50) and (51) yield
and
(where we have used the formula \(\log _{p}\circ {}\wp ^{+}(\mathfrak {z})=\log _{A}(\mathrm {res}_{p}(\mathfrak {z}))\), which follows immediately retracing the definitions of \(\log _{A}\) and \(\wp ^{+}\)). Moreover, the exceptional zero formulae displayed in Theorem 4.2(2) give the identities
Using Eqs. (52)–(55) and writing for simplicity \(\mathrm {Der}_{?}(\mathfrak {Z}) := \mathrm {Der}_{?}(\mathrm {res}_{p}(\mathfrak {Z}))\), we compute
in \(\mathscr {J}^{2}/\mathscr {J}^{3}\). Part 2 of Theorem 5.1 follows by combining the last equation with Corollary 5.4.
6 Proofs of the main results
In this section we prove the results stated in the introduction.
6.1 Proof of Theorem A
As in Sect. 1.3, let \(L_{p}^{\mathrm {cc}}(f_{\infty },k) := L_{p}(f_{\infty },k,k/2)\in {}\mathscr {A}_{U}\) and let
be the composition of \(\widetilde{h}_{p}\) with the morphism \(\mathscr {J}^{2}/\mathscr {J}^{3}\,{\rightarrow }\,{}\mathbf{Q}_{p}\) sending \(\alpha (k,s)\in {}\mathscr {J}^{2}\) to \(\frac{d^{2}}{dk^{2}}\alpha (k,k/2)_{k=2}\). By the functional equation for \(\left\langle \!\!\!\langle -,- \right\rangle \!\!\!\rangle _{p}(k,s)\) stated in Theorem 4.2(3), \(\left\langle \!\!\!\langle -,- \right\rangle \!\!\!\rangle _{p}(k,k/2)\) is a skew-symmetric pairing on \(\widetilde{H}_f^{1}(\mathbf{Q},V_{p}(A))\). Together with Theorem 4.2(2) this gives
for every Selmer class \(x\in {}H^{1}_{f}(\mathbf{Q},V_{p}(A))\).
Assume that \(L(A/\mathbf{Q},1)=0\), i.e. that \(\zeta ^{\mathrm {BK}}\) is a Selmer class by Kato’s reciprocity (2). Combining the Bertolini–Darmon exceptional zero formula of Theorem 2.1, Theorem 5.3 and Eq. (56), one obtains the identity
for a non-zero rational number \(\ell \in {}\mathbf{Q}^{*}\) and a rational point \(\mathbf {P}\in {}A(\mathbf{Q})\otimes \mathbf{Q}\). Moreover, \(\mathbf {P}\not =0\) precisely if \(L(A/\mathbf{Q},s)\) has a simple zero at \(s=1\). In order to conclude the proof of Theorem A, we need the following lemma. For every \(\mathfrak {Z}\in {}H^{1}( \mathfrak {G} ,T)\), write \(\mathcal {L}_{\mathbb {T}}^{\mathrm {cc}}(\mathrm {res}_{p}(\mathfrak {Z}),k)\) for the restriction of \(\mathcal {L}_{\mathbb {T}}(\mathrm {res}_{p}(\mathfrak {Z}),k,s)\) to the central critical line \(s=k/2\), and let \(\xi _{*}:H^{1}( \mathfrak {G} ,T)\,{\rightarrow }\,{}H^{1}( \mathfrak {G} ,V_{p}(A))\) be the morphism induced by (38).
Lemma 6.1
Let \(\mathfrak {Z}\in {}H^{1}( \mathfrak {G} ,T)\) be such that \(\xi _{*}(\mathfrak {Z})\in {}H^{1}_{f}(\mathbf{Q},V_{p}(A))\). The following statements are equivalent:
-
(a)
\(\xi _{*}(\mathfrak {Z})\) is in the kernel of \(\mathrm {res}_{p}:H^{1}_{f}(\mathbf{Q},V_{p}(A))\,{\rightarrow }\,{}A(\mathbf{Q}_{p})\widehat{\otimes }\mathbf{Q}_{p}\).
-
(b)
\(\mathcal {L}_{\mathbb {T}}^{\mathrm {cc}}(\mathrm {res}_{p}(\mathfrak {Z}),k)\) vanishes to order (strictly) greater than 2 at \(k=2\).
Proof
Write \(\mathfrak {z} := \xi _{*}(\mathfrak {Z})\). Theorem 5.1(2) and Eq. (56) yield
where \(\mathop {=}\limits ^{\cdot {}}\) denotes equality up to a non-zero rational factor. Since the formal group logarithm \(\log _{A}:A(\mathbf{Q}_{p})\widehat{\otimes }\mathbf{Q}_{p}\cong {}\mathbf{Q}_{p}\) is an isomorphism, this shows that (b) implies (a).
Assume now that (a) holds. Since \(0=\mathrm {res}_{p}(\xi _{*}(\mathfrak {Z}))=\xi _{*}(\mathrm {res}_{p}(\mathfrak {Z}))\), one can write \(\mathrm {res}_{p}(\mathfrak {Z})=\varsigma \cdot {}\mathfrak {Z}_{\varsigma } +\varpi \cdot {}\mathfrak {Z}_{\varpi }\), for classes \(\mathfrak {Z}_{\varsigma },\mathfrak {Z}_{\varpi }\in {}H^{1}(\mathbf{Q}_{p},T)\). (Indeed, as \(H^{2}(\mathbf{Q}_{p},V_{p}(A))=0\), an argument similar to the one appearing in the proof of Lemma 5.6(2) proves that \(H^{1}(\mathbf{Q}_{p},T)\otimes _{\mathscr {R},\xi }\mathbf{Q}_{p}\cong {}H^{1}(\mathbf{Q}_{p},V_{p}(A))\).) By Theorem 3.1(2)
where \(\mathfrak {z}_{\varpi } := \log _{p}(\varpi )\cdot {}\xi _{*}(\mathfrak {Z}_{\varpi }),\ \mathfrak {z}_{\varsigma } := \log _{p}(\varsigma )\cdot {}\xi _{*}(\mathfrak {Z}_{\varsigma })\in {}H^{1}(\mathbf{Q}_{p},V_{p}(A))\). This shows that (a) implies (b), thus concluding the proof of the lemma.\(\square \)
Coming back to our proof, the preceding lemma, applied to \(\mathfrak {Z}=\mathfrak {Z}^{\mathrm {BK}}_{\infty }\), tells us that \(\mathrm {res}_{p}(\zeta ^{\mathrm {BK}})=0\) (or equivalently \(\log _{A}(\mathrm {res}_{p}(\zeta ^{\mathrm {BK}}))=0\)) if and only if \(L_{p}^{\mathrm {cc}}(f_{\infty },k)\) vanishes to order greater than 2 at \(k=2\). In addition, Theorem 2.1 tells us that the latter condition is equivalent to \(\mathbf {P}=0\). To sum up: \(\mathrm {res}_{p}(\zeta ^{\mathrm {BK}})\) is non-zero if and only if \(\mathbf {P}\) is non-zero. Defining
Eq. (57) then gives
concluding the proof of Theorem A.
6.2 Proof of Theorem B
Write \(r_{\mathrm {an}} := \mathrm {ord}_{s=1}L(A/\mathbf{Q},s)\). That \(r_{\mathrm {an}}\le {}1\) implies \(\zeta ^{\mathrm {BK}}\not =0\) follows from Kato’s reciprocity law (2) (if \(r_{\mathrm {an}}=0\)) and Theorem A (if \(r_{\mathrm {an}}=1\)).
Conversely, assume that \(\zeta ^{\mathrm {BK}}\) is non-zero. The method of Kolyvagin, applied to the Euler system constructed by Kato [16], then tells us that the strict Selmer group
is trivial. For a proof of this result, see Theorem 2.3 and Chapter III, Section 5 of [37]. (Note that A does not have complex multiplication, since \(\mathrm {ord}_{p}(j_{A})=-\mathrm {ord}_{p}(q_{A})<0\) [41, Theorem 6.1]. This implies that the hypotheses of [37, Theorem 2.3] are satisfied.) Then the restriction \(\mathrm {res}_{p}(\zeta ^{\mathrm {BK}})\) is non-zero. Using again Theorem A (resp., Eq. (2)), one deduces that \(r_{\mathrm {an}}=1\) (resp., \(r_{\mathrm {an}}=0\)) if \(\zeta ^{\mathrm {BK}}\) is (resp., is not) a Selmer class.
6.3 An interlude
In the proofs of Theorems C–E, we need the following lemma.
Lemma 6.2
Assume that \(\mathbf {(Loc)}\) holds and that \(\mathrm {ord}_{s=1}L_{p}(A/\mathbf{Q},s)=2\). Then \(\zeta ^{\mathrm {BK}}\not =0\).
Proof
We have short exact sequences of \(\mathbf{Q}_p\)-modules (easily deduced from Shapiro’s lemma):
where \(H^q_\mathrm {Iw}(\mathbf{Q}_\infty ,V_p(A)) := H^q_\mathrm {Iw}(\mathbf{Q}_\infty ,T_{p}(A))\otimes _{\mathbf{Z}_{p}}\mathbf{Q}_{p}\). Since \(H^0( \mathfrak {G} ,V_p(A))=0\), \(H^1_\mathrm {Iw}(\mathbf{Q}_\infty ,V_p(A))\) has no non-trivial \(\varsigma \)-torsion. Moreover a theorem of Rohrlich [34] states that \(L_{p}(A/\mathbf{Q})\not =0\), so in particular \(\zeta _{\infty }^{\mathrm {BK}}\not =0\) by (1). There exist then a unique class \(z_\infty ^{\mathrm {BK}}=(z^{\mathrm {BK}}_{n})\in {}H^1_\mathrm {Iw}(\mathbf{Q}_\infty ,V_p(A))\) and a unique integer \(\rho =\rho _{\mathrm {BK}}\ge {}0\) such that
By Poitou–Tate duality and hypothesis \(\mathbf {(Loc)}\) one has \(H^1_f(\mathbf{Q},V_p(A))=H^1( \mathfrak {G} ,V_p(A))\) (see Lemme 2.3.9 of [32]). In particular \(z_0^\text {BK}\in {}H^1_f(\mathbf{Q},V_p(A))\), so that
by Corollary 3.7. This yields
i.e. \(\mathrm {ord}_{s=1}L_p(A/\mathbf{Q},s)\ge {}\rho +2\). Our assumption then forces \(\rho =0\) and \(\zeta ^{\mathrm {BK}}=z^{\mathrm {BK}}_{0}\not =0\), as was to be shown.\(\square \)
6.4 Proof of Theorem C
Assume that \(\mathrm {sign}(A/\mathbf{Q})=-1\) and that hypothesis \(\mathbf {(Loc)}\) is satisfied. Given \(x\in {}H^{1}_{f}(\mathbf{Q},V_{p}(A))\), write for simplicity \(\log _{A}(x)=\log _{A}(\mathrm {res}_{p}(x))\).
6.4.1 Step I
Assume that \(\mathbf {P}\) is non-zero, i.e. that \(\mathrm {ord}_{s=1}L(A/\mathbf{Q},s)=1\). Thanks to the work of Gross and Zagier [12] and Kolyvagin [19], \(A(\mathbf{Q})\) has rank one and \(A(\mathbf{Q})\otimes \mathbf{Q}_{p}\cong {}H^{1}_{f}(\mathbf{Q},V_{p}(A))\). One can then write \(\zeta ^{\mathrm {BK}}=\lambda \cdot {}\mathbf {P}\), where \(\lambda =\log _{A}(\zeta ^{\mathrm {BK}})/\log _{A}(\mathbf {P})\), so that \(\widetilde{h}_{p}(\zeta ^{\mathrm {BK}})=\lambda ^{2}\cdot {}\widetilde{h}_{p}(\mathbf {P})\). Setting \(\ell _{2} := 2\ell \), Theorems A and 5.3 combine to give the identity
6.4.2 Step II
Assume that \(\mathbf {P}=0\). We claim that
Indeed \(\mathrm {ord}_{s=1}L(A/\mathbf{Q},s)>1\) under our assumptions, so that \(\zeta ^{\mathrm {BK}}=0\) by Theorem B. Lemma 6.2 then yields
Moreover, by the functional equation (22) and Theorem 2.1
Since \(L_{p}(f_{\infty },k,s)\in {}\mathscr {J}^{2}\) by Theorem 5.2, the claim (58) follows from the preceding two equations.
6.4.3 Step III (conclusions)
We now prove Theorem C. First of all, \(L_{p}(f_{\infty },k,s)\in {}\mathscr {J}^{2}\) by Eq. (2) and Theorem 5.2. The p-adic Gross–Zagier formula which appears in the statement follows from Steps I and II. Finally, the last assertion in the statement is a direct consequence of Theorem 2.1 and Step II.
6.5 Proof of Theorem D
Assume that \(\mathbf {(Loc)}\) holds.
If \(\mathrm {sign}(A/\mathbf{Q})=+1\), then \(\mathbf {P}=0\) and the order of vanishing of \(L_{p}(A/\mathbf{Q},s)\) at \(s=1\) is odd by Eq. (22). Moreover \(\frac{d}{ds}L_{p}(A/\mathbf{Q},s)_{s=1}=0\), as follows from Eq. (2) and Theorem 5.2. Theorem D follows in this case.
Assume now that \(\mathrm {sign}(A/\mathbf{Q})=-1\). As above, one easily proves that \(\mathrm {ord}_{s=1}L_{p}(A/\mathbf{Q},s)\ge {}2\). Moreover, writing \(\widetilde{h}_{p}(\mathbf {P};k,s)=\widetilde{h}_{p}(\mathbf {P})\), Theorem 4.2 yields
Setting \(\ell _{3} := 2\ell _{2}\cdot {}\mathrm {ord}_{p}(q_{A})^{-1}\) and recalling that \(L_{p}(A/\mathbf{Q},s)=L_{p}(f_{\infty },2,s)\) by Eq. (17), Theorem D follows by restricting the formula displayed in Theorem C to the cyclotomic line \(k=2\).
6.6 Proof of Theorem E
Assume that \(\mathrm {sign}(A/\mathbf{Q})=-1\) and that \(\mathbf {(Loc)}\) holds.
Writing as above \(\widetilde{h}_{p}(\cdot {};k,s)=\widetilde{h}_{p}(\cdot )\), Theorem 4.2 gives
On the other hand, by Eq. (23) and Theorem 3.18 of [10]
Since \(\mathscr {L}_{p}(A)\not =0\) [7], Theorem C and the preceding two equations yield the identity
To conclude the proof, it remains to show that \(2\left<{}\mathbf {P},\mathbf {P}\right>^{\mathrm {wt}}_{p}=-\left<{}\mathbf {P},\mathbf {P}\right>^{\mathrm {cyc}}_{p}\). This follows from Theorem 4.2(3).
Notes
Théorème 7 of [22] proves these facts assuming that the residual Galois representation \(\overline{\rho }_{\mathbf {f}}\) of \(\mathbb {T}\) is absolutely irreducible. As pointed out to us by J. Nekovář, loc. cit. also requires \(\overline{\rho }_{\mathbf {f}}\) to be p-distinguished (see [9]). As \(\overline{\rho }_{\mathbf {f}}\cong {}A_{p}\) and \(p\not =2\), this hypothesis is automatically satisfied in our case, by Tate’s theory of p-adic uniformisation.
References
Bertolini, M., Darmon, H.: Heegner points, \(p\)-adic L-functions and the Cerednik–Drinfeld uniformization. Invent. Math. 131, 453–491 (1998)
Bertolini, M., Darmon, H.: Hida families and rational points on elliptic curves. Invent. Math. 168(2), 371–431 (2007)
Bertolini, M., Darmon, H.: Kato’s Euler system and rational points on elliptic curves I: a \(p\)-adic Beilinson formula. Isr. J. Math. 199(1), 163–188 (2014)
Bertolini, M., Darmon, H., Prasanna, K.: Generalized Heegner cycles and p-adic Rankin L-series. With an appendix by Brian Conrad. Duke Math. J. 162(6), 1033–1148 (2013)
Bertrand, D.: Transcendence et lois de groupes algébriques. Séminaire Delange-Pisot-Poitou. Théorie de nombres. 18(1), 1–10 (1976–1977)
Bloch, S., Kato, K.: \(L\)-functions and Tamagawa numbers of motives. In: Cartier, P., Illusie, L., Katz, N., Laumon, G. (eds.) The Grothendieck Festschrift. Modern Birkhäuser Classics (1990)
Barré-Sirieix, K., Diaz, G., Gramain, F., Philibert, G.: Une Preuve de la Conjecture de Mahler-Manin. Invent. Math. 124, 1–9 (1996)
Coleman, R.: Division values in local fields. Invent. Math. 53, 91–116 (1979)
Emerton, M., Pollack, R., Weston, T.: Variation of Iwasawa invariants in Hida families. Invent. Math. 163, 523–580 (2006)
Greenberg, R., Stevens, G.: \(p\)-Adic L-functions and \(p\)-adic periods of modular forms. Invent. Math. 4(111), 407–447 (1993)
Greenberg, R., Vatsal, V.: On the Iwasawa invariants of elliptic curves. Invent. Math. 142, 17–63 (2000)
Gross, B., Zagier, D.: Heegner points and derivatives of \(L\)-series. Invent. Math. 86(2), 225–320 (1986)
Hida, H.: Galois representations into \({GL}_{{2}}(\mathbf{Z}_{p}[\!\![X]\!\!])\) attached to ordinary cusp forms. Invent. Math. 85(3), 545–613 (1986)
Hida, H.: Iwasawa modules attached to congruences of cusp forms. Ann. Sci. Éc. Norm. Sup. 19(4), 231–273 (1986)
Kato, K.: Lectures in the approach to Iwasawa theory for Hasse–Weil L-functions via \(B_{\rm dR}\). In: Arithmetic Algebraic Geometry (Trento 1991). Lecture Notes in Math., vol. 1553, pp. 50–163. Springer, New York (1993)
Kato, K.: \(p\)-Adic Hodge theory and values of zeta functions of modular forms. Astérisque 295, 117–290 (2004)
Kitagawa, K.: On standard \(p\)-adic \(L\)-functions of families of elliptic cusp forms. In: Mazur, B., Stevens, G. (eds.) \(p\)-Adic Monodromy and the Birch and Swinnerton-Dyer Conjecture. American Mathematical Society, Providence (1994)
Kobayashi, S.: The \(p\)-adic Gross–Zagier formula for elliptic curves at supersingular primes. Invent. Math. 191(3), 527–629 (2013)
Kolyvagin, V.A.: Euler systems. In: The Grothendieck Festschrift, vol. II. Progr. Math., vol. 87. Birkhäuser, Boston (1990)
Loeffler, D., Venjacob, O., Zerbes, S.L.: Local epsilon isomorphisms. Kyoto J. Math. 55(1), 63–127 (2015)
Mok, C.P.: Heegner points and p-adic L-functions for elliptic curves over certain totally real fields. Comment. Math. Helv. 86(4), 867–945 (2011)
Mazur, B., Tilouine, J.: Représentations galoisiennes, différentielles de Kähler et conjectures principales. Publ. Math. de l’I.H.E.S. 71, 65–103 (1990)
Mazur, B., Tate, J., Teitelbaum, J.: On p-adic analogues of the conjectures of Birch and Swinnerton-Dyer. Invent. Math. 126(1), 1–48 (1986)
Nekovar, J.: On p-adic height pairings. In: Seminaire de Theorie des Nombres, Paris, 1990–1991. In: Progr. in Math., vol. 108. Birkhäuser, Boston (1993)
Nekovar, J.: Selmer complexes. Astérisque 310 (2006)
Nekovar, J., Plater, A.: On the parity of ranks of Selmer groups. Asian J. Math. 4(2), 437–498 (2000)
Ochiai, T.: A generalization of the Coleman map for Hida deformations. Am. J. Math. 125(4), 849–892 (2003)
Ochiai, T.: On the two-variable Iwasawa main conjecture. Compos. Math. 142, 1157–1200 (2006)
Ohta, M.: On the \(p\)-adic Eichler–Shimura isomorphism for \(\Lambda \)-adic cusp forms. J. Reine Angew. Math. 463, 49–98 (1995)
Perrin-Riou, B.: Points de Heegner et dérivées de fonctions L p-adiques. Invent. Math. 89(3), 455–510 (1987)
Perrin-Riou, B.: Thèorie d’Iwasawa et hauteurs \(p\)-adiques. Invent. Math. 109(1), 137–185 (1992)
Perrin-Riou, B.: Fonctions \(L\) \(p\)-adiques d’une courbe elliptique et points rationnels. Ann. Inst. Fourier, Grenoble 43(4), 945–995 (1993)
Perrin-Riou, B.: Théorie d’Iwasawa des représentations p-adiques sur un corps local. With an appendix by Jean-Marc Fontaine. Invent. Math. 115(1), 81–161 (1994)
Rohrlich, D.E.: On L-functions of elliptic curves and cyclotomic towers. Invent. Math. 75(3), 409–423 (1984)
Rubin, K.: Abelian varieties, \(p\)-adic heights and derivatives. In: Frey, G., Ritter, J. (eds.) Algebra and Number Theory. de Gruyter (1994)
Rubin, K.: Euler systems and modular elliptic curves. In: Scholl, A., Taylor, R. (eds.) Galois Representations in Arithmetic Algebraic Geometry. London Math. Soc. Lect. Notes, vol. 254. Cambridge University Press, Cambridge (1998)
Rubin, K.: Euler systems. In: Annals of Mathematics Studies, vol. 147. Hermann Weyl Lectures. The Institute for Advanced Study. Princeton University Press, Princeton (2000)
Schneider, P.: \(p\)-Adic height pairings I. Invent. Math. 69(3), 401–409 (1982)
Serre, J.P.: Local class field theory. In: Cassels, J.W.S., Frohlich, A. (eds.) Algebraic Number Theory. Academic Press, New York (1967)
Silverman, J.: The Arithmetic of Elliptic Curves. Springer, New York (1986)
Silverman, J.: Advanced Topics in the Arithmetic of Elliptic Curves. Springer, New York (1994)
Venerucci, R.: \(p\)-Adic regulators and \(p\)-adic analytic families of modular forms. Ph.D. thesis, University of Milan (2013)
Venerucci, R.: \(p\)-adic regulators and \(p\)-adic families of modular forms. (2015, preprint)
Wiles, A.: Higher explicit reciprocity laws. Ann. Math. (2) 107(2), 235–254 (1978)
Acknowledgments
Much of the work on this article was carried out during my Ph.D. at the University of Milan. It is a pleasure to express my sincere gratitude to my supervisor, Prof. Massimo Bertolini, who constantly encouraged and motivated my work. Every meeting with him has been a source of ideas and enthusiasm; this paper surely originated from and grew up through these meetings. I would like to thank Marco Seveso for a careful reading of the paper and for many interesting discussions related to this work. I am also grateful to the anonymous referee; the current version of the article is greatly inspired by his/her corrections and valuable comments, which helped me to significantly clarify and improve the exposition.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Venerucci, R. Exceptional zero formulae and a conjecture of Perrin-Riou. Invent. math. 203, 923–972 (2016). https://doi.org/10.1007/s00222-015-0606-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222-015-0606-8