Math Reviews: 55:11246
Recall that a connected space is said to be nilpotent if its fundamental group is a nilpotent group and acts nilpotently on its higher homotopy groups. In spite of title of this paper, the main result it contains is the statement that any nilpotent space X fits into a Sullivan style arithmetic square. This is a homotopy fibre square which expresses X as a homotopy pullback of
The paper also contains a somewhat technical refinement of the above statement. A connected space X is said to be virtually nilpotent if every Postnikov stage of X has a finite cover which is nilpotent. It is shown in the paper that any virtually nilpotent space is Q-good in the sense of Bousfield and Kan, as well as Z/p-good for every prime p. The question arises: what results if one forms the above arithmetic square for X and takes the homotopy pullback? Call this homotopy pullback Y. It is shown in the paper that the natural map from X to Y is a homology isomorphism. This means that Y is not for instance the Bousfield-Kan Z-completion of X, since there is an example in Bousfield-Kan of a virtually nilpotent space X (actually real projective 2-space) which is not Z-good. (Recall that X is Z-good if the map from X to the Z-completion of X is a homology isomorphism). What then is Y? It turns out that it is exactly the Bousfield localization of X with respect to integral homology (52:1676 Bousfield, A. K. The localization of spaces with respect to homology. Topology 14 (1975), 133--150).
In other words, if X is a virtually nilpotent space the arithmetic square gives a construction of the conceptually well-behaved Bousfield localization of X with respect to integral homology, in terms of computationally more accessible Bousfield-Kan completion functors.