Homotopy localization nearly preserves fibrations (Q1804904): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(3 intermediate revisions by 2 users not shown) | |||
Property / author | |||
Property / author: Jeffrey Henderson Smith / rank | |||
Property / reviewed by | |||
Property / reviewed by: Stefan Papadima / rank | |||
Property / author | |||
Property / author: Jeffrey Henderson Smith / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Stefan Papadima / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0040-9383(94)00025-g / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2023765215 / rank | |||
Normal rank |
Latest revision as of 08:57, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Homotopy localization nearly preserves fibrations |
scientific article |
Statements
Homotopy localization nearly preserves fibrations (English)
0 references
5 December 1995
0 references
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.
0 references
localization with respect to a map
0 references
\(f\)-local space
0 references
homotopy fibre of the \(f\)-localized projection
0 references
fibration
0 references
Postnikov stage
0 references
localization with respect to any \(p\)-torsion homology theory
0 references
localization theory of Eilenberg-MacLane spaces
0 references
\(\text{mod-}p\) complex \(K\)-theory
0 references
higher Morava \(K\)-theories
0 references