Fiberwise localization and the cube theorem (Q2494179): Difference between revisions

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.