Equivariant vector bundles, their derived category and K-theory on affine schemes
Equivariant vector bundles, their derived category and \(K\)-theory on affine schemes
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)\).
- A Grothendieck-Lefschetz theorem for equivariant Picard groups
- The K-theory of vector bundles with endomorphisms over a scheme
- Toric vector bundles: GAGA and Hodge theory
- \(K\)-theory of affine actions
- The equivariant K-theory of schemes
- Grothendieck group of an equivariant derived category
- An algebraic analog of the Borel construction and its properties
- A category of kernels for equivariant factorizations and its implications for Hodge theory
- Equivariant sheaves on loop spaces
This page was built for publication: Equivariant vector bundles, their derived category and \(K\)-theory on affine schemes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q503340)
