Document Zbl 1234.55015 - zbMATH Open

Let \(I\) be a direct category and \(\Phi: I^{op} \rightarrow \text{ModCat}\) a diagram of model categories (i.e. a pseudofunctor). This article provides the tools to deal with the homotopy limit of this diagram and to give an interpretation in terms of sections.
The homotopy limit is constructed in two steps. First, take the Dwyer-Kan simplicial localization of each model category so as to get a diagram \(I^{op} \rightarrow \text{sCat}\). Second, construct a fibrant replacement of this diagram in the injective model structure. Its limit is a model for the homotopy limit of \(\Phi\) (the author takes care of set theoretic issues and rigidifies the pseudofunctor to a strict functor so these constructions do make sense).
The category \( \text{PSect}(I, \Phi)\) of presections consists of collections of objects \(X_i\) of \(\Phi(i)\) together with compatible structure maps \(\Phi(f) X_i \rightarrow X_j\) for all morphisms \(f: j \rightarrow i\) in \(I\). A presection is said to be homotopy compatible if the maps \(\mathbb L \Phi(f) X_i \rightarrow X_j\) are isomorphisms in \( \text{Ho} \Phi(j)\). Here \(\mathbb L \Phi(f)\) is the total left derived functor of \(\Phi(f)\). The category of presections is equipped with an injective model category structure and one can thus consider its simplicial localization.
The main result of this article is then that the full simplicial subcategory consisting of homotopy compatible systems is naturally isomorphic in \( \text{Ho sCat}\) to the homotopy limit of \(\Phi\).

MSC:

55U35	Abstract and axiomatic homotopy theory in algebraic topology
55P99	Homotopy theory
18A30	Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)
18G10	Resolutions; derived functors (category-theoretic aspects)
18G55	Nonabelian homotopical algebra (MSC2010)

References:

[1]	Toën, B., Higher and derived stacks: A global overview, (Algebraic geometry—Seattle 2005. Part 1. Algebraic geometry—Seattle 2005. Part 1, Proc. Sympos. Pure Math., vol. 80 (2009), Amer. Math. Soc.: Amer. Math. Soc. Providence, RI), 435-487 · Zbl 1183.14001
[2]	Bergner, J. E., A model category structure on the category of simplicial categories, Trans. Amer. Math. Soc., 359, 5, 2043-2058 (2007), (electronic) · Zbl 1114.18006
[3]	Hovey, M., Model categories, (Mathematical Surveys and Monographs (1999), American Mathematical Society: American Mathematical Society Providence, RI), xii+209 · Zbl 0909.55001
[4]	Hirschhorn, P. S., Model categories and their localizations, (Mathematical Surveys and Monographs, vol. 99 (2003), American Mathematical Society: American Mathematical Society Providence, RI), xvi+457 · Zbl 1017.55001
[5]	Dwyer, W. G.; Kan, D. M., Calculating simplicial localizations, J. Pure Appl. Algebra, 18, 1, 17-35 (1980) · Zbl 0485.18013
[6]	Dwyer, W. G.; Kan, D. M., Function complexes in homotopical algebra, Topology, 19, 4, 427-440 (1980) · Zbl 0438.55011

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.