1 Introduction
In this paper, we study the anticyclotomic Iwasawa theory of Rankin–Selberg convolutions of two modular forms using a new Euler system arising from p-adic families of diagonal cycles. By an application of Kolyvagin’s methods, our construction yields results towards the Bloch–Kato conjecture and the Iwasawa main conjecture in this setting.
1.1 Statement of the main results
Let $g\in S_l(N_g,\chi _g)$ and $h\in S_m(N_h,\chi _h)$ be newforms of weights $l\geq m\geq 2$ of the same parity and nebentypus $\chi _g$ and $\chi _h$ . Let $K/\mathbb {Q}$ be an imaginary quadratic field of discriminant $-D<0$ . Let $k>0$ be an even integer, and let $\psi $ be a Hecke character of K of infinity type $(1-k,0)$ , conductor $\mathfrak {f}$ and central character
Fix an odd prime $p\nmid N_gN_h$ , such that $(\mathfrak {f},p)=1$ and an embedding $\iota _p:\overline {\mathbb {Q}}\hookrightarrow \overline {\mathbb {Q}}_p$ , and let $E=L_{\mathfrak {P}}$ be a finite extension of $\mathbb {Q}_p$ containing the image under $\iota _p$ of the values of $\psi $ and the Fourier coefficients of g and h. We consider the E-valued $G_K$ -representation
where $c=(k+l+m-2)/2$ , $V_g$ and $V_h$ are the (dual of Deligne’s) p-adic Galois representations associated to g and h, respectively, and $\psi _{\mathfrak {P}}$ is a p-adic Galois character attached to $\psi $ .
The cyclotomic Iwasawa theory of $V_g\otimes V_h$ has been extensively studied in a series of works of Lei–Loeffler–Zerbes [Reference Lei, Loeffler and ZerbesLLZ14, Reference Lei, Loeffler and ZerbesLLZ15] and Kings–Loeffler–Zerbes [Reference Kings, Loeffler and ZerbesKLZ17, Reference Kings, Loeffler and ZerbesKLZ20], among others ([Reference Büyükboduk, Lei, Loeffler and VenkatBLLV19], [Reference Büyükboduk and LeiBL21], etc.). The key tool exploited in these works is the Euler system of Beilinson–Flach classes, a system of cohomology classes arising from certain special elements (introduced by Beilinson [Reference BeilinsonBei84], and further studied by Flach [Reference FlachFla92] and Bertolini–Darmon–Rotger [Reference Bertolini, Darmon and RotgerBDR15a, Reference Bertolini, Darmon and RotgerBDR15b]) in the $K_1$ of products of two modular curves.
In contrast, the anticyclotomic Iwasawa theory of $V_{g}\otimes V_h$ (or rather of its conjugate self-dual twists, such as $V^{\psi }_{g,h}$ ) appears to not have been studied before. The principal contribution of this paper is the construction of an anticyclotomic Euler system for $V_{g,h}^{\psi }$ . As stated in Theorem A below (which corresponds to Theorem 6.5 in the body of the paper), for general weights $(k,l,m)$ , our construction requires the additional assumptions that p splits in K and $p\nmid h_K$ (the class number of K), and that both g and h are ordinary at p, but note that for $(k,l,m)=(2,l,l)$ , Theorem 4.6 contains a version of our main result without these additional hypotheses.
Theorem A. Suppose that p splits in K and $p\nmid h_K$ , and that both g and h are ordinary at p. Let $\mathcal {S}$ be the set of all squarefree products of primes split q in K and coprime to $DN_gN_h\mathfrak {f}$ , and denote by $K[n]$ the maximal p-extension of K inside the ring class field of conductor n. Then there exists a family of cohomology classes
for all $n\in \mathcal S$ and $r\geq 0$ , where $T^{\psi }_{g,h}$ is a fixed $G_K$ -stable lattice inside $V^{\psi }_{g,h}$ , such that for all $nq\in \mathcal {S}$ with q prime, we have
where $\mathfrak {q}$ is any of the primes of K above q, and $P_{\mathfrak {q}}(\mathrm {Fr}_{\mathfrak {q}}^{-1})=\det (1-\mathrm { Fr}_{\mathfrak {q}}^{-1}X\vert (V_{g,h}^{\psi })^{\vee }(1))$ .
The construction of this Euler system, which is taken up in the first part of the paper, is based on the diagonal classes studied by Darmon–Rotger [Reference Darmon and RotgerDR14, Reference Darmon and RotgerDR17, Reference Darmon and RotgerDR22] and Bertolini–Seveso–Venerucci [Reference Bertolini, Seveso and VenerucciBSV22], extending earlier constructions due to Gross–Kudla [Reference Gross and KudlaGK92] and Gross–Schoen [Reference Gross and SchoenGS95]. Roughly speaking, our classes $\kappa _{\psi ,g,h,np^r}$ are suitable modifications of diagonal classes for the triples $(\tilde {\theta }_{\psi ,np^r},g,h)$ , where $\tilde {\theta }_{\psi ,np^r}$ is a certain deformation of the theta series associated to $\psi $ , and the main difficulty in the proof of Theorem A is in establishing the Euler system norm relations.
The main results in the second part of the paper are the proof of new cases of the Bloch–Kato conjecture for $V^{\psi }_{g,h}$ in analytic rank zero and a divisibility towards the Iwasawa main conjecture for $V^{\psi }_{g,h}$ . These are obtained by applying Kolyvagin’s methods (in the form recently developed by Jetchev–Nekovář–Skinner [Reference Jetchev, Nekovář and SkinnerJNS] in the anticyclotomic setting) to our Euler system. In the results that follow, we use ‘big image’ to refer to Hypothesis (HS) in Section 8.1, for which sufficient conditions are given in Section 8.2.
Theorem B. Suppose that:
-
(a) g and h are ordinary at p, non-Eisenstein and p-distinguished,
-
(b) p splits in K,
-
(c) p does not divide the class number of K,
-
(d) $V_{g,h}^{\psi }$ has big image.
Let
If $l-m<k<l+m$ , then the following implication holds:
where $\mathrm {Sel}(K,V^{\psi }_{g,h})\subset H^1(G_K,V^{\psi }_{g,h})$ is the Bloch–Kato Selmer group.
Remark.
-
(1) For $k=l=m=2$ , together with the Gross–Zagier formula for diagonal cycles by Yuan–Zhang–Zhang [Reference Yuan, Zhang and ZhangYZZ], Theorem B supports the Bloch–Kato conjecture for $V^{\psi }_{g,h}$ in analytic rank one, reducing it to the expected injectivity of the p-adic étale Abel–Jacobi map.
-
(2) Still in the case $k=l=m=2$ , combined with the p-adic Gross–Zagier formula for diagonal cycles in forthcoming work of Hsieh–Yamana [Reference Hsieh and YamanaHY], Theorem B establishes some cases of Perrin-Riou’s p-adic Beilinson conjecture in analytic rank one.
-
(3) In general, by the main result of [Reference Darmon and RotgerDR14], the nonvanishing of $\kappa _{\psi ,g,h}$ also follows from the nonvanishing of a special value of the triple product p-adic L-function $\mathscr {L}_p({\mathbf {f}},g,h)$ introduced below.
In analytic rank zero, we get unconditional applications to the Bloch–Kato conjecture. Let $f=\theta _{\psi }\in S_k(N_{\psi },\varepsilon _{\psi })$ be the theta series associated to $\psi $ , let $\varepsilon _{\ell }(V^{\psi }_{g,h})$ be the epsilon factor of the Weil–Deligne representation associated to the restriction of $V_{f}\otimes V_g\otimes V_h(1-c)$ to $G_{\mathbb {Q}_{\ell }}$ , and put $N=\operatorname {\mathrm {lcm}}(N_{\psi },N_g,N_h)$ .
Theorem C. Let the hypotheses be as in Theorem B, and assume, in addition, that
-
• $\varepsilon _{\ell }(V^{\psi }_{g,h})=+1$ for all primes $\ell \mid N$ ,
-
• $\mathrm {gcd}(N_{\psi },N_g,N_h)$ is squarefree.
If $k\geq l+m$ , then
and hence, the Bloch–Kato conjecture for $V^{\psi }_{g,h}$ holds in analytic rank zero.
Remark. Here, $L(V^{\psi }_{g,h},s)$ is the triple product L-function introduced by Garrett, Piatetski–Shapiro and Rallis, which satisfies a functional equation relating its values at s and $-s$ . When $k\geq l+m$ , the local root number condition in Theorem C implies that the sign in this functional equation is $+1$ , and so the central L-values $L(V^{\psi }_{g,h},0)$ are expected to be generically nonzero.
A third application is to the anticyclotomic Iwasawa main conjectures for Rankin–Selberg convolutions. Let $({\mathbf {f}},{\mathbf {g}},{\mathbf h})$ be a triple of p-adic Hida families. In [Reference HsiehHsi21], Hsieh has constructed a square root triple product p-adic L-function $\mathscr {L}_p({\mathbf {f}},{\mathbf {g}},{\mathbf h})$ whose square interpolates the central values of the triple product L-function attached to the classical specialisations of $({\mathbf {f}},{\mathbf {g}},{\mathbf h})$ to weights $(k_1,k_2,k_3)$ with $k_1\geq k_2+k_3$ . Letting ${\mathbf {g}}$ and ${\mathbf h}$ be the Hida families passing through the ordinary p-stabilisations of g and h, respectively, we obtain an element
interpolating a square root of the above central L-values for the specialisations of ${\mathbf {f}}$ to weights $k\geq l+m$ , where $\Lambda _{{\mathbf {f}}}$ is the finite flat extension of $\Lambda ={\mathbb Z}_p[[1+p{\mathbb Z}_p]]$ generated by the coefficients of ${\mathbf {f}}$ . Greenberg’s generalisation of the Iwasawa main conjectures [Reference GreenbergGre94] predicts that $\mathscr {L}_p({\mathbf {f}},g,h)^2$ generates the $\Lambda _{{\mathbf {f}}}$ -characteristic ideal of a certain torsion Selmer group . We also show that our classes ${\kappa _{\psi ,g,h,n}}$ are universal norms in the p-direction, therefore giving rise, in particular, to an Iwasawa cohomology class
for the anticyclotomic $\mathbb {Z}_p$ -extension $K_{\infty }/K$ . The class ${\kappa _{\psi ,g,h,\infty }}$ is associated with the triple $({\mathbf {f}},g,h)$ , where ${\mathbf {f}}={\mathbf {f}}_{\psi }$ is a CM Hida family attached to $\psi $ for which $\Lambda _{{\mathbf {f}}}\cong \Lambda _{\operatorname {\mathrm {ac}}}$ , the anticyclotomic Iwasawa algebra. Assuming the nontriviality of ${\kappa _{\psi ,g,h,\infty }}$ , we can prove the following result towards the Iwasawa main conjecture for $\mathscr {L}_p({\mathbf {f}},g,h)^2$ .
Theorem D. Let ${\mathbf {f}}={\mathbf {f}}_{\psi }$ , and suppose that:
-
(a) g and h are ordinary at p, non-Eisenstein and p-distinguished,
-
(b) p splits in K,
-
(c) p does not divide the class number of K,
-
(d) $V_{g,h}^{\psi }$ has big image,
-
(e) $\varepsilon _{\ell }(V^{\psi }_{g,h})=+1$ for all primes $\ell \mid N$ ,
-
(f) $\mathrm {gcd}(N_{\psi },N_g,N_h)$ is squarefree.
If ${\kappa _{\psi ,g,h,\infty }}$ is not $\Lambda _{\operatorname {\mathrm {ac}}}$ -torsion, then the module
is $\Lambda _{\operatorname {\mathrm {ac}}}$ -torsion, and
in $\Lambda _{\operatorname {\mathrm {ac}}}\otimes _{{\mathbb Z}_p}{\mathbb Q}_p$ .
Remark. The classes ${\kappa _{\psi ,g,h,n}}$ may be viewed as a counterpart in the study of the arithmetic of $V_{g,h}^{\psi }$ to systems of Heegner points and Heegner cycles for individual modular forms. It would be interesting to see whether the methods of Cornut–Vatsal can be extended to establish the nontriviality of ${\kappa _{\psi ,g,h,\infty }}$ .
Remark. The ‘big image’ hypothesis on $V_{g,h}^{\psi }$ excludes some cases of arithmetic interest; notably, the case in which $h=g^*$ is the dual of g (assuming $\psi $ has trivial central character) is excluded from our applications in this paper. We study this case in [Reference Alonso, Castella and RiveroACR22], where, building on (a suitable projection of) the classes $\kappa _{\psi ,g,g^*,n}$ constructed in this paper, we obtain a new anticyclotomic Euler system for twists of the three-dimensional $G_K$ -representation $\mathrm { ad}^0(V_g)$ , with applications to the Bloch–Kato conjecture in rank zero and the Iwasawa main conjecture in this setting.
Remark. As already noted, the anticyclotomic Euler system classes constructed in this paper arise from diagonal classes attached to triples $(f,g,h)$ of modular forms in which f varies over certain CM forms by K. A modification of this construction with g and h varying among certain CM forms for the same imaginary quadratic field K gives rise to a new anticyclotomic Euler system for twists of $V_f\vert _{G_K}$ . This construction, and its arithmetic applications, is studied in [Reference DoDo22, Reference Castella and DoCD23].
Part 1. The diagonal cycle Euler system
2 Preliminaries
In this section, we begin by discussing our conventions regarding modular curves and Hecke operators, for which we shall largely follow [Reference KatoKat04, Section 2] and [Reference Bertolini, Seveso and VenerucciBSV22, Section 2].
2.1 Modular curves
Given integers $M\geq 1$ , $N\geq 1$ , $m\geq 1$ and $n\geq 1$ with $M+N\geq 5$ , we denote by $Y(M(m),N(n))$ the affine modular curve over $\mathbb {Z}[1/MNmn]$ representing the functor taking a $\mathbb {Z}[1/MNmn]$ -scheme S to the set of isomorphism classes of 5-tuples $(E,P,Q,C,D)$ , where:
-
• E is an elliptic curve over S,
-
• P is an S-point of E of order M,
-
• Q is an S-point of E of order N,
-
• C is a cyclic order- $Mm$ subgroup of E defined over S and containing P,
-
• D is a cyclic order- $Nn$ subgroup of E defined over S and containing Q,
and such that C and D have trivial intersection. If either $m=1$ or $n=1$ , we omit it from the notation, and we will often write $Y_1(N)$ for $Y(1,N)$ .
We will denote by
the universal elliptic curve over $Y(M(m),N(n))$ .
Define the modular group
Then, letting $\mathcal {H}$ be the Poincaré upper half-plane, we have the complex uniformisation
with a pair $(a,\tau )$ on the right-hand side corresponding to the isomorphism class of the 5-tuple $(\mathbb {C}/\mathbb {Z}+\mathbb {Z}\tau , a\tau /M,1/N,\langle \tau /Mm\rangle , \langle 1/Nn\rangle )$ .
If $r\geq 1$ is an integer, there is an isomorphism of $\mathbb {Z}[1/MNmnr]$ -schemes
defined in terms of moduli by
where $E'=E/NnD$ , $P'$ is the image of P in $E'$ , $Q'$ is the image of $r^{-1}(Q)\cap D$ in $E'$ , $C'$ is the image of $r^{-1}(C)$ in $E'$ and $D'$ is the image of D in $E'$ . Under the complex uniformisations (2.1), the isomorphism $\varphi _r$ sends $(a,\tau )\mapsto (a,r\cdot \tau )$ . If
denotes the base change of $E(M(mr),N(n))\rightarrow Y(M(mr),N(n))$ under $\varphi _r$ , there is a natural degree-r isogeny
2.2 Degeneracy maps
With the same notations as above, we have natural degeneracy maps
forgetting the extra level structure, for example
We also define degeneracy maps
acting on the moduli space by
where $E'=E/NnsD$ , $P'$ is the image of P in $E'$ , $Q'$ is the image of $t^{-1}(s\cdot Q)\cap D$ in $E'$ , $C'$ is the image of C in $E'$ and $D'$ is the image of D in $E'$ . Under the complex uniformisations in (2.1), the maps $\pi _1$ and $\pi _2$ correspond to the identity and to multiplication by $rt$ , respectively, on $\mathcal {H}$ . It is straightforward to check that the maps $\pi _1$ and $\pi _2$ are given by the compositions
respectively.
2.3 Relative Tate modules
Fix a prime p. Let S be a $\mathbb {Z}[1/MNmnp]$ -scheme, and let
be the structural morphism. For every ${\mathbb Z}[1/MNmnp]$ -scheme X, denote by $A=A_X$ either the locally constant constructible sheaf ${\mathbb Z}/p^t(j)$ or the locally constant p-adic sheaf ${\mathbb Z}_p(j)$ on $X_{\operatorname {\mathrm {et}}}$ , for fixed $t\geq 1$ and $j\in \mathbb {Z}$ . Set
In particular, in the case $A=\mathbb {Z}_p$ , this gives the relative Tate module of the universal elliptic curve and its dual, respectively; in this case, we will often drop A from the notation.
From the proper base change theorem, both ${\mathscr T}_{M(m),N(n)}(A)$ and ${\mathscr T}_{M(m),N(n)}^*(A)$ are locally constant p-adic sheaves on $Y(M(m),N(n))_S$ of formation compatible with base changes along morphisms of $\mathbb {Z}[1/MNmnp]$ -schemes $S'\rightarrow S$ .
For every integer $r\geq 0$ , define
where, for any finite free module M over a profinite ${\mathbb Z}_p$ -algebra R, one denotes by $\operatorname {\mathrm {Tsym}}_R^r M$ the R-submodule of symmetric tensors in $M^{\otimes r}$ and by $\operatorname {\mathrm {Symm}}_R^r M$ the maximal symmetric quotient of $M^{\otimes r}$ .
When the level of the modular curve $Y(M(m),N(n))_S$ is clear, we may use the simplified notations
2.4 Hecke operators
Let $\mathscr {F}_{M(m),N(n)}^r$ denote either $\mathscr {L}_{M(m),N(n),r}(A)$ or $\mathscr {S}_{M(m),N(n),r}(A)$ , and let q be a rational prime. Then there are natural isomorphisms of sheaves
and therefore pullback morphisms
and traces
Also, the isogeny $\lambda _q$ induces morphisms of sheaves
These morphisms allow us to define
as the compositions
We define the Hecke operators $T_q$ and the adjoint Hecke operators $T_q'$ acting on the étale cohomology groups
as the compositions
If we define pullbacks
and pushforward
as
then we can write
Now we introduce diamond operators. For $d\in (\mathbb {Z}/MN\mathbb {Z})^{\times }$ , these are defined on the curves $Y(M(m),N(n))$ as the automorphisms $\langle d\rangle $ acting on the moduli space by
We can also define the diamond operator $\langle d \rangle $ on the corresponding universal elliptic curve as the unique automorphism making the diagram
cartesian. This, in turn, induces automorphisms $\langle d\rangle = \langle d\rangle ^{\ast }$ and $\langle d\rangle '=\langle d\rangle _{\ast }$ on the group $H^i_{\operatorname {\mathrm {et}}}(Y(M(m),N(n))_S,\mathscr {F}_{M(m),N(n)}^r)$ which are inverses of each other. In general, we will be interested in modular curves of the form $Y(1(m),N(n))$ . In this case, the natural pairing $\mathscr {L}_r\otimes _{\mathbb {Z}_p}\mathscr {S}_r\rightarrow \mathbb {Z}_p$ together with cup-product yields a pairing
which becomes perfect after inverting p. The operators $T_q$ , $T_q'$ , $\langle d\rangle $ , $\langle d\rangle '$ induce endomorphisms on compactly supported cohomology and
are adjoint pairs under this pairing.
2.5 Galois representations
Let $f\in S_k(N_f,\chi _f)$ be a newform of weight $k=r+2\geq 2$ , level $N_f$ , and character $\chi _f$ . Let p be a prime, and let E be a finite extension of $\mathbb {Q}_p$ with ring of integers $\mathcal {O}$ containing the Fourier coefficients of f. By the work of Eichler–Shimura and Deligne, there is a two-dimensional representation
unramified outside $pN_f$ and characterised by the property that
for all primes $q\nmid pN_f$ , where $\mathrm {Fr}_{q}$ denotes an arithmetic Frobenius element at q (in fact, this is the dual of the p-adic representation constructed by Deligne).
It will be convenient for our purposes to work with the following geometric realisation of $\rho _f$ . Let
be the maximal quotient on which $T_q'$ and $\langle d\rangle '$ act as multiplication by $a_q(f)$ and $\chi _f(d)$ for all primes $q\nmid N_f$ and all $d\in (\mathbb {Z}/N_f\mathbb {Z})^{\times }$ . Then $V_f$ is a two-dimensional E-vector space affording the p-adic representation $\rho _f$ , and we let $T_f\subset V_f$ be the lattice defined by the image of
under the above quotient map.
3 Hecke algebras and ring class fields
In this section, we extend the results of [Reference Lei, Loeffler and ZerbesLLZ15, Section 5.2], including ring class field extensions of an imaginary quadratic field K. The resulting Corollary 3.6 will allow us to obtain classes over ring class field extensions of K from diagonal cycles over $\mathbb {Q}$ on triple products of modular curves of varying levels.
Thus, let K be an imaginary quadratic field of discriminant $-D<0$ , and let $\varepsilon _K$ be the corresponding quadratic character. Let $\psi $ be a Grössencharacter of K of infinity type $(-1,0)$ and conductor $\mathfrak f$ , taking values in a finite extension $L/K$ , and let $\chi $ be the unique Dirichlet character modulo $N_{K/{\mathbb Q}}(\mathfrak f)$ , such that $\psi ((n))=n \chi (n)$ for integers n coprime to $N_{K/{\mathbb Q}}(\mathfrak f)$ . Put $N_{\psi }=N_{K/{\mathbb Q}}(\mathfrak f)D$ , and let $\theta _{\psi } \in S_2(N_{\psi }, \chi \varepsilon _K)$ be the newform attached to $\psi $ , that is,
Fix a prime $p\geq 5$ unramified in K, a prime $\mathfrak {p}$ of K above p and a prime $\mathfrak {P}$ of L above $\mathfrak {p}$ . Let $E=L_{\mathfrak P}$ , and let $\mathcal {O}\subset E$ be the ring of integers. Let $\psi _{\mathfrak P}$ be the continuous E-valued character of $K^{\times } \backslash {\mathbb A}_{K,\text {f}}^{\times }$ defined by
where $x_{\mathfrak p}$ is the projection of the idèle x to the component at $\mathfrak p$ . We will also denote by $\psi _{\mathfrak {P}}$ the corresponding character of $G_K$ obtained via the geometric Artin map. Then $\operatorname {\mathrm {Ind}}_K^{\mathbb {Q}} E(\psi _{\mathfrak {P}}^{-1})$ is the p-adic representation attached to $\theta _{\psi }$ .
Definition 3.1. For an integral ideal $\mathfrak {n}$ of K, we denote by $H_{\mathfrak {n}}$ the maximal p-quotient of the corresponding ray class group, and by $K(\mathfrak {n})$ the maximal p-extension in the corresponding ray class field. We similarly define $R_n$ and $K[n]$ , for each integer $n>0$ , as the maximal p-quotient in the corresponding ring class group and the maximal p-extension in the corresponding ring class field.
Let $\mathfrak n$ be an integral ideal of K divisible by $\mathfrak f$ , and let $N=N_{K/{\mathbb Q}}(\mathfrak n)D$ , which is of course a multiple of $N_{\psi }$ . Let $\mathbb {T}_1'(N)$ be the algebra generated by all the Hecke operators $T_q'$ , $\langle d\rangle '$ acting on $H^1(Y_1(N)(\mathbb {C}),\mathbb {Z})$ .
Proposition 3.2. With the previous definitions and notations, there exists a homomorphism $\phi _{\mathfrak {n}}:\mathbb {T}_1'(N) \rightarrow \mathcal {O}[H_{\mathfrak {n}}]$ defined on generators by
for every rational prime q, where the sum runs over ideals coprime to $\mathfrak {n}$ of norm q; and
Proof. This follows immediately from [Reference Lei, Loeffler and ZerbesLLZ15, Proposition 3.2.1].
Now let $\mathfrak {n'}=\mathfrak {nq}$ for some prime ideal $\mathfrak {q}$ above a rational prime q. Assume that $\mathfrak {n'}$ is coprime to p, and let $N'=N_{K/\mathbb {Q}}(\mathfrak {n'})D$ . Following [Reference Lei, Loeffler and ZerbesLLZ15, Section 3.3], we define norm maps
by the formulae:
-
• if $\mathfrak {q}\mid \mathfrak {n}$ ,
$$ \begin{align*}\mathcal{N}_{\mathfrak{n}}^{\mathfrak{n'}}=1\otimes \pi_{1\ast}; \end{align*} $$ -
• if $\mathfrak {q}\nmid \mathfrak {n}$ and $\mathfrak {q}$ is ramified or split,
$$ \begin{align*}\mathcal{N}_{\mathfrak{n}}^{\mathfrak{n'}}=1\otimes \pi_{1\ast}-\frac{\psi(\mathfrak{q})[\mathfrak{q}]}{q}\otimes \pi_{2\ast}; \end{align*} $$ -
• if $\mathfrak {q}\nmid \mathfrak {n}$ and $\mathfrak {q}$ is inert,
$$ \begin{align*}\mathcal{N}_{\mathfrak{n}}^{\mathfrak{n'}}=1\otimes \pi_{1\ast}-\frac{\psi(\mathfrak{q})[\mathfrak{q}]}{q^2}\otimes \pi_{2\ast}. \end{align*} $$
More generally, for $\mathfrak {n'}=\mathfrak {n}\mathfrak {r}$ with $\mathfrak {r}$ a product of (not necessarily distinct) prime ideals, we define the map $\mathcal {N}_{\mathfrak {n}}^{\mathfrak {n'}}$ by composing in the natural way the previously defined norm maps. From now on, we assume that in the case where $(p)=\mathfrak {p}\overline {\mathfrak {p}}$ splits in K, the following holds: If $\mathfrak {p}\mid \mathfrak {f}$ , then $\overline {\mathfrak {p}}\nmid \mathfrak {f}$ and $\psi \vert _{\mathcal {O}_{K,\mathfrak {p}}^{\times }}$ is not congruent to the Teichmüller character modulo $\mathfrak {P}$ .
Theorem 3.3. Let A be the set of prime ideals of K coprime to $\overline {\mathfrak {p}}$ (respectively, p) if p splits (respectively, is inert) in K and divisible by $\mathfrak {f}$ . Then there is a family of $G_{\mathbb {Q}}$ -equivariant isomorphisms of $\mathcal {O}[H_{\mathfrak {n}}]$ -modules
for all $\mathfrak {n}\in A$ , such that for $\mathfrak {n}\mid \mathfrak {n'}$ the diagram
commutes, where the right vertical arrow is the natural norm map.
Proof. This is [Reference Lei, Loeffler and ZerbesLLZ15, Corollary 5.2.6].
Definition 3.4. For any positive integer n with $(n,p\mathfrak {f})=1$ , we let $K(\mathfrak {f})[n]$ be the compositum of $K(\mathfrak {f})$ and $K[n]$ , and put $R_{\mathfrak {f},n}=\mathrm {Gal}(K(\mathfrak {f})[n]/K)$ .
Let $\mathbb {T}'(1,N_{\psi }(n^2))\subset \mathrm {End}_{\mathbb {Z}}(H^1(Y(1,N_{\psi }(n^2))(\mathbb {C}),\mathbb {Z}))$ be the subalgebra generated by all Hecke operators $T_q'$ and $\langle d\rangle '$ .
Lemma 3.5. There exists a homomorphism
defined on generators by the same formula as in Proposition 3.2.
Proof. Take the modulus $\mathfrak {n}=\mathfrak {f}(n)$ . By Proposition 5.1.2 and Remark 5.1.3 in [Reference Lei, Loeffler and ZerbesLLZ15], the kernel $\mathcal {I}$ of the composition
where $\phi _{\mathfrak {n}}$ is as in Proposition 3.2, is a non-Eisenstein maximal ideal of $\mathbb {T}_{1}'(N_{\psi } n^2)$ in the sense of [op. cit., Definition 4.1.2]. Therefore, denoting $\mathcal {I}$ -adic completions with the subscript $\mathcal {I}$ , we have an isomorphism of $\mathbb {T}_1'(N_{\psi } n^2)_{\mathcal {I}}$ -modules
On the other hand, as in the proof of [Reference Lei, Loeffler and ZerbesLLZ15, Lemma 4.2.4], the natural pullback map yields an isomorphism
where $\Delta $ is the set of diamond operators $\langle d\rangle '$ with $d\equiv 1\pmod {N_{\psi }}$ . Since $\Delta $ maps to 1 under the composition
the result follows.
Corollary 3.6. Let B be the set of positive integers n coprime to $p\mathfrak {f}$ . Then there is a family of $G_{\mathbb {Q}}$ -equivariant isomorphisms of $\mathcal {O}[R_{\mathfrak {f},n}]$ -modules
for all $n\in B$ , such that for $n\mid n'$ the diagram
commutes, where $\mathcal {N}_{\mathfrak {f},n}^{\mathfrak {f},n'}$ is induced by $\mathcal {N}_{\mathfrak {f}(n')}^{\mathfrak {f}(n)}$ and the right vertical arrow is the natural norm map.
Proof. Let $\mathfrak {n}=\mathfrak {f}(n)$ , $\mathcal {I}$ and $\Delta $ be as in the proof of Lemma 3.5. Since $\mathcal {I}$ is non-Eisenstein, the natural trace map
becomes an isomorphism after taking $\mathcal {I}$ -adic completions. Since the map $\phi _{n}$ of Lemma 3.5 is induced by $\phi _{\mathfrak {n}}$ (as shown in the proof of that result), it follows that the $\mathcal {O}[R_{\mathfrak {f},n}]$ -module
is naturally isomorphic to
The result now follows from Theorem 3.3.
4 Proof of the tame norm relations
We keep the notations introduced in Section 3. Fix two newforms $(g,h)$ of weights $(l,m)$ of the same parity, levels $(N_g,N_h)$ and characters $(\chi _g,\chi _h)$ , such that $\chi \varepsilon _K\chi _g\chi _h=1$ . Enlarging L if necessary, assume that it contains the Fourier coefficients of g and h.
Let $N=\mathrm {lcm}(N_{\psi },N_g,N_h)$ , and (since N will be fixed throughout) put $Y(m)= Y(1,N(m))$ for every positive integer m.
Definition 4.1. Let $\mathbf {r}=(r_1, r_2, r_3)$ be a triple of nonnegative integers, such that
with $r\in \mathbb {Z}_{\geq 0}$ , and $r_i+r_j\geq r_k$ for every permutation $(i,j,k)$ of $(1,2,3)$ . Put
and define
to be the class $\kappa _{N(m),\mathbf {r}}=\mathtt {s}_{\mathbf {r}\ast }\circ \mathtt {HS}\circ d_{\ast }(\mathtt {Det}_{N(m)}^{\mathbf {r}})$ constructed as in [Reference Bertolini, Seveso and VenerucciBSV22, Section 3] for the modular curve $Y(m)$ .
Lemma 4.2. Let m be a positive integer, and let q be a prime number. Assume that both m and q are coprime to p and N. Then
If q is coprime to m, we also have
Proof. The same argument proving equations (174) and (176) in [Reference Bertolini, Seveso and VenerucciBSV22] yields these identities, adding the prime q to the level rather than the prime p.
We next consider the following ‘asymmetric’ diagonal classes.
Definition 4.3. For each squarefree positive integer n coprime to p and N, let
where $\pi _1,\pi _2:Y(n^2)\rightarrow Y(1)$ are the degeneracy maps in (2.2).
Lemma 4.4. Let n be as above, and let q be a rational prime coprime to p, N and n. Then
where $\pi _{ij}:Y(n^2q^2)\rightarrow Y(n^2)$ denotes the composite map
Proof. To better distinguish between the degeneracy maps $\pi _i$ for different levels, in this proof, we use $\varpi _i$ to denote the map $\pi _i$ descending the level by q, so that $\varpi _j\circ \varpi _i$ is the degeneracy map $\pi _{ij}$ in the statement of the lemma. Thus, we find
using Lemma 4.2 for the second equality; and similarly,
Descending the level again by q, this gives
and similarly
and
hence, the result.
Projection of the classes $\kappa _{n,\mathbf {r}}^{(2)}$ to the $(1,1,1)$ -component in the Künneth decomposition yields classes $\kappa _{n,\mathbf {r}}^{(3)}$ in
Now set $(r_1, r_2, r_3)=(0,l-2,m-2)$ . Fix test vectors
These test vectors determine maps
which we use to project the classes $\kappa _{n,\mathbf {r}}^{(3)}$ to classes $\kappa _{n,\psi gh}^{(3)}$ in
Let
Using the isomorphisms
of Corollary 3.6, and taking the projection of both sides via the quotient map $\mathcal {O}[R_{\mathfrak {f},n}]\rightarrow \mathcal {O}[R_n]$ , we obtain new isomorphisms
so that applying the corresponding projection map to the classes $\kappa _{n,\psi gh}^{(3)}$ and using Shapiro’s lemma, we obtain classes
Proposition 4.5. Let n be as above, and let q be a rational prime coprime to p, N and n.
-
(i) If q splits in K as $(q) = \mathfrak {q}\overline {\mathfrak {q}}$ , then
$$ \begin{align*} \operatorname{\mathrm{cor}}_{K[nq]/K[n]}({\tilde{\kappa}_{\psi,g,h,nq}}) &=q^{l+m-4}\bigg\{\chi_g(q)\chi_h(q)q\left(\frac{\psi(\mathfrak{q})}{q}\mathrm{Fr}_{\mathfrak{q}}^{-1}\right)^2-\frac{a_q(g)a_q(h)}{q^{(l+m-4)/2}}\left(\frac{\psi(\mathfrak{q})}{q}\mathrm{Fr}_{\mathfrak{q}}^{-1}\right) \\ & +\frac{\chi_g(q)^{-1}a_q(g)^2}{q^{l-1}}+\frac{\chi_h(q)^{-1}a_q(h)^2}{q^{m-2}}-\frac{q^2+1}{q} \\ & -\frac{a_q(g)a_q(h)}{q^{(l+m-4)/2}}\left(\frac{\psi(\overline{\mathfrak{q}})}{q}\mathrm{Fr}_{\overline{\mathfrak{q}}}^{-1}\right)+\chi_g(q)\chi_h(q)q\left(\frac{\psi(\overline{\mathfrak{q}})}{q}\mathrm{Fr}_{\overline{\mathfrak{q}}}^{-1}\right)^2\bigg\}\,{\tilde{\kappa}_{\psi,g,h,n}}. \end{align*} $$ -
(ii) If q is inert in K, then
$$ \begin{align*} \operatorname{\mathrm{cor}}_{K[nq]/K[n]}({\tilde{\kappa}_{\psi,g,h,nq}}) &=q^{l+m-4}\left\{\frac{\chi_g(q)^{-1}a_q(g)^2}{q^{l-1}}+\frac{\chi_h(q)^{-1}a_q(h)^2}{q^{m-2}}-\frac{(q+1)^2}{q}\right\}{\tilde{\kappa}_{\psi,g,h,n}}. \end{align*} $$
Proof. We have the commutative diagram
where the horizontal isomorphisms are given by Shapiro’s lemma and the right vertical arrow comes from the natural norm map between induced representations. Using the isomorphisms $\tilde {\nu }_{n}$ above, the vertical arrows in the previous diagram correspond to the map
If q splits in K, the map $\mathcal {N}_{\mathfrak {f},n}^{\mathfrak {f},nq}$ is given by
using the notations introduced in Lemma 4.4 for the degeneracy maps, and from the relations in that lemma, we find
This implies the result in this case. When q is inert in K, we have
and the result in this case follows by a very similar computation that we leave to the reader.
In particular, restricting to positive integers n as above that are divisible only by primes q which split in K, Proposition 4.5 yields the following result (note that since in this section we assume $\psi $ has infinity type $(-1,0)$ , the balanced condition forces $l=m$ ).
Theorem 4.6. Suppose the weights of $g, h$ are $l=m$ . Let $\mathcal {S}$ be the set of squarefree products of primes q which split in K and are coprime to p and N. Assume that $H^1(K[n],T_{g,h}^{\psi })$ is torsion-free for every $n\in \mathcal {S}$ . There exists a collection of classes
such that whenever $n, nq\in \mathcal {S}$ with q a prime, we have
where $\mathfrak {q}$ is any of the primes of K above q, and $P_{\mathfrak {q}}(X)=\det (1-\mathrm {Fr}_{\mathfrak {q}}^{-1}X\vert (V_{g,h}^{\psi })^{\vee }(1))$ .
Proof. We begin by noting that the only possible denominators of the classes ${\tilde {\kappa }_{\psi ,g,h,n}}$ are divisors of $(l-2)!(m-2)!$ (as follows from [Reference Bertolini, Seveso and VenerucciBSV22, Remark 3.3]), so after multiplying them by a suitable power of p, they all have coefficients in $T_{g,h}^{\psi }$ .
Now given a prime $q\in \mathcal {S}$ , we note that for any prime v of K above q, we have
Writing $(q)=\mathfrak {q}\overline {\mathfrak {q}}$ and using that $\psi (\mathfrak {q})\psi (\overline {\mathfrak {q}})=\chi (q)q$ and $\chi _g(q)\chi _h(q)\chi (q)=1$ , we therefore find the congruences
as endomorphisms of $H^1(K[n],T_{g,h}^{\psi })$ . Since these expressions agree modulo $q-1$ with the factor appearing in the norm relation of Proposition 4.5(i), together with [Reference RubinRub00, Lemmas 9.6.1 and 9.6.3], the result follows.
Remark 4.7. The condition that $H^1(K[n],T_{g,h}^{\psi })$ is torsion-free for every $n\in \mathcal {S}$ holds, for example, under the assumptions in Lemma 8.9 below. Indeed, since $\mathrm {SL}_2(\mathbb {Z}_p)\times \mathrm {SL}_2(\mathbb {Z}_p)$ has no proper normal subgroups of finite p-power index, it follows from this lemma that the residual $G_{K[n]}$ -representation attached to $T_{g,h}^{\psi }$ is absolutely irreducible for every $n\in \mathcal {S}$ , so that $H^0(K[n],V_{g,h}^{\psi }/T_{g,h}^{\psi })$ is trivial for every $n\in \mathcal {S}$ and the condition follows.
Remark 4.8. In the inert case, writing $\mathfrak {q}=(q)$ , we have
and similarly, as in the proof of Theorem 4.6, we find the congruence
as endomorphisms of $H^1(K[n],T_{g,h}^{\psi })$ . Similarly, as above, this expression agrees modulo $q^2-1$ with the square of the Euler factor appearing in the norm relation of Proposition 4.5(ii).
Now assume that $(p)=\mathfrak {p}\overline {\mathfrak {p}}$ splits in K, with $\mathfrak {p}$ the prime of K above p induced by our fixed embedding $\iota _p:\overline {\mathbb {Q}}\hookrightarrow \overline {\mathbb {Q}}_p$ , and let $f=\theta _{\psi }$ be the theta series associated to $\psi $ . Assume also that both g and h are ordinary at p. Then, for $\phi \in \{f,g,h\}$ , the $G_{\mathbb {Q}_p}$ -representation $V_{\phi }$ admits a filtration
where $V_{\phi }^{\pm }$ is one-dimensional and $V_{\phi }^-$ is unramified with $\mathrm {Fr}_p$ acting as multiplication by $\alpha _{\phi }$ , the unit root of the Hecke polynomial of $\phi $ at p. Letting $V_{fgh}=V_f\otimes V_g\otimes V_h(-1-r)$ , we can therefore consider the $G_{\mathbb {Q}_p}$ -subrepresentation
and define the balanced local condition $H^1_{\operatorname {\mathrm {bal}}}(\mathbb {Q}_p,V_{fgh})\subset H^1(\mathbb {Q}_p,V_{fgh})$ to be the image of the natural map $H^1(\mathbb {Q}_p,\mathscr F^2V_{fgh})\rightarrow H^1(\mathbb {Q}_p,V_{fgh})$ .
Setting
one readily checks that under the isomorphism $H^1(\mathbb {Q},V_{fgh})\cong H^1(K,V^{\psi }_{g,h})$ of Shapiro’s lemma, the balanced local condition $H^1_{\operatorname {\mathrm {bal}}}(\mathbb {Q}_p,V_{fgh})$ corresponds to the natural image of
This motivates the following definition. Let $L/K$ be a finite extension, and for every finite prime v of L, put
where $L_v^{\mathrm {nr}}$ is the maximal unramified extension of $L_v$ . We then let $H^1_{\mathrm {bal}}(L_v,T_{g,h}^{\psi })$ be the inverse image of $H^1_{\mathrm {bal}}(L_v,V_{g,h}^{\psi })$ under the natural map $H^1(L_v,T_{g,h}^{\psi })\rightarrow H^1(L_v,V_{g,h}^{\psi })$ , and let $\mathrm {Sel}_{\mathrm {bal}}(L,T_{g,h}^{\psi })\subset H^1(L,T_{g,h}^{\psi })$ be the Greenberg Selmer group cut out by these local conditions (note that this is a special case of the more general construction discussed in Section 8.1).
Proposition 4.9. For every $n\in \mathcal {S}$ , the class ${\kappa _{\psi ,g,h,n}}$ lies in the group $\mathrm {Sel}_{\operatorname {\mathrm {bal}}}(K[n],T_{g,h}^{\psi })$ .
Proof. Fix $n\in \mathcal {S}$ and v a finite prime of $K[n]$ . If $v\nmid p$ , then it follows from the Weil conjectures that $V_{g,h}^{\psi }$ is pure of weight $-1$ , and hence
By [Reference RubinRub00, Corollary 1.3.3(i)] and local Tate duality (using the fact that the $G_K$ -representation $V_{g,h}^{\psi }$ is conjugate self-dual), it follows that
Repeating the argument with the roles of v and $\overline {v}$ reversed, from (4.2) and [Reference RubinRub00, Corollary 1.3.3(ii)], we conclude that
and so the inclusion $\mathrm {res}_v({\kappa _{\psi ,g,h,n}})\in H^1_{\mathrm {bal}}(K[n]_v,T_{g,h}^{\psi })$ is automatic.
Now suppose $v\mid p$ . As noted in [Reference Bertolini, Seveso and VenerucciBSV22, Proposition 3.2], it follows from the results of [Reference Nekovář and NiziołNN16] that the classes $\kappa _{m,\mathbf {r}}^{(1)}$ are geometric at p, and therefore the class $\mathrm { res}_v({\kappa _{\psi ,g,h,n}})\in H^1(K[n]_v,T_{g,h}^{\psi })$ lands in the inverse image of
under the natural map $H^1(K[n]_v,T_{g,h}^{\psi })\rightarrow H^1(K[n]_v,V_{g,h}^{\psi })$ . Since $H^1_{\text {geo}}(K[n]_v,V_{g,h}^{\psi })$ agrees with the Bloch–Kato finite subspace $H^1_{\text {fin}}(K[n]_v,V_{g,h}^{\psi })$ (see [Reference NekovářNek93, Proposition 1.24(2)]), and the latter agrees with $H^1_{\mathrm {bal}}(K[n]_v,V_{g,h}^{\psi })$ (see Lemma 9.1 below), the result follows.
5 Hida families and Galois representations
In the next section, we will prove that the classes ${\kappa _{\psi ,g,h,n}}$ of Theorem 4.6 extend along the anticyclotomic ${\mathbb Z}_p$ -extension of K, that is, they are anticyclotomic universal norms and explain the construction of ${\kappa _{\psi ,g,h,n}}$ for more general weights. In this section, we collect the background results we shall need, closely following the treatment in [Reference Bertolini, Seveso and VenerucciBSV22].
5.1 Hida families
Let $\Lambda = {\mathbb Z}_p[[1+p{\mathbb Z}_p]]$ , and let
be the weight space. Then, for any extension E of $\mathbb {Q}_p$ , we have $\mathcal W(E)=\operatorname {\mathrm {Hom}}_{\text {cont}}(1+p\mathbb {Z}_p,E^{\times })$ . Points of the form $\nu _{r,\epsilon }(n)= \epsilon (n)n^r$ , where r is a nonnegative integer and $\epsilon $ is a finite order character, will be called arithmetic. We refer to $k=r+2$ as the weight of $\nu _{r,\epsilon }$ . Arithmetic points of the form $\nu _r=\nu _{r,1}$ will be called classical.
More generally, let $\mathcal {R}$ be a normal domain finite flat over $\Lambda $ , and let $\mathcal W_{\mathcal {R}}=\mathrm {Spf}(\mathcal {R})$ . Then, a point $x\in \mathcal W_{\mathcal {R}}(\overline {\mathbb {Q}}_p)$ will be called arithmetic if it lies above an arithmetic point $\nu _{r,\epsilon }$ of $\mathcal W(\overline {\mathbb {Q}}_p)$ , and classical if it lies above a classical point $\nu _r$ of $\mathcal W(\overline {\mathbb {Q}}_p)$ . Again, we refer to $k=r+2$ as the weight of x.
Let M be a positive integer coprime to p. A Hida family of tame level M and character $\chi :(\mathbb {Z}/Mp\mathbb {Z})^{\times }\rightarrow \overline {\mathbb {Q}}_p^{\times }$ is a formal q-expansion
where $\Lambda _{\mathbf {f}}$ is a normal domain finite flat over $\Lambda $ , such that, for any arithmetic point $x\in \mathcal W_{\Lambda _{\mathbf {f}}}(\overline {\mathbb {Q}}_p)$ lying over some $\nu _{r,\epsilon }$ , the corresponding specialisation is a p-ordinary eigenform $f_x\in S_k(Mp^s,\chi \epsilon \omega ^{-r})$ . As above, we have denoted by k the weight of x, and we can take $s=\max \lbrace 1, {\mathrm {ord}}_p(\mathrm {cond}(\epsilon ))\rbrace $ . We say that a Hida family ${\mathbf {f}}$ is primitive if the specialisations $f_x$ at arithmetic points x are p-stabilised newforms. We say that it is normalised if $a_1({\mathbf {f}})=1$ .
Let ${\mathbf {f}}$ be a normalised primitive Hida family of tame level M. For each arithmetic point $x\in \mathcal W_{\Lambda _{\mathbf {f}}}(\overline {\mathbb {Q}}_p)$ , let ${\mathbf {f}}_x$ denote the specialisation of ${\mathbf {f}}$ at x, and let $f_x$ be the corresponding newform. There exists a locally free rank-two $\Lambda _{\mathbf {f}}$ -module $\mathbb {V}_{\mathbf {f}}$ equipped with a continuous action of $G_{\mathbb {Q}}$ , such that, for any arithmetic point $x\in \mathcal W_{\Lambda _{\mathbf {f}}}(\overline {\mathbb {Q}}_p)$ , the corresponding specialisation $\mathbb {V}_{\mathbf {f}}\otimes _{\Lambda _{\mathbf {f}},x}\overline {\mathbb {Q}}_p$ recovers the $G_{\mathbb {Q}}$ -representation $V_{f_x}$ attached to $f_x$ . In particular, the representation $\mathbb {V}_{\mathbf {f}}$ is unramified at any prime $q\nmid Mp$ and $\mathrm {Tr}(\mathrm {Fr}_q)=a_q({\mathbf {f}})$ . We refer to $\mathbb {V}_{\mathbf {f}}$ as the big Galois representation attached to ${\mathbf {f}}$ . If for some (equivalently all) arithmetic point $x_0\in \mathcal W_{\Lambda _{\mathbf {f}}}(\overline {\mathbb {Q}}_p)$ the $G_{\mathbb {Q}}$ -representation $T_{f_{x_0}}$ attached to $f_{x_0}$ is residually irreducible, then $\mathbb {V}_{\mathbf {f}}$ is a free $\Lambda _{\mathbf {f}}$ -module.
5.2 Continuous functions and distributions
Define the semigroups
The sets $\mathsf {T}=\mathbb {Z}_p^{\times }\times \mathbb {Z}_p$ and $\mathsf {T}'=p\mathbb {Z}_p\times \mathbb {Z}_p^{\times }$ bear a right action of $\Sigma _0(p)$ and $\Sigma _0'(p)$ , respectively.
Let $\nu $ be a character of $\mathbb {Z}_p^{\times }$ taking values in a finite extension E of $\mathbb {Q}_p$ . Let $\mathcal {O}$ be the ring of integers of E and denote by $\mathfrak {m}$ its maximal ideal. Let $\text {Cont}(\mathbb {Z}_p,\mathcal {O})$ denote the module of continuous functions on $\mathbb {Z}_p$ with values in $\mathcal {O}$ . Define $\mathcal {O}$ -modules
equipped with the $\mathfrak {m}$ -adic topology, and $\mathcal {O}$ -modules
equipped with the weak- $\ast $ topology. The right $\Sigma _0^{\cdot }(p)$ -action on $\mathsf {T}^{\cdot }$ yields naturally a left $\Sigma _0^{\cdot }(p)$ -action on $\mathcal {A}_{\nu }^{\cdot }$ and a right $\Sigma _0^{\cdot }(p)$ -action on $\mathcal {D}_{\nu }^{\cdot }$ .
5.3 Group cohomology and étale cohomology
Let N and m be coprime positive integers which are also coprime to p, let $Y=Y(1,N(pm))$ , and let $\Gamma $ be the corresponding modular group. Let $\mathcal {E}\rightarrow Y$ be the universal elliptic curve over Y, and denote by $C_p$ the canonical cyclic p-subgroup. Let $\mathscr {T}$ be the relative p-adic Tate module of $\mathcal {E}$ over Y. Fix a geometric point $\eta :\text {Spec}(\overline {\mathbb {Q}})\rightarrow Y$ , and choose an isomorphism $\mathscr {T}_{\eta }\cong \mathbb {Z}_p\oplus \mathbb {Z}_p$ , such that the Weil pairing on $\mathscr {T}_{\eta }$ corresponds to the natural determinant map on the right and the reduction modulo p of the element (0,1) generates $C_{p,\eta }$ .
Let $\mathcal {G}=\pi _1^{\operatorname {\mathrm {et}}}(Y,\eta )$ . The action of $\mathcal {G}$ on $\mathscr {T}$ yields an action of $\mathcal {G}$ on $\mathbb {Z}_p\oplus \mathbb {Z}_p$ , and hence a continuous representation $\rho :\mathcal {G}\rightarrow \text {GL}_2(\mathbb {Z}_p)$ . More precisely, for any $g\in \mathcal {G}$ ,
In fact, since the action of $\mathcal {G}$ preserves the canonical subgroup, we have a continuous representation $\rho :\mathcal {G}\rightarrow \Gamma _0(p\mathbb {Z}_p)$ , where
The anti-involution of $\text {GL}_2(\mathbb {Z}_p)$ given by $\gamma \mapsto \gamma ^{\iota }=\det (\gamma )\gamma ^{-1}$ restricts to $\Gamma _0(p\mathbb {Z}_p)$ and allows us to think of this group as acting on the right or left as convenient.
Taking the stalk at $\eta $ gives an equivalence of categories between the category $\mathbf {S}_f(Y_{\operatorname {\mathrm {et}}})$ of locally constant constructible sheaves with finite stalk of p-power order at $\eta $ and the category $\mathbf {M}_f(\mathcal {G})$ of finite $\mathcal {G}$ -sets of p-power order. For any topological group G, define $\mathbf {M}_f(G)$ as we did for $\mathcal {G}$ . Let $\mathbf {M}_{\text {cont}}(G)$ be the category of G-modules which are filtred unions $\cup _{i\in I} M_i$ with $M_i\in \mathbf {M}_f(G)$ , and let $\mathbf {M}(G)\subset \mathbf {M}_{\text {cont}}(G)^{\mathbb {N}}$ be the category of inverse systems of objects in $\mathbf {M}_{\text {cont}}(G)$ . Define $\mathbf {S}(Y_{\operatorname {\mathrm {et}}})$ similarly. Then, there is an equivalence of categories between $\mathbf {M}(\mathcal {G})$ and $\mathbf {S}(Y_{\operatorname {\mathrm {et}}})$ . Moreover, the representation $\rho $ defined above yields a functor $\mathbf {M}(\Gamma _0(p\mathbb {Z}_p))\rightarrow \mathbf {M}(\mathcal {G})$ . Regarding this functor, we adopt the following criterion: if an object $\mathcal {F}\in \mathbf {M}(\Gamma _0(p\mathbb {Z}_p))$ is given as a left $\Gamma _0(p\mathbb {Z}_p)$ -module, we define the left $\mathcal {G}$ -action via the map $\rho :\mathcal {G}\rightarrow \Gamma _0(p\mathbb {Z}_p)$ ; if it is given as a right $\Gamma _0(p\mathbb {Z}_p)$ -module, we define the left $\mathcal {G}$ -action via the map $g\mapsto \rho (g)^{-1}$ . Given an inverse system of sheaves $\boldsymbol {\mathcal {F}}=(\boldsymbol {\mathcal {F}}_i)_{i\in \mathbb {N}}\in \mathbf {S}(Y_{\operatorname {\mathrm {et}}})$ , we use the notation $H^j_{\operatorname {\mathrm {et}}}(Y,\boldsymbol {\mathcal {F}})$ for continuous étale cohomology as defined by Jannsen [Reference JannsenJan88], and write $\mathtt {H}^j_{\operatorname {\mathrm {et}}}(Y,\boldsymbol {\mathcal {F}})=\varprojlim _i H^j_{\operatorname {\mathrm {et}}}(Y,\boldsymbol {\mathcal {F}}_i)$ . There is a natural surjective morphism $H^j_{\operatorname {\mathrm {et}}}(Y,\boldsymbol {\mathcal {F}})\rightarrow \mathtt {H}^j_{\operatorname {\mathrm {et}}}(Y,\boldsymbol {\mathcal {F}})$ . The compactly supported cohomology groups $H^j_{\operatorname {\mathrm {et}},c}(Y,\boldsymbol {\mathcal {F}})$ and $\mathtt {H}^j_{\operatorname {\mathrm {et}},c}(Y,\boldsymbol {\mathcal {F}})$ are defined similarly.
There is an isomorphism $\pi _1^{\operatorname {\mathrm {et}}}(Y_{\overline {\mathbb {Q}}},\eta )\cong \hat {\Gamma }$ . Thus, if $\mathcal {F}\in \mathbf {M}_f(\mathcal {G})$ is a discrete $\mathcal {G}$ -module and $\boldsymbol {\mathcal {F}}$ is the corresponding object in $\mathbf {S}_f(Y_{\operatorname {\mathrm {et}}})$ , there are natural isomorphisms
Let $\mathcal {F}\in \mathbf {M}_f(\Gamma _0(p\mathbb {Z}_p))$ be a left $\Gamma _0(p\mathbb {Z}_p)$ -module, and assume that the $\Gamma _0(p\mathbb {Z}_p)$ -action on $\mathcal {F}$ extends to a left action of $\Sigma _0^{\cdot }(p)$ . Let $S=\Sigma _0^{\cdot }(p)\cap \text {GL}_2(\mathbb {Q})$ . The pair $(\Gamma ,S)$ is then a Hecke pair in the sense of [Reference Ash and StevensAS86a, Section 1.1], and there is a covariant (left) action of the Hecke algebra $D(\Gamma , S)$ on $H^1(\Gamma ,\mathcal {F})$ . For each $g\in S$ , let $T(g)=\Gamma g\Gamma $ . Following [Reference Greenberg and StevensGS93, Section 1], we define, for each positive integer n, the Hecke operators
Also, for each positive integer a coprime to p, let
Finally, for each positive integer a coprime to N, choose $\beta _a$ (respectively, $\beta _a'$ ) in $\Gamma _0(Npm)$ whose lower right entry is congruent to a (respectively, $a^{-1}$ ) modulo N, and let
The isomorphism (5.1) is compatible with Hecke actions in the following sense. To distinguish between different levels, we shall now write $\tilde {Y}(m)$ and $\tilde {\Gamma }(m)$ for the above Y and $\Gamma $ , respectively. Let s be a positive integer. Choose, as above, a geometric point $\eta :\text {Spec}(\overline {\mathbb {Q}})\rightarrow \tilde {Y}(m)$ , and let $\eta _s:\text {Spec}(\overline {\mathbb {Q}})\rightarrow \tilde {Y}(ms)$ be a geometric point lying above $\eta $ . Let $r=1+{\mathrm {ord}}_p(s)$ , and choose an isomorphism $\mathscr {T}_{\eta _s}\cong \mathbb {Z}_p\oplus \mathbb {Z}_p$ , such that the Weil pairing on $\mathscr {T}_{\eta _s}$ corresponds to the natural determinant map on the right, and the reduction modulo $p^r$ of the element (0,1) generates the canonical subgroup $C_{p^r,\eta _s}$ . Using these choices to define the corresponding isomorphisms between group cohomology and étale cohomology, there are commutative diagrams
Also, if $\left (\begin {smallmatrix}s & \\ & 1 \end {smallmatrix}\right )\in \Sigma _0^{\cdot }(p)$ , we have the commutative diagram
and, if $\left (\begin {smallmatrix} 1 & \\ & s \end {smallmatrix}\right )\in \Sigma _0^{\cdot }(p)$ , the commutative diagram
In the bottom lines of the previous two diagrams, $\varphi _s^{\ast }(\mathcal {F})$ is $\mathcal {F}$ with the action of $\Gamma _0(p^r\mathbb {Z}_p)$ conjugated by $\left (\begin {smallmatrix} s & \\ & 1\end {smallmatrix}\right )$ ; the map $\lambda _{s\ast }$ is induced by the map $\mathcal {F}\rightarrow \varphi _s^{\ast }(\mathcal {F})$ defined by $c\mapsto \left (\begin {smallmatrix} s & \\ & 1\end {smallmatrix}\right )c$ ; $\varphi _{s\ast }$ is induced by the pair of compatible maps $\Gamma (1(s),N(pm))\rightarrow \tilde {\Gamma }(ms)$ and $\varphi _s^{\ast }(\mathcal {F})\rightarrow \mathcal {F}$ defined by $\gamma \mapsto \left (\begin {smallmatrix} s^{-1} & \\ & 1\end {smallmatrix}\right ) \gamma \left (\begin {smallmatrix} s & \\ & 1\end {smallmatrix}\right )$ and $c\mapsto c$ , respectively; $\lambda _{s}^{\ast }$ is induced by the map $\varphi _s(\mathcal {F})\rightarrow \mathcal {F}$ defined by $c\mapsto \left (\begin {smallmatrix} 1 & \\ & s\end {smallmatrix}\right )c$ and $\varphi _{s}^{\ast }$ is induced by the pair of compatible maps $\tilde {\Gamma }(m)\rightarrow \Gamma (1(s),N(pm))$ and $\mathcal {F}\rightarrow \varphi _s^{\ast }(\mathcal {F})$ defined by $\gamma \mapsto \left (\begin {smallmatrix} 1 & \\ & s^{-1}\end {smallmatrix}\right ) \gamma \left (\begin {smallmatrix} 1 & \\ & s\end {smallmatrix}\right )$ and $c\mapsto c$ , respectively.
We shall denote by $\pi _{2\ast }$ and $\pi _2^{\ast }$ , respectively, the composition of the maps in the rows of the previous two diagrams, both in étale cohomology and in group cohomology. Similarly, we shall also use $\pi _{1\ast }$ and $\pi _1^{\ast }$ to denote the corresponding corestriction and restriction maps.
For any rational prime q, a simple calculation shows that the following identities hold in group cohomology whenever the maps involved are defined:
Therefore, under the isomorphism (5.1), the covariant action of the operators $T_q$ , $T_q'$ on étale cohomology corresponds to the covariant action of the operators $T_q$ , $T_q'$ on group cohomology, whenever defined. Similarly, the covariant action of the operators $\langle d\rangle $ , $\langle d\rangle '$ on étale cohomology corresponds to the covariant action of the operators $[d]_N$ , $[d]_N'$ on group cohomology.
The anti-involution $\iota $ extends to $\text {Mat}_{2\times 2}(\mathbb {Z}_p)$ in the obvious way, and turns a left (respectively, right) action of $\Sigma _0(p)$ into a right (respectively, left) action of $\Sigma _0'(p)$ . Thus, given an object $\mathcal {F}\in \mathbf {M}(\Gamma _0(p\mathbb {Z}_p))$ whose right $\Gamma _0(p\mathbb {Z}_p)$ -action extends to a right $\Sigma _0^{\cdot }(p)$ -action, there is an isomorphism $H^1_{\operatorname {\mathrm {et}}}(Y_{\overline {\mathbb {Q}}},\boldsymbol {\mathcal {F}})\cong H^1(\Gamma ,\mathcal {F})$ under which the contravariant action of the operators $T_q$ , $T_q'$ , $\langle d\rangle $ , $\langle d\rangle '$ on étale cohomology corresponds to the contravariant action of the operators $T_q$ , $T_q'$ , $[d]_N$ , $[d]_N'$ on group cohomology, whenever defined.
Consider the modules $\mathcal {A}_{\nu }^{\cdot }$ and $\mathcal {D}_{\nu }^{\cdot }$ defined earlier in this section. The action of $\Gamma _0(p\mathbb {Z}_p)$ on $\mathsf {T}'$ is transitive and the stabiliser of the element $(0,1)\in \mathsf {T}'$ is the subgroup
so we can identify $\mathsf {T}'$ with $P(\mathbb {Z}_p)\backslash \Gamma _0(p\mathbb {Z}_p)$ . Similarly, the action of $\Gamma _0(p\mathbb {Z}_p)$ on $\mathsf {T}$ is transitive and the stabiliser of the element $(1,0)\in \mathsf {T}$ is the subgroup
so we can identify $\mathsf {T}$ with $P(\mathbb {Z}_p)^w\backslash \Gamma _0(p\mathbb {Z}_p)$ . For any positive integer j, let
Then, for any positive integers $i,j$ , we can define
The objects $\mathcal {A}_{\nu ,i,j}^{\cdot }$ can be regarded as left $\mathcal {O}[\Sigma ^{\cdot }_0(p)]$ -modules. Let $\mathcal {A}_{\nu ,i}^{\cdot }=\varinjlim _j \mathcal {A}_{\nu ,i,j}^{\cdot }$ . Then $\mathcal {A}_{\nu }^{\cdot }\cong \varprojlim _i \mathcal {A}_{\nu ,i}^{\cdot }$ . We denote by $\boldsymbol {\mathcal {A}}_{\nu }^{\cdot }$ the object in $\mathbf {S}(Y_{\operatorname {\mathrm {et}}})$ corresponding to $\lbrace \mathcal {A}_{\nu ,i}^{\cdot }\rbrace _i\in \mathbf {M}(\Gamma _0(p\mathbb {Z}_p))$ . We also define $\mathcal {D}_{\nu ,i}^{\cdot }=\operatorname {\mathrm {Hom}}_{\mathcal {O}}(\mathcal {A}_{\nu ,i,i}^{\cdot },\mathcal {O}/\mathfrak {m}^i)$ . These objects can be regarded as right $\mathcal {O}[\Sigma ^{\cdot }_0(p)]$ -modules, and we have $\mathcal {D}_{\nu }^{\cdot }\cong \varprojlim _i \mathcal {D}_{\nu ,i}^{\cdot }$ . We denote by $\boldsymbol {\mathcal {D}}_{\nu }^{\cdot }$ the object in $\mathbf {S}(Y_{\operatorname {\mathrm {et}}})$ corresponding to $\lbrace \mathcal {D}_{\nu ,i}^{\cdot }\rbrace _i\in \mathbf {M}(\Gamma _0(p\mathbb {Z}_p))$ . There are natural morphisms of $\mathcal {O}$ -modules
and
compatible with the action of Hecke operators. We also have Hecke-equivariant isomorphisms
where $H^j_c(\Gamma ,-)=H^{j-1}(\Gamma ,\operatorname {\mathrm {Hom}}_{\mathbb {Z}}(\text {Div}^0(\mathbb {P}^1(\mathbb {Q})),-))$ . These isomorphisms allow us to define continuous $G_{\mathbb {Q}}$ -actions on the groups $H^1(\Gamma ,\mathcal {A}_{\nu }^{\cdot })$ , $H^1(\Gamma ,\mathcal {D}_{\nu }^{\cdot })$ and $H^1_c(\Gamma ,\mathcal {D}_{\nu }^{\cdot })$ .
Given a character $\chi :\mathbb {Z}_p^{\times }\rightarrow \mathcal {O}^{\times }$ , let $\mathcal {O}(\chi )$ be the module $\mathcal {O}$ with $\Gamma _0(p\mathbb {Z}_p)$ acting via $\chi \circ \det $ , where $\det :\Gamma _0(p\mathbb {Z}_p)\rightarrow \mathbb {Z}_p^{\times }$ is the determinant map.
The natural $\mathcal {G}$ -equivariant evaluation map $\mathcal {A}_{\nu }^{\cdot }\otimes _{\mathcal {O}}\mathcal {D}_{\nu }^{\cdot }\rightarrow \mathcal {O}$ yields a $G_{\mathbb {Q}}$ -equivariant cup-product pairing
under which the Hecke operators $T_q$ , $T_q'$ , $[d]_N$ , $[d]_N'$ acting covariantly on the left, whenever defined, are adjoint to these same operators acting contravariantly on the right.
Let $\det :\mathsf {T}'\times \mathsf {T}\rightarrow \mathbb {Z}_p^{\times }$ be the function defined by $\det ((x_1,x_2),(y_1,y_2))=x_1y_2-x_2y_1$ , and let $\det _{\nu }$ be the composition of this function with $\nu :\mathbb {Z}_p^{\times }\rightarrow \mathcal {O}$ . Evaluation at this function defines a $\mathcal {G}$ -equivariant map $\mathcal {D}_{\nu }'\otimes _{\mathcal {O}} \mathcal {D}_{\nu }\rightarrow \mathcal {O}(-\nu )$ which yields a $G_{\mathbb {Q}}$ -equivariant cup-product pairing
where $\boldsymbol {\nu }=\nu \circ \epsilon _{\text {cyc}}:G_{\mathbb {Q}}\rightarrow \mathcal {O}^{\times }$ . Under this pairing, the Hecke operators $T_q$ , $T_q'$ , $[d]_N$ , $[d]_N'$ acting contravariantly on the left, whenever defined, are adjoint to the Hecke operators $T_q'$ , $T_q$ , $[d]_N'$ , $[d]_N$ acting contravariantly on the right. We obtain a similar pairing interchanging the roles of $\mathcal {D}_{\nu }$ and $\mathcal {D}_{\nu }'$ .
5.4 Ordinary cohomology
For any $\mathbb {Z}_p$ -algebra B, let $S_r(B)$ be the set of two-variable homogeneous polynomials of degree r in $B[x_1,x_2]$ . It is a left $B[\Sigma _0^{\cdot }(p)]$ -module with the action of $\Sigma _0^{\cdot }(p)$ defined by
for all $g\in \Sigma _0^{\cdot }(p)$ and $P(x_1,x_2)\in S_r(B)$ . To the p-adic $\Gamma _0(p\mathbb {Z}_p)$ -representation $S_r=S_r(\mathbb {Z}_p)$ , there corresponds the locally constant p-adic sheaf $\mathscr {S}_{r}$ on $Y_{\operatorname {\mathrm {et}}}$ defined in Section 2.3. Therefore, we have an isomorphism
which is Hecke-equivariant when we consider the covariant action of Hecke operators on both sides, and we use this isomorphism to define an action of $G_{\mathbb {Q}}$ on $H^1(\Gamma ,S_r)$ .
We also define $L_r(B)=\operatorname {\mathrm {Hom}}_{B}(S_r(B),B)$ , which we regard as a right $B[\Sigma _0^{\cdot }(p)]$ -module defining the $\Sigma _0^{\cdot }(p)$ -action by
for all $g\in \Sigma _0^{\cdot }(p)$ , $\mu \in L_r(B)$ and $P(x_1,x_2)\in S_r(B)$ . To the p-adic $\Gamma _0(p\mathbb {Z}_p)$ -representation $L_r=L_r(\mathbb {Z}_p)$ , there corresponds the locally constant p-adic sheaf $\mathscr {L}_{r}$ on $Y_{\operatorname {\mathrm {et}}}$ . Therefore, we have an isomorphism
which is Hecke-equivariant when we consider the contravariant action of Hecke operators on both sides, and we use this isomorphism to define an action of $G_{\mathbb {Q}}$ on $H^1(\Gamma ,L_r)$ .
The natural $\Gamma _0(p\mathbb {Z}_p)$ -equivariant evaluation map $S_r\otimes _{\mathbb {Z}_p} L_r\rightarrow \mathbb {Z}_p$ yields a $G_{\mathbb {Q}}$ -equivariant cup-product pairing
under which the Hecke operators $T_q$ , $T_q'$ , $[d]_N$ , $[d]_N'$ acting covariantly on the left, whenever defined, are adjoint to these same operators acting contravariantly on the right. This pairing becomes perfect after inverting p.
Let $\nu _r: \mathbb {Z}_p^{\times } \rightarrow \mathbb {Z}_p^{\times }$ be the character defined by $\nu _r(z)=z^r$ . Evaluation at the polynomial $(x_1y_2-x_2y_1)^r\in S_r\otimes _{\mathbb {Z}_p}S_r$ defines a $\Gamma _0(p\mathbb {Z}_p)$ -equivariant map $L_r\otimes _{\mathbb {Z}_p}L_r\rightarrow \mathbb {Z}_p(-\nu _r)$ and thus yields a $G_{\mathbb {Q}}$ -equivariant cup-product pairing
under which the Hecke operators $T_q$ , $T_q'$ , $[d]_N$ , $[d]_N'$ acting contravariantly on the left, whenever defined, are adjoint to the Hecke operators $T_q'$ , $T_q$ , $[d]_N'$ , $[d]_N$ acting contravariantly on the right. This pairing becomes perfect after inverting p.
Combining these two pairings, we can define a morphism
This map is $G_{\mathbb {Q}}$ -equivariant and intertwines the covariant action of the operators $T_q$ , $[d]_N$ , $[a]_p$ on the source with the contravariant action of the operators $T_q'$ , $[d]_N'$ , $[a]_p'$ on the target. We can also define $\mathtt {s}_{r\ast }$ directly via the isomorphism $S_r(\mathbb {Q}_p)\cong L_r(\mathbb {Q}_p)(\nu _r)$ arising from the perfect pairing $L_r(\mathbb {Q}_p)\otimes _{\mathbb {Q}_p}L_r(\mathbb {Q}_p)\rightarrow \mathbb {Q}_p(-\nu _r)$ defined by evaluation at $(x_1y_2-x_2y_1)^r$ . Therefore, the denominators introduced by this map are bounded by $r!$ , that is, an element in
is mapped to an element in
as follows from [Reference Bertolini, Seveso and VenerucciBSV22, Remark 3.3].
To slightly simplify the notation, we will write $\mathcal {A}_r^{\cdot }$ and $\mathcal {D}_r^{\cdot }$ for $\mathcal {A}_{\nu _r}^{\cdot }$ and $\mathcal {D}_{\nu _r}^{\cdot }$ , respectively. Regarding two-variable polynomials as functions on $\mathsf {T}^{\cdot }$ , we obtain a natural morphism of left $\mathbb {Z}_p[\Sigma _0^{\cdot }(p)]$ -modules $S_r\rightarrow \mathcal {A}_{r}^{\cdot }$ . Also, dualizing this map, we obtain a morphism of right $\mathbb {Z}_p[\Sigma _0^{\cdot }(p)]$ -modules $\mathcal {D}_{r}^{\cdot }\rightarrow L_r$ . Thus, we have $G_{\mathbb {Q}}$ -equivariant and Hecke-equivariant morphisms
Applying Hida’s (anti-)ordinary projector $e_{\text {ord}}^{\cdot }:= \lim _{n\to \infty } (T_p^{\cdot })^{n!}$ , the previous morphisms become isomorphisms
Under these isomorphisms, the pairings (5.4) and (5.5) correspond to the pairings (5.2) and (5.3), respectively, after applying the corresponding (anti-)ordinary projector to every term involved.
5.5 $\Lambda $ -adic Poincaré pairing
It will be convenient to write $\langle a; b\rangle $ , with $a\in (\mathbb {Z}/N\mathbb {Z})^{\times }$ and $b\in (\mathbb {Z}/p^r\mathbb {Z})^{\times }$ , for the diamond operator $\langle d\rangle $ , where $d\in (\mathbb {Z}/Np^r)^{\times }$ is congruent to a modulo N and to b modulo $p^r$ . We also write $\epsilon _N:G_{\mathbb {Q}}\rightarrow (\mathbb {Z}/N\mathbb {Z})^{\times }$ for the mod N cyclotomic character.
For any positive integer r, let
and define
We have natural factorisations $(\mathbb {Z}/p^r\mathbb {Z})^{\times }=\mu _{p-1}\times (1+p\mathbb {Z}/p^r\mathbb {Z})$ and $\mathbb {Z}_p^{\times }=\mu _{p-1}\times (1+p\mathbb {Z}_p)$ which give natural embeddings and . We define idempotents
for any integer i modulo $p-1$ . Let $\kappa _i:\mathbb {Z}_p^{\times }\rightarrow \Lambda ^{\times }$ be the character defined by $z\mapsto \omega ^i(z)[\langle z\rangle ]$ , and let $\boldsymbol {\kappa }_i=\kappa _i\circ \epsilon _{\text {cyc}}:G_{\mathbb {Q}}\rightarrow \Lambda ^{\times }$ .
We will shorten notation by writing
We have a natural action of $\tilde {\Lambda }_r$ and $\tilde {\Lambda }$ on the previous groups defined by letting group-like elements $[u]$ act like the diamond operators $\langle 1; u\rangle '$ .
Fix compatible primitive p-power roots of unity $\zeta _{p^r}$ and a primitive N-th root of unity $\zeta _N$ . Then one can define Atkin–Lehner automorphisms $w_r$ and w for the curve $X_r(m)$ similarly as in [Reference Darmon and RotgerDR17, Section 1.2]. More precisely, $X_r(m)$ parameterises quadruples $(E,P,Q,C)$ , where E is an elliptic curve, P is a point of order N, Q is a point of order $p^r$ and C is a cyclic subgroup of E of order $Nm$ containing P. Then, we define
where $C_Q\subseteq E$ is the subgroup generated by Q, and $Q'\in E[p^r]$ satisfies $\langle Q,Q'\rangle = \zeta _{p^r}$ . Similarly, we define
where $P'\in E[N]$ satisfies $\langle P,P'\rangle = \zeta _N$ . These Atkin–Lehner automorphisms satisfy, for any $\sigma \in G_{\mathbb {Q}}$ ,
We let w and $w_r$ act on cohomology via pullback.
Define $G_{\mathbb {Q}}$ -equivariant pairings
by the formula
where $\langle \,,\rangle _r$ stands for the natural Poincaré pairing. These pairings are $\Lambda _r$ -linear and antilinear in the first and second argument, respectively. Then we get $G_{\mathbb {Q}}$ -equivariant $\Lambda _r$ -pairings
via the following modification of the previous pairing:
These pairings are compatible in the sense that the diagram
commutes, which can be proved as in [Reference Darmon and RotgerDR17, Lemma 1.1]. This yields a $\Lambda $ -adic perfect $G_{\mathbb {Q}}$ -equivariant pairing
where $H^1_{\operatorname {\mathrm {et}}}(X_{\infty }(m)_{\overline {\mathbb {Q}}},\mathbb {Z}_p)^{\text {ord}}=e_{\text {ord}}' H^1_{\operatorname {\mathrm {et}}}(X_{\infty }(m)_{\overline {\mathbb {Q}}},\mathbb {Z}_p)$ . All Hecke operators are self-adjoint for this pairing.
5.6 Big Galois representations
Let $\mathfrak {m}_{\Lambda }$ be the maximal ideal of $\Lambda $ , let $\text {Cont}(\mathbb {Z}_p,\Lambda )$ be the $\Lambda $ -module of continuous functions on $\mathbb {Z}_p$ with values in $\Lambda $ and let $\kappa $ be any of the $\kappa _i$ above. Define the $\Lambda $ -module
equipped with the $\mathfrak {m}_{\Lambda }$ -adic topology, and the $\Lambda $ -module
equipped with the weak- $\ast $ topology. As in Section 5.2, we can regard $\mathcal {A}_{\kappa }'$ (respectively, $\mathcal {D}_{\kappa }'$ ) as a left (respectively, right) $\Lambda [\Sigma ^{\prime }_0(p)]$ -module.
Similarly to what we did in Section 5.3, define, for any positive integers $j,r$ ,
and $\mathcal {A}_{\kappa ,j}'=\varinjlim _r \mathcal {A}_{\kappa ,j,r}'$ . Then $\mathcal {A}_{\kappa }^{\prime }=\varprojlim _j \mathcal {A}_{\kappa ,j}'$ . We denote by $\boldsymbol {\mathcal {A}}_{\kappa }'$ the object in $\mathbf {S}(Y_{\operatorname {\mathrm {et}}})$ corresponding to $\lbrace \mathcal {A}_{\kappa ,j}'\rbrace _j\in \mathbf {M}(\Gamma _0(p\mathbb {Z}_p))$ . We also define $\mathcal {D}_{\kappa ,j}'=\operatorname {\mathrm {Hom}}_{\Lambda }(\mathcal {A}_{\kappa ,j,j}',\Lambda /\mathfrak {m}_{\Lambda }^j)$ , so that $\mathcal {D}_{\kappa }'=\varprojlim _j \mathcal {D}_{\kappa ,j}'$ , and denote by $\boldsymbol {\mathcal {D}}_{\kappa }'$ the object in $\mathbf {S}(Y_{\operatorname {\mathrm {et}}})$ corresponding to $\lbrace \mathcal {D}_{\kappa ,j}'\rbrace _j\in \mathbf {M}(\Gamma _0(p\mathbb {Z}_p))$ . There are natural Hecke-equivariant morphisms of $\Lambda $ -modules
which allow us to define continuous $G_{\mathbb {Q}}$ -actions on the groups $H^1(\Gamma ,\mathcal {A}_{\kappa }')$ , $H^1(\Gamma ,\mathcal {D}_{\kappa }')$ and $H^1_c(\Gamma ,\mathcal {D}_{\kappa }')$ .
The evaluation map $\mathcal {A}_{\kappa }'\otimes _{\Lambda }\mathcal {D}_{\kappa }'\rightarrow \Lambda $ yields a $G_{\mathbb {Q}}$ -equivariant cup-product pairing
under which the Hecke operators $T_q$ , $T_q'$ , $[d]_N$ , $[d]_N'$ acting covariantly on the left, whenever defined, are adjoint to these same operators acting contravariantly on the right.
Recall that in this section, we have set $\Gamma =\Gamma (1,N(pm))$ , and let $S=\Sigma _0'(p)\cap \text {GL}_2(\mathbb {Q})$ . For any positive integer r, define
We define compatibility of Hecke pairs as in [Reference Ash and StevensAS86a, Definition 1.1.2] but changing left-right conventions. More precisely, we say that the Hecke pair $(\Gamma _{\alpha },S_{\alpha })$ is compatible to the Hecke pair $(\Gamma _{\beta },S_{\beta })$ if $(\Gamma _{\alpha },S_{\alpha })\subseteq (\Gamma _{\beta },S_{\beta })$ , $S_{\alpha }\Gamma _{\beta }=S_{\beta }$ and $\Gamma _{\beta }\cap S_{\alpha }^{-1}S_{\alpha }=\Gamma _{\alpha }$ . With this definition, the Hecke pair $(\Gamma _r, S_r)$ is compatible to the Hecke pair $(\Gamma _t,S_t)$ , if $r\geq t$ , and to the Hecke pair $(\Gamma ,S)$ .
Suppose that the Hecke pair $(\Gamma _{\alpha },S_{\alpha })$ is compatible to $(\Gamma _{\beta }, S_{\beta })$ , and that $\Gamma _{\alpha }$ has finite index in $\Gamma _{\beta }$ . For any right $S_{\alpha }$ -module E, we define
This module is equipped with a right action of $S_{\beta }$ : given $\varphi \in \operatorname {\mathrm {Ind}}_{\Gamma _{\alpha }}^{\Gamma _{\beta }} E$ and $g\in S_{\beta }$
where the sum is over representatives $\gamma $ for the cosets in $\Gamma _{\alpha }\backslash \Gamma \cap S_{\alpha } x g^{-1}$ .
Now define
and let $D_{\kappa ,r}'=\operatorname {\mathrm {Hom}}_{\Lambda _{r}}(A_{\kappa ,r}',\Lambda _r)$ . With these definitions, $\mathcal {D}_{\kappa }'=\varprojlim _r D_{\kappa , r}'$ . Let $S_r$ act trivially on $\mathbb {Z}_p$ and consider the right $\mathbb {Z}_p[S_1]$ -module $\text {Ind}_{\Gamma _r}^{\Gamma _1}\,\mathbb {Z}_p$ . Let R be a set of representatives for the cosets in $\Gamma _r\backslash \Gamma _1$ . The map $\operatorname {\mathrm {Ind}}_{\Gamma _r}^{\Gamma _1}\mathbb {Z}_p\rightarrow D_{\kappa ,r}'$ defined by
is an isomorphism of right $\mathbb {Z}_p[S_1]$ -modules. Therefore, there are natural isomorphisms
According to [Reference Ash and StevensAS86a, Lemma 1.1.3] and [Reference Ash and StevensAS86a, Lemma 1.1.4], both corestriction and the Shapiro isomorphism commute with the action of $D(\Gamma ,S)$ via restriction of Hecke algebras, so the previous isomorphisms are Hecke-equivariant.
Similarly to (5.6), but omitting m from the notation, we let $Y_r=Y(1,Np^r(m))$ and put
where the inverse limit is with respect to the maps $\pi _{1\ast }$ . Then
where the last isomorphism is defined by choosing a compatible system of geometric points for the curves $Y_r$ and suitable compatible bases for the corresponding Tate modules. Under the isomorphisms above, the contravariant operators $T_q'$ , $[d]_N'$ , $[a]_p'$ on the first term correspond to the contravariant operators $T_q'$ , $\langle d; 1\rangle '$ , $\langle 1; a\rangle '$ defined on the last term via the compatibility of these operators with the pushforward maps $\pi _{1\ast }$ .
Also, according to [Reference Ash and StevensAS86a, Lemma 1.1.5], the restriction map yields a Hecke-equivariant isomorphism
(recall that we have set $\kappa =\kappa _i$ ). Combining this isomorphism with the previous ones, we obtain a Hecke-equivariant isomorphism
Similarly, using [Reference Ash and StevensAS86b, Proposition 4.2], one proves that there is a Hecke-equivariant isomorphism
6 Proof of the wild norm relations
Assume that p splits in K as $(p)=\mathfrak {p}\overline {\mathfrak {p}}$ , and that it does not divide the class number $h_K$ .
We keep most of the notations from Section 4. In particular, $(g,h)$ is a pair of newforms of weights $(l, m)$ of the same parity, levels $(N_g,N_h)$ and characters $(\chi _g,\chi _h)$ , and we assume that the ring of integers ${\mathcal O}\subset E=L_{\mathfrak {P}}$ contains the Fourier coefficients of g and h. In addition, we assume that p does not divide $N_g$ nor $N_h$ , and that both g and h are ordinary at p.
We now allow the Grössencharacter $\psi $ to have infinity type $(1-k,0)$ for any even integer $k\geq 2$ , and let $\mathfrak {f}$ be the conductor of $\psi $ , which we assume to be coprime to p. Let $\chi $ be the unique Dirichlet character modulo $N_{K/{\mathbb Q}}(\mathfrak f)$ , such that $\psi ((n))=n^{k-1} \chi (n)$ for integers n coprime to $N_{K/{\mathbb Q}}(\mathfrak f)$ .
As in [Reference Büyükboduk and LeiBL18, Section 3.2.1], we denote by $\psi _0$ the unique Grössencharacter of infinity type $(-1,0)$ , conductor $\mathfrak {p}$ and whose associated p-adic Galois character factors through $\Gamma _{\mathfrak {p}}$ , the Galois group of the unique $\mathbb {Z}_p$ -extension of K unramified outside $\mathfrak {p}$ . Then we can uniquely write $\psi =\alpha \psi _0^{k-1}$ , where $\alpha $ is a ray class character of conductor dividing $\mathfrak {f}\mathfrak {p}$ . Since $(\mathfrak {f},p)=1$ and k is even, it easily follows that $\psi $ is non-Eisenstein and p-distinguished, meaning that
where $\omega $ is the Teichmüller character.
Let $\psi _{\mathfrak P}$ be the continuous E-valued character of $K^{\times } \backslash {\mathbb A}_{K,\text {f}}^{\times }$ defined by
where $x_{\mathfrak p}$ is the projection of the idèle x to the component at $\mathfrak p$ . We will also denote by $\psi _{\mathfrak {P}}$ the corresponding character of $G_K$ obtained via the geometric Artin map. Then $\operatorname {\mathrm {Ind}}_K^{\mathbb {Q}} E(\psi _{\mathfrak {P}}^{-1})$ is the p-adic representation attached to $\theta _{\psi }$ , and we note that by (6.1), the associated residual representation is absolutely irreducible and p-distinguished (see [Reference Lei, Loeffler and ZerbesLLZ15, Remark 5.1.4]).
Consider the q-expansion
where $H_{\mathfrak {fp}^{\infty }}$ denotes the maximal pro-p quotient of the ray class group of K of conductor $\mathfrak {fp}^{\infty }$ , and $[\mathfrak {a}]$ is the image of $\mathfrak {a}$ in $H_{\mathfrak {fp}^{\infty }}$ under the geometric Artin map. Since we assume that p does not divide $h_K$ , we can factor $H_{\mathfrak {fp}^{\infty }}\cong H_{\mathfrak {f}}\times \Gamma _{\mathfrak {p}}$ . Hence, we have $\Theta \in \mathcal {O}[H_{\mathfrak {f}}]\otimes _{\mathcal {O}}\mathcal {O}[[\Gamma _{\mathfrak {p}}]][[q]]$ , and we can specialise this to
where $\Lambda _{{\mathbf {f}}}=\mathcal {O}[[\Gamma _{\mathfrak {p}}]]$ . We identify $\Gamma _{\mathfrak {p}}$ with $\Gamma =1+p\mathbb {Z}_p$ via the isomorphism $\Gamma \cong \mathcal {O}_{K,\mathfrak {p}}^{(1)}\rightarrow \Gamma _{\mathfrak {p}}$ defined by $u\mapsto \text {art}_{\mathfrak {p}}(u)^{-1}$ , where $\text {art}_{\mathfrak {p}}$ stands for the geometric local Artin map, and in this way, we identify $\Lambda _{{\mathbf {f}}}$ with $\Lambda _{\mathcal {O}}=\Lambda \otimes _{\mathbb {Z}_p}\mathcal {O}$ . We can therefore regard ${\mathbf {f}}$ as a primitive Hida family specialising to
at the arithmetic point $\nu _{k'-2}$ , where $N_{\psi }=DN_{K/\mathbb {Q}}(\mathfrak {f})$ and $\chi _{\alpha }(n)=\alpha ((n))$ . Note that ${\mathbf {f}}$ has character $\chi =\chi _{\alpha } \omega ^{1-k}$ , and ${\mathbf {f}}_k=\theta _{\psi }^{(p)}$ is the ordinary p-stabilisation of $\theta _{\psi }$ .
Let $\chi _{\mathbb {Q}}$ be the adelic character attached to $\chi $ , let $\chi _K=\chi _{\mathbb {Q}}\circ N_{K/\mathbb {Q}}$ and let $\psi ^{\ast } = \chi _K^{-1}\psi $ . We can define a primitive Hida family ${\mathbf {f}}^{\ast }$ attached to the Grössencharacter $\psi ^{\ast }$ in the same way that we defined the Hida family ${\mathbf {f}}$ attached to $\psi $ . This is just the Hida family ${\mathbf {f}}\otimes \chi ^{-1}$ .
We assume that $\chi \varepsilon _K\chi _g\chi _h=1$ , that is, the product of the characters of $\theta _{\psi }$ , g and h is trivial. Similarly to what we did in Section 4, set $(r_1,r_2,r_3)=(k-2,l-2,m-2)$ . For every positive integer m, let
and denote by $\tilde {\Gamma }(m)$ the corresponding modular group. Let $\kappa =\kappa _{r_1}:\mathbb {Z}_p^{\times }\rightarrow \Lambda ^{\times }$ , and choose a square root of this character defined by $\kappa ^{1/2}(u)=\omega (u)^{(k-2)/2}[\langle u\rangle ^{1/2}]$ .
We can define classes
as in [Reference Bertolini, Seveso and VenerucciBSV22, Section 8.1], but replacing the Hida families ${\mathbf {g}}, {\mathbf h}$ in their construction by our $g,h$ and working with modules of continuous functions instead of modules of locally analytic functions. Similarly to what is done in loc. cit., and adopting some of the notations there, we define the cohomology classes
inside the group
where $\boldsymbol {\kappa }^{1/2}=\kappa ^{1/2}\circ \epsilon _{\text {cyc}}$ ; and, for each squarefree positive integer n coprime to p and N, we define
lying in the group
Now we can prove norm relations for $\Lambda $ -adic classes, as we did for the classes in the previous section.
Lemma 6.1. Let m be a positive integer, and let q be a prime number. Assume that both m and q are coprime to p and N. Then
If q is coprime to m, we also have
Proof. As in Lemma 4.2, the same arguments proving equations (174) and (176) in [Reference Bertolini, Seveso and VenerucciBSV22] apply mutatis mutandis to yield the proof of these identities.
Lemma 6.2. Let n be a squarefree positive integer coprime to p and N, and let q be a rational prime coprime to p, N and n. Then
where $\pi _{ij*}$ denotes the composition
Let $\Gamma (m)=\Gamma (1,Np(m))$ , and write $Y(m)$ and $X(m)$ for the corresponding affine and projective modular curves. The pairing in equation (5.8) yields a map
where the isomorphism comes from equation (5.9). Let $\mathcal {I}_n$ be the maximal ideal in Hida’s big ordinary Hecke algebra $\mathbb {T}(1,Np^{\infty }(n^2))^{\prime }_{\text {ord}}$ corresponding to the Hida family ${\mathbf {f}}^{\ast }$ ; by (6.1) this ideal corresponds to a non-Eisenstein maximal ideal in $\mathbb {T}(1,Np(n^2))'$ , so there are isomorphisms
Hence, the pairings (5.7) and (5.8) together with the isomorphism (5.9) yield a morphism
This map is $G_{\mathbb {Q}}$ -equivariant and intertwines the covariant action of the operators $T_q'$ , $[d]_N'$ , $[a]_p'$ on the source with the contravariant action of the operators $T_q'$ , $\langle d;1\rangle '$ , $\langle 1;a\rangle '$ on the target.
Fix a level-N test vector $\breve {{\mathbf {f}}}$ for ${\mathbf {f}}$ , and let $\breve {{\mathbf {f}}}^{\ast }=\breve {{\mathbf {f}}}\otimes \chi ^{-1}\varepsilon _K$ . Fix also test vectors
and write $\breve {g}_{\alpha }$ and $\breve {h}_{\alpha }$ for the corresponding ordinary p-stabilisations.
Define maps
attached to the Grössencharacter $\alpha \chi _K^{-1}\psi _0$ as in Lemma 3.5, and let
be the inverse limit $\varprojlim _r\phi _{n,r}$ . The test vector $\breve {{\mathbf {f}}}^{\ast }$ determines a degeneracy map
Composing this degeneracy map with the natural quotient map, we get a morphism
The test vectors $\breve {g}_{\alpha }$ and $\breve {h}_{\alpha }$ determine degeneracy maps
Composing these maps with projection to the g-isotypic and h-isotypic quotient, respectively, we obtain
For the ease of notation, we write
and put $H^1(\psi ,n)=\mathcal {O}[R_n]\otimes _{\mathcal {O}[R_{\overline {\mathfrak {f}},n}]}H^1(\psi ,\overline {\mathfrak {f}},n)$ . Then we define the class
lying in the group
Let $\Gamma _{\text {ac}}$ be the Galois group of the anticyclotomic $\mathbb {Z}_p$ -extension of K. We can identify this group with the antidiagonal in $(1+p\mathbb {Z}_p)\times (1+p\mathbb {Z}_p)\cong \mathcal {O}_{K,\mathfrak {p}}^{(1)}\times \mathcal {O}_{K,\overline {\mathfrak {p}}}^{(1)}$ via the geometrically normalised Artin map. Let $\kappa _{\text {ac}}:\Gamma _{\text {ac}}\rightarrow \mathbb {Z}_p^{\times }$ be the character defined by mapping ${((1+p)^{-1/2},(1+p)^{1/2})}$ to $1+p$ , and let $\boldsymbol {\kappa }_{\text {ac}}:\Gamma _{\text {ac}}\rightarrow \Lambda ^{\times }$ be the character defined by mapping $((1+p)^{-1/2}, (1+p)^{1/2})$ to the group-like element $[1+p]$ . We use the same notation for the corresponding characters of $G_{\mathbb {Q}}$ . There is a $G_{\mathbb {Q}}$ -equivariant isomorphism of $\Lambda _{\mathcal {O}}[R_{n}]$ -modules
Let
In light of the isomorphism (6.4), using Shapiro’s lemma, the classes $\kappa _{n,{\mathbf {f}} gh}^{(3)}$ yield classes
for every squarefree integer n coprime to p and N.
Proposition 6.3. Let n be as above, and let q be a rational prime coprime to p, N and n. Then:
-
(i) If q splits in K as $(q) = \mathfrak {q}\overline {\mathfrak {q}}$ ,
$$ \begin{align*} \kern-12pt\operatorname{\mathrm{cor}}_{K[nq]/K[n]}(\tilde{\kappa}_{\psi,g,h,nq,\infty})&=q^{l+m-4}\Bigg\{\chi_g(q)\chi_h(q)q\left(\frac{\kappa_{\operatorname{\mathrm{ac}}}^{-(k-2)/2}\psi_{\mathfrak{P}}(\mathrm{Fr}_{\mathfrak{q}}^{-1})}{q^{k-1}}\mathrm{Fr}_{\mathfrak{q}}^{-1}\right)^2 \\& \quad -\frac{a_q(g)a_q(h)}{q^{(l+m-4)/2}}\left(\frac{\kappa_{\operatorname{\mathrm{ac}}}^{-(k-2)/2}\psi_{\mathfrak{P}}(\mathrm{Fr}_{\mathfrak{q}}^{-1})}{q^{k-1}}\mathrm{Fr}_{\mathfrak{q}}^{-1}\right) \\& \quad +\frac{\chi_g(q)^{-1}a_q(g)^2}{q^{l-2}}+\frac{\chi_h(q)^{-1}a_q(h)^2}{q^{m-1}}-\frac{q^2+1}{q} \\& \quad -\frac{a_q(g)a_q(h)}{q^{(l+m-4)/2}}\left(\frac{\kappa_{\operatorname{\mathrm{ac}}}^{-(k-2)/2}\psi_{\mathfrak{P}}(\mathrm{Fr}_{\overline{\mathfrak{q}}}^{-1})}{q^{k-1}}\mathrm{Fr}_{\overline{\mathfrak{q}}}^{-1}\right) \\& \quad +\chi_g(q)\chi_h(q)q\left(\frac{\kappa_{\operatorname{\mathrm{ac}}}^{-(k-2)/2}\psi_{\mathfrak{P}}(\mathrm{Fr}_{\overline{\mathfrak{q}}}^{-1})}{q^{k-1}}\mathrm{Fr}_{\overline{\mathfrak{q}}}^{-1}\right)^2\Bigg\}\tilde{\kappa}_{\psi,g,h,n,\infty}. \end{align*} $$ -
(ii) If q is inert in K,
$$ \begin{align*} &\operatorname{\mathrm{cor}}_{K[nq]/K[n]}(\tilde{\kappa}_{\psi,g,h,nq,\infty}) \\&\quad= q^{l+m-4}\Bigg\{\frac{\chi_g(q)^{-1}a_q(g)^2}{q^{l-2}}+\frac{\chi_h(q)^{-1}a_q(h)^2}{q^{m-1}}-\frac{(q+1)^2}{q}\Bigg\}\tilde{\kappa}_{\psi,g,h,n,\infty}. \end{align*} $$
Proof. The proof of this proposition is similar to the proof of Proposition 4.5. We just remark that the maps $\mathtt {s}_{{\mathbf {f}},n\ast }$ interchange the degeneracy maps $\pi _1$ and $\pi _2$ , and under the isomorphism
arising from (6.4), the corestriction $\mathrm {cor}_{K[nq]/K[n]}$ corresponds, in the case where $(q)=\mathfrak {q}\overline {\mathfrak {q}}$ splits in K, to the map
and similarly in the case where q is inert in K. Since the result can be deduced from Lemma 6.1 by virtually the same calculation as in the proof of Lemma 4.4, we omit the details.
Definition 6.4. For any E-valued $G_K$ -representation V, put
where $T\subset V$ is a Galois stable $\mathcal {O}$ -lattice.
By another application of Shapiro’s lemma, the classes ${\kappa _{\psi ,g,h,n,\infty }}$ in (6.5) naturally live in $H^1_{\text {Iw}}(K[np^{\infty }],V_{g,h}^{\psi }(\kappa _{\text {ac}}^{(k-2)/2}))$ . We thus arrive at the following theorem, which is the main result of this section.
Theorem 6.5. Suppose that:
-
• $l\geq m\geq 2$ have the same parity and $k\geq 2$ is even,
-
• p splits in K,
-
• p does not divide the class number of K.
Let $\mathcal {S}$ be the set of squarefree products of primes q which split in K and are coprime to p and N. Assume that $H^1(K[np^s],T_{g,h}^{\psi })$ is torsion-free for every $n\in \mathcal {S}$ and for every $s\geq 0$ . There exists a collection of classes
such that whenever $n, nq\in \mathcal {S}$ with q a prime, we have
where $\mathfrak {q}$ is any of the primes of K above q, and $P_{\mathfrak {q}}(X)=\det (1-\mathrm {Fr}_{\mathfrak {q}}^{-1}X\vert (V_{g,h}^{\psi })^{\vee }(1))$ .
Proof. The same argument as in the proof of Theorem 4.6 (but using Proposition 6.3) yields a system of Iwasawa cohomology classes with the stated norm-compatibilities for the representation $V_{g,h}^{\psi }(\kappa _{\text {ac}}^{(k-2)/2})$ . By the twisting result of [Reference RubinRub00, Theorem 6.3.5], the theorem follows.
We conclude this section by proving that the classes ${\kappa _{\psi ,g,h,n,\infty }}$ land in the balanced Selmer group
in the terminology introduced in Section 8.1 below, this is the same as the Greenberg Selmer group $\mathrm {Sel}_{\mathrm {Gr}}(K[np^{\infty }],T_{g,h}^{\psi })$ associated to the $G_{K_v}$ -invariant subspaces $\mathcal {F}_v^+(V_{g,h}^{\psi })\subset V_{g,h}^{\psi }$ in (4.1) at the primes $v\mid p$ .
Proposition 6.6. For all $n\in \mathcal {S}$ , we have ${\kappa _{\psi ,g,h,n,\infty }}\in \mathrm {Sel}_{\operatorname {\mathrm {bal}}}(K[np^{\infty }],T_{g,h}^{\psi })$ .
Proof. Let $v\nmid p$ be a finite prime of $K[np^{\infty }]$ , and for every $r\geq 0$ , denote also by v the prime of $K[np^r]$ below v. As in the proof of Proposition 4.9, we have
and hence
where the first equality follows from the local Euler characteristic formula. Hence, the inclusion $\mathrm { res}_v({\kappa _{\psi ,g,h,n,\infty }})\in \varprojlim _rH^1_{\mathrm {Gr}}(K[np^r]_v,T^{\psi }_{g,h})$ follows. Since, by [Reference Bertolini, Seveso and VenerucciBSV22, Corollary 8.2], it follows that the classes ${\kappa _{\psi ,g,h,n,\infty }}$ satisfy the balanced local condition at the primes above p, this concludes the proof.
Part 2. Arithmetic applications
7 Iwasawa main conjectures
In this section, we formulate Iwasawa main conjectures (IMCs) for triple products of modular forms. We give two formulations: one in terms of the triple product p-adic L-function (Conjecture 7.7) and another in terms of diagonal cycle classes (Conjecture 7.9). In Theorem 7.15, we establish the equivalence of the two formulations.
7.1 Triple product p-adic L-function
Fix a triple $({\mathbf {f}},g,h)$ consisting of a primitive Hida family ${\mathbf {f}}$ of tame level $N_{{\mathbf {f}}}$ and character $\chi _{{\mathbf {f}}}$ and two p-ordinary newforms $g, h$ of weights $l,m\geq 2$ , levels $N_g,N_h$ prime-to-p and nebentypus $\chi _g,\chi _h$ . Assume that ${\mathbf {f}}$ has coefficients in a ring $\Lambda _{{\mathbf {f}}}$ as in Section 5.1. Assume that $\chi _{{\mathbf {f}}}\chi _g\chi _h=\omega ^{r_1}$ for some even integer $r_1$ , and put
Let ${\mathbf {g}}$ and ${\mathbf h}$ be primitive Hida families with coefficients in $\Lambda _{\mathbf {g}}$ and $\Lambda _{\mathbf h}$ passing through g and h, respectively. More precisely, there exist arithmetic points $y_0\in \mathcal W_{\Lambda _{{\mathbf {g}}}}(\overline {\mathbb {Q}}_p)$ and $z_0\in \mathcal W_{\Lambda _{{\mathbf h}}}(\overline {\mathbb {Q}}_p)$ , such that $g_{y_0}$ and $h_{z_0}$ are the ordinary p-stabilisations of g and h, respectively. The rings $\Lambda _{\mathbf {g}}$ and $\Lambda _{\mathbf h}$ need not be regular. However, for our purposes, we can consider the $\Lambda $ -adic families, denoted again ${\mathbf {g}}$ and ${\mathbf h}$ , that result from embedding $\Lambda _{\mathbf {g}}$ and $\Lambda _{\mathbf h}$ in the rings of functions of suitable wide open connected subsets $U_{\mathbf {g}}$ and $U_{\mathbf h}$ of $\mathcal W(\overline {\mathbb {Q}}_p)=\mathrm {Spf}(\Lambda )(\overline {\mathbb {Q}}_p)$ defined over some finite extension E of $\mathbb {Q}_p$ and containing the points $y_0$ and $z_0$ , respectively. From now on, it is these rings of functions that we will denote by $\Lambda _{\mathbf {g}}$ and $\Lambda _{\mathbf h}$ . These rings are now noncanonically isomorphic to ${\mathcal O}[[T]]$ , where $\mathcal {O}$ is the ring of integers of E; in particular, they are regular. Let $\boldsymbol {l}-l$ and $\boldsymbol {m}-m$ be generators in $\Lambda _{\mathbf {g}}$ and $\Lambda _{\mathbf h}$ of the prime ideals corresponding to the points $y_0$ and $z_0$ , respectively.
We can and will assume that $\Lambda _{\mathbf {f}}$ is a finite flat extension of $\Lambda _{\mathcal {O}}$ , and we will only consider arithmetic points in $\mathcal W_{\Lambda _{\mathbf {f}}}(\overline {\mathbb {Q}}_p)$ lying in $\operatorname {\mathrm {Hom}}_{\text {cont},\mathcal {O}}(\Lambda _{\mathbf {f}},\overline {\mathbb {Q}}_p)$
Recall that in Section 5.5, we defined a character $\kappa _{r_1}:\mathbb {Z}_p^{\times } \rightarrow \Lambda ^{\times }$ given by $u\mapsto \omega ^{r_1}(u)[\langle u\rangle ]$ , and in Section 6, we fixed a square root $\kappa _{r_1}^{1/2}$ of this character given by $u\mapsto \omega ^{r_1/2}(u)[\langle u\rangle ^{1/2}]$ . We let $\kappa _{\mathbf {f}}$ and $\kappa _{\mathbf {f}}^{1/2}$ be the composition of $\kappa _{r_1}$ and $\kappa _{r_1}^{1/2}$ , respectively, with the embedding
. We also define a character $\kappa _{{\mathbf {g}} {\mathbf h}}:\mathbb {Z}_p^{\times }\rightarrow (\Lambda _{{\mathbf {g}}}\hat {\otimes }_{\mathcal {O}} \Lambda _{{\mathbf h}})^{\times }$ by
and choose a square root of this character defined by $\kappa _{{\mathbf {g}} {\mathbf h}}^{1/2}(u)=\omega (u)^{(l+m-4)/2}\langle u\rangle ^{(\boldsymbol {l}+{\mathbf m}-4)/2}$ . Let $\Lambda _{{\mathbf {f}} {\mathbf {g}} {\mathbf h}}=\Lambda _{\mathbf {f}}\hat {\otimes }_{\mathcal {O}}\Lambda _{\mathbf {g}} \hat {\otimes }_{\mathcal {O}} \Lambda _{\mathbf h}$ , and consider the $\Lambda _{{\mathbf {f}} {\mathbf {g}} {\mathbf h}}[G_{\mathbb {Q}}]$ -module
and $\mathbb {V}_{{\mathbf {f}}}$ , $\mathbb {V}_{{\mathbf {g}}}$ and $\mathbb {V}_{{\mathbf h}}$ are the big Galois representations attached to ${\mathbf {f}}$ , ${\mathbf {g}}$ and ${\mathbf h}$ , respectively. Then
is a self-dual twist of the tensor product of these representations. Consider also the $\Lambda _{\mathbf {f}}[G_{\mathbb {Q}}]$ -module
Given test vectors $(\breve {{\mathbf {f}}},\breve {g},\breve {h})$ for $({\mathbf {f}},g,h)$ of level N, as explained in [Reference Harris and TilouineHT01] and [Reference Darmon and RotgerDR14, Section 4.2], a generalisation of Hida’s p-adic Rankin–Selberg convolution produces an element $\mathscr {L}_p(\breve {{\mathbf {f}}},\breve {g},\breve {h})$ in the fraction field of $\Lambda _{{\mathbf {f}}}$ whose specialisations to arithmetic points $x\in \mathcal W_{\Lambda _{\mathbf {f}}}(\overline {\mathbb {Q}}_p)$ of even weight $k\geq l+m$ recover (a square root of) the central critical values of the triple product L-function for the specialisation of at x by virtue of Harris–Kudla’s proof of Jacquet’s conjecture, [Reference Harris and KudlaHK91]. A recent result by Hsieh [Reference HsiehHsi21] constructs test vectors $(\underline {\breve {{\mathbf {f}}}},\underline {\breve {g}},\underline {\breve {h}})$ for which a precise interpolation property for the resulting $\mathscr {L}_p(\underline {\breve {{\mathbf {f}}}},\underline {\breve {g}},\underline {\breve {h}})$ is proved. To recall the result in the form that will be used here, for any arithmetic point $x\in \mathcal W_{\Lambda _{\mathbf {f}}}(\overline {\mathbb {Q}}_p)$ as above, we set
let $\alpha _g, \beta _g$ be the roots of the Hecke polynomial of g at p with $\mathrm {ord}_p(\alpha _g)=0$ , and define $\alpha _h, \beta _h$ similarly. As recalled in [op. cit., Section 1.4], when the residual Galois representation $\bar {\rho }_{{\mathbf {f}}}$ associated to ${\mathbf {f}}$ is absolutely irreducible and p-distinguished, the local ring $\Lambda _{{\mathbf {f}}}$ is known to be Gorenstein and, by a result of Hida’s the congruence module of ${\mathbf {f}}$ , is isomorphic to $\Lambda _{{\mathbf {f}}}/(\xi )$ for some nonzero $\xi \in \Lambda _{{\mathbf {f}}}$ . We call $(\xi )$ the congruence ideal of ${\mathbf {f}}$ . Finally, denote by the epsilon factor of the Weil–Deligne representation attached to the restriction of to $G_{\mathbb {Q}_{\ell }}$ .
Theorem 7.1. In addition to $\chi _{{\mathbf {f}}}\chi _{g}\chi _{h}=\omega ^{r_1}$ , assume that:
-
(a) $\bar {\rho }_{{\mathbf {f}}}$ is absolutely irreducible and p-distinguished,
-
(b) for some arithmetic point $x\in \mathcal W_{\Lambda _{\mathbf {f}}}(\overline {\mathbb {Q}}_p)$ , we have for all primes $\ell \mid N$ ,
-
(c) $\mathrm {gcd}(N_{{\mathbf {f}}},N_g,N_h)$ is squarefree.
Let $\xi $ be a generator of the congruence ideal of ${\mathbf {f}}$ . There exist test vectors $(\underline {\breve {{\mathbf {f}}}},\underline {\breve {g}},\underline {\breve {h}})$ for $({\mathbf {f}},g,h)$ of level N, and an element
such that for all arithmetic points $x\in \mathcal W_{\Lambda _{\mathbf {f}}}(\overline {\mathbb {Q}}_p)$ of even weight $k\geq l+m$ with $k\equiv r_1+2\pmod {2(p-1)}$ we have
where:
-
• $\Gamma (k,l,m)=(c-1)!\cdot (c-m)!\cdot (c-l)!\cdot (c+1-l-m)!$ , with $c=(k+l+m-2)/2$ ,
-
• $\alpha (k,l,m)\in \Lambda _{{\mathbf {f}}}$ is a linear form in the variables k, l, m,
-
• $\mathcal {E}({\mathbf {f}}_k,g,h)=(1-\frac {\beta _k\alpha _{g}\alpha _{h}}{p^{c}})(1-\frac {\beta _k\beta _{g}\alpha _{h}}{p^{c}})(1-\frac {\beta _k\alpha _{g}\beta _{h}}{p^{c}})(1-\frac {\beta _k\beta _{g}\beta _{h}}{p^{c}})$ ,
-
• $\mathcal {E}_0({\mathbf {f}}_k)=(1-\frac {\beta _k}{\alpha _k})$ , $\mathcal {E}_1({\mathbf {f}}_k)=(1-\frac {\beta _k}{p\alpha _k})$ ,
-
• $\tau _{\ell }$ is an explicit nonzero rational number independent of k,
-
• ${\mathbf {f}}_k^{\sharp }$ is the newform associated to the p-stabilised newform ${\mathbf {f}}_k$ ,
and $\lVert {\mathbf {f}}_k^{\sharp }\rVert ^2$ is the Petersson norm of ${\mathbf {f}}_k^{\sharp }$ .
Proof. Letting ${\mathbf {g}}, {\mathbf h}$ be the primitive Hida families of tame level $N_g, N_h$ passing through the ordinary p-stabilisations of $g, h$ , this follows by specialising the three-variable p-adic L-function in [Reference HsiehHsi21, Theorem A] attached to $({{\mathbf {f}}},{{\mathbf {g}}},{{\mathbf h}})$ and the congruence ideal generator $\xi $ .
Definition 7.2. For the test vectors $(\underline {\breve {{\mathbf {f}}}},\underline {\breve {g}},\underline {\breve {h}})$ of level N provided by Theorem 7.1, we set
where $\xi $ is any fixed generator of the congruence ideal of ${\mathbf {f}}$ .
Note that $L_p({\mathbf {f}},g,h)$ depends on the choice of $\xi $ , but the principal ideal in $\Lambda _{{\mathbf {f}}}$ it generates is of course independent of that choice.
7.2 Reciprocity law for diagonal cycles
Keep the notations in the previous subsection and without loss of generality assume that $l\geq m$ (reordering g and h if necessary).
Assume that the Galois representations attached to ${\mathbf {f}}$ , g and h are all residually irreducible and p-distinguished. Let $\boldsymbol {\phi }\in \{{\mathbf {f}},{\mathbf {g}},{\mathbf h}\}$ . As a $G_{\mathbb {Q}_p}$ -representation, $\mathbb V_{\boldsymbol {\phi }}$ admits a filtration
with each $\mathbb V_{\boldsymbol {\phi }}^{\pm }$ free of rank one over $\Lambda _{\boldsymbol {\phi }}$ , and with the $G_{\mathbb {Q}_p}$ -action on $\mathbb V_{\boldsymbol {\phi }}^-$ given by the unramified character sending $\mathrm {Fr}_p\mapsto a_p(\boldsymbol {\phi })$ . This induces an obvious three-step filtration
by $G_{{\mathbb Q}_p}$ -stable $\Lambda _{{\mathbf {f}}{\mathbf {g}}{\mathbf h}}$ -submodules of ranks 1, 4 and 7, respectively, given by
The middle term
will play a special role in the following, and we note that
where $\mathbb V_{\mathbf {f}}^{{\mathbf {g}}{\mathbf h}}:=(\mathbb V_{{\mathbf {f}}}^-\hat \otimes _{\mathcal {O}}\mathbb V_{{\mathbf {g}}}^+\hat \otimes _{\mathcal {O}}\mathbb V_{{\mathbf h}}^+)(\Xi _{{\mathbf {f}}{\mathbf {g}}{\mathbf h}})$ and similarly for the other two direct summands. We similarly denote the induced subquotients on the specialisations of
(that is,
, etc.).
Consider the class $\kappa _{1,{\mathbf {f}} gh}^{(3)}$ defined in (6.3) for the choice of level-N test vectors $(\underline {\breve {{\mathbf {f}}}},\underline {\breve {g}},\underline {\breve {h}})$ given by Theorem 7.1, and let
be the image of this class via the morphism obtained from the augmentation map $\mathcal {O}[R_1]\rightarrow \mathcal {O}$ . By [Reference Bertolini, Seveso and VenerucciBSV22, Corollary 8.2], the image of $\kappa ({\mathbf {f}},g,h)$ under the restriction map at p is contained in
It is easily seen that this map is an injection, so we may and will view $\mathrm {res}_p(\kappa ({\mathbf {f}},g,h))$ as a class in
. Let
be the map induced by the projection onto the first direct summand in (7.4). The ‘reciprocity law’ from [Reference Bertolini, Seveso and VenerucciBSV22, Reference Darmon and RotgerDR22] recalled in Theorem 7.4 below relates the image of $\mathrm { res}_p(\kappa ({\mathbf {f}},g,h))$ under the natural projection
to the triple product p-adic L-function of Section 7.1. Recall that $\xi \in \Lambda _{{\mathbf {f}}}$ denotes a generator of the congruence ideal of ${\mathbf {f}}$ .
Proposition 7.3. There is an injective $\Lambda _{{\mathbf {f}}}$ -module homomorphism with pseudo-null cokernel
characterised by the following interpolation property: for all $\mathfrak {Z}\in H^1({\mathbb Q}_p,\mathbb {V}_{{\mathbf {f}}}^{gh})$ and all classical points $x\in \mathcal W_{\Lambda _{\mathbf {f}}}(\overline {\mathbb {Q}}_p)$ of weight $k\geq l+m$ with $k\equiv r_1+2\pmod {2(p-1)}$ , we have
where $c=(k+l+m-2)/2$ .
Proof. The construction of $\mathfrak {Log}^{\xi }$ will follow by specialising the three-variable p-adic regulator constructed in [Reference Bertolini, Seveso and VenerucciBSV22, Section 7.1] (building on a generalisation of the construction in [Reference Loeffler and ZerbesLZ14] given by Kings–Loeffler–Zerbes [Reference Kings, Loeffler and ZerbesKLZ17]).
Let $\vartheta _{gh}:\Lambda _{{\mathbf {f}} {\mathbf {g}} {\mathbf h}}\rightarrow \Lambda _{{\mathbf {f}}}$ be the map given by reduction modulo $(\boldsymbol {l}-l,\boldsymbol {m}-m)$ . This induces isomorphisms
and a natural map
This map is clearly injective, and its surjectivity can be shown easily by an application of local Tate duality and the Ramanujan–Petersson conjecture (cf. proof of [Reference Bertolini, Seveso and VenerucciBSV22, (154)]). Letting
be the p-adic regulator $\mathscr {L}_{{\mathbf {f}}}$ defined as in [Reference Bertolini, Seveso and VenerucciBSV22, Proposition 7.3] and multiplied by $\xi $ , the map defined by the composition
satisfies the interpolation properties in the statement of the proposition.
It remains to see that $\mathfrak {Log}^{\xi }$ is injective with pseudo-null cokernel. By definition, we have
where $\mathbb U_{{\mathbf {f}}}^{{\mathbf {g}}{\mathbf h}}$ is an unramified $G_{{\mathbb Q}_p}$ -module on which an arithmetic Frobenius $\mathrm {Fr}_p$ acts as multiplication by $\chi _f^{-1}(p)a_p({\mathbf {f}})a_p({\mathbf {g}})^{-1}a_p({\mathbf h})^{-1}$ , and $\mathscr {L}_{{\mathbf {f}}}$ is obtained by specialising the four-variable p-adic regulator map in [Reference Kings, Loeffler and ZerbesKLZ17, Theorem 8.2.3] for the module $\mathbb U_{{\mathbf {f}}}^{{\mathbf {g}}{\mathbf h}}$ , paired against the differential $\eta _{{\mathbf {f}}}\otimes \omega _{{\mathbf {g}}}\otimes \omega _{{\mathbf h}}$ . In light of [Reference Kings, Loeffler and ZerbesKLZ17, Remark 8.2.4], the fact that $\mathfrak {Log}^{\xi }$ has the above properties can therefore be deduced from the vanishing of $H^0({\mathbb Q}_p,\mathbb U_{{\mathbf {f}}}^{gh})$ , where $\mathbb {U}_{{\mathbf {f}}}^{gh}$ is the image of $\mathbb U_{{\mathbf {f}}}^{{\mathbf {g}}{\mathbf h}}$ under $\vartheta _{gh}$ .
Theorem 7.4 (Reciprocity law).
We have the following equality
Proof. This is the specialisation of the three-variable reciprocity law of Theorem A in [Reference Bertolini, Seveso and VenerucciBSV22] to $({\mathbf {f}},g,h)$ (see also [Reference Darmon and RotgerDR22, Theorem 10]).
7.3 Selmer groups and formulation of the main conjectures
Let $({\mathbf {f}},g,h)$ be as in the preceding subsection. Throughout the rest of this section, we assume that hypotheses (a)–(c) in Theorem 7.1 hold, so the p-adic L-function $L_p({\mathbf {f}},g,h)$ in Definition 7.2 is available.
Recall the $G_{{\mathbb Q}_p}$ -stable rank-four $\Lambda _{{\mathbf {f}}{\mathbf {g}}{\mathbf h}}$ -submodule in (7.3), and set
As before, we let $\mathscr {F}^2\mathbb V_{{\mathbf {f}} gh}$ and $\mathbb V_{{\mathbf {f}} gh}^f$ denote the corresponding specialisations.
Fix a finite set $\Sigma $ of places of ${\mathbb Q}$ containing $\infty $ and the primes dividing $Np$ , and let ${\mathbb Q}^{\Sigma }$ be the maximal extension of ${\mathbb Q}$ unramified outside $\Sigma $ .
Definition 7.5. For $\mathcal {L}\in \{\mathrm {bal},\mathcal {F}\}$ define the Selmer group
by
where
We call
(respectively,
) the balanced (respectively, f-unbalanced) Selmer group.
Remark 7.6. The pairs
satisfy the Panchishkin condition in [Reference GreenbergGre94]. Thus,
and
may be viewed as instances of Greenberg’s Selmer groups attached to different ranges of critical specialisations of
.
Let
Then for $\mathcal {L}\in \{\operatorname {\mathrm {bal}},\mathcal {F}\}$ , we define the Selmer groups
as above, taking
to be the orthogonal complement of
under the local Tate duality
and set
In light of Remark 7.6, the next conjecture may be viewed as an instance of the Iwasawa–Greenberg main conjectures [Reference GreenbergGre94]. In the two formulations below, we also assume conditions (b) and (c) from Theorem 7.1, so that the p-adic L-function $L_p({\mathbf {f}},g,h)$ in (7.2) is defined.
Conjecture 7.7 (IMC ‘with p-adic L-functions’).
The modules
and
are both $\Lambda _{{\mathbf {f}}}$ -torsion, and
in $\Lambda _{{\mathbf {f}}}\otimes _{{\mathbb Z}_p}{\mathbb Q}_p$ .
Remark 7.8. An integral formulation of the equality of ideals in Conjecture 7.7 would, in general, involve certain Tamagawa factors, accounting for the fact that the construction of $L_p({\mathbf {f}},g,h)$ uses Hida’s congruence number, while, by definition, the classes in the Selmer group are trivial at the places $v\in \Sigma \smallsetminus \{p,\infty \}$ , rather than just unramified (cf. [Reference Pollack and WestonPW11]).
Under the local root number hypothesis (b) in Theorem 7.1, for all arithmetic point $x\in \mathcal W_{\Lambda _{\mathbf {f}}}(\overline {\mathbb {Q}}_p)$ of even weight $k\geq 2$ with $l-m<k<l-m$ , the sign in the functional equation for is $-1$ , so that the central value vanishes. Therefore, in the spirit of Perrin-Riou’s main conjecture [Reference Perrin-RiouPR87, Conjecture B] in the setting of Heegner points, a natural formulation of the Iwasawa main conjecture for takes the following form.
Note that it follows from [Reference Bertolini, Seveso and VenerucciBSV22, Corollary 8.2] that $\kappa ({\mathbf {f}},g,h)$ lands in .
Conjecture 7.9 (IMC ‘without p-adic L-functions’).
Suppose
is not $\Lambda _{{\mathbf {f}}}$ -torsion. Then the modules
and
have both rank one, and
in $\Lambda _{{\mathbf {f}}}\otimes _{{\mathbb Z}_p}{\mathbb Q}_p$ , where the subscript $\mathrm {tors}$ denotes the $\Lambda _{{\mathbf {f}}}$ -torsion submodule.
Remark 7.10. Working under different hypotheses on the local signs ensuring that has sign $+1$ (rather than $-1$ ) for weights $k\geq 2$ with $l-m<k<l-m$ , the Iwasawa main conjecture would relate the characteristic ideal of to the balanced triple product p-adic L-function constructed in [Reference HsiehHsi21, Theorem B] (see also [Reference Greenberg and SevesoGS20]), rather than diagonal classes. In this setting, the f-unbalanced Selmer group should have $\Lambda _{{\mathbf {f}}}$ -rank one, but the expected nontorsion Selmer class seems to not have been constructed yet.
7.4 Equivalence of the formulations
In this subsection, we show that the two formulations of the Iwasawa main conjecture in the previous subsection are essentially equivalent, focusing on the case where ${\mathbf {f}}$ is a CM Hida familyFootnote 1 as in Section 6. Similar equivalences between IMC ‘with’ and ‘without’ p-adic L-functions appear in [Reference KatoKat04, Section 17], [Reference Kings, Loeffler and ZerbesKLZ17, Section 11] and, in a setting more germane to ours, [Reference WanWan20] and [Reference CastellaCas17, Appendix].
The following intermediate Selmer groups will allow us to bridge between
and
in the comparison. Set
which are $G_{{\mathbb Q}_p}$ -stable $\Lambda _{\mathbf {f}}$ -submodules of
of ranks $3$ and $5$ , respectively. Define
for $\mathcal {L}\in \{\mathcal F\cap +,\mathcal {F}\cup +\}$ by the same recipe as in Definition 7.5, with
We define the Selmer groups
and
taking
and
to be the orthogonal complements of
and
, respectively. As in the preceding section, we also define the corresponding
and
.
Throughout this subsection, we keep the setting from Section 6. In particular, ${\mathbf {f}}\in \Lambda _{{\mathbf {f}}}[[q]]$ is the CM Hida family in (6.2) associated with the Hecke character $\psi $ of conductor $\mathfrak {f}$ . In addition, we assume conditions (b) and (c) from Theorem 7.1, so the p-adic L-function $L_p({\mathbf {f}},g,h)\in \Lambda _{{\mathbf {f}}}$ is defined, and let be as above.
For every height one prime $\mathfrak {Q}$ of $\Lambda _{{\mathbf {f}}}$ away from p, let $S_{\mathfrak {Q}}$ be the integral closure of $\Lambda _{{\mathbf {f}}}/\mathfrak {Q}$ , and let $\Phi _{\mathfrak {Q}}$ be the fraction field of $S_{\mathfrak Q}$ . Let be the extension of scalars of to $S_{\mathfrak Q}$ , and let . Following [Reference Mazur and RubinMR04], define
and let be the associated Selmer group. Taking to be the orthogonal complement of under local Tate duality, we define the Selmer group similarly.
Define $\mathbb {V}_{g,h}^{\psi }=\Lambda _{\mathcal {O}}(\boldsymbol {\kappa }_{\text {ac}}^{-1})\hat {\otimes }_{\mathcal {O}} T_{g,h}^{\psi }(\kappa _{\operatorname {\mathrm {ac}}}^{r_1/2})$ , and let $\mathbb {A}_{g,h}^{\psi }=\operatorname {\mathrm {Hom}}((\mathbb {V}_{g,h}^{\psi })^c,\mu _{p^{\infty }})$ , where $(\mathbb {V}_{g,h}^{\psi })^c$ denotes $\mathbb {V}_{g,h}^{\psi }$ with the $G_K$ -action twisted by complex conjugation. Note that , so we can define Selmer conditions for $\mathbb {V}_{g,h}^{\psi }$ using Shapiro’s lemma and for $\mathbb {A}_{g,h}^{\psi }$ by duality. Define $\mathbb {A}_{g,h,\mathfrak {Q}}^{\psi }=\operatorname {\mathrm {Hom}}((\mathbb {V}_{g,h,\mathfrak {Q}}^{\psi })^c,\mu _{p^{\infty }})$ . We have natural maps
preserving both the $G_K$ and the $\Lambda $ -modules structure in the same way as in [Reference HowardHow04, p. 1461]. Note that in the quotient $\mathbb V_{g,h}^{\psi }/\mathfrak {Q}\mathbb V_{g,h}^{\psi }$ and in the submodule ${\mathbb A}_{g,h}^{\psi }[\mathfrak {Q}]$ , we can define Selmer conditions by propagating the balanced conditions for $\mathbb V_{g,h}^{\psi }$ and ${\mathbb A}_{g,h}^{\psi }$ , respectively, and we denote these conditions in the same way.
Lemma 7.11. For every height one prime $\mathfrak {Q}\subset \Lambda _{{\mathbf {f}}}$ as above and every place v of K, the maps (7.6) induce natural maps
with finite kernel and cokernel, of order bounded by constants depending only on $[S_{\mathfrak {Q}}:\Lambda _{{\mathbf {f}}}/\mathfrak {Q}]$ .
Proof. For the primes $v\nmid p$ , the same argument as in the proof of [Reference Mazur and RubinMR04, Lemma 5.3.13] applies, so it remains to consider the case $v\mid p$ . Put
Under the isomorphism coming from Shapiro’s lemma, the balanced local condition corresponds to
Let $A_g^-=T_g^-\otimes \mathbb {Q}_p/\mathbb {Z}_p$ , and define $A_g^+$ , $A_h^-$ and $A_h^+$ similarly. Arguing as in the proof of [Reference HowardHow04, Lemma 2.2.7], we reduce to showing that the groups
are both finite, which follows from the fact that $\alpha _g\alpha _h\psi (\mathfrak {p})/p^{k-1}\neq 1$ and $\beta _g\alpha _h\psi (\overline {\mathfrak {p}})\neq 1$ , and this is a consequence of the Ramanujan–Petersson conjecture since we are assuming that $p\nmid N$ . Note that the other pieces in the quotient decomposition can be treated similarly. This yields the required bounds on the kernel and cokernel of the first map in the statement of the lemma, and the result for the second map follows as well by local duality.
Let $\Sigma _{\Lambda }$ be the set of height one primes of $\Lambda _{{\mathbf {f}}}$ consisting of p and those for which either is infinite or is infinite. Since and are both finitely generated $\Lambda $ -modules, the set $\Sigma _{\Lambda }$ is finite.
Proposition 7.12. For every height one prime $\mathfrak {Q}\not \in \Sigma _{\Lambda }$ , the maps (7.6) induce natural maps
with finite kernel and cokernel bounded by a constant depending only on $[S_{\mathfrak {Q}}:\Lambda _{{\mathbf {f}}}/\mathfrak {Q}]$ .
Proof. This follows from Lemma 7.11 as in the proof of [Reference Mazur and RubinMR04, Proposition 5.3.14] (see also [Reference HowardHow04, Lemma 2.2.8] and [Reference HowardHow07, Lemma 3.2.10]).
For every height one prime $\mathfrak {Q}\subset \Lambda _{{\mathbf {f}}}$ as above, let $\mathfrak {m}_{\mathfrak {Q}}=(\pi _{\mathfrak {Q}})$ be the maximal ideal of $S_{\mathfrak {Q}}$ .
Lemma 7.13. Assume that there is a perfect pairing $T_{g,h}^{\psi }\times T_{g,h}^{\psi }\rightarrow \mathcal {O}(1)$ , such that $\langle x^{\sigma },y^{c\sigma c}\rangle =\langle x,y\rangle ^{\sigma }$ for all $x,y\in T_{g,h}^{\psi }$ and for all $\sigma \in G_K$ , where c stands for complex conjugation. The following hold:
-
(1) ,
-
(2) ,
-
(3) and
in $\Lambda _{{\mathbf {f}}}\otimes _{\mathbb {Z}_p}\mathbb {Q}_p$ .
Proof. For part (1), it suffices to show that for all height one primes $\mathfrak {Q}\subset \Lambda _{{\mathbf {f}}}$ with $\mathfrak {Q}\not \in \Sigma _{\Lambda }$ , the modules and have the same rank over $\Lambda _{{\mathbf {f}}}/\mathfrak {Q}$ . Since is the $\pi _{\mathfrak Q}$ -adic Tate module of (indeed, this is a consequence of [Reference HowardHow04, Lemma 1.3.3] since ), the result thus follows from Proposition 7.12.
For part (2), under the isomorphism , the f-unbalanced local condition corresponds to
and hence an analogue of Lemma 7.11 for the f-unbalanced Selmer groups follows from the finiteness of $H^0(K_{\infty ,\overline {\mathfrak {p}}},A_g\otimes A_h(\psi _{\mathfrak {P}}^{-1}\kappa _{\operatorname {\mathrm {ac}}}^{r_1/2})(-1-r))$ . By the same reason as above, this yields the equality of ranks in part (2).
Finally, for the proof of part (3), we can argue similarly as in [Reference Agboola and HowardAH06, Theorem 1.2.2]. Keeping with the above notations, let
and
be the Selmer groups defined by the obvious analogues of (7.5), so from another application of the argument in Lemma 7.11, we obtain natural maps
with finite kernel and cokernel bounded by a constant depending only on $[S_{\mathfrak {Q}}:\Lambda _{{\mathbf {f}}}/\mathfrak {Q}]$ . Since the local condition $\mathcal {F}\cap +$ is the orthogonal complement of $\mathcal {F}\cup +$ under the local Tate pairing at p induced by the self-duality of
, from [Reference Mazur and RubinMR04, Theorem 4.1.13], we obtain
for all i, where r is given (by the Greenberg–Wiles formula in [Reference Mazur and RubinMR04, Proposition 2.3.5]) by
so $r=5-4=1$ . The proof of part (3) now follows from (7.7) as in [Reference Agboola and HowardAH06, Lemma 1.2.6].
Remark 7.14. The existence of the pairing in the previous lemma is not too restrictive. In particular, this holds automatically if g and h are non-Eisenstein.
We are now ready to establish that both formulations of the Iwasawa main conjecture are equivalent.
Theorem 7.15. Keep the assumptions of the previous lemma and suppose $\kappa ({\mathbf {f}},g,h)$ is not $\Lambda _{{\mathbf {f}}}$ -torsion. Then the following are equivalent:
-
(1) ;
-
(2) ;
and, in that case, we have
and
in $\Lambda _{{\mathbf {f}}}\otimes _{\mathbb {Z}_p}\mathbb {Q}_p$ . In particular, Conjectures 7.7 and 7.9 are equivalent.
Proof. The Poitou–Tate global duality gives rise to the exact sequence
Assume that and have both $\Lambda _{{\mathbf {f}}}$ -rank one. Since $H^1({\mathbb Q}_p, \mathbb V_{{\mathbf {f}}}^{gh})$ has $\Lambda _{{\mathbf {f}}}$ -rank one, from (7.8) and Theorem 7.4, we see that is $\Lambda _{\mathbf {f}}$ -torsion and has $\Lambda _{\mathbf {f}}$ -rank one. By Lemma 7.13(3), it follows that is $\Lambda _{{\mathbf {f}}}$ -torsion, and from the exact sequence
we get that and are both $\Lambda _{{\mathbf {f}}}$ -torsion by Lemma 7.13(2). This proves the implication $\mathrm {(1)}\Rightarrow \mathrm {(2)}$ in the statement of the theorem, and the converse is shown similarly. Moreover, from (7.9), we see that , and hence the quotient is a torsion $\Lambda _{{\mathbf {f}}}$ -module injecting into ; since this is $\Lambda _{\mathbf {f}}$ -torsion free by Proposition 7.3, it follows that
Now suppose that either (1) or (2) in the statement of theorem holds. Since $\bar {\rho }_{{\mathbf {f}}}$ is absolutely irreducible by our hypotheses, the module
is $\Lambda _{{\mathbf {f}}}$ -torsion free by [Reference Perrin-RiouPR00, Section 1.3.3]. Being $\Lambda _{{\mathbf {f}}}$ -torsion, it follows that the module
vanishes, and therefore from (7.8), we deduce the exact sequence
Together with Theorem 7.4, it follows that
On the other hand, in light of (7.10), from (7.8) and (7.9), we deduce exact sequences
Taking characteristic ideals, these imply
using Lemma 7.13(3) for the second equality. Multiplying (7.13) by the square of a generator of the characteristic ideal of
and using (7.12), the result follows.
8 Anticyclotomic Euler systems
In this section, we highlight results from the recent work of Jetchev–Nekovář–Skinner [Reference Jetchev, Nekovář and SkinnerJNS], where a general theory of Euler systems germane to [Reference RubinRub00] is developed in the anticyclotomic setting.
8.1 The general theory
Let K be an imaginary quadratic field, and let p be an odd prime. If $\mathfrak {n}$ is an integral prime ideal of K, we denote by $K(\mathfrak {n})^{\circ }$ the ray class field of conductor $\mathfrak {n}$ ; as in the previous sections, we write $K(\mathfrak {n})$ for the maximal p-subextension in $K(\mathfrak {n})^{\circ }$ . For any positive integer n, we denote by $K[n]$ the maximal p-subextension in the ring class field of K of conductor n. We denote by $K_{\infty }$ the anticyclotomic $\mathbb {Z}_p$ -extension of K.
Let E be a finite extension of ${\mathbb Q}_p$ with ring of integers $\mathcal O$ and maximal ideal $\mathfrak m$ . Let T be a free $\mathcal {O}$ -module of finite rank endowed with a continuous $G_K$ -action unramified outside a finite set of primes, and let $V=T\otimes _{\mathcal {O}}E$ . Assume that there exists a nondegenerate symmetric $\mathcal O$ -bilinear pairing
such that $\langle x^{\sigma },y^{c\sigma c}\rangle =\langle x,y\rangle ^{\sigma }$ for all $x,y\in T$ and $\sigma \in G_K$ , where c is complex conjugation. Thus, $V^c\simeq V^{\vee }(1)$ , where $V^c$ denotes the representation V with the $G_K$ -action twisted by c, and, if the above pairing is perfect, we also have $T^c\simeq T^{\vee }(1)$ . We also define the $G_K$ -module $A=V/T$ .
If L is a finite extension of K and v is a finite place of L, we write $\overline {v}=v^c$ . Then, the pairing above induces a local pairing
and similarly replacing V by T and E by $\mathcal {O}$ . The pair of compatible maps $G_{L_{v}}\rightarrow G_{L_{\overline {v}}}$ and $V\rightarrow V^c$ defined by $\sigma \mapsto c\sigma c$ and $w\mapsto w$ , respectively, induces an isomorphism $H^1(L_{\overline {v}},V)\cong H^1(L_v,V^c)\cong H^1(L_v, V^{\vee }(1))$ , whereby the above local pairing is just the natural cup-product pairing.
For the results we shall discuss, we consider two different types of ‘big image’ hypotheses, (HW) for the weaker ones, and (HS) for the stronger ones.
Hypothesis (HW).
-
(1) V is absolutely irreducible as a $G_K$ -representation.
-
(2) There exists an element $\sigma _0 \in \mathrm {Gal\,}(\bar K/K(1)^{\circ } K(\mu _{p^{\infty }}))$ , such that the E-dimension of $V/(\sigma _0-1)V$ is one.
Hypothesis (HS).
-
(1’) The residual representation $\bar T = T/\mathfrak m T$ is absolutely irreducible.
-
(2’) There exists an element $\sigma _0 \in \mathrm {Gal\,}(\bar K/K(p^{\infty })^{\circ })$ , such that $T/(\sigma _0-1)T \simeq \mathcal O$ is a free $\mathcal O$ -module of rank one.
-
(3’) There exists an element $\tau _0 \in G_K$ , such that $\tau _0-1$ acts on T as multiplication by a unit $a_{\tau _0}\in \mathcal {O}^{\times }$ with $a_{\tau _0}-1\in \mathcal O^{\times }$ .
-
(4’) The above pairing $T \times T \longrightarrow \mathcal O(1)$ is perfect.
For each prime $\mathfrak {p}$ of K above p, choose a $G_{K_{\mathfrak {p}}}$ -stable $\mathcal {O}$ -submodule $\mathcal {F}_{\mathfrak {p}}^+(T)$ of T, and let $\mathcal {F}_{\mathfrak {p}}^-(T)=T/\mathcal {F}_{\mathfrak {p}}^+(T)$ . We also define $\mathcal {F}_{\mathfrak {p}}^+(V)=\mathcal {F}_{\mathfrak {p}}^+(T)\otimes _{\mathcal {O}}E\subseteq V$ and $\mathcal {F}_{\mathfrak {p}}^-(V)=V/\mathcal {F}_{\mathfrak {p}}^+(V)$ . Let L be a finite extension of K. For each place v of L, we define a local condition
We define the Greenberg Selmer group
where the product is over all finite places of L.
We also define local conditions for T and A by propagation of the local conditions for V, that is, for each place v of L, we define
-
• $H^1_{\operatorname {\mathrm {Gr}}}(L_v,T)$ as the preimage of $H^1_{\operatorname {\mathrm {Gr}}}(L_v,V)$ by the map $H^1(L_v,T)\rightarrow H^1(L_v,V)$ , and
-
• $H^1_{\operatorname {\mathrm {Gr}}}(L_v,A)$ as the image of $H^1_{\operatorname {\mathrm {Gr}}}(L_v,V)$ by the map $H^1(L_v,V)\rightarrow H^1(L_v,A)$ ,
and use these to define the Selmer groups $\mathrm {Sel}_{\operatorname {\mathrm {Gr}}}(L,T)$ and $\mathrm {Sel}_{\operatorname {\mathrm {Gr}}}(L,A)$ as above. Finally, for each positive integer n, we also put
where the limits are with respect to the corestriction and restriction maps, respectively, and we define
Let $\mathcal {N}$ be an ideal of K divisible by p and all the primes at which T is ramified, and let $\mathcal {S}$ be the set of all squarefree products of primes of $\mathbb {Q}$ which split in K and are coprime to $\mathcal {N}$ .
Definition 8.1. A ‘split’ anticyclotomic Euler system for $(T,\{\mathcal {F}_{\mathfrak {p}}^+(T)\}_{\mathfrak {p}\mid p},\mathcal {N})$ is a collection of classes
such that, whenever q is a rational prime and $n,nq\in \mathcal {S}$ ,
where $\mathfrak {q}$ is any of the primes of K above q and $P_{\mathfrak {q}}(X)=\det (1-\mathrm {Fr}_{\mathfrak {q}}^{-1}X\vert T^{\vee }(1))$ .
Similarly, a ‘split’ $\Lambda $ -adic anticyclotomic Euler system for $(T,\{\mathcal {F}_{\mathfrak {p}}^+(T)\}_{\mathfrak {p}\mid p},\mathcal {N})$ is a collection of classes
satisfying the previous norm relations. In this case, the classes
form an anticyclotomic Euler system in the previous sense, and we say that the Euler system $\boldsymbol {\kappa }=\{\kappa _n\}_n$ extends along the anticyclotomic $\mathbb {Z}_p$ -extension.
A ( $\Lambda $ -adic) anticyclotomic Euler system for $(T,\{\mathcal {F}_{\mathfrak {p}}^+(T)\}_{\mathfrak {p}\mid p})$ is just a ( $\Lambda $ -adic) anticyclotomic Euler system for $(T,\{\mathcal {F}_{\mathfrak {p}}^+(T)\}_{\mathfrak {p}\mid p},\mathcal {N})$ for some $\mathcal {N}$ as above. We shall usually drop $\{\mathcal {F}_{\mathfrak {p}}^+(T)\}_{\mathfrak {p}\mid p}$ if there is no risk of confusion.
If $\boldsymbol {\kappa }$ is an anticyclotomic Euler system for T, we define
If it extends along the anticyclotomic $\mathbb {Z}_p$ -extension, we similarly define
where $\boldsymbol {\kappa }_{\infty }=\{\kappa _{n,\infty }\}$ is the $\Lambda $ -adic anticyclotomic Euler system extending $\boldsymbol {\kappa }$ .
When we have an Euler system as above, we will be interested in ensuring that the following orthogonality hypothesis holds.
Hypothesis (HO).
For all $n\in \mathcal {S}$ and for all places v of $K[n]$ above p, the local conditions $H^1_{\operatorname {\mathrm {Gr}}}(K[n]_v,V)$ and $H^1_{\operatorname {\mathrm {Gr}}}(K[n]_{\overline {v}},V)$ are orthogonal complements under the local pairing
Remark 8.2. The condition in hypothesis (HO) holds automatically for all places away from p, by [Reference RubinRub00, Proposition 1.4.2]. Observe also that if (HO) holds, then for all $n\in \mathcal {S}$ and for all places v of $K[n]$ , the local conditions $H^1_{\operatorname {\mathrm {Gr}}}(K[n]_v,T)$ and $H^1_{\operatorname {\mathrm {Gr}}}(K[n]_{\overline {v}},T)$ are also orthogonal complements under the local pairing
as follows easily from the definitions using [Reference RubinRub00, Proposition B.2.4] and the commutative diagram
We assume in the rest of this subsection that hypothesis (HO) holds for our choice of local conditions at p.
Theorem 8.3 [Reference Jetchev, Nekovář and SkinnerJNS].
Assume that p splits in K and that Hypothesis (HW) is satisfied, and let $\boldsymbol {\kappa }=\{\kappa _n\}_n$ be an anticyclotomic Euler system for T which extends along the anticyclotomic $\mathbb {Z}_p$ -extension. If $\kappa _0 \neq 0$ , then the Selmer group $\mathrm {Sel}_{\operatorname {\mathrm {Gr}}}(K,T)$ has $\mathcal {O}$ -rank one.
Remark 8.4. One can replace the assumptions that p splits in K and the Euler system extends along the anticyclotomic $\mathbb {Z}_p$ -extension by the assumption that there exists an element $\gamma \in G_K$ fixing the extension $K(1)^{\circ } (\mu _{p^{\infty }},(\mathcal {O}_K^{\times })^{1/p^{\infty }})$ and such that $\gamma -1$ acts invertibly on V.
Under the stronger Hypothesis (HS), granted the nontriviality of a $\Lambda $ -adic anticyclotomic Euler system, the results of [Reference Jetchev, Nekovář and SkinnerJNS] yield a divisibility towards a corresponding Iwasawa main conjecture.
Theorem 8.5 [Reference Jetchev, Nekovář and SkinnerJNS].
Assume that p splits in K and that Hypothesis (HS) is satisfied, and let $\boldsymbol {\kappa }$ be a $\Lambda $ -adic anticyclotomic Euler system for T.
-
(a) If $\kappa _0\neq 0$ , then $\mathrm {Sel}_{\operatorname {\mathrm {Gr}}}(K,A)$ has $\mathcal {O}$ -corank one, $\mathrm {Sel}_{\operatorname {\mathrm {Gr}}}(K,T)$ has $\mathcal {O}$ -rank one and
$$\begin{align*}\mathrm{length}_{\mathcal{O}}(\mathrm{Sel}_{\operatorname{\mathrm{Gr}}}(K,A)_{/\mathrm{div}})\leq 2\;\mathrm{length}_{\mathcal O}\left(\frac{\mathrm{Sel}_{\operatorname{\mathrm{Gr}}}(K,T)}{\mathcal O \cdot \kappa_0}\right), \end{align*}$$where $(-)_{/\mathrm {div}}$ denotes the quotient of $(-)$ by its maximal divisible submodule.
-
(b) If $\kappa _{\infty }$ is not $\Lambda _{\operatorname {\mathrm {ac}}}$ -torsion, then $X_{\operatorname {\mathrm {Gr}}}(K_{\infty },A)$ and $\mathrm {Sel}_{\operatorname {\mathrm {Gr}}}(K_{\infty },T)$ have both $\Lambda _{\operatorname {\mathrm {ac}}}$ -rank one, and
$$\begin{align*}\operatorname{\mathrm{Char}}_{\Lambda_{\operatorname{\mathrm{ac}}}}(X_{\operatorname{\mathrm{Gr}}}(K_{\infty},A)_{\operatorname{\mathrm{tors}}})\supset\operatorname{\mathrm{Char}}_{\Lambda_{\operatorname{\mathrm{ac}}}} \left( \frac{\mathrm{Sel}_{\operatorname{\mathrm{Gr}}}(K_{\infty},T)}{\Lambda_{\operatorname{\mathrm{ac}}} \cdot \kappa_{\infty}} \right)^2, \end{align*}$$where $(-)_{\mathrm {tors}}$ denotes the maximal $\Lambda _{\operatorname {\mathrm {ac}}}$ -torsion submodule of $(-)$ .
8.2 Big image results
We now give conditions under which the hypotheses in the general results of Section 8.1 are verified in our setting. To that end, we shall build on [Reference LoefflerLoe17].
As before, let $K/\mathbb {Q}$ be an imaginary quadratic field of discriminant $-D$ , let $(g,h)$ be a pair of newforms of weights $(l, m)$ of the same parity, levels $(N_g,N_h)$ and characters $(\chi _g,\chi _h)$ , and let $\psi $ be a Grössencharacter of K of infinity type $(1-k,0)$ for some positive even integer k and of conductor $\mathfrak {f}$ . We denote by $\chi $ the unique Dirichlet character modulo $N_{K/{\mathbb Q}}(\mathfrak f)$ , such that $\psi ((n))=n^{k-1} \chi (n)$ for integers n coprime to $N_{K/{\mathbb Q}}(\mathfrak f)$ , and we assume that $\chi \varepsilon _K\chi _g\chi _h=1$ .
We now make the further assumptions that:
-
• neither g nor h are of CM type,
-
• g is not Galois-conjugate to a twist of h.
As in [Reference LoefflerLoe17, Section 3.1], we define the open subgroups $H_g$ and $H_h$ of $G_{\mathbb {Q}}$ , the quaternion algebras $B_g$ and $B_h$ and the algebraic groups $G_g$ and $G_h$ , and put
We define H to be the intersection of $H_g$ , $H_h$ and $G_{K(\mathfrak {f})^{\circ }}$ (note that in loc. cit., H is defined to be the intersection of $H_g$ and $H_h$ , so our H might be a finite index subgroup of his H, but this will not affect the results that follow). We have an adelic representation $\tilde {\rho }_{g,h}:H\rightarrow G(\hat {\mathbb {Q}})$ , and representations
for every rational prime p, and, by [Reference LoefflerLoe17, Theorem 3.2.2], $\tilde {\rho }_{g,h,p}(H)=G(\mathbb {Z}_p)$ for all but finitely many p.
Remark 8.6. Note that the representations studied in [Reference LoefflerLoe17] are the dual to the ones studied in this paper, but as pointed out in [Reference LoefflerLoe17, Remark 2.1.2], this difference is unimportant when considering the image.
Let L be a finite extension of K containing the Fourier coefficients of g and h and the image of $\psi $ . Let $\mathfrak {P}$ be a prime of L above some rational prime p, and let $E=L_{\mathfrak {P}}$ .
Definition 8.7. We say that the prime $\mathfrak {P}$ is good if the following conditions hold:
-
• $p\geq 7$ ;
-
• p is unramified in B;
-
• p is coprime to $\mathfrak {f}$ , $N_g$ and $N_h$ ;
-
• $\tilde {\rho }_{g,h,p}(H)=G(\mathbb {Z}_p)$ ;
-
• $E=\mathbb {Q}_p$ .
Remark 8.8. Observe that all but the last condition exclude only finitely many primes. The last condition could be somewhat relaxed in some cases, and will be used largely for simplicity. Note also that the above set of conditions holds for a set of primes of positive density.
From now on, we assume that both g and h are ordinary, non-Eisenstein and distinguished with respect to $\mathfrak {P}$ .
Lemma 8.9. Assume that there is at least one prime which divides D but not $N_g$ and one prime which divides D but not $N_h$ . Then, if $\mathfrak {P}$ is a good prime,
Proof. Let $\mathbb {Q}(\rho _g)$ and $\mathbb {Q}(\rho _h)$ be the Galois extensions of $\mathbb {Q}$ cut out by the representations $\rho _g$ and $\rho _h$ attached to g and h, respectively. These extensions are unramified outside $pN_g$ and $pN_h$ , respectively. Therefore, the condition on D implies that $K\cap \mathbb {Q}(\rho _g)=\mathbb {Q}$ and $K\cap \mathbb {Q}(\rho _h)=\mathbb {Q}$ . Moreover, since any Galois extension of $\mathbb {Q}$ contained in $K_{\infty }$ must itself contain K, we also have $K_{\infty }\cap \mathbb {Q}(\rho _g)=\mathbb {Q}$ and $K_{\infty }\cap \mathbb {Q}(\rho _h)=\mathbb {Q}$ .
The conditions on $\mathfrak {P}$ imply that
and, from the remarks in the previous paragraph, it follows that
Finally, since $H\cap G_{K(p^{\infty })^{\circ }}$ is a normal subgroup of $H\cap G_{K_{\infty }(\mu _{p^{\infty }})}$ of index dividing $p-1$ and there are no such subgroups in $\mathrm {SL}_2(\mathbb {Z}_p)\times \mathrm {SL}_2(\mathbb {Z}_p)$ , the lemma follows.
Now we are able to give conditions under which the results of [Reference Jetchev, Nekovář and SkinnerJNS] can be applied to our setting, that is, to the representation $T_{g,h}^{\psi }$ defined above.
Proposition 8.10. Assume that there is at least one prime which divides D but not $N_g$ and one prime which divides D but not $N_h$ . Let $\mathfrak {P}$ be a good prime. Suppose that there exists $\sigma \in G_{K(p^{\infty })^{\circ }}$ , such that $\psi _{\mathfrak {P}}(\sigma )\neq \psi _{\mathfrak {P}}^c(\sigma )$ modulo p. Then, hypotheses (HS) hold for $T_{g,h}^{\psi }$ .
Proof. Since $\psi _{\mathfrak {P}}$ is trivial when restricted to $H\cap G_{K(p^{\infty })^{\circ }}$ , condition (1’) follows easily from the previous lemma.
To prove condition (2’), we closely follow the proof of [Reference LoefflerLoe17, Proposition 4.2.1]. Write $\chi _g(\sigma )$ and $\chi _h(\sigma )$ for the images of $\sigma $ by $\chi _g$ and $\chi _h$ via the natural identifications $\mathrm {Gal\,}(\mathbb {Q}(\mu _{N_g})/\mathbb {Q})\cong (\mathbb {Z}/N_g\mathbb {Z})^{\times }$ and $\mathrm {Gal\,}(\mathbb {Q}(\mu _{N_h})/\mathbb {Q})\cong (\mathbb {Z}/N_h\mathbb {Z})^{\times }$ . Then, by the previous lemma, the image of $\sigma H\cap G_{K(p^{\infty })^{\circ }}$ under $\rho _{g,\mathfrak {P}}\times \rho _{h,\mathfrak {P}}$ contains all the elements of the form
Now choose $x\in \mathbb {Z}_p^{\times }$ , such that $x^{-2}\chi _g(\sigma )\neq 1\ \pmod p$ and $x^2\chi _h(\sigma )\psi _{\mathfrak {P}}(\sigma )^{-2}\neq 1\ \pmod p$ , which is possible since $p\geq 7$ , and let $y=x^{-1}\psi _{\mathfrak {P}}(\sigma )$ . Choose $\sigma _0\in \sigma H\cap G_{K(p^{\infty })^{\circ }}$ whose image under $\rho _{g,\mathfrak {P}}\times \rho _{h,\mathfrak {P}}$ is given by the element above, with the choices of x and y which we have just specified. Then, the eigenvalues of $\sigma _0$ acting on $T_{g,h}^{\psi }$ are 1, $x^{-2}\chi _g(\sigma )$ , $x^2\chi _h(\sigma )\psi _{\mathfrak {P}}(\sigma )^{-2}$ and $\psi _{\mathfrak {P}}^c(\sigma )\psi _{\mathfrak {P}}(\sigma )^{-1}$ , which proves condition (2’).
To check condition (3’), we can argue as in [Reference Kings, Loeffler and ZerbesKLZ17, Remark 11.1.3]. By the previous lemma, we can find an element $\tau _0\in H\cap G_{K(p^{\infty })^{\circ }}$ , such that
so $\tau _0$ acts on $T_{g,h}^{\psi }$ as multiplication by $-1$ .
Finally, condition (4’) follows from the assumption that g and h are non-Eisenstein and p-distinguished.
Remark 8.11. If we are just interested in ensuring that hypotheses (HW) hold for $T_{g,h}^{\psi }$ , we can relax some of the assumptions above. For example, we do not need to require g and h to be non-Eisenstein, and we can require that there exist $\sigma \in G_{K(1)^{\circ }(\mu _{p^{\infty }})}$ , such that $\psi _{\mathfrak {P}}(\sigma )\neq \psi _{\mathfrak {P}}^c(\sigma )$ , without requiring this inequality to hold modulo p.
9 Proof of Theorems B, C and D
Let the setting be as in the Introduction. In particular, $g\in S_l(N_g,\chi _g)$ and $h\in S_m(N_h,\chi _h)$ are newforms of weights $l \geq m \geq 2$ of the same parity, $K/\mathbb {Q}$ is an imaginary quadratic field of discriminant $-D<0$ , $\psi $ is a Grössencharacter for K of infinity type $(1-k,0)$ for some even integer $k\geq 2$ and we consider the $G_K$ -representation
where $c=(k+l+m-2)/2$ .
Lemma 9.1. The Bloch–Kato Selmer group of $V_{g,h}^{\psi }$ is given by
Proof. Note that by Shapiro’s lemma $H^1(K,V_{g,h}^{\psi })\cong H^1({\mathbb Q}, V_{fgh})$ , where $f=\theta _{\psi }$ is the theta series of $\psi $ , and $V_{fgh}$ is the specialisation of the big Galois representation in (7.1) to weights $(k,l,m)$ . One immediately checks that the Hodge–Tate weights of the $G_{\mathbb {Q}_p}$ -subrepresentation $\mathscr {F}^2V_{fgh}\subset V_{fgh}$ (respectively, $V_{fgh}^f\subset V_{fgh}$ ) are all $<0$ (with the p-adic cyclotomic character $\epsilon _{\mathrm cyc}$ having Hodge–Tate weight $-1$ ) if and only if $l-m<k<l+m$ (respectively, $k\geq l+m$ ). The result follows.
Here, we collect a set of hypotheses for our later reference. For any nonzero $m\in \mathbb {Z}$ , $\mathrm {prime}(m)$ denotes the set of primes that divide m, and $\mathrm {prime}^c(m)$ its complement.
Hypotheses 9.2.
-
(h1) g and h are ordinary at p, non-Eisenstein and p-distinguished.
-
(h2) p splits in K,
-
(h3) p does not divide the class number of K,
-
(h4) $\psi _{\mathfrak {P}}\vert _{G_{K(p^{\infty })^{\circ }}}\neq \psi _{\mathfrak {P}}^c\vert _{G_{K(p^{\infty })^{\circ }}}$ modulo p,
-
(h5) neither g nor h are of CM type,
-
(h6) g is not Galois-conjugate to a twist of h.
-
(h7) $\mathrm {prime}(D)\cap \mathrm {prime}^c(N_g)\neq \emptyset $ , and $\mathrm {prime}(D)\cap \mathrm {prime}^c(N_h)\neq \emptyset $ ,
-
(h8) $\mathfrak {P}$ is a good prime in the sense of Definition 8.7.
9.1 Proof of Theorem B
Let ${\kappa _{\psi ,g,h,1,\infty }}\in H^1_{\mathrm {Iw}}(K[p^{\infty }],T_{g,h}^{\psi })$ be the Iwasawa cohomology class of conductor $n=1$ from Theorem 6.5, and set
where ${\kappa _{\psi ,g,h,1}}=\mathrm {pr}_{K}({\kappa _{\psi ,g,h,1,\infty }})$ .
If $l-m<k<l+m$ , the next result recovers Theorem B in the Introduction. Note, however, that the result does not require these inequalities to hold.
Theorem 9.3. Assume hypotheses (h1)–(h8). Then the following implication holds:
In particular, if $l-m<k<l+m$ and ${\kappa _{\psi ,g,h}}\neq 0$ , then the Bloch–Kato Selmer group $\mathrm {Sel}(K,V^{\psi }_{g,h})$ is one-dimensional.
Proof. By Proposition 6.6, the classes ${\kappa _{\psi ,g,h,n}}:=\mathrm {pr}_{K[n]}({\kappa _{\psi ,g,h,n,\infty }})$ land in $\mathrm {Sel}_{\operatorname {\mathrm {bal}}}(K[n],T_{g,h}^{\psi })$ , and by Theorem 6.5, they form an anticyclotomic Euler system for $V_{g,h}^{\psi }$ . Therefore, the result follows from Theorem 8.3 and Proposition 8.10.
Remark 9.4. If $k=2$ and $l=m\geq 2$ , working with the classes ${\kappa _{\psi ,g,h,n}}$ from Theorem 4.6, rather than those from Theorem 6.5 as above, hypotheses (h2)–(h3) in Theorem 9.3 can be replaced by the assumption that there exists an element $\gamma \in G_K$ satisfying the conditions in Remark 8.4. Further, (h1) and (h4) can be relaxed as discussed in Remark 8.11.
9.2 Proof of Theorem C
Recall that $\theta _{\psi }\in S_k(N_{\psi },\chi \varepsilon _K)$ is the theta series attached to $\psi $ , and put $N=\operatorname {\mathrm {lcm}}(N_{\psi },N_g,N_h)$ .
The next theorem, establishing cases of the Bloch–Kato conjecture for $V_{g,h}^{\psi }$ in analytic rank zero, recovers Theorem C in the Introduction.
Theorem 9.5. Assume hypotheses (h1)–(h8), and, in addition, that:
-
• $\varepsilon _{\ell }(\theta _{\psi },g,h)=+1$ for all primes $\ell \mid N$ ,
-
• $\mathrm {gcd}(N_{\psi },N_g,N_h)$ is squarefree.
If $k\geq l+m$ , then the following implication holds:
Proof. We continue to denote by ${\kappa _{\psi ,g,h}}$ the image of the class in (9.1) under the isomorphism
coming from Shapiro’s lemma. If $k\geq l+m$ , the central value $L(V^{\psi }_{g,h},0)$ is in the range of interpolation of the triple product p-adic L-function of Theorem 7.1, and so by Proposition 7.3 and Theorem 7.4, its nonvanishing implies that the image of ${\kappa _{\psi ,g,h}}$ under the natural map
is nonzero. In particular, ${\kappa _{\psi ,g,h}}\neq 0$ , and therefore by Theorem 9.3, the balanced Selmer group $\mathrm {Sel}_{\operatorname {\mathrm {bal}}}(K,V_{g,h}^{\psi })=\mathrm {Sel}_{\operatorname {\mathrm {bal}}}({\mathbb Q},V_{fgh})$ is one-dimensional.
From the exact sequence
coming from global duality (adopting notations similar to those in Theorem 7.15), we thus see that $\mathrm {Sel}_{\mathcal F\cap +}({\mathbb Q},V_{fgh})=0$ and that $\mathrm {Sel}_{\mathcal F\cup +}({\mathbb Q},V_{fgh})=\mathrm {Sel}_{\operatorname {\mathrm {bal}}}({\mathbb Q},V_{fgh})$ . Together with the exact sequence
it follows that $\mathrm {Sel}_{\mathcal F}({\mathbb Q},V_{fgh})=0$ , and combined with Lemma 9.1, this concludes the proof.
Refining the proof of Theorem 9.5, we can further bound the size of the Bloch–Kato Selmer group for the discrete module $A_{g,h}^{\psi }=V^{\psi }_{g,h}/T^{\psi }_{g,h}$ in terms of L-values. For the statement, let ${\mathbf {f}}$ be the Hida family associated to $\psi $ as in Section 6, so that ${\mathbf {f}}_k$ is the ordinary p-stabilisation of $\theta _{\psi }$ , and, keeping with the notations in Theorem 7.1, put $\alpha _k=\psi (\overline {\mathfrak {p}})$ and $\beta _k=\psi (\mathfrak {p})$ . Let also $\varepsilon _{\ell }(\theta _{\psi },g,h)=\varepsilon _{\ell }(V_{f g h})$ denote the epsilon factor associated to $V_{fgh}\vert _{G_{\mathbb {Q}_{\ell }}}$ , where $f=\theta _{\psi }$ .
Theorem 9.6. Assume hypotheses (h1)–(h8), and, in addition, that:
-
• $\varepsilon _{\ell }(\theta _{\psi },g,h)=+1$ for all primes $\ell \mid N$ ,
-
• $\mathrm {gcd}(N_{\psi },N_g,N_h)$ is squarefree,
-
• $H^1(\mathbb {Q}_p, T_{f}^{gh})$ is torsion-free,
-
• $H^1_{\mathcal {L}}(\mathbb {Q}_p,T_{fgh})$ is torsion-free for $\mathcal {L}\in \{\operatorname {\mathrm {bal}},\mathcal {F},\mathcal {F}\cap +,\mathcal {F}\cup +\}$ .
If $k\geq l+m$ and $L(V^{\psi }_{g,h},0)\neq 0$ , then the $\mathcal {O}$ -module $\mathrm {Sel}_{\mathcal F}(K,A^{\psi }_{g,h})$ is finite and
where $\mathcal {E}_1({\mathbf {f}}_k)=\bigl (1-\frac {\beta _k}{p\alpha _k}\bigr )$ , $\mathcal {E}({\mathbf {f}}_k,g,h)=\bigl (1-\frac {\alpha _k\alpha _{g}\alpha _{h}}{p^{c}}\bigr )\bigl (1-\frac {\beta _k\beta _{g}\alpha _{h}}{p^{c}}\bigr )\bigl (1-\frac {\beta _k\alpha _{g}\beta _{h}}{p^{c}}\bigr )\bigl (1-\frac {\beta _k\beta _{g}\beta _{h}}{p^{c}}\bigr )$ and $c=(k+l+m-2)/2$ .
Proof. As in the proof of Theorem 9.5, if $k\geq l+m$ and $L(V^{\psi }_{g,h},0)\neq 0$ , then the class ${\kappa _{\psi ,g,h}}$ is nonzero. Since by Theorem 6.5 this is the bottom class of an anticyclotomic Euler system for $V_{gh}^{\psi }$ , from Theorem 8.5 and Proposition 8.10, we deduce that $\mathrm {Sel}_{\operatorname {\mathrm {bal}}}(K,A^{\psi }_{g,h})$ has $\mathcal {O}$ -corank one, with
By the exact sequence (7.8) specialised to weight k, it follows that $\mathrm {Sel}_{\mathcal F\cup +}(K,A_{g,h}^{\psi })$ has also $\mathcal {O}$ -corank one. Thus, both $\mathrm {Sel}_{\operatorname {\mathrm {bal}}}(K,T_{g,h}^{\psi })\subset \mathrm {Sel}_{\mathcal F\cup +}(K,T_{g,h}^{\psi })$ have ${\mathcal O}$ -rank one, and therefore
since their quotient is ${\mathcal O}$ -torsion free. Moreover, letting $\pi \in \mathcal {O}$ be a uniformiser, as in the proof of Lemma 7.13, we find that
for all i, and hence $\mathrm {length}_{{\mathcal O}}(\mathrm {Sel}_{\mathcal F\cup +}(K,A_{g,h}^{\psi })_{/\mathrm {div}})=\mathrm {length}_{{\mathcal O}}(\mathrm {Sel}_{\mathcal F\cap +}(K,A_{g,h}^{\psi }))$ .
The finiteness of $\mathrm {Sel}_{\mathcal F}(K,A_{g,h}^{\psi })$ with the stated bound on its ${\mathcal O}$ -length thus follows from (9.2) by the same argument as in the proof of Theorem 7.15, noting that by Theorem 7.4 and the same calculation as in [Reference Bertolini, Seveso and VenerucciBSV22, Section 8.5] (see especially, the equality following [op. cit., (189)]), the map
where $f=\theta _{\psi }$ and $\xi _k$ is the weight k specialisation of the congruence ideal generator $\xi \in \Lambda _{{\mathbf {f}}}$ , gives an isomorphism $H^1(\mathbb {Q}_p,T_{f}^{gh})\rightarrow {\mathcal O}$ taking ${\kappa _{\psi ,g,h}}$ to
where $\mathcal {E}_0({\mathbf {f}}_k)=\bigl (1-\frac {\beta _k}{\alpha _k}\bigr )$ is a p-adic unit.
More precisely, under the freeness assumption in the statement, the weight k specialisations of (7.8) and (7.9) yield the exact sequences
where the two terms $\mathrm {coker}(\mathrm {res}_p)$ are equal in light of (9.3). Thus, we find
where the third equality follows from (9.4) and Lemma 9.7 below, concluding the proof.
Lemma 9.7. Let $0\rightarrow A\xrightarrow {j} B\rightarrow C\rightarrow 0$ be an exact sequence of finitely generated ${\mathcal O}$ -modules, and assume that A is finite. Then $B_{\mathrm {tors}}/j(A)\cong C_{\mathrm {tors}}$ .
In particular, if $B', C'$ are cofinitely generated ${\mathcal O}$ -modules, and we have an exact sequence $0\rightarrow A\xrightarrow {j} (B')^{\vee }\rightarrow (C')^{\vee }\rightarrow 0$ with A finite, then
and so $\mathrm {lt}_{{\mathcal O}}((B^{\prime }_{/\mathrm {div}})^{\vee })=\mathrm {lt}_{{\mathcal O}}(A)+\mathrm {lt}_{{\mathcal O}}((C^{\prime }_{/\mathrm {div}})^{\vee })$ .
Proof. Writing $B\cong {\mathcal O}^r\oplus B_{\mathrm {tors}}$ , $C\cong {\mathcal O}^s\oplus C_{\mathrm {tors}}$ , we have, by the finiteness of A, $r=s$ and $j(A)\subset B_{\mathrm {tors}}$ , so
which implies the result.
Remark 9.8. The condition that $H^1(\mathbb {Q}_p,T_{f}^{gh})$ is torsion-free is equivalent to the vanishing of $H^0(\mathbb {Q}_p, A_{f}^{gh})$ , which is satisfied if $k+2\neq l+m$ modulo $2(p-1)$ or if $\chi _f(p)\alpha _g\alpha _h/\alpha _k\neq 1$ modulo p. Similarly, the last condition in the statement of Theorem 9.6 can be recast in terms of the vanishing of the corresponding $0$ -th cohomology groups.
Remark 9.9. By Theorem 7.1, the nonvanishing of $L(V^{\psi }_{g,h},0)$ implies that $\mathscr {L}_p^{\xi }(\underline {\breve {{\mathbf {f}}}},\underline {\breve {g}},\underline {\breve {h}})(x)\neq 0$ , so the upper bound provided by Theorem 9.6 is nontrivial. Moreover, by the interpolation formula in Theorem 7.1, this upper bound can be expressed in terms of the central L-value $L(V^{\psi }_{g,h},0)$ , thus giving a result towards the Tamagawa number conjecture of [Reference Bloch and KatoBK90].
9.3 Proof of Theorem D
As before, let ${\mathbf {f}}$ be the Hida family attached to $\psi $ as in Section 6. Let ${\kappa _{\psi ,g,h,1,\infty }}$ be the $\Lambda $ -adic class of conductor $n=1$ constructed in Theorem 6.5, and set
As noted before the proof of Proposition 6.6, under the Shapiro isomorphism
the balanced Selmer group
of Section 7.3 is identified with the Greenberg Selmer group $\mathrm {Sel}_{\mathrm {Gr}}(K_{\infty },T^{\psi }_{g,h})$ of Section 8.1 attached to $G_{K_v}$ -invariant subspaces $\mathcal {F}_v^+(V_{g,h}^{\psi })\subset V_{g,h}^{\psi }$ in (4.1) at the primes $v\mid p$ . Moreover, under this isomorphism, the class $\kappa ({\mathbf {f}},g,h)$ in Section 7.2 corresponds to the class ${\kappa _{\psi ,g,h,\infty }}$ .
The next result, establishing one of the divisibilities predicted by the Iwasawa main conjectures from Section 7.3, recovers Theorem D in the Introduction.
Theorem 9.10. Assume hypotheses (h1)–(h8), and, in addition, that:
-
• $\varepsilon _{\ell }(\theta _{\psi },g,h)=+1$ for all primes $\ell \mid N$ ,
-
• $\mathrm {gcd}(N_{\psi },N_g,N_h)$ is squarefree.
If $\kappa ({\mathbf {f}},g,h)$ is not $\Lambda _{{\mathbf {f}}}$ -torsion, then the following hold:
-
(a) The modules and have both $\Lambda _{{\mathbf {f}}}$ -rank one and
-
(b) The modules and are both $\Lambda _{{\mathbf {f}}}$ -torsion and
in $\Lambda _{{\mathbf {f}}}\otimes _{{\mathbb Z}_p}{\mathbb Q}_p$ .
Proof. The nontriviality assumption on $\kappa ({\mathbf {f}},g,h)$ implies that ${\kappa _{\psi ,g,h,\infty }}$ is not $\Lambda _{{\mathbf {f}}}$ -torsion. Since, by Theorem 6.5, the class ${\kappa _{\psi ,g,h,\infty }}$ is the bottom class of a $\Lambda $ -adic Euler system for $V_{g,h}^{\psi }$ , part (a) follows from Theorem 8.5 and Proposition 8.10. By Theorem 7.15, part (b) of the theorem follows from part (a), so this concludes the proof.
Acknowledgments
It is a pleasure to thank Chris Skinner, as well as Kâzim Büyükboduk, Daniel Disegni, Ming-Lun Hsieh, Antonio Lei, Victor Rotger and Shou-Wu Zhang, for several helpful conversations related to this work. This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 682152). During the preparation of this paper, F.C. was partially supported by the National Science Foundation (NSF) grants DMS-1946136 and DMS-2101458; O.R. was supported by a Royal Society Newton International Fellowship and by ‘la Caixa’ Foundation (grant LCF/BQ/ES17/11600010).
Competing interest
None.