Homotopy Limits over Fibered Categories - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T20:00:54Z http://mathoverflow.net/feeds/question/17425 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/17425/homotopy-limits-over-fibered-categories Homotopy Limits over Fibered Categories Eric Finster 2010-03-07T22:35:27Z 2010-03-08T11:24:37Z <p>Suppose I have a small category $\mathcal{C}$ which is fibered over some category $\mathcal{I}$ in the categorical sense. That is, there is a functor $\pi : \mathcal{C} \rightarrow \mathcal{I}$ which is a fibration of categories. (One way to say this, I guess, is that $\mathcal{C}$ has a factorization system consisting of vertical arrows, i.e. the ones that $\pi$ sends to an identity arrow in $\mathcal{I}$, and horizontal arrows, which are the ones it does not. But there are many other characterizations.)</p> <p>Now let $F : \mathcal{C} \rightarrow s\mathcal{S}$ be a diagram of simplicial sets indexed by $\mathcal{C}$. My question concerns the homotopy limit of $F$. Intuition tells me that there should be an equivalence</p> <p>$$\varprojlim_{\mathcal{C}} F \simeq \varprojlim_{\mathcal{I}} \left (\varprojlim_{\mathcal{C}_i} F_i \right )$$</p> <p>where I write $\mathcal{C}_i = \pi^{-1}(i)$ for any $i \in \mathcal{I}$, $F_i$ for the restriction of $F$ to $\mathcal{C}_i$ and $\varprojlim$ for the homotopy limit.</p> <p>Intuitively this says that when $\mathcal{C}$ is fibered over $\mathcal{I}$, I can find the homotopy limit of a $\mathcal{C}$ diagram of spaces by first forming the homotopy limit of all the fibers, realizing that this collection has a natural $\mathcal{I}$ indexing, and then taking the homotopy limit of the resulting diagram.</p> <p>Does anyone know of a result like this in the model category literature?</p> <p>Update: After reading the responses, I was able to find a nice set of exercises <a href="http://www-math.mit.edu/~mbehrens/TAGS/Isaacson_exer.pdf" rel="nofollow">here</a> which go through this result in its homotopy colimit version.</p> http://mathoverflow.net/questions/17425/homotopy-limits-over-fibered-categories/17434#17434 Answer by Charles Rezk for Homotopy Limits over Fibered Categories Charles Rezk 2010-03-08T00:08:03Z 2010-03-08T00:08:03Z <p>I can't think of a reference for this. But here is what I would do:</p> <p>Given any functor $\pi\colon C\to I$ (not necessarily fibered), there's a "homotopy right Kan extension" functor $$\lim{}^\pi \colon Func(C,sS) \to Func(I,sS),$$ and a weak equivalence $\lim_C = \lim_I \lim{}^\pi$. There's a formula to compute $\lim{}^\pi$ in terms of ordinary homotopy limits on comma categories; it looks like $$(\lim{}^\pi F)(i) = \lim{}_{i/\pi} F_i',$$ where $i/\pi$ is the comma category with objects $(c, f:i\to \pi c)$ where $c$ is an object of $C$. The functor $F_i'$ is the composite of $F$ with the forgetful functor $(i/\pi)\to C$. </p> <p>I suspect that in your fibered category case, you are able to show that for each $i$ the evident inclusion $C_i\to (i/\pi)$ is "final" (or, possibly, "cofinal"; I can never remember which is which), and thus that $\lim_{i/\pi} F' = \lim_{C_i} F_i$.</p> <p>The "yellow monster" of Bousfield-Kan is a reference for (co)finality condition in context of homotopy (co)limits. It may also discuss homotopy Kan extensions, though I'd have to check.</p> http://mathoverflow.net/questions/17425/homotopy-limits-over-fibered-categories/17463#17463 Answer by Denis-Charles Cisinski for Homotopy Limits over Fibered Categories Denis-Charles Cisinski 2010-03-08T11:24:37Z 2010-03-08T11:24:37Z <p>The axiomatic way to present this is Heller's theory of homotopy theories, which is the same as Grothendieck's theory of derivators (see the references in the links below). As any model category defines a derivator (see <a href="http://ambp.cedram.org/ambp-bin/fitem?id=AMBP_2003__10_2_195_0" rel="nofollow">here</a>), what you want is precisely Lemma 2.3 in this <a href="http://www.tac.mta.ca/tac/volumes/20/17/20-17abs.html" rel="nofollow">paper</a>.</p>