When does \(P\)-localization preserve homotopy pushouts or pullbacks? (Q1764659): Difference between revisions

The authors give conditions under which P-localization of nilpotent spaces (in the sense of Casacuberta and Peschke) can be extended over all spaces preserving fundamental constructs of homotopy theory like pushouts/ pullbacks, homotopy epimorphisms/ homotopy monomorphisms, homotopy fibrations. For \(hoCW\) the homotopy category of based connected CW-complexes and for \(hoCW_{P}\) the full subcategory of P-local CW-complexes, one of the theorems exposes conditions under which P-localization preserves a homotopy pushout diagram in \(hoCW\) (in the stronger sense that the result is a homotopy pushout in \( hoCW\)). P-localizing an epimorphism \(f\) in \(hoCW\) always yields an epimorphism in \( hoCW_{P}\), but the authors give two complementary criteria for P-localization to turn an epimorphism \(f\) in \(hoCW\) into an epimorphism \(\;f_{P}\) in \(hoCW\). These results depend upon a new concept: PTA-spaces (P-torsion action space). For such spaces P-localization induces P-localization of all homotopy groups. Finally, the main result of the paper gives conditions under which P-localization preserves homotopy pullbacks.