No label defined (Q4355220)

The authors prove various Riemann-Roch theorems in the context of equivariant \(K_{0}\)-theory, as well as an important special case of a conjecture of \textit{B. Köck} on the continuity of the Lefschetz trace map with respect to the \(\gamma\)-filtration. More precisely, consider the following setting. Let \(G\) be a finite group and let \(S\) be the spectrum of a number field. Let \(f:X\rightarrow Y\) be a proper \(G\)-morphism of regular, Noetherian \(G\)-equivariant \(S\)-schemes. Let \(K_{0}(G,X)\) and \(K_{0}(G,Y)\) be the Grothendieck groups of locally free \(G\)-sheaves on \(X\) and \(Y\). Both rings are endowed with a Grothendieck \(\gamma\)-filtration, which endows each of them with a linear (ring) topology. Furthermore there is a natural push-forward map \(f_{*}:K_{0}(G,X)\rightarrow K_{0}(G,Y)\) induced by \(f\), called the Lefschetz trace map. As a sample of their results, the following statements are proved: If \(X\) and \(Y\) are projective and flat over \(S\), then the Lefschetz trace map is continuous with respect to the just defined linear topologies. Let the hypothesies of the last statement hold and suppose furthermore that \(f\) is projective. Let \(\theta(X/Y)\) be the Bott cannibalistic class of the virtual relative tangent bundle of \(f\) and let \(\psi^{k}\) denote the \(k\)-th Adams operation acting on equivariant \(K_{0}\)-theory. Denote by \(\;\widehat{\cdot} \) the completion with respect to the corresponding linear topology. Then the element \(\theta(X/Y)\) has an inverse in the ring \(\widehat{K_{0}(G,X)[\frac 1n]}\) and the diagram \[ \begin{tikzcd}[column sep=huge] {K}_{0}(G,X) \ar[r,"\theta(X/Y)^{-1}\cdot \psi^{k}"]\ar[d,"f_\ast"'] & \widehat{K_{0}(G,X)[\frac 1n]} \ar[d,"\widehat{f_\ast}"]\\ K_{0}(G,Y) \ar[r,"\psi^k"'] & \widehat{K_{0}(G,Y)[\frac 1n]}\end{tikzcd} \] commutes. The authors also prove a Lefschetz type fixed point theorem as well as a Riemann-Roch theorem for an integral Chern character with values in a certain graded ring associated to the \(\gamma\)-filtration.