2.1 Shimura curves and local system

Let N be a positive integer with a factorisation $N=N^{+}N^{-}$ with $N^{+}$ and $N^{-}$ coprime to each other. We assume that $N^{-}$ is square-free and is a product of even number of primes. Let $B^{\prime }$ be the indefinite quaternion algebra over $\mathbf {Q}$ with discriminant $N^{-}$ . Let $\mathcal {O}_{B^{\prime }}$ be a maximal order of $B^{\prime }$ and let $\mathcal {O}_{B^{\prime }, N^{+}}$ be the Eichler order of level $N^{+}$ in $\mathcal {O}_{B^{\prime }}$ . We define $G^{\prime }$ to be the algebraic group over $\mathbf {Q}$ given by $B^{\prime \times }$ and let $K^{\prime }_{N^{+}}$ be the open compact subgroup of $G^{\prime }(\mathbf {A}^{(\infty )})$ defined by $\widehat {\mathcal {O}}^{\times }_{B^{\prime }, N^{+}}$ . Let $X=X^{B^{\prime }}_{N^{+}, N^{-}}$ be the Shimura curve over $\mathbf {Q}$ with level $K^{\prime }=K^{\prime }_{N^{+}}$ . The complex points of this curve are given by the following double coset:

$$ \begin{align*} X(\mathbf{C})=G^{\prime}(\mathbf{Q})\backslash \mathcal{H}^{\pm} \times G^{\prime}(\mathbf{A}^{(\infty)})/K^{\prime}. \end{align*} $$

We consider the functor $\mathfrak {X}$ on schemes over ${\mathbf {Z}}[1/N]$ which gives the following moduli problem. Let S be a test scheme over ${\mathbf {Z}}[1/N]$ ; then $\mathfrak {X}(S)$ classifies the triple $(A, \iota , C)$ up to isomorphism where

1. (1) A is an S-abelian scheme of relative dimension $2$ ;

2. (2) $\iota : \mathcal {O}_{B^{\prime }}\hookrightarrow \operatorname {\mathrm {End}}_{S}(A)$ is an embedding;

3. (3) C is an $\mathcal {O}_{B^{\prime }}$ -stable locally cyclic subgroup of $A[N^{+}]$ of order $(N^{+})^{2}$ .

It is well-known this moduli problem is coarsely representable by a projective scheme $\mathfrak {X}$ over ${\mathbf {Z}}[1/N]$ of relative dimension $1$ . Let l be a distinguished rational prime such that $l\nmid N$ and $k<l-1$ . We let $\Lambda ={\mathbf {Z}}/l^{n}$ for some $n\geq 1$ or a finite extension of ${\mathbf {Z}}_{l}$ . Then we define $\mathcal {L}^{\prime }_{k-2}(\Lambda )$ to be the local system given by the composite map

(2.1) $$ \begin{align} \pi^{\mathrm{alg}}_{1}(X)\rightarrow K^{\prime}\rightarrow \mathcal{O}^{\times}_{B^{\prime}, l}\cong \mathrm{GL}_{2}({\mathbf{Z}}_{l})\rightarrow \mathrm{GL}_{k+1}({\mathbf{Z}}_{l}). \end{align} $$

To rigidify the moduli problem $\mathfrak {X}$ , we choose an auxiliary square-free integer $d\geq 5$ that is prime to $Nl$ and add a full level-d structure to the above moduli problem; that is, we add the following data to the above moduli problem: let

(2.2) $$ \begin{align} \nu_{d}: (\mathcal{O}_{B^{\prime}}/d)_{S}\rightarrow A[d] \end{align} $$

be an isomorphism of $\mathcal {O}_{B^{\prime }}$ -stable group schemes. By forgetting the data $\nu _{d}$ , we have a natural map $c_{d}: \mathfrak {X}_{d}\rightarrow \mathfrak {X}$ which is Galois with covering group $G_{d}:=(\mathcal {O}_{B^{\prime }}/d)^{\times }/\{\pm 1\}$ . Then this new moduli problem is representable by a projective scheme $\mathfrak {X}_{d}$ over ${\mathbf {Z}}[1/Nd]$ of relative dimension $1$ . We will set

$$ \begin{align*} K^{\prime}_{d}=\{g=(g_{v})_{v}\in K^{\prime}: g_{v}\equiv \begin{pmatrix}1&0\\0& 1\end{pmatrix} \mod v \text{ for all } v\mid d\}. \end{align*} $$

We will denote by $X_{d}$ the base change of $\mathfrak {X}_{d}$ to $\mathbf {Q}$ . Then the $\mathbf {C}$ -point of $X_{d}$ is given by

$$ \begin{align*} X_{d}(\mathbf{C})=G^{\prime}(\mathbf{Q})\backslash \mathcal{H}^{\pm} \times G^{\prime}(\mathbf{A}^{\infty})/K^{\prime}_{d}. \end{align*} $$

Let $\pi _{d}: \mathcal {A}_{d}\rightarrow \mathfrak {X}_{d}$ be the universal abelian surface. The sheaf $R^{1}\pi _{d*}\Lambda $ over $\mathfrak {X}_{d}$ is equipped with an action of $\mathcal {O}_{B^{\prime }_{l}}=\mathrm {M}_{2}({\mathbf {Z}}_{l})$ . We then define the following local system on $\mathfrak {X}_{d}$ :

$$ \begin{align*} \mathcal{L}^{\prime}_{k-2}(\Lambda):=\mathrm{Sym}^{k-2}e\cdot R^{1}\pi_{d*}\Lambda, \hphantom{aa} \mathcal{L}_{k-2}(\Lambda):=\mathrm{Sym}^{k-2}e\cdot R^{1}\pi_{d*}\Lambda\left(\frac{k-2}{2}\right) \end{align*} $$

where e is the idempotent given by the matrix $\begin {pmatrix}1& 0\\0 &0\\ \end {pmatrix}$ in $\mathrm {M}_{2}({\mathbf {Z}}_{l})$ . There is another construction of this local system in [Reference Besser2] whose cohomology is tied more closely to the Kuga–Sato variety that we will introduce below. We briefly review this construction. Define

(2.3) $$ \begin{align} \mathfrak{L}^{\prime}_{2}(\Lambda)=\cap_{b\in B^{\prime}}\ker[R^{2}\pi_{d*}\Lambda\xrightarrow{b-\mathrm{Nrd}(b)} R^{2}\pi_{d*}\Lambda]. \end{align} $$

We define the weight $k-2$ local system by

$$ \begin{align*} \mathfrak{L}^{\prime}_{k-2}(\Lambda):=\ker[\mathrm{Sym}^{m}\mathfrak{L}^{\prime}_{2}(\Lambda)\xrightarrow{\Delta_{m}}\mathrm{Sym}^{m-2}\mathfrak{L}^{\prime}_{2}(\Lambda)(-2)] \end{align*} $$

where $m=\frac {k-2}{2}$ and $\Delta _{m}$ is the Laplace defined by

$$ \begin{align*} \Delta_{m}(x_{1}, \ldots, x_{m})=\sum_{1\leq i, j\leq m}(x_{i}, x_{j})x_{1}\cdots \hat{x}_{i}\cdots \hat{x}_{j} \cdots x_{m} \end{align*} $$

where $(\hphantom {a}, \hphantom {a})$ is the nondegenerate pairing

$$ \begin{align*} (\hphantom{a}, \hphantom{b}): \mathfrak{L}^{\prime}_{2}(\Lambda)\times \mathfrak{L}^{\prime}_{2}(\Lambda) \rightarrow \Lambda(-2) \end{align*} $$

induced by the Poincare duality

$$ \begin{align*} (\hphantom{a}, \hphantom{b}): R^{2}\pi_{d*}\Lambda \times R^{2}\pi_{d*}\Lambda \rightarrow \Lambda(-2). \end{align*} $$

Lemma 2.1. We have an isomorphism

$$ \begin{align*} \mathfrak{L}^{\prime}_{k-2}(\Lambda)\cong \mathcal{L}^{\prime}_{k-2}(\Lambda). \end{align*} $$

Proof. This result is contained in the proof of [Reference Besser2, Theorem 5.8]. We briefly outline the construction. First of all, there is an isomorphism between the rank $3$ local system

$$ \begin{align*} \mathfrak{L}^{\prime}_{2}(\Lambda)\cong \mathrm{Sym}^{2} e\cdot R^{1}\pi_{d*}\Lambda. \end{align*} $$

Then it is an easy exercise to show that $\mathrm {Sym}^{k-2} e\cdot R^{1}\pi _{d*}\Lambda $ is the kernel of the map

$$ \begin{align*} \mathrm{Sym}^{m} \mathrm{Sym}^{2} e\cdot R^{1}\pi_{d*}\Lambda \xrightarrow{\Delta_{m}} \mathrm{Sym}^{m-2} \mathrm{Sym}^{2} e\cdot R^{1}\pi_{d*}\Lambda \end{align*} $$

with $m=\frac {k-2}{2}$ . The result follows from this.

Let $k\geq 2$ and let $\pi _{k, d}:\mathcal {W}_{k, d}\rightarrow \mathfrak {X}_{d}$ be the Kuga–Sato variety of weight k over $\mathfrak {X}_{d}$ . This is defined by the $\frac {k-2}{2}$ -fold fibre product of $\mathcal {A}_{d}$ over $\mathfrak {X}_{d}$ ,

$$ \begin{align*} \mathcal{W}_{k, d}:=\mathcal{A}_{d}\times_{\mathfrak{X}_{d}} \cdots \times_{\mathfrak{X}_{d}} \mathcal{A}_{d}. \end{align*} $$

We will denote by $W_{k,d}$ the scheme $\mathcal {W}_{k, d}\otimes \mathbf {Q}$ . We define $\epsilon _{d}$ to be the projector given by

$$ \begin{align*} \epsilon_{d}=\frac{1}{\vert G_{d}\vert}\sum_{g\in G_{d}}g. \end{align*} $$

Then the following relation clearly holds:

$$ \begin{align*} \epsilon_{d}\mathrm{H}^{1}(\mathfrak{X}_{d}\otimes\mathbf{Q}^{\mathrm{ac}}, \mathcal{L}^{\prime}_{k-2}(\Lambda))\cong \mathrm{H}^{1}(\mathfrak{X}\otimes\mathbf{Q}^{\mathrm{ac}}, \mathcal{L}^{\prime}_{k-2}(\Lambda)). \end{align*} $$

The cohomology of the Kuga–Sato variety and the cohomology of the local system $\mathcal {L}^{\prime }_{k-2}(\Lambda )$ are closely related.

Lemma 2.2. There is a projector $\epsilon _{k}$ on $\mathcal {W}_{k, d}$ such that

$$ \begin{align*} \epsilon_{k}\mathrm{H}^{*}(\mathcal{W}_{k, d}\otimes\mathbf{Q}^{\mathrm{ac}}, \Lambda)\cong \epsilon_{k}\mathrm{H}^{k-1}(\mathcal{W}_{k, d}\otimes\mathbf{Q}^{\mathrm{ac}}, \Lambda)\cong \mathrm{H}^{1}(\mathfrak{X}_{d}\otimes\mathbf{Q}^{\mathrm{ac}}, \mathcal{L}^{\prime}_{k-2}(\Lambda)). \end{align*} $$

2.2 Shimura sets and quaternionic modular forms

Let $k\geq 2$ be an even integer such that $k<l-1 $ . If A is a ring, let $L_{k-2}(A)=\mathrm {Sym}^{k-2}(A^{2})$ be the set of homogeneous polynomials of degree $k-2$ with coefficients in A. We present $L_{k-2}(A)$ as

(2.4) $$ \begin{align} L_{k-2}(A)=\bigoplus_{\frac{2-k}{2}\leq r\leq \frac{k-2}{2}}A\cdot\mathbf{v}_{r} \end{align} $$

with $\mathbf {v}_{r}:=X^{\frac {k-2}{2}-r}Y^{\frac {k-2}{2}+r}$ . It gives rise to a unitary representation

$$ \begin{align*} \rho_{k}: \mathrm{GL}_{2}(A)\rightarrow \mathrm{Aut}_{A}(L_{k-2}(A)) \end{align*} $$

such that $\rho _{k}(g)P(X, Y)={\mathrm {det}}^{-\frac {(k-2)}{2}}(g)P((X, Y)g)$ for any $P(X, Y)\in L_{k}(A)$ . Let A be a ${\mathbf {Z}}_{(l)}$ -algebra; we define a pairing

$$ \begin{align*} \langle\hphantom{a},\hphantom{v} \rangle: L_{k-2}(A)\times L_{k-2}(A)\rightarrow A \end{align*} $$

by the following formula:

$$ \begin{align*} \left\langle\sum_{i}a_{i}\mathbf{v}_{i}, \sum_{j}b_{j}\mathbf{v}_{j}\right\rangle_{k-2}= \sum_{\frac{2-k}{2}\leq r\leq \frac{k-2}{2}} a_{r}b_{-r}\cdot(-1)^{\frac{k-2}{2}+r}\frac{\Gamma \left(\frac{k}{2}+r\right)\Gamma\left(\frac{k}{2}-r\right)}{\Gamma(k-1)}. \end{align*} $$

For $P_{1}, P_{2}\in L_{k-2}(A)$ , the pairing above has the following property:

$$ \begin{align*} \langle\rho_{k}(g)P_{1}, \rho_{k}(g)P_{2}\rangle=\langle P_{1}, P_{2} \rangle. \end{align*} $$

Let $p\nmid N$ be a prime. Let B be the definite quaternion algebra of discriminant $pN^{-}$ . We let G be the algebraic group over $\mathbf {Q}$ defined by $B^{\times }$ . If $U\subset G(\mathbf {A}^{(\infty )})$ is an open compact subgroup and A is a ${\mathbf {Z}}_{l}$ -algebra, we define the space $S^{B}_{k}(U, A)$ of l-adic quaternionic modular forms of weight k with values in A by

$$ \begin{align*} S^{B}_{k}(U, A) &=\{h: G(\mathbf{A})\rightarrow L_{k-2}(A): h(agu) \\ &=\rho_{k}(u_{l}^{-1})h(g)\text{ for}\ a\in B^{\times}\ \text{and}\ u\in U\cdot Z(\mathbf{A}^{(\infty)})\}. \end{align*} $$

In the case U corresponds to an Eichler order $\mathcal {O}_{B, N^{+}}$ of level $N^{+}$ in a fixed maximal order $\mathcal {O}_{B}$ , we will simply write the space $S^{B}_{k}(U, A)$ as $S^{B}_{k}(N^{+}, A)$ . We define the Atkin–Lehner involution at q to be

(2.5) $$ \begin{align} \tau_{q}= \begin{cases} \begin{pmatrix}0& 1\\ -N^{+}& 0\\ \end{pmatrix} &\text{for}\ q\mid N^{+};\\ J &\text{for}\ q\mid \infty N^{-};\\ 1 &\text{for}\ q\nmid N. \end{cases} \end{align} $$

Then we put $\tau ^{N^{+}}=\prod _{q}\tau _{q}$ as an element in $G^{\prime }(\mathbf {A})$ . We will define an inner product on this space

(2.6) $$ \begin{align} \langle\hphantom{a}, \hphantom{b}\rangle_{B}: S^{B}_{k}(N^{+}, A)\times S^{B}_{k}(N^{+}, A) \rightarrow A \end{align} $$

by the following formula:

(2.7) $$ \begin{align} \langle f_{1}, f_{2}\rangle_{B}=\sum_{g\in \mathrm{Cl(N^{+})}}\frac{1}{\vert\Gamma_{g}\vert}\langle f_{1}(g),f_{2}(g\tau^{N^{+}})\rangle_{k} \end{align} $$

where $\Gamma _{g}=(B^{\times }\cap g\widehat {\mathcal {O}}_{B, N^{+}}^{\times }g^{-1}Z(\mathbf {A}^{(\infty )}))/\mathbf {Q}^{\times }$ and $\mathrm {Cl(N^{+})}$ is a set of representatives of the finite set

$$ \begin{align*} B^{\times}\backslash \widehat{B}^{\times}/\widehat{\mathcal{O}}^{\times}_{B, N^{+}}\widehat{\mathbf{Q}}^{\times}. \end{align*} $$

2.3 Reductions of Shimura curves

Let p be a prime away from N. We will consider the base change of $\mathfrak {X}_{d}$ , $\mathfrak {X}$ to ${\mathbf {Z}}_{p^{2}}$ and we will denote them by the same notations. The special fibre of $\mathfrak {X}_{d}$ and $\mathfrak {X}$ will be denoted by $\overline {X}_{d}$ and $\overline {X}$ . Let $x=(A, \iota , \bar {\eta })\in \overline {X}_{d}(\mathbf {F}^{\mathrm {ac}}_{p})$ be an $\mathbf {F}^{\mathrm {ac}}_{p}$ -point. Then the p-divisible group $A[p^{\infty }]$ of A can be written as $A[p^{\infty }]=E[p^{\infty }]\times E[p^{\infty }]$ for a p-divisible group $E[p^{\infty }]$ associated to an elliptic curve E and $\mathcal {O}_{B^{\prime }}$ acts naturally via $\mathcal {O}_{B^{\prime }}\otimes {\mathbf {Z}}_{p}=\mathrm {M}_{2}({\mathbf {Z}}_{p})$ . Depending on whether $E[p^{\infty }]$ is ordinary or supersingular, we will accordingly call x ordinary or supersingular. Let $X^{\mathrm {ss}}_{d}$ be the closed subscheme of $\overline {X}_{d}$ given by those points that are supersingular and let $X^{\mathrm {ord}}_{d}=\overline {X}_{d}-X^{\mathrm {ss}}_{d}$ be its complement. We will refer to $X^{\mathrm {ss}}_{d}$ as the supersingular locus and to $X^{\mathrm {ord}}_{d}$ as the ordinary locus. Let $B=B_{pN^{-}}$ be the definite quaternion algebra with discriminant $pN^{-}$ and $\mathcal {O}_{B}$ be a maximal order. Note that we can naturally view $K^{\prime (p)}_{d}$ , the prime-to-p part of $K^{\prime }_{d}$ , as an open compact subgroup of $G(\mathbf {A}^{(\infty , p)})=B^{\times }(\mathbf {A}^{(\infty , p)})$ . The scheme $X^{\mathrm {ss}}_{d}$ is given by a finite set of points, and we have the following parametrisation of it.

Lemma 2.3. We have a bijection

$$ \begin{align*} X^{\mathrm{ss}}_{d}\cong B^{\times}(\mathbf{Q})\backslash B^{\times}(\mathbf{A}^{(\infty)})/ K^{\prime(p)}_{d}\mathcal{O}^{\times}_{B_{p}}. \end{align*} $$

We will write

(2.8) $$ \begin{align} X^{B}_{d}=B^{\times}(\mathbf{Q})\backslash B^{\times}(\mathbf{A}^{(\infty)})/ K^{\prime(p)}_{d}\mathcal{O}^{\times}_{B_{p}} \end{align} $$

and refer to it as the Shimura set associated to the definite quaternion algebra B with level $\Gamma _{0}(N^{+})\cap \Gamma (d)$ . Therefore, the above lemma can be rephrased as a natural bijection

$$ \begin{align*} X^{\mathrm{ss}}_{d}\cong X^{B}_{d}. \end{align*} $$

Let $\mathcal {O}_{B^{\prime }, pN^{+}}$ be an Eichler order of level $pN^{+}$ and let $K^{\prime }(p)$ be the associated open compact subgroup in $G^{\prime }(\mathbf {A}^{\infty })$ . Similar to (2.2), we define the open compact subgroup $K^{\prime }_{d}(p)$ of $G^{\prime }(\mathbf {A}^{\infty })$ by adding a full level d-structure to $K^{\prime }(p)$ . We have the curve $X_{d}(p)$ over $\mathbf {Q}$ whose complex points are given by

$$ \begin{align*} X_{d}(p)(\mathbf{C})=G^{\prime}(\mathbf{Q})\backslash \mathcal{H}^{\pm} \times G^{\prime}(\mathbf{A}^{\infty})/K^{\prime}_{d}(p). \end{align*} $$

We define an integral model $\mathfrak {X}_{d}(p)$ over ${\mathbf {Z}}[1/dN]$ which represents the following functor. Let S be a test scheme over ${\mathbf {Z}}[1/dN]$ . Then $\mathfrak {X}_{d}(p)(S)$ classifies the tuples $(A_{1}, A_{2}, \iota _{1}, \iota _{2}, \pi _{A}, C, \nu _{d})$ up to isomorphism where

1. (1) $A_{i}$ for $i=1, 2$ is an S-abelian scheme of relative dimension $2$ ;

2. (2) $\iota _{i}: \mathcal {O}_{B^{\prime }}\hookrightarrow \operatorname {\mathrm {End}}_{S}(A_{i})$ is an action of $\mathcal {O}_{B^{\prime }}$ on $\operatorname {\mathrm {End}}_{S}(A_{i})$ for $i=1, 2$ ;

3. (3) $\pi _{A}: A_{1}\rightarrow A_{2}$ is an isogeny of degree p that commutes with the action of $\mathcal {O}_{B^{\prime }}$ ;

4. (4) C is an $\mathcal {O}_{B^{\prime }}$ -stable locally cyclic subgroup of $A[N^{+}]$ of order $N^{+2}$ ;

5. (5) $\nu _{d}: (\mathcal {O}_{B^{\prime }}/d)_{S}\rightarrow A_{1}[d]$ is an isomorphism of $\mathcal {O}_{B^{\prime }}$ -stable group schemes.

By forgetting the data given by $\nu _{d}$ , we have a natural map $c_{d}(p): \mathfrak {X}_{d}(p)\rightarrow \mathfrak {X}_{0}(p)$ where $\mathfrak {X}_{0}(p)$ is the coarse moduli space representing the above functor without the data $\nu _{d}$ . Note that the isogeny $\pi _{A}$ induces an isomorphism between $\gamma _{d}:A_{1}[d]\xrightarrow {\sim }A_{2}[d]$ and $\gamma _{N^{+}}:A_{1}[N^{+}]\xrightarrow {\sim }A_{2}[N^{+}]$ . Again we consider the base change of $\mathfrak {X}_{d}(p)$ to ${\mathbf {Z}}_{p^{2}}$ and use the same symbol for this base change and denote its special fibre by $\overline {X}_{d}(p)$ . Let $\overline {X}_{0}(p)$ be the image of $\overline {X}_{d}(p)$ under the map $c_{d}(p)$ . We have the following descriptions of $\overline {X}_{d}(p)$ and $\overline {X}_{0}(p)$ . Similarly, let $(\overline {X}, X^{\mathrm {ord}}, X^{\mathrm {ss}})$ be the image of $(\overline {X}_{d}, X^{\mathrm {ord}}_{d}, X^{\mathrm {ss}}_{d})$ under the map $c_{d}$ . We will call $(X^{\mathrm {ord}}, X^{\mathrm {ss}})$ the ordinary and supersingular locus of $\overline {X}$ .

Let $\pi _{1}:\mathfrak {X}_{d}(p)\rightarrow \mathfrak {X}_{d}$ be the morphism given by sending $(A_{1}, A_{2}, \pi _{A}, \iota _{1}, \iota _{2}, C, \nu _{d})$ to $(A_{1}, \iota _{1}, C, \nu _{d})$ and $\pi _{2}:\mathfrak {X}_{d}(p)\rightarrow \mathfrak {X}_{d}$ be the morphism given by sending $(A_{1}, A_{2}, \pi _{A}, \iota _{1}, \iota _{2}, C, \nu _{d})$ to

$$\begin{align*}(A_{2}, \iota_{2}, \gamma_{N^{+}}(C), \gamma_{d}\circ\nu_{d}).\end{align*}$$

Then we can define two closed immersions $i_{1}:\overline {X}_{d}\rightarrow \overline {X}_{d}(p)$ and $i_{2}: \overline {X}_{d}\rightarrow \overline {X}_{d}(p)$ as in the proof of [Reference Buzzard6, Theorem 4.7(v)] such that

(2.9) $$ \begin{align} \begin{pmatrix} \pi_{1}\circ i_{1} & \pi_{1}\circ i_{2}\\ \pi_{2}\circ i_{1} & \pi_{2}\circ i_{2}\\ \end{pmatrix} = \begin{pmatrix} \mathrm{id} & \mathrm{Frob}_{p}\\ S^{-1}_{p}\mathrm{Frob}_{p} & \mathrm{id}\\ \end{pmatrix}, \end{align} $$

where $S_{p}$ corresponds to the central element in the spherical Hecke algebra of $\mathrm {GL}_{2}(\mathbf {Q}_{p})$ .

We will need the following important result known as the ‘Ihara’s lemma’. This is proved for the case of classical modular curves by Ribet [Reference Ribet29] and Diamond–Taylor [Reference Diamond and Taylor11] for Shimura curves.

2.4 Review of weight spectral sequence

Let K be a Henselian discrete valuation field with valuation ring $\mathcal {O}_{K}$ and residue field k of characteristic p. We fix a uniformiser $\pi $ of $\mathcal {O}_{K}$ . We set $S=\mathrm {Spec}(\mathcal {O}_{K})$ , $s=\mathrm {Spec}(k)$ and $\eta =\mathrm {Spec}(K)$ . Let ${K^{\mathrm {ac}}}$ be a separable closure of K and $K_{\mathrm {ur}}$ the maximal unramified extension of K in $K^{\mathrm {ac}}$ . We denote by $k^{\mathrm {ac}}$ the residue field of $K_{\mathrm {ur}}$ . Let $I_{K}=\mathrm {Gal}(K^{\mathrm {ac}}/K_{\mathrm {ur}})\subset G_{K}=\mathrm {Gal}(K^{\mathrm {ac}}/K)$ be the inertia subgroup. Let l be a prime different from p. We set $t_{l}: I_{K}\rightarrow {\mathbf {Z}}_{l}(1)$ to be the canonical surjection given by

$$ \begin{align*} \sigma \mapsto (\sigma(\pi^{1/l^{m}})/\pi^{1/l^{m}})_{m} \end{align*} $$

for every $\sigma \in I_{K}$ .

Let $\mathfrak {X}$ be a strictly semi-stable scheme over S purely of relative dimension n, which we also assume to be proper. This means that $\mathfrak {X}$ is locally of finite presentation and Zariski locally étale over

$$\begin{align*}\mathrm{Spec}(\mathcal{O}_{K}[X_{1}, \ldots, X_{n}]/(X_{1}\cdots X_{r}-\pi))\end{align*}$$

for some integer $1\leq r\leq n$ . We let $X_{k}$ be the special fibre of $\mathfrak {X}$ and $X_{k^{\mathrm {ac}}}$ be its base change to $k^{\mathrm {ac}}$ . Let $X=\mathfrak {X}_{\eta }$ be the generic fibre of $\mathfrak {X}$ and $X_{K_{\mathrm {ur}}}$ be its base change to $K_{\mathrm {ur}}$ . We have the following natural maps $i:X_{k}\rightarrow \mathfrak {X}$ , $j: X\rightarrow \mathfrak {X}$ , $\bar {i}: X_{k^{\mathrm {ac}}}\rightarrow \mathfrak {X}_{\mathcal {O}_{K_{\mathrm {ur}}}}$ and $\bar {j}: X_{K_{\mathrm {ur}}}\rightarrow \mathfrak {X}_{\mathcal {O}_{K_{\mathrm {ur}}}}$ . We have the nearby cycle sheaf given by

$$ \begin{align*} R^{q}\Psi(\Lambda)= \bar{i}^{*}R^{q}\bar{j}_{*}\Lambda \end{align*} $$

and the nearby cycle complex given by

$$ \begin{align*} R\Psi(\Lambda)= \bar{i}^{*}R\bar{j}_{*}\Lambda. \end{align*} $$

By proper base change theorem, we have $\mathrm {H}^{*}(X_{k^{\mathrm {ac}}}, R\Psi (\Lambda ))=\mathrm {H}^{*}(X_{K^{\mathrm {ac}}}, \Lambda )$ . We can regard $R\Psi (\Lambda )$ as an object in the derived category $D^{+}(X_{k^{\mathrm {ac}}}, \Lambda [I_{K}])$ of sheaves of $\Lambda $ -modules with continuous $I_{K}$ -actions. Let $D_{1},\ldots , D_{m} $ be the set of irreducible components of $X_{k}$ . For each index set $I\subset \{1, \ldots , m\}$ of cardinality p, we set $X_{I, k}=\cap _{i\in I} D_{i}$ . This is a smooth scheme of dimension $n-p$ . For $1\leq p \leq m-1$ , we define

$$ \begin{align*} X^{(p)}_{k}=\bigsqcup_{I\subset \{1, \ldots, m\}, \mathrm{Card}(I)=p+1} X_{I, k} \end{align*} $$

and let $a_{p}: X^{(p)}_{k}\rightarrow X_{k}$ be the natural map, so we have $a_{p *}\Lambda =\wedge ^{p+1}a_{0 *}\Lambda $ .

Let T be an element in $I_{K}$ such that $t_{l}(T)$ is a generator of ${\mathbf {Z}}_{l}(1)$ ; then T induces a nilpotent operator $T-1$ on $R\Psi (\Lambda )$ . Let $N=(T-1)\otimes \breve {T}$ where $\breve {T}\in {\mathbf {Z}}_{l}(-1)$ is the dual of $t_{l}(T)$ . Then with respect to this N, we have the monodromy filtration $M_{\bullet }R\Psi (\Lambda )$ on $R\Psi (\Lambda )$ characterised by

1. (1) $M_{n}R\Psi (\Lambda )=R\Psi (\Lambda )$ and $M_{-n-1}R\Psi (\Lambda )=0$ ;

2. (2) $N: R\Psi (\Lambda )(1)\rightarrow R\Psi (\Lambda )$ sends $M_{r}R\Psi (\Lambda )(1)$ into $M_{r-2}R\Psi (\Lambda )$ for $r\in {\mathbf {Z}}$ ;

3. (3) $N^{r}: Gr^{M}_{r}R\Psi (\Lambda )(r)\rightarrow Gr^{M}_{-r}R\Psi (\Lambda )$ is an isomorphism.

The monodromy filtration induces the weight spectral sequence

(2.10) $$ \begin{align} \mathrm{E}^{p,q}_{1}= \mathrm{H}^{p+q}(X\otimes{k^{\mathrm{ac}}}, Gr^{M}_{-p}R\Psi(\Lambda))\Rightarrow \mathrm{H}^{p+q}(X\otimes{k^{\mathrm{ac}}}, R\Psi(\Lambda))=\mathrm{H}^{p+q}(X\otimes{K^{\mathrm{ac}}}, \Lambda). \end{align} $$

The $\mathrm {E}_{1}$ -term of this spectral sequence can be made explicit by

$$ \begin{align*} \begin{aligned} \mathrm{H}^{p+q}(X\otimes{k^{\mathrm{ac}}}, Gr^{M}_{-p}R\Psi(\Lambda))&=\bigoplus_{i-j=-p, i\geq0, j\geq0}\mathrm{H}^{p+q-(i+j)}(X^{(i+j)}_{k^{\mathrm{ac}}}, \Lambda(-i))\\ &=\bigoplus_{i\geq\mathrm{max}(0, -p)}\mathrm{H}^{q-2i}(X^{(p+2i)}_{k^{\mathrm{ac}}}, \Lambda(-i)).\\ \end{aligned}\end{align*} $$

This spectral sequence is first introduced by Rapoport–Zink in [Reference Rapoport and Zink28] and thus is also known as the Rapoport–Zink spectral sequence.

Let $\mathfrak {X}$ be a relative curve over $\mathcal {O}_{K}$ . Then we can immediately calculate that

$$ \begin{align*} \begin{aligned} &Gr^{M}_{-1}R\Psi(\Lambda)=a_{1*}\Lambda[-1], \\ &Gr^{M}_{0}R\Psi(\Lambda)=a_{0*}\Lambda, \\ &Gr^{M}_{1}R\Psi(\Lambda)=a_{1*}\Lambda[-1](-1). \\ \end{aligned} \end{align*} $$

The $\mathrm {E}_{1}$ -page of the weight spectral sequence is thus given by

and it clearly degenerates at the $\mathrm {E}_{2}$ -page. We therefore have the monodromy filtration

$$ \begin{align*} & 0\subset^{\mathrm{E}^{1,0}_{2}} M_{1}\mathrm{H}^{1}(\mathfrak{X}\otimes{K^{\mathrm{ac}}}, \Lambda)\subset^{\mathrm{E}^{0,1}_{2}} M_{0}\mathrm{H}^{1}(\mathfrak{X}\otimes{K^{ac}}, \Lambda)\subset^{\mathrm{E}^{-1,2}_{2}} M_{-1}\mathrm{H}^{1}(\mathfrak{X}\otimes{K^{\mathrm{ac}}},\Lambda) \\ & \quad =\mathrm{H}^{1}(\mathfrak{X}\otimes{K^{\mathrm{ac}}},\Lambda) \end{align*} $$

with the graded pieces given by

(2.11) $$ \begin{align} \begin{aligned} &Gr^{M}_{-1}\mathrm{H}^{1}(\mathfrak{X}\otimes{K^{\mathrm{ac}}}, \Lambda)=\ker[\mathrm{H}^{0}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{1*}\Lambda(-1))\xrightarrow{\tau} \mathrm{H}^{2}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{0*}\Lambda)]\\ &Gr^{M}_{0}\mathrm{H}^{1}(\mathfrak{X}\otimes{K^{\mathrm{ac}}}, \Lambda)= \mathrm{H}^{1}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{0*}\Lambda)\\ &Gr^{M}_{1}\mathrm{H}^{1}(\mathfrak{X}\otimes{K^{\mathrm{ac}}} \Lambda)= \mathrm{coker}[\mathrm{H}^{0}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{0*}\Lambda)\xrightarrow{\rho} \mathrm{H}^{0}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{1*}\Lambda)]\\ \end{aligned} \end{align} $$

where $\tau $ is the Gysin morphism and $\rho $ is the restriction morphism. Note that the monodromy action on $\mathrm {H}^{1}(X\otimes K^{\mathrm {ac}}, \Lambda (1))$ can be understood using the following commutative diagram:

In this case, we recover the Picard–Lefschetz formula if we identify $\mathrm {H}^{0}(\mathfrak {X}\otimes k^{\mathrm {ac}}, a_{1*}\Lambda )$ with the vanishing cycles $\bigoplus _{x}R\Phi (\Lambda )_{x}$ on $X_{{k^{\mathrm {ac}}}}$ where x runs through the singular points $X^{(1)}_{k^{\mathrm {ac}}}$ on $X_{k^{\mathrm {ac}}}$ . Let $\mathrm {M}$ be a $G_{K}$ -module over $\Lambda $ ; then we have the following exact sequence of Galois cohomology groups:

(2.12) $$ \begin{align} 0\rightarrow \mathrm{H}^{1}_{\mathrm{fin}}(K, \mathrm{M})\rightarrow \mathrm{H}^{1}(K, \mathrm{M})\xrightarrow{\partial_{p}} \mathrm{H}^{1}_{\mathrm{sing}}(K, \mathrm{M})\rightarrow 0 \end{align} $$

where $\mathrm {H}^{1}_{\mathrm {fin}}(K, \mathrm {M})=\mathrm {H}^{1}(k, \mathrm {M}^{I_{K}})$ is called the unramified or finite part of the cohomology group $\mathrm {H}^{1}(K, \mathrm {M})$ and $\mathrm {H}^{1}_{\mathrm {sing}}(K, \mathrm {M})$ defined as the quotient of $\mathrm {H}^{1}(K, \mathrm {M})$ by its finite part is called the singular quotient of $\mathrm {H}^{1}(K, \mathrm {M})$ . The natural quotient map $\mathrm {H}^{1}(K, \mathrm {M})\xrightarrow {\partial _{p}} \mathrm {H}^{1}_{\mathrm {sing}}(K, \mathrm {M})$ will be referred to as the singular quotient map. The element $\partial _{p}(x)$ will be referred to as the singular residue of x for $x\in \mathrm {H}^{1}(K, \mathrm {M})$ . Let $\mathrm {M}=\mathrm {H}^{n}(X_{K^{\mathrm {ac}}},\Lambda (r))$ be the rth twist of the middle degree cohomology of $X_{{K^{\mathrm {ac}}}}$ . We need the following elementary lemma.

Lemma 2.7. Let $\mathrm {M}=\mathrm {H}^{n}(X_{K^{\mathrm {ac}}},\Lambda (r))$ ; then we have

$$ \begin{align*} \mathrm{H}^{1}_{\mathrm{fin}}(K, \mathrm{M})\cong \frac{\mathrm{M}^{I_{K}}}{(\mathrm{Frob}_{p}-1)},\hphantom{a}\mathrm{H}^{1}_{\mathrm{sing}}(K, \mathrm{M})\cong \left(\frac{\mathrm{M}(-1)}{N\mathrm{M}}\right)^{G_{k}}. \end{align*} $$

For $\mathrm {M}=\mathrm {H}^{1}(X_{K^{\mathrm {ac}}}, \Lambda (1))$ , we can use the Picard–Lefschetz formula to calculate $\mathrm {H}^{1}_{\mathrm {sing}}(K, \mathrm {M})$ ; more precisely, we have

(2.13) $$ \begin{align} \begin{aligned} \mathrm{H}^{1}_{\mathrm{sing}}(K, \mathrm{M}) &\cong \left(\frac{\mathrm{M}(-1)}{N\mathrm{M}}\right)^{G_{k}} \cong \left(\frac{\mathrm{coker}[\mathrm{H}^{0}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{0*}\Lambda)\xrightarrow{\rho} \mathrm{H}^{0}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{1*}\Lambda)]}{N\ker[\mathrm{H}^{0}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{1*}\Lambda)\xrightarrow{\tau} \mathrm{H}^{2}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{0*}\Lambda(1))]}\right)^{G_{k}}.\\ \end{aligned} \end{align} $$

Composing the isomorphism (2.13) with $\tau $ , we obtain

(2.14) $$ \begin{align} \begin{aligned} \mathrm{H}^{1}_{\mathrm{sing}}(K, \mathrm{M})&\cong \left(\frac{\mathrm{coker}[\mathrm{H}^{0}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{0*}\Lambda)\xrightarrow{\rho} \mathrm{H}^{0}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{1*}\Lambda)]}{N\ker[\mathrm{H}^{0}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{1*}\Lambda)\xrightarrow{\tau} \mathrm{H}^{2}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{0*}\Lambda(1)))]}\right)^{G_{k}}\\ &\cong \mathrm{coker}[\mathrm{H}^{0}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{0*}\Lambda)\xrightarrow{\rho} \mathrm{H}^{0}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{1*}\Lambda)\xrightarrow{\tau} \mathrm{H}^{2}(\mathfrak{X}\otimes k^{\mathrm{ac}}, a_{0*}\Lambda(1))]^{G_{k}}.\\ \end{aligned} \end{align} $$

Next we consider the curve $\mathfrak {X}_{d}(p)$ over $\mathrm {Spec}({\mathbf {Z}}_{p^{2}})$ . Let $\mathcal {A}_{d}(p)\rightarrow \mathfrak {X}_{d}(p)$ be the universal abelian surface over $\mathfrak {X}_{d}(p)$ . Then we define the Kuga–Sato variety of weight k by the $\frac {k-2}{2}$ -fold fibre product of $\mathcal {A}_{d}(p)$ over $\mathfrak {X}_{d}(p)$ ; that is,

(2.15) $$ \begin{align} \mathcal{W}_{k, d}(p):=\mathcal{A}_{d}(p)\times_{\mathfrak{X}_{d}(p)}\cdots \times_{\mathfrak{X}_{d}(p)} \mathcal{A}_{d}(p). \end{align} $$

Then there is a semi-stable model $\widetilde {\mathcal {W}}_{k, d}(p)$ constructed in [Reference Saito32, Lemma 7.1] and the action of the projector $\epsilon _{k}$ extends naturally to the semi-stable model $\widetilde {\mathcal {W}}_{k, d}(p)$ . Moreover, the first page of the weight spectral sequence converging to

$$ \begin{align*} \epsilon_{k}\mathrm{H}^{k-1}\left(\widetilde{\mathcal{W}}_{k, d}(p)\otimes \mathbf{Q}_{p}^{\mathrm{ac}}, \Lambda \left(\frac{k-2}{2}\right)\right)=\mathrm{H}^{1}(\mathfrak{X}_{d}(p)\otimes \mathbf{Q}_{p}^{\mathrm{ac}}, \mathcal{L}_{k-2}(\Lambda)) \end{align*} $$

takes the following form by [Reference Saito32, (8.10)]:

This means that the weight spectral sequence of the Kuga–Sato variety agrees with the weight spectral sequence of the base curve with certain nontrivial coefficients. We have to remark that the author works with a different Shimura curve in [Reference Saito32], but his method adapts to our situation easily and gives the same result. By further applying the projector $\epsilon _{d}$ , we obtain the following first page of the weight spectral sequence converging to

$$\begin{align*}\mathrm{H}^{1}( \mathfrak{X}_{0}(p)\otimes \mathbf{Q}_{p}^{\mathrm{ac}}, \mathcal{L}_{k-2}(\Lambda))\end{align*}$$

Note that we can make it explicit for the terms in the above spectral sequence:

1. (1) $ \mathrm {H}^{0}(\overline {X}_{0}(p)_{\mathbf {F}_{p}^{\mathrm {ac}}}, a_{1*}\mathcal {L}_{k-2}(\Lambda ))=\mathrm {H}^{0}(X^{\mathrm {ss}}_{\mathbf {F}_{p}^{\mathrm {ac}}}, \mathcal {L}_{k-2}(\Lambda ))$ ;

2. (2) $\mathrm {H}^{1}(\overline {X}_{0}(p)_{\mathbf {F}_{p}^{\mathrm {ac}}}, a_{0*}\mathcal {L}_{k-2}(\Lambda ))=\mathrm {H}^{1}(\overline {X}_{\mathbf {F}_{p}^{\mathrm {ac}}}, \mathcal {L}_{k-2}(\Lambda ))\oplus \mathrm {H}^{1}(\overline {X}_{\mathbf {F}_{p}^{\mathrm {ac}}}, \mathcal {L}_{k-2}(\Lambda ))$ ;

3. (3) $\mathrm {H}^{2}(\overline {X}_{0}(p)_{\mathbf {F}_{p}^{\mathrm {ac}}}, a_{0*}\mathcal {L}_{k-2}(\Lambda ))$ is Eisenstein;

4. (4) $\mathrm {H}^{0}(\overline {X}_{0}(p)_{\mathbf {F}_{p}^{\mathrm {ac}}}, a_{0*}\mathcal {L}_{k-2}(\Lambda ))$ is Eisenstein.

2.5 Unramified level raising on the Kuga–Sato varities

Let $f\in S^{\mathrm {new}}_{k}(N)$ be a newform of level $\Gamma _{0}(N)$ with even weight k and with Fourier expansion $f=\sum a_{n}(f)q^{n}$ . We denote by $E=\mathbf {Q}(f)$ the Hecke field of f. Let $\lambda $ be a place of E over l and $E_{\lambda }$ be the completion of E at $\lambda $ . Let $\varpi $ be a uniformiser of the ring of integers $\mathcal {O}:=\mathcal {O}_{E_{\lambda }}$ of $E_{\lambda }$ and $\mathbf {F}_{\lambda }$ be its residue field. We will set $\mathcal {O}_{n}=\mathcal {O}/\varpi ^{n}$ . Let K be an imaginary quadratic field whose discriminant is $-D_{K}$ with $D_{K}>0$ . We assume that N admits a factorisation $N=N^{+}N^{-}$ where $N^{+}$ consists of prime factors that are split in K and $N^{-}$ consists of prime factors that are inert in K. Let $\rho _{f, \lambda }: G_{\mathbf {Q}}\rightarrow \mathrm {GL}_{2}(E_{\lambda })$ be the $\lambda $ -adic Galois representation attached to the form f characterised by the fact that the trace of Frobenius at $p\nmid N$ agrees with $a_{p}(f)$ and the determinant of $\rho _{f, \lambda }$ is $\epsilon _{l}^{k-1}$ where $\epsilon _{l}$ is the l-adic cyclotomic character. We shall consider the twist $\rho ^{*}_{f, \lambda }=\rho _{f, \lambda }(\frac {2-k}{2})$ . Let $\mathrm {V}_{f, \lambda }$ be the representation space for $\rho ^{*}_{f, \lambda }$ . We normalise the construction of $\rho _{f, \lambda }$ such that it occurs in the cohomology $\mathrm {H}^{1}(X_{\mathbf {Q}^{\mathrm {ac}}}, \mathcal {L}_{k-2}(E_{\lambda })(\frac {k}{2}))$ and therefore $\rho ^{*}_{f, \lambda }$ occurs in the cohomology $\mathrm {H}^{1}(X_{\mathbf {Q}^{\mathrm {ac}}}, \mathcal {L}_{k-2}(E_{\lambda })(1))$ . Let $\mathbb {T}=\mathbb {T}(N^{+}, N^{-})$ be the l-adic completion of the integral Hecke algebra that acts faithfully on the subspace of $S_{k}(N)$ consisting of forms that are new at $N^{-}$ and let $\mathbb {T}^{[p]}=\mathbb {T}(N^{+}, pN^{-})$ be the l-adic completion of the integral Hecke algebra that acts faithfully on the subspace of $S_{k}(pN)$ consisting of modular forms that are new at $pN^{-}$ . The modular form f gives rise to a homomorphism $\phi _{f}: \mathbb {T}\rightarrow \mathcal {O}$ corresponding to the Hecke eigensystem of f. For $n\geq 1$ , we define $\phi _{f, n}: \mathbb {T}\rightarrow \mathcal {O}_{n}:=\mathcal {O}/\varpi ^{n}$ to be the natural reduction of $\phi _{f}$ by $\varpi ^{n}$ . We will define $I_{f, n}$ to be the kernel of the morphism $\phi _{f, n}$ and by $\mathfrak {m}_{f}$ the unique maximal ideal of $\mathbb {T}$ containing $I_{f, n}$ . We fix a $G_{\mathbf {Q}}$ -stable lattice $\mathrm {T}_{f, \lambda }$ in $\mathrm {V}_{f, \lambda }$ and denote by $\mathrm {T}_{f, n}$ the reduction $\mathrm {T}_{f,\lambda }\mod \varpi ^{n}$ . We will always assume that the residual Galois representation $\bar {\rho }_{f, \lambda }$ satisfies the following assumption.

We will now prove a level-raising result for the modular form f. First, we recall the following notion of n-admissible prime for f.

We consider the special fibre $\overline {W}_{k, d}$ of $\mathcal {W}_{k, d, {\mathbf {Z}}_{p^{2}}}$ and define its supersingular locus by $W^{\mathrm {ss}}_{k, d}:=\pi ^{-1}_{k, d}({X}^{\mathrm {ss}}_{d})$ . Similarly, we define the supersingular locus of $\mathcal {W}_{k, d}(p)$ by $W^{\mathrm {ss}}_{k, d}(p):=\pi ^{-1}_{k, d}(p)({X}^{\mathrm {ss}}_{d}(p))$ . We will consider the following ordinary-supersingular excision exact sequence

$$ \begin{align*} \mathrm{H}^{\frac{k}{2}}\left(\overline{W}_{k, d, \mathbf{F}^{\mathrm{ac}}_{p}}, \Lambda\left(\frac{k}{2}\right)\right) &\rightarrow \mathrm{H}^{\frac{k}{2}}\left(\overline{W}_{k, d, \mathbf{F}^{\mathrm{ac}}_{p}}- W^{\mathrm{ss}}_{k, d, \mathbf{F}^{\mathrm{ac}}_{p}}, \Lambda\left(\frac{k}{2}\right)\right) \\ &\rightarrow \mathrm{H}^{\frac{k}{2}+1}_{W^{\mathrm{ss}}_{k, d, \mathbf{F}^{\mathrm{ac}}_{p}}}\left(\overline{W}_{k, d,\mathbf{F}^{\mathrm{ac}}_{p}}, \Lambda\left(\frac{k}{2}\right)\right). \end{align*} $$

Apply the projector $\epsilon _{k}$ and localise at the maximal ideal $\mathfrak {m}_{f}$ ; we in fact obtain an exact sequence

$$ \begin{align*}0\rightarrow\mathrm{H}^{1}(\overline{X}_{d, \mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\Lambda)(1))_{\mathfrak{m}_{f}} \!\rightarrow \mathrm{H}^{1}(X^{\mathrm{ord}}_{d, \mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\Lambda)(1))_{\mathfrak{m}_{f}} \!\rightarrow \mathrm{H}^{0}(X^{\mathrm{ss}}_{d,\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\Lambda))_{\mathfrak{m}_{f}} \!\rightarrow 0. \end{align*} $$

This follows from Lemma 2.2 and the following equations:

1. (1) $\mathrm {H}^{\frac {k}{2}+1}_{W^{\mathrm {ss}}_{k, d}}(\mathcal {W}_{k, d}\otimes \mathbf {F}^{\mathrm {ac}}_{p}, \Lambda (\frac {k}{2}))\cong \bigoplus _{x\in X^{\mathrm {ss}}_{d}}\mathrm {H}^{\frac {k-2}{2}}(\mathcal {A}^{\frac {k-2}{2}}_{d, x}, \Lambda (\frac {k-2}{2}))$

2. (2) $\bigoplus _{x\in X^{\mathrm {ss}}_{d}}\epsilon _{k}\mathrm {H}^{\frac {k-2}{2}}(\mathcal {A}^{\frac {k-2}{2}}_{d, x}, \Lambda (\frac {k-2}{2}))\cong \bigoplus _{x\in X^{\mathrm {ss}}_{d}}L_{k-2}(\Lambda )$

by the definition of $\epsilon _{k}$ . Here $\mathcal {A}_{d, x}$ is the fibre of $\pi _{d}:\mathcal {A}_{d}\rightarrow \mathfrak {X}_{d}$ above x. The ordinary-supersingular excision exact sequence induces the following connecting homomorphism:

$$ \begin{align*} \Phi_{d}: \mathrm{H}^{0}(X^{\mathrm{ss}}_{d, \mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\Lambda))^{G_{\mathbf{F}_{p^{2}}}}_{\mathfrak{m}_{f}}\rightarrow \mathrm{H}^{1}(\mathbf{F}_{p^{2}}, \mathrm{H}^{1}(\overline{X}_{d, \mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\Lambda)(1))_{\mathfrak{m}_{f}}). \end{align*} $$

By applying the projector $\epsilon _{d}$ to the above map, we have

$$ \begin{align*} \Phi: \mathrm{H}^{0}(X^{\mathrm{ss}}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\Lambda))^{G_{\mathbf{F}_{p^{2}}}}_{\mathfrak{m}_{f}}\rightarrow \mathrm{H}^{1}(\mathbf{F}_{p^{2}}, \mathrm{H}^{1}(\overline{X}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\Lambda)(1))_{\mathfrak{m}_{f}}). \end{align*} $$

By further taking the quotient by $I_{f, n}$ , we have

$$ \begin{align*} \Phi_{n}: \mathrm{H}^{0}(X^{\mathrm{ss}}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\Lambda))^{G_{\mathbf{F}_{p^{2}}}}_{/I_{f, n}}\rightarrow \mathrm{H}^{1}(\mathbf{F}_{p^{2}}, \mathrm{H}^{1}(\overline{X}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\Lambda)(1))_{/I_{f, n}}). \end{align*} $$

The following theorem is known as the arithmetic level raising for the Kuga–Sato variety.

Proof of Theorem 2.9

We first proceed to show that $\Phi _{n}$ is surjective. We consider the localised weight spectral sequence for $\mathrm {H}^{1}(\mathfrak {X}_{0}(p)\otimes {\mathbf {Q}^{\mathrm {ac}}_{p}}, \mathcal {L}_{k-2}(\mathcal {O})(1))_{\mathfrak {m}_{f}}$ and its induced monodromy filtration:

$$ \begin{align*} \begin{aligned} &0\subset^{\mathrm{E}^{1,0}_{2,\mathfrak{m}_{f}}} M_{1}\mathrm{H}^{1}(\mathfrak{X}_{0}(p)\otimes{\mathbf{Q}^{\mathrm{ac}}},\mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}}\subset^{\mathrm{E}^{0,1}_{2, \mathfrak{m}_{f}}} M_{0}\mathrm{H}^{1}(\mathfrak{X}_{0}(p)\otimes{\mathbf{Q}^{\mathrm{ac}}},\mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}}\\ &\subset^{\mathrm{E}^{-1,2}_{2, \mathfrak{m}_{f}}} M_{-1}\mathrm{H}^{1}(\mathfrak{X}_{0}(p)\otimes{\mathbf{Q}^{\mathrm{ac}}},\mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}}.\\ \end{aligned} \end{align*} $$

By (2.11), we have

$$ \begin{align*} \begin{aligned} \mathrm{E}^{1,0}_{2,\mathfrak{m}_{f}}&=\ker[\mathrm{H}^{0}(\overline{X}_{0}(p)_{\mathbf{F}^{\mathrm{ac}}_{p}} , a_{1*}\mathcal{L}_{k-2}(\mathcal{O}))\xrightarrow{\tau} \mathrm{H}^{2}(\overline{X}_{0}(p)_{\mathbf{F}^{\mathrm{ac}}_{p}}, a_{0*}\mathcal{L}_{k-2}(\mathcal{O})(1))]_{\mathfrak{m}_{f}}\\ &=\mathrm{H}^{0}(X^{\mathrm{ss}}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}};\\ \mathrm{E}^{0,1}_{2, \mathfrak{m}_{f}}&= \mathrm{H}^{1}(\overline{X}_{0}(p)_{\mathbf{F}^{\mathrm{ac}}_{p}}, a_{0*}\mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}}\\ &=\mathrm{H}^{1}(\overline{X}_{\mathbf{F}^{\mathrm{ac}}_{p}},\mathcal{L}_{k-2}(\mathcal{O})(1))^{\oplus 2}_{\mathfrak{m}_{f}};\\ \mathrm{E}^{-1,2}_{2, \mathfrak{m}_{f}}&= \mathrm{coker}[\mathrm{H}^{0}(\overline{X}_{0}(p)_{\mathbf{F}^{\mathrm{ac}}_{p}}, a_{0*}\mathcal{L}_{k-2}(\mathcal{O})(1))\xrightarrow{\rho} \mathrm{H}^{0}(\overline{X}_{0}(p)_{\mathbf{F}^{\mathrm{ac}}_{p}}, a_{1*}\mathcal{L}_{k-2}(\mathcal{O})(1))]_{\mathfrak{m}_{f}}\\ &=\mathrm{H}^{0}(X^{\mathrm{ss}}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O}))_{\mathfrak{m}_{f}}.\\ \end{aligned} \end{align*} $$

Next we consider the pushforward map

$$ \begin{align*} \mathrm{H}^{1}(\mathfrak{X}_{0}(p)\otimes{\mathbf{Q}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}}\xrightarrow{(\pi_{1*}, \pi_{2*})} \mathrm{H}^{1}(\mathfrak{X}\otimes{\mathbf{Q}^{\mathrm{ac}}_{p}},\mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}}^{\oplus 2}. \end{align*} $$

This is surjective by ‘Ihara’s lemma’, Theorem 2.5 and Nakayma’s lemma. It is well-known that the composite

$$ \begin{align*} \mathrm{E}^{1,0}_{2,\mathfrak{m}_{f}}\hookrightarrow \mathrm{H}^{1}(\mathfrak{X}_{0}(p)\otimes{\mathbf{Q}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}}\xrightarrow{(\pi_{1*}, \pi_{2*})} \mathrm{H}^{1}(\mathfrak{X}\otimes{\mathbf{Q}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}}^{\oplus 2} \end{align*} $$

is zero. Therefore, we obtain the following commutative diagram where we have omitted the coefficient $\mathcal {L}_{k-2}(\mathcal {O})$ in all of the terms:

Here the top row of the diagram is the monodromy filtration of $\mathrm {H}^{1}(\mathfrak {X}\otimes {\mathbf {Q}^{\mathrm {ac}}_{p}},\mathcal {L}_{k-2}(\mathcal {O})(1))_{\mathfrak {m}_{f}}$ which is exact on the right. The map $\Phi ^{\prime }$ is the one naturally induced by $({\pi _{1*}, \pi _{2*}})$ . The map $\nabla $ is by definition given by the composite of $({\pi _{1*}, \pi _{2*}})$ and $({i_{1*}, i_{2*}})$ . By (2.9), the map $\nabla $ is given by the matrix

$$ \begin{align*} \begin{pmatrix} \mathrm{id} & \mathrm{Frob}_{p}\\ \mathrm{Frob}_{p} & \mathrm{id}\\ \end{pmatrix}, \end{align*} $$

since the central element $S_{p}$ has the trivial action. It then follows that we have an isomorphism

$$ \begin{align*} \mathrm{coker}(\nabla) = \mathrm{H}^{1}(\mathbf{F}_{p^{2}}, \mathrm{H}^{1}(\mathfrak{X}\otimes{\mathbf{Q}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}}). \end{align*} $$

Since $({\pi _{1*}, \pi _{2*}})$ is surjective, the map $\Phi ^{\prime }$ is surjective as well. Let $\Phi ^{\prime }_{n}$ be the reduction of $\Phi ^{\prime }$ modulo $I_{f,n}$ . Therefore, we are left to show that $\Phi ^{\prime }_{n}$ agrees with the map $\Phi _{n}$ . To show this, we rely on some results proved in [Reference Illusie16]. More precisely, the natural quotient map induced by the monodromy filtration

$$ \begin{align*} \mathrm{H}^{1}(\mathfrak{X}_{0}(p)\otimes{\mathbf{Q}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}}\rightarrow \mathrm{H}^{0}(X^{\mathrm{ss}}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O}))_{\mathfrak{m}_{f}} \end{align*} $$

factors through $\mathrm {H}^{1}(X^{\mathrm {ord}}_{\mathbf {F}^{\mathrm {ac}}_{p}}, \mathcal {L}_{k-2}(\mathcal {O}))$ :

$$ \begin{align*} \mathrm{H}^{1}(\mathfrak{X}_{0}(p)\otimes{\mathbf{Q}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}} &\xrightarrow{i^{*}_{1}}\mathrm{H}^{1}(X^{\mathrm{ord}}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}} \\ & \rightarrow \mathrm{H}^{0}(X^{\mathrm{ss}}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O}))_{\mathfrak{m}_{f}} \rightarrow 0 \end{align*} $$

where the map $\mathrm {H}^{1}(X^{\mathrm {ord}}_{\mathbf {F}^{\mathrm {ac}}_{p}}, \mathcal {L}_{k-2}(\mathcal {O})(1))_{\mathfrak {m}_{f}} \rightarrow \mathrm {H}^{0}(X^{\mathrm {ss}}_{\mathbf {F}^{\mathrm {ac}}_{p}}, \mathcal {L}_{k-2}(\mathcal {O}))_{\mathfrak {m}_{f}}$ comes from the natural excision exact sequence for $\mathrm {H}^{1}(\mathfrak {X}\otimes {\mathbf {F}^{\mathrm {ac}}_{p}}, \mathcal {L}_{k-2}(\mathcal {O})(1))_{\mathfrak {m}_{f}}$ and $i^{*}_{1}$ is the pullback of the cohomology of nearby cycles

$$ \begin{align*} \mathrm{H}^{1}(\overline{X}_{0}(p)_{\mathbf{F}^{\mathrm{ac}}_{p}}, R\Psi(\mathcal{L}_{k-2}(\mathcal{O}))(1))_{\mathfrak{m}_{f}}\xrightarrow{i^{*}_{1}}\mathrm{H}^{1}(X^{\mathrm{ord}}_{\mathbf{F}^{\mathrm{ac}}_{p}},R\Psi(\mathcal{L}_{k-2}(\mathcal{O}))(1))_{\mathfrak{m}_{f}}. \end{align*} $$

For the proof of these facts, see [Reference Illusie16, Proposition 1.3], which extends to nontrivial coefficients. Let $x\in \mathrm {H}^{0}(X^{\mathrm {ss}}_{\mathbf {F}^{\mathrm {ac}}_{p}}, \mathcal {L}_{k-2}(\mathcal {O}))_{\mathfrak {m}_{f}}$ and let $\tilde {x}$ be a preimage of x in $\mathrm {H}^{1}(X^{\mathrm {ord}}_{\mathbf {F}^{\mathrm {ac}}_{p}}, \mathcal {L}_{k-2}(\mathcal {O})(1))_{\mathfrak {m}_{f}}$ . Since $i^{*}_{1}i_{1*}$ is the identity map, we can take $i_{1*}(\tilde {x})$ as a preimage of $\tilde {x}$ in

$$ \begin{align*} \mathrm{H}^{1}(\overline{X}_{0}(p)_{\mathbf{F}^{\mathrm{ac}}_{p}}, R\Psi(\mathcal{L}_{k-2}(\mathcal{O}))(1))_{\mathfrak{m}_{f}}. \end{align*} $$

Therefore, for $x\in \mathrm {H}^{0}(X^{\mathrm {ss}}_{\mathbf {F}^{\mathrm {ac}}_{p}}, \mathcal {L}_{k-2}(\mathcal {O}))$ , we have $\Phi ^{\prime }(x)=(\pi _{1*}i_{1*}(\tilde {x}), \pi _{2*}i_{2*}(\tilde {x}))=(\tilde {x}, \mathrm {Frob}_{p}(\tilde {x}))$ . Since the natural quotient map

$$ \begin{align*} \mathrm{H}^{1}(\mathfrak{X}\otimes{\mathbf{Q}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}}\oplus \mathrm{H}^{1}(\mathfrak{X}\otimes{\mathbf{Q}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}} \rightarrow \mathrm{coker}(\nabla) \end{align*} $$

is given by sending

$$ \begin{align*} (x, y)\in \mathrm{H}^{1}(\mathfrak{X}\otimes{\mathbf{Q}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}}\oplus \mathrm{H}^{1}(\mathfrak{X}\otimes{\mathbf{Q}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{\mathfrak{m}_{f}} \end{align*} $$

to $(x-\mathrm {Frob}_{p}(y))$ in light of the definition of $\nabla $ , we have $\Phi ^{\prime }(x)=(1-\mathrm {Frob}^{2}_{p})\tilde {x}$ . But this is precisely the definition of $\Phi (x)$ . Note that we have an isomorphism

$$ \begin{align*} \mathrm{T}^{r}_{f, n}\cong \mathrm{H}^{1}(\mathfrak{X}\otimes{\mathbf{Q}^{\mathrm{ac}}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{/I_{f, n}} \end{align*} $$

for some positive integer r. By Definition 2.8 (3), we have $\mathrm {T}_{f, n}\vert _{G_{\mathbf {Q}_{p}}}\cong \mathcal {O}_{n}(1)\oplus \mathcal {O}_{n}$ . Then it follows that

$$ \begin{align*} \mathrm{H}^{1}(\mathbf{F}_{p^{2}}, \mathrm{H}^{1}(\overline{X}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{/I_{f, n}})\cong\mathrm{H}^{1}(\mathbf{F}_{p^{2}}, \mathcal{O}_{n}(1)\oplus\mathcal{O}_{n})^{r}. \end{align*} $$

Therefore, $\mathrm {Frob}_{p}$ acts by $\epsilon _{p}$ on $\mathrm {H}^{1}(\mathbf {F}_{p^{2}}, \mathrm {H}^{1}(\overline {X}_{\mathbf {F}^{\mathrm {ac}}_{p}}, \mathcal {L}_{k-2}(\mathcal {O})(1))_{/I_{f, n}})$ . By [Reference Ribet30, Proposition 3.8], which also applies to our more general setting, we know that $\mathrm {Frob}_{p}$ acts by $U_{p}$ on $X^{\mathrm {ss}}$ and thus by $p^{\frac {2-k}{2}}U_{p}$ on $\mathrm {H}^{0}(X^{\mathrm {ss}}, \mathcal {L}_{k-2}(\mathcal {O}))$ . From the above discussion and by identifying $S^{B}_{k}(N^{+}, \mathcal {O})$ with $\mathrm {H}^{0}(X^{\mathrm {ss}}_{\mathbf {F}^{\mathrm {ac}}_{p}}, \mathcal {L}_{k-2}(\mathcal {O}))$ , we conclude that we have a surjective morphism

$$ \begin{align*} \begin{aligned} \Phi_{n}: S^{B}_{k}(N^{+}, \mathcal{O}) &\twoheadrightarrow \mathrm{H}^{1}(\mathbf{F}_{p^{2}}, \mathrm{H}^{1}(\overline{X}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{/I_{f, n}})\\ & \cong \mathrm{H}^{1}(\mathbf{F}_{p^{2}}, \mathcal{O}_{n}(1)\oplus\mathcal{O}_{n})^{r}\\ & \cong \mathcal{O}^{r}_{n}.\\ \end{aligned} \end{align*} $$

This gives us the desired morphism $\phi ^{[p]}_{f, n}: \mathbb {T}^{[p]}\rightarrow \mathcal {O}_{n}$ by projecting to any copy of $\mathcal {O}^{r}_{n}$ in the above equation. This finishes the proof of $(1)$ .

The statement in $(2)$ follows from the main results of [Reference Diamond and Taylor12, Theorem 2] with trivial modification to cover the higher weight case. Note that when $n\geq 2$ , this lift may not exist.

The statement in $(3)$ follows from [Reference Chida and Hsieh8, Proposition 6.8] and the slight modification in [Reference Chida7, Proposition 5.9], which replaces the ordinary local condition at l by the more general local conditions given by Fontaine–Laffaille theory. It follows then $S^{B}_{k}(N^{+}, \mathcal {O})/I^{[p]}_{f, n}$ is of rank $1$ over $\mathcal {O}_{n}$ . Since we have a surjective map $\Phi _{n}: S^{B}_{k}(N^{+}, \mathcal {O}) \twoheadrightarrow \mathrm {H}^{1}(\mathbf {F}_{p^{2}}, \mathrm {H}^{1}(\overline {X}_{\mathbf {F}^{\mathrm {ac}}_{p}}, \mathcal {L}_{k-2}(\mathcal {O})(1))_{/I_{f, n}})$ , the rank of $\mathrm {H}^{1}(\overline {X}_{\mathbf {F}^{\mathrm {ac}}_{p}}, \mathcal {L}_{k-2}(\mathcal {O})(1))_{/I_{f, n}}$ has to be $2$ .

The statement in $(4)$ follows from the previous discussions. More precisely, by $(3)$ , the module $S^{B}_{k}(N^{+}, \mathcal {O})_{/I^{[p]}_{f, n}}$ is free of rank 1 over $\mathcal {O}_{n}$ and we have a surjective map $\Phi _{n}$ . This concludes the proof of this theorem.

2.6 Ramified level raising on Kuga–Sato varieties

Let $B^{\prime \prime }$ be the indefinite quaternion algebra with discriminant $pp^{\prime }N^{-}$ . Let $\mathcal {O}_{B^{\prime \prime }, N^{+}}$ be an Eichler order of level $N^{+}$ contained in a fixed maximal order $\mathcal {O}_{B^{\prime \prime }}$ . Then we define the Shimura curve $X^{\prime \prime }=X^{B^{\prime \prime }}_{N^{+}, pp^{\prime }N^{-}}$ the same way as we define $X=X^{B^{\prime }}_{N^{+}, N^{-}}$ . Then we define an integral model $\mathfrak {X}^{\prime \prime }$ of $X^{\prime \prime }$ over ${\mathbf {Z}}_{p^{\prime }}$ . For a ${\mathbf {Z}}_{p^{\prime }}$ -scheme S, $\mathfrak {X}^{\prime \prime }$ is the set of triples $(A, \iota , C)$ where

1. (1) A is an S-abelian scheme of relative dimension $2$ ;

2. (2) $\iota : \mathcal {O}_{B^{\prime \prime }}\hookrightarrow \operatorname {\mathrm {End}}_{S}(A)$ is an embedding which is special in the sense of [Reference Boutot and Carayol4, pg. 131-132];

3. (3) C is an $\mathcal {O}_{B^{\prime \prime }}$ -stable locally cyclic subgroup of $A[N^{+}]$ of order $N^{+2}$ .

This moduli problem is coarsely represented by a projective scheme $\mathfrak {X}^{\prime \prime }$ of relative dimension $1$ over ${\mathbf {Z}}_{p^{\prime }}$ . We can similarly rigidify the moduli problem by adding a full level-d structure for a square-free positive integer d with $(d, pp^{\prime }N)=1$ as we did in (2.2). Then we will write the resulting moduli problem by $\mathfrak {X}^{\prime \prime }_{d}$ . The formal completion of $\mathfrak {X}^{\prime \prime }_{d}$ along the special fibre at $p^{\prime }$ admits the Cerednick–Drinfeld uniformisation after base change to ${\mathbf {Z}}_{p^{\prime 2}}$ . The Cerednick–Drinfeld uniformisation theorem asserts that the ${\mathfrak {X}}^{\prime \prime \wedge }_{d}$ can be uniformised by the formal scheme $\mathcal {M}$ , which is a disjoint union of the Drinfeld upper half-planes

(2.18) $$ \begin{align} {\mathfrak{X}}^{\prime\prime\wedge}_{d} \xrightarrow{\sim} G(\mathbf{Q})\backslash \mathcal{M} \times G(\mathbf{A}^{(\infty, p^{\prime})})/K^{p^{\prime}}_{d}. \end{align} $$

Here K is the open compact subgroup given by the Eichler order $\mathcal {O}_{B, N^{+}}$ and $K_{d}$ is given by

$$ \begin{align*} K_{d}=\{g=(g_{v})_{v}\in K: g_{v}\equiv \begin{pmatrix}1&0\\0& 1\end{pmatrix}\mod v \text{ for all } v\mid d\}. \end{align*} $$

Let $\overline {X}^{\prime \prime }_{d}$ be the special fibre of $\mathfrak {X}^{\prime \prime }_{d}$ . Then we have the following proposition.

Let $\pi ^{\prime \prime }_{k, d}: \mathcal {W}^{\prime \prime }_{k, d}\rightarrow \mathfrak {X}^{\prime \prime }_{d}$ be the Kuga–Sato variety defined similarly as in (2.15). Then there is a semi-stable model $\widetilde {\mathcal {W}}^{\prime \prime }_{k, d}$ constructed in [Reference Saito32, Lemma 7.1] and the action of the projector $\epsilon _{k}$ extends naturally to the semi-stable model $\widetilde {\mathcal {W}}^{\prime \prime }_{k, d}$ . Moreover, the first page of the weight spectral sequence converges to $\epsilon _{k}\mathrm {H}^{k-1}(\widetilde {\mathcal {W}}^{\prime \prime }_{k, d}\otimes \mathbf {Q}_{p^{\prime }}^{\mathrm {ac}}, \Lambda )=\mathrm {H}^{1}(\mathfrak {X}^{\prime \prime }_{d}\otimes \mathbf {Q}_{p^{\prime }}^{\mathrm {ac}}, \mathcal {L}_{k-2}(\Lambda ))$ and takes the following form by [Reference Saito32, (8.10)]

This means that the weight spectral sequence of the Kuga–Sato variety agrees with the weight spectral sequence of the base curve with certain nontrivial coefficients. By further applying the projector $\epsilon _{d}$ , we obtain the first page of the weight spectral sequence converging to

(2.19) $$ \begin{align} \mathrm{H}^{1}( \mathfrak{X}^{\prime\prime}\otimes \mathbf{Q}^{\mathrm{ac}}_{p^{\prime}}, \mathcal{L}_{k-2}(\Lambda)) \end{align} $$

Note that we can make it explicit for the terms in the above spectral sequence:

1. (1) $ \mathrm {H}^{0}(\mathfrak {X}^{\prime \prime }\otimes \mathbf {F}^{\mathrm {ac}}_{p^{\prime }}, a_{1*}\mathcal {L}_{k-2}(\Lambda ))=\mathrm {H}^{0}(X^{B}_{0}(p)_{\mathbf {F}^{\mathrm {ac}}_{p^{\prime }}}, \mathcal {L}_{k-2}(\Lambda ))$ ;

2. (2) $\mathrm {H}^{1}(\mathfrak {X}^{\prime \prime }\otimes \mathbf {F}^{\mathrm {ac}}_{p^{\prime }}, a_{0*}\mathcal {L}_{k-2}(\Lambda ))=0$ ;

3. (3) $\mathrm {H}^{0}(\mathfrak {X}^{\prime \prime }\otimes \mathbf {F}^{\mathrm {ac}}_{p^{\prime }}, a_{0*}\mathcal {L}_{k-2}(\Lambda ))=\mathrm {H}^{0}(X^{B}_{\mathbf {F}^{\mathrm {ac}}_{p^{\prime }}}, \mathcal {L}_{k-2}(\Lambda ))^{\oplus 2}$ .

Let $\mathbb {T}^{[pp^{\prime }]}$ be the l-adic completion of the integral Hecke algebra that acts faithfully on the subspace of $S_{k}(pp^{\prime }N)$ consisting of forms that are new at $pp^{\prime }N^{-}$ .

Proof. Following the formulas proved in (2.14), we have that

(2.20) $$ \begin{align} \mathrm{H}^{1}_{\mathrm{sing}}(\mathbf{Q}_{p^{\prime2}}, \mathrm{H}^{1}(\mathfrak{X}^{\prime\prime}\otimes{\mathbf{Q}_{p^{\prime}}^{\mathrm{ac}}}, \mathcal{L}_{k-2}(\mathcal{O})(1))) \end{align} $$

is isomorphic to

(2.21) $$ \begin{align} \mathrm{coker}[\mathrm{H}^{0}(X^{\prime\prime}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}, a_{0*}\mathcal{L}_{k-2}(\mathcal{O}))\xrightarrow{\rho} \mathrm{H}^{0}(X^{\prime\prime}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}, a_{1*}\mathcal{L}_{k-2}(\mathcal{O}))\xrightarrow{\tau} \mathrm{H}^{2}(X^{\prime\prime}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}, a_{0*}\mathcal{L}_{k-2}(\mathcal{O}(1)))]^{G_{\mathbf{F}_{p^{\prime2}}}}. \end{align} $$

Here we have

$$ \begin{align*} \mathrm{H}^{0}(X^{\prime\prime}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}, a_{0*}\mathcal{L}_{k-2}(\mathcal{O}))=\mathrm{H}^{0}(X^{B}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}, \mathcal{L}_{k-2}(\mathcal{O}))^{\oplus2} \end{align*} $$

and we can identify it with the space $S^{B}_{k}(N^{+},\mathcal {O})^{\oplus 2}$ . Similarly, under the Poincare duality, we can also identify

$$ \begin{align*} \mathrm{H}^{2}(X^{\prime\prime}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}, a_{0*}\mathcal{L}_{k-2}(\mathcal{O})(1))=\mathrm{H}^{2}(\mathbf{P}^{1}(X^{B}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}), \mathcal{L}_{k-2}(\mathcal{O})(1))^{\oplus2} \end{align*} $$

with $S^{B}_{k}(N^{+}, \mathcal {O})^{\oplus 2}$ . The space $\mathrm {H}^{0}(X^{\prime \prime }_{\mathbf {F}^{\mathrm {ac}}_{p^{\prime }}}, a_{1*}\mathcal {L}_{k-2}(\mathcal {O}))$ can be identified with $S^{B}_{k}(pN^{+},\mathcal {O})$ . Under these identifications, the composition

$$ \begin{align*} \mathrm{H}^{0}(X^{\prime\prime}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}, a_{0*}\mathcal{L}_{k-2}(\mathcal{O}))\xrightarrow{\rho} \mathrm{H}^{0}(X^{\prime\prime}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}, a_{1*}\mathcal{L}_{k-2}(\mathcal{O}))\xrightarrow{\tau} \mathrm{H}^{2}(X^{\prime\prime}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}, a_{0*}\mathcal{L}_{k-2}(\mathcal{O}(1))) \end{align*} $$

is given by the intersection matrix

$$ \begin{align*} \begin{pmatrix} -p^{\prime\frac{k-2}{2}}(p^{\prime}+1) &T_{p^{\prime}}\\ T_{p^{\prime}} &-p^{\prime\frac{k-2}{2}}(p^{\prime}+1)\\ \end{pmatrix}, \end{align*} $$

which we will also denote by $\nabla $ . Since $p, p^{\prime }$ are n-admissible for f, the module

$$ \begin{align*} \mathrm{coker}\left[S^{B}_{k}(N^{+},\mathcal{O})^{\oplus 2}_{/I^{[p]}_{f, n}}\xrightarrow{\nabla}S^{B}_{k}(N^{+},\mathcal{O})^{\oplus 2}_{/I^{[p]}_{f, n})}\right] \end{align*} $$

is of rank 1 over $\mathcal {O}_{n}$ and is isomorphic to $S^{B}_{k}(N^{+},\mathcal {O})_{/I^{[p]}_{f, n}}$ . Note here the isomorphism between

$$ \begin{align*} \mathrm{coker}\left[S^{B}_{k}(N^{+},\mathcal{O})^{\oplus 2}_{/I^{[p]}_{f, n}}\xrightarrow{\nabla}S^{B}_{k}(N^{+},\mathcal{O})^{\oplus 2}_{/I^{[p]}_{f, n})}\right] \end{align*} $$

and $S^{B}_{k}(N^{+},\mathcal {O})^{\oplus 2}_{/I^{[p]}_{f, n}}$ is induced by the map $(x, y)\mapsto \frac {1}{2}(x+\epsilon _{p^{\prime }}y)$ for $(x, y)\in S^{B}_{k}(N^{+},\mathcal {O})^{\oplus 2}_{/I^{[p]}_{f, n}}$ . By [Reference Bertolini and Darmon1, Theorem 5.8] and [Reference Chida and Hsieh9, §3.5] adapted to the higher weight case, the natural $U_{p}$ -action on

$$ \begin{align*} \mathrm{H}^{2}(X^{\prime\prime}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}, a_{0*}\mathcal{L}_{k-2}(\mathcal{O})(1))\cong S^{B}_{k}(N^{+},\mathcal{O})^{\oplus 2} \end{align*} $$

is given by $(x, y)\mapsto (-p^{\prime \frac {k}{2}}y, p^{\prime \frac {k-2}{2}}x+T_{p^{\prime }}y)$ . We consider the automorphism

$$ \begin{align*} \delta: S^{B}_{k}(N^{+},\mathcal{O})^{\oplus 2} \rightarrow S^{B}_{k}(N^{+},\mathcal{O})^{\oplus 2} \end{align*} $$

given by $(x, y)\mapsto ( p^{\prime \frac {k-2}{2}}x+T_{p^{\prime }}y, p^{\prime \frac {k-2}{2}}y)$ . Then a quick calculation gives us that $\nabla \circ \delta =p^{\prime -(k-2)}U^{2}_{p^{\prime }}-1$ . This means that the quotient

$$ \begin{align*} \frac{S^{B}_{k}(N^{+},\mathcal{O})^{\oplus 2}}{(I^{[p]}_{f, n}, U^{2}_{p^{\prime}}-p^{\prime k-2})} \cong \mathrm{coker}\left[S^{B}_{k}(N^{+},\mathcal{O})^{\oplus 2}_{/I^{[p]}_{f, n}}\xrightarrow{\nabla}S^{B}_{k}(N^{+},\mathcal{O})^{\oplus 2}_{/I^{[p]}_{f, n})}\right]\end{align*} $$

is of rank $1$ . Since $p^{\prime }$ is n-admissible for f, we see immediately that $U_{p^{\prime }}+\epsilon _{p^{\prime }}p^{\prime \frac {k-2}{2}}$ is invertible on $S^{B}_{k}(N^{+},\mathcal {O})^{\oplus 2}_{/I^{[p^{\prime }]}_{f, n}}$ . Therefore, we have

$$ \begin{align*} \frac{S^{B}_{k}(N^{+},\mathcal{O})^{\oplus 2}}{(I^{[p]}_{f, n},U^{2}_{p^{\prime}}-p^{\prime k-2})} \cong \frac{S^{B}_{k}(N^{+},\mathcal{O})^{\oplus 2}}{(I^{[p]}_{f, n},U_{p^{\prime}}-\epsilon_{p^{\prime}}p^{\prime \frac{k-2}{2}})} \end{align*} $$

and the latter quotient is of rank $1$ over $\mathcal {O}_{n}$ . Then the action of $\mathbb {T}^{[pp^{\prime }]}$ on this rank $1$ quotient gives the desired morphism $\phi ^{[pp^{\prime }]}_{f, n}: \mathbb {T}^{[pp^{\prime }]}\rightarrow \mathcal {O}_{n}$ . This finishes the proof of the part $(1)$ . Part $(2)$ follows directly from part $(1)$ using the isomorphism between (2.20) and (2.21).

3.1 Heegner cycles over Shimura curves

Let K be an imaginary quadratic field with discriminant $-D_{K}<0$ and set $\delta _{K}=\sqrt {-D_{K}}$ . Let $z\mapsto \bar {z}$ be the complex conjugate action on K. We define $\boldsymbol {\theta }$ by

$$ \begin{align*} \boldsymbol{\theta}=\frac{D^{\prime}+\delta_{K}}{2}, \hphantom{a}D^{\prime}= \begin{cases} D_{K}\hphantom{a} &\text{if }2\nmid D_{K};\\ D_{K}/2\hphantom{a}& \text{if }2\mid D_{K}. \end{cases} \end{align*} $$

We always fix a positive integer N such that $N=N^{+}N^{-}$ with $N^{+}$ consists of prime factors that are split in K, while $N^{-}$ consists of prime factors that are inert in K. We will assume the following generalised Heegner hypothesis:

(Heeg) $$ \begin{align} N^{-}\ \text{is square-free and consists of even number of prime factors that are inert in}\ K. \end{align} $$

Let $B^{\prime }$ be the indefinite quaternion algebra of discriminant $N^{-}$ . We can regard K as a subalgebra of $B^{\prime }$ via an embedding $\iota : K\hookrightarrow B^{\prime }$ . Let m be a positive integer such that $(m, Nl)=1$ . We will chose an element J such that

(3.1) $$ \begin{align} B^{\prime}=K\oplus K\cdot J \end{align} $$

and satisfies the following properties:

1. (1) $J^{2}=\beta \in \mathbf {Q}^{\times }$ with $\beta <0$ and $Jt=\bar {t}J$ for all $t\in K$ ;

2. (2) $\beta \in ({\mathbf {Z}}^{\times }_{q})^{2}$ for all $q\mid N^{+}$ and $\beta \in {\mathbf {Z}}^{\times }_{q}$ for $q\mid D_{K}$ .

We define $\varsigma _{q}\in G^{\prime }(\mathbf {Q}_{q})$ as follows:

(3.2) $$ \begin{align} \varsigma_{q}= \begin{cases} 1 &\text{if}\ q\nmid mN^{+};\\ \delta^{-1}\begin{pmatrix}\boldsymbol{\theta} & \bar{\boldsymbol{\theta}}\\ 1& 1\\ \end{pmatrix}& \text{if}\ q=\mathfrak{q}\bar{\mathfrak{q}}\ \text{is split with}\ \mathfrak{q}\mid \mathfrak{N}^{+};\\ \begin{pmatrix}q^{n} & 0\\ 0& 1\\ \end{pmatrix}& \text{if}\ q\mid m\ \text{and}\ q\ \text{is inert in}\ K\ \text{with}\ n=\mathrm{ord}_{q}(m);\\ \begin{pmatrix}1 & q^{-n}\\ 0& 1\\ \end{pmatrix}& \text{if}\ q\mid m\ \text{and}\ q\ \text{is split in}\ K\ \text{with}\ n=\mathrm{ord}_{q}(m),\\ \end{cases} \end{align} $$

and we define the element $\varsigma \in G^{\prime }(\mathbf {A}^{(\infty )})$ by $\varsigma =\prod _{q}\varsigma _{q}$ .

Recall that we have defined the Atkin–Lehner involution at q to be

(3.3) $$ \begin{align} \tau_{q}= \begin{cases} \begin{pmatrix}0& 1\\ -N^{+}& 0\\ \end{pmatrix} &\text{for}\ q\mid N^{+};\\ J &\text{for}\ q\mid \infty N^{-};\\ 1 &\text{for}\ q\nmid N. \end{cases} \end{align} $$

We abuse the notation and put $\tau ^{N^{+}}=\prod _{q\ \text {finite}}\tau _{q}$ as an element in $G^{\prime }(\mathbf {A}^{(\infty )})$ . Next we define the set of CM points on X. We define $z^{\prime }$ to be the fixed point in $\mathcal {H}^{\pm }$ by $\iota _{\infty }(K)\subset \mathrm {GL}_{2}(\mathbf {R})$ . We define the set of CM points on the Shimura curve X by

$$ \begin{align*} \mathrm{CM}_{K}(X)=\{[z^{\prime}, b^{\prime}]_{\mathbf{C}}: b^{\prime}\in G^{\prime}(\mathbf{A}^{(\infty)})\}. \end{align*} $$

Let $\mathrm {rec}_{K}: \widehat {K}^{\times }\rightarrow \mathrm {Gal}(K^{\mathrm {ab}}/K)$ be the geometrically normalised reciprocity law. The Shimura reciprocity law says that

$$ \begin{align*} \mathrm{rec}_{K}(a)[z^{\prime}, b^{\prime}]=[z^{\prime}, \iota(a)b^{\prime}]. \end{align*} $$

Let m be a positive integer that is prime to N. Let $\mathcal {O}_{K, m}={\mathbf {Z}}+m\mathcal {O}_{K}$ be the order of K with conductor m. Let $\mathcal {G}_{m}=K^{\times }\backslash \widehat {K}^{\times }/ \widehat {\mathcal {O}}^{\times }_{K, m}$ be the Galois group of the ring class field $K_{m}$ of conductor m over K. Let $a\in \widehat {K}^{\times }$ and p be a prime which is inert in K; then we define the CM point of level m on X by

(3.4) $$ \begin{align} {P}_{m}(a)=[z^{\prime}, a^{(p)}\varsigma\tau^{N^{+}}]_{\mathbf{C}}\in X(\mathbf{C}). \end{align} $$

We set $P_{m}:={P}_{m}(1)$ and call this the Heegner point of level m. By definition, this gives a point in $X(K_{m})$ which has the following moduli interpretation. The point ${P}_{m}$ corresponds to a triple $(A_{m}, \iota _{m}, C_{m})$ such that $\operatorname {\mathrm {End}}(A_{m}, \iota _{m})$ is isomorphic to $\mathcal {O}_{K, m}$ . We let $(\tilde {P}_{m}(a), \tilde {P}_{m})$ be an arbitrary lift of $(P_{m}(a), P_{m})$ in $X_{d}(K_{m})$ .

We define Heegner cycles over $X_{d}$ and X following [Reference Nekovar25] in the classical modular curve case and [Reference Iovita and Speiss17], [Reference Chida7] in the Shimura curve case. Consider the point $\tilde {P}_{m}=({A}_{m}, {\iota }_{m}, {C}_{m}, \nu _{m})$ and the Neron–Severi group $\mathrm {NS}({A}_{m})$ of ${A}_{m}$ . There is a natural action of $B^{\prime \times }$ on $\mathrm {NS}({A}_{m})_{\mathbf {Q}}$ given by $\mathcal {L}\cdot b=\iota _{m}(b)^{*}\mathcal {L}$ . Since ${A}_{m}$ admits an action of $\mathcal {O}_{B^{\prime }}\otimes \mathcal {O}_{K, m}\cong \mathrm {M}_{2}(\mathcal {O}_{K, m})$ , it is clear that ${A}_{m}$ is isomorphic to a product $E_{m}\times E_{m}$ with $E_{m}$ an elliptic curve with CM by $\mathcal {O}_{K, m}$ . Let $\Gamma _{m}$ be the graph of $m\sqrt {-D_{K}}$ in ${A}_{m}=E_{m}\times E_{m}$ . Then we define $Z_{m}$ to be the image of the divisor given by $[\Gamma _{m}]-[E_{m}\times 0]-mD_{K}[0\times E_{m}]$ in $\mathrm {NS}(A_{m})$ . It lies in the rank 1 submodule of $\mathrm {NS}({A}_{m})$ generated by $\langle [0\times E_{m}], [E_{m}\times 0], \Delta _{m}\rangle $ where $\Delta _{m}$ is the diagonal. Let $y_{m}\in \mathrm {NS}({A}_{m})\otimes {\mathbf {Z}}_{l}$ be the class representing $m^{-1}Z_{m}$ . This is the unique class up to sign satisfying

1. (1) $\iota _{m}(b)^{*}(y_{m})=\mathrm {Nrd}(b)y_{m}$ for any $b\in B^{\prime }$ ;

2. (2) The self-intersection number of $y_{m}$ is $2D_{K}$ .

Taking the $\frac {k-2}{2}$ th exterior product of the element $\epsilon _{2}y_{m}\in \epsilon _{2}\mathrm {NS}({A}_{m})\otimes {\mathbf {Z}}_{l}\cong \epsilon _{2}\mathrm {CH}^{1}({A}_{m})\otimes {\mathbf {Z}}_{l}$ , we obtain an element $\epsilon _{k}y^{\frac {k-2}{2}}_{m}\in \epsilon _{k} \mathrm {CH}^{\frac {k-2}{2}}({A}^{\frac {k-2}{2}}_{m})\otimes {\mathbf {Z}}_{l}$ . Denote by the embedding $j_{k, d}: {A}^{\frac {k-2}{2}}_{m}\hookrightarrow \mathcal {W}_{k, d}$ which is of codimension $1$ . We have the pushforward map

(3.5) $$ \begin{align} \begin{aligned} \epsilon_{k}\mathrm{CH}^{\frac{k-2}{2}}({A}^{\frac{k-2}{2}}_{m})\otimes {\mathbf{Z}}_{l}\xrightarrow{j_{k, d*}}\epsilon_{k}\mathrm{CH}^{\frac{k}{2}}(\mathcal{W}_{k, d})\otimes{\mathbf{Z}}_{l}. \end{aligned} \end{align} $$

Then we define the Heegner cycle $Y_{m, k}$ in $\epsilon _{k}\mathrm {CH}^{\frac {k}{2}}(\mathcal {W}_{k, d}\otimes K_{m})\otimes {\mathbf {Z}}_{l}$ by

(3.6) $$ \begin{align} Y_{m, k}:=j_{k, d*}(\epsilon_{k}y^{\frac{k-2}{2}}_{m}). \end{align} $$

Next we consider the Abel–Jacobi map for $X_{d}$ and the local system $\mathcal {L}_{k-2}$ :

$$ \begin{align*} \begin{aligned} \mathrm{AJ}_{k, d}: \epsilon_{k}\mathrm{CH}^{\frac{k}{2}}(\mathcal{W}_{k, d}\otimes K_{m})\otimes{\mathbf{Z}}_{l}&\rightarrow \mathrm{H}^{1}\left(K_{m}, \epsilon_{k}\mathrm{H}^{k-1}\left(\mathcal{W}_{k, d}\otimes \mathbf{Q}^{\mathrm{ac}}, {\mathbf{Z}}_{l}\left(\frac{k}{2}\right)\right)\right)\\ &\cong \mathrm{H}^{1}(K_{m}, \mathrm{H}^{1}(\mathfrak{X}_{d}\otimes\mathbf{Q}^{\mathrm{ac}}, \mathcal{L}_{k-2}({\mathbf{Z}}_{l})(1))).\\ \end{aligned} \end{align*} $$

We can further apply the projector $\epsilon _{d}$ , and it induces the following Abel–Jacobi map for X and the local system $\mathcal {L}_{k-2}$ :

$$ \begin{align*} \mathrm{AJ}_{k}: \epsilon_{d}\epsilon_{k}\mathrm{CH}^{\frac{k}{2}}(\mathcal{W}_{k, d}\otimes K_{m})\otimes{\mathbf{Z}}_{l} \rightarrow \mathrm{H}^{1}(K_{m}, \mathrm{H}^{1}(\mathfrak{X}\otimes\mathbf{Q}^{\mathrm{ac}}, \mathcal{L}_{k-2}({\mathbf{Z}}_{l})(1))). \end{align*} $$

Finally, we compose this map with the canonical map from $\mathrm {H}^{1}(\mathfrak {X}\otimes \mathbf {Q}^{\mathrm {ac}}, \mathcal {L}_{k-2}({\mathbf {Z}}_{l})(1))$ to

$$ \begin{align*} \mathrm{H}^{1}(\mathfrak{X}\otimes\mathbf{Q}^{\mathrm{ac}}, \mathcal{L}_{k-2}({\mathbf{Z}}_{l})(1))_{\mathfrak{m}_{f}}\otimes_{\mathbb{T}_{\mathfrak{m}_{f}}}\mathcal{O}\cong \mathrm{T}_{f,\lambda} \end{align*} $$

where the tensor product is induced by $\phi _{f}: \mathbb {T}_{\mathfrak {m}_{f}}\rightarrow \mathcal {O}$ . We therefore have the following Abel–Jacobi map for the representation $\mathrm {T}_{f,\lambda }$ :

(3.7) $$ \begin{align} \mathrm{AJ}_{f, k}: \epsilon_{d}\epsilon_{k}\mathrm{CH}^{\frac{k}{2}}(\mathcal{W}_{k, d}\otimes K_{m})\otimes{\mathbf{Z}}_{l} \rightarrow \mathrm{H}^{1}(K_{m}, \mathrm{T}_{f, \lambda}). \end{align} $$

We will define the level m Heegner cycle class by

$$ \begin{align*} \kappa(m):=\mathrm{AJ}_{f, k}(\epsilon_{d}\epsilon_{k}Y_{m, k})\in \mathrm{H}^{1}(K_{m}, \mathrm{T}_{f, \lambda}). \end{align*} $$

We will refer to the following class simply as the Heegner cycle class:

(3.8) $$ \begin{align} \kappa:=\mathrm{Cor}_{K_{1}/K}\kappa(1) \in \mathrm{H}^{1}(K, \mathrm{T}_{f, \lambda}). \end{align} $$

For $n\geq 1$ , we define similarly the Abel–Jacobi map for the representation $\mathrm {T}_{f,{n}}$ :

(3.9) $$ \begin{align} \mathrm{AJ}_{k, n}: \epsilon_{d}\epsilon_{k}\mathrm{CH}^{\frac{k}{2}}(\mathcal{W}_{k, d}\otimes K_{m})\otimes{\mathbf{Z}}_{l} \rightarrow \mathrm{H}^{1}(K_{m}, \mathrm{T}_{f, n}). \end{align} $$

Reducing the classes $\kappa (m)$ and $\kappa $ modulo $\varpi ^{n}$ , we define

(3.10) $$ \begin{align} \begin{aligned} &\kappa_{n}(m)\in\mathrm{H}^{1}(K_{m}, \mathrm{T}_{f, n});\\ &\hphantom{aa}\kappa_{n}\in \mathrm{H}^{1}(K, \mathrm{T}_{f, n}).\\ \end{aligned} \end{align} $$

3.2 Theta element and special value formula

Let p be a prime away from N and consider the definite quaternion algebra B over $\mathbf {Q}$ with discriminant $pN^{-}$ . We denote by G the algebraic group over $\mathbf {Q}$ given by $B^{\times }$ . We will choose the element $J^{\prime }$ as in (3.1) such that $B=K\oplus K\cdot J^{\prime }$ . For each $a\in \widehat {K}$ , we define the Gross points of conductor m associated to K by

(3.11) $$ \begin{align} x_{m}(a):=a\cdot \varsigma\in G(\mathbf{A}). \end{align} $$

Recall that we have the fixed embedding $\iota _{l}: \mathbf {Q}^{\mathrm {ac}}\hookrightarrow \mathbf {C}_{l}$ and it induces the place $\mathfrak {l}$ of K and the place $\lambda $ of $\mathbf {Q}^{\mathrm {ac}}$ . We define an embedding

(3.12) $$ \begin{align} i_{K}: B\rightarrow \mathrm{M}_{2}(K), \hphantom{a} a+bJ^{\prime}\mapsto \begin{pmatrix}a & b\beta \\ \bar{b}& \bar{a}\\ \end{pmatrix}, \hphantom{a}a, b\in K \end{align} $$

and let $i_{\mathbf {C}}:= \iota _{\infty }\circ i_{K}$ and $i_{K_{\mathfrak {l}}}=\iota _{l}\circ i_{K}$ be the composition. Let $\rho _{k,\infty }$ be the representation

(3.13) $$ \begin{align} \rho_{k,\infty}: G(\mathbb{R})\xrightarrow{i_{\mathbf{C}}} \mathrm{GL}_{2}(\mathbf{C})\rightarrow \mathrm{Aut}_{\mathbf{C}}L_{k-2}(\mathbf{C}). \end{align} $$

Then $\mathbf {C}\cdot \mathbf {v}_{r}$ is the line on which $\rho _{k, \infty }(t)$ acts by $(\bar {t}/{t})^{r}$ for $t\in (K\otimes \mathbf {C})^{\times }$ . For a K-algebra A we define the space $\mathbf {S}^{B}_{k}(U, A)$ of modular forms on B of weight k and level U to be

$$ \begin{align*} \{h:G(\mathbf{A}^{(\infty)})\rightarrow L_{k-2}(A): h(\alpha g u)=\rho_{k, \infty}(\alpha)h(g) \text{ for}\ \alpha\in G(\mathbf{Q})\ \text{and}\ u\in U\}. \end{align*} $$

Let $\mathbf {S}^{B}_{k}(\mathbf {C})=\varinjlim _{U}\mathbf {S}^{B}_{k}(U, \mathbf {C})$ and $\mathcal {A}(G)$ be the space of automorphic forms on $G(\mathbf {A})$ . We define a morphism

$$ \begin{align*} \Psi: L_{k-2}(\mathbf{C})\otimes \mathbf{S}^{B}_{k}(\mathbf{C})\rightarrow \mathcal{A}(G) \end{align*} $$

by the following recipe:

$$ \begin{align*} \Psi(\mathbf{v}\otimes f)(g):=\langle\rho_{k,\infty}(g_{\infty})\mathbf{v}, f(g^{\infty})\rangle_{k-2} \end{align*} $$

for $\mathbf {v}\in L_{k-2}(\mathbf {C})$ . Let $\pi $ be the automorphic representation of $\mathrm {GL}_{2}(\mathbf {A})$ corresponding to $f^{[p]}$ and $\pi ^{\prime }$ be the automorphic representation of $G(\mathbf {A})$ that corresponds to $\pi $ via the Jacquet–Langlands correspondence. Let $f^{[p]}_{\pi ^{\prime }}$ be a generator of $\mathbf {S}^{B}(N^{+}, \mathbf {C})[\pi ^{\prime }_{f}]$ . We define an automorphic form in $\mathcal {A}(G)$ by

(3.14) $$ \begin{align} \varphi^{[p]}_{\pi^{\prime}}:=\Psi(\mathbf{v}^{*}_{0}\otimes f^{[p]}_{\pi^{\prime}}) \text{ for } \mathbf{v}^{*}_{0}=D^{\frac{k-2}{2}}_{K}\mathbf{v}_{0}. \end{align} $$

Let $\rho _{k,l}$ to be the representation defined by

(3.15) $$ \begin{align} \rho_{k, l}: G(\mathbf{Q})\xrightarrow{i_{K_{\mathfrak{l}}}} \mathrm{GL}_{2}(\mathbf{C}_{l})\rightarrow \mathrm{Aut}_{\mathbf{C}_{l}}L_{k-2}(\mathbf{C}_{l}). \end{align} $$

It is easy to check that $\rho _{k}$ and $\rho _{k, l}$ are compatible in the sense that

(3.16) $$ \begin{align} \rho_{k, l}(g)=\rho_{k}(\gamma_{\mathfrak{l}}i_{l}(g)\gamma^{-1}_{\mathfrak{l}}), \text{ where } \gamma_{\mathfrak{l}}:=\begin{pmatrix}\sqrt{\beta}& -\sqrt{\beta}\bar{\boldsymbol{\theta}}\\-1& \boldsymbol{\theta}\\ \end{pmatrix}\in \mathrm{GL}_{2}(K_{\mathfrak{l}}). \end{align} $$

If l is invertible in A, then we in fact have an isomorphism

(3.17) $$ \begin{align} \mathbf{S}^{B}_{k}(N^{+}, A)\xrightarrow{\cong} {S}^{B}_{k}(N^{+}, A), \hphantom{a} h\mapsto \widehat{h}(g):=\rho_{k}(\gamma_{\mathfrak{l}}^{-1})\rho_{k, l}(g^{-1}_{l})h(g) \end{align} $$

and we say $\widehat {h}$ is an l-adic avatar of h. We will say $f^{[p]}_{\pi ^{\prime }}$ is l-adically normalised if $\widehat {f}^{[p]}_{\pi ^{\prime }}$ is a generator of the rank 1 module $S^{B}_{k}(N, \mathcal {O})[\pi ^{\prime }_{f}]:=S^{B}_{k}(N, \mathcal {O})\cap S^{B}_{k}(N, \mathbf {C}_{l})[\pi ^{\prime }_{f}]$ . We can now define the theta element associated to f and K. Let $f^{[p]}_{\pi ^{\prime }}$ be $\lambda $ -adically normalised. We define the theta element $\Theta _{m}(f^{[p]}_{\pi ^{\prime }})\in \mathcal {O}[\mathcal {G}_{m}]$ by

(3.18) $$ \begin{align} \Theta_{m}(f^{[p]}_{\pi^{\prime}})=\sum_{\sigma\in \mathcal{G}_{m}}\varphi^{[p]}_{\pi^{\prime}}(\sigma\cdot x_{m}(1))[\sigma]. \end{align} $$

We will denote the theta element simply by $\Theta (f^{[p]}_{\pi ^{\prime }})$ if $m=1$ . The following theorem relates the central critical value of the L-function of $f^{[p]}$ over K twisted by a ring class character $\chi $ of $\mathcal {G}_{m}$ to the theta element above.

Theorem 3.1 Chida–Hsieh, Hung

Let $\chi $ be character of $\mathcal {G}_{m}$ and $N^{+}=\mathfrak {N}^{+}\cdot \overline {\mathfrak {N}^{+}}$ . Then we have

$$ \begin{align*} \chi(\Theta_{m}(f^{[p]}_{\pi^{\prime}})^{2})=\Gamma(k/2)^{2}\cdot \frac{L(f^{[p]}/K, \chi, k/2)}{\Omega_{\pi^{\prime}, N^{-}}}\cdot (-1)^{k/2}\cdot m\cdot D^{k-1}_{K}\cdot \frac{\vert\mathcal{O}^{\times}_{K}\vert^{2}}{8}\cdot \sqrt{-D_{K}}^{-1}\cdot\chi(\mathfrak{N}^{+}) \end{align*} $$

where $\Omega _{f^{[p]}, pN^{-}}$ is the l-adically normalised period for $f^{[p]}$ given by

$$ \begin{align*} \Omega_{f^{[p]}, pN^{-}}:=\frac{4^{k-1}\pi^{k}\vert\vert f^{[p]} \vert\vert_{\Gamma_{0}(pN)}}{\langle f^{[p]}_{\pi^{\prime}}, f^{[p]}_{\pi^{\prime}}\rangle_{B}}. \end{align*} $$

Note here the period $\Omega _{f^{[p]}, pN^{-}}$ is not the canonical period $\Omega ^{\mathrm {can}}_{f^{[p]}}$ of Hida defined by

$$ \begin{align*} \Omega^{\mathrm{can}}_{f^{[p]}}:=\frac{4^{k-1}\pi^{k}\vert\vert f^{[p]} \vert\vert_{\Gamma_{0}(pN)}}{\eta_{f^{[p]}}(pN)} \end{align*} $$

where $\eta _{f^{[p]}}(pN)$ is the congruence number of $f^{[p]}$ in $S_{k}(pN)$ . We record the following result comparing these two periods, which we will use at a later occasion. Let q be a prime and recall the local Tamagawa ideal $\mathrm {Tam}_{q}(\mathrm {T}_{f, \lambda })$ at q is defined by

$$ \begin{align*} \mathrm{Tam}_{q}(\mathrm{T}_{f, \lambda})=\mathrm{Fitt}_{\mathcal{O}}(\mathrm{H}^{1}(K^{\mathrm{ur}}_{q}, \mathrm{T}_{f, \lambda})_{\mathrm{tor}}) \end{align*} $$

and the local Tamagawa exponent at q is defined by the number $t_{q}(f)$ such that

$$ \begin{align*} \mathrm{Tam}_{q}(\mathrm{T}_{f, \lambda})=(\varpi^{t_{q}(f)}). \end{align*} $$

Proposition 3.2 Kim-Ota

The following equation holds under the assumption $(\mathrm {CR}^{\star })$ :

$$ \begin{align*} v_{\varpi}\left(\frac{\Omega_{f^{[p]}, pN^{-}}}{\Omega^{\mathrm{can}}_{f^{[p]}}}\right)=\sum_{q\mid pN^{-}} t_{q}(f^{[p]}). \end{align*} $$

3.3 Explicit reciprocity laws for Heegner cycles

Recall that we have the modular form $f\in S^{\mathrm {new}}_{k}(N)$ with $N=N^{+}N^{-}$ such that $N^{-}$ is square-free with even number of prime divisors. Let $n\geq 1$ ; we consider the Abel–Jacobi map for $\mathrm {T}_{f, n}$ ,

$$ \begin{align*} \mathrm{AJ}_{k, n}: \epsilon_{d}\epsilon_{k}\mathrm{CH}^{\frac{k}{2}}(\mathcal{W}_{k, d}\otimes K_{m})\otimes{\mathbf{Z}}_{l} \rightarrow \mathrm{H}^{1}(K_{m}, \mathrm{T}_{f, n}).\end{align*} $$

We have the Heegner cycle class $\epsilon _{d}Y_{m, k}\in \epsilon _{d}\epsilon _{k}\mathrm {CH}^{\frac {k}{2}}(\mathcal {W}_{k, d}\otimes K_{m})\otimes {\mathbf {Z}}_{l}$ with $Y_{m, k}=\epsilon _{k}y^{\frac {k-2}{2}}_{m}$ for an element $y_{m}\in \mathrm {NS}(A_{m})$ satisfying

1. (1) $\iota _{m}(b)^{*}(y_{m})=\mathrm {Nrd}(b)y_{m}$ for any $b\in B^{\prime }$ ;

2. (2) The self-intersection number of $y_{m}$ is $2D_{K}$ .

Here $A_{m}$ is given by the Heegner point $P_{m}=(A_{m}, \iota _{m}, C_{m})$ on X. Let p be an n-admissible prime for f. We consider the following composite map:

$$ \begin{align*} \epsilon_{d}\epsilon_{k}\mathrm{CH}^{\frac{k}{2}}(\mathcal{W}_{k, d}\otimes K_{m}) \xrightarrow{\mathrm{AJ}_{k, n}} \mathrm{H}^{1}(K_{m}, \mathrm{T}_{f, n}) \xrightarrow{\mathrm{loc}_{p}}\mathrm{H}^{1}(K_{m, p}, \mathrm{T}_{f, n}). \end{align*} $$

The image of $\epsilon _{d}Y_{m, k}\in \epsilon _{d}\epsilon _{k}\mathrm {CH}^{\frac {k}{2}}(\mathcal {W}_{k, d}\otimes K_{m})\otimes {\mathbf {Z}}_{l}$ under the above map is by definition given by $\mathrm {loc}_{p}(\kappa _{n}(m))$ and it lands in $\mathrm {H}^{1}_{\mathrm {fin}}(K_{m, p}, \mathrm {T}_{f, n})$ as $\mathcal {W}_{k, d}$ has good reduction at p. Note that there is an isomorphism

(3.19) $$ \begin{align} \mathrm{H}^{1}_{\mathrm{fin}}(K_{m, p}, \mathrm{T}_{f, n})\cong \mathrm{H}^{1}_{\mathrm{fin}}(K_{p}, \mathrm{T}_{f, n})\otimes \mathcal{O}_{n}[\mathcal{G}_{m}] \end{align} $$

by [Reference Bertolini and Darmon1, Lemma 2.4 and 2.5] and [Reference Chida and Hsieh9, Lemma 1.4]. Therefore, Theorem 2.9 implies the following isomorphism:

(3.20) $$ \begin{align} \begin{aligned} \Phi_{n}: S^{B}_{k}(N^{+}, \mathcal{O})_{/I^{[p]}_{f, n}}\otimes \mathcal{O}_{n}[\mathcal{G}_{m}] &\xrightarrow{\cong} \mathrm{H}^{1}(\mathbf{F}_{p^{2}}, \mathrm{H}^{1}(\overline{X}\otimes{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{/I_{f, n}})\otimes \mathcal{O}_{n}[\mathcal{G}_{m}]\\ &\xrightarrow{\cong} \mathrm{H}^{1}_{\mathrm{fin}}(K_{m, p}, \mathrm{T}_{f, n}).\\ \end{aligned} \end{align} $$

It follows then that $\mathrm {loc}_{p} (\kappa _{n}(m))$ can be regarded as an element in $S^{B}_{k}(N^{+}, \mathcal {O})_{/I^{[p]}_{f, n}}\otimes \mathcal {O}_{n}[\mathcal {G}_{m}]$ . Recall that $\tilde {P}_{m}=({A}_{m}, {\iota }_{m}, {C}_{m}, \nu _{m})\in X_{d}(K_{m})$ is a lift of the Heegner point $P_{m}=({A}_{m}, {\iota }_{m}, {C}_{m})\in X(K_{m})$ and $A_{m}\cong E_{m}\times E_{m}$ for a CM elliptic curve $E_{m}$ . We have the following commutative diagram:

On the first line of the diagram, we have the following isomorphism:

$$ \begin{align*} \begin{aligned} \epsilon_{d}\epsilon_{k}\mathrm{H}^{k-2} \left(A^{\frac{k-2}{2}}_{m}\otimes K_{m}, {\mathbf{Z}}_{l}\left(\frac{k-2}{2}\right)\right)&=\epsilon_{d}\epsilon_{k}\mathrm{H}^{k-2}\left(E^{k-2}_{m}\otimes K_{m}, {\mathbf{Z}}_{l}\left(\frac{k-2}{2}\right)\right)\\ &=\mathrm{Sym}^{k-2} \mathrm{H}^{1}\left(E_{m}\otimes K_{m}, {\mathbf{Z}}_{l}\left(\frac{k-2}{2}\right)\right)\\ &\cong L_{k-2}({\mathbf{Z}}_{l}), \end{aligned} \end{align*} $$

while on the second line, we have

$$ \begin{align*} \begin{aligned} \epsilon_{d}\epsilon_{k}\mathrm{H}^{k}\left(\mathcal{W}_{k, d}\otimes K_{m}, {\mathbf{Z}}_{l}\left(\frac{k}{2}\right)\right)_{\mathfrak{m}_{f}}&\cong \mathrm{H}^{1}\left(K_{m}, \epsilon_{d}\epsilon_{k}\mathrm{H}^{k-1}\left(\mathcal{W}_{k, d}\otimes\mathbf{Q}^{\mathrm{ac}}, {\mathbf{Z}}_{l}\left(\frac{k}{2}\right)\right)_{\mathfrak{m}_{f}}\right)\\ &\cong \mathrm{H}^{1}(K_{m}, \mathrm{H}^{1}(X\otimes\mathbf{Q}^{\mathrm{ac}}, \mathcal{L}_{k-2}({\mathbf{Z}}_{l})(1))_{\mathfrak{m}_{f}}).\\ \end{aligned} \end{align*} $$

Here the first isomorphism follows from the Hochschild–Serre spectral sequence and the fact that outside of the middle degree $k-1$ , $\epsilon _{d}\epsilon _{k}\mathrm {H}^{*}(\mathcal {W}_{k, d}\otimes \mathbf {Q}^{\mathrm {ac}}, {\mathbf {Z}}_{l}(\frac {k}{2}))$ is Eisenstein and hence vanishes after localising at $\mathfrak {m}_{f}$ .

We recall the class $\kappa (m)$ is given by the extension class obtained by pulling back the exact sequence

(3.21) $$ \begin{align} \begin{aligned} 0\rightarrow \epsilon_{d}\epsilon_{k}\mathrm{H}^{k-1}\left(\mathcal{W}_{k, d}\otimes \mathbf{Q}^{\mathrm{ac}}, {\mathbf{Z}}_{l}\left(\frac{k}{2}\right)\right)_{\mathfrak{m}_{f}}\rightarrow \epsilon_{d}\epsilon_{k}\mathrm{H}^{k-1}\left((\mathcal{W}_{k, d}-Y_{m,k})\otimes\mathbf{Q}^{\mathrm{ac}}, {\mathbf{Z}}_{l}\left(\frac{k}{2}\right)\right)_{\mathfrak{m}_{f}}\\ \rightarrow \epsilon_{d}\epsilon_{k}\mathrm{H}^{k}_{Y_{m,k}\otimes \mathbf{Q}^{\mathrm{ac}}}\left(\mathcal{W}_{k, d}\otimes\mathbf{Q}^{\mathrm{ac}}, {\mathbf{Z}}_{l}\left(\frac{k}{2}\right)\right)_{\mathfrak{m}_{f}}\rightarrow 0\\ \end{aligned} \end{align} $$

along the map ${\mathbf {Z}}_{l}\rightarrow \epsilon _{d}\epsilon _{k}\mathrm {H}^{k}_{Y_{m,k}\otimes \mathbf {Q}^{\mathrm {ac}}}(\mathcal {W}_{k, d}\otimes \mathbf {Q}^{\mathrm {ac}}, {\mathbf {Z}}_{l}(\frac {k}{2}))_{\mathfrak {m}_{f}}$ sending $1\in {\mathbf {Z}}_{l}$ to the fundamental class of $Y_{m,k}\otimes \mathbf {Q}^{\mathrm {ac}}$ . The above exact sequence is equivalent to

(3.22) $$ \begin{align} \begin{aligned} 0\rightarrow\mathrm{H}^{1}(X\otimes\mathbf{Q}^{\mathrm{ac}}, \mathcal{L}_{k-2}({\mathbf{Z}}_{l})(1))_{\mathfrak{m}_{f}}\rightarrow\mathrm{H}^{1}(X\otimes\mathbf{Q}^{\mathrm{ac}}-P_{m}\otimes\mathbf{Q}^{\mathrm{ac}}, \mathcal{L}_{k-2}({\mathbf{Z}}_{l})(1))_{\mathfrak{m}_{f}}\\ \rightarrow \mathrm{H}^{2}_{P_{m}\otimes\mathbf{Q}^{\mathrm{ac}}}(X\otimes\mathbf{Q}^{\mathrm{ac}}, \mathcal{L}_{k-2}({\mathbf{Z}}_{l})(1))_{\mathfrak{m}_{f}}\rightarrow 0 \end{aligned} \end{align} $$

and the last term is the same as $\epsilon _{d}\epsilon _{k}\mathrm {H}^{k-2}(A^{\frac {k-2}{2}}_{m}\otimes \mathbf {Q}^{\mathrm {ac}}, {\mathbf {Z}}_{l}(\frac {k-2}{2}))_{\mathfrak {m}_{f}}\cong L_{k-2}({\mathbf {Z}}_{l})$ , as explained in the paragraph after [Reference Chida7, Lemma 8.1]. Therefore, Lemma 3.3 implies that the class $\kappa (m)$ is the extension class obtained by pulling back (3.22) along the map sending $1\in {\mathbf {Z}}_{l}$ to the vector $\mathbf {v}^{*}_{0}\in L_{k-2}({\mathbf {Z}}_{l})$ up to sign. The class $\mathrm {loc}_{p}(\kappa (m))$ is obtained similarly by considering the special fibre of X; that is, we pull back the following exact sequence:

(3.23) $$ \begin{align} \begin{aligned} 0\rightarrow\mathrm{H}^{1}(\overline{X}\otimes\mathbf{F}_{p}^{\mathrm{ac}}, \mathcal{L}_{k-2}({\mathbf{Z}}_{l})(1))_{\mathfrak{m}_{f}}\rightarrow\mathrm{H}^{1}(\overline{X}\otimes\mathbf{F}^{\mathrm{ac}}_{p}-P_{m}\otimes\mathbf{F}_{p}^{\mathrm{ac}}, \mathcal{L}_{k-2}({\mathbf{Z}}_{l})(1))_{\mathfrak{m}_{f}}\\ \rightarrow \mathrm{H}^{2}_{P_{m}\otimes\mathbf{F}_{p}^{\mathrm{ac}}}(\overline{X}\otimes\mathbf{F}_{p}^{\mathrm{ac}}, \mathcal{L}_{k-2}({\mathbf{Z}}_{l})(1))_{\mathfrak{m}_{f}}\rightarrow 0 \end{aligned} \end{align} $$

along the map sending $1\in {\mathbf {Z}}_{l}$ to $\mathbf {v}^{*}_{0}\in L_{k-2}({\mathbf {Z}}_{l})$ up to sign.

Recall the pairing

$$ \begin{align*} \langle\hphantom{a},\hphantom{a}\rangle_{B}:S^{B}_{k}(N^{+}, \mathcal{O})\times S^{B}_{k}(N^{+}, \mathcal{O})\rightarrow \mathcal{O} \end{align*} $$

defined as in (2.6). It induces a pairing

$$ \begin{align*} \langle\hphantom{a},\hphantom{a}\rangle_{B}:S^{B}_{k}(N^{+}, \mathcal{O})/I^{[p]}_{f, n}\times S^{B}_{k}(N^{+}, \mathcal{O})[I^{[p]}_{f, n}]\rightarrow \mathcal{O}_{n}. \end{align*} $$

Theorem 3.4 Second reciprocity law

Let p be an n-admissible prime for f and assume that $\bar {\rho }_{f, \lambda }$ satisfies the assumption $(\mathrm {CR}^{\star })$ . Let $f^{[p]}_{\pi ^{\prime }}$ be l-adically normalised and $\widehat {f}^{[p]}_{\pi ^{\prime }, n}$ be a generator of $S^{B}_{k}(N^{+}, \mathcal {O})[I^{[p]}_{f, n}]$ . Then we have the following relation between the Heegner cycle class of level $m \kappa _{n}(m)$ and the theta element $\Theta _{m}(f^{[p]}_{\pi ^{\prime }})$ :

$$ \begin{align*} \sum_{\sigma\in \mathcal{G}_{m}}\langle \mathrm{loc}_{p} (\sigma\cdot\kappa_{n}(m)), \widehat{f}^{[p]}_{\pi^{\prime}, n}\rangle_{B}=u\cdot\Theta_{m}(f^{[p]}_{\pi^{\prime}}) \mod \varpi^{n} \end{align*} $$

where $u\in \mathcal {O}_{n}$ is a unit.

Proof. Let $\sigma \in \mathcal {G}_{m}$ . We define $\mathbf {1}^{[\mathbf {v}^{*}_{0}]}_{\sigma (x_{m}(1))\cdot \tau ^{N^{+}}}$ to be the function on $X^{B}$ supported on the point $\sigma (x_{m}(1))\cdot \tau ^{N^{+}}$ with its value given by the vector $\mathbf {v}^{*}_{0}$ . Note that $\mathbf {1}^{[\mathbf {v}^{*}_{0}]}_{\sigma (x_{m}(1))\cdot \tau ^{N^{+}}}$ can be considered as an element of $S^{B}_{k}(N^{+}, \mathcal {O})$ . By the definition of $\Phi _{n}$ and Theorem 2.9, all classes of

$$ \begin{align*} \mathrm{H}^{1}(\mathbf{F}_{p^{2}}, \mathrm{H}^{1}(\overline{X}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{/I_{f, n}}) \end{align*} $$

are obtained by pulling back the exact sequence below:

(3.24) $$ \begin{align} & 0\rightarrow \mathrm{H}^{1}(\overline{X}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{/I_{f, n}}\rightarrow\mathrm{H}^{1}(X^{\mathrm{ord}}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O})(1))_{/I_{f, n}} \nonumber\\ &\quad \rightarrow \mathrm{H}^{0}(X^{\mathrm{ss}}_{\mathbf{F}^{\mathrm{ac}}_{p}}, \mathcal{L}_{k-2}(\mathcal{O}))_{/I_{f, n}} \rightarrow 0. \end{align} $$

Since p is n-admissible and in particular inert in K, the point $P_{m}$ which is represented by a product of CM elliptic curves has supersingular reduction. Moreover, by our parametrisation (3.11) and (3.4), the reduction of $P_{m}$ is given by $x_{m}(1)\tau ^{N^{+}}$ when we identify $X^{\mathrm {ss}}_{\mathbf {F}^{\mathrm {ac}}_{p}}$ with the Shimura set $X^{B}$ . It follows that the element $\mathrm {loc}_{p} (\sigma \cdot \kappa _{n}(m))$ as the pullback of (3.24) factors through the exact sequence (3.23) modulo $I_{f, n}$ and is therefore given by the element $\mathbf {1}^{[\mathbf {v}^{*}_{0}]}_{\sigma (x_{m}(1))\cdot \tau ^{N^{+}}}[\sigma ]$ up to a sign. Therefore, we have the following equation:

$$ \begin{align*} \begin{aligned} \sum_{\sigma\in \mathcal{G}_{m}}\left\langle\mathrm{loc}_{p} (\sigma\cdot\kappa_{n}(m)), \widehat{f}^{[p]}_{\pi^{\prime}, n}\right\rangle_{B}&=\pm\sum_{\sigma\in \mathcal{G}_{m}}\left\langle \mathbf{1}^{[\mathbf{v}^{*}_{0}]}_{\sigma(x_{m}(1))\cdot \tau^{N^{+}}}, \widehat{f}^{[p]}_{\pi^{\prime}, n}\right\rangle_{B}[\sigma]\\ &=\pm\sum_{\sigma\in \mathcal{G}_{m}}\left\langle \mathbf{v}^{*}_{0}, \widehat{f}^{[p]}_{\pi^{\prime}, n}(\sigma\cdot x_{m}(1))\right\rangle_{k}[\sigma]\\ &=u\cdot\Theta_{m}(f^{[p]}_{\pi^{\prime}}) \mod \varpi^{n}. \end{aligned} \end{align*} $$

Next, let $(p, p^{\prime })$ be a pair of distinct n-admissible primes for f. Then we can consider the Shimura curves $X^{\prime \prime }$ and $X^{\prime \prime }_{d}$ and the corresponding Kuga–Sato varieties $\mathcal {W}^{\prime \prime }_{k, d}$ defined in Subsection 2.6. Note that they correspond to the indefinite quaternion algebra $B^{\prime \prime }$ with discriminant $pp^{\prime }N^{-}$ . We can define in the same manner as in (3.4) the Heegner point

(3.25) $$ \begin{align} {P}^{[pp^{\prime}]}_{m}(a)=[z^{\prime}, a^{(p^{\prime})}\varsigma\tau^{N^{+}}]_{\mathbf{C}}\in X^{\prime\prime}(K_{m}) \end{align} $$

for $a\in \widehat {K}^{\times }$ . We again write $P^{[pp^{\prime }]}_{m}$ for ${P}^{[pp^{\prime }]}_{m}(1)$ . Using these points, we can define Heegner cycles

(3.26) $$ \begin{align} \epsilon_{d}Y^{[pp^{\prime}]}_{m, k} \in \epsilon_{d}\epsilon_{k}\mathrm{CH}^{\frac{k}{2}}(\mathcal{W}^{\prime\prime}_{k, d}\otimes K_{m})\otimes{\mathbf{Z}}_{l} \end{align} $$

similarly as in (3.6).

Since $(p, p^{\prime })$ are n-admissible primes for f, there is a homomorphism $\phi ^{[pp^{\prime }]}_{f,n}: \mathbb {T}^{[pp^{\prime }]}\rightarrow \mathcal {O}_{n}$ such that $\phi ^{[pp^{\prime }]}_{f, n}$ agrees with $\phi _{f, n}$ at all Hecke operators away from $pp^{\prime }$ and sends $(U_{p}, U_{p^{\prime }})$ to $(\epsilon _{p}p^{\frac {k-2}{2}}, \epsilon _{p^{\prime }}p^{\prime \frac {k-2}{2}})$ . Recall that $I^{[pp^{\prime }]}_{f, n}$ is the kernel of $\phi ^{[pp^{\prime }]}_{f, n}$ .

Proof. It again follows from the main results of [Reference Diamond and Taylor11] and [Reference Diamond and Taylor12] that the morphism $\phi ^{[pp^{\prime }]}_{f, 1}$ can be lifted to a genuine modular form, which we will denote as $f^{[pp^{\prime }]}$ .

To prove the second statement, it follows from the main result of [Reference Boston, Lenstra and Ribet3] that

$$ \begin{align*} \mathrm{H}^{1}(X^{\prime\prime}_{\mathbf{Q}^{\mathrm{ac}}}, \mathcal{L}_{k-2}(\mathcal{O})(1))/I^{[pp^{\prime}]}_{f, n}\cong \mathrm{T}^{r}_{f, n} \end{align*} $$

for some integer r. Then one can consider the weight spectral sequence converges to (2.19) and use the fact that $S^{B}_{k}(N^{+},\mathcal {O})_{/I^{[p]}_{f, n}}$ is of rank 1 to conclude that $r=1$ .

Using the above lemma, we can define the Abel–Jacobi map

(3.27) $$ \begin{align} \mathrm{AJ}^{[pp^{\prime}]}_{k, n}: \epsilon_{d}\epsilon_{k}\mathrm{CH}^{\frac{k}{2}}(\mathcal{W}^{\prime\prime}_{k, d}\otimes K_{m})\otimes{\mathbf{Z}}_{l} \rightarrow \mathrm{H}^{1}(K_{m}, \mathrm{T}_{f, n}) \end{align} $$

following the same recipe for defining (3.7). We can define the corresponding Heegner cycle class of level m,

(3.28) $$ \begin{align} \kappa^{[pp^{\prime}]}_{n}(m)=\mathrm{AJ}^{[pp^{\prime}]}_{k, n}(\epsilon_{d}Y^{[pp^{\prime}]}_{k, d})\in \mathrm{H}^{1}(K_{m}, \mathrm{T}_{f, n}). \end{align} $$

Similarly, we define the class

(3.29) $$ \begin{align} \kappa^{[pp^{\prime}]}_{n}=\mathrm{Cor}_{K_{1}/K}\kappa^{[pp^{\prime}]}_{n}(1) \in \mathrm{H}^{1}(K, \mathrm{T}_{f, n}). \end{align} $$

By [Reference Bertolini and Darmon1, Lemma 2.4 and 2.5] and [Reference Chida and Hsieh9, Lemma 1.4], we have an isomorphism

$$ \begin{align*} \mathrm{H}^{1}_{\mathrm{sing}}(K_{m, p}, \mathrm{T}_{f, n})\cong \mathrm{H}^{1}_{\mathrm{sing}}(K_{p}, \mathrm{T}_{f, n})\otimes \mathcal{O}_{n}[\mathcal{G}_{m}]. \end{align*} $$

The element $\partial _{p^{\prime }} \mathrm {loc}_{p^{\prime }}(\kappa ^{[pp^{\prime }]}(m))\in \mathrm {H}^{1}_{\mathrm {sing}}(K_{p^{\prime }}, \mathrm {T}_{f, n})\otimes \mathcal {O}_{n}[\mathcal {G}_{m}]$ under the composite below

$$ \begin{align*} \mathrm{H}^{1}(K_{m}, \mathrm{T}_{f, n}) \xrightarrow{\mathrm{loc}_{p^{\prime}}}\mathrm{H}^{1}(K_{m, p^{\prime}}, \mathrm{T}_{f, n})\xrightarrow{\partial_{p^{\prime}}} \mathrm{H}^{1}_{\mathrm{sing}}(K_{m, p^{\prime}}, \mathrm{T}_{f, n}) \end{align*} $$

can be considered as an element in $S^{B}(N^{+}, \mathcal {O})/I^{[p]}_{f, n}\otimes \mathcal {O}_{n}[\mathcal {G}_{m}]$ using the map $\Xi _{n}$ given by Theorem 2.12.

Theorem 3.6 First reciprocity law

Let $(p, p^{\prime })$ be a pair of n-admissible prime for f and assume that $\bar {\rho }_{f, \lambda }$ satisfies assumption $(\mathrm {CR}^{\star })$ . Let $f^{[p]}_{\pi ^{\prime }}$ be l-adically normalised and $\widehat {f}^{[p]}_{\pi ^{\prime }, n}$ be a generator of $S^{B}_{k}(N^{+}, \mathcal {O})[I^{[p]}_{f, n}]$ . Then we have the following relation between the Heegner cycle class $\kappa ^{[pp^{\prime }]}_{n}(m)$ and the theta element $\Theta _{m}(f^{[p]}_{\pi ^{\prime }})$ :

(3.30) $$ \begin{align} \sum_{\sigma\in \mathcal{G}_{m}}\left\langle\partial_{p^{\prime}}\mathrm{loc}_{p^{\prime}} (\sigma\cdot\kappa^{[pp^{\prime}]}_{n}(m)), \widehat{f}^{[p]}_{\pi^{\prime}, n}\right\rangle_{B}=u\cdot\Theta_{m}(f^{[p]}_{\pi^{\prime}}) \mod \varpi^{n} \end{align} $$

where $u\in \mathcal {O}^{\times }_{n}$ is a unit.

Proof. We will use the formula given by [Reference Liu20, Theorem 2.18] and [Reference Liu20, Proposition 2.19], which are proved for trivial coefficients. In our case, we will apply these results to the cohomology of the Kuga–Sato variety $\mathcal {W}^{\prime \prime }_{k, d}$ with trivial coefficient. As noted in the discussion above Theorem 2.12, the weight spectral sequence of the Kuga–Sato variety agrees with the weight spectral sequence of the base curve with nontrivial coefficients. Moreover, the Heegner cycle is fibered over the Heegner point over the base Shimura curve; therefore, we can adapt these results in our setting with obvious modifications.

First we would like to apply [Reference Liu20, Proposition 2.19]; therefore, we are led to consider the cycle class

$$ \begin{align*} Y^{[pp^{\prime}], \#}_{m, k}\times_{\widetilde{\mathcal{W}}^{\prime\prime}_{k, d}} \widetilde{\mathcal{W}}^{\prime\prime(0)}_{k, d, \mathbf{F}^{\mathrm{ac}}_{p^{\prime}}} \end{align*} $$

in the cohomology group $\epsilon _{k}\mathrm {H}^{k}(\widetilde {\mathcal {W}}^{\prime \prime (0)}_{k, d, \mathbf {F}^{\mathrm {ac}}_{p^{\prime }}}, \mathcal {O}(\frac {k}{2}))$ where $Y^{[pp^{\prime }], \#}_{m, k}$ is defined as in the paragraph below [Reference Liu20, (2.4.2)]. By applying the projector $\epsilon _{d}$ to it, we can identify this cycle class with an element in

$$ \begin{align*} \mathrm{H}^{2}(X^{\prime\prime}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}, a_{0*}\mathcal{L}_{k-2}(\mathcal{O})(1))=\mathrm{H}^{2}(\mathbf{P}^{1}(X^{B}_{\mathbf{F}^{\mathrm{ac}}_{p^{\prime}}}), \mathcal{L}_{k-2}(\mathcal{O})(1))^{\oplus2} \end{align*} $$

supported on $X^{\prime \prime (0)}_{\mathbf {F}^{\mathrm {ac}}_{p^{\prime }}}\times _{\mathfrak {X}^{\prime \prime }} P^{[pp^{\prime }], \#}_{m}$ . This follows from Saito’s computation of the weight spectral sequences of the Kuga–Sato varieties as we discussed in the paragraph of (2.19). Note the latter space can be identified with $S^{B}_{k}(N^{+},\mathcal {O})^{\oplus 2}$ . Again, by our parametrisation in (3.11) and (3.25) along with Lemma 3.3, this cycle class is given up to sign by a pair of functions on $X^{B}$ supported on $x_{m}(1)\tau ^{N^{+}}$ sending $x_{m}(1)\tau ^{N^{+}}$ to $\mathbf {v}^{*}_{0}$ in the first copy and sending $x_{m}(1)\tau ^{N^{+}}$ to $\epsilon _{p^{\prime }}\mathbf {v}^{*}_{0}$ on the second copy. By the proof of Theorem 2.12 and [Reference Liu20, Theorem 2.18], $\partial _{p^{\prime }}\mathrm {loc}_{p^{\prime }} (\sigma \cdot \kappa ^{[pp^{\prime }]}_{n}(m))$ is thus given by $\mathbf {1}^{[\mathbf {v}^{*}_{0}]}_{\sigma (x_{m}(1))\cdot \tau ^{N^{+}}}[\sigma ]$ as an element in $S^{B}(N^{+}, \mathcal {O})/I^{[p]}_{f, n}\otimes \mathcal {O}_{n}[\mathcal {G}_{m}]$ . Therefore, we have the following equation:

$$ \begin{align*} \begin{aligned} \sum_{\sigma\in \mathcal{G}_{m}}\langle\partial_{p^{\prime}}\mathrm{loc}_{p^{\prime}} (\sigma\cdot\kappa^{[pp^{\prime}]}_{n}(m)), \widehat{f}^{[p]}_{\pi^{\prime}, n}\rangle_{B}&=\pm\sum_{\sigma\in \mathcal{G}_{m}}\langle \mathbf{1}^{[\mathbf{v}^{*}_{0}]}_{\sigma(x_{m}(1))\cdot \tau^{N^{+}}}, \widehat{f}^{[p]}_{\pi^{\prime}, n}\rangle_{B}[\sigma]\\ &=\pm\sum_{\sigma\in \mathcal{G}_{m}}\langle \mathbf{v}^{*}_{0}, \widehat{f}^{[p]}_{\pi^{\prime}, n}(\sigma\cdot x_{m}(1))\rangle_{k}[\sigma]\\ &=u\cdot\Theta_{m}(f^{[p]}_{\pi^{\prime}}) \mod \varpi^{n}. \end{aligned} \end{align*} $$

4.1 Selmer groups of modular forms

Recall that f is a modular form of weight k level $\Gamma _{0}(N)$ such that $N=N^{+}N^{-}$ . We assume the following generalised Heegner hypothesis:

(Heeg) $$ \begin{align} {N^{-}}\ \text{is square-free and consists of even number of prime factors that are inert in}\ K. \end{align} $$

Let K be an imaginary quadratic field with discriminant $-D_{K}$ such that $(D_{K}, N)=1$ . Let $l>2$ be a prime such that $l\nmid ND_{K}$ . Recall $\rho _{f, \lambda }: G_{\mathbf {Q}}\rightarrow \mathrm {GL}_{2}(E_{\lambda })$ is the $\lambda $ -adic Galois representation attached to the form f, which is characterised by the fact that the trace of Frobenius at $p\nmid N$ agrees with $a_{p}(f)$ and the determinant of $\rho _{f, \lambda }$ is $\epsilon _{l}^{k-1}$ where $\epsilon _{l}$ is the l-adic cyclotomic character. Recall that we are interested in the twist $\rho ^{*}_{f, \lambda }=\rho _{f, \lambda }(\frac {2-k}{2})$ . Let $\mathrm {V}_{f, \lambda }$ be the representation space for $\rho ^{*}_{f, \lambda }$ . We have normalised the construction of $\rho _{f, \lambda }$ such that it occurs in the cohomology $\mathrm {H}^{1}(X_{\mathbf {Q}^{\mathrm {ac}}}, \mathcal {L}_{k-2}(E_{\lambda })(\frac {k}{2}))$ and therefore $\rho ^{*}_{f, \lambda }$ occurs in the cohomology $\mathrm {H}^{1}(X_{\mathbf {Q}^{\mathrm {ac}}}, \mathcal {L}_{k-2}(E_{\lambda })(1))$ . The modular form f gives rise to a homomorphism $\phi _{f}: \mathbb {T}\rightarrow \mathcal {O}$ corresponding to the Hecke eigen-system of f. Let $n\geq 1$ ; we take $\phi _{f, n}: \mathbb {T}\rightarrow \mathcal {O}_{n}$ to be the natural reduction of $\phi _{f}$ by $\varpi ^{n}$ . We define $I_{f, n}$ to be the kernel of the morphism $\phi _{f, n}$ and $\mathfrak {m}_{f}$ the unique maximal ideal of $\mathbb {T}$ containing $I_{f, n}$ . We choose a $G_{\mathbf {Q}}$ -stable lattice $\mathrm {T}_{f, \lambda }$ in $\mathrm {V}_{f, \lambda }$ and denote by $\mathrm {T}_{f, n}$ the reduction $\mathrm {T}_{f,\lambda }/\varpi ^{n}$ . We also recall that the residual Galois representation $\bar {\rho }_{f, \lambda }$ satisfies the assumption $(\mathrm {CR}^{\star })$ . In light of this assumption and Theorem 2.9 $(3)$ , we can choose the lattice $\mathrm {T}_{f, \lambda }$ to be $\mathrm {H}^{1}(X_{\mathbf {Q}^{\mathrm {ac}}}, \mathcal {L}_{k-2}(\mathcal {O}))_{\mathfrak {m}_{f}}$ . We denote by $\mathrm {A}_{f, \lambda }$ the divisible module given by $\mathrm {V}_{f, \lambda }/\mathrm {T}_{f, \lambda }$ . We will set

(4.1) $$ \begin{align} \mathrm{A}_{f, n}=\ker[\mathrm{A}_{f,\lambda}\xrightarrow{\varpi^{n}}\mathrm{A}_{f, \lambda}]. \end{align} $$

Note that $\mathrm {A}_{f, n}$ is the Kummer dual of $\mathrm {T}_{f, n}$ .

Let $\mathrm {M}= \mathrm {T}_{f, n}\text { or }\mathrm {A}_{f,n}$ . For $v\mid N^{-}$ , we set $F^{+}_{v}\mathrm {M}$ to be the unique line of $\mathrm {M}$ such that $G_{\mathbf {Q}_{v}}$ acts by $\epsilon _{v}\tau _{v}$ with $\tau _{v}$ the nontrivial unramified character of $G_{\mathbf {Q}_{v}}$ . Then we define the ordinary part of $\mathrm {H}^{1}(K_{v}, \mathrm {M})$ to be

$$ \begin{align*} \mathrm{H}^{1}_{\mathrm{ord}}(K_{v}, \mathrm{M})= \ker[\mathrm{H}^{1}(K_{v}, M)\rightarrow \mathrm{H}^{1}(K_{v}, \mathrm{M}/F^{+}_{v}\mathrm{M})]. \end{align*} $$

Let $p\nmid N$ be an n-admissible prime for f; then we set $F^{+}_{p}\mathrm {M}$ to be the unique line such that $\mathrm {Frob}_{p}$ acts by $\epsilon _{p}p$ and $F^{-}_{p}\mathrm {M}$ is the line such that $\mathrm {Frob}_{p}$ acts by $\epsilon _{p}$ . Then

(4.2) $$ \begin{align} \begin{aligned} \mathrm{H}^{1}(K_{p}, \mathrm{M})&=\mathrm{H}^{1}(K_{p}, F^{-}_{p}\mathrm{M})\oplus \mathrm{H}^{1}(K_{p}, F^{+}_{p}\mathrm{M})\\ &\cong \mathrm{H}^{1}_{\mathrm{fin}}(K_{p}, \mathrm{M})\oplus \mathrm{H}^{1}_{\mathrm{ord}}(K_{p}, \mathrm{M}). \end{aligned} \end{align} $$

In order to apply the results from Iwasawa theory, we assume that f is l-ordinary. For a place $v\mid l$ in K, let $F^{+}_{v}\mathrm {M}$ be the unique line of M such that $G_{\mathbf {Q}_{l}}$ acts by $\epsilon ^{\frac {k}{2}}_{l}$ . We define

(4.3) $$ \begin{align} \mathrm{H}^{1}_{\mathrm{ord}}(K_{v}, \mathrm{M})= \ker[\mathrm{H}^{1}(K_{v}, M)\rightarrow \mathrm{H}^{1}(K_{v}, \mathrm{M}/F^{+}_{v}\mathrm{M})]. \end{align} $$

Following the notation in [Reference Howard14], we define the local conditions $\mathcal {F}^{c}_{b}(a)$ for a triple of integers $(a, b, c)$ and l by

(4.4) $$ \begin{align} \mathrm{H}^{1}_{\mathcal{F}^{a}_{b}(c)}(K_{v}, \mathrm{M})= \begin{cases} \mathrm{H}^{1}_{\mathrm{fin}}(K_{v}, \mathrm{M}) &\hphantom{a}\text{if}\hphantom{a} v\nmid abcl; \\ \mathrm{H}^{1}(K_{v}, M) &\hphantom{a}\text{if}\hphantom{a} v\mid a;\\ 0 &\hphantom{a}\text{if}\hphantom{a} v\mid b;\\ \mathrm{H}^{1}_{\mathrm{ord}}(K_{v}, \mathrm{M}) &\hphantom{a}\text{if}\hphantom{a} v\mid c;\\ \mathrm{H}^{1}_{\mathrm{ord}}(K_{v}, \mathrm{M}) &\hphantom{a}\text{if}\hphantom{a} v\mid l.\\ \end{cases} \end{align} $$

In other words, at places dividing a, we use the relaxed local condition; at places dividing b, we use the strict local condition; at places dividing $c l$ , we use the ordinary local condition. If any of $(a, b, c)$ is $1$ , then we omit it from the notation. We define the Selmer group for $\mathrm {M}$ by

$$ \begin{align*} \mathrm{Sel}_{\mathcal{F}^{a}_{b}(c)}(K, \mathrm{M})=\{s\in \mathrm{H}^{1}(K, \mathrm{M}): \mathrm{loc}_{v}(s)\in \mathrm{H}^{1}_{\mathcal{F}^{a}_{b}(c)}(K_{v}, \mathrm{M})\hphantom{a}\text{for all}\hphantom{a}v\}. \end{align*} $$

In this article, we will be mainly concerned with the Selmer group $\mathrm {Sel}_{\mathcal {F}(N^{-})}(K, \mathrm {M})$ . Notice that the Abel–Jacobi map

$$ \begin{align*} \mathrm{AJ}_{k, n}: \epsilon_{d}\epsilon_{k}\mathrm{CH}^{\frac{k}{2}}(\mathcal{W}_{k, d}\otimes K)\otimes{\mathbf{Z}}_{l} \rightarrow \mathrm{H}^{1}(K, \mathrm{T}_{f, n}) \end{align*} $$

factors through $\mathrm {Sel}_{\mathcal {F}(N^{-})}(K, \mathrm {T}_{f, n})$ . This is well-known except for a justification for primes dividing $N^{-}$ . Suppose that $v\mid N^{-}$ and that $\bar {\rho }_{f, \lambda }$ is ramified at v. Then it follows from our assumption $(\mathrm {CR}^{\star })$ that $v\not \equiv 1\mod l$ and a simple calculation using [Reference Darmon, Diamond and Taylor10, Theorem 2.17] shows that $\vert \mathrm {H}^{1}(K_{v}, \mathrm {T}_{f, n})\vert =\vert \mathrm {T}^{G_{K_{v}}}_{f, n}\vert ^{2}=0$ . Next, suppose that $v\mid N^{-}$ and that $\bar {\rho }_{f, \lambda }$ is unramified at v; then we have a decomposition

$$ \begin{align*} \mathrm{H}^{1}(K_{v}, \mathrm{T}_{f, n})=\mathrm{H}^{1}_{\mathrm{ord}}(K_{v}, \mathrm{T}_{f, n})\oplus \mathrm{H}^{1}_{\mathrm{fin}}(K_{v}, \mathrm{T}_{f, n}). \end{align*} $$

Then our claim follows from the proof of the ramified level raising in Theorem 2.12.

Recall the definition of a bipartite Euler system of odd type in [Reference Howard14, Definition 2.3.2]. The following result follows from the first reciprocity law in Theorem 3.6 and the second reciprocity law in Theorem 3.4 proved before.

4.2 The proof of the main result

Now we can state and prove the main result of this article.