Unstable operations on \(K\)-theory for singular schemes (Q2237353)

\textit{J. Riou} [J. Topol. 3, No. 2, 229--264 (2010; Zbl 1202.19004)] showed that operations on the higher \(K\)-theory of smooth schemes are completely determined by operations in degree zero. More precisely, if we denote by \(K\) a simplicial presheaf representing \(K\)-theory in the unstable motivic homotopy category of smooth schemes (over a fixed base), and if we view \(K_0\) as a presheaf on smooth schemes (over the same base), then there is a canonical bijection between operations \(K^n\to K\) and operations \(K_0^n\to K_0\). In the present paper, the author extends this result in several directions. His main results extend Riou's theorem to (possibly singular) divisorial schemes by establishing natural bijections between the following sets of operations: \begin{itemize} \item operations \(K_0^n \to K_0\), where \(K_0\) is viewed as presheaf on the category of \emph{divisorial} schemes \item operations \(K^n \to K\), where \(K\) is a representing simplicial presheaf in the unstable motivic homotopy category of smooth divisorial schemes \item operations \(K^n \to K\), where \(K\) is viewed as an object in a homotopy category of simplicial presheaves on divisiorial schemes \item operations \(K^n \to K\), where \(K\) is viewed as an object in a homotopy category of simplical presheaves on noetherian schemes \end{itemize} In the last two cases, the homotopy categories are defined with respect to Zariski local model structures. While Riou assumes all schemes to be smooth and separated, the author, as a first step, observes that the arguments remain unaffected if we more generally consider smooth divisorial schemes. A key imput in the further generalizations are his previous results on embedding divisorial schemes into smooth ones [\textit{F. Zanchetta}, J. Algebra 552, 86--106 (2020; Zbl 1441.14005)]. The author moreover extends Riou's theorem to symplectic \(K\)-theory (the variant \(GW^{[2]}\) of hermitian \(K\)-theory in the notation of [\textit{M. Schlichting}, J. Pure Appl. Algebra 221, No. 7, 1729--1844 (2017; Zbl 1360.19008)]). The arguments in this case are very similar.