Finite group actions and étale cohomology (Q1805181): Difference between revisions

Let \(G\) be a finite group, let \(X\) be a quasi-projective variety over an algebraically closed field, and let \(R\) be a finite commutative coefficient ring. The author proves that if \(G\) acts (not necessarily free) on \(X\), then there is a bounded chain complex \(\Lambda_c (X,R)\) of finitely-generated direct summands of permutation \(R[G]\)-modules whose homology is the étale cohomology with compact support of \(X\) with coefficients in \(R\). Moreover, this chain complex is natural up to chain homotopy. (A permutation \(R[G]\)-module is a free \(R\)-module \(M\) on which \(G\) acts in such a way that it fixes setwise an \(R\)-basis of \(M. )\) This generalizes a respective result of \textit{P. Deligne} and \textit{G. Lusztig} [Ann. Math., II. Ser. 103, 103-161 (1976; Zbl 0336.20029)] for free actions to the case of arbitrary actions. In addition, the author shows how constructions that can be performed on the variety \(X\), taking quotients and fixed points for the action of subgroups of \(G\), correspond to constructions on the chain complex.