The cellularization principle for Quillen adjunctions (Q384302): Difference between revisions

Let \(\mathbb{M}\) be a stable model category that is right proper and cellular, and let \(\mathcal{K}\) be a set of objects in \(\mathbb{M}\) that is stable (that is, if \(K\) is any object in the set, then all of its suspensions (\(\Sigma^i K\), for any \(i \in \mathbb{Z}\)) are also in the set, up to weak equivalence). Then it is a standard fact that the \(\mathcal{K}\)-cellularization of \(\mathbb{M}\), \(\mathcal{K}\)-cell-\(\mathbb{M}\), exists: this is a model category whose underlying category and class of fibrations is the same as for \(\mathbb{M}\), and whose weak equivalences are the \(\mathcal{K}\)-cellular equivalences. Additionally, \(\mathcal{K}\)-cell-\(\mathbb{M}\) is a stable model category (see [\textit{D. Barnes} and \textit{C. Roitzheim}, Glasg. Math. J. 56, No. 1, 13--42 (2014; Zbl 1297.55020)]). Now suppose that \(\mathbb{N}\) is another right proper, stable, cellular model category and that \(F : \mathbb{M} \to \mathbb{N}\) is a left Quillen functor. Then the authors prove the ``Cellularization Principle.'' One form of this principle says that given a stable set \(\mathcal{K} = \{A_\alpha\}\) of small objects in \(\mathbb{M}\) subject to several mild hypotheses, there is a Quillen equivalence between the \(\mathcal{K}\)-cellularization of \(\mathbb{M}\) and the \(\{FQA_\alpha\}\)-cellularization of \(\mathbb{N}\), where \(Q\) is a cofibrant replacement functor for \(\mathbb{M}\). The authors also prove four other results that are related to the stated version of the Cellularization Principle in various ways. In the remainder of the paper, the authors give a host of interesting applications of the Cellularization Principle. These applications include results on the topics of smashing localizations and categories of module spectra, ring \(G\)-spectra, differential graded \(R\)-modules for a commutative Noetherian ring \(R\), and homotopy pullbacks of differential graded algebras.