Basic questions on the homotopy category - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T11:14:41Z http://mathoverflow.net/feeds/question/120534 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/120534/basic-questions-on-the-homotopy-category Basic questions on the homotopy category Daniel Miller 2013-02-01T18:50:47Z 2013-02-02T20:27:30Z <p>I apologize in advance if this the answer to this question is standard or well-known. I am not in any way an algebraic topologist.</p> <p>$\newcommand{\s}{\mathscr}$Let $\s T$ be the category of topological spaces, $\s T_*$ the category of pointed topological spaces. We can construct the homotopy category $\s H$ and the "pointed homotopy category" $\s H_{*}$ by letting $\hom_{\s H}(X,Y)$ be $\hom_{\s T}(X,Y)$ modulo homotopy and $\hom_{\s H_*}(X,Y)$ be $\hom_{\s T_*}(X,Y)$ modulo homotopies preserving basepoints. There are obvious functors $F:\s T\to \s H$, $F_{*}:\s T_{*}\to \s H_{*}$. </p> <p>My questions are pretty basic: do $F,F_*$ preserve products? arbitrary limits? only arbitrary finite limits? coproducts? arbitrary colimits? It not, how does one compute colimits in $\s H$ and $\s H_{*}$?</p> <p>If this can be found in a standard reference, just write an answer saying "this is a stupid question - this is all worked out in...," and I'll upvote and accept.</p> http://mathoverflow.net/questions/120534/basic-questions-on-the-homotopy-category/120558#120558 Answer by Adam Epstein for Basic questions on the homotopy category Adam Epstein 2013-02-01T23:28:18Z 2013-02-01T23:28:18Z <p>As Tom points out, many diagrams in the homotopy categories do not even have limits or colimits, so the forgetful functor cannot preserve them!</p> <p>Meanwhile, I too had difficulty chasing this down, until I found the following remark (M. Mather, Pullbacks in homotopy theory, Can. J. Math. 1976):</p> <p>"For example, no essential map between Eilenberg-MacLane spaces of different dimensions has a kernel". </p> <p>My attempt at reconstruction goes as follows. Let $m,n$ be positive integers and let $G,H$ be abelian groups. If $m\neq n$ then any morphism $K(G,m)\rightarrow K(H,n)$ induces the zero morphism $\pi_\ell(K(G,m))\rightarrow\pi_\ell(K(H,n))$ for each $\ell\geq 0$. However, since the set of morphisms $K(G,m)\rightarrow K(H,n)$ is in canonical bijection with $H^n(K(G,m),H)$ which is typically nontrivial, such essential morphisms do exist. To see that such a morphism $K(G,m)\rightarrow K(H,n)$ admits no kernel, note that if $X\rightarrow K(G,m)$ were such a kernel then all the induced maps $\pi_\ell(X)\rightarrow\pi_\ell(K(G,m))$ would be bijections (for $\ell=m$ because $\pi_m(K(H,n))=0$, for $\ell\neq m$ because $\pi_\ell(K(G,m))=0$) so that $X\rightarrow K(G,m)$ would be an isomorphism in the homotopy category, whence $K(G,m)\rightarrow K(H,n)$ must be inessential.</p> <p>I have been meaning to post my own question regarding whether anyone happens to know a simpler example (or a recipe, or a reference) of a diagram which fails to have co/limits.</p> http://mathoverflow.net/questions/120534/basic-questions-on-the-homotopy-category/120559#120559 Answer by David White for Basic questions on the homotopy category David White 2013-02-01T23:39:10Z 2013-02-01T23:39:10Z <p>For products and coproducts, this is covered on <a href="http://books.google.com/books?id=5nSCRSN51aoC&amp;pg=PA67&amp;lpg=PA67&amp;dq=%2522homotopy+category%2522+%2522coproduct%2522&amp;source=bl&amp;ots=nYG-7fQ8L-&amp;sig=96P788qaRX9odI5hoXt4GjltWI4&amp;hl=en&amp;sa=X&amp;ei=f0wMUdvxF8jO0QGDo4GgAw&amp;ved=0CEIQ6AEwAg#v=onepage&amp;q=%2522homotopy%2520category%2522%2520%2522coproduct%2522&amp;f=false" rel="nofollow">page 67-68</a> of "Introduction to Homotopy Theory" by Martin Arkowitz</p> <p>To see that the homotopy category is not complete or cocomplete (i.e. that there are diagrams which don't have limits or colimits), check out "<a href="http://books.google.com/books?id=ruhFJoMIIPoC&amp;pg=PA435&amp;lpg=PA435&amp;dq=%2522homotopy+category+is+not+complete%2522&amp;source=bl&amp;ots=unbnzxnQEw&amp;sig=bdqSemTchBfKZvCxvpvuy-KxzqQ&amp;hl=en&amp;sa=X&amp;ei=mE0MUZGGOZKs0AH2-4DwBg&amp;ved=0CDEQ6AEwAQ#v=onepage&amp;q=%2522homotopy%2520category%2520is%2520not%2520complete%2522&amp;f=false" rel="nofollow">Modern Classical Homotopy Theory</a>" by Jeffrey Strom, page 435. He explicitly constructs a diagram with no colimit.</p> <p>This question of yours is a good question, because thinking this way (i.e. asking for good categorical properties) has led to lots of theory over the years. I discuss two such cases below, although for your application they will probably not be helpful.</p> <hr> <p>I study <strong>model categories</strong>, which are categories where one can "do homotopy theory." So $Top$ and $Top_\ast$ are examples. Let $M$ be a model category (feel free to think of $M$ as $Top$) and let $Ho(M)$ be its homotopy category. It turns out that you get arbitrary products and coproducts in $Ho(M)$ for any model category $M$ (see Hovey's book "Model Categories" 1.3.11). Furthermore, you can sometimes compute products on the model category level, as we'll now discuss. </p> <p>If one wants $F:M\to Ho(M)$ to preserve products, then one wants $M$ to be a monoidal model category, i.e. to have the structure of a monoidal category (for $Top$ this means having a notion of product, which it does) and to satisfy a coherence condition which says that the monoidal products plays nicely with the model structure. It's proven in Mark Hovey's book <em>Model Categories</em> that $Top$ and $Top_\ast$ are monoidal model categories, i.e. have that coherence condition. So $Ho(Top)$ is a monoidal category whose unit is the image under $F$ of the unit in $Top$. In $Top$ the unit is $\ast$ and so it must be $\ast$ again in $Ho(Top)$. Furthermore, this means you can compute products on the model category level, so if someone gives you two objects of $Ho(Top)$ you can find an object $X\in Top$ such that $F(X)$ is the product of in $Ho(Top)$. The same story works with $Top_\ast$, but now the product is the smash product of spaces.</p> <p>The lack of colimits and limits is remedied in this context by considering homotopy limits and homotopy colimits. The idea here is that if you have a diagram in $Ho(M)$ then that's like a diagram in $M$ where we don't care about replacing objects up to weak equivalence. Given that choice not to care, the homotopy (co)limit is the object completing the diagram, i.e. satisfies a universal property which factors in the ability to replace objects in the diagram by weakly equivalent ones. Here is a good <a href="http://blog.konradvoelkel.de/2012/11/homotopy-limits/" rel="nofollow">blog post</a> on the subject.</p> <hr> <p>The desire for nice categorical properties was one of the reasons people started to study the <strong>stable homotopy category</strong>. A great reference here is Margolis's book "Spectra and the Steenrod Algebra". In the introduction he defines the stable homotopy category in several steps and discusses which limits and colimits you are getting at each step. He mentions that even the category of CW complexes does not have good limit structures, and proceeds to move from CW to the Spanier-Whitehead category (which has stable homotopy classes of maps), and then go one farther to $\mathcal{S}$ (the coproduct completion of the subcategory $SW_f$ of finite complexes, a triangulated category). He discusses in chapter 3 that $\mathcal{S}$ has arbitrary coproducts and arbitrary weak colimits. In chapter 5, section 2, he mentions that it has arbitrary products and discusses weak limits.</p> http://mathoverflow.net/questions/120534/basic-questions-on-the-homotopy-category/120572#120572 Answer by Tom Goodwillie for Basic questions on the homotopy category Tom Goodwillie 2013-02-02T03:49:22Z 2013-02-02T14:51:14Z <p>The inclusion $\mathbb RP^2\to \mathbb CP^2$ has no kernel in the pointed homotopy category.</p> <p>Proof: </p> <p>Suppose $X\to \mathbb RP^2$ is such a kernel. Then maps $S^1\to X$ (in that category) correspond bijectively to maps $S^1\to\mathbb RP^2$ such that the composed map $S^1\to \mathbb CP^2$ is trivial. This means that $\pi_1(X)$ has order $2$. </p> <p>It follows that there is a map $\mathbb RP^2\to X$ inducing an isomorphism of $\pi_1$. The composed map $\mathbb RP^2\to X\to \mathbb RP^2$ also induces an isomorphism of $\pi_1$, therefore also of $H^1$ with $\mathbb Z/2$ coefficients, therefore (using naturality of cup products) an iso of $H^2$ with $\mathbb Z/2$ coefficients.</p> <p>But the map $X\to \mathbb RP^2$ must be zero on $H^2$ because the inclusion $\mathbb RP^2\to\mathbb CP^2$ is an isomorphism on $H^2$ and the composed map $X\to \mathbb RP^2 \to \mathbb CP^2$ is zero.</p> <p>EDIT: Also, the degree two map $S^1\to S^1$ has no cokernel. Briefly, any such cokernel would have to be a retract (up to homotopy) of $\mathbb RP^2$, but that would make it either a point or $\mathbb RP^2$ and neither of these does the job.</p> http://mathoverflow.net/questions/120534/basic-questions-on-the-homotopy-category/120614#120614 Answer by Mike Shulman for Basic questions on the homotopy category Mike Shulman 2013-02-02T20:27:30Z 2013-02-02T20:27:30Z <p>A very concrete example of a cospan having no pullback in the homotopy category, which does not require any knowledge of cohomology or Moore spaces, can be found <a href="http://ncatlab.org/nlab/show/Ho%28Cat%29#OtherLimits" rel="nofollow">here</a>. It's phrased in terms of the homotopy category of groupoids, but can easily be translated to speak about $K(\pi,1)$s in the homotopy category of spaces instead.</p>