Homotopy limits of quasi-categories - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T09:32:48Z http://mathoverflow.net/feeds/question/95021 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/95021/homotopy-limits-of-quasi-categories Homotopy limits of quasi-categories Lennart Meier 2012-04-24T13:22:41Z 2012-04-24T18:51:31Z <p>Quasi-categories (or $\infty$-categories, as they are often called) are a very convenient setting for doing abstract homotopy theory. One of their amazing features is the following: Given a diagram of quasi-categories, we can form its homotopy limit, yielding a quasi-category again. For example, the inverse (homotopy) limit of the diagram</p> <blockquote> <p><code>$\cdots \xrightarrow{\Omega} \mathcal{S}_* \xrightarrow{\Omega} \mathcal{S}_* \xrightarrow{\Omega} \mathcal{S}_*$</code></p> </blockquote> <p>(for $\mathcal{S}_*$ the quasi-category of pointed spaces and $\Omega$ denotes the loop space) gives the quasi-category of spectra. These homotopy limits can be (abstractly) defined to be the homotopy limits in the Joyal model structure on simplicial sets, where the quasi-categories are just the fibrant objects. There is also a more explicit description given in Lurie's Higher Topos Theory (we come back to an example later in this question).</p> <p>Many important examples of quasi-categories are constructed from a simplicial model category $\mathcal{M}$ in the following way: The sub simplicial category $\mathcal{M}^\circ$ of bifibrant objects forms a Bergner fibrant simplicial category and taking the coherent nerve produces a quasi-category $N(\mathcal{M}^\circ)$. Thus, the following question seems to be natural: Can we reconstruct the homotopy limit of the coherent nerves of a diagram of model categories as the coherent nerve of a "homotopy limit" of model categories?</p> <p>A candidate is given in Julie Bergner's paper <a href="http://www.math.ucr.edu/%257Ejbergner/Holim.pdf" rel="nofollow">Homotopy limits of model categories and more general homotopy theories</a>, Definition 3.1. We won't recall here the general definition, but only indicate it in the case that we index over a diagram with one object and a group $G$ as automorphism (i.e., we have a group action on our model category): Then an object in $holim_G \mathcal{M}$ is an object $X \in \mathcal{M}$ together with morphisms $f_g: X \to g\cdot X$ (for $g\in G$) such that $f_e = id_X$ and $f_{hg} = (h\cdot f_g)\circ f_h$ (i.e, objects with a twisted $G$-action). At least in this case, the homotopy limit has a model structure (Bergner mentions the injective one, but at least sometimes, it has also the projective one, which is Quillen equivalent); actually it is a simplicial one if $\mathcal{M}$ was a simplicial model category. Indeed, it is the simplicial subcategory of $G$-equivariant morphisms in $Fun(EG, \mathcal{M})$ where $EG$ denotes the contractible groupoid associated to $G$. Thus, more precisely, our question is:</p> <blockquote> <p>Is $N((holim_G \mathcal{M})^\circ)$ categorically equivalent to $holim_G N(\mathcal{M}^\circ)$ as quasi-categories?</p> </blockquote> <p>There are several pieces of evidence for this:</p> <ol> <li><p>If I am not mistaken, the description of homotopy limits in Higher Topos Theory implies that the homotopy fixed points of a quasi-category $\mathcal{C}$ are given as $Map(N(EG), \mathcal{C})^G$ (where Map denotes the internal Hom of simplicial sets and $()^G$ denotes strict fixed points). Thus the question is equivalent to whether $Map(N(EG), N(\mathcal{M}^\circ))^G$ is categorically equivalent to $N((Fun(EG, \mathcal{M})^G)^\circ)$. By strictification of homotopy coherent diagrams, a similar statement holds if we don't take $G$-fixed points, but I don't see how to prove the statement involving the $G$-fixed points.</p></li> <li><p>Even more convincingly, Julie Bergner shows in her paper that homotopy limits of model categories are compatible with homotopy limits in the complete Segal space model structure on simplicial spaces. More precisely, she shows that the classification diagram functor commutes with homotopy limits up to weak equivalence (Theorem 4.1). Now, one could get the impression that we are finished since the complete Segal space model structure and the Joyal model structure are Quillen equivalent. But this is not sufficient: one has to prove that the classification diagram functor is send under this Quillen equivalence to something weakly equivalent to the coherent nerve. Although one gets some compatibility results from the papers <a href="http://www.math.uchicago.edu/~may/IMA/Incoming/Joyal/QvsDJan9%25282007%2529.pdf" rel="nofollow">Quasi-categories vs. Simplicial Categories</a> (by Andre Joyal) and <a href="http://www.math.ucr.edu/%257Ejbergner/CSSFunctors.pdf" rel="nofollow">Complete Segal spaces arising from simplicial categories</a> (by Julie Bergner), I didn't quite find the right statement to make the comparision work. </p></li> </ol> <p>As a last word of motiviation, I want to add that I stumbled upon these questions when I thought about Galois descent, where one often considers objects with twisted group actions. </p> http://mathoverflow.net/questions/95021/homotopy-limits-of-quasi-categories/95054#95054 Answer by Chris Schommer-Pries for Homotopy limits of quasi-categories Chris Schommer-Pries 2012-04-24T18:26:05Z 2012-04-24T18:51:31Z <p>I will address your second question: "one has to prove that the classification diagram functor is sent under this Quillen equivalence to something weakly equivalent to the coherent nerve".</p> <p>The answer is yes, this is true. First note that the simplicial category $M^\circ$ is equivalent as a simplicial category to $L^HM$, the hammock localization of M (at the weak equivalences). See <a href="http://ncatlab.org/nlab/show/simplicial+localization#simplicial_localization_of_model_categories_33" rel="nofollow">here for references</a>. So the answer to your second question (or is it a remark?) follows as a special case of this <a href="http://mathoverflow.net/questions/92916/does-the-classification-diagram-localize-a-category-with-weak-equivalences/93139#93139" rel="nofollow">previous MO answer</a> (which cites work of Barwick-Kan and Toen). So the classification diagram functor and the coherent nerve of $M^\circ$ are sent to equivalent things under the Quillen equivalence between quasicategories and complete Segal spaces (I prefer the term <em>Rezk categories</em> or <em>Rezk $\infty$-categories</em>).</p> <p>I believe that combined with your other comments (notably using Julie Bergener's results) this is enough to answer your main question in the affirmative. </p>