Iterating series of localization functors (Q2707516)

The authors initiate a systematic study of whether homotopical localizations with respect to given maps commute. They give various examples of localization functors which do not commute in Grp and also provide a way to realize them in the homotopy category. They show that nullifications with respect to finitely generated abelian groups commute when restricted to the category of nilpotent groups. Using these results they obtain nullifications of nilpotent GEM-spaces (generalized Eilenberg-MacLane spaces), which are relevant in the theory of homotopical localization.NEWLINENEWLINENEWLINEThe question whether two localization functors \(L_f\) and \(L_g\), associated to given morphisms in any locally presentable category, commute, is closely related to the problem, whether \(L_fL_g\) and \(L_gL_f\) are idempotent. Iterating these compositions they obtain two different series \(\{(L_f L_g)^\alpha\}\) and \(\{(L_g L_f)^\alpha\}\) and both series converge to \(L_{f*g}\) where \(f*g\) is the coproduct of \(f\) and \(g\). This situation is illustrated for localization of groups and spaces. In Grp any localization with respect to a homomorphism is equivalent to a localization with respect to a free product of a monomorphism and an epimorphism.NEWLINENEWLINENEWLINEThe authors also consider iteration series of nullifications with respect to torsion-free abelian groups of rank 1. They give examples to show that one may need any finite number of steps in such an iterating series before it actually stabilizes. So, the global length has cardinality bigger or equal than \(\aleph_0\).NEWLINENEWLINEFor the entire collection see [Zbl 0955.00041].