scientific article; zbMATH DE number 1054455

From MaRDI portal
Publication:4352071





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.











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4352071)