Topological \(K\)-theory of algebraic \(K\)-theory spectra (Q1840671)

Let \(X\) be a separated, Noetherian regular scheme of finite Krull dimension. Let \(\ell\) be a prime (usually odd). A field \(F\) is \(\ell\)-good if \(\text{char}(F) \neq\ell\) and \(F\) has finite transcendence degree over a subfield \(E\) for which the étale \(\ell\)-cohomological dimension, cd\(_{\ell}^{\text{ét}} (E(\mu_{\ell^{\infty}})) \) is at most one. Then \(X\) is \(\ell\)-admissible if all its residue fields are \(\ell\)-good and there exists an integer \(n\) such that each residue field \(F\) and associated subfield \(E\) satisfy \(\text{trans. deg.}(F/E) \leq n\). Let \(\widehat{\mathcal K}\) denote the Bousfield \(\ell\)-adic completion of topological \(K\)-theory. Then, for \(X\) as above, the authors constructs a right half-plane homology spectral sequence converging from suitable étale cohomology groups of \(X\) to \(\widehat{\mathcal K}(KX)\), where \(KX\) is the algebraic \(K\)-theory spectrum of \(X\). The spectral sequence is natural with respect to the action by topological K-theory operations. The proof relies on the main theorem of \textit{R. W. Thomason} [Ann. Sci. Éc. Norm. Supér., IV. Sér. 18, 437-552 (1985; Zbl 0596.14012)] which describes the \(\widehat{\mathcal K}\)-completion of \(KX\) as the hypercohomology spectrum \({\mathbf H}(X;f \underline{K})\).