Equivariant Moore spaces and the Dade group (Q509669)

A topological space \(X\) is an \(n\)-Moore space if its reduced homology is nonzero only in dimension \(n\). A \(G\)-CW-complex \(X\) is called a Moore \(G\)-space of type \((M,n)\) if its reduced homology group \(\widetilde{H}_n(X;\mathbb Z)\) is zero whenever \(i \neq n\) and \(\widetilde{H}_n(X;\mathbb Z) \cong M\) as \(\mathbb ZG\) modules. Steenrod asked whether every \(\mathbb ZG\) module is realized as the homology module of a Moore \(G\)-space. \textit{G. Carlsson} provided a counter example [Invent. Math. 64, 171--174 (1981; Zbl 0477.55007)]. Consider a class function \(\underline{n}:S(G) \to \mathbb Z\) from the subgroups of \(G\) to the integers. A \(G\)-CW complex is called an \(\underline{n}\)-Moore space over a commutative ring \(R\) if for every \(H\subseteq G\) the reduced homology group \(\widetilde{H}_i(X^H;R)\) is zero for all \(i \neq \underline{n}(H)\). An \(RG\)-module is an endo-permutation module if \(\mathrm{End}_R(M)\) is a permutation module. Theorem. Let \(G\) be a finite \(p\)-group and \(k\) a field of characteristic \(p\). If \(X\) is a finite \(\underline{n}\)-Moore space over \(k\), then the reduced homology module \(\widetilde{H}_n(X^H;k)\) in dimension \(n=\underline{n}(1)\) is an endo-permutation \(kG\)-module generated by relative syzygies. On certain subsets of equivalence classes of endo-permutation modules and equivariant Moore spaces one can define a semi-group structure (tensor product and join) and with the Grothendieck construction obtain groups, \(D(G)\) and \(\mathcal M(G)\). They, and relations between them, are studied in the paper.