Riemann-Roch for equivariant \(K\)-theory (Q2251885)

Let \(k\) be a field, \(G\) a linear algebraic group over \(k\) and \(\widehat{R(G)}\) the completion of the ring \(R(G)=K_{0}^{G}(k)\) with respect to the augmentation ideal \(I_{G}\). Let further \( S(G)\) be the equivariant Chow ring \(\mathrm{CH}^{*}_{G}(k,0).\) Denote by \(J_{G}\) the irrelevant ideal \(\bigoplus_{j\geq 1} \mathrm{CH}^{j}_{G}(k,0)\) and by \(\widehat{S(G)}\) the \(J_{G}\)-adic completion of \(S(G).\) For a \(G\)-scheme \(X\), let \(\widehat{G_{i}(X)}\) and \(\widehat{K_{i}(X)}\) be the \(I_{G}\)-adic completions of the corresponding \(G\)-equivariant groups. The author proves that for a smooth quasi-projective scheme \(X\), \(i\geq 0\) and for rational coefficients (i.e. for groups with coefficients in \({\mathbb Q}\)) there exist Chern character maps: \[ \widetilde{\mathrm{ch}_{X}^{G}}: K_{i}^{G}(X){\otimes}_{R(G)} \widehat{R(G)} \rightarrow \mathrm{CH}_{G}^{*}(X,i){\otimes}_{S(G)} \widehat{S(G)}, \] \[ \widehat{\mathrm{ch}_{X}^{G}}: \widehat{K_{i}^{G}(X)}\rightarrow \widehat{\mathrm{CH}_{G}^{*}(X,i)}. \] These maps are isomorphisms, commute with products and commute with pullbacks on \(K\)-groups and higher Chow groups. As a consequence the author obtains a Riemann-Roch isomorphism: \[ \widehat{{\tau}_{X}^{G}}: \widehat{K_{i}^{G}(X) }\rightarrow\widehat{\mathrm{CH}_{G}^{*}(X,i)} \] This generalizes the result of \textit{D. Edidin} and \textit{W. Graham} [Duke Math. J. 102, No. 3, 567--594 (2000; Zbl 0997.14002)].