On equivariant Euler-Poincaré characteristic in sheaf cohomology
Let X be a topological Hausdorff space together with a continuous action of a finite group G. Let R be the ring of integers of a number field F. Let E be a G-sheaf of flat R-modules over X and let Φ be a G-stable paracompactifying family of supports on X. We show that under some natural cohomological finiteness conditions the Lefschetz number of the action of g in G on the cohomology HΦ(X,E)⊗RF equals the Lefschetz number of the g-action on HΦ(Xg,E∣Xg)⊗RF, where Xg is the set of fixed points of g in X. More generally, the class ∑j(−1)j[HΦj(X,E)⊗RF] in the character group equals a sum of representations induced from irreducible F-rational representations Vλ of H where H runs in the set of G-conjugacy classes of subgroups of G. The integral coefficients mλ in this sum are explicitly determined.