Equivariant CW-complexes and the orbit category (Q1955664): Difference between revisions

Let \(G\) be a finite group and \(F\) a family of subgroups of \(G\) closed under conjugation and taking subgroups. The orbit category \(\text{Or}(G)\) has as objects subgroups or coset spaces with morphisms of the latter defined to be \(G\)-maps. The category \(\Gamma_G= \text{Or}_y(G)\) is the fall subcategory of \(\text{Or}(G)\) where the subgroups of \(G\) defining objects belong to \(F\). If \(M\) is a module over the group ring \(\mathbb{Z} G\), then \(M\) is projective if and only if its restriction to any \(p\)-Sylow subgroup is projective. A principal theoretical result in this paper asserts that over the orbit category there is a similar statement localized at \(p: \mathbb{Z}_{(p)}\Gamma_G\) module has a finite projective resolution with respect to a family of \(p\)-subgroups if and only if its restriction to any \(p\)-Sylow subgroup \(P\leq G\) has a finite projective resolution over \(P\). This result is used in the proof of the paper's main theorem which offers a rank 2 group acting in the homotopy type of a sphere: the permutation group \(S_5\) admits a finite \(G\)-CW complex \(X\) in the homotopy type of a sphere such that if \(H\leq G\), \(X^H\neq\emptyset\), then it has rank 1- and 2-power order.