The Grothendieck-Riemann-Roch theorem for group scheme actions

DOI10.1016/S0012-9593(98)80140-7MaRDI QIDQ4400262zbMATH OpenFDO

Publication date 8 October 1998

Published in Annales Scientifiques de l?tcole Normale Sup�rieure (Search for Journal in Brave)

Full work available at URL http://www.numdam.org/item?id=ASENS_1998_4_31_3_415_0, https://eudml.org/doc/82465, https://eprints.soton.ac.uk/29779/1/Grothall.pdf

zbMATH Keywords

equivariant Adam-Riemann-Roch formula equivariant geometry equivariant Grothendieck-Riemann-Roch formula group scheme actions Todd class

Mathematics Subject Classification ID

Applications of methods of algebraic (K)-theory in algebraic geometry (14C35) Riemann-Roch theorems (14C40) Group actions on varieties or schemes (quotients) (14L30) Relations of (K)-theory with cohomology theories (19E20)

Review text

This is a revised version of a previous paper by the author [\textit{B. Köck}, ``The Grothendieck-Riemann-Roch theorem in the higher \(K\)-theory of group scheme actions, Habilitationsschrift (Karlsruhe 1995)]. Let \(K_{q}(G,X)\) denote the \(q\)th equivariant \(K\)-group of the \(G\)-scheme \(X\), where \(G\) is a flat group scheme. Let \(K(G,X)\) be the direct sum of all these \(K_{q}(G,X)\)'s. The objective is to compute the Euler characteristic, i.e. the push-forward homomorphism \(f_{\ast }:K(G,Y)\rightarrow K(G,X),\) where \(X\) and \(Y\) are \(G\)-schemes and \(f:Y\rightarrow X\) is a \(G\)-projective local complete intersection morphism. The first theorem is the equivariant Adams-Riemann-Roch formula proved here. The first states that \(\psi ^{j}f_{\ast }(y)=f_{\ast }(\theta ^{j}(f)^{-1}\psi ^{j}(y))\) in \(\widehat{K}(G,X)[ j^{-1}]\), where \(y\in K(G,Y), j\geq 1,\) and \(\theta ^{j}(f)\) is the \(j\)th equivariant Bott element associated with \(f\). The second theorem, the equivariant Grothendieck-Riemann-Roch formula, examines the behavior of a certain Chern character ch, and it is shown that ch\((f_{\ast }(y))=\)Gr\((f_{\ast })_{\mathbb Q}\)(Td\((f)\cdot \)ch\((y))\), where Td\((f)\) is the Todd class of \(f.\) This theorem, the equivariant version of a theorem proved for \(K_{0}\)-groups by Grothendieck and by Soulé for higher \(K\)-groups, depends on a pair of conjectures being true, one concerning the \(\lambda \)-structure on higher \(K\)-theory and the other concerning Grothendieck groups. Finally, applications are given. As a corollary to the equivariant Adams-Riemann-Roch formula, it is shown that for \(A\) a commutative ring and \(H\) a subgroup of the finite group \(G\) the induced representation \(A\left[ G/H\right] \) is invariant under the Adams operations \(\psi ^{j}\) when viewed as an element of \(\widehat{K}_{0}(G,A)\left[ j^{-1}\right] .\)

Recommendations

Cites work

Cited in

(23)

This page was built for publication: The Grothendieck-Riemann-Roch theorem for group scheme actions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4400262)