A model structure via orbit spaces for equivariant homotopy (Q2280133): Difference between revisions

Let \(G\) be a discrete group and let \(\mathcal{F}\) be a collection of subgroups of \(G\). The authors show that there exists a left induced model structure on the category \(\mathbf{S}_G\) of right \(G\)-simplicial sets, in which the weak equivalences and cofibrations are the maps that induce weak equivalences and cofibrations on \(H\)-orbits for all \(H \in \mathcal{F}\). The left transfer argument is applied to the adjoint pair \(\theta_!:\mathbf{S}_G \leftrightarrows [O_\mathcal{F},\mathbf{S}]:\theta^*\) where \(O_\mathcal{F}\) is the orbit category of \(G\) with respect to the collection \(\mathcal{F}\) and where \(\theta_!(A)(G/H)=A/H\) and \(\theta^*(A)=A(G/\{e\})\). This gives a model categorical criterion for maps that induce weak equivalences on \(H\)-orbits to be weak equivalences in the \(\mathcal{F}\)-model structure \(_G\mathbf{S}\) of \(G\)-spaces in which the weak equivalences and fibrations are maps that induce weak equivalences and fibrations on \(H\)-fixed points for all \(H\in \mathcal{F}\).