Relative homology of invariant group chains (Q6053452)

In this paper, the authors generalize \textit{E. Snapper}'s [J. Math. Mech. 13, 133--161, 1047--1064 (1964; Zbl 0141.02403)] homology of permutation representations to the case where a finite group \(Q\) acts. For \(G\) a group and \(X\) a left \(G\)-set, the Čech construction provides a \(G\)-resolution \(B_*(X) \rightarrow \mathbb{Z}\) (not in general projective). This was used by Snapper to define the homology and cohomology of \((G,X)\) with coefficients in a \(G\)-module. Suppose that \(Q\) acts on the left on \(G\) (by group automorphisms) and \(X\) and that the action \(G \times X \rightarrow X\) is \(Q\)-equivariant. The authors generalize \textit{K. P. Knudson}'s [J. Algebra 298, No. 1, 15--33 (2006; Zbl 1107.20041)] (co)homology of \(Q\)-invariant chains by defining: \begin{align*} H^Q_* (G,X; A) := H_* ((B_* (X) \otimes _G A)^Q) \\ H_Q^* (G,X; A) := H^* (\hom ((B_*(X) \otimes _G \mathbb{Z})^Q, A) ) \end{align*} where \(A\) is an abelian group (with trivial \(G\)-action). They establish basic properties of these theories. This allows them to introduce a relative version of Knudson's (co)homology. Namely, if \(H < G\) is a \(Q\)-invariant subgroup, they take \(X\) to be the (\(Q\)-equivariant) \(G\)-set \(G/H\) and define \(H^Q_* ([G,H]; A) := H^Q_* (G,G/H;A) \) and \(H_Q^* ([G,H]; A) := H_Q^* (G,G/H;A) \). When \(H\) is normal in \(G\), they show that these are isomorphic respectively to the \(Q\)-invariant (co)homology of the quotient group \(G/H\). When \(|Q|\) is invertible in \(A\), they give the following topological interpretation of their relative homology: it is isomorphic to \[ H_* ((B_{\mathcal{F}(H)} G)/Q, A), \] where \(B_{\mathcal{F}(H)} G\) is the classifying of \(G\) with respect to the family generated by \(H\).