A Lefschetz formula in equivariant algebraic \(K\)-theory (Q1210413)

Let \(G\) be a compact Lie group acting on a compact space \(X\). \textit{G. Segal} [Inst. Hautes Étud. Sci., Publ. Math. 34, 113-128 (1968; Zbl 0209.06203)] showed that, if \(P \vartriangleleft R(G)\) is a prime ideal, the localization at \(P\) of \(K^*_ G (X)\) is isomorphic to \(K^*_ G (X^ P)\), where \(X^ P\) is a subspace of fixed points associated to \(P\). In this paper the author generalizes this result to the case in which \(K^*_ G\) is replaced by \(G\)-equivariant algebra \(G_ *\)-theory, \(X\) is replaced by a smooth algebraic space \(X\to S\) over a Noetherian, separated scheme \(S\), and \(G\) is replaced by an algebraic group scheme over \(S\) of diagonalizable type or split reductive. The author explains how, as in the topological case of Segal, one may deduce a Lefschetz- Riemann-Roch formula for the Euler-Poincaré characteristic of equivariant coherent sheaves on \(X\). There are many related, partial results of this type in the literature and the author gives a very extensive description of these related results.