Equivariant algebraic \(K\)-theory, \(G\)-theory and derived completions (Q6135857)

Let \(G\) be an algebraic group acting on the scheme \(X\), and let \(K(X, G)\) denote the \(K\)-theory spectrum associated to the symmetric monoidal category of \(G\)-equivariant vector bundles on \(X\). Let \(EG \to BG\) denote a principal \(G\)-bundle with \(BG\) the classifying space for \(G\) as described in \S2.1 of the paper under review (which is adapted to arguments in a motivic context). The pull-back along the projection \(p_2 \colon EG \times X \to X\) induces a map of spectra \(p^*_2 \colon K(X, G) \to K(EG \times X, G) \simeq K(EG \times_G X)\), where \(EG \times_G X\) is the Borel construction. It is shown in the paper that map \(p^*_2\) becomes a weak-equivalence after completion, provided one uses \(G\)-equivariant coherent sheaves in place of \(G\)-equivariant vector bundles. It is worth emphasising that the ''completion'' referred to above is a spectrum-level construction (as opposed to completion on homotopy groups), and refers specifically to the theory of ``derived completions'' as developed by the first author [J. Pure Appl. Algebra 212, No. 3, 550--577 (2008; Zbl 1146.55006)]. As the authors state in the introduction, the approach taken in the paper ``is broad enough to allow actions by all linear algebraic groups, irrespective of whether they are connected or not, and acting on any quasi-projective scheme of finite type over a field, irrespective of whether they are regular or projective. This allows us therefore to consider the equivariant algebraic \(G\)-Theory of large classes of varieties like all toric varieties (for the action of a torus) and all spherical varieties (for the action of a reductive group). Restricting to actions by split tori, we are also able to consider actions on algebraic spaces.''