Actions of totally disconnected groups and equivariant singular cohomology (Q2430793)

For a \(G\)-space \(X\), there is a concept of contravariant coefficient system \(m\) on \(X\), and of equivariant singular cohomology \(H^n_G(X; m)\) of \(X\) with coefficients in \(m\), which have been introduced in [Equivariant singular homology and cohomology. I, Mem. Am. Math. Soc. 156, 74 p. (1975; Zbl 0297.55003)] by \textit{S. Illman}. In this paper, the author considers the case when \(G\) is a totally disconnected locally compact group, and shows that the cochain complex \(C_G(X; m)\) in this case has a nice structural property which allows one to prove that a short exact sequence of contravariant coefficient systems gives rise to a long exact sequence of corresponding equivariant singular cohomology modules of \(X\). The author also attempts to establish the relationship between the ordinary singular cohomology and the equivariant singular cohomology with canonical contravariant coefficient systems. In fact, first, two natural isomorphisms between them are given. One is \(H^n_G(X; \Omega) \cong H^n(X; R)\) where \(\Omega\) denotes a contravariant coefficient system which takes as the value at each \(G/H\) the \(0\)-th ordinary singular cohomology module \(H^0(G/H; R)\) with coefficients in a ring \(R\), and the other \(H^n_G(X; m) \cong H^n(X/G; m(G))\) where \(m\) denotes a contravariant coefficient system having the property that for any \(G\)-map \(\alpha : G \to G\) it holds that \(\alpha^* = \text{id} : m(G) \to m(G)\) (however, in this case the action of \(G\) on \(X\) is required to be both free and Cartan). Let \(\bar{R}\) denote the canonical constant contravariant coefficient system with \(\bar{R}(G/H)=R\) for every \(H < G\), and let \(\nu : \bar{R} \to \Omega\) denote the coaugumentation homomorphism. This homomorphism yields a short exact sequence of contravariant coefficient systems \(0 \to \bar{R} \to \Omega \to J \to 0\), and so one has a long exact sequence connecting the three singular cohomology modules \(H^n_G(X; \bar{R})\), \(H^n_G(X; \Omega)\) and \(H^n_G(X; J)\) as mentioned above. Applying the above two isomorphisms to this sequence, one then obtains two types of long exact sequences connecting three of the four singular cohomology modules \(H^n_G(X; \bar{R})\), \(H^n(X; R)\), \(H^n_G(X; J)\) and \(H^n(X/G; R)\) discussed above, which is what the author next wanted to show. Finally, it is remarked that this paper twins with \textit{S. Illman}'s [Topology Appl. 157, No.~17, 2659--2678 (2010; Zbl 1242.55003)].