# Etale $K$ theory coincides with algebraic one in high enough degrees

I have seen the claim that Beilinson Lichtenbaum implies that higher algebraic $$K$$ groups coincides with etale ones integrally in high enough degrees. Is this statement accurate? What conditions are required and how to derive it?

To my knowledge the most general known statement has been proven by Clausen and Mathew in their paper Hyperdescent and étale K-theory as Theorem 1.2. The precise conditions on your commutative ring (or more generally algebraic space) are a bit technical to summarize, but are very general and give explicit bounds. Away from the residue chacteristics one can apply the Voevodsky-Rost norm residue theorem and at the residue characteristics they manage to apply a reduction to topological cyclic homology ($$TC$$). I recommend looking at their paper for a more detailed explanation.
• This is in a sense actually easier on the derived level (in this case in the setting of spectra). There, $p$-completion is localization with respect to $\mathbb{S}/p$ and rationalization with respect to $\mathbb{S} \otimes \mathbb{Q}$. If a map is an equivalence after $p$-completion, its cofiber is $\mathbb{S}/p$-acyclic and hence $p$ acts invertibly. If this is true for all $p$ and the cofiber vanishes after tensoring with $\mathbb{Q}$, it must be zero itself. Aug 24 at 15:54
• Sorry another question. The conditions seem to be some sort of bound on the Galois cohomological dimension of the residue fields. Do you know if one has such a bound only in mod $l$ Galois cohomology (base field is char 0) does that imply that such an isomorphism holds in high degrees for mod-$l$, $K$-theories? Aug 24 at 18:13