No label defined (Q4949649)

Let \(K\) be a number field with ring of integers \(R\), and let \(G\) be a finite group. Let \(X\) be a flat projective scheme over \(\text{Spec}(R)\) with an action by \(G\). For a coherent \(G\)-equivariant \(\mathcal O_X\)-sheaf \(\mathcal F\) denote by \(H^i(X,\mathcal F)\) the coherent cohomology groups. These are finitely generated \(R[G]\)-modules. The equivariant Euler characteristic \(\chi(\mathcal F)=\sum_i(-1)^iH^i(X,\mathcal F)\) is an element of the Grothendieck group \(G_0(R[G])\). Write \(G_0(G,X)\), resp.\ \(K_0(G,X)\), for the Grothendieck group of \(G\)-equivariant coherent (resp.\ locally free) sheaves on \(X\) with relations induced by short exact sequences of \(G\)-equivariant morphisms. Then \(K_0(G,X)\) admits the so-called (decreasing) \(\gamma\)-filtration \(F^{\bullet}_{\gamma}\). From now on let \(R={\mathbb Z}\). Suppose that \(\mathcal M_G\) is a maximal \({\mathbb Z}\)-order in \({\mathbb Q}[G]\) containing \({\mathbb Z}[G]\). One has a homomorphism \(\text{Cl}({\mathbb Z}[G])\rightarrow\text{Cl}(\mathcal M_G)\) whose kernel is denoted by \(\text{D}({\mathbb Z}[G])\). Suppose that \(\pi:X\rightarrow Y\) is a \(G\)-torsor. For \(N\geq 1\), let \(\zeta_N\) be a primitive \(N\)-th root of unity, and identify \(\text{Gal}({\mathbb Q}_N/ {\mathbb Q})\) with \(({\mathbb Z}/N{\mathbb Z})^{\times}\) by sending \(a\), \((a,N)=1\), to \(\sigma_a\), defined by \(\sigma_a(\zeta_N)=\zeta_N^a\). Assume that \(N=p\) is a prime number, and let \(\omega:({\mathbb Z}/p{\mathbb Z})^{\times} \rightarrow{\mathbb Z}^*_p\) be the Teichmüller character. Finally, let \(A^i_p\) be the direct summand of the \(p\)-primary part of the ideal class group \(\text{Cl}({\mathbb Q}(\zeta_p))\) on which \(\sigma_a\in\text{Gal} ({\mathbb Q}(\zeta_p)/{\mathbb Q})\) acts via multiplication by \(\omega^i(a)\). The main result can now be stated: Let \(\pi:X\rightarrow Y\) be a \(G\)-torsor, with \(Y\) projective and flat over \(\text{Spec}({\mathbb Z})\) and equidimensional of dimension \(d+1\). Suppose that for every prime \(p\) that divides the order of \(G\), and each \(k\in[2,\text{min}(p-2,d+1)]\), one has \(A^k_p=(0)\). Then, for every \(G\)-equivariant coherent locally free \(\mathcal O_X\)-sheaf \(\mathcal F\), \(\chi^p(\mathcal F)\) is in the kernel \(\text{D} ({\mathbb Z}[G])\). Assume \(G\) is cyclic of prime order, and let \(\pi:X\rightarrow Y\) be a cover of schemes which are regular projective and flat over \(\text{Spec} ({\mathbb Z})\) and equidimensional of dimension \(2\). Assume that both \(X\) and \(Y\) are connected and that \(G\) does not act trivially on \(X\). Under these conditions a (more or less) explicit expression for \(\chi(\mathcal O_X)\) in \(G_0({\mathbb Z}[G])\) can be obtained. This is done via a base change to \({\mathbb Z}[1/p]\).