Projective modules and the homotopy classification of \((G, n)\)-complexes (Q6596255)

For a group \(G\) and positive integer \(n\geq 2\), a \((G,n)\)-complex is a connected \(n\)-dimensional CW-complex \(X\) for which \(\pi_1(X)\cong G\) and its universal covering \(\tilde{X}\) is \((n-1)\)-connected. Let \(\mathrm{HT}(G,n)\) be the set of homotopy types of \((G,n)\)-complexes, which can be viewed as a graph with edges between \(X\) and \(X\vee S^n\). Similarly, let \(\mathrm{PHT}(G,n)\) be the tree of polarized homotopy types of finite \((G,n)\)-complexes. For a finite group \(G\), let \(C(\mathbb{Z}G)\) denote the projective class group, i.e. the equivalence classes of finitely generated projective \(\mathbb{Z}G\)-modules where \(P\sim Q\) if \(P\oplus \mathbb{Z}G^i\cong Q\oplus \mathbb{Z}G^j\) for some \(i\) and \(j\). Note that a class \([P]\in C(\mathbb{Z}G)\) can be viewed as the set of (nonzero) projective \(\mathbb{Z}G\)-modules \(P_0\) for which \(P\sim P_0\), and this has the structure of a graded tree with edges between \(P_0\) and \(P_0\oplus \mathbb{Z}G\). Let \(T_G\leq C(\mathbb{Z}G)\) denote the Swan subgroup, and recall that if \(G\) has \(k\)-periodic cohomology, then the Swan finiteness obstruction is an element \(\sigma_k(G)\in C(\mathbb{Z}G)/T_G\) which vanishes iff there exists a finite CW-complex \(X\) with \(\pi_(X)\cong G\) and \(\tilde{X}\cong S^{k-1}\).\N\NIn this paper, the author proves that there is an injective map of graded trees\N\[\N\Psi :\mathrm{PHT}(G,n) \to [P_{(G,n)}]\N\]\Nfor any \(\mathbb{Z}G\)-module \(P_{(g,n)}\) with \(\sigma_{ik}(G)=[P_{(G,n)}]\in C(\mathbb{Z}G)/T_G\) when \(G\) has \(k\)-periodic cohomology and \(nk=ik\) or \(ik-2\) for some \(i\geq 1\). Furthermore, he also proves that \(\Psi\) is bijective iff \(n\geq 3\) or \(n=2\) and \(G\) has the D2 property.\N\NMoreover, he also proves that \(\Psi\) induces an injective map of graded trees\N\[\N\overline{\Psi}:\mathrm{HT}(G,n)\to [P_{(G,n)}]/\mathrm{Aut}(G)\N\]\Nif \(G\) has \(k\)-periodic cohomology and \(n=ik\) or \(ik-2\) for some \(i\geq 1\). In particular, he obtains that \( \overline{\Psi}\) is bijective iff \(n\geq 3\) or \(n=2\) and \(G\) has the D2 property. By using these results, he computes this action explicitly and gives an example where the action is non-trivial.