The homology of invariant group chains. (Q2491832)

Let \(G\) be a group, \(Q\) a finite group acting on \(G\) as a group of automorphisms, \(A\) an Abelian group with trivial \(G\)- and \(Q\)-actions and \(C_*(G;A)=C_*(G)\otimes A\) the chain complex, where \(C_*(G)=B_*\otimes_G\mathbb{Z}\) with \(B_*\) the bar resolution of \(G\) over \(\mathbb{Z}\). In this paper, the cohomology, \(H^Q_*(G;A)\), of the complex \(C_*(G;A)\) is studied. The action of \(Q\) on \(G\) induces an action on \(C_*(G;A)\) and if \(C_*(G;A)^Q\) denotes the subcomplex of invariant chains then the image of the homomorphism \(H^Q_*(G;A)\to H_*(G;A)\), which is induced by the inclusion of complexes \(C_*(G;A)^Q\to C_*(G;A)\), lies in the subgroup \(H_*(G;A)^Q\) of \(Q\)-invariant homology classes. In certain cases, the author constructs transfer maps \(H^Q_*(G;A)\to H^Q_*(K,A) \) for \(Q\)-stable subgroups \(K\), which he uses to calculate \(H^{\mathbb{Z}/2}_*(\mathbb{Z}/n;\mathbb{Z})\), where \(\mathbb{Z}/2\) acts on \(\mathbb{Z}/n\) by \(x\to -x\) and obtains: I. If \(n\not\equiv 0\bmod 4\) then \(H^{\mathbb{Z}/2}_*(\mathbb{Z}/n;\mathbb{Z})\cong H_*(\mathbb{Z}/n;\mathbb{Z})^{\mathbb{Z}/2}\). II. Let \(s\geq 2\). Then for all \(\ell>0\), \(H^{\mathbb{Z}/2}_\ell(\mathbb{Z}/2^s;\mathbb{Z})\) is isomorphic to \((\mathbb{Z}/2)^k\) when \(\ell=2k\), to \((\mathbb{Z}/2)^{2k}\) when \(\ell=4k-3\) and to \(\mathbb{Z}/2^s \oplus(\mathbb{Z}/2)^{2k}\) when \(\ell=4k-1\). -- The proof of II uses techniques in equivariant topology. The motivation for studying the groups \(H^Q_*(G;A)\) arose from the calculations in the joint paper of the author and \textit{M.~E.~Walker} [J. Pure Appl. Algebra 192, No. 1-3, 187-202 (2004; Zbl 1053.14019)].