scientific article; zbMATH DE number 1062775
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.
- Lefschetz-Riemann-Roch theorem and coherent trace formula
- Riemann-Roch for equivariant Chow groups
- Equivariant Euler characteristics and sheaf resolvents
- The Grothendieck-Riemann-Roch theorem for group scheme actions
- scientific article; zbMATH DE number 2156383 (Why is no real title available?)
- An arithmetic Lefschetz-Riemann-Roch theorem. With an appendix by Xiaonan Ma.
- Uniqueness of equivariant singular Bott-Chern classes
- Cubic structures, equivariant Euler characteristics and lattices of modular forms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4355220)
