No label defined (Q4352071)

For a finite group \(G\) and a \(G\)-space \(X\), the author [Math. Scand. 78, No. 1, 37-55 (1996; Zbl 0873.55006)] associated a Grothendieck topos \(\Gamma (\widetilde{X})\) whose objects are certain families of sheaves on the fixed point sets \(X^K,K\) a subgroup of \(G\). It was also proved there that in case \(X\) is paracompact, then for any contravariant \(G\)-coefficient system \(m\) from the category of transitive \(G\)-spaces to the category of abelian groups, the equivariant cohomology groups \(\overline{H}^n_G(X,m)\) of \(X\) are isomorphic to the cohomology groups of the topos \(\Gamma(\widetilde {X})\) with coefficients in the family of constant sheaves determined by \(m\). Elaborating the above connection further, the author has, in this paper, derived the equivariant form of the well-known Serre spectral sequence: With suitable hypotheses (there are several because the approach is sheaf theoretic) on the paracompact \(G\)-spaces \(X\) and \(Y\), suppose \(f \colon X \to Y\) is any Hurewicz \(G\)-fibration. Then there is a (Serre) spectral sequence \[ E_2^{pq} = \overline {H} _G^p(X,H^q(F)) \] which converges to \(\overline{H}_G^{p+q}(Y,m)\). Here \(m\) is the contravariant \(G\)-coefficient system and \(\overline{H}(F)\) is a contravariant coefficient system associated to the orbit types of the fiber. The cohomology used by the author is the equivariant Alexander-Spanier cohomology. A similar equivariant Serre spectral sequence has already been obtained by \textit{I. Moerdijk} and \textit{J.-A. Svensson} [Proc. Am. Math. Soc. 118, No. 1, 263-278 (1993; Zbl 0791.55004)] for equivariant singular cohomology using singular methods in which fewer assumptions have been made. As is well known, the two results coincide for very nice spaces.