Geometric acyclicity of \(B_{\mathrm{cris}}\) (Q2436075)

Let \(K\) be a complete discrete valuation field of characteristic \(0\), whose residue field is perfect of characteristic \(p\). In order to study the \(p\)-adic representations of \(\mathrm{Gal}(\overline{K}/K)\), \textit{J.-M. Fontaine} has constructed [in: Périodes \(p\)-adiques. Séminaire du Bures-sur-Yvette, France, 1988. Paris: Société Mathématique de France. 59--111, Appendix 103--111 (1994; Zbl 0940.14012)] a number of rings of periods, including the ring \(\mathrm{B}_{\mathrm{cris}} = \mathrm{B}_{\mathrm{cris}}(\mathcal{O}_K)\). This is the ring that is used in the statement of the \(p\)-adic comparison theorem for the cohomology of proper and smooth schemes over \(\mathcal{O}_K\). Given certain \(\mathcal{O}_K\)-algebras \(R\), it is possible see \textit{O. Brinon} [Mém. Soc. Math. Fr., Nouv. Sér. 112, 1--158 (2008; Zbl 1170.14016)] to extend the construction of \(\mathrm{B}_{\mathrm{cris}}\) and to obtain in this way a relative version \(\mathrm{B}_{\mathrm{cris}}(R)\) of the ring \(\mathrm{B}_{\mathrm{cris}}\). In the article under review, the authors compute \(H^q(G_R,\mathrm{B}_{\mathrm{cris}}(R))\) as well as a relative version \(H^q(G_{R/S},\mathrm{B}_{\mathrm{cris}}(R))\). They prove that \(H^q(G_{R/S},\mathrm{B}_{\mathrm{cris}}(R)) = 0\) if \(q \geq 1\), and compute \(H^0(G_{R/S},\mathrm{B}_{\mathrm{cris}}(R))\) (see theorem 5). These results are useful for proving relative versions of the \(p\)-adic comparison theorem. Some similar results had been proved by Tsuji (unpublished) and Lodh (in his PhD).