On the Beilinson fiber square (Q2105219)

Adopting the convention of the article under review, we add the ``coefficients'' \(\mathbb{Z}_p\) or \(\mathbb{Q}_p\) to a spectrum to denote its \(p\)-completion or the rationalisation of its \(p\)-completion, respectively. Generalising work of Beilinson, the authors establish the existence of a natural commutative square \[ \begin{tikzcd} \mathrm{TC}(R; \mathbb{Z}_p)\ar[r]\ar[d] & \mathrm{TC}(R \otimes_{\mathbb{S}} \mathbb{F}_p)\ar[d] \\ \mathrm{HC}^-(R; \mathbb{Z}_p)\ar[r] & \mathrm{HP}(R; \mathbb{Z}_p) \end{tikzcd} \] for every ring \(R\). This square becomes a pullback after inverting \(p\). Using a result of Clausen, Mathew and Morrow, this gives rise a pullback \[ \begin{tikzcd} \mathrm{K}(R; \mathbb{Q}_p)\ar[r]\ar[d] & \mathrm{K}(R/p; \mathbb{Q}_p)\ar[d] \\ \mathrm{HC}^-(R; \mathbb{Q}_p)\ar[r] & \mathrm{HP}(R; \mathbb{Q}_p) \end{tikzcd} \] if \(R\) is commutative and Henselian along \((p)\). The authors include a second proof of the main result which makes no mention of algebraic K-theory, and which rests on the study of quasi-isogenies in the category of cyclotomic spectra. To this end, they show that a quasi-isogeny of connective ring spectra which induces a surjection with nilpotent kernel on \(\pi_0\) gives rise to a quasi-isogeny on \(p\)-complete THH. The remainder of the article deals with applications of the Beilinson fibre square. The first application concerns the \(p\)-adic deformation problem. Let \(K\) be a complete discretely valued field of mixed characteristic \((0,p)\) with perfect residue field \(k\), and let \(X\) be a proper smooth scheme over its ring of integers with special fibre \(X_k\). Then the existence of a lift of a \(K_0\)-class of \(X_k\) to the continuous K-theory of \(X\)) can be characterised completely in terms of the crystalline Chern character and the Hodge filtration on the de Rham-cohomology of \(X_K\). There is also a version for higher K-theory classes of a quasi-compact, quasi-separated scheme with bounded \(p\)-power torsion using the derived Hodge filtration. The second application lies in a description of the associated graded pieces \(\mathbb{Z}(i)\) of the motivic filtration on \(\mathrm{TC}(R;\mathbb{Z}_p)\) for a quasisyntomic ring \(R\) in terms of the Frobenius on the \(p\)-adic derived de Rham cohomology of \(R\). Moreover, the authors provide connectivity estimates for the \(\mathbb{Z}(i)\). In the final section, the authors recover the computation of \(\mathrm{K}(F;\mathbb{Q}_p)\) for \(F\) a complete discretely valued field of characteristic \(0\) and reprove the fundamental exact sequence of \(p\)-adic Hodge theory. This short summary can only provide an indication of the wealth of results contained in this article, and the reader is referred to the detailed introduction of the paper itself for precise statements and a discussion of related literature.