Nonabelian localization in equivariant \(K\)-theory and Riemann --- Roch for quotients (Q2577007): Difference between revisions

\textit{R. W. Thomason} [Duke Math. J. 68, 447--462 (1992; Zbl 0813.19002)] established a localization theorem for equivariant algebraic \(K\)-theory with respect to algebraic groups, \(G\), of diagonalizable type. If \(X\) is a \(G\)-space, \(h \in G\) and \(X^h\) the fixed point locus of \(h\) in \(X\) then one version of this theorem asserts that the inclusion \(i : X^h \hookrightarrow X\) induces an isomorphism between a certain localization of \(G(G, X)\) (the equivariant \(K\)-groups of the category of \(G\)-equivariant coherent sheaves over \(X\), tensored with \({\mathbb C}\)) and the localization of \(G(G,X^h)\). For groups not of diagonalizable type, \textit{G. Vezzosi} and \textit{A. Vistoli} [Duke Math. J. 113, 1--55 (2002; Zbl 1012.19002)] have shown that if \(G\) acts on \(X\) with finite stabilizers, and \(Z=Z_G(h)\) then there is a similar isomorphism between localizations of \(G(Z, X^h)\) and of \(G(G, X)\). The authors of the paper under review make the additional assumption that the projection from the global stabilizer to \(X\) is a finite morphism and show that there is a natural push forward \(i_!: G(Z, X^h) \to G(G, X)\) such that when \(X\) is smooth they can give an explicit formula for an inverse of \(i_!\). As an application they give formulas for the Todd classes of sheaves of invariant sections of quotients of smooth algebraic spaces.