Virtual equivariant Grothendieck-Riemann-Roch formula (Q2074011)

The paper under review concerns commutativity between two operations in intersection theory, namely Riemann-Roch transformation and virtual pullback. For a morphism \(f\colon X \to Y\) between nice schemes over a base field \(k\) and with a perfect obstruction theory \(\phi\colon E \to L_f\), we know that \[ \tau_X(f^! \alpha) = \operatorname{Td}(E^\vee) \cdot f^!\tau_Y(\alpha). \] Here \(\tau\) denotes Riemann-Roch transformation, \(f^!\) virtual pullbacks associated to \(\phi\) (in \(G_0\) and Chow groups \(\mathrm{CH}_*\)), and \(\alpha \in G_0(Y)\). For example, the case \(Y=\operatorname{Spec} k\) gives the formula \[ \tau_X(\mathcal{O}_X^{\text{vir}}) =\operatorname{Td}(T_X^{\text{vir}}) \cdot [X]^{\text{vir}}. \] The relationship between \(\tau\) and \(f^!\) is generalized in this paper to quotient stacks. Riemann-Roch type results of Edidin-Gram and Krishna-Sreedhar for stacks are essential to the formulation and the proof of the results in this paper. In particular, for a separated quotient stack \(\mathcal{X}\) (which is then Deligne-Mumford), we should consider the isomorphism \[ I\tau_{\mathcal{X}}\colon G_0(\mathcal{X}) \to \mathrm{CH}_*(I\mathcal{X}). \] in place of \(\tau_{\mathcal{X}}\).