Adams operations for bivariant \(K\)-theory and a filtration using projective lines (Q1840667)

Suppose that \(X\) and \(Y\) are defined over some base scheme \(S\) which is the spectrum of either the integers or some field \(k\). Let \(\mathcal{P}(X,Y)\) denote the full subcategory of the category of coherent sheaves on \(X \times_{S} Y\) consisting of those sheaves \(\mathcal{F}\) whose support maps finitely to \(X\) and such that the pushforward of \(\mathcal{F}\) to \(X\) is locally free. This is an exact category, and \(K(X,Y)\) denotes the associated spectrum. The author defines a tower of maps of spectra \[ \dots \rightarrow W^{2}(X) \rightarrow W^{1}(X) \rightarrow W^0(X) \simeq K(X) \] in which \(W^{t}(X)\) is the homotopy colimit of a simplicial hypercube \(K(X \times \Delta^{\bullet},{\mathbb{P}}^{\wedge t})\), where \({\mathbb{P}}^{\wedge t}\) refers to a hypercube of schemes made up of copies of the projective line. The author uses Grayson's general construction of Adams operations for categories with exterior powers to construct Adams operations \[ \Psi^{k}: W^{t}(X) \rightarrow W^{t}(X) \] which are compatible with the transition maps in the tower above. There are two main results: 1)\enskip These operations \(\Psi^{k}\) are compatible with the transition map \[ K(X \times \Delta^{\bullet},{\mathbb{G}}_{m}^{\wedge t}) \rightarrow \Omega^{t}K(X \times \Delta^{\bullet},{\mathbb{P}}_{m}^{\wedge t}) \] from the Grayson filtration. 2) The filtration of \(K_{q}(X)_{\mathbb{Q}}\) which is induced by the \(W^{t}(X)\) is the gamma filtration when \(X\) is a smooth variety over a field \(k\) which admits resolution of singularities. The proof of the second assertion involves showing that certain complexes of rationalized \(K\)-groups in a fixed weight are acyclic, and these complexes can be described as complexes of rationalized higher Chow groups.