Thomason’s theorem for varieties over algebraically closed fields (Q4813779)

The paper contains a new proof of a celebrated theorem of \textit{R. W. Thomason} [``Algebraic \(K\)-theory and étale cohomology'', Ann. Sci. Éc. Norm. Supér., IV. Sér. 18, 437--552 (1985; Zbl 0596.14012)] which relates algebraic \(K\)-theory with étale cohomology. The interest in doing such a revisitation depends essentially on two facts: first Thomason's result can now be related with motivic cohomology and the existence of an Atiyah-Hirzebruch spectral sequence converging to algebraic \(K\)-theory, as proved by Levine, Suslin and Voevodsky. Furthermore the author's new proof, though obtained in a less generality than Thomason's original one, is simpler and uses properties of a new theory called ``algebraic \(K\)-homology'' which seems to be interesting by itself. The following is essentially the main result of the paper: Theorem. Let \(X\) be a smooth quasi-projective variety of dimension \(d\), defined over an algebraically closed field \(k\) of characteristic 0. Let \(n\) be an integer and let \(\beta\in K_2(\text{Spec\,}k;\mathbb{Z}/n)\) be the Bott element. Then there exists a convergent spectral sequence (concentrated in degrees \(p, q\) such that \(p\geq q\geq p- 2d\)) \[ E^{p,q}_2= H^{p-q}_{\text{ét}}(X, \mathbb{Z}/n)\Rightarrow K_{-p-q}(X; \mathbb{Z}/n)[1/\beta] \] where \(K_m(X;\mathbb{Z}/n)[1/\beta] = R_m\), \(R\) being the graded ring obtained from \(K_*(X; \mathbb{Z}/n)\) by inverting \(\beta\).