Abstract
The aim of this paper is to prove inequalities towards instances of the Bloch–Kato conjecture for Hilbert modular forms of parallel weight two, when the order of vanishing of the Lfunction at the central point is zero or one. We achieve this implementing an inductive Euler system argument which relies on explicit reciprocity laws for cohomology classes constructed using congruences of automorphic forms and special points on several Shimura curves.
Introduction
1.1. Let F be a totally real field with ring of integers \({\mathcal {O}}_F\), \({\mathfrak {n}}\subset {\mathcal {O}}_F\) an ideal and \(f \in S({\mathfrak {n}})\) a Hilbert newform of parallel weight two and level \(U_1({\mathfrak {n}})\) with trivial central character. Let E be the number field generated by the Hecke eigenvalues of f. One can attach to f a compatible system of (selfdual) Galois representations indexed by finite places of E, coming in most cases from a motive M over F with coefficients in E [7] whose Lfunction coincides with the automorphic Lfunction L(f, s). The conjectures of Bloch and Kato [8]—reformulated and extended by Fontaine and PerrinRiou [17, 18]—predict that the order of vanishing of L(f, s) at the central point \(s=1\) should be equal to the dimension of the Selmer group of (the étale realisations of) M, and express the first non zero term in the Taylor expansion of L(f, s) at \(s=1\) in terms of arithmetic invariants of M.
1.2. The aim of this paper is to study instances of these conjectures for the base change of M to a CM extension K/F, when the order of vanishing of the relevant Lfunction is at most one. In this case we prove, under suitable assumptions, inequalities towards the special value formulas predicted by Bloch–Kato. Furthermore we are able to provide a criterion under which our inequalities can actually be shown to be equalities.
In order to state our main result we need to introduce some more notation: fix a place \({\mathfrak {p}}\) of E lying above a rational prime p; let \(E_{\mathfrak {p}}\) be the completion of E at \({\mathfrak {p}}\) and let \({\mathcal {O}}_{\mathfrak {p}}\) be the ring of integers of \(E_{\mathfrak {p}}\). Let \(\rho :Gal({\bar{F}}/F)\rightarrow Aut(V(f))\) the \({\mathfrak {p}}\)adic Galois representation attached to f. Choose a selfdual \(Gal({\bar{F}}/F)\)stable \({\mathcal {O}}_{\mathfrak {p}}\)lattice \(T(f)\subset V(f)\); set \(A(f)=V(f)/T(f)\) and let \({\bar{\rho }}: Gal({\bar{F}}/F)\rightarrow Aut(T(f)/{\mathfrak {p}})\) be the residual Galois representation attached to f.
1.3. Assume that \({\mathfrak {n}}\) is squarefree and all its prime factors are inert in K. The sign of the functional equation of \(L(f_K, s)\) equals 1 (resp. \(1\)) if the number of prime ideals dividing \({\mathfrak {n}}\) has the same (resp. opposite) parity as the degree \([F:{\mathbf {Q}}]\). In the first case, called the definite case, one can define the algebraic part of the special value \(L(f_K, 1)\), denoted by \(L^{alg}(f_K, 1)\) (see Remark 3.5); our result relates its \({\mathfrak {p}}\)adic valuation \(v_{\mathfrak {p}}(L^{alg}(f_K, 1))\) to the length of the Selmer group Sel(K, A(f)). In the second case, called the indefinite case, the representation T(f) can be realised as a quotient of the padic Tate module of the Jacobian of a suitable Shimura curve, and one can use points with CM by K on the curve to construct a Selmer class \(c \in Sel(K, T(f))\) which is non zero if and only if \(L'(f_K, 1)\ne 0\) (see 8.1); if this is the case let \(v_{\mathfrak {p}}(c)=\max \{k \ge 0 \mid c \in {\mathfrak {p}}^k Sel(K, T(f))\}\). We will relate \(v_{\mathfrak {p}}(c)\) to the length of the quotient of Sel(K, A(f)) by its divisible part.
1.4. We will work throughout the text with a certain class of automorphic forms modulo (powers of) \({\mathfrak {p}}\), which we call fadmissible automorphic forms (see Definition 6.4). Given such an automorphic form h we will consider the Selmer group \(Sel_{({\mathfrak {D}}_h/{\mathfrak {n}})}(K, T_1(f))\) and the “algebraic part of the special value” \(a(h) \in {\mathcal {O}}_{\mathfrak {p}}/{\mathfrak {p}}^n\) defined in Notation 6.8 and Definition 6.4). We can now state our main result:
1.5 Theorem
(Cf. Theorems 5.2, 8.3) The notation being as above, assume that

(1)
the level \({\mathfrak {n}}\) of f, the discriminant disc(K/F) and the prime p below \({\mathfrak {p}}\) are coprime to each other. Moreover \(p>3\) is unramified in F, and \({\mathfrak {n}}\) is squarefree and all its factors are inert in K.

(2)
The image of the residual Galois representation \({\bar{\rho }}\) attached to f contains \(SL_2({\mathbf {F}}_p)\).

(3)
For every prime ideal \({\mathfrak {q}}\mid {\mathfrak {n}}\) we have \(N({\mathfrak {q}}) \not \equiv 1 \pmod p\). Moreover if \(N({\mathfrak {q}}) \equiv 1 \pmod p\) then \({\bar{\rho }}\) is ramified at \({\mathfrak {q}}\).
Then the following statements hold true :

Definite case if \(L(f_K, 1)\ne 0\) then Sel(K, A(f)) is finite and
$$\begin{aligned} length _{{\mathcal {O}}_{\mathfrak {p}}}Sel(K, A(f))\le v_{\mathfrak {p}}(L^{alg}(f_K, 1)); \end{aligned}$$ 
Indefinite case if \(L'(f_K, 1)\ne 0\) then Sel(K, A(f)) has \({\mathcal {O}}_{\mathfrak {p}}\)corank one and
$$\begin{aligned} length _{{\mathcal {O}}_{\mathfrak {p}}}Sel(K, A(f))/div\le 2v_{\mathfrak {p}}(c). \end{aligned}$$
Moreover the above inequalities are equalities provided that the following implication holds true : if h is an fadmissible automorphic form mod \({\mathfrak {p}}\) and \(Sel_{({\mathfrak {D}}_h/{\mathfrak {n}})}(K, T_1(f))=0\) then a(h) is a \({\mathfrak {p}}\)adic unit.
1.6. Various results in the spirit of the above theorem have already been proved. In the indefinite setting, the relevant inequality was first established, under slightly different assumptions and with a different method, in [21]. In the definite case, the implication \(L(f_K, 1)\ne 0 \Rightarrow Sel(K, V(f))=0\) was studied, in different degrees of generality, by several authors (among others [4, 12, 28, 31]), and established under minimal assumptions for Hilbert modular forms of parallel weight two by Nekovář [37]. The idea underlying all these works, dating back to the seminal work [4], is to use a level raising of f at well chosen primes \({\mathfrak {l}}\) in order to switch from the definite to the indefinite situation, and use CM points on Shimura curves, available in the latter setting, to construct cohomology classes \(c({\mathfrak {l}})\) which, via global duality, create an obstruction to the existence of Selmer classes whenever \(L(f_K, 1)\) does not vanish. This is proved by establishing an explicit reciprocity law (the first reciprocity law in [4]) relating the localisation of \(c({\mathfrak {l}})\) at \({\mathfrak {l}}\) to the special value \(L(f_K, 1)\).
1.7. In [4] a second reciprocity law was also proved, expressing the localisation of \(c({\mathfrak {l}})\) at suitable primes \({\mathfrak {l}}'\ne {\mathfrak {l}}\) in terms of the special value of the Lfunction of a level raising of f at the two primes \({\mathfrak {l}}\) and \({\mathfrak {l}}'\). The joint use of the two reciprocity laws makes an induction process possible, which was used in [4] in order to prove one divisibility in the anticyclotomic Iwasawa main conjecture for weight two modular forms under suitable assumptions. This work was later generalised to modular forms of higher weight in [13] and to Hilbert modular forms of parallel weight two (resp. higher parallel weight) in [30] (resp. [49]). The results in all of these papers only apply to modular forms which are ordinary at primes above p; under this assumption, they can be used to deduce the inequalities in our theorem (at least in the definite case). In the supersingular setting the relevant Iwasawa main conjecture has been studied, when \(F={\mathbf {Q}}\), in [14, 39] if p splits; the general case is investigated in the preprint [5], which inspired the present work. However the analogous results over arbitrary totally real fields are currently not known. The main contribution of this work is to give a refinement of the Euler system argument used in [4, 5], and show that it can be employed to prove directly the soughtfor inequalities. The advantage of avoiding Iwasawa theory is that we do not need to restrict to ordinary nor split primes. In fact, by [16, Proposition 0.1], given a Hilbert newform f which is not a theta series and a CM extension K/F satisfying the requirements in (1), our result applies to all but finitely many primes \({\mathfrak {p}}\).
1.8. The criterion that we give to upgrade our inequalities to equalities can be seen as a \(GL_2\)version of Ribet’s converse of Herbrand’s theorem [41] (see Remark 6.11). It may be worth pointing out that such a criterion is somewhat optimal: the equality in the relevant special value formula in analytic rank zero in particular implies the existence of nontrivial Selmer classes if \(L^{alg}(f_K, 1)\) is not a \({\mathfrak {p}}\)adic unit. This cannot be proved via our Euler system argument; however the above mentioned criterion reduces the full equality—both in rank zero and one—to the simplest possible existence statement for Selmer classes. Such a statement follows from the Skinner–Urban divisibility in the Iwasawa main conjecture [43, 47] (proved for ordinary Hilbert modular forms in [48]) but is a priori much weaker; it would be interesting to know whether the implication at the end of our theorem can be established by other means.
1.9. Let us comment the hypotheses in Theorem 1.5. In order to run our inductive Euler system argument we crucially need two assumptions: on the one hand, we must impose suitable local restrictions to the Galois representation \({\bar{\rho }}\) at primes dividing \({\mathfrak {n}}\) which allow to express the local conditions defining the relevant Selmer groups purely in representationtheoretic terms (see the discussion in Sect. 4). On the other hand, we need a large image assumption along the lines of (2) both to ensure the existence of enough admissible primes (see Lemma 7.4) and to control our Selmer groups as in Proposition 5.8. In particular, for the Euler system part of our argument to work the full force of the assumptions of Theorem 1.5 is not needed: one could probably weaken (2) following [37] (see assumptions (A1), (A2), (A3) of Theorem A in loc. cit.), and it is not necessary to impose that \({\mathfrak {n}}\) is squarefree with all its factors inert in K. One could work with more general levels \({\mathfrak {n}}={\mathfrak {n}}^+{\mathfrak {n}}^\) as in Sect. 3, imposing the condition in Assumption 4.6 at prime ideals dividing \({\mathfrak {n}}^\), and suitable local conditions at prime ideals dividing \({\mathfrak {n}}^+\); see [39, 49, 53].
However, the construction of the cohomology classes and the reciprocity laws which we use in our Euler system argument rely on nontrivial automorphic inputs (in particular a suitable multiplicity one result and Ihara’s lemma; see Sect. 6). In order to use these automorphic results—over a general totally real field F—we need the strong assumptions in Theorem 1.5 (see Remark 6.14).
1.10. Let us briefly describe how our proof works, referring the reader to Sect. 7 for the details. In the definite case we prove the result by induction on \(t(f)=v_{\mathfrak {p}}(L^{alg}(f_K, 1))\). When \(t(f)=0\) it is easily seen that the existence of the classes \(c({\mathfrak {l}})\) and the first reciprocity law force the vanishing of \(l(f)=length_{{\mathcal {O}}_{\mathfrak {p}}}Sel(K, A(f))\) (Corollary 7.14). If \(t(f)>0\), using both reciprocity laws and global duality we are able to show that either \(Sel(K, A(f))=0\) or one can produce an fadmissible level raising g of f modulo a high enough power of \({\mathfrak {p}}\) such that \(t(g)<t(f)\) and
More precisely, one works with the \({\mathfrak {p}}\)adic valuation of a(g) as defined in Definition 6.4 on the left hand side. Let us stress that the Euler system argument we give is not enough to rule out the possibility that \(t(f)>0\) and \(Sel(K, A(f))=0\). This is not surprising, as the fact that \(Sel(K, A(f))\ne 0\) if \(t(f)>0\) is an existence statement for non trivial Selmer classes, which one does not expect to follow from the algebraic manipulations at the heart of our arguments. However, as mentioned above, the implication \(t(f)>0\Rightarrow Sel(K, A(f))\ne 0\) is the only additional input needed in order to promote our inequalities to equalities. The reason why such an input suffices is that Eq. (1.10.1) shows that the difference between the padic valuations of \(L^{alg}(f_K, 1)\) and \(L^{alg}(g_K, 1)\) precisely matches the difference between the lengths of the corresponding Selmer groups. The most delicate part of our argument is devoted to proving this sharp relation (see 7.18); this requires a careful comparison of the Selmer groups attached to f and g, and rests on the weak annihilation result given in Proposition 7.7.
Finally, we deal with the indefinite case by essentially reducing it to the definite one via level raising and the second reciprocity law. A similar idea also appears, in a simpler setting, in [53], and is used in [3] to obtain a result close to ours over \({\mathbf {Q}}\). More general special value formulas in the analytic rank one case for elliptic curves over \({\mathbf {Q}}\) have been established in [23] and [10] by different methods. It is perhaps also worth pointing out that using Kolyvagin’s method (in its totally real version [21, 25, 36]) one can obtain results in the analytic rank one case and then deduce information in the analytic rank zero case (at least concerning the rank of the relevant Selmer group over the base field) using nonvanishing results for the first derivative of Lfunctions [9]. We instead proceed in the opposite way, treating the rank zero case first and then deducing the rank one case.
1.11. Finally, let us mention that analogues of the reciprocity laws used in this paper have been (partially) established in other contexts [26, 27, 54] and used to bound the ranks of the Selmer groups of suitable motives. We hope that our arguments can be of use in these settings to prove (inequalities towards) the expected special value formulas.
1.12. Structure of the paper. In Sect. 2 we fix our notation and introduce our main objects of interest, namely Hilbert modular forms (as well as automorphic forms on other quaternion algebras) and the associated Galois representations. In Sect. 3 we recall the special value formulas of S. Zhang for the central value and first derivative of the Lfunctions of Hilbert modular forms. In Sect. 4 we introduce Bloch–Kato Selmer groups for the representations of interest to us and explicitly describe the relevant local conditions in our setting. In Sect. 5 we state our main theorem in the definite case and reduce it to a statement on finite Selmer groups. Section 6 introduces the cohomology classes and reciprocity laws needed to prove this statement. Finally, those are used to prove our main result in the definite setting in Sect. 7, which is the heart of this paper. The indefinite case is dealt with in Sect. 8.
1.13. Notation and conventions. We fix once for all a rational prime p, embeddings \(\iota _\infty : {\bar{{\mathbf {Q}}}}\rightarrow {\mathbf {C}}, \iota _p:{\bar{{\mathbf {Q}}}}\rightarrow {\bar{{\mathbf {Q}}}}_p\) and an isomorphism compatible with the two embeddings. Fix also the square root \(i \in {\mathbf {C}}\) of \(1\).
The symbol Fr denotes geometric Frobenius, unless stated otherwise. Accordingly, the Artin map of global class field theory is normalised so that uniformisers correspond to geometric Frobenius elements.
The absolute Galois group of a field L is denoted by \(\Gamma _L\). The completion of a number field L at a place v is denoted by \(L_v\). If M is a \(\Gamma _L\)module and \(c \in H^1(L, M)\) then the restriction of c to \(H^1(L_v, M)\) will be denoted by \(loc_v(c)\).
We will write \(M \simeq N\) to denote that two objects M, N are isomorphic. The cardinality of a set X will be denoted by \(\# X\).
We let \({\hat{{\mathbf {Z}}}}=\varprojlim _n {\mathbf {Z}}/n{\mathbf {Z}}\) and, for an abelian group A, we set \({\hat{A}}=A\otimes _{\mathbf {Z}}{\hat{{\mathbf {Z}}}}\). For example the ring of finite adeles of \({\mathbf {Q}}\) is \({\mathbf {A}}_f={\mathbf {Q}}\times _{\mathbf {Z}}{\hat{{\mathbf {Z}}}}={\hat{{\mathbf {Q}}}}\).
Quaternionic automorphic forms
2.1. In this section we introduce the main objects we will work with, namely Hilbert modular forms and the associated Galois representations, Shimura curves and quaternionic sets. The material in this section is well known, hence we will provide no proof. For a more detailed discussion the reader is referred to [35, Chapter 12] and the references therein.
2.2. Hilbert modular forms. Let us fix a totally real number field F of degree \(r>1\) with ring of integers \({\mathcal {O}}_F\); let \(G=Res_{F/{\mathbf {Q}}}GL_{2,F}\) and let \(U\subset G({\mathbf {A}}_f)\) be a compact open subgroup. We denote by M(U) the space of Hilbert modular forms of parallel weight two and level U with trivial central character and by S(U) the subspace of cusp forms. They are equipped with an action of the Hecke algebra \({\mathcal {H}}(U{\setminus } G({\mathbf {A}}_f)/U)\) of compactly supported, left and right Uinvariant functions \(G({\mathbf {A}}_f)\rightarrow {\mathbf {C}}\).
Let \({\mathfrak {n}}\subset {\mathcal {O}}_F\) be an ideal such that \(({\mathfrak {n}}, p)=(1)\). In what follows we will work with Hilbert modular forms of level \(U_1({\mathfrak {n}})\), where
More precisely, in this document we will always work with Hilbert modular forms with trivial central character; the space of modular (resp. cusp) forms of level \(U_1({\mathfrak {n}})\) with trivial central character will be denoted by \(M({\mathfrak {n}})\) (resp. \(S({\mathfrak {n}})\)). In particular, Hilbert modular forms in \(M({\mathfrak {n}})\) are invariant under the group \(U_0({\mathfrak {n}})=\left\{ \begin{pmatrix} a &{} b\\ c &{} d \end{pmatrix} \in GL_2(\hat{{\mathcal {O}}}_F) \, : c \equiv 0 \pmod {{\hat{{\mathfrak {n}}}}}\right\} \) (see [35, (12.3.2), (12.3.5)]).
Let v be a finite place of F not dividing \({\mathfrak {n}}\) and \(A_v=U_1({\mathfrak {n}})\begin{pmatrix} \varpi _v &{} 0\\ 0 &{} 1 \end{pmatrix}U_1({\mathfrak {n}})\), where \(\varpi _v\) is a uniformiser of \(F_v\). We denote by \(T_v: M({\mathfrak {n}})\rightarrow M({\mathfrak {n}})\) the Hecke operator corresponding to the function
where \({\mathbf {1}}_{A_v}\) is the characteristic function of \(A_v\) and \(dg=\prod _{v \not \mid \infty }dg_v\), where \(dg_v\) is the Haar measure on \(GL_2(F_v)\) normalised imposing \(\int _{GL_2({\mathcal {O}}_{F_v})}dg=1\). If v divides \({\mathfrak {n}}\) the same operator will be denoted by \(U_v\). We denote by \({\mathbf {T}}_{\mathfrak {n}}\subset {\mathcal {H}}(U_1({\mathfrak {n}}){\setminus } G({\mathbf {A}}_f)/U_1({\mathfrak {n}}))\) the ring generated by the Hecke operators \(T_v\) for \(v \not \mid {\mathfrak {n}}\) and \(U_v\) for \(v{\mathfrak {n}}\).
A cusp form \(f \in S({\mathfrak {n}})\) is called a newform (of parallel weight two, with trivial central character) if it is an eigenvector for all the operators in \({\mathbf {T}}_{\mathfrak {n}}\), it is new at every place \(w{\mathfrak {n}}\) (see [35, (12.3.4)]) and the constant term in its Fourier expansion equals one. A newform f gives rise to a ring morphism
sending an Hecke operator \(T \in {\mathbf {T}}_{\mathfrak {n}}\) to the number \(\lambda _f(T) \in {\mathbf {C}}\) such that \(T\cdot f=\lambda _f(T)f\). The Lfunction of f is defined as the Euler product
yielding a holomorphic function on the halfplane \(Re \, s >\frac{3}{2}\).
2.3. Galois representations attached to newforms. Let \(f \in S({\mathfrak {n}})\) be a newform and \({\mathcal {O}}\) the ring generated by the eigenvalues \(\lambda _f(T_v)\), \(\lambda _f(U_v)\) of the Hecke operators acting on f. It is an order in the ring of integers of a number field \(E\subset {\mathbf {C}}\) which is totally real (since f has trivial central character). Thanks to the work of several people [6, 38, 44, 50] one can attach to f a compatible system of Galois representations
where, for each finite place \(\pi \) of E, \(V_{f, \pi }\) is a 2dimensional vector space over the completion \(E_\pi \) of E at \(\pi \). We denote simply by
the Galois representation corresponding to the place \({\mathfrak {p}}\) of E induced by the isomorphism fixed at the beginning 1.13. Let \({\mathcal {O}}_{\mathfrak {p}}\) be the ring of integers of \(E_{\mathfrak {p}}\) and \(\varpi \) a uniformiser of \({\mathcal {O}}_{\mathfrak {p}}\). The representation \(\rho _f\) enjoys the following properties:

(1)
it is unramified outside \({\mathfrak {n}}p\);

(2)
for every finite place v of F not dividing \({\mathfrak {n}}p\) we have
$$\begin{aligned} det(1Fr_v N(v)^{s}V_f)=1\lambda _f(T_v)N(v)^{s}+N(v)^{12s}; \end{aligned}$$ 
(3)
for \(v \not \mid {\mathfrak {n}}p\) the eigenvalues of \(Fr_v\) acting on \(V_f\) are vWeil numbers of weight 1;

(4)
it is absolutely irreducible.
By (4), the Brauer–Nesbitt theorem and the Chebotarev density theorem \(\rho _f\) is uniquely characterised up to isomorphism by the property (2), which determines the trace of almost all Frobenius elements. Moreover (2) implies that
hence \(V_f^*=Hom(V_f, E_{\mathfrak {p}})\simeq V_f(1)\). Letting \(V(f)=V_f(1)\) it follows that V(f) is selfdual, i.e. there is a skewsymmetric, non degenerate, \(\Gamma _F\)equivariant pairing
yielding an identification \(V(f)\simeq Hom_{\Gamma _F}(V(f), E_{\mathfrak {p}}(1))\).
We choose a \(\Gamma _F\)stable \({\mathcal {O}}_{\mathfrak {p}}\)lattice \(T(f)\subset V(f)\) such that the above pairing (possibly scaled by a constant) induces a perfect pairing
hence perfect pairings
where \(A(f)=V(f)/T(f)\), \(A_n(f)=A(f)[\varpi ^n]\simeq T_n(f)=T(f)/\varpi ^n\).
2.4 Assumption
Assume that the residual Galois representation \(T_1(f)\) is irreducible (hence absolutely irreducible).
Under the above assumption the isomorphism class of the Galois representations \(T(f), T_n(f)\) does not depend on the choice of the lattice T(f).
We will need the following information on the local structure of the \(\Gamma _F\)module V(f):
2.5 Lemma
(Cf. [35, 12.4.4.2, 12.4.5]) If v is a place of F dividing exactly \({\mathfrak {n}}\) then \(V(f)_{\Gamma _{F_v}}\) is of the form
where \(\chi _{cyc}\) is the cyclotomic character and \(\mu \) is a quadratic unramified character.
2.6. Shimura curves. Let B/F be a quaternion algebra split at exactly one infinite place \(\tau \) of F. For \(U\subset {\hat{B}}^\times \) compact open one can define the space \(S^{B^\times }(U)\) of (cuspidal) automorphic forms for \(B^\times \) of level U and weight 2, endowed with an action of \({\mathcal {H}}(U\backslash {\hat{B}}^\times /U)\). On the other hand we can consider the Shimura curve \(Y_U\) whose complex points are given by
where \(B^\times \) acts on \({\mathbf {C}}{\setminus } {\mathbf {R}}\) via the embedding \(B\subset B\otimes _{F, \tau } {\mathbf {R}}=M_2({\mathbf {R}})\) and the action of \(GL_2({\mathbf {R}})\) on \({\mathbf {C}}{\setminus } {\mathbf {R}}\) by Möbius transformations. Every element of the Hecke algebra \({\mathcal {H}}(U\backslash {\hat{B}}^\times /U)\) gives rise to a correspondence on the curve \(Y_U\), hence the Hecke algebra acts on \(H^0(Y_U^{an}, \Omega _{\mathbf {C}})\). In fact, there is a canonical, Hecke equivariant identification (see [36, (1.6)])
Together with the Hodge decomposition and the comparison between Betti and étale cohomology, this relates weight two cuspidal eigenforms for \(B^\times \) to systems of Hecke eigenvalues in the étale cohomology of \(Y_U\).
The center \({\hat{F}}^\times \subset {\hat{B}}^\times \) acts on \(Y_U\). Denoting by [z, b] a point of \(Y_U^{an}\), where \(z \in {\mathbf {C}}{\setminus } {\mathbf {R}}\) and \(b \in {\hat{B}}^\times \), the action of an element \(g \in {\hat{F}}^\times \) is given by \(g \cdot [z, b]=[z, bg]\); hence the action of \({\hat{F}}^\times \) factors through the finite group \(C_U=F^\times \backslash {\hat{F}}^\times /({\hat{F}}^\times \cap U)\). The quotient \(X_U=Y_U/C_U\) is a smooth projective scheme, and (2.6.2) induces an identification
where we denoted by \(S^{B^\times /Z}(U)\subset S^{B^\times }(U)\) the subspace of automorphic forms with trivial central character. Since those are the only automorphic forms we will consider, we will consistently work with the quotient Shimura curves \(X_U\).
2.7. Automorphic forms on totally definite quaternion algebras. Finally, we will need to work with automorphic forms (of “parallel weight two”) on totally definite quaternion algebras. Let B/F be a quaternion algebra ramified at every infinite place and \(U\subset {\hat{B}}^\times \) a compact open subgroup. Then the space of weight two automorphic forms for \(B^\times \) of level U is defined as
notice that \(B^\times \backslash {\hat{B}}^\times /U\) is a finite set, which we will sometimes call a quaternionic set. Automorphic forms with trivial central character are those which factor through \(B^\times \backslash {\hat{B}}^\times /{\hat{F}}^\times U\). We will also need to work with automorphic forms modulo (powers of) p. For our minimal needs, it will be enough to make use of these objects for totally definite quaternion algebras, in which case the definition is straightforward:
2.8 Definition
Let B be a totally definite quaternion algebra and A a commutative ring. We define the space of Avalued automorphic forms for \(B^\times \) of level U as
and we define \(S^{B^\times /Z}(U, A)\) by requiring \({\hat{F}}^\times \)invariance in addition.
Lfunctions and special value formulas
3.1. The aim of this section is to recall the special value formulas due to S. Zhang relating the central value (resp. first derivative) of the Lfunction of a Hilbert newform to special points on quaternionic sets (resp. Shimura curves). These formulas are the key analytic input for our work, whose aim will be to exploit these points, and the relations among them, in order to bound the Selmer group attached to the relevant Hilbert modular form. Proofs of the formulas can be found in [52] and, in more detail and generality, in [51] (see also [11]).
3.2. Let \(f \in S({\mathfrak {n}})\) be a newform (with trivial central character); let K/F be a totally imaginary quadratic extension satisfying \(({\mathfrak {n}}, disc(K/F))=1\). Let \(L(f_K, s)=(\Gamma _{\mathbf {C}}(s)^{[F:{\mathbf {Q}}]})L^\infty (f_K, s)\) where \(L^\infty (f_K, s)\) is the Lfunction of the compatible system of Galois representations \(\{V_{f, \pi }_{\Gamma _K}\}_\pi \) and \(\Gamma _{\mathbf {C}}(s)=2(2\pi )^{s}\Gamma (s)\). The function \(L(f_K, s)\) admits holomorphic continuation to the whole complex plane, and it satisfies a functional equation of the form \(L(f_K, s)=\epsilon (f_K, s)L(f_K, 2s)\). In particular the parity of the order of vanishing of \(L(f_K, s)\) at \(s=1\) is determined by \(\epsilon (f_K, 1)\). Our assumption that \(({\mathfrak {n}}, disc(K/F))=1\) implies that we can write \({\mathfrak {n}}={\mathfrak {n}}^+{\mathfrak {n}}^\), where \({\mathfrak {n}}^+\) (resp. \({\mathfrak {n}}^\)) is divisible only by primes which are split (resp. inert) in K; let us furthermore assume that \({\mathfrak {n}}^\) is squarefree. Then the value \(\epsilon (f_K, 1)\), which we will simply denote by \(\epsilon (f_K)\), is determined as follows:

(1)
If \(r=[F: {\mathbf {Q}}]\equiv \#\{{\mathfrak {q}}: {\mathfrak {q}}\mid {\mathfrak {n}}^\} \pmod 2\) then \(\epsilon (f_K)=1\); this is called the definite case. In this situation we will be interested in the special value \(L(f_K, 1)\).

(2)
If \(r \not \equiv \#\{{\mathfrak {q}}: {\mathfrak {q}}\mid {\mathfrak {n}}^\} \pmod 2\) then \(\epsilon (f_K)=1\); this is called the indefinite case. In this situation the functional equation forces the vanishing of the central value \(L(f_K, 1)\), and we will look instead at \(L'(f_K, 1)\).
3.3. The definite case. Suppose that \([F: {\mathbf {Q}}]\equiv \#\{{\mathfrak {q}}: {\mathfrak {q}}\mid {\mathfrak {n}}^\} \pmod 2\); let B/F be the quaternion algebra ramified at all primes dividing \({\mathfrak {n}}^\) as well as at all infinite places. Then f can be transferred, via the Jacquet–Langlands correspondence, to an automorphic form
where \(R\subset B\) is an Eichler order of level \({\mathfrak {n}}^+\). We normalize \(f_B\) requiring its Petersson norm to be 1 (the Petersson product being just a finite sum in this case). Fix an Roptimal embedding \(\iota : K\hookrightarrow B\) (i.e. such that \(\iota ^{1}(R)={\mathcal {O}}_K\)), inducing a map
Let \(a(f)=\sum _{P \in K^\times \backslash {\hat{K}}^\times /{\hat{F}}^\times \hat{{\mathcal {O}}}_K^\times }f_B({\hat{\iota }}(P)) \in {\mathbf {C}}\).
3.4 Theorem
[52, Theorem 7.1] The following equality holds :
3.5 Remark
Since we will have to work with integral automorphic forms we need to make a different choice of Jacquet–Langlands transfer \(f_B\), which results in a different period appearing in the special value formula in place of \(\langle f, f \rangle _{Pet}\). For a discussion of this issue we refer the reader to [46, Section 2] (see also [29, Section 3.3]). For our purposes, let us recall that we can, and will, choose \(f_B \in S^{B^\times /Z}({\hat{R}}^\times , {\mathcal {O}})\), where \({\mathcal {O}}\) is the ring generated by the Hecke eigenvalues of f, and such that the image of \(f_B\) in \({\mathcal {O}}_{\mathfrak {p}}\) contains a \({\mathfrak {p}}\)adic unit. This determines \(f_B\) up to multiplication by a \({\mathfrak {p}}\)adic unit, and for such a choice the above formula translates into
where \(C= \frac{\sqrt{N(disc(K/F))}}{2^r}\) and \(\Omega ^{Gr}=\frac{\langle f, f \rangle _{Pet}}{\eta _B}\) is the Gross period, quotient of \(\langle f, f \rangle _{Pet}\) by the congruence number \(\eta _B\).
In particular the value \(C \cdot \frac{L(f_K, 1)}{\Omega ^{Gr}}\) is an algebraic number, called the algebraic part of the special value \(L(f_K, 1)\) and denoted by \(L^{alg}(f_K, 1)\). As f has trivial central character the fraction field of \({\mathcal {O}}\) is totally real, hence \(a(f)^2=a(f)^2\in {\mathbf {C}}\). Using the isomorphism \({\mathbf {C}}\xrightarrow {\sim } \bar{{\mathbf {Q}}}_p\) fixed in the Introduction, Eq. (3.5.1) yields the following expression for the \({\mathfrak {p}}\)adic valuation of \(L^{alg}(f_K, 1)\):
3.6. The indefinite case. Let us now assume that \(r \not \equiv \#\{{\mathfrak {q}}: {\mathfrak {q}}\mid {\mathfrak {n}}^\} \pmod 2\); let B/F be the quaternion algebra ramified at all primes dividing \({\mathfrak {n}}^\) and at all but one infinite place; let \(R \subset B\) be an Eichler order of level \({\mathfrak {n}}^+\) and fix an Roptimal embedding \(K \hookrightarrow B\) as before. Let \(P_K \in X_{{\hat{R}}^\times }({\mathbf {C}})\) be a point with CM by \({\mathcal {O}}_K\); via the complex uniformisation (2.6.1) we can take \(P_K=[z, 1]\) where \(z \in {\mathbf {C}}{\setminus } {\mathbf {R}}\) is the only point in the upper half plane fixed by the action of \(K^\times \subset B^\times \). The point \(P_K\) is an algebraic point of \(X_{{\hat{R}}^\times }\), defined over the abelian extension of K whose Galois group is identified with \(K^\times \backslash {\hat{K}}^\times /{\hat{F}}^\times \hat{{\mathcal {O}}}_K^\times \) via Artin’s reciprocity map.
Let \(Q_K=\sum _{\sigma \in K^\times \backslash {\hat{K}}^\times /{\hat{F}}^\times \hat{{\mathcal {O}}}_K^\times }\sigma (P_K) \in Div(X_{{\hat{R}}^\times })\) and let a(f) be the \(f_B\)isotypical part of \(Q_K  deg(Q_K)\xi \in Jac(X_{{\hat{R}}^\times })(K)\otimes {\mathbf {Q}}\), where \(f_B \in S^{B^\times /Z}({\hat{R}}^\times )\) is a Jacquet–Langlands transfer of f and \(\xi \in CH^1(X_{{\hat{R}}^\times })\otimes {\mathbf {Q}}\) is the Hodge class [52, pag. 202].
3.7 Theorem
[52, Theorem 6.1] The following equality holds :
where \(\langle , \rangle _{NT}\) is the Neron–Tate height.
3.8 Remark
Let \({\mathbb {T}}^{B^\times /Z}_{{\mathfrak {n}}^+} ={\mathcal {O}}_{\mathfrak {p}}[T_v, v \not \mid {\mathfrak {n}}, U_v, v \mid {\mathfrak {n}}]\) where \(T_v\) (resp. \(U_v\)) is the characteristic function of the double coset \([{\hat{R}}^\times \varpi _v {\hat{R}}^\times ]\), with \(\pi _v \in B_v^\times \subset {\hat{B}}^\times \) an element of norm N(v). Under Assumption 2.4 the maximal ideal of \({\mathbb {T}}^{B^\times }_{{\mathfrak {n}}^+}\) containing the kernel \(I_{f_B}\) of the map \({\mathbb {T}}_{{\mathfrak {n}}^+}^{B^\times /Z}\rightarrow {\mathcal {O}}_{\mathfrak {p}}\) attached to \(f_B\) is not Eisenstein, so the Hodge class dies modulo \(I_{f_B}\). Hence inside \((CH^1(X_{{\hat{R}}^\times })(K))\otimes {\mathcal {O}}_{\mathfrak {p}})/I_{f_B}=(Jac(X_{{\hat{R}}^\times })(K)\otimes {\mathcal {O}}_{\mathfrak {p}})/I_{f_B}\) we have \(a(f)=[Q_K]\).
Selmer groups
4.1. Throughout this section we fix a Hilbert newform \(f \in S({\mathfrak {n}})\) and a CM extension K/F such that \({\mathfrak {n}}\) is squarefree and all its prime factors are inert in K (in the notation of the previous section, we are assuming that \({\mathfrak {n}}={\mathfrak {n}}^\)).
4.2. Bloch–Kato Selmer groups. Let \(V=V(f)\). Recall that this is a twodimensional \(E_{\mathfrak {p}}\)vector space with a continuous \(\Gamma _F\)action, inside which we have chosen a selfdual \({\mathcal {O}}_{\mathfrak {p}}\)lattice T(f). We defined \(A(f)=V(f)/T(f)\) and, for \(n \ge 1\), we denote \(A_n(f)=A(f)[\varpi ^n]\simeq T_n(f)=T(f)/\varpi ^n\).
The Bloch–Kato Selmer group of the \(\Gamma _K\)module V is defined as
where, for a finite place v of K,
We also define Selmer groups Sel(K, M) for \(M=T(f), T_n(f), A(f), A_n(f)\) imposing as local conditions \(H^1_f(K_v, M)\) those coming from \(H^1_f(K_v, V)\) by propagation. In particular under the local Tate pairing at a place v
the local conditions \(H^1_f(K_v, T_n(f))\) and \(H^1_f(K_v, A_n(f))\) are annihilators of each other, since the same is true for the Bloch–Kato local conditions on V.
4.3. Our aim is to determine the local conditions defining \(Sel(K, A_n(f))\) more explicitly. Precisely, imposing suitable hypotheses on the Galois representation \(T_1(f)\), we wish to describe these local conditions purely in terms of the Galois representation \(A_n(f)\) and of the level \({\mathfrak {n}}\).
4.4. Local condition at places outside \({\mathfrak {n}}p\). If v is a finite place of K not dividing \({\mathfrak {n}}p\) then V(f) is unramified at v. Since the unramified local condition is stable under propagation on unramified \(\Gamma _K\)modules (see [34, Lemma 1.1.9]) it follows that the local condition on \(H^1(K_v, M)\) for \(M=A_n(f), T_n(f)\) is the unramified one, i.e.
4.5. Local condition at places dividing \({\mathfrak {n}}\). We want to express local conditions at places dividing \({\mathfrak {n}}\) in terms of the Galois module \(A_n(f)\). To do this we will need the following
4.6 Assumption
Assume that, if \({\mathfrak {q}}{\mathfrak {n}}\) and \(N({\mathfrak {q}}) \equiv \pm 1 \pmod p,\) then \(T_1(f)\) is ramified at \({\mathfrak {q}}\).
4.7 Lemma
(Cf. [39, Lemma 3.5]) Let \({\mathfrak {q}}{\mathfrak {n}}\) and \(n\ge 1.\) Under the above assumption there exists a unique submodule \(A_n^{{\mathfrak {q}}}(f)\) of \(A_n(f)\) free of rank one over \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\) on which \(\Gamma _{K_{\mathfrak {q}}}\) acts via the cyclotomic character.
Proof
Because of Lemma 2.5 (and the fact that every factor of \({\mathfrak {n}}\) is inert in K) the \(\Gamma _{K_{\mathfrak {q}}}\)module V(f) is of the form
hence we get a free rank one submodule of \(A_n(f)\) on which \(\Gamma _{K_{\mathfrak {q}}}\) acts via the cyclotomic character. In order to show that this is unique, it suffices to prove that the maximal \({\mathcal {O}}_{\mathfrak {p}}/\varpi \)vector subspace B of \(A_1(f)\) on which \(\Gamma _{K_{\mathfrak {q}}}\) acts via the cyclotomic character is onedimensional. This follows from Assumption 4.6. Indeed, as the action of \(\Gamma _{K_{\mathfrak {q}}}\) on B is unramified, if \(A_1(f)^{I_{\mathfrak {q}}}\) is one dimensional then B must coincide with \(A_1(f)^{I_{\mathfrak {q}}}\). If instead \(A_1(f)^{I_{\mathfrak {q}}}=A_1(f)\), we know by Assumption 4.6 that \(N({\mathfrak {q}})\not \equiv \pm 1 \pmod p\). If by contradiction \(B=A_1(f)\) then a geometric Frobenius element in \(\Gamma _{K_{\mathfrak {q}}}\) acts on \(A_1(f)\) via multiplication by \(N({\mathfrak {q}})^{2}\). As \(N({\mathfrak {q}})\not \equiv \pm 1 \pmod p\), this contradicts the fact that the determinant of the representation \(A_1(f)\) is the cyclotomic character. \(\square \)
4.8 Proposition
With the notations of the previous lemma, we have :
Proof
First of all, we have \(H^1(K_{\mathfrak {q}}, V(f))=0\), \(H^1_f(K_{\mathfrak {q}}, A(f))=0\) and \(H^1(K_{\mathfrak {q}}, T(f))=H^1_f(K_{\mathfrak {q}}, T(f))\) is finite (cf. [37, Proposition 2.7.8]), hence \(H^1_f(K_{\mathfrak {q}}, T_n(f))=Im(H^1(K_{\mathfrak {q}}, T(f))\rightarrow H^1(K_{\mathfrak {q}}, T_n(f)))\). Set \(T=T(f)_{\Gamma _{K_{\mathfrak {q}}}}\). Then we have an exact sequence of \({\mathcal {O}}_{\mathfrak {p}}[\Gamma _{K_{\mathfrak {q}}}]\)modules
where \(T^+={\mathcal {O}}_{\mathfrak {p}}(1)\) and \(T^={\mathcal {O}}_{\mathfrak {p}}\). The induced long exact sequence in cohomology yields
moreover we have \(H^0(K_{\mathfrak {q}}, T^)\simeq H^2(K_{\mathfrak {q}}, T^+)\simeq {\mathcal {O}}_{\mathfrak {p}}\), \(H^1(K_{\mathfrak {q}}, T^+)=K_{\mathfrak {q}}^\times {{\hat{\otimes }}} {\mathcal {O}}_{\mathfrak {p}}\) and \(H^1(K_{\mathfrak {q}}, T^)=Hom_{cont}(\Gamma _{K_{\mathfrak {q}}}^{ab}, {\mathcal {O}}_{\mathfrak {p}})=Hom_{cont}(\widehat{{K_{\mathfrak {q}}}^\times }, {\mathcal {O}}_{\mathfrak {p}})\). As \(H^1(K_{\mathfrak {q}}, T)\) is finite and \(H^1(K_{\mathfrak {q}}, T^)\) is infinite the second coboundary map is non zero, hence injective. It follows that the map \(T^+\rightarrow T\) induces a surjection \(H^1(K_{\mathfrak {q}}, T^+)\twoheadrightarrow H^1(K_{\mathfrak {q}}, T)\); furthermore the map \(H^1(K_{\mathfrak {q}}, T^+)=K_{\mathfrak {q}}^\times {{\hat{\otimes }}} {\mathcal {O}}_{\mathfrak {p}}\rightarrow H^1(K_{\mathfrak {q}}, T^+/{\mathfrak {p}}^n)=K_{\mathfrak {q}}^\times \otimes {\mathcal {O}}_{\mathfrak {p}}/{\mathfrak {p}}^n\) is surjective. Hence we obtain \(H^1_f(K_{\mathfrak {q}}, T_n(f))=Im(H^1(K_{\mathfrak {q}}, T^+/{\mathfrak {p}}^n)\rightarrow H^1(K_{\mathfrak {q}}, T_n(f)))\), from which the proposition follows. \(\square \)
4.9. Local conditions at places above p. The Bloch–Kato local condition at places of K lying above p can be described in terms of flat cohomology of pdivisible groups. This is discussed in detail in appendix A of [37]; the key facts that we need are summarised in the following
4.10 Proposition

(1)
Let v be a place of F above p. Then there exists a pdivisible group \({\mathcal {G}}/{\mathcal {O}}_{F_v}\) with an action of \({\mathcal {O}}_{\mathfrak {p}}\) such that \(T_p({\mathcal {G}})=T(f)_{\Gamma _{F_v}}.\)

(2)
For \({\mathcal {G}}\) as in (1) and \(n \ge 1\) we have
$$\begin{aligned} H^1_f(K_w, T_n(f))=H^1_{fl}({\mathcal {O}}_{K_w}, {\mathcal {G}}[\varpi ^n]) \end{aligned}$$where w is a place of K above v.

(3)
Assume that p is unramified in K. Let w be a place of K above p and \({\mathcal {H}}/{\mathcal {O}}_{K_w}\) a finite flat group scheme with \({\mathcal {O}}_{\mathfrak {p}}/(\varpi ^n)\)action such that \(T_n(f)\simeq {\mathcal {H}}({\bar{K}}_w)\) as \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n[\Gamma _{K_w}]\)modules. Then \(H^1_f(K_w, T_n(f))=H^1_{fl}({\mathcal {O}}_w, {\mathcal {H}})\).
Proof
The existence of \({\mathcal {G}}\) such that \(T_p({\mathcal {G}})=T(f)_{G_{F_v}}\) is proved in [45, Theorem 1.6].
The second point follows from [37, A.2.6], which is a consequence of the fact that \(T_p({\mathcal {G}})\otimes {\mathbf {Q}}_p\) is a crystalline \(\Gamma _{F_v}\)representation, of local flat duality and of the vanishing of the second cohomology groups \(H^2_{fl}({\mathcal {O}}_{K_w}, {\mathcal {G}}[\varpi ^k]), k \ge 1\).
Finally let us prove the third statement. We have isomorphisms \({\mathcal {G}}[\varpi ^n]({\bar{K}}_w) \simeq T_n(f)\simeq {\mathcal {H}}({\bar{K}}_w)\). Since p is odd and unramified in K, by [40, Corollary 3.3.6] the isomorphism \({\mathcal {G}}[\varpi ^n]({\bar{K}}_w)\simeq {\mathcal {H}}({\bar{K}}_w)\) comes from an isomorphism \({\mathcal {G}}[\varpi ^n]\simeq {\mathcal {H}}\), under which \(H^1_{fl}({\mathcal {O}}_w, {\mathcal {G}}[\varpi ^n])\) and \(H^1_{fl}({\mathcal {O}}_w, {\mathcal {H}})\) are identified in \(H^1(K_w, T_n(f))\). \(\square \)
4.11. The outcome of this section is that we have described the local conditions giving \(Sel(K, T_n(f))\simeq Sel(K, A_n(f))\) purely in terms of the \(\Gamma _K\)module \(A_n(f)\) and of the level \({\mathfrak {n}}\) of f; this will be important for us as in what follows we will realise \(T_n(f)\) as a quotient of the Tate module of the Jacobian of several Shimura curves.
Statement of the main theorem, and a first dévissage
5.1. Fix \(f \in S({\mathfrak {n}})\) as in 4.1. Until further notice, we are now going to work in the definite case, i.e. we suppose that \([F: {\mathbf {Q}}]\equiv \# \{{\mathfrak {q}}, {\mathfrak {q}}\mid {\mathfrak {n}}\} \pmod 2\). Then the sign of the functional equation of \(L(f_K, 1)\) is 1, and Zhang’s special value formula (3.4.1) implies that, with the notations as in Remark 3.5, \(v_{\mathfrak {p}}(L^{alg}(f_K, 1))=2v_{\mathfrak {p}}(a(f))\). In this setting, our aim is to prove the following result
5.2 Theorem
Let \(f \in S({\mathfrak {n}})\). Assume that

(1)
The level \({\mathfrak {n}}\) of f, the discriminant disc(K/F) and the prime p below \({\mathfrak {p}}\) are coprime to each other. Moreover \(p>3\) is unramified in F, and \({\mathfrak {n}}\) is squarefree and all its factors are inert in K.

(2)
The image of the residual Galois representation \({\bar{\rho }}: \Gamma _F\rightarrow Aut(T_1(f))\) attached to f contains \(SL_2({\mathbf {F}}_p)\).

(3)
For every prime \({\mathfrak {q}}\mid {\mathfrak {n}}\) we have \(N({\mathfrak {q}}) \not \equiv 1 \pmod p\). Moreover if \(N({\mathfrak {q}}) \equiv 1 \pmod p\) then \({\bar{\rho }}\) is ramified at \({\mathfrak {q}}\).

(4)
\(L(f_K, 1)\ne 0\).
Then Sel(K, A(f)) is finite and the following inequality holds :
Moreover the inequality is an equality if the implication stated at the end of Theorem 6.10 holds true.
5.3 Notation
For \(a \in {\mathcal {O}}_{\mathfrak {p}}{\setminus } \{0\}\) we denote by \(ord_\varpi (a)\) its \(\varpi \)adic valuation. More generally, if M is an \({\mathcal {O}}_{\mathfrak {p}}\)module of finite type and \(m \in M{\setminus } \{0\}\) we let \(ord_{\varpi }(m)=sup\{n\ge 0: m \in \varpi ^nM\}\). The length of an \({\mathcal {O}}_{\mathfrak {p}}\)module M will be denoted by \(l_{{\mathcal {O}}_{\mathfrak {p}}}(M)\). Hence \(ord_{\varpi }(a)=l_{{\mathcal {O}}_{\mathfrak {p}}}({\mathcal {O}}_{\mathfrak {p}}/(a))\) for \(a \in {\mathcal {O}}_{\mathfrak {p}}{\setminus } \{0\}\), and the cardinality of a finite \({\mathcal {O}}_{\mathfrak {p}}\)module M equals \((\#{\mathcal {O}}_{\mathfrak {p}}/(\varpi ))^{l_{{\mathcal {O}}_{\mathfrak {p}}}(M)}\).
5.4. With the above notation, our aim is to prove the inequality
under the assumption that the right hand side is not equal to infinity. In other words we have to prove that
5.5 Remark
The conjectures of Bloch and Kato [8] (generalising the Birch and SwinnertonDyer conjecture; see the next remark) predict that in our situation the following formula holds:
where \(t_{\mathfrak {q}}\) is the \({\mathfrak {q}}\)Tamagawa number of A(f) and \(\Omega ^{BK}\) is a suitable period. In our soughtfor formula (5.4.1) Tamagawa numbers are missing. The point is that the period \(\Omega ^{Gr}\) in Zhang’s special value formula is different from the one showing up in the Bloch–Kato conjecture. To show that our formula (5.4.1)—better, the corresponding equality—is equivalent to (the \({\mathfrak {p}}\)part of) the one predicted by Bloch and Kato one needs to compare the quantities \(\Omega ^{Gr}\) and \(\Omega ^{BK}\). This is done in [39, Theorem 6.8] for modular forms over \({\mathbf {Q}}\); there the ratio between the two periods is shown to be equal precisely to the product of the missing Tamagawa numbers. We do not know whether the analogous result over totally real fields has been proved, and we did not address this issue.
5.6 Remark
In many cases the representation V(f) occurs in the étale cohomology of a Shimura curve, and the formula displayed in the above remark is related to (the ppart of) the Birch and SwinnertonDyer conjecture for (a piece of) its Jacobian. For the reader’s convenience, let us quickly recall how the above formula relates to Bloch–Kato’s formula [8, (5.15.1)] in the simplest case when V(f) is isomorphic to the rational padic Tate module of an elliptic curve \(E_f\) over F. In this case we have \(Sel(K, A(f))=Sel(K, E_f[p^\infty ])\). In the situation of Theorem 5.2 this group is finite and \(E_f[p](K)=0\), hence \(Sel(K, E_f[p^\infty ])\) equals the ppower torsion part of the Tate–Shafarevich group of \(E_f\) over K, which appears on the right hand side of [8, (5.15.1)]. Finally, for every finite place v of K the product of the vadic measure of \(E_f(K_v)\) and the value \(L(E/K_v, 1)\) equals the Tamagawa number of \(E_f\) at v, hence the equation in the previous remark can be rewritten in the form of [8, (5.15.1)]. We refer the reader to [19] for more details on the Birch and SwinnertonDyer conjecture and to [24] for its relation with the (equivariant) Tamagawa number conjecture.
Let us show first of all that it is enough to prove a mod\(\varpi ^n\) version of the inequality (5.4.1).
5.7 Lemma
Assume that \(L(f_K, 1)\ne 0\) and that the inequality
holds true for infinitely many n, where \(a_n(f)\in {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\) denotes the reduction of a(f). Then
Moreover equality in the last equation holds if it does in (5.7.1) for infinitely many n.
Proof
If \(L(f_K, 1)\ne 0\) then \(a(f)\ne 0\), hence \(a(f)\not \equiv 0 \pmod {\varpi ^n}\) for n large enough. For any such n we have \(ord_\varpi a(f)=ord_\varpi a_n(f)\). By hypothesis we have the inequality \(l_{{\mathcal {O}}_{\mathfrak {p}}}Sel(K, A_n(f))\le 2ord_\varpi a_n(f)\) for infinitely many n. Now \(A_n(f)=A(f)[\varpi ^n]\), and by the next control result (Proposition 5.8) we have the equality
Hence we obtain, for infinitely many n:
Now on the one hand \(ord_\varpi (a(f)) < \infty \), on the other hand \(Sel(K, A(f))[\varpi ^n]\subset Sel(K, A(f))[\varpi ^{n+1}]\) for every n, hence \(l_{{\mathcal {O}}_{\mathfrak {p}}}Sel(K, A(f))[\varpi ^n]\) is increasing with n. It follows that \(l_{{\mathcal {O}}_{\mathfrak {p}}}Sel(K, A(f))[\varpi ^n]\) is constant for n greater than or equal to a suitable integer \(n_0\), so that \(Sel(K, A(f))[\varpi ^n]=Sel(K, A(f))[\varpi ^{n_0}]\) for \(n \ge n_0\). Finally, we have \(Sel(K, A(f))=Sel(K, A(f))[\varpi ^\infty ]=\cup _{n \ge 1} Sel(K, A(f))[\varpi ^n]\), hence we deduce that \(Sel(K, A(f))=Sel(K, A_n(f))\) for any \(n \ge n_0\) and the lemma follows. \(\square \)
5.8 Proposition
(Cf. [34, Lemma 3.5.3]) For \(n \ge 1\) the natural map
is an isomorphism.
Proof
To shorten the notation let us denote A(f) by M in this proof. Let \(\Sigma \) be the set consisting of all infinite places of K and all places dividing \({\mathfrak {n}}p\). Then we have the following commutative diagram with exact rows:
where \(K_\Sigma /K\) is the maximal extension unramified outside \(\Sigma \).
Since the Selmer structure on \(M[\varpi ^n]\) is propagated from the Selmer structure on M, the rightmost vertical map in injective. Therefore by the snake lemma it is enough to show that the central vertical map is an isomorphism. We have an exact sequence:
Taking the long exact sequence in cohomology we find an exact sequence:
To end the proof it suffices to notice that \(H^0(K, M)=0\). If this was not the case, then there would be a one dimensional subspace \(L \subset M[\varpi ]=A_1(f)\) on which \(\Gamma _K\) acts trivially. Hence the \(\Gamma _F\)orbit of the line L would consist of at most two lines. This contradicts the assumption that the image of \({\bar{\rho }}\) contains \(SL_2({\mathbf {F}}_p)\). \(\square \)
5.9. We will prove the inequality in Lemma 5.7, hence Theorem 5.2, exploiting a system of cohomology classes belonging to \(H^1(K, T_n(f))\); their construction relies on level raising of f modulo \(\varpi ^n\) at suitable admissible primes, introduced in the next section, allowing to realise \(T_n(f)\) in the cohomology of several Shimura curves.
Explicit reciprocity laws
6.1. Fix \(f \in S({\mathfrak {n}})\) and K/F as in 4.1.
6.2 Definition
Let \(n\ge 1\). A prime \({\mathfrak {l}}\) of \({\mathcal {O}}_F\) is called nadmissible if:

(1)
\({\mathfrak {l}}\not \mid p \, {\mathfrak {n}}\).

(2)
\({\mathfrak {l}}\) is inert in K.

(3)
\(p \not \mid N({\mathfrak {l}})^21\).

(4)
\((N({\mathfrak {l}})+1)^2\equiv \lambda _{f}(T_{\mathfrak {l}})^2\pmod {\varpi ^n}\).
6.3 Notation
In what follows we will work with certain automorphic forms modulo \(\varpi ^n\) on totally definite quaternion algebras. We will deal as always only with automorphic forms with trivial central character; furthermore the level of the automorphic forms we will consider will always come from a maximal order. To shorten our notation, if B/F is a totally definite quaternion algebra, we will denote by \(S^{B^\times }({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)\) the space of automorphic forms on \(B^\times \) with trivial central character and of level \({\hat{R}}^\times \) where \(R\subset B\) is a maximal order. In other words, \(S^{B^\times }({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)=\{f: B^\times \backslash {\hat{B}}^\times /{\hat{R}}^\times {\hat{F}}^\times \rightarrow {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\}\).
6.4 Definition

(1)
An eigenform \(g \in S^{B^\times }({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)\) is called fadmissible if B is a totally definite quaternion algebra of discriminant \({\mathfrak {D}}_g\) divisible by \({\mathfrak {n}}\) and by nadmissible primes, g is non zero modulo \(\varpi \) and the Hecke eigenvalues of g for the Hecke operators outside \({\mathfrak {D}}_g/{\mathfrak {n}}\) are equal to those of f modulo \(\varpi ^n\). If \(k \le n\), the reduction modulo \(\varpi ^k\) of g will be denoted by \(g_k\).

(2)
For an fadmissible eigenform \(g \in S^{B^\times }({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)\) we define \(a(g)=\sum _{P \in K^\times \backslash {\hat{K}}^\times /{\hat{F}}^\times \hat{{\mathcal {O}}}_K^\times }g({\hat{\iota }}(P)) \in {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\), where \({\hat{\iota }}\) is defined as in (3.3.1).
6.5 Remark
The name fadmissible is meant to emphasise the fact that g is an eigenform on a quaternion algebra whose discriminant is divisible by \({\mathfrak {n}}\) and by nadmissible primes, and its Hecke eigenvalues are congruent to those of f modulo \(\varpi ^n\). As the Hilbert modular form f is fixed, we will often call fadmissible forms just admissible automorphic forms in what follows.
6.6 Lemma
(Cf. [30, p. 328]) Let \({\mathfrak {l}}\) be an nadmissible prime. Then :

(1)
\(T_n(f)\simeq {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\oplus {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n(1)\) as \(\Gamma _{K_{\mathfrak {l}}}\)modules, and this decomposition is unique.

(2)
\(H^1(K_{\mathfrak {l}}, T_n(f))\simeq H^1(K_{\mathfrak {l}}, {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)\oplus H^1(K_{\mathfrak {l}}, {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n(1))\) where both direct summands are free \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\)modules of rank one, and the first one is identified with the unramified cohomology group \(H^1_{ur}(K_{\mathfrak {l}}, T_n(f))\).
6.7 Notation
We denote the summand \(H^1(K_{\mathfrak {l}}, {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n(1))\) in the above decomposition by \(H^1_{tr}(K_{{\mathfrak {l}}}, T_n(f))\), so that \(H^1(K_{\mathfrak {l}}, T_n(f))=H^1_{ur}(K_{\mathfrak {l}}, T_n(f))\oplus H^1_{tr}(K_{\mathfrak {l}}, T_n(f))\).
Proof
The direct sum decomposition in (1) comes from the fact that, by (2) and (4) in Definition 6.2, the polynomial \(det(1xFr_{K, {\mathfrak {l}}}T_n(f))\) splits as a product \((1x)(1N_{F/{\mathbf {Q}}}({\mathfrak {l}})^{2}x)\). Moreover (3) guarantees that \(1\not \equiv N_{F/{\mathbf {Q}}}({\mathfrak {l}})^2\pmod {\varpi ^n}\), hence the decomposition is unique. This also implies that \(H^1_{ur}(K_{\mathfrak {l}}, T_n(f))=T_n(f)/(Fr_{K, {\mathfrak {l}}}1)T_n(f)={\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\). Finally, the quotient \(H^1(K_{\mathfrak {l}}, T_n(f))/H^1_{ur}(K_{\mathfrak {l}}, T_n(f))\) equals \(Hom(I_{\mathfrak {l}}, T_n(f))^{\Gamma _{K_{\mathfrak {l}}}}\). Any such morphism factors through the tame inertia, and has image contained in \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n(1)\) since \(Fr_{K, {\mathfrak {l}}}\) acts on the tame inertia as multiplication by \(N_{F/{\mathbf {Q}}}({\mathfrak {l}})^{2}\). \(\square \)
6.8 Notation
Let \(n \ge 1\), \(M=T_n(f)\simeq A_n(f)\) and let \({\mathfrak {a}}\) be a product of distinct nadmissible primes. We denote by \(Sel_{{\mathfrak {a}}}(K, M)\) (resp. \(Sel^{{\mathfrak {a}}}(K, M)\), \(Sel_{({\mathfrak {a}})}(K, M)\)) the Selmer group defined by the same local conditions as those for M at all places except at \({\mathfrak {l}}\mid {\mathfrak {a}}\), where the local condition is the zero subspace (resp. \(H^1(K_{\mathfrak {l}}, M)\), \(H^1_{tr}(K_{\mathfrak {l}}, M)\)). If \({\mathfrak {b}}\) is a product of distinct nadmissible primes not dividing \({\mathfrak {a}}\), we will combine the above notations with the obvious meaning. For example, we denote by \(Sel^{\mathfrak {b}}_{({\mathfrak {a}})}(K, M)\) the Selmer group obtained imposing as local condition at primes dividing \({\mathfrak {a}}\) (resp. \({\mathfrak {b}}\)) the transverse (resp. relaxed) one.
Let us point out that, if \(g \in S^{B^\times }({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)\) is an fadmissible form which is the reduction of the Jacquet–Langlands transfer of a Hilbert newform \({\tilde{f}} \in S({\mathfrak {D}}_g)\), then by the discussion in Sect. 4 we have \(Sel(K, T_n({\tilde{f}}))=Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, T_n(f))\).
6.9. As remarked in the previous section, in order to prove Theorem 5.2 it suffices to prove the inequality (5.7.1) for arbitrarily large n. In light of this, Theorem 5.2 will follow from the next result, taking g to be the reduction modulo \(\varpi ^n\) of a (suitably normalised) Jacquet–Langlands transfer of f to the totally definite quaternion algebra with discriminant \({\mathfrak {n}}\). The proof of the theorem is the object of the next section.
6.10 Theorem
Let \(f \in S({\mathfrak {n}})\) and let K/F be a CM extension satisfying assumptions (1), (2), (3) of Theorem 5.2. Let \(n=2k\) and let \(g \in S^{B^\times }({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)\) be an fadmissible eigenform such that \(a(g)\not \equiv 0 \pmod {\varpi ^k}\). Then the following inequality holds :
Moreover the above inequality is an equality provided that the following implication holds true : if h is an fadmissible automorphic form mod \(\varpi \) and \(Sel_{({\mathfrak {D}}_h/{\mathfrak {n}})}(K, A_1(f))=0\) then \(a(h) \in {\mathcal {O}}_{\mathfrak {p}}/\varpi \) is non zero.
6.11 Remark

(1)
As it will become clear later (see Remark 7.10), we have to work modulo \(\varpi ^{2k}\) in order to establish a result modulo \(\varpi ^k\) because we will need to make use of a certain freeness property of the Euler system we construct. This is immaterial as long as we are interested in the special value formula (5.4.1), which concerns modular forms in characteristic zero.

(2)
Let us say a word on the condition allowing to promote the inequalities in the above theorem to equalities. Lift h to an eigenform in characteristic zero [15, Lemma 6.11], and let \({\tilde{f}}\) be the Hilbert modular form obtained as Jacquet–Langlands transfer of a lift. In light of Zhang’s special value formula and the observation in Notation 6.8, what we need to know is the implication
$$\begin{aligned} Sel(K, A({\tilde{f}}))=0\Longrightarrow L^{alg}({\tilde{f}}_K, 1) \text { is a unit.} \end{aligned}$$This is currently deduced from Skinner–Urban’s divisibility in the relevant Iwasawa main conjecture [43] (proved in the ordinary case for Hilbert modular forms by Wan [48]). However we would like to point out that the result in loc. cit. is stronger than what we need, and our theorem shows that a generalisation to \(GL_{2,F}\) of Ribet’s converse of Herbrand’s theorem [41] would suffice to obtain the soughtfor equality.
6.12. We will now work with the notations and assumptions of Theorem 6.10: in particular we are given an admissible eigenform \(g \in S^{B^\times }({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)\) on a definite quaternion algebra B of discriminant \({\mathfrak {D}}_g\). It determines an \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\)valued character of the Hecke algebra whose kernel will be denoted by \(I_g\), and a surjective map \(\psi _g: S^{B^\times }({\mathcal {O}}_{\mathfrak {p}})\rightarrow {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\) sending h to \(\langle g, h \rangle _{{\hat{R}}^\times }\) where the pairing \(\langle \cdot , \cdot \rangle _{{\hat{R}}^\times }\) is defined in [49, 3.5].
The next Theorem 6.13 collects the essential ingredients needed to construct the cohomology classes which we will use in our Euler system argument. It is a level raising result at an admissible prime \({\mathfrak {l}}\not \mid {\mathfrak {D}}_g\), stating that the representation \(T_n(f)\) appears in the mod \(\varpi ^n\)cohomology of the (quotient) Shimura curve \(X_{\mathfrak {l}}\) with full level structure attached to a quaternion algebra \(B_{\mathfrak {l}}\) of discriminant \({\mathfrak {D}}_g {\mathfrak {l}}\). Before stating the result we need to introduce some notation. Let \({\mathbb {T}}^{B_{\mathfrak {l}}^\times } ={\mathcal {O}}_{\mathfrak {p}}[T_v, v \not \mid {\mathfrak {D}}_g{\mathfrak {l}}, U_v, v \mid {\mathfrak {D}}_g{\mathfrak {l}}]\). Define \(\lambda _{\mathfrak {l}}: {\mathbb {T}}^{B_{\mathfrak {l}}^\times } \rightarrow {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\) by sending operators different from \(U_{\mathfrak {l}}\) to the corresponding eigenvalue for their action on g, and sending \(U_{\mathfrak {l}}\) to the value \(\epsilon _{\mathfrak {l}}\in \{\pm 1\}\) such that \(N({\mathfrak {l}})+1 \equiv \epsilon _{\mathfrak {l}}\lambda _f(T_{\mathfrak {l}}) \pmod {\varpi ^n}\). Let \(I_{\mathfrak {l}}=Ker(\lambda _{\mathfrak {l}})\). Let \(J_{\mathfrak {l}}\) be the Jacobian of \(X_{\mathfrak {l}}\) and \(\phi _{\mathfrak {l}}\) the group of connected components of the special fibre at \({\mathfrak {l}}\) of its Néron model.
6.13 Theorem
There is an isomorphism of \(\Gamma _F\)modules
Furthermore there are isomorphisms \((\phi _{\mathfrak {l}}\otimes {\mathcal {O}}_{\mathfrak {p}})/I_{\mathfrak {l}}\simeq S^{B^\times }({\mathcal {O}}_{\mathfrak {p}})/I_g\simeq {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n,\) the last one being induced by \(\psi _g,\) and a commutative diagram
where the map \(\kappa \) is induced by the Abel–Jacobi map and the isomorphism (6.13.1).
6.14 Remark
We will not enter into the details of the proof of the above theorem, which already appeared few times in the literature. It was first proved over totally real fields by Longo [29], following the strategy in [4, Section 5], under the assumption that f is pisolated [29, Definition 3.2]. However, as remarked in [13] (generalised to totally real fields in [49, Theorem 5.3, 5.4, 5.7]), one only needs to know that \(S^{B^\times }({\mathcal {O}}_{\mathfrak {p}})/I_{g}\simeq {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\). This follows from [32, Theorem 1.1], whose hypotheses are satisfied in our case: indeed \({\bar{\rho }}\) is Steinberg at primes dividing \({\mathfrak {n}}\) by Lemma 2.5, and at primes dividing \({\mathfrak {D}}_g/{\mathfrak {n}}\) by definition of admissible prime. Furthermore, the TaylorWiles condition in [32, Theorem 1.1] is implied by our large image assumption (2) in Theorem 5.2. Finally, our level comes from a maximal order in B, hence it is a minimal level in the sense of [32], and assumption (3) guarantees that the integer k in [32, Theorem 1.1] equals zero.
6.15. Construction of the cohomology class \(c({\mathfrak {l}})\). The notations being as in Theorem 6.13, let \(Q_K=\sum _{\sigma \in K^\times \backslash {\hat{K}}^\times /{\hat{F}}^\times \hat{{\mathcal {O}}}_K^\times }\sigma (P_K) \in (CH^1(X_{\mathfrak {l}})(K)\otimes {\mathcal {O}}_{\mathfrak {p}})/I_{{\mathfrak {l}}}\simeq (Pic (X_{\mathfrak {l}})(K)\otimes {\mathcal {O}}_{\mathfrak {p}})/I_{{\mathfrak {l}}}\), where \(P_K \in X_{\mathfrak {l}}({\mathbf {C}})\) is a point with CM by \({\mathcal {O}}_K\). The point \(Q_K\) gives rise to a cohomology class \(c({\mathfrak {l}}) \in H^1(K, (T_p(J_{\mathfrak {l}})\otimes _{{\mathbf {Z}}_p}{\mathcal {O}}_{\mathfrak {p}})/I_{\mathfrak {l}})=H^1(K, T_n(f))\).
6.16. Localisation of \(c({\mathfrak {l}})\) at \({\mathfrak {l}}\): the first reciprocity law. The first key observation underlying the method introduced in [4] is that the cohomology class \(c({\mathfrak {l}})\) belongs to \(Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, T_n(f))\), i.e. its localisation at primes dividing \({\mathfrak {D}}_g/{\mathfrak {n}}\) and at the additional prime \({\mathfrak {l}}\) falls in the transverse part. Furthermore the failure for the localisation of \(c({\mathfrak {l}})\) at \({\mathfrak {l}}\) being zero is measured by a(g):
6.17 Theorem
(First reciprocity law)

(1)
\(c({\mathfrak {l}}) \in Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, T_n(f))\).

(2)
\(loc_{\mathfrak {l}}(c({\mathfrak {l}})) \in H^1_{tr}(K_{\mathfrak {l}}, T_n(f))\simeq {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\) and we have an equality, up to \(\varpi \)adic unit :
$$\begin{aligned} loc_{\mathfrak {l}}(c({\mathfrak {l}}))=a(g). \end{aligned}$$
Proof
If v is a place of K not dividing \({\mathfrak {D}}_g{\mathfrak {l}}p\) then the Shimura curve \(X_{\mathfrak {l}}\) has good reduction at v, hence
If \(v \mid {\mathfrak {n}}\) then the Jacobian of \(X_{\mathfrak {l}}\) has purely toric reduction at v; with the notation as in the proof of Proposition 4.8, it follows that
(cf. [49, (4.17)], [20, Lemma 8]), where the equality follows from Proposition 4.8. For the same reason we have that \(loc_{\mathfrak {q}}(c({\mathfrak {l}}))\in H^1_{tr}(K_{\mathfrak {q}}, T_n(f))\) for every \({\mathfrak {q}}\mid {\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}}\).
For a place v above p, since the Jacobian \(J_{{\mathfrak {l}}}\) has good reduction at v, the image of the Kummer map in \(H^1(K_v, J_{\mathfrak {l}}[p^n])\) lies in \(H^1_{fl}({\mathcal {O}}_{K_v}, {\mathcal {J}}_{\mathfrak {l}}[p^n])\), where \({\mathcal {J}}_{\mathfrak {l}}\) is the Néron model of \(J_{\mathfrak {l}}\). This can be proved by a direct generalisation of [31, Proposition 3.2] (see also [20, Lemma 7]). Since K is unramified at v the map \(J_{\mathfrak {l}}[p^n]\rightarrow T_n(f)\) induced by \(T_p(J_{\mathfrak {l}})\otimes _{{\mathbf {Z}}_p}{\mathcal {O}}_{\mathfrak {p}}/I_{\mathfrak {l}}\simeq T_n(f)\) comes from a map \({\mathcal {J}}_{\mathfrak {l}}[p^n]\rightarrow {\mathcal {G}}\) where \({\mathcal {G}}\) is a finite flat group scheme with generic fiber \(T_n(f)\). The description of the finite condition at places above p in Proposition 4.10 then shows that \(loc_v(c)\in H^1_f(K_v, T_n(f))\).
Finally, the equality (up to unit) in (2) is proved in [29, Proposition 3.9] (see also [49, Theorem 6.2] for the Iwasawatheoretic version and [37, Proposition 2.8.3] for a more general statement); besides Theorem 6.13, it rests on the study of the bad reduction of the Shimura curve \(X_{{\mathfrak {l}}}\) at the prime \({\mathfrak {l}}\), and on the description of its special fibre obtained via Cherednik–Drinfeld uniformisation [37, Sections 1.4, 1.5]. \(\square \)
6.18. Localisation of \(c({\mathfrak {l}})\) at \({\mathfrak {l}}'\ne {\mathfrak {l}}\): the second reciprocity law. The second ingredient in the Euler system argument we will use to prove Theorem 6.10 is a reciprocity law relating the localisation of \(c({\mathfrak {l}})\) at an admissible prime \({\mathfrak {l}}'\ne {\mathfrak {l}}\) to a level raising of g at the two primes \({\mathfrak {l}}, {\mathfrak {l}}'\).
6.19 Theorem
Let \({\mathfrak {l}}'\ne {\mathfrak {l}}\) be an nadmissible prime not dividing \({\mathfrak {D}}_g.\) Then
Furthermore there exists an fadmissible automorphic form \(h \in S^{B^{' \times }}({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)\) on the quaternion algebra \(B'\) of discriminant \({\mathfrak {D}}_g {\mathfrak {l}}{\mathfrak {l}}'\) such that :

(1)
the following equality holds up to a unit in \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n{:}\)
$$\begin{aligned} loc_{{\mathfrak {l}}'}c({\mathfrak {l}})= a(h); \end{aligned}$$ 
(2)
the Hecke eigenvalues of h for operators outside \({\mathfrak {l}}{\mathfrak {l}}'\) coincide with those of g, and \(U_{{\mathfrak {l}}}h=\epsilon _{\mathfrak {l}}h,\) \(U_{{\mathfrak {l}}'}h=\epsilon _{{\mathfrak {l}}'}h,\) where \(\epsilon _{{\mathfrak {l}}} \in \{\pm 1 \}\) (resp. \(\epsilon _{{\mathfrak {l}}'} \in \{\pm 1 \})\) is the number such that \(N({\mathfrak {l}})+1 \equiv \epsilon _{\mathfrak {l}}\lambda _f(T_{\mathfrak {l}}) \pmod {\varpi ^n}\) (resp. \(N({\mathfrak {l}}')+1 \equiv \epsilon _{{\mathfrak {l}}'} \lambda _f(T_{{\mathfrak {l}}'}) \pmod {\varpi ^n}).\)
Proof
The proof goes as in [30, Theorem 7.23], the only difference being that we are working with just one CM point and not with a compatible tower of such. We point out that to construct the form h one uses the fact that the supersingular locus in the special fibre of \(X_{\mathfrak {l}}\) at \({\mathfrak {l}}'\) can be identified with \(B'^\times \backslash {\hat{B}}^{' \times }/{\hat{F}}^\times {\hat{R}}^{'\times }\), where \(R'\subset B'\) is a maximal order. The map h is then constructed essentially taking the Abel–Jacobi image of points in the supersingular locus. The key point is to show that the map one obtains is surjective, which is [30, Lemma 7.20]. A different proof is given in [26, Proposition 4.8]; both proofs rely crucially on Ihara lemma for Shimura curves, which has been established over totally real fields in [33] under our large image assumption (notice that the authors of loc. cit. work with sufficiently small compact open subgroups throughout the paper, but remark in [33, Remark 6.7] that this assumption is not necessary in order for the result to hold). \(\square \)
6.20 Remark
The above theorem and the multiplicity one result in [32] imply that the admissible form h whose existence is asserted by the previous theorem is unique up to multiplication by a unit in \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\), hence we have the following equality (up to unit), which will be used repeatedly later:
for every couple of distinct admissible primes \({\mathfrak {l}}, {\mathfrak {l}}'\) not dividing \({\mathfrak {D}}_g\).
The Euler system argument
7.1. We will now run the Euler system argument which proves Theorem 6.10. We therefore start with an admissible form \(g \in S^{B^\times }({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)\) such that \(n=2k\) and \(a(g)\not \equiv 0 \pmod {\varpi ^k}\). The main idea in the proof is to raise the level of g at two wellchosen admissible primes \({\mathfrak {l}}_1, {\mathfrak {l}}_2\), and construct an admissible automorphic form \(h \in S^{B'^\times }({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)\), where \(B'\) has discriminant \({\mathfrak {D}}_h={\mathfrak {D}}_g{\mathfrak {l}}_1{\mathfrak {l}}_2\), such that \(ord_{\varpi }(a(h))<ord_{\varpi }(a(g))\) and we have
One is thus reduced to prove the (in)equality in the case when a(g) is a unit, which follows from the first reciprocity law.
7.2. The simplest instance of this level raisinglength lowering method was already used, for other purposes, by Wei Zhang in [53] (as well as in [39]); a similar strategy is employed in the preprint [5] as well, where a version of the important Lemma 7.16 is also proved. We will also make use in the first steps of our argument of a few lemmas essentially borrowed from [22].
7.3. Let us first record a lemma which guarantees that there are sufficiently many admissible primes to detect whether a cohomology class in \(H^1(K, A_1(f))\) is non zero. It was stated by Longo ([29, Theorem 4.3], [30, Proposition 7.5]) and proved by Wang [49, Theorem 7.2]. The proof relies on Chebotarev density theorem and the key point is that, in view of our large image assumption and [16, Proposition 3.9], the image of the Galois representation \({\bar{\rho }}: \Gamma _F \rightarrow Aut(A_1(f))\simeq GL_2({\mathcal {O}}_{\mathfrak {p}}/\varpi )\) contains a matrix with eigenvalues \(\lambda , \delta \) with \(\lambda \ne \pm 1\) and \(\delta \in \{\pm 1\}\) (notice that here we need that \(p>3\)).
7.4 Lemma
Let \(c \in H^1(K, A_1(f))\) be a non zero class and \(n \ge 1\). There are infinitely many nadmissible primes \({\mathfrak {l}}\) such that \(loc_{{\mathfrak {l}}} (c) \ne 0\).
7.5 Corollary
Let \(C\subset Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_n(f))\) be a submodule isomorphic to \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\). Then there exist infinitely many nadmissible primes \({\mathfrak {l}}\) such that \(loc_{{\mathfrak {l}}}: Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_n(f))\rightarrow H^1_{ur}(K_{\mathfrak {l}}, A_n(f))\) is an isomorphism when restricted to C.
Proof
We denote \(A_n(f)\) by M; let c be a generator of C. Then \(\varpi ^{n1}c \in Sel(K, M)[\varpi ]=Sel(K, M[\varpi ])\) is non zero, hence by Lemma 7.4 there are infinitely many nadmissible primes \({\mathfrak {l}}\) (not dividing \({\mathfrak {D}}_g\)) such that \(loc_{{\mathfrak {l}}}(\varpi ^{n1}c)\ne 0\). For such a \({\mathfrak {l}}\) the localisation map \(loc_{{\mathfrak {l}}}: C\rightarrow H^1_{ur}(K_{\mathfrak {l}}, M)\simeq {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\) is injective, hence an isomorphism. \(\square \)
7.6. Let us now show that the first reciprocity law and the assumption that a(g) does not vanish yield a weak annihilation result for the Selmer group. A similar result is proven in [22, Proposition 2.3.5].
7.7 Proposition
The \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\)module \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_n(f))\) is killed by \(\varpi ^{n1};\) similarly, the \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^k\)module \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_k(f))\) is killed by \(\varpi ^{k1}\).
Proof
Let us prove the first statement; the second one is proved in the same way. Suppose by contradiction that there exists \(c \in Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_n(f))\) which generates a submodule \(C\simeq {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\). By Proposition 7.5 we can choose \({\mathfrak {l}}\not \mid {\mathfrak {D}}_g\) nadmissible such that \(loc_{{\mathfrak {l}}}: C\rightarrow H^1_{ur}(K_{\mathfrak {l}}, A_n(f))\simeq {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\) is an isomorphism. In particular \(loc_{{\mathfrak {l}}}: Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_n(f))\rightarrow H^1_{ur}(K_{\mathfrak {l}}, A_n(f))\) is surjective. We have two exact sequences:
By global duality [34, Theorem 2.3.4] the images of the two localisations maps are annihilators of each other. Since \(loc_{{\mathfrak {l}}}: Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_n(f))\rightarrow H^1_{ur}(K_{\mathfrak {l}}, A_n(f))\) is surjective and the pairing
is perfect we deduce that
is the zero map. In particular \(loc_{{\mathfrak {l}}}(c({\mathfrak {l}}))=0\). But by the first reciprocity law \(loc_{\mathfrak {l}}(c({\mathfrak {l}}))=a(g)\) and a(g) is non zero by hypothesis, which gives a contradiction. \(\square \)
7.8 Corollary
(Cf. [22, Corollary 2.2.10, Remark 2.2.11])

(1)
There exists an \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\)module N such that
$$\begin{aligned} Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_n(f))=N\oplus N. \end{aligned}$$ 
(2)
There exists an \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\)module \(N'\) such that
$$\begin{aligned} Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, A_n(f))={\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\oplus N'\oplus N'. \end{aligned}$$
Proof
The first point follows immediately from the previous proposition and the structure theorem for Selmer groups [22, Proposition 2.2.7]. In order to prove (2), it is enough to show that the dimensions \(\mathrm {dim}_{{\mathcal {O}}_{\mathfrak {p}}/\varpi }Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_1(f))\) and \(\mathrm {dim}_{{\mathcal {O}}_{\mathfrak {p}}/\varpi }Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, A_1(f))\) do not have the same parity. To prove this we argue as follows: we have two exact sequences
By global duality if the upper localisation map is non zero then the bottom one is zero, hence in this case we obtain
therefore
Hence
If the upper localisation map is zero then the bottom one is non zero and one argues similarly. \(\square \)
7.9 Proposition
(Cf. [22, Lemma 3.3.6]) There exists a free \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^k\)submodule of rank one of \(Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, T_k(f))\) which contains (the reduction modulo \(\varpi ^k\) of) \(c({\mathfrak {l}})\).
Proof
By the previous corollary we can write
We know that \(c({\mathfrak {l}})\) is non zero (modulo \(\varpi ^k\)), since this is true for its localisation at \({\mathfrak {l}}\). We claim that this implies that \(\varpi ^{k1}M=0\). If this is not the case, then \(Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, T_k(f))\) contains a free \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^k\)submodule of rank 2, hence, for any admissible prime \({\mathfrak {l}}' \ne {\mathfrak {l}}\), the kernel \( Sel_{({\mathfrak {D}}_g{\mathfrak {l}}{\mathfrak {l}}'/{\mathfrak {n}})}(K, T_k(f))\) of the localisation map
contains a (non zero) free \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^k\)submodule. Therefore, writing \(Sel_{({\mathfrak {D}}_g{\mathfrak {l}}{\mathfrak {l}}'/{\mathfrak {n}})}(K, T_k(f))=P\oplus P\), we have \(\varpi ^{k1}P\ne 0\). With the same argument as in the proof of Proposition 7.7 we deduce that \(a(h)=0\), where h is a level raising modulo \(\varpi ^k\) of g at \({\mathfrak {l}}{\mathfrak {l}}'\). The second reciprocity law yields \(loc_{{\mathfrak {l}}'}c({\mathfrak {l}})=a(h)=0\); since this is true for every admissible prime \({\mathfrak {l}}'\) we get \(c({\mathfrak {l}})=0\), which gives a contradiction.
Hence \(\varpi ^{k1}M=0\). We have a commutative diagram
where the diagonal arrow is an isomorphism. Since \(\varpi ^{k1}M=0\) we deduce that the \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^k\)module \(\varpi ^{k1}Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, T_k(f))\) is cyclic, hence the same holds for \(\varpi ^{k1}Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, T_n(f))[\varpi ^k]\). Therefore \(\varpi ^{k1}N=0\), so N is killed by the horizontal map. This implies that the image of the vertical arrow is free of rank one; since it contains the reduction modulo \(\varpi ^k\) of \(c({\mathfrak {l}})\), the proof is complete. \(\square \)
7.10 Remark
The above property, which will play an important role in the proof of the soughtfor estimate for the length of the Selmer group, explains why we need to work with the reduction modulo \(\varpi ^k\) of automorphic forms modulo \(\varpi ^{2k}\). Let us say (after Howard [22, Definition 2.3.6], whose proof of a very similar result we closely followed) that our Euler system is free if it enjoys the property in the above proposition. Then the Euler system modulo \(\varpi ^{2k}\) may not be free, but its reduction modulo \(\varpi ^k\) is.
7.11. Let us set \(t(g_k)=ord_\varpi (a(g_k))\) and \(t(g_k, {\mathfrak {l}})=ord_\varpi (c({\mathfrak {l}}))\) for \({\mathfrak {l}}\) an nadmissible prime (not dividing \({\mathfrak {D}}_g\)). We are seeing \(c({\mathfrak {l}})\) as an element of \(Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, T_k(f))\), and we remark that \(ord_\varpi (c({\mathfrak {l}}))\) can be calculated in any submodule \(C\simeq {\mathcal {O}}_{\mathfrak {p}}/\varpi ^k\) containing \(c({\mathfrak {l}})\), whose existence is guaranteed by the previous proposition. Indeed, let \(c({\mathfrak {l}})=\varpi ^a u\), where \(u \in C\) is a unit. Then clearly a is smaller than the order of \(c({\mathfrak {l}})\) in \(Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, T_k(f))\). We claim that equality holds. Indeed, suppose that there exists \(v \in Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, T_k(f))\) and \(b>a\) such that \(\varpi ^{b}v=c({\mathfrak {l}})\). Then we have \(\varpi ^{b}v=\varpi ^a u\), hence
The left hand side is non zero, but the right hand side is zero, since \(b+ka1\ge 1+k1=k\); this yields a contradiction and proves our claim.
7.12. We have the following chain of inequalities:
where the last equality follows from the first reciprocity law, and the last inequality holds because of our assumption that \(a(g)\not \equiv 0 \pmod {\varpi ^k}\). Hence there exists a class \(\kappa ({\mathfrak {l}}) \in Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, T_k(f))\) such that \(c({\mathfrak {l}})=\varpi ^{t(g_k, {\mathfrak {l}})}\kappa ({\mathfrak {l}})\). Our previous discussion implies that the class \(\kappa ({\mathfrak {l}})\) can (and will) be taken to be in a submodule \(C\simeq {\mathcal {O}}_{\mathfrak {p}}/\varpi ^k\). It enjoys the following properties:

(1)
\(\kappa ({\mathfrak {l}}) \in Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, T_k(f))\).

(2)
\(ord_{\varpi } \kappa ({\mathfrak {l}})=0\).

(3)
\(ord_\varpi (loc_{\mathfrak {l}}(\kappa ({\mathfrak {l}})))=t(g_k)t(g_k, {\mathfrak {l}})\).
7.13 Lemma
Suppose that \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_k(f))\ne 0\). Then there exist infinitely many nadmissible primes \({\mathfrak {l}}\not \mid {\mathfrak {D}}_g\) such that \(t(g_k, {\mathfrak {l}})<t(g_k)\).
Proof
Let \(c \in Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_k(f))\) be a non zero class, and \({\mathfrak {l}}\) an nadmissible prime not dividing \({\mathfrak {D}}_g\) such that \(loc_{{\mathfrak {l}}}(c) \ne 0\) (there are infinitely many such \({\mathfrak {l}}\) by Lemma 7.4). By global duality and the fact that the local conditions defining \(Sel_{({\mathfrak {D}}_g{\mathfrak {l}}/{\mathfrak {n}})}(K, T_k(f))\) and \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_k(f))\) are everywhere orthogonal except at \({\mathfrak {l}}\) we have:
Since the pairing between \(H^1_{ur}(K_{\mathfrak {l}}, A_k(f))\) and \(H^1_{tr}(K_{\mathfrak {l}}, T_k(f))\) is perfect and \(loc_{{\mathfrak {l}}}(c) \ne 0\) we deduce that \(loc_{\mathfrak {l}}(\kappa ({\mathfrak {l}})) \in {\mathcal {O}}_{\mathfrak {p}}/\varpi ^k\) cannot be a unit. By property (3) above, this proves the lemma. \(\square \)
7.14 Corollary
If \(a(g_k)\) is a unit then \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_k(f))=0\).
Proof
This follows immediately from the previous lemma. We remark that this can also be deduced from Proposition 7.7, replacing \(A_k(f)\) with \(A_1(f)\) and using the hypothesis that \(a(g_k)\) is not congruent to 0 modulo \(\varpi \). These two proofs essentially rely on the same argument. \(\square \)
7.15. Recall that we want to prove Theorem 6.10. We will prove it by induction on \(t(g_k)=ord_\varpi (a(g_k))\), which is finite by assumption. The above corollary deals with the base case \(t(g_k)=0\); to treat the general case we will make use of the following
7.16 Lemma
Suppose that \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_k(f))\) is non zero. Then there exist two nadmissible primes \({\mathfrak {l}}_1\ne {\mathfrak {l}}_2\) not dividing \({\mathfrak {D}}_g\) and an admissible automorphic form \(h \in S^{B^{'^\times }}({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n),\) where \(B'\) is the totally definite quaternion algebra of discriminant \({\mathfrak {D}}_g{\mathfrak {l}}_1{\mathfrak {l}}_2,\) such that :

(1)
\(t(g_k, {\mathfrak {l}}_1)=t(g_k, {\mathfrak {l}}_2)<t(g_k)\).

(2)
\(t(h_k)=t(g_k, {\mathfrak {l}}_i),\) \(i=1,2\).

(3)
\(ord_\varpi loc_{{\mathfrak {l}}_1}(\kappa ({\mathfrak {l}}_2))=ord_\varpi loc_{{\mathfrak {l}}_2}(\kappa ({\mathfrak {l}}_1))=0\).

(4)
\(Sel_{({\mathfrak {D}}_g {\mathfrak {l}}_1 {\mathfrak {l}}_2/{\mathfrak {n}})}(K, A_k(f))=Sel_{({\mathfrak {D}}_g/{\mathfrak {n}}){\mathfrak {l}}_1{\mathfrak {l}}_2}(K, A_k(f))\).
Proof
Take \({\mathfrak {l}}_1\) admissible such that \(t(g_k,{\mathfrak {l}}_1)=\mathrm {min}\{t(g_k,{\mathfrak {l}}), {\mathfrak {l}}\; n\text {admissible prime}\}\). Lemma 7.13 and the assumption that the Selmer group is non trivial imply that \(t(g_k,{\mathfrak {l}}_1) < t(g_k)\). We know that \(ord_\varpi (\kappa ({\mathfrak {l}}_1))=0\) and that \(\kappa ({\mathfrak {l}}_1)\in C \subset Sel_{({\mathfrak {D}}_g{\mathfrak {l}}_1/{\mathfrak {n}})}(K, T_k(f))\), where \(C\simeq {\mathcal {O}}_{\mathfrak {p}}/\varpi ^k\). Hence by Corollary 7.5 (which holds true modulo \(\varpi ^k\)) we can choose an nadmissible prime \({\mathfrak {l}}_2\) distinct from \({\mathfrak {l}}_1\) and not dividing \({\mathfrak {D}}_g\) such that
We now have the following chain of equalities:
where \(h_k\) is the reduction modulo \(\varpi ^k\) of an fadmissible automorphic form h as in Theorem 6.19, and the second and third equalities follow from the second reciprocity law in the form given in Remark 6.20.
Now
by minimality of \(t(g_k,{\mathfrak {l}}_1)\), and \(ord_\varpi (loc_{{\mathfrak {l}}_2}(\kappa ({\mathfrak {l}}_1)))=0\). Comparing the first, third and last member in the chain of equalities above we deduce that
Hence claims (1), (2) and (3) are proved.
It remains to show (4). We have two exact sequences:
where \(v_{{\mathfrak {l}}_i}\) (resp. \(\delta _{{\mathfrak {l}}_i}\)) denotes the composition of the localisation map and the projection onto the unramified (resp. transverse) part.
By Poitou–Tate global duality the images of \(v_{{\mathfrak {l}}_1}\oplus v_{{\mathfrak {l}}_2}\) and \(\delta _{{\mathfrak {l}}_1}\oplus \delta _{{\mathfrak {l}}_2}\) are orthogonal complements with respect to the local Tate pairing. Now, the classes \(\kappa ({\mathfrak {l}}_1)\) and \(\kappa ({\mathfrak {l}}_2)\) belong to \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}^{{\mathfrak {l}}_1 {\mathfrak {l}}_2}(K, T_k(f))\), and because of (3) and the fact that the localisation at \({\mathfrak {l}}_i\) of \(\kappa ({\mathfrak {l}}_i)\) falls in the transverse part we have, up to unit:
This implies that the map
is surjective. Since the pairing between \(H^1_{ur}(K_{{\mathfrak {l}}_i}, T_k(f))\) and \(H^1_{tr}(K_{{\mathfrak {l}}_i}, A_k(f))\) is perfect for \(i=1,2\) we deduce that
is the zero map, therefore we have an isomorphism:
\(\square \)
7.17. Let us now prove the inequality
by induction on \(t(g_k)\). If \(t(g_k)=0\) then the inequality follows from Corollary 7.14, hence let us suppose that \(t(g_k)>0\). If \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_k(f))\) is trivial then there is nothing to prove. If \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_k(f))\) is non trivial, choose two nadmissible primes \({\mathfrak {l}}_1\), \({\mathfrak {l}}_2\) as in Lemma 7.16.
We have two exact sequences:
Let us identify \(H^1_{tr}(K_{{\mathfrak {l}}_i}, T_k(f))\) with \(H^1_{ur}(K_{{\mathfrak {l}}_i}, A_k(f))^\vee =\mathrm {Hom}_{{\mathcal {O}}_{\mathfrak {p}}/\varpi ^k}(H^1_{ur}(K_{{\mathfrak {l}}_i}, A_k(f)), {\mathcal {O}}_{\mathfrak {p}}/\varpi ^k)\) via the local Tate pairing at \({\mathfrak {l}}_i\), for \(i=1, 2\). Taking the dual of the lower exact sequence above and using Poitou–Tate global duality we find an exact sequence:
Using (4) of Lemma 7.16 we deduce that:
Let us now compute \(l_{{\mathcal {O}}_{\mathfrak {p}}}Sel^{{\mathfrak {l}}_1 {\mathfrak {l}}_2}_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, T_k(f))l_{{\mathcal {O}}_{\mathfrak {p}}}Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, T_k(f))\). Choose an element \(\zeta ({\mathfrak {l}}_1) \in Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}^{{\mathfrak {l}}_1}(K, T_k(f))\) such that \(\delta _{{\mathfrak {l}}_1}(\zeta ({\mathfrak {l}}_1))\) generates the image of the map
We find an exact sequence:
The cohomology class \(\kappa ({\mathfrak {l}}_1)\) belongs to \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}^{{\mathfrak {l}}_1}(K, T_k(f))\); hence, possibly after multiplying it by a unit of \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^k\), there exists an integer \(m_1 \ge 0\) such that
This implies:
where the third equality follows from (2) of Lemma 7.16. Using this and the exact sequence (7.17.2) we obtain:
Similarly, take \(\zeta ({\mathfrak {l}}_2) \in Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}^{{\mathfrak {l}}_1{\mathfrak {l}}_2}(K, T_k(f))\) such that we have an exact sequence:
Then there exists \(m_2\ge 0\) such that \(\delta _{{\mathfrak {l}}_2}(\varpi ^{m_2}\zeta ({\mathfrak {l}}_2)\kappa ({\mathfrak {l}}_2))=0\), hence we find:
Therefore we obtain:
This, together with Eq. (7.17.1), yields:
which finally implies:
Since \(t(h_k)< t(g_k)\), by induction we have \(l_{{\mathcal {O}}_{\mathfrak {p}}}Sel_{({\mathfrak {D}}_g{\mathfrak {l}}_1{\mathfrak {l}}_2/{\mathfrak {n}})}(K, A_k(f))2t(h_k)\le 0\), hence by (7.17.3) we also have \(l_{{\mathcal {O}}_{\mathfrak {p}}}Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_k(f))2t(g_k)\le 0\).
7.18. We have completed the proof of the inequality in the statement of Theorem 6.10. It remains to prove that the equality also holds, under the additional hypothesis that the implication
holds true for every admissible automorphic form h modulo \(\varpi \).
As before, the proof is by induction on \(t(g_k)\), and the case \(t(g_k)=0\) is covered by Lemma 7.14. So let us suppose that \(t(g_k)>0\). Then, since we are assuming that
we deduce that \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, A_1(f))\) cannot be trivial, hence we can invoke Lemma 7.16. Let us stress, before continuing the proof, that it is at this point that the proof of the equality differs substantially from the proof of the inequality we gave above, and the non trivial input (7.18.1) is crucially needed.
Let \({\mathfrak {l}}_1\) and \({\mathfrak {l}}_2\) be two admissible primes as in Lemma 7.16, and let h be the automorphic form given by the lemma. We proved above the following equality (7.17.3):
Moreover we know that \(t(h_k) < t(g_k)\). Therefore by induction we have
In order to complete the proof it is therefore enough to show that \(m_1=m_2=0\).
7.19. Let us first show that \(m_1=0\). Recall that \(m_1\) was chosen in such a way that the equality \(\delta _{{\mathfrak {l}}_1}(\varpi ^{m_1}\zeta ({\mathfrak {l}}_1)\kappa ({\mathfrak {l}}_1))=0\) is satisfied. In other words, the class \(\varpi ^{m_1}\zeta ({\mathfrak {l}}_1)\kappa ({\mathfrak {l}}_1)\), which a priori lives in \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}^{{\mathfrak {l}}_1}(K, T_k(f))\), actually belongs to \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, T_k(f))\). Proposition 7.7 yields the equality:
hence:
By Lemma 7.16 we have \(ord_\varpi (loc_{{\mathfrak {l}}_2}(\kappa ({\mathfrak {l}}_1)))=0\), hence the left hand side of the above equality is non zero. Therefore the right hand side must also be non trivial, yielding \(m_1+k1 < k\). Hence \(m_1=0\).
7.20. Let us finally show that \(m_2=0\). Since we already know that \(m_1=0\) we have \(\delta _{{\mathfrak {l}}_1}(\zeta ({\mathfrak {l}}_1))=\delta _{{\mathfrak {l}}_1}(\kappa ({\mathfrak {l}}_1))\) (up to unit). By definition of \(\zeta ({\mathfrak {l}}_1)\), this implies that \(\delta _{{\mathfrak {l}}_1}(\kappa ({\mathfrak {l}}_1))\) generates the image of the map \(Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}^{{\mathfrak {l}}_1}(K, T_k(f))\xrightarrow {\delta _{{\mathfrak {l}}_1}}H^1_{tr}(K_{{\mathfrak {l}}_1}, T_k(f))\).
Now recall that \(m_2\) was chosen so that \(\delta _{{\mathfrak {l}}_2}(\varpi ^{m_2}\zeta ({\mathfrak {l}}_2)\kappa ({\mathfrak {l}}_2))=0\), which implies that
Therefore there exists \(m_3 \ge 0\) such that:
In other words, we have \(\varpi ^{m_2}\zeta ({\mathfrak {l}}_2)\kappa ({\mathfrak {l}}_2)\varpi ^{m_3}\kappa ({\mathfrak {l}}_1) \in Sel_{({\mathfrak {D}}_g/{\mathfrak {n}})}(K, T_k(f))\). Invoking Proposition 7.7 again we obtain
hence:
Suppose by contradiction that \(m_2>0\). Then the first term in the above equation dies, and we get:
Notice that
Hence both terms must be zero. On the other hand, since \(ord_\varpi (loc_{{\mathfrak {l}}_1}(\kappa ({\mathfrak {l}}_2)))=0\) the left hand side of the above equality is non trivial. This gives a contradiction, and completes the proof of Theorem 6.10.
The indefinite case
8.1. Let us now switch to the indefinite setting, namely we fix a Hilbert newform \(f \in S({\mathfrak {n}})\) and a CM extension K/F such that \({\mathfrak {n}}\) is squarefree and all its factors are inert in K, and we assume in addition that \([F: {\mathbf {Q}}]\not \equiv \#\{{\mathfrak {q}}, {\mathfrak {q}}\mid {\mathfrak {n}}\} \pmod 2\). In this case the sign of the functional equation of \(L(f_K, s)\) is \(1\), and Zhang’s special value formula asserts that \(L'(f_K, 1)=\frac{2^{r+1}}{\sqrt{N(disc(K/F))}}\cdot \langle f, f \rangle _{Pet}\cdot \langle a(f), a(f)\rangle _{NT}\). Recall (see Sect. 3.6) that \(a(f) \in (Jac(X)(K)\otimes {\mathcal {O}}_{\mathfrak {p}})/I_{f_B}\) is the \(f_B\)isotypical part of the trace of a point \(P_K\) with CM by \({\mathcal {O}}_K\) on the quotient Shimura curve X with full level structure attached to the quaternion algebra B of discriminant \({\mathfrak {n}}\) ramified at all but one infinite place. Furthermore in this setting the \(f_B\)isotypical part of the Tate module \(T_p(Jac(X))\) is isomorphic to T(f) as a \(\Gamma _F\)module, as a consequence of the EichlerShimura relations for Shimura curves. It follows that a(f) gives rise to a cohomology class \(c \in Sel(K, T(f))\). Our aim in this section is to prove that, if \(L'(f_K, 1)\ne 0\), then Sel(K, A(f)) has \({\mathcal {O}}_{\mathfrak {p}}\)corank one and we have the inequality (which is an equality under the same additional assumption as in Theorem 6.10)
where we denote by Sel(K, A(f))/div the quotient of Sel(K, A(f)) by its maximal divisible submodule.
8.2 Remark
In the simplest case when the Hecke eigenvalues of f are rational we have \(V(f)=T_p(E_f)\otimes _{{\mathbf {Z}}_p}{\mathbf {Q}}_p\), where \(T_p(E_f)\) is the padic Tate module of an elliptic curve \(E_f/F\) with Lfunction L(f, s). The above inequality then translates into a relation between (the pparts of) the cardinality of the Tate–Shafarevich group of E/K and the square of the index of the Heegner point in \(E_f(K)\) coming from a(f); this is consistent with what predicted by the Birch and SwinnertonDyer conjecture (see [53, Lemma 10.1.2]).
We are going to prove the following result:
8.3 Theorem
Fix \(f \in S({\mathfrak {n}})\) and K/F satisfying assumptions (1), (2), (3) of Theorem 5.2. Assume that \(L'(f_K, 1)\ne 0\). Let \(n=2k,\) and suppose that \(c \not \equiv 0 \pmod {\varpi ^k}\). Then the following inequality holds :
Moreover the above inequality is an equality provided that the following implication holds true : if h is an fadmissible automorphic form mod \(\varpi \) and \(Sel_{({\mathfrak {D}}_h/{\mathfrak {n}})}(K, A_1(f))=0\) then \(0\ne a(h) \in {\mathcal {O}}_{\mathfrak {p}}/\varpi \).
8.4. Theorem 8.3 implies the inequality (8.1.1). Indeed, assume that the theorem holds and write \(Sel(K, A(f))=(E_{\mathfrak {p}}/{\mathcal {O}}_{\mathfrak {p}})^r\oplus M\) with M finite. Then \(l_{{\mathcal {O}}_{\mathfrak {p}}}Sel(K, A_k(f))=kr+l_{{\mathcal {O}}_{\mathfrak {p}}}M[\varpi ^k]\), hence \(r=1\) and for k large enough we have
hence \(l_{{\mathcal {O}}_{\mathfrak {p}}}Sel(K, A(f))/div \le 2ord_\varpi (c)\), as we had to show.
In order to prove Theorem 8.3 we will make use of the second reciprocity law Theorem 6.19, relating the localisation of the class c at an admissible prime \({\mathfrak {l}}\) to the quantity a(g), where \(g \in S^{B^{'\times }}({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)\) is an admissible automorphic form on the totally definite quaternion algebra \(B'\) of discriminant \({\mathfrak {n}}{\mathfrak {l}}\). This brings us in the context of Theorem 6.10, and choosing \({\mathfrak {l}}\) appropriately we will deduce Theorem 8.3 from Theorem 6.10. We wish to stress the remarkable fact that the second reciprocity law allows to prove special value formulas in analytic rank one by reducing them to the rank zero case.
8.5. Let us prove Theorem 8.3. Let \(t(f)=ord_\varpi (c)\). The reduction modulo \(\varpi ^k\) of c is contained in a free \({\mathcal {O}}_{\mathfrak {p}}/\varpi ^k\)module C of rank one. This is proved in the same way as in Proposition 7.9, once one we know that
To show this, choose \({\mathfrak {l}}\) admissible such that \(loc_{{\mathfrak {l}}}(c)\ne 0 \in {\mathcal {O}}_{\mathfrak {p}}/\varpi ^n\). By the second reciprocity law this implies that \(a(g)\ne 0\), where g is a level raising of f at \({\mathfrak {l}}\) modulo \(\varpi ^n\). Hence Proposition 7.7 applies, and it implies that \(Sel_{({\mathfrak {l}})}(K, T_n(f))\simeq M\oplus M\). By Corollary 7.8 we conclude.
There exists a class \(\kappa \in C\subset Sel(K, T_k(f))\) such that \(\varpi ^{t(f)}\kappa =c\). Hence we can choose an admissible prime \({\mathfrak {l}}\) such that \(ord_\varpi (loc_{\mathfrak {l}}(\kappa ))=0\). Using the second reciprocity law we find:
where \(g \in S^{B^{'\times }}({\mathcal {O}}_{\mathfrak {p}}/\varpi ^n)\) is an admissible automorphic form on the totally definite quaternion algebra \(B'\) of discriminant \({\mathfrak {n}}{\mathfrak {l}}\).
8.6. To prove Theorem 8.3 we shall now compare the Selmer groups \(Sel(K, A_k(f))\) and \(Sel_{({\mathfrak {l}})}(K, A_k(f))\).
We have a square of Selmer groups:
Global duality yields an exact sequence:
Since \(\kappa \in Sel^{\mathfrak {l}}(K, T_k(f))\) satisfies \(ord_\varpi (loc_{\mathfrak {l}}(\kappa ))=0\) the map \(v_{\mathfrak {l}}\) is surjective, therefore \(\delta _{\mathfrak {l}}^\vee \) is the zero map, which yields:
In other words, the inclusion b in the square above is an isomorphism. This implies that
Since the class \(\kappa \in Sel(K, T_k(f))\simeq Sel(K, A_k(f))\) satisfies \(ord_\varpi (loc_{\mathfrak {l}}(\kappa ))=0\), we find an exact sequence
which yields
Because of (8.6.2) we see that the map c is an isomorphism. Collecting everything we get
Now g is an admissible automorphic form satisfying the hypotheses of Theorem 6.10, hence
Finally, using Eq. (8.5.1) we obtain
and equality holds whenever it does in Eq. (8.6.3). Hence the proof is complete.
8.7. A remark on parity of the dimension of Selmer groups. Let us conclude by mentioning the implications that the level raisinglength lowering method we used has for parity results for Selmer groups. These results are already known in our setting [35]; we hope that the following argument—inspired by [53, Section 9.2]; see also [20, Lemma 9]—can be of interest nonetheless. It allows to prove that the parity conjecture, asserting that the parity of the \({\mathcal {O}}_{\mathfrak {p}}\)corank of Sel(K, A(f)) equals the parity of the order of vanishing of \(L(f_K, s)\) at \(s=1\), follows from (hence is equivalent to) the sign conjecture, which predicts that \(Sel(K, A(f))\ne 0\) whenever \(\epsilon (f_K)=1\). Work related to the latter conjecture has been carried out in [1, 2, 42].
8.8 Proposition
Let \(f \in S({\mathfrak {n}})\) and let K/F be a CM extension such that the assumptions (1), (2), (3) of Theorem 5.2 are satisfied. Assume that the implication
holds for every mod \(\varpi \)level raising g of f at admissible primes. Then
Proof
We have to show that \(d(f)={\mathrm {dim}}_{{\mathcal {O}}_{\mathfrak {p}}/\varpi } Sel(K, A_1(f))\) is even (resp. odd) if \(\epsilon (f_K)=1\) (resp. \(\epsilon (f_K)=1)\). We will argue by induction on d(f); by hypothesis the result holds true for \(d(f)=0\). Suppose that \(Sel(K, A_1(f))\ne 0\) and choose a non zero class \(c \in Sel(K, A_1(f))\) as well as an admissible prime \({\mathfrak {l}}\) such that \(loc_{\mathfrak {l}}(c) \ne 0 \in H^1_{ur}(K_{\mathfrak {l}}, A_1(f))\). Then \(loc_{{\mathfrak {l}}}:Sel(K, A_1(f))\rightarrow H^1_{ur}(K_{\mathfrak {l}}, A_1(f))\) is surjective, hence by global duality we obtain that \(Sel(K, A_1(f))=Sel^{\mathfrak {l}}(K, A_1(f))\) and \(Sel_{({\mathfrak {l}})}(K, A_1(f))=Sel_{{\mathfrak {l}}}(K, A_1(f))\). Hence \(\mathrm {dim}_{{\mathcal {O}}_{\mathfrak {p}}/\varpi } Sel_{({\mathfrak {l}})}(K, A_1(f))=\mathrm {dim}_{{\mathcal {O}}_{\mathfrak {p}}/\varpi } Sel(K, A_1(f))1\). On the other hand by Notation 6.8 the group \(Sel_{({\mathfrak {l}})}(K, A_1(f))\) is the mod \(\varpi \) Selmer group of a level raising \(g \in S({\mathfrak {n}}{\mathfrak {l}})\) of f. We have \(\epsilon (g_K)=\epsilon (f_K)\) as the numbers of prime ideals dividing \({\mathfrak {n}}\) and \({\mathfrak {n}}{\mathfrak {l}}\) have different parity, and \(d(g)=d(f)1\), hence we conclude by induction. \(\square \)
References
 1.
Bellaïche, J.: Ranks of Selmer groups in an analytic family. Trans. Am. Math. Soc. 364(9), 4735–4761 (2012)
 2.
Bellaïche, J., Chenevier, G.: Families of Galois representations and Selmer groups. Astérisque 324, xii+314 (2009)
 3.
Berti, A., Bertolini, M., Venerucci, R.: Congruences between modular forms and the Birch and SwinnertonDyer conjecture. In: Elliptic Curves, Modular Forms and Iwasawa Theory, pp. 1–31. Springer, Berlin (2016)
 4.
Bertolini, M., Darmon, H.: Iwasawa’s main conjecture for elliptic curves over anticyclotomic \({\mathbb{Z}}_p\)extensions. Ann. Math. (2) 162(1), 1–64 (2005)
 5.
Bertolini, M., Longo, M., Venerucci, R.: The anticyclotomic main conjectures for elliptic curves (in preparation)
 6.
Blasius, D., Rogawski, J.: Galois representations for Hilbert modular forms. Bull. Am. Math. Soc. (N.S.) 21(1), 65–69 (1989)
 7.
Blasius, D., Rogawski, J.: Motives for Hilbert modular forms. Invent. Math. 114(1), 55–87 (1993)
 8.
Bloch, S., Kato, K.: \(L\)functions and Tamagawa numbers of motives. In: The Grothendieck Festschrift, vol. I. Progress in Mathematics, vol. 86, pp. 333–400. Birkhäuser Boston, Boston (1990)
 9.
Bump, D., Friedberg, S., Hoffstein, J.: Nonvanishing theorems for \(L\)functions of modular forms and their derivatives. Invent. Math. 102(3), 543–618 (1990)
 10.
Büyükboduk, K., Pollack, R., Sasaki, S.: padic GrossZagier formula at critical slope and a conjecture of PerrinRiou. Preprint arXiv:1811.08216
 11.
Cai, L., Shu, J., Tian, Y.: Explicit GrossZagier and Waldspurger formulae. Algebra Number Theory 8(10), 2523–2572 (2014)
 12.
Chida, M.: Selmer groups and central values of \(L\)functions for modular forms. Ann. Inst. Fourier (Grenoble) 67(3), 1231–1276 (2017)
 13.
Chida, M., Hsieh, M.L.: On the anticyclotomic Iwasawa main conjecture for modular forms. Compos. Math. 151(5), 863–897 (2015)
 14.
Darmon, H., Iovita, A.: The anticyclotomic main conjecture for elliptic curves at supersingular primes. J. Inst. Math. Jussieu 7(2), 291–325 (2008)
 15.
Deligne, P., Serre, J.P.: Formes modulaires de poids 1. Ann. Sci. École Norm. Sup. 7, 507–530 (1974)
 16.
Dimitrov, M.: Galois representations modulo \(p\) and cohomology of Hilbert modular varieties. Annales scientifiques de l’École Normale Supérieure Ser. 4 38(4), 505–551 (2005)
 17.
Fontaine, J.M.: Valeurs spéciales des fonctions \(L\) des motifs, no. 206, Séminaire Bourbaki, vol. 1991/92, Exp. No. 751, 4, pp. 205–249 (1992)
 18.
Fontaine, J.M., PerrinRiou, B.: Autour des conjectures de Bloch et Kato: cohomologie galoisienne et valeurs de fonctions \(L\), Motives (Seattle, WA, 1991), pp. 599–706. American Mathematical Society, Providence (1994)
 19.
Gross, B.H.: Lectures on the Conjecture of Birch and SwinnertonDyer, Arithmetic of \(L\)Functions. Lecture Notes from the IAS/Park City Mathematics Institute (PCMI) Graduate Summer School, Park City, UT, USA, 2009, pp. 169–209. American Mathematical Society (AMS)/Institute for Advanced Study, Providence/Princeton (2011)
 20.
Gross, B.H., Parson, J.A.: On the local divisibility of Heegner points. In: Number Theory, Analysis and Geometry, pp. 215–241. Springer, New York (2012)
 21.
Howard, B.: Iwasawa theory of Heegner points on abelian varieties of \({text{GL}}_2\) type. Duke Math. J. 124(1), 1–45 (2004)
 22.
Howard, B.: Bipartite Euler systems. J. Reine Angew. Math. 597, 1–25 (2006)
 23.
Jetchev, D., Skinner, C., Wan, X.: The Birch and SwinnertonDyer formula for elliptic curves of analytic rank one. Camb. J. Math. 5(3), 369–434 (2017)
 24.
Kings, G.: The Equivariant Tamagawa Number Conjecture and the Birch–SwinnertonDyer Conjecture, Arithmetic of \(L\)Functions. Lecture Notes from the IAS/Park City Mathematics Institute (PCMI) Graduate Summer School, Park City, UT, USA, 2009, pp. 315–349. American Mathematical Society (AMS)/Institute for Advanced Study, Providence/Princeton (2011)
 25.
Kolyvagin, V.A., Logachëv, D.Y.: Finiteness of CH over totally real fields. Izv. Akad. Nauk SSSR Ser. Mat. 55(4), 851–876 (1991)
 26.
Liu, Y., Tian, Y.: Supersingular locus of Hilbert modular varieties, arithmetic level raising and Selmer groups. Algebra Number Theory 14(8), 2059–2119 (2020)
 27.
Liu, Y.: Bounding cubictriple product Selmer groups of elliptic curves. J. Eur. Math. Soc. 21(5), 1411–1508 (2019)
 28.
Longo, M.: On the Birch and SwinnertonDyer conjecture for modular elliptic curves over totally real fields. Ann. Inst. Fourier (Grenoble) 56(3), 689–733 (2006)
 29.
Longo, M.: Euler systems obtained from congruences between Hilbert modular forms. Rend. Semin. Mat. Univ. Padova 118, 1–34 (2007)
 30.
Longo, M.: Anticyclotomic Iwasawa’s main conjecture for Hilbert modular forms. Comment. Math. Helv. 87(2), 303–353 (2012)
 31.
Longo, M., Vigni, S.: On the vanishing of Selmer groups for elliptic curves over ring class fields. J. Number Theory 130(1), 128–163 (2010)
 32.
Manning, J.: Patching and multiplicity \(2^k\) for Shimura curves. Preprint arXiv:1902.06878, to appear in Algebra Number Theory
 33.
Manning, J., Shotton, J.: Ihara’s lemma for Shimura curves over totally real fields via patching. Preprint arXiv:1907.06043, to appear in Mathematische Annalen
 34.
Mazur, B., Rubin, K.: Kolyvagin systems. Mem. Am. Math. Soc. 168(799), viii+96 (2004)
 35.
Nekovář, J.: Selmer complexes. Astérisque 310, viii+559 (2006)
 36.
Nekovář, J.: The Euler System Method for CM Points on Shimura Curves. London Mathematical Society Lecture Note Series, pp. 471–547. Cambridge University Press, Cambridge (2007)
 37.
Nekovář, J.: Level raising and anticyclotomic Selmer groups for Hilbert modular forms of weight two. Can. J. Math. 64(3), 588–668 (2012)
 38.
Ohta, M.: On \(l\)adic representations attached to automorphic forms. Jpn. J. Math. 8(1), 1–47 (1982)
 39.
Pollack, R., Weston, T.: On anticyclotomic \(\mu \)invariants of modular forms. Compos. Math. 147(5), 1353–1381 (2011)
 40.
Raynaud, M.: Schémas en groupes de type \((p,\dots, p)\). Bull. Soc. Math. Fr. 102, 241–280 (1974)
 41.
Ribet, K.A.: A modular construction of unramified \(p\)extensions of \({\mathbf{Q}}(\mu _{p})\). Invent. Math. 34(3), 151–162 (1976)
 42.
Skinner, C., Urban, E.: Vanishing of \(L\)functions and ranks of Selmer groups. In: Proceedings of the International Congress of Mathematicians (ICM), Madrid, Spain, August 22–30, 2006, vol. II, pp. 473–500. European Mathematical Society, Zürich (2006)
 43.
Skinner, C., Urban, E.: The Iwasawa main conjectures for \({\text{ GL }}_2\). Invent. Math. 195(1), 1–277 (2014)
 44.
Taylor, R.: On Galois representations associated to Hilbert modular forms. Invent. Math. 98(2), 265–280 (1989)
 45.
Taylor, R.: On Galois Representations Associated to Hilbert Modular Forms. II, Elliptic Curves, Modular Forms, & Fermat’s Last Theorem (Hong Kong, 1993). Ser. Number Theory, I, pp. 185–191. International Press, Cambridge (1995)
 46.
Vatsal, V.: Special values of anticyclotomic \(L\)functions. Duke Math. J. 116(2), 219–261 (2003)
 47.
Wan, X.: Iwasawa main conjecture for supersingular elliptic curves (2014). Preprint arXiv:1411.6352
 48.
Wan, X.: The Iwasawa main conjecture for Hilbert modular forms. Forum Math. Sigma 3, e18, p. 95 (2015)
 49.
Wang, H.: Anticyclotomic Iwasawa theory for Hilbert modular forms (2019). Preprint arXiv:1909.12374
 50.
Wiles, A.: On ordinary \(\lambda \)adic representations associated to modular forms. Invent. Math. 94(3), 529–573 (1988)
 51.
Yuan, X., Zhang, S.W., Zhang, W.: The Gross–Zagier Formula on Shimura Curves. Princeton University Press, Princeton (2013)
 52.
Zhang, S.W.: Gross–Zagier Formula for GL(2). II, Heegner Points and Rankin \(L\)Series. Mathematical Sciences Research Institute Publications, vol. 49, pp. 191–214. Cambridge University Press, Cambridge (2004)
 53.
Zhang, W.: Selmer groups and the indivisibility of Heegner points. Camb. J. Math. 2(2), 191–253 (2014)
 54.
Zhou, R.: Motivic cohomology of quaternionic Shimura varieties and level raising. Preprint arXiv:1901.01954 (2019)
Acknowledgements
The work presented in this paper was carried out during the author’s PhD at the University of DuisburgEssen, supported by SFB/TR45 “Periods, Moduli Spaces and Arithmetic of Algebraic Varieties”; he wishes to express his gratitude to all the members of the ESAGA group in Essen, and thanks the authors of [5] for sharing a draft of their paper. This work began while the author was a guest at CIB, EPF Lausanne during the special semester “Euler systems and special values of Lfunctions”. He is very grateful to the organisers for the invitation and for the excellent working conditions offered throughout the semester. The author would also like to thank Jan Nekovář for spotting some inaccuracies in an earlier version of this text and for providing several useful comments, and the anonymous referee for several suggestions which helped improving the exposition. This paper was completed while the author was a Research Associate at Imperial College, supported by the ERC Grant 804176.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Tamiozzo, M. On the Bloch–Kato conjecture for Hilbert modular forms. Math. Z. (2021). https://doi.org/10.1007/s00209020026890
Received:
Accepted:
Published: