Homotopy localization nearly preserves fibrations (Q1804904)

Given a map \(f: A\to D\), one has a notion of \(f\)-local space \(T\), namely a space for which the canonical map induced by \(f\) between the function spaces, \(\text{map} (D, T)\to \text{map} (A, T)\), is a (weak) homotopy equivalence, and a homotopy localization functor with respect to \(f\), i.e. a natural map from any space \(X\) to an \(f\)-local space \(LX\) which is initial among maps from \(X\) into \(f\)-local spaces, generalizing Bousfield's homological localization functors with respect to any (extraordinary) homology theory \(E\). One also has a natural comparison map from the \(f\)-localization of the fibre to the homotopy fibre of the \(f\)-localized projection for any given fibration. The homotopy fibre \(J\) of this comparison map is shown by the authors to be a generalized Postnikov stage of a very special kind for any double looped fibration, in the general case of homotopy \(f\)-localization. In the particular case of homological localization with respect to any \(p\)-torsion homology theory, they make use of the existence of a critical \(E\)-\(M\) dimension \(d\) in the localization theory of Eilenberg-MacLane spaces with respect to the given theory, established by \textit{A. K. Bousfield} [Am. J. Math. 104, 1025-1042 (1982; Zbl 0505.55013)], to infer that the above error term \(J\) is always rather small, having only three possibly nonvanishing homotopy groups in dimensions \(d-1\), \(d\), \(d+1\). The example of \(\text{mod-}p\) complex \(K\)-theory and higher Morava \(K\)-theories is worked out in detail.