Algebraic cycles and completions of equivariant \(K\)-theory (Q943565)

Let \(G\) be a complex algebraic group and let \(R(G)\) be the representation ring. If \(X\) is any separated algebraic space on which \(G\) acts, the equivariant Riemann-Roch problem is to relate the equivariant Grothendieck group \(G_0(G, X)\) of \(G\)-equivariant coherent sheaves and the \(G\)-equivariant Chow group \(CH^*_G(X)\). In contrast with the ``classical'' Riemann-Roch Theorem which states that there is a a natural isomorphism between \(G_0(X)\) and \(CH^*(X)\), in the equivariant case the elements of \(G_0(G,X)\) cannot have in general a unique representation by equivariant algebraic cycles. In the equivariant contest the main theorem is an equivariant R-R isomorphism between the completion of \(G_0(G, X)\) at the ideal \(R(G)\) of virtual representations of rank \(0\) and the infinite product of equivariant Chow groups \(\prod_{i\in (0,\infty)}CH^i_G(X)\). In this article the authors prove the following ``twisted equivariant R-R theorem'' for completions of \(G_0(G, X)\) at maximal idels in \(R(G)\). These ideals correspond bijectively to semisimple conjugacy classes in \(G\): the correspondence takes a semisimple conjugacy class \(\Psi\) to \({\mathfrak m}_\Psi\), the maximal ideal of virtual representations whose characters vanish at \(\Psi\). Let \(G_0(G, X)\) denote the \({\mathfrak m}_\Psi\)-completion of \(G_0(G, X)\). If \(h\) is an element of \(\Psi\) with centralizer \(Z\) then the elements of the \({\mathfrak m}_\Psi\)-adic completion of \(G_0(G, X)\) can be represented by \(Z\)-equivariant cycles on the fixed subspace \(X^h\). Theorem. For all separated \(G\)-spaces \(X\) there is an isomorphism \[ \tau^\Psi_X:\widehat G_0(G, X)\to \prod_{i\in (0,\infty)} CH^i_Z(X^h) \] such that (i) \(\tau^\Psi\) is covariant for proper morphisms; (ii) if \(\varepsilon\in K_0(G, X)\) then \[ \tau^\Psi(\varepsilon\alpha)= ch^Z(t_h (i^!\varepsilon))\cap \tau^\Psi_X(\alpha), \] where \(t_h: K_0(G, X)\to K_0(G, X)\) is automorphism of equivariant Grothendieck rings associated to \({\mathcal F}\to{\mathcal F}(h)\) for \(Z\)-equivariant coherent sheaves; (iii) if \(X\) is smooth then \(ch^Z(t_h(N^*_i))\) is invertible in the infinite product \[ \prod_{i\in (0,\infty)} CH^i_Z(X^h). \] If in addition \(X^h\) is a scheme and either \(Z\) is connected or \(X^h\) has an \(Z\)-equivariant ample line bundle, then there is an explicit formula for \(\tau^\Psi_X(\alpha)\) in terms of Chern characters and Todd classes: \[ \tau^\Psi_X(\alpha)= ch^Z(t_h(i^!\alpha) ch^Z(t_h(\lambda_{-1} N^*_i)))^{-1} Td^Z(X^h). \] (iv) The map \(\tau^\Psi_X\) is uniquely determined for \(G\)-schemes by properties (i) and (iii).