  The Quillen-Lichtenbaum conjecture for smooth complex varieties states that
algebraic and topological K-theory with finite coefficients become isomorphic
in high degrees. We define that "Quillen-Lichtenbaum dimension" of a variety in
terms of the point where this happens, show that it is surprisingly computable,
and analyze many examples. We show that it gives an obstruction to rationality,
but one that is weaker than unramified cohomology and some related birational
invariants defined by Colliot-Th\'el\`ene and Voisin using Bloch-Ogus theory.
We use homological projective duality to prove some new cases of the integral
Hodge conjecture. We compute the higher algebraic K-theory of the Kuznetsov
components of the derived categories of some Fano varieties.
