Notes on equivariant higher Chow groups

TL;DR

This paper establishes a comparison between equivariant and ordinary higher Chow groups for varieties with finite group actions, demonstrating the degeneration of the equivariant motivic spectral sequence and deriving a Riemann-Roch theorem for equivariant algebraic K-theory.

Contribution

It introduces a comparison theorem linking equivariant and ordinary higher Chow groups and proves the rational degeneration of the equivariant motivic spectral sequence.

Findings

Comparison theorem between equivariant and ordinary higher Chow groups

Rational degeneration of the equivariant motivic spectral sequence

Riemann-Roch theorem for equivariant algebraic K-theory

Abstract

In this short note, we prove a comparision theorem between Levine-Serp\'e's equivariant higher Chow groups of an algebraic variety equipped with an action of a finite group and ordinary higher Chow groups of its fixed points. As a consequence, we show that the equivariant motivic spectral sequence degenerates rationally. This yields a Riemann-Roch Theorem for equivariant algebraic $K$-theory.

Equations

$$E_1^{p,q}=C{H}_{-p}(G,X,-p-q)\Rightarrow G_{-p-q}(G,X)$$

$$\pi (X):\prod _{\sigma \in \Gamma }(C{H}_p(X^{\sigma },r)\otimes \tilde{R}\sigma {)}^{N_G(\sigma )}\stackrel{\sim }{\to }C{H}_p(G,X,r)\otimes \mathbb{Z}[1/n]$$

$$(\prod _{g\in G}C{H}_p(X^g,r)\otimes \mathbb{Z}[1/n]{)}^G.$$

$$\underset{p,q}{⨁}C{H}_p(G,X,q)\otimes \mathbb{Q}\cong \underset{q}{⨁}{K}_q(G,X)\otimes \mathbb{Q}.$$

$$\Delta^{r}:={\rm Spec}\big{(}k[t_{0},\ldots,t_{r}]/(\sum t_{i}=1)\big{)}$$

$$S_{(p)}^{G,X}(r):=\left\{W\subset X\times\Delta^{r}\middle|\begin{array}[]{c l}W\mbox{ is a closed }G-\mbox{stable subset}\\ \mbox{and }\mbox{dim}_{X\times F}(W\cap X\times F)\leq p+\mbox{dim}F\\ \mbox{for all faces }F\subset\Delta^{r}\end{array}\right\}.$$

$$X_{(p)}^G(r):=\{[x]\in (X\times {\Delta }^r{)}_{(p+r)}/G|\overline{G.x}\in S_{(p)}^{G,X}(r)\}$$

$$z_p(G,X,r):=\underset{[x]\in X_{(p)}^G(r)}{⨁}{K}_0(G_x,\mathrm{Spec}(k(x))),$$

$$C{H}_p(G,X,r):=H_r(z_p(G,X,\ast )).$$

$$K_0(X)\otimes K_0(G,\mathrm{Spec}(k))\cong K_0(G,X)$$

$$z_p(X,r)\otimes RG\cong z_p(G,X,r)\otimes \Lambda .$$

$$C{H}_p(X,r)\otimes RG\cong C{H}_p(G,X,r)\otimes \Lambda .$$

$$z_p(G,X,r)\cong z_p(X/G,r),$$

$$C{H}_p(G,X,r)\cong C{H}_p(X/G,r).$$

$$f_{\ast }(r):z_p(G,Y,r)\to z_p(G,X,r)$$

$$[\alpha \in K_0(G_z,\mathrm{Spec}(k(Z)))]\mapsto [(f\times \mathrm{id}{)}_{\ast }(\alpha )\in K_0(G_{(f\times \mathrm{id})(z)},\mathrm{Spec}(k((f\times \mathrm{id})(Z))))]$$

$$f_{\ast }(-):z_p(G,Y,-)\to z_p(G,X,-)$$

$$f_{\ast }:C{H}_p(G,Y,r)\to C{H}_p(G,X,r).$$

$$f^{\ast }(r):z_p(G,X,r)\to z_{p+d}(G,Y,r)$$

$$[\alpha \in K_0(G_z,\mathrm{Spec}(k(Z)))]\to [(f\times \mathrm{id}{)}^{\ast }(\alpha )\in \underset{[y]\in Y_{(p+d)}^G(r),(f\times \mathrm{id})(y)\in G.x}{⨁}{K}_0(G_y,\mathrm{Spec}(k(y))].$$

$$f^{\ast }(-):z_p(G,X,-)\to z_{p+d}(G,Y,-)$$

$$f^{\ast }:C{H}_p(G,X,r)\to C{H}_p(G,Y,r).$$

$$W$$

$${\varphi }_x^{\ast }:K_0(G_x,\mathrm{Spec}k(x))\to K_0(H_x,\mathrm{Spec})$$

$${\varphi }^{\ast }:z_p(G,X,r)\to z_p(H,X,r)$$

$${\varphi }^{\ast }:C{H}_p(G,X,r)\to C{H}_p(H,X,r).$$

$${\mathrm{Ind}}_H^G:K_0(H,X)\to K_0(G,X)$$

$${\pi }_{\ast }:K_0(G,(X\times G)/H)\to K_0(G,X)$$

$$K_0(G,(X\times G)/H)\cong K_0(H,X)$$

$$h(x,g)=(hx,g{h}^{-1}).$$

Full text

1. Introduction

Let $k$ be a field and $G$ a finite group of order coprime to the exponential characteristic of $k$. Levine-Serpé have defined in [11] equivariant higher Chow groups $CH_{p}(G,X,r)$ for any separated noetherian scheme $X$ which is essentially of finite type over $k$ equipped with an action of $G$ (see Definition 2.1 below). They are a generalization of Bloch’s higher Chow groups in the equivariant setting. Equivariant higher Chow groups can be considered as a motivic Borel-Moore homology theory on the category of $G$-schemes over $k$. Moreover, these groups have a close relation with the higher $K$-theory of $G$-equivariant coherent sheaves on $X$ (cf. [12]) by a spectral sequence

[TABLE]

([11, Corollary 3.8]). In the case of the trivial group, this reduces to the motivic spectral sequence constructed by Bloch-Lichtenbaum [3], Friedlander-Suslin [5] and Levine [8].

The groups $CH_{p}(G,X,r)$ are interesting objects which contain information about $X$ as well as the action of $G$ on $X$. They are, of course, very hard to compute in general.

In this note, we establish the following reconstruction theorem for equivariant higher Chow groups.

Theorem* (Theorem 3.3).*

Let $n$ be the order of $G$ and assume that $k$ contains $n$-th roots of unity. For any $G$-scheme $X$ over $k$, there is a natural isomorphim of $\mathbb{Z}[1/n]$-modules

[TABLE]

where $\Gamma$ is a set of representatives for the conjugacy classes of cyclic subgroups of $G$, $X^{\sigma}$ is the fixed point subscheme of $X$ under the action of $\sigma$, $\tilde{R}\sigma$ is the $m$-th cyclotomic subring of the representation ring $R\sigma$ tensored with $\mathbb{Z}[1/n]$ where $m$ is the order of $\sigma$ and $N_{G}(\sigma)$ is the normalizer of $\sigma$ in $G$.

The left-hand side of (1.2) can be easily expressed in the form of

[TABLE]

For $X$ smooth, $r=0$ with rational coefficients, $(\prod_{g\in G}CH_{*}(X^{g},0)\otimes\mathbb{Q})^{G}$ is exactly the (small) orbifold Chow ring $CH_{*}^{orb}([X/G])$ of the global quotient $[X/G]$ studied by Abramovich–Graber–Vistoli [1] and Jarvis-Kaufmann-Kimura [7] which is an algebraic version of Chen–Ruan cohomology.

Theorem 3.3 is an analog of Vistoli’s theorem for equivariant algebraic $K$-theory [13, Theorem 1 and 2] and Segal’s theorem for equivariant topological $K$-theory [6]. Using this result we show that the spectral sequence (1.1) degenerates with rational coefficients for $X$ smooth which yields a Riemann-Roch theorem for equivariant algebraic $K$-theory.

Theorem* (Theorem 4.4).*

If $X$ is a smooth $G$-scheme over $k$, there is a natural isomorphism of $\mathbb{Q}$-vector spaces

[TABLE]

Moreover, Theorem 3.3 provides two multiplicative structures on rational equivariant higher Chow groups. Hence we obtain complete answers to questions proposed in [11, Introduction].

This paper is organized as follows. In Section 2, we will briefly review Levine-Serpé’s construction of equivariant higher Chow groups and discuss various functorial properties. Most of the things can be found in [11] except the construction and functorialities of the induction map that is new. In Section 3, we establish the comparision morphism from higher Chow groups of fixed point subschemes to equivariant higher Chow groups. This is modelled by Vistoli’s construction for the $K$ groups [13, Section 3]. Using localization property for (equivariant) higher Chow groups, we will show that the comparision morphism is an isomorphism. In Section 4, we will lift Vistoli’s construction to the $K$-theory spectra. This allows us to compare the equivariant motivic spectral sequence with the ordinary one. From there, some applications will be derived, including a Riemann-Roch theorem for equivariant algebraic $K$-theory and multiplicative structures on equivariant higher Chow groups with rational coefficients. We will also see how to understand Levine-Serpé’s equivariant higher Chow groups from orbifold theories.

This paper was written during my visit at the Mittag-Leffler Institute inside the Research program on Algebro-Geometric and Homotopical Methods. I would like to thank the Institute and organizers, especially Paul Arne Østvær, for providing a stimulating, supportive environment and financial support. Discussions with Alexey Ananyevskiy, Federico Binda, Marc Levine and Mathias Wendt were very helpful. A brief visit to the Hausdorff Research Institute for Mathematics enabled me to profit from discussions with Lie Fu.

Notation and conventions

Throughout this paper, $k$ is a fixed base field and $G$ is a finite group whose order is coprime to the exponential characteristic of $k$.

We write $\mathbf{Sch}^{G}_{k}$ for the category whose objects are seperated schemes essentially of finite type and quasi-projective over $k$ equipped with a left $G$-action and morphisms are $G$-equivariant morphisms. Set $\Lambda:=\mathbb{Z}[1/|G|]$ for our coefficient ring.

For any $X\in\mathbf{Sch}^{G}_{k}$, the abelian category of $G$-equivariant coherent sheaves on $X$ is denoted by $\mathbf{Coh}_{G}(X)$ and the exact category of $G$-equivariant vector bundles on $X$ is denoted by $\mathbf{Vect}_{G}(X)$. In the case of the trivial group $G$, we denote $\mathbf{Coh}(X)$ for $\mathbf{Coh}_{G}(X)$.

The connected $K$-theory spectra of $\mathbf{Coh}_{G}(X)$ and $\mathbf{Vect}_{G}(X)$ are denoted by $G(G,X)$ and $K(G,X)$, respectively. We will use the notation $G_{i}(G,X)$ to denote the $i$-th homotopy group of $G(G,X)$ and similarly for $K(G,X)$. When $X$ is smooth, the natural inclusion $\mathbf{Vect}_{G}(X)\hookrightarrow\mathbf{Coh}_{G}(X)$ induces an isomorphim $K_{i}(G,X)\xrightarrow{\sim}G_{i}(G,X)$. This identification will be used frequently in this paper.

For any group $H$, the ring of representations of $H$ over $k$ tensored with $\Lambda$ is denoted by $RH$, i.e., $RH:=K_{0}(H,\mathrm{Spec}(k))\otimes\Lambda$.

2. Equivariant higher Chow groups

We recall Levine-Serpé’s definition of equivariant higher Chow groups [11] and discuss some of their properties which will be used in the following sections.

2.1. Construction

Let $\Delta^{\bullet}$ be the standard cosimplicial scheme with

[TABLE]

equipped with the trivial action of $G$. A $face$ of $\Delta^{r}$ is a closed subscheme defined by $t_{i_{1}}=\ldots=t_{i_{j}}=0$.

For any $X\in\mathbf{Sch}^{G}_{k}$, we set

[TABLE]

The group $G$ acts obviously on the set $(X\times\Delta^{r})_{(p+r)}$ of dimension $(p+r)$ points on $X\times\Delta^{r}$. Let

[TABLE]

where $\overline{G.x}$ stands for the closure of the orbit $G.x$ in $X\times\Delta^{r}$.

We define

[TABLE]

where $k(x)$ is the residue field of $x$ and $G_{x}$ is the set-theoretic stabilizer group of $x$ in $G$, i.e., $G_{x}:=\{g\in G|\ gx=x\}.$ The assigment $r\to z_{p}(G,X,r)$ forms a simplicial abelian group ([11, Proposition 3.2]) which is denoted by $z_{p}(G,X,\bullet)$.

Definition 2.1**.**

[11, Definition 3.4] The equivariant cycle complex (of Bredon type) $z_{p}(G,X,*)$ is the complex associated to $z_{p}(G,X,\bullet)$. The equivariant higher Chow groups (of Bredon type) are defined by

[TABLE]

In the case of the trivial group, we recover the set $X_{(p)}(r)$ of dimension $(p+r)$ subvarieties of $X\times\Delta^{r}$ meeting all faces properly, the cycle complex $z_{p}(X,*)$ and the higher Chow group $CH_{p}(X,r)$ defined in [2] (or [10]). Note that $CH_{p}(X,0)$ is exactly the usual Chow group $CH_{p}(X)$ of dimension $p$ cycles on $X$.

When $G$ acts $trivially$ on $X$, there is a natural isomorphism

[TABLE]

(cf. [13, Proposition 1.6]) which yields an isomorphism

[TABLE]

Therefore,

[TABLE]

Since $X$ is quasi-projective and $G$ is finite, the quotient $X/G$ exists as a scheme. If $G$ acts $freely$ on $X$, then $X^{G}_{(p)}(r)=(X/G)_{(p)}(r)$ and $K_{0}(G_{x},\mathrm{Spec}\ k(x))=K_{0}(\mathrm{Spec}\ k(x))\cong\mathbb{Z}$. This gives a natural isomorphism

[TABLE]

and hence

[TABLE]

2.2. Functoriality with respect to X

If $f:Y\to X$ is a $proper\ G$-equivariant morphism in $\mathbf{Sch}^{G}_{k}$, there is the push-forward homomorphism

[TABLE]

defined by

[TABLE]

if $Z\mapsto(f\times\mathrm{id})(Z)$ is generically finite and sending $\alpha$ to zero if not. These maps form a simplical map

[TABLE]

which yields the push-forward map for equivariant higher Chow groups

[TABLE]

If $f:Y\to X$ is a $flat\ G$-equivariant morphism of relative dimension $d$, the pull-back homomorphism

[TABLE]

is given by

[TABLE]

These maps form a simplical map

[TABLE]

which yields the pull-back map for equivariant higher Chow groups

[TABLE]

For proper composable morphisms $f$ and $g$, we have $(f\circ g)_{*}=f_{*}\circ g_{*}$. If $f$ and $g$ are flat composable morphisms then $(f\circ g)^{*}=g^{*}\circ f^{*}$. Moreover, if

[TABLE]

is a $G$-equivariant cartesian squares in which $f$ is proper and $g$ is flat then $g^{*}\circ f_{*}=f^{\prime*}\circ g^{\prime}_{*}$. These properties are well-known for (equivariant) algebraic $K$-theory and higher Chow groups. See [11, 3.2] for more details.

2.3. Functoriality with respect to G

If $\phi:H\to G$ is a group homomorphism and $X\in\mathbf{Sch}^{G}_{k}$ is a $G$-scheme then $\phi$ gives an action of $H$ on $X$. The collection of maps

[TABLE]

induces the map of simplicial abelian groups

[TABLE]

which yields the restriction map

[TABLE]

It is easy to see that the maps $\phi^{*}$ are natural with respect to the proper push-forward and flat pull-back (cf. [11, Section 3.2]).

We now want to construct a group homomorphism going in the other direction when $H\subset G$ be a subgroup.

Recall that the induction morphism for equivariant algebraic $K$-theory

[TABLE]

is the push-forward

[TABLE]

along the ($G$-equivariant) projection $\pi:(X\times G)/H\to X$ together with a natural identification

[TABLE]

where the (free) action of $H$ on $X\times G$ is given by

[TABLE]

For more details, see [13, Section 2].

The analogous operations are valid for equivariant cycle complex. If $[x]\in(X\times\Delta^{r})_{(p+r)}/H$ such that $\overline{H.x}\in S^{H,X}_{(p)}(r)$ then $\overline{G.x}\in S^{G,X}_{(p)}(r)$. It is obvious that each orbit $H.x$ gives rise to an orbit $G.x$ and the stabilizer group $H_{x}$ is a subgroup of $G_{x}$. Therefore, we have the induction map for equivariant $K$-theory:

[TABLE]

Take the sum over all orbits on both sides to obtain a map on the elements of the equivariant cycle complexes

[TABLE]

The maps $\mathrm{Ind}^{G}_{H}(X,r)$ are ’push-forward’ maps, so they form a simplical map

[TABLE]

which yields the induction map for equivariant higher Chow groups

[TABLE]

Lemma 2.2**.**

$\mathrm{(1)}$* If $f:Y\to X$ is a flat $G$-morphism of $G$-schemes, then for any subgroup $H\subset G$ the diagram*

[TABLE]

commutes.

$\mathrm{(2)}$* If $g:Y\to X$ is a proper $G$-morphism of $G$-schemes, then for any subgroup $H\subset G$ the diagram*

[TABLE]

commutes.

Proof.

The proof is straightforward, using the fact that the induction morphism

[TABLE]

is the push-forward

[TABLE]

along the ($G$-equivariant) projection $\pi:(X\times G)/H\to X$, together with an identification

[TABLE]

∎

2.4. Equivariant motivic spectral sequence

Equivariant higher Chow groups enjoy certain good properties as their ordinary counterparts.

Proposition 2.3** (Localization theorem).**

[11, Theorem 4.1]** Let $X\in\mathbf{Sch}^{G}_{k}$, $i:W\to X$ a $G$-invariant closed subscheme with open complement $j:U\to X$. Then for each $p$, there is a long exact sequence

[TABLE]

Using this, Levine and Serpé show that

Proposition 2.4** (Equivariant motivic spectral sequence).**

[11, Corollary 3.8]** Let $X\in\mathbf{Sch}^{G}_{k}$. There is a strongly convergent spectral sequence

[TABLE]

3. Reconstruction Theorem

From now on, we will assume that $k$ contains all the $n$-th roots of unity where $n:=|G|$. With our hypotheses, the ring $RG$ only depends on the characteristic of $k$. In this section, we will investigate the relation between equivariant higher Chow groups and the ordinary higher Chow groups of fixed point subschemes under cylic subgroups.

3.1. Comparision morphism

For any cyclic subgroup $\sigma\subset G$ of order $m$, let $t$ be the generator of the dual group $\hat{\sigma}$ of homomorphisms $\sigma\to k^{*}$. We have

[TABLE]

where $\Phi_{d}(t)$ is the $d$-th cyclotomic polynomial. Denote by $\tilde{R}\sigma$ the factor of $R\sigma$ corresponding to $\Lambda[t]/(\Phi_{m}(t))$ which is independent of the choice of the generator $t$. The normalizer $N(\sigma)$ of $\sigma$ acts naturally on $R\sigma$ and $\tilde{R}\sigma$. Moreover, $N(\sigma)$ acts on the fixed point subscheme $X^{\sigma}$ of $X$ under $\sigma$ hence acts on $CH_{*}(X^{\sigma},*)$. Note that by our assumption, the functor $-\otimes\tilde{R}\sigma$ is exact on the cateogry of $\Lambda$-modules and for any subgroup $H\subset G$, taking $H$-invariants $(-)^{H}$ is an exact functor from the category of $\Lambda H$-modules to the category of $\Lambda$-modules.

Let $\Gamma$ be a set of representatives for the conjugacy classes of cyclic subgroups of $G$. We define the morphism

[TABLE]

as the composition of the inclusion

[TABLE]

given by the embedding $\tilde{R}\sigma\hookrightarrow R\sigma$, the isomorphism

[TABLE]

given by (2.1), the obvious inclusion

[TABLE]

the push-forward

[TABLE]

along closed embeddings $X^{\sigma}\hookrightarrow X$, and the product of induction maps (2.4)

[TABLE]

Replace equivariant higher Chow groups by the $K$-groups of equivariant cohenrent sheaves everywhere, we obtain the homomorphism

[TABLE]

defined by Vistoli [13, Section 3]. We will show that $\pi(X)$ is an isomorphism of $\Lambda$-modules.

3.2. A simple case

Proposition 3.1**.**

Let $X:=\coprod_{y}\mathrm{Spec}(k(y))$ be a [math]-dimensional scheme where $G$ acts transitively on a set of points then

[TABLE]

is an isomorphim.

Proof.

If $G$ acts trivially on $X$, then $X=\mathrm{Spec}(F)$ for a field extension $F/k$. In this case, both sides of (3.3) are free $\Lambda$-modules whose rank are the number of conjugacy classes of $G$. The injectivity of $\alpha_{0}(\mathrm{Spec}(F))$ is proved in [13, Proposition 1.5].

In general, we fix an arbitrary element $x$. Since $G$ acts transitively on the index set, we have

[TABLE]

Let $\mathcal{C}$ be the set of cyclic subgroups of $G$ and $\mathcal{D}(y)$ the set of cyclic subgroups of $G_{y}$. We also have

[TABLE]

Denote $\Psi$ for a set of representatives for the conjugacy classes of cyclic subgroups of $G_{x}$ and let $\mathcal{D}:=\mathcal{D}(x)$. By Lemma 3.2 below, there are isomorphisms

[TABLE]

Remark that if $\sigma$ acts non-trivially on $\mathrm{Spec}\ k(x)$ then $(\mathrm{Spec}\ k(x))^{\sigma}=\emptyset$. Hence, by replacing $G$ with $G_{x}$, $X$ with $\mathrm{Spec}\ k(x)$ and changing notation, one reduces the statement to the case of a point, i.e., to prove that

[TABLE]

where $F/k$ is a finitely generated field extension and $\Gamma^{\prime}\subset\Gamma$ is the subset consisting of cyclic subgroups of $G$ which act $trivially$ on $F$.

Denote $G_{(F)}$ for the inertia group of $\mathrm{Spec}\ F$, i.e.,

[TABLE]

and $\mathcal{I}$ for the set of cyclic subgroup of $G_{(F)}$. We have

[TABLE]

The first isomorphism holds by Lemma 3.2. The third isomorphism holds because $G_{(F)}$ acts trivially on $F$. The last isomorphism is a special case of the descent property for equivariant algebraic $K$-theory with $\Lambda=\mathbb{Z}[1/n]$-coefficients. Hence (3.4) is an isomorphism as claimed. ∎

Lemma 3.2**.**

Let the group $G$ act on the left on a set $\mathcal{S}$ and let $\mathcal{T}$ be a set of representatives for the orbits. Assume that $G$ acts on the left on a product of abelian groups of the type $\prod_{s\in\mathcal{S}}M_{s}$ in such a way that for any $g\in G$

[TABLE]

For each $t\in\mathcal{T}$ let $G_{t}$ be the stabilizer of $t$ in $G$. Then the canonical projection

[TABLE]

induces an isomorphism

[TABLE]

Proof.

It is straightforward. ∎

In particular, if $\mathcal{C}$ is the set of cyclic subgroups of $G$ and $\Gamma$ is a set of representatives for the conjugacy classes of cyclic subgroups of $G$, then

[TABLE]

3.3. The general case

Theorem 3.3** (Reconstruction Theorem).**

The map $\pi(X)$ in (3.1) is an isomorphism for any $X\in\mathbf{Sch}^{G}_{k}$.

Proof.

Both sides of (3.1) satisfy localization and $\pi(-)$ is natural with localization. Indeed, by Lemma 2.2, each component of $\pi$ is compatible with the push-forward $i_{*}$ given by closed immersion $i:Z\hookrightarrow X$ and the pull-back $j^{*}$ given by open immersion $j:U\hookrightarrow X$. Hence, we only need to show that $\pi(X)$ is an isomorphism for $X=\coprod_{x}\mathrm{Spec}(k(x))$ when $G$ acts transitively on a set of points.

By the same argument as in Proposition 3.1, we reduce our problem to the case of a point, i.e., $\pi(\mathrm{Spec}(F))$ is an isomorphism for any finitely generated field extension $F/k$. In this case

[TABLE]

if $\sigma$ acts trivially on $\mathrm{Spec}(F)$ and

[TABLE]

otherwise.

Denote by $\Gamma^{\prime}$ the subset of $\Gamma$ consisting of cyclic subgroups of $G$ which act trivially on $F$. We have

[TABLE]

If $\sigma\notin\Gamma^{\prime}$, i.e., $\sigma$ acts non-trivially on $F$, then the scheme $\coprod_{y\in G.x}\mathrm{Spec}\ k(y)$ with $[x]\in(\mathrm{Spec}\ F)^{G}_{p}(r)$ has no fixed point subscheme under $\sigma$. If $\sigma\in\Gamma^{\prime}$ then $\sigma$ acts trivially on $\coprod_{y\in G.x}\mathrm{Spec}\ k(y)$. Hence,

[TABLE]

Take homologies of the associated complexes, one obtains isomorphisms

[TABLE]

for each $p$ and $r$. ∎

4. Applications

Levine has constructed in [10] a spectral sequence

[TABLE]

for any quasi-projective scheme $X$ over $k$. In this section we will show that the isomorphism (3.1) is compatible with the spectral sequences (4.1) and(2.4). We then show that the equivariant motivic spectral sequence (2.4) degenerates rationally to obtain a Riemann-Roch theorem for equivariant algebraic $K$-theory.

4.1. Comparision morphism revisited

In Section 3 we defined the homomorphism (3.2)

[TABLE]

We show now that this morphism can actually be expressed on the level of spectra.

Assume that $H$ is a finite group which acts trivially on a $k$-scheme $Y$ (in our application, $\sigma$ acts trivially on $X^{\sigma}$). Let $\mathcal{I}$ be the set of irreducible representations of $H$ over $k$. For any representation $\rho$ in $\mathcal{I}$ with representation space $V$, we define

[TABLE]

by mapping any coherent sheaf $\mathcal{F}$ on $Y$ to $\mathcal{F}\otimes_{k}V$ with the action of $H$ induced by the action of $H$ on $V$. It is obvious that $\rho^{*}$ is an exact functor, hence it induces a map between spectra

[TABLE]

Assume further that there is another group $\Pi$ acting (possibly non-trivially) on $Y$ and $H$ in such a way that the action respects the group structure of $H$, i.e.,

[TABLE]

for any $\alpha\in\Pi$ and $h_{1},h_{2}\in H$. This induces actions of $\Pi$ on the spectra $G(Y)$, $G(H,Y)$ and on the set $\mathcal{I}$. Let $\mathcal{J}$ be a subset of $\mathcal{I}$ which is closed under the action of $\Pi$, then $\prod_{\rho\in\mathcal{J}}\mathbf{Coh}(Y)$ and $\mathbf{Coh}_{H}(Y)$ have a natural action of $\Pi$ and the map

[TABLE]

is an $\Pi$-equivariant map. This induces an $\Pi$-equivariant map between spectra

[TABLE]

Moreover, the inclusion $\mathcal{J}\hookrightarrow\mathcal{I}$ induces an $\Pi$-equivariant map

[TABLE]

and the following diagram

[TABLE]

commutes. Hence we obtain a commutative diagram between homotopy fixed point spectra

[TABLE]

Replacing $H$ by $\sigma$, $Y$ by $X^{\sigma}$ and $\Pi$ by $N(\sigma)$. Since $k$ contains enough roots of unity, it is well-known that the set of irreducible representations of $\sigma$ over $k$ has $m$ elements where $m$ is the order of $\sigma$ and every irreducible representation of $\sigma$ is one dimensional given by multiplication by a $m$-th root of unity. Let $\mathcal{J}$ be the set of representations given by multiplication by a $primitive\ m$-th root of unity. It is clear that $|\mathcal{J}|=\mathrm{deg}(\Phi_{m}(t))$, the degree of the $m$-th cyclotomic ring $\Phi_{m}(t)$. Define the map

[TABLE]

($n=|G|$ is inverted) as the composition of the inclusion

[TABLE]

given by the inclusion $\mathcal{J}\hookrightarrow\mathcal{I}$, the morphism

[TABLE]

given by (4.2), the natural morphism

[TABLE]

the push-forward

[TABLE]

given by the closed embedding $X^{\sigma}\hookrightarrow X$, and the wedge sum of induction maps

[TABLE]

Proposition 4.1**.**

The map $\alpha(X)$ of (4.3) induces $\alpha_{*}(X)$ of (3.2) on homotopy groups.

Proof.

We only have to show that

[TABLE]

and

[TABLE]

The last identity is clear by definition. For the first identity, note that if $S$ is a spectrum with an action of a finite group $G$ of order $n$, then there is a natural isomorphism

[TABLE]

Indeed, the spectral sequence

[TABLE]

has $E_{2}^{p,q}=(\pi_{q}(S))^{G}\otimes\mathbb{Z}[1/n]$ if $p=0$ and equals [math] otherwise. Moreover, it is easy to see that

[TABLE]

with a compatible action of $N(\sigma)$ on both sides. Our claim follows from (4.4) and (4.5) . ∎

4.2. A Riemann-Roch theorem

The way we define $\alpha(X)$ extends naturally to a family of compatible maps $\alpha_{(*)}(X)$ between the two towers

[TABLE]

The notation $G_{(p)}(G,X,-)$ used here is inherited from [11, Section 2.1]. Namely, $G_{(p)}(G,X,-)$ is the simplicial spectrum whose $r$-simplices is

[TABLE]

the $K$-theory of equivariant coherent sheaves on $X\times\Delta^{r}$ with supports in $W$ where $W$ runs over all the closed $G$-stable subsets of $X\times\Delta^{r}$ such that $\mathrm{dim}_{k}\ W\cap X\times F\leq p+\mathrm{dim}_{k}\ F$ for all faces $F\subset\Delta^{r}$.

The top tower induces the spectral sequence

[TABLE]

by applying operations to (4.1).

The bottom tower induces the spectral sequence

[TABLE]

which is essentially the spectral sequence (2.4) with $\Lambda=\mathbb{Z}[1/n]$-coefficients.

This shows that the map $\pi(X)$ (induced by the family $(\alpha_{(p)}(X))_{p}$) is natural with respect to the spectral sequences (4.6) and (4.7). Hence, one obtains Vistoli’s reconstruction theorem for equivariant algebraic $G$-theory:

Corollary 4.2**.**

[13, Theorem 2]* For any $X\in\mathbf{Sch}^{G}_{k}$ the map*

[TABLE]

is an isomorphism of graded $\Lambda$-modules which is compatible with localization sequence.

The following lemma is a weak version of [11, Corollary 5.6] but the proof is simpler:

Corollary 4.3**.**

Let $X\in\mathbf{Sch}^{G}_{k}$ and let $G$ act on $X\times\mathbb{A}^{1}$ via the given action on $X$ and the trivial action on $\mathbb{A}^{1}$. Then the pull-back via the projection $p:X\times\mathbb{A}^{1}\to X$ induces an isomorphism

[TABLE]

Proof.

Since $G$ acts trivially on $\mathbb{A}^{1}$, we have $(X\times\mathbb{A}^{1})^{\sigma}=X^{\sigma}\times\mathbb{A}^{1}$. The diagram

[TABLE]

is commutative. The maps $\pi(X)$ and $\pi(X\times\mathbb{A}^{1})$ are isomorphisms by Theorem 3.3. Each map $p_{X^{\sigma}}^{*}$ is an isomorphism by homotopy invariance for higher Chow groups [2, Theorem (2.1)]. Therefore, $p_{X}^{*}$ is an isomorphism. ∎

The reconstruction theorem for equivariant higher Chow groups yields a Riemann-Roch theorem for equivariant algebraic $K$-theory:

Theorem 4.4** (Riemann-Roch).**

If $X$ is a smooth $G$-scheme over $k$ then the spectral sequence (2.4) degenerates rationally, i.e., there are isomorphisms of $\mathbb{Q}$-vector spaces

[TABLE]

Proof.

Since $X$ is smooth and $G$ is finite, every $G$-equivariant coherent sheaf on $X$ has a resolution by $G$-equivariant locally free sheaves ([12, Corollary 5.8]). Quillen’s Dévissage theorem provides for any $q\in\mathbb{N}$ an isomorphism

[TABLE]

For any $\sigma\in\Gamma$, the scheme $X^{\sigma}$ is smooth (cf. [4, Proposition 3.4]). Hence, the spectral sequence

[TABLE]

degenerates rationally to get

[TABLE]

(cf. [9, Theorem 14.8]). Taking product over all $\sigma\in\Gamma$ yields

[TABLE]

Equivalently,

[TABLE]

i.e.,

[TABLE]

∎

Remark 4.5*.*

When $X\in\mathbf{Sch}^{G}_{k}$ which is not neccessarily smooth, there is still an isomorphism

[TABLE]

by Theorem 3.3, Corollary 4.2 and Bloch-Riemann-Roch isomorphism

[TABLE]

[2, Theorem (9.1)]. However, we do not know how to define directly an equivariant Riemann-Roch map

[TABLE]

4.3. Multiplicative structure and further remarks

When $X$ is smooth, there are certainly two ways to equip a multiplicative structure on equivariant higher Chow groups with rational coefficients (the integral case is still unknown).

The first structure is obtained through the isomorphism (4.9) where the multiplication on $CH_{*}(G,X,*)\otimes\mathbb{Q}$ inherits the ordinary multiplication on $K_{*}(G,X)\otimes\mathbb{Q}$ (given by tensor product over $\mathcal{O}_{X}$).

The second structure is obtained by the reconstruction theorem for equivariant higher Chow groups. Recall that Jarvis-Kaufmann-Kimura have considered in [7] the stringy Chow ring

[TABLE]

with the multiplicative structure given by the stringy product [7, Definition 1.6]. This can be extended to define a multiplicative structure on

[TABLE]

and hence on the algebra of invariants

[TABLE]

By Theorem 3.3, this gives another multiplicative structure on $CH_{*}(G,X,*)\otimes\mathbb{Q}$.

These two structures are different in general even in the case of Chow groups $CH_{*}(G,X,0)\otimes\mathbb{Q}$. The first one is the usual multiplication on the Grothendieck group of the quotient stack $[X/G]$. The second one should be the usual multiplication on the Grothendieck group of a (and all) hyper-Kähler resolution of the coarse moduli space $X/G$ of $[X/G]$. This is the content of the K-theoretic hyper-Kähler resolution conjectures [7, Conjecture 1.2] which has been verified in certain interesting cases.

Remark 4.6*.*

As the reader might guess, the isomorphism $\pi(X)$ in Theorem 3.3 need not to be true in general if we index equivariant higher Chow groups by codimension rather than dimension as in [11]. Some degree shifts are needed to get right indexes. The reason is that $\pi(X)$ is defined by using push-forward for algebraic cycles and $K$-theory that do not preserve codimension in general. For instance, let $G=\mathbb{Z}/2$ act on $X=\mathbb{A}^{1}:=\mathrm{Spec}(k[t])$ by sending $t\to-t$. A simple calculation gives

[TABLE]

(cf. [11, Example 6.17]). The group $\mathbb{Z}/2$ has only two (cyclic) subgroups [math] and $\mathbb{Z}/2$. We have

[TABLE]

and

[TABLE]

by dimension reason. Therefore,

[TABLE]

It is aslo worth mentioning that the two multiplicative structures on rational equivariant higher Chow groups considered above do not respect the grading by codimension. For the first multiplicative structure, the reason is that the ring structure on $K_{0}(G,X)$ does not in general respect the topological filtration [11, Remark 3.6]. For the second multiplicative structure, this failure is measured by ’age’ (or ’degree shifting number’) [7, Definition 1.3].

Remark 4.7*.*

In the non-equivariant case for $X$ smooth, the spectral sequence $\eqref{MotivicSpectraSequence}$ admits actions of Adams operations which implies its degeneration with rational coefficients. It would be interesting to see how to equip Adam operations on the equivariant motivic spectral sequence (2.5). It might be possible to follow the construction given in [9, Theorem 9.7], but there are some technical annoyances we have to overcome. Even if we are in a good situation, there is no reason to expect that $\pi(X)$ preserves these operations because it is defined using push-forwards which are not ring homomorphisms in general.