This entry is about the article
Advances in Mathematics 164
(2001) 144-176
on the projective local model structure on simplicial presheaves.
Abstract Given a small category , we show that there is a universal way of expanding into a model category, essentially by formally adjoining homotopy colimits. The technique of localization becomes a method for imposing “relations” into these universal gadgets. The paper develops this formalism and discusses various applications, for instance to the study of homotopy colimits, the Dwyer-Kan theory of framings, and to the homotopy theory of schemes.
The article discusses the projective global and local model structure on simplicial presheaves.
The general discussion is in parts is based on the unfinished but useful notes
In particular this
shows that and how the projective model structure on simplicial presheaves on is something like the free completion of under homotopy colimits. This is the model-category theoretic analog of the fact that the (∞,1)-category of (∞,1)-presheaves on is the
free (∞,1)-cocompletion of ;
announces the statement of Dugger’s theorem which states that every combinatorial model category arises as the left Bousfield localization of the projective global model structure on simplicial presheaves. The full proof of this is in the companion article
discusses cofibrant replacement in the projective model structures (necessarily both for the global as well as for the local structure)
discusses geometric realization of -stacks on Diff essentially by using the geometric homotopy -groupoid functor as disscussed at homotopy groups in an (∞,1)-topos.
The main theorem of the article is the following. For more details see (∞,1)-category of (∞,1)-presheaves.
Let and be model categories, a plain category and
two plain functors. Say that a model-category theoretic factorization of through is
a natural weak equivalence
Let the category of such factorizations have morphisms given by natural transformations such that for all all objects the diagrams
commutes.
Notice that the (∞,1)-category presented by a model category – at least by a combinatorial model category – has all (∞,1)-categorical colimits, and that the Quillen left adjoint functor presents, via its derived functor, a left adjoint (∞,1)-functor that preserves -categorical colimits. So the notion of factorization as above is really about factorizations through colimit-preserving -functors into -categories that have all colimits.
(model category presentation of free -cocompletion)
For a small category, the projective global model structure on simplicial presheaves on is universal with respect to such factorizations of functors out of :
every functor to any model category has a factorization through as above, and the category of such factorizations is contractible.
This is theorem 1.1 in the article.
Last revised on June 18, 2023 at 09:36:29. See the history of this page for a list of all contributions to it.