The fixed point formula for equivariant étale sheaves (Q1107589)

Let g: \(X\to X\) be an automorphism of finite order of the quasi- projective algebraic variety X over the algebraically closed field k of characteristic p (the case \(p=0\) is allowed). There is a factorization \(g=su=us\), where s, u are powers of g, s has order prime to p and u has order a power of p (if \(p=0\), take \(s=g\), \(u=1)\). Let \(G=(g)\) be the cyclic group of order m, generated by g. Let \(\ell\) be any prime such that \(\ell \neq p\) and \({\mathcal F}\) be a constructible \({\mathbb{Q}}_{\ell}\)- sheaf on X which is also a G-sheaf. The latter is equivalent to requiring that the composite \([g^{(m-1)*}\Phi]\cdot [g^{(m- 2)*}\Phi]...[g^*\Phi]\cdot \Phi: {\mathcal F}\to {\mathcal F}\) be the identity, where \(\Phi: g^*{\mathcal F}\to {\mathcal F}\). Let X s be the fixed point set of s; it is known that X s is a disjoint union of nonsingular varieties. Let \(x: X^ s\to X\) denote the inclusion. The cohomology functors with compact supports \(H^ q_ c(X,{\mathcal F})\) are finitely generated \({\mathbb{Q}}_{\ell}\)-modules for each q and are zero except for finitely many values of q. A morphism \(\Phi\) induces endomorphisms \(\alpha_ q: H^ q_ c(X,{\mathcal F})\to H^ q_ c(X,g^*{\mathcal F})\to H^ q_ c(X,{\mathcal F})\). Also \(\Phi\) induces morphisms \(g^* x^*{\mathcal F}=x^* g^*{\mathcal F}\to x^*{\mathcal F}\) and thus \(\gamma_ q: H^ q_ c(X^ s,x^*{\mathcal F})\to H^ q_ c(X^ s,g^*x^*{\mathcal F})\to H^ q_ c(X^ s,x^*{\mathcal F})\). Theorem: \(\sum (-1)^ qTr(\alpha_ q)=\sum (-1)^ qTr(\gamma_ q)\).