Equivariant vector bundles, their derived category and \(K\)-theory on affine schemes (Q503340)

Let \(G\) be an affine group scheme over a noetherian commuative ring \(R\). The article studies some questions related to the action of \(G\) on affine schemes over \(\mathrm{Spec}(R)\). Let \(R\) be a commutative noetherian ring and \(G\) a diagonalizable affine group scheme over \(R\). Let \(L\) be a lattice and \(\sigma \subset L_{\mathbb{Q}}\) a strongly convex, polyhedral, rational cone and \(A = R[\sigma \cap L]\) the monoid algebra. Theorem 1.3. Under some conditions on \(R\) every finitely generated \(G\)-equivariant projective \(A\)-module is equivariantly extended from \(R\). If \(R\) is either a PID or a regular local ring of dimension \(\leq 2\) or a regular ring containing a field, then the previous theorem can be used to show the following special case of the Bass-Quillen conjecture: Theorem 1.4. Let \(R\) be as above and \(G\) a diagonalizable group scheme over \(R\) acting linearly on \(R[x_1,\ldots,x_n,y_1,\ldots,y_r]\). Then: 1) If \(A = R[x_1,\ldots,x_n]\), then every finitely generated equivariant projective \(A\)-module is equivariantly extended from \(R\). 2) If \(R\) is a PID and \(A = R[x_1,\ldots,x_n,y_1^{\pm1},\ldots,y_r^{\pm1}]\), then every finitely generated equivariant projective \(A\)-module is equivariantly extended from \(R\). In the second part of the article the authors show that an equivalence of equivariant derived categories implies an isomorphism of equivariant \(K\)-theories under the following assumptions. Let \(R\) be commutative noetherian and \(G\) an affine group scheme over \(R\). Assume that \(G\) is either diagonalizable or \(R\) contains a field of characteristic 0 and \(G\) is a split reductive group scheme over \(R\). For a finitely generated \(R\)-algebra \(A\) let \(D^G(A)\) denote the derived category of \(G\)-equivariant \(A\)-modules. Let \(K^G(A)\) and \(K'_G(A)\) denote the \(K\)-theory spectra of \(G\)-equivariant (finitely generated) projective \(A\)-modules and \(G\)-equivariant \(A\)-modules respectively. Theorem 1.5. For \(R_i, \;G_i, \;A_i\) as above, an equivalence \(D^{G_1}(A_1) \simeq D^{G_2}(A_2)\) of triangulated categories implies that there are homotopy equivalences of spectra \(K^{G_1}(A_1) \simeq K^{G_2}(A_2)\) and \(K'_{G_1}(A_1) \simeq K'_{G_2}(A_2)\).