Fiberwise localization and the cube theorem

Loop space machines and operads in algebraic topology (55P48) Localization and completion in homotopy theory (55P60) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Review text

Given a model category \(\mathcal M\) and a morphism \(f: A\to B\) in \(\mathcal M\) we say that an object \(X\in \mathcal M\) is \(f\)-local if the induced map of the homotopy function complexes \(f^\ast:\text{map}(B, X)\to \text{map}(A, X)\) is a weak equivalence of simplicial sets. Furthermore, a morphism \(g: C\to D\) in \(\mathcal M\) is called an \(f\)-local equivalence if \(g^\ast\) is a weak equivalence of simplicial sets for any \(f\)-local object \(X\). If \(\mathcal M\) is a left proper cellular model category then for any morphism \(f\) there exists a coaugmented, homotopy idempotent functor \(L_f: {\mathcal M}\to {\mathcal M}\) such that for every \(X\in \mathcal M\) the object \(L_f X\) is \(f\)-local and the coaugmentation map \(X\to L_f X\) is an \(f\)-local equivalence (this is a special instance of a left Bousfield localization of model categories). The functors \(L_f\) were extensively studied in the case where \(\mathcal M\) is the category of topological spaces. A very useful result of \textit{E. Dror Farjoun} [Cellular spaces, null spaces and homotopy localization. Lect. Notes Math. 1622. Berlin: Springer (1995; Zbl 0842.55001)] states that in this case \(L_f\) can be applied fiberwise: given a fibration \(F\to E\to B\) one can construct a new fibration \(L_f F \to \overline E \to B\) and a map \(E\to \overline E\) over \(B\) which is an \(f\)-local equivalence and which restricted to the fibers gives the coaugmentation map \(F \to L_f F\). The authors show that the same result holds in any pointed, left proper, cellular model category which satisfies some further assumptions dealing with commutativity of certain homotopy colimits with homotopy pullbacks. Special consideration is given to the case when \(L_f\) is a nullification functor i.e. when the codomain of \(f\) is the terminal/initial object of \(\mathcal M\). The authors show that their results can be applied in the category of differential graded algebras over a cofibrant operad.

Recommendations

Cited in

(11)

This page was built for publication: Fiberwise localization and the cube theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2494179)