Equivariant simplicial cohomology with local coefficients and its classification (Q960841)

Let \(G\) be a discrete group. In this paper, the authors introduce the notion of equivariant twisted cohomology of a simplicial \(G\)-set and prove under certain conditions that the equivariant twisted cohomology is isomorphic to simplicial Bredon-Illman cohomology with local coefficients. If \(X\) is a \(G\)-simplicial set, an equivariant local coefficient system on \(X\) is a contravariant functor \(M\) from the fundamental groupoid \(\Pi X\) to abelian groups. The Bredon-Illman cohomology of \(X\) with coefficients in \(M\) is defined as follows. Let \(C^n_G(X;M)\) be the group of all functions \(f\) defined on equivariant \(n\)-simplices \(\sigma : G/H \times \Delta[n] \to X\) so that \(f(\sigma) \in M(\sigma_H)\) with \(f(\sigma) = 0\) whenever \(\sigma\) is degenerate. Two equivatriant \(n\)-simplices \(\eta : G/H \times \Delta[n] \to X\) and \(\tau: G/K \times \Delta[n] \to X\) are said to be compatible under \(\hat{g}\) if there exists a map \(\hat{g} : G/H \to G/K\) induced by \(g^{-1}Hg \subseteq K\) such that \(\tau \circ (\hat{g} \times id) = \eta\). Let \(S^n_G(X;M)\) be the subgroup of \(C^n_G(X;M)\) consisting of all functions \(f\) for which \(f(\eta) = M(g_*)(f(\tau))\) whenever \(\eta\) and \(\tau\) are compatible. The collection \(\{S^n_G(X;M)\}\) forms a cochain complex \(S_G(X;M)\). The \(n\)th Bredon-Illman cohomology of \(X\) with local coefficients \(M\) is defined to be \(H^n_G(X;M) = H^n(S_G(X;M))\). The twisted cohomology of the \(G\)-simplicial set \(X\) is defined by modifying the coboundary maps of the cohain complex which defines the ordinary Bredon cohomology of \(X\) using an \(\mathcal{O}_G\)-twisting function \(\kappa\). When such a twisting is derived from a local coefficient system \(M\), then the resulting twisted cohomology of \(X\) is isomorphic to the Bredon-Illman cohomology with twisted coefficients, provided \(X\) is \(G\)-connected and based. The authors further prove a classification theorem stating that the Bredon-Illman cohomology of \(X\) with local coefficients \(M\) is classified by maps to a certain \(\mathcal{O}_G\)-generalized Eilenberg-MacLane complex.