Algebraic cycles and completions of equivariant K-theory

DOI10.1215/00127094-2008-042MaRDI QIDQ943565zbMATH OpenOpenAlexFDO

Publication date 9 September 2008

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0702671

Riemann-Roch theorems (14C40) Group actions on varieties or schemes (quotients) (14L30) Algebraic (K)-theory of spaces (19D10)

Abstract: Let

G

be a complex, linear algebraic group acting on an algebraic space

X

. The purpose of this paper is to prove a Riemann-Roch theorem (Theorem 5.3) which gives a description of the completion of the equivariant Grothendieck group

G_{0} (G, X)

at any maximal ideal of the representation ring

R (G) o t i m e s C

in terms of equivariant cycles. The main new technique for proving this theorem is our non-abelian completion theorem (Theorem 4.3) for equivariant

K

-theory. Theorem 4.3 generalizes the classical localization theorems for diagonalizable group actions to arbitrary groups.

Review text

Let \(G\) be a complex algebraic group and let \(R(G)\) be the representation ring. If \(X\) is any separated algebraic space on which \(G\) acts, the equivariant Riemann-Roch problem is to relate the equivariant Grothendieck group \(G_0(G, X)\) of \(G\)-equivariant coherent sheaves and the \(G\)-equivariant Chow group \(CH^*_G(X)\). In contrast with the ``classical Riemann-Roch Theorem which states that there is a a natural isomorphism between \(G_0(X)\) and \(CH^*(X)\), in the equivariant case the elements of \(G_0(G,X)\) cannot have in general a unique representation by equivariant algebraic cycles. In the equivariant contest the main theorem is an equivariant R-R isomorphism between the completion of \(G_0(G, X)\) at the ideal \(R(G)\) of virtual representations of rank \(0\) and the infinite product of equivariant Chow groups \(\prod_{i\in (0,\infty)}CH^i_G(X)\). In this article the authors prove the following ``twisted equivariant R-R theorem for completions of \(G_0(G, X)\) at maximal idels in \(R(G)\). These ideals correspond bijectively to semisimple conjugacy classes in \(G\): the correspondence takes a semisimple conjugacy class \(\Psi\) to \({\mathfrak m}_\Psi\), the maximal ideal of virtual representations whose characters vanish at \(\Psi\). Let \(G_0(G, X)\) denote the \({\mathfrak m}_\Psi\)-completion of \(G_0(G, X)\). If \(h\) is an element of \(\Psi\) with centralizer \(Z\) then the elements of the \({\mathfrak m}_\Psi\)-adic completion of \(G_0(G, X)\) can be represented by \(Z\)-equivariant cycles on the fixed subspace \(X^h\). Theorem. For all separated \(G\)-spaces \(X\) there is an isomorphism \[ \tau^\Psi_X:\widehat G_0(G, X)\to \prod_{i\in (0,\infty)} CH^i_Z(X^h) \] such that (i) \(\tau^\Psi\) is covariant for proper morphisms; (ii) if \(\varepsilon\in K_0(G, X)\) then \[ \tau^\Psi(\varepsilon\alpha)= ch^Z(t_h (i^!\varepsilon))\cap \tau^\Psi_X(\alpha), \] where \(t_h: K_0(G, X)\to K_0(G, X)\) is automorphism of equivariant Grothendieck rings associated to \({\mathcal F}\to{\mathcal F}(h)\) for \(Z\)-equivariant coherent sheaves; (iii) if \(X\) is smooth then \(ch^Z(t_h(N^*_i))\) is invertible in the infinite product \[ \prod_{i\in (0,\infty)} CH^i_Z(X^h). \] If in addition \(X^h\) is a scheme and either \(Z\) is connected or \(X^h\) has an \(Z\)-equivariant ample line bundle, then there is an explicit formula for \(\tau^\Psi_X(\alpha)\) in terms of Chern characters and Todd classes: \[ \tau^\Psi_X(\alpha)= ch^Z(t_h(i^!\alpha) ch^Z(t_h(\lambda_{-1} N^*_i)))^{-1} Td^Z(X^h). \] (iv) The map \(\tau^\Psi_X\) is uniquely determined for \(G\)-schemes by properties (i) and (iii).

Recommendations

Cites work

Cited in

(16)

This page was built for publication: Algebraic cycles and completions of equivariant \(K\)-theory

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