characterization of cofibrations in CW-complexes with G-action - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T13:21:50Z http://mathoverflow.net/feeds/question/15850 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/15850/characterization-of-cofibrations-in-cw-complexes-with-g-action characterization of cofibrations in CW-complexes with G-action mpdude 2010-02-20T00:06:25Z 2011-08-18T22:40:52Z <p>Is there a condition for a $G$-equivariant map $X \to Y$ to be a cofibration of $G$-spaces? Here $X$ and $Y$ are CW complexes, the group $G$ is finite, and acts by cellular maps.</p> <p>I am using the model structure on CW-complexes with G-action where the fibrations and weak equivalences are those maps which are fibrations, weak equivalences respectively when we forget the $G$ action.</p> http://mathoverflow.net/questions/15850/characterization-of-cofibrations-in-cw-complexes-with-g-action/15880#15880 Answer by Anatoly Preygel for characterization of cofibrations in CW-complexes with G-action Anatoly Preygel 2010-02-20T07:30:36Z 2010-02-20T07:30:36Z <p>In the model structure you describe, the cofibrations should be the retracts of the free relative G-cell maps: i.e., retracts of maps obtained by attaching cells of the form $G \times S^{n} \to G \times D^{n+1}$.</p> <p>One way to see this is via the following general machine: There is an adjoint pair $$G \times -: \mathbf{Top} \leftrightarrow \mathbf{GTop}: forget$$ $\mathbf{Top}$ is a cofibrantly generated model category and one can check that this adjoint pair satisfies the conditions of the standard Lemma for transporting cofibrantly generated model structures across adjoint pairs (see e.g., Hirschorn's "Model categories and their localizations" Theorem 11.3.2). Thus, it gives rise to a model structure on $\mathbf{GTop}$ such that a map in $\mathbf{GTop}$ is an equivalence(resp. fibration) iff its image under the right adjoint (forget) is so. Moreover, the generating (acyclic/)cofibrations are precisely the images under the left adjoint ($G \times -$) of the generating (acyclic/)cofibrations in $\mathbf{Top}$. This yields the description of the cofibrations as retracts of (free G-)"cellular" maps.</p> <p>Also, some context:</p> <p>The model structure you describe (which I'd like to call "Spaces over BG") is a localization of a model structure "G-Spaces" (where the weak equivalences are maps inducing weak equivalences on all fixed point sets). An argument along the lines of the above constructs this other model structure and identifies its cofibrations with retracts of (arbitrary) relative G-cell maps: i.e., retracts of maps obtained by attaching cells of the form $G/H \times S^n \to G/H \times D^{n+1}$ for $H$ a closed subgroup of $G$.</p>