De Rham comparison and Poincaré duality for rigid varieties (Q6133182)

Let \(k\) be a \(p\)-adic local field. Let \(U\) be a smooth variety over \(k\). Let \(\mathbb{L}\) be a ``de~Rham'' \(p\)-adic local system on \(U\). In a previous work, \textit{H. Diao} et al. [J. Am. Math. Soc. 36, No. 2, 483--562 (2023; Zbl 1504.14042)], proved a comparison theorem between the \(p\)-adic étale cohomology of \(\mathbb{L}\) and the de~Rham cohomology \(D_{\mathrm{dR}}^{\mathrm{alg}}(\mathbb{L})\), a vector bundle on \(U\) with an integrable connection: \[ a\colon \mathrm{H}^{i}_{\text{ét}}(U_{\overline{k}},\mathbb{L}) \otimes_{\mathbb{Q}_{p}} B_{\mathrm{dR}} \cong \mathrm{H}^{i}_{\mathrm{dR}}(U, D^{\mathrm{alg}}_{\mathrm{dR}}(\mathbb{L})) \otimes_{k} B_{\mathrm{dR}}. \] The isomorphism is compatible with filtrations on both sides and the action of \(\mathrm{Gal}(\overline{k}/k)\) on both sides. Taking Poincaré duality, one gets an isomorphism for compactly supported cohomology: \[ b\colon \mathrm{H}^{i}_{\text{ét,c}}(U_{\overline{k}},\mathbb{L}) \otimes_{\mathbb{Q}_{p}} B_{\mathrm{dR}} \cong \mathrm{H}^{i}_{\mathrm{dR,c}}(U, D^{\mathrm{alg}}_{\mathrm{dR}}(\mathbb{L})) \otimes_{k} B_{\mathrm{dR}}. \] On the other hand, there exist natural maps \[ \mathrm{H}^{i}_{\text{ét,c}}(U_{\overline{k}},\mathbb{L}) \to \mathrm{H}^{i}_{\text{ét}}(U_{\overline{k}},\mathbb{L}) \] and \[ \mathrm{H}^{i}_{\mathrm{dR,c}}(U, D^{\mathrm{alg}}_{\mathrm{dR}}(\mathbb{L})) \to \mathrm{H}^{i}_{\mathrm{dR}}(U, D^{\mathrm{alg}}_{\mathrm{dR}}(\mathbb{L})). \] Are isomorphisms \(a\) and \(b\) compatible with these ``forgetting support'' maps? In the article under review, a positive answer is provided. To quote from the authors: ``Given the general theory developed in loc.~cit., the main new ingredient is the definition of a period sheaf that works for the cohomology with compact support''. When \(U\) admits a smooth proper compactification \(X\) with normal crossing complement \(D\), the correct period sheaf is the kernel between a canonical map from a logarithmic variant of \(\mathcal{O}\mathbb{B}_{\mathrm{dR},X}\) to a logarithmic variant of (the direct image of) \(\mathcal{O}\mathbb{B}_{\mathrm{dR},D}\) on the pro-Kummer étale site of \(X\). The theory is applied to cohomology of local systems on Shimura varieties.