On the Bloch-Kato conjecture for Hilbert modular forms (Q2231139)

``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 (self-dual) Galois representations indexed by finite places of \(E\), coming in most cases from a motive \(M\) over \(F\) with coefficients in \(E\) [\textit{D. Blasius} and \textit{J. D. Rogawski}, Invent. Math. 114, No. 1, 55--87 (1993; Zbl 0829.11028)] whose \(L\)-function coincides with the automorphic \(L\)-function \(L( f ,s)\). The conjectures of Bloch and Kato [\textit{S. Bloch} and \textit{K. Kato}, Prog. Math. 86, 333--400 (1990; Zbl 0768.14001)] -- reformulated and extended by Fontaine and Perrin-Riou [\textit{J.-M. Fontaine}, in: Séminaire Bourbaki, volume 1991/92. Paris: Société Mathématique de France. 205--249 (Exp. No. 751) (1992; Zbl 0799.14006)] and [\textit{J.-M. Fontaine} and \textit{B. Perrin-Riou}, Proc. Symp. Pure Math. 55, 599--706 (1994; Zbl 0821.14013)] -- 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\).'' ``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 \(L\)-function 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.''