Exact sequences in homotopy categories - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T20:44:10Z http://mathoverflow.net/feeds/question/89822 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/89822/exact-sequences-in-homotopy-categories Exact sequences in homotopy categories Anton Fetisov 2012-02-29T02:17:22Z 2012-03-01T01:20:29Z <p>I am not really familiar with homotopical category theory, so please forgive me if I make rude mistakes. I know quite a bit of common category theory, as well as familiar with algebraic topology.</p> <p>How can one construct exact sequences abstractly in the framework of homotopical categories? Consider any model you like (topologically or simplicially enriched, or $(\infty,1)$-categories). <a href="http://ncatlab.org/nlab/show/fiber+sequence" rel="nofollow">nLab</a> teaches us that to construct exact sequences in topology one needs to consider fiber sequences and homotopy limits/colimits. A fiber sequence $F\to E \to B$ is a homotopy pullback</p> <p>\begin{array}{ccc} F &amp; \rightarrow &amp; E\\ \downarrow &amp; &amp; \downarrow\\ \ast &amp; \rightarrow &amp; B\\ \end{array}</p> <p>The loop space $\Omega X$ of $X$ is defined as a homotopy pullback </p> <p>\begin{array}{ccc} \Omega X &amp; \rightarrow &amp; \ast \\ \downarrow &amp; &amp; \downarrow\\ \ast &amp; \rightarrow &amp; X\\ \end{array}</p> <p>Dually, one can define cofiber sequences and suspensions $\Sigma X$. We get a standard adjunction $\Sigma \vdash \Omega$. Given a fiber sequence, one can have a long fiber sequence $\dots\to\Omega E \to \Omega B \to F \to E \to B$. To begin with, consider a homotopy pullback rectangle</p> <p>\begin{array}{ccc} \Omega B &amp; \rightarrow &amp; \ast \\ \downarrow &amp; &amp; \downarrow\\ F &amp; \rightarrow &amp; E\\ \downarrow &amp; &amp; \downarrow\\ \ast &amp; \rightarrow &amp; B\\ \end{array}</p> <p>Standard diagram chasing and (homotopic) universality arguments show that we get a fiber sequence $\Omega \to F \to E$ etc. Now if we apply the functor <code>$\pi_0 \simeq \pi(\ast,-)$</code>, we get a sequence <code>$$\dots \to \pi_0(\Omega E) \to \pi_0(\Omega B) \to \pi_0(F) \to \dots$$</code></p> <p>Using the fact that $\pi_0$ preserves fiber sequences (because it is representable) and <code>$\pi_0(\Omega^i X) \simeq \pi_i (X)$</code> we get a classical long exact sequence of homotopy groups for a fibration.</p> <p>Now things get trickier if we consider homotopy pushouts instead of pullbacks. If we have a cover $(U,V)$ of space $X$, then we have a homotopy pushout diagram</p> <p>\begin{array}{ccc} U\cap V &amp; \rightarrow &amp; U \\ \downarrow &amp; &amp; \downarrow\\ V &amp; \rightarrow &amp; X\\ \end{array}</p> <p>Standard arguments allow to replace this diagram with cofiber sequence $U \vee V \to X \to \Sigma (U\cap V)$. In theory it should give Seifert-van Kampen theorem and Mayer-Vietoris sequences in homology and cohomology in a similar way. In practice, I don't understand how can this happen. To get Seifert-van Kampen theorem, one should apply <code>$\pi_1\simeq \pi_0 \circ \Omega$</code>, but $\Omega$ fails to preserve cofiber sequences. Dold-Thom theorem tells us that $H_i = \pi_i \circ S$, where $S$ is the topological abelianization functor. We're fine with $S$, because it's a left adjoint to forgetful functor, but we have the same problem with $\pi_i$. It doesn't preserve cofiber sequences. Even if it did, we would have terms like <code>$\pi_i (S \Sigma X)=H_i (\Sigma X) = H_{i-1}(X)$</code> for $i>0$, and that is nothing like an ascending sequence of homology groups. Even cohomology isn't fine: we can take the space of maps to $K(\mathbb{Z},1)$ and it turns cofiber sequences into fiber sequences, but we still have a problem with grading, like in case of homology.</p> <p>So my question is: how can we deal with these difficulties and get the mentioned theorems? I didn't have any success till now in finding references on homotopy limits/colimits technique, although many sources mention them and deal with technical properties, like their existence in model categories. Any references would be greatly appreciated!</p> http://mathoverflow.net/questions/89822/exact-sequences-in-homotopy-categories/89831#89831 Answer by Marc Hoyois for Exact sequences in homotopy categories Marc Hoyois 2012-02-29T05:26:34Z 2012-02-29T12:23:05Z <p>I don't think the Seifert-van Kampen theorem follows from these kinds of considerations. Rather, it is the statement that the fundamental groupoid functor $\tau_{\leq 1}$ preserves homotopy colimits. That's because it is left adjoint to the inclusion of 1-groupoids in $\infty$-groupoids (a generalization to any $\infty$-category is in Higher Topos Theory, Prop. 5.5.6.18).</p> <p>[Removed the part on cohomology because it got me confused!]</p> <p>Added: I attempted to explain the long exact sequences in cohomology without using spectra, but that was wrong. Here's a correct explanation. The reduced cohomology of a pointed space $X$ depends only on its stabilization $\Sigma^\infty X$: it is given by $H^n(X;A)=[\Sigma^\infty X,\Sigma^n HA]$ where $HA$ is an infinite delooping of $K(A,0)$. The functor $\Sigma^\infty$ preserves cofiber sequences (being left adjoint). Now if you have a cofiber sequence in a stable category, you get long exact sequences of abelian groups when you apply functors like $[E,-]$ or $[-,E]$.</p> <p>Added later: My original answer was correct, but like I said I got confused… Here it is again. Let $A\to B\to C$ be a cofiber sequence of pointed spaces. As you say in your question, you get a fiber sequence of mapping spaces</p> <p>$Map(C,X)\to Map(B,X)\to Map(A,X)$</p> <p>for any $X$, because $Map$ transforms homotopy colimits in its first variable into homotopy limits. In its second variable it preserves homotopy limits, so $\Omega Map(A,X)=Map(A,\Omega X)$. Applying to $X=K(G,n)$ gives you the usual long exact sequence in cohomology, but only from $H^0$ to $H^n$.</p> http://mathoverflow.net/questions/89822/exact-sequences-in-homotopy-categories/89850#89850 Answer by Ronnie Brown for Exact sequences in homotopy categories Ronnie Brown 2012-02-29T09:38:52Z 2012-02-29T09:38:52Z <p>I don't think the Seifert-van Kampen Theorem is about homotopy colimits and $\infty$-groupoids, but that it allows <em>precise</em>, or, if you like, <em>strict</em>, calculations of some homotopy 1-types as colimits. Thus it is about the functor $\pi_1$ from (spaces with sets of base points) to (strict) groupoids. This links it more to combinatorial group(oid) theory, rather than higher category theory. The loop space is a functor from spaces with but one base point. </p> <p>Similarly, the higher homotopy Siefert-van Kampen theorems are about functors from spaces with structure (filtrations or $n$-cubes of spaces) to certain strict higher groupoids, or variants, and state that they preserve certain (strict) colimits. This allows for some precise <em>colimit calculations in homotopy theory</em>, avoiding where applicable the necessity to find ways of calculating extensions in exact sequences, and in fact calculates some homotopy $n$-types, even allowing some computer calculations. </p> <p>Also the <em>proofs</em> of the SvKTs do not follow methods of abstract homotopy theory. Is that a Good Thing or a Bad Thing? </p> <p>For references, see articles, etc., on my web site. </p> http://mathoverflow.net/questions/89822/exact-sequences-in-homotopy-categories/89884#89884 Answer by Karol Szumiło for Exact sequences in homotopy categories Karol Szumiło 2012-02-29T17:21:55Z 2012-02-29T17:21:55Z <p>As it was already pointed out, those statements will not follow from such general principles. What you would like to conclude is that homotopy pushouts are (or to certain degree behave like) homotopy pullbacks. Such a phenomenon is called <em>excision</em>. In the language of $\infty$-categories you can define a functor $\mathcal{C} \to \mathcal{D}$ to be <em>excisive</em> if it sends homotopy pushouts to homotopy pullbacks. However, being excisive is rather strong condition and proving that some functor satisfies it usually takes some work. In particular I don't think there is some abstract way around the usual point-set arguments used to prove Seifert--van Kampen theorem or various excision theorems (i.e. in homotopy or singular homology).</p> <p>There are lots of generalizations of this notion that consider higher connectivity, functors of many variables etc. Those ideas give rise to Goodwillie calculus. Jacob Lurie has recently updated his <em>Higher Algebra</em> which now containes a full chapter developing Goodwillie calculus in the language of $\infty$-categories. Some more basic properties of excisive functors are discussed in section 1.4.</p>