Around the Poincaré lemma, after Beilinson (Q2355856)

Let \(X\) be a reduced separated scheme of finite type over a complete discrete valuation field \(K\) of characteristic 0 with perfect residue field of positive characteristic \(p\). Fontaine conjectured the existence of a natural isomorphism \[ H_{\text{dR}}^*(X)\otimes_{\bar{K}}B_{\text{dR}} \;\longrightarrow\; H_{\text{ét}}^*(X_{\bar{K}},\mathbb{Q}_p)\otimes_{\mathbb{Q}_p}B_{\text{dR}} \] (where \(\bar{K}\) is an algebraic closure of \(K\)) relating de Rham cohomology and \(p\)-adic étale cohomology, where \(B_{\text{dR}}\) is Fontaine's periods field. This important result has been proved by \textit{G. Faltings} [Astérisque. 279, 185--270 (2002; Zbl 1027.14011)], \textit{W. Nizioł} [Duke Math. J. 141, No. 1, 151--178 (2008; Zbl 1157.14009)], \textit{T. Tsuji} [Invent. Math. 137, No. 2, 233--411 (1999; Zbl 0945.14008)] and more recently by \textit{A. Beilinson} [J. Am. Math. Soc. 25, No. 3, 715--738 (2012; Zbl 1247.14018)]. It was also proved by \textit{P. Scholze} [Forum Math. Pi 1, Article ID e1, 77 p. (2013; Zbl 1297.14023)]. This paper is based on several talks given by the author on that Beilinson's paper. The ideas of Beilinson have been further exploited in two recent papers: [\textit{A. Beilinson}, Camb. J. Math. 1, No. 1, 1--51 (2013; Zbl 1351.14011)] and [\textit{B. Bhatt}, ``\(p\)-adic derived de Rham cohomology'', \url{arXiv:1204.6560}].