Localizing with respect to self-maps of the circle

Abstract

We describe a general procedure to construct idempotent functors on the pointed homotopy category of connected $ {\text{CW}}$-complexes, some of which extend $ P$-localization of nilpotent spaces, at a set of primes $ P$. We focus our attention on one such functor, whose local objects are $ {\text{CW}}$-complexes $ X$ for which the $ p$th power map on the loop space $ \Omega X$ is a self-homotopy equivalence if $ p \notin P$. We study its algebraic properties, its behaviour on certain spaces, and its relation with other functors such as Bousfield's homology localization, Bousfield-Kan completion, and Quillen's plus-construction.