When constructing a general left Bousfield localization of a cofibrantly generated model category at a set of maps , it is fairly straightforward to construct a localization functor, i.e. a fibrant replacement functor for the putative localized model category , by a small object argument. We represent the maps in by cofibrations between cofibrant objects, take their pushout products with all boundary inclusions (assuming for simplicity that is a simplicial model category), and add all the generating acyclic cofibrations of . Then an object has the right lifting property with respect to this set if and only if it is fibrant in (because we added the generating acyclic cofibrations of ) and for all in the induced map of simplicial mapping spaces (which is a fibration since is a cofibration and is fibrant) is an acyclic fibration, i.e. is -local. However, it is much harder to construct a factorization of an arbitrary map as an -acyclic cofibration followed by an -fibration — one has to use a cardinality argument to obtain a set of generating -acyclic cofibrations — and accordingly the -fibrations have no explicit description.
This can be seen as a homotopy-theoretic analogue of the construction of a reflective factorization system. The localization functor exhibits the -local objects as a reflective subcategory, while the -acyclic cofibrations and -fibrations are a model-categorical representation of the corresponding reflective factorization system, whose left class consists of the morphisms inverted by the reflector (here, the -local equivalences) and whose right class is defined by orthogonality to these. Even in 1-category theory?, constructing reflective factorizations requires finicky cardinality or size-based arguments as well. However, there are some reflections, such as the semi-left-exact reflections, for which the reflective factorization system can be constructed by a direct argument in one step. The homotopy-theoretic analogue of these is a semi-left-exact left Bousfield localization.
The following is Theorem 1.1 of Stanculescu, which is an improved version of Theorems 9.3 and 9.7 from Bousfield 2001, which are in turn an improved version of Appendix A of Bousfield-Friedlander 78.
Let be a model category and a functor equipped with a natural transformation such that
Then there is a new model structure on whose cofibrations are those of , whose weak equivalences are the -equivalences, and whose fibrations are the maps whose -naturality-square is a homotopy pullback. Moreover, is right proper, and simplicial if is.
The first two conditions say essentially that is a homotopical reflection into some subcategory (namely the -local objects). The third condition says that it is semi-left-exact (a 1-categorical reflection of into is semi-left-exact if and only if pullback along morphisms in preserves morphisms that are inverted by the reflector).
For details of the proof, see the references. The central point is the construction of the factorization into an -acyclic cofibration and an -fibration, which proceeds by first applying along with fibrant replacement, then taking a homotopy pullback: the same way that a reflective factorization system is constructed from a semi-left-exact reflection in 1-category theory.
Right properness of semi-left-exact left Bousfield localizations was also shown in Gepner-Kock, Prop. 7.8, with special attention paid to type-theoretic model categories.
Nullification, i.e. localization at a family of maps , is always semi-left-exact. (Indeed, nullification is what in homotopy type theory is called a higher modality, and has reflection with stable units?, a stronger condition.)
Left exact? reflections are always semi-left exact. In particular, the left-exact localizations that present Grothendieck (∞,1)-toposes can be constructed in this way.
Aldridge Bousfield, Eric Friedlander, def. 1.1.6 in Homotopy theory of -spaces, spectra, and bisimplicial sets, Springer Lecture Notes in Math., Vol. 658, Springer, Berlin, 1978, pp. 80-130. (pdf)
Aldridge Bousfield, On the telescopic homotopy theory of spaces, Trans. Amer. Math. Soc. 353 (2001), 2391-2426, web with fulltext
Alexandru E. Stanculescu, Note on a theorem of Bousfield and Friedlander, Topology and its Applications 155 13 (2008) 1434-1438 [arxiv:0806.4547, doi:10.1016/j.topol.2008.05.003]
Philip Hirschhorn, chapter 13 of Model Categories and Their Localizations, 2003 (AMS, pdf toc, pdf)
Cassidy and Hébert and Kelly, “Reflective subcategories, localizations, and factorization systems”. J. Austral. Math Soc. (Series A) 38 (1985), 287–329 (pdf)
David Gepner and Joachim Kock, Univalence in locally cartesian closed categories, arxiv:1208.1749
Last revised on April 1, 2023 at 16:31:36. See the history of this page for a list of all contributions to it.