On a spectral sequence for equivariant \(K\)-theory (Q2481134)

Let \(G\) be a finite group acting on a scheme \(X\) of finite type over a field. The \(K\)-theory spectrum of the exact category of coherent \(G\)-sheaves on \(X\) as defined by Quillen is denoted \({\mathcal G}(G,X)\), having homotopy groups \(G_\ast(G,X)\). (Just to clarify the notation: if \(G\) was called \(H\), one would write \({\mathcal G}(H,X)\) instead.) In the article under review, a spectral sequence \[ E_1^{p,q} = \text{CH}_{-p}(G,X,-p-q) \rightarrow G_{-p-q}(G,X) \] is constructed. If \(G\) is the trivial group, this spectral sequence coincides with the Atiyah-Hirzebruch type spectral sequence relating algebraic \(K\)-theory to motivic cohomology, as described by \textit{S. Bloch} and \textit{S. Lichtenbaum} [``A spectral sequence for motivic cohomology'', Preprint (1995)] and by \textit{E. M. Friedlander} and \textit{A. Suslin} [Ann. Sci. Éc. Norm. Supér. (4) 35, No. 6, 773--875 (2002; Zbl 1047.14011)]. The construction proceeds by applying the first author's homotopy coniveau machine, as developed by \textit{M. Levine} [J. Topol. 1, No. 1, 217--267 (2008; Zbl 1154.14005) and J. Algebr. Geom. 10, No. 2, 299--363 (2001; Zbl 1077.14509)], to the spectra \({\mathcal G}(G,X)\). The equivariant higher Chow groups in the \(E^1\)-term of the spectral sequence appear as homotopy groups of layers in the resulting homotopy coniveau tower. Equivariant higher Chow groups \(\text{CH}^\ast_{Bo}(G,X)\) have already been defined by \textit{D. Edidin} and \textit{W. Graham} [Invent. Math. 131, No. 3, 595--644; appendix 635--644 (1998; Zbl 0940.14003)], based on \textit{B. Totaro} [Proc. Symp. Pure Math. 67, 249--281 (1999; Zbl 0967.14005)] via an algebraic Borel construction. The authors illustrate the difference between these two theories with an interesting example. Suppose that the cyclic group \(C_n\) with \(n\) elements acts on \(\mathbb{A}^1_k\) by multiplication with a primitive \(n\)-th root of unity contained in the field \(k\). Then \(\text{CH}_0(C_n,\mathbb{A}^1_k,0)=\mathbb{Z}^{n-1}\) which is different from \(\text{CH}^1_{Bo}(C_n,\mathbb{A}_k^1,0)=\mathbb{Z}/n\). In particular, since \(\text{CH}_0(C_n,k,0)=0\) for dimensional reasons, the equivariant higher Chow groups introduced in the article under review are not homotopy invariant in a naive sense.