\(K\)-motives of algebraic varieties (Q1935106)

The authors use spectral categories as emphasized in [\textit{S.~Schwede} and \textit{B.~Shipley}, Topology 42, No. 1, 103--153 (2003; Zbl 1013.55005)] to extend the work of \textit{M.~E.~Walker} [``Motivic complexes and the K-theory of automorphisms'' , PhD Thesis. University of Illinois (1997)], \textit{A.~Suslin} [Proceedings of the Steklov Institute of Mathematics-Interperiodica Translation, 241, 218--253 (2003; Zbl 1084.14025)] and \textit{V.~Voevodsky} [Ann. Math. Stud. 143, 188--238 (2000; Zbl 1019.14009)] on the additive presheaf categories on \[ K_0^\oplus(\mathcal{S}\mathrm{m}/F)\to K_0(\mathcal{S}\mathrm{m}/F)\to \mathcal{S}\mathrm{m} Cor/F \] and their relations to motivic cohomology. More precisely, in the present paper the authors replace the categories above by the spectral categories \[ \mathcal{O}_{K_0^\oplus}\to \mathcal{O}_{K_0}\to \mathcal{O}_{Cor} \] and moreover extend focus to the spectral categories \(\mathcal{O}_{K}\) and \(\mathcal{O}_{K^\oplus}\) which involve entire \(K\)-theory spectra as \(\hom\)-spectra. Given such a spectral category \(\mathcal{O}\) over \(\mathcal{S}\mathrm{m}/F\), the Nisnevich local and motivic model structures on the category of \(\mathcal{O}\)-modules are strongly related to the standard models for stable motivic homotopy theory, provided that \(\mathcal{O}\) satisfies the notion of being Nisnevich excisive resp.~motivically excisive. In an intertwined process, the authors prove Nisnevich excision for the spectral categories mentioned above and use this to introduce bivariant motivic cohomology \(H^{p,q}(U,X,\mathbb{Z})\) and bivariant algebraic \(K\)-groups \(K_i(U,X)\) for smooth schemes \(U,X\). Based on this, the authors generalize \textit{D.~R.~Grayson}'s work [\(K\)-Theory 9, No. 2, 139--172 (1995; Zbl 0826.19003)] on a motivic version of the Atiyah-Hirzebruch spectral sequence and construct a strongly convergent \textit{bivariant motivic spectral sequence} \[ H^{p-q,-q}(U,X,\mathbb{Z})\Rightarrow K_{-p-q}(U,X) \] which is then applied to provide motivic excision for categories \(\mathcal{O}_{K}\) and \(\mathcal{O}_{K^\oplus}\). Motivic excision for \(\mathcal{O}_{K}\) and \(\mathcal{O}_{K^\oplus}\) allows to prove that both these categories give rise to equivalent stable motivic homotopy categories on their \(\mathcal{O}\)-modules and the image of smooth scheme \(X\) in \(SH^{mot}\mathcal{O}_K\) is called the \(K\)-motive of \(X\). As a final result, it is shown that the bivariant motivic spectral sequence has a natural representation in the category of \(K\)-motives.