Bredon-Illman cohomology with actions of totally disconnected groups (Q893332): Difference between revisions

Let \(G\) be a totally disconnected, locally compact group and let \(H^*_G(X; M)\) denote the Bredon-Illman cohomology introduced by \textit{A. Mukherjee} and \textit{G. Mukherjee} [Q. J. Math., Oxf. II. Ser. 47, No. 186, 199--219 (1996; Zbl 0858.55005)] where \(M\) is an equivariant local coefficient system on a \(G\)-space. Let \(\Pi X\) be the category whose objects are \(G\)-maps \(x_H : G/H \to X\) and whose morphisms are equivalence classes \([\alpha, \phi]\) of pairs \((\alpha, \phi)\) under a certain equivalence relation where \(\alpha : G/H \to G/K\) is a \(G\)-map and \(\phi : G/H\times I \to X\) is a \(G\)-homotopy from \(x_H\) to \(x_K\circ \alpha\). Then \(M\) represents a contravariant functor from \(\Pi X\) to the category of abelian groups. By an equivariant \(n\)-simplex is meant a \(G\)-map \(\sigma : \Delta_n\times G/H \to X\) where \(\Delta_n\) is the standard \(n\)-simplex with ordered vertices. To every \(\sigma\) there corresponds a \(G\)-map \(\sigma_H : G/H \to X\) defined as \(\sigma\) restricted to the first vertex of \(\Delta_n\). Then for each \(n \geq 0\) the cochain group \(S^n_G(X; M)\) is defined to be the group of all functions \(c\) defined on \(\sigma\) such that \(c(\sigma) \in M(\sigma_H)\). In this paper the authors prove that each short exact sequence \[ 0 \to M_0 \overset{\phi}{\to} M_1 \overset{\psi}{\to} {M_2} 0 \] of equivariant local coefficient systems yields an exact sequence \[ 0 \to S_G(X; M_0) \overset{\phi^\sharp}{\to} S_G(X; M_1) \overset{\psi^\sharp}{\to} S_G(X; {M_2)} 0 \] of cochain complexes. In addition to this, the authors refer to the case of a simple \(G\)-local system. As an example, it is shown that in the case when \(M=m\circ \Omega\), \(\Omega\) being the functor from \(\Pi X\) to the homotopy orbit category of \(G\), we have \(H^n_G(X; M)\cong H^n(X; \mathbb{Z})\) for each \(n \geq 0\), which owes much of its proof to the result of the first author in [Result. Math. 59, No. 1--2, 63--81 (2011; Zbl 1214.55007)].