What does actually being a CW-complex provide in algebraic topology? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T15:29:43Z http://mathoverflow.net/feeds/question/74863 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/74863/what-does-actually-being-a-cw-complex-provide-in-algebraic-topology What does actually being a CW-complex provide in algebraic topology? Andrew Stacey 2011-09-08T11:29:06Z 2012-03-21T18:17:28Z <p>From time to time, I pretend to be an algebraic topologist. But I'm not really <em>hard-core</em> and some of the deeper mysteries of the subject are still ... mysterious. One that came up recently is the exact role of CW-complexes. I'm very happy with the mantra "CW-complexes Good, really horrible pathological spaces Bad." but there's a range in the middle there where I'm not sure if the classification is "Good" or just "Pretty Good". These are the spaces with the homotopy type of a CW-complex.</p> <p>In the algebraic topology that I tend to do then I treat CW-complexes in the same way that I treat Riemannian metrics when doing differential topology. I know that there's always a CW-complex close to hand if I really need it, but what I'm actually interested in doesn't seem to depend on the space actually being a CW-complex. But, as I said, I'm only a part-time algebraic topologist and so there may be whole swathes of this subject that I'm completely unaware of where actually having a CW-complex is of extreme importance.</p> <p>Thus, my question:</p> <p>In algebraic topology, if I have a space that actually is a CW-complex, what can I do with it that I couldn't do with a space that merely had the homotopy type of a CW-complex?</p> http://mathoverflow.net/questions/74863/what-does-actually-being-a-cw-complex-provide-in-algebraic-topology/74868#74868 Answer by David White for What does actually being a CW-complex provide in algebraic topology? David White 2011-09-08T11:59:07Z 2012-01-30T19:59:01Z <p>As a homotopy theorist, the best reason for me is <strong>Whitehead's Theorem</strong>. This says that if $X$ and $Y$ are connected CW complexes and $f:X\rightarrow Y$ is a weak homotopy equivalence (i.e. induces an isomorphism on $\pi_n$ for all $n$) then it is a homotopy equivalence. According to <a href="http://en.wikipedia.org/wiki/Whitehead_theorem" rel="nofollow">wikipedia</a>, this was the original justification for CW-complexes when Whitehead introduced them. I'd say this is the best answer I can give for the question of "what can you actually do with CW complex that I can't do with a general topological space."</p> <hr> <p>EDIT: Here are other reasons CW Complexes are cool, but these don't seem to directly answer the question in the way that the above does.</p> <p>Another reason to consider CW complexes is that they are <strong>much easier to work with</strong> than general topological spaces because of the inductive definition using cells. In particular, a CW complex is a colimit of its $n$-skeleta $X_n$. This makes it much easier to compute things for CW complexes, e.g. cellular (co)homology, homotopy. <a href="http://en.wikipedia.org/wiki/Moore_space_%28algebraic_topology%29" rel="nofollow">Moore spaces</a> and <a href="http://en.wikipedia.org/wiki/Eilenberg-MacLane_space" rel="nofollow">Eilenberg-Maclane spaces</a> are CW-complexes and the constructions aren't too hard. Also, you can construct a space $X$ as an inverse limit of Eilenberg-Maclane spaces via the <a href="http://en.wikipedia.org/wiki/Postnikov_tower" rel="nofollow">Postnikov Tower</a>, so again CW complexes give you a way to "get your hands on" a general space $X$. Furthermore, you have the <a href="http://en.wikipedia.org/wiki/Cellular_approximation" rel="nofollow">cellular approximation theorem</a> which says that an arbitrary continuous map between CW complexes $X$ and $Y$ is homotopic to a (much nicer) cellular map, i.e. one which takes the $n$-skeleton of $X$ to the $n$-skeleton of $Y$. </p> <p>Because of this nice structure, if you want to prove something for all topological spaces, it's often easier to first prove it for CW-complexes and then apply the <strong><a href="http://mathworld.wolfram.com/CW-ApproximationTheorem.html" rel="nofollow">CW-approximation theorem</a></strong> to get it for all spaces. The CW-approximation theorem says that for any topological space $X$ there's a CW complex $Y$ and $f:Y\rightarrow X$ inducing isomorphisms on homotopy, homology, and cohomology. In particular, this expresses $X$ (up to homotopy) as a colimit of a sequence of cellular inclusions $Y_n \hookrightarrow Y$. Thus, the homotopy groups of $X$ are colimits of the homotopy groups of the $Y_n$ and $\pi_*(Y_{n+1})\rightarrow \pi_*(X)$ is an epimorphism.</p> <p>I've listed several reasons above why the category $\mathcal{CW}$ of CW complexes is nice. More reasons: it contains the category of Graphs, geometric realizations of <del> locally finite </del> simplicial sets are in $\mathcal{CW}$, and you remove such monstrosities as the <a href="http://en.wikipedia.org/wiki/Long_line_%28topology%29" rel="nofollow">Long Line</a> (which has the weak homotopy type of a point but is not contractible). If you want to find the "right" category to do homotopy theory you should first go to compactly-generated Hausdorff Spaces (CGHS). You can put the Quillen model structure on this and recover $\mathcal{CW}$ as the fibrant-cofibrant objects. For all these reasons and more, many think $Ho(\mathcal{CW})$ is the "right" place to do homotopy theory. For instance, in this category you have <strong><a href="http://en.wikipedia.org/wiki/Brown_representability_theorem" rel="nofollow">Brown representability</a></strong>, i.e. necessary and sufficient conditions for a functor $F:Ho(\mathcal{CW})^{op}\rightarrow Set$ to be representable. So this lets you understand cohomology theories by their representing objects. This representability is another nice feature that you need an honest to goodness CW complex for. See the excellent answer given by our very own OP <a href="http://mathoverflow.net/questions/47509/brown-representability-beyond-cw-complexes" rel="nofollow">here</a>.</p> http://mathoverflow.net/questions/74863/what-does-actually-being-a-cw-complex-provide-in-algebraic-topology/74869#74869 Answer by Mark Grant for What does actually being a CW-complex provide in algebraic topology? Mark Grant 2011-09-08T12:11:37Z 2011-09-12T13:33:34Z <p>The words "actually is a CW-complex" suggest to me that the CW-structure is known, whereas simply having the homotopy type of a CW-complex suggests the CW-structure is unknown, or at least not uniquely determined. So one answer to your question could be, "compute invariants that are defined using the CW-structure".</p> <p>I have in mind cellular homology and cohomology, of course. But there are other examples from homotopy theory, such as various types of Hopf invariant, boundary maps in cofibre sequences, the Leray-Serre and Atiyah-Hirzebruch spectral sequences, $\ldots$</p> <p>$\ldots$ and Whitehead torsion (see John Klein's answer).</p> http://mathoverflow.net/questions/74863/what-does-actually-being-a-cw-complex-provide-in-algebraic-topology/74877#74877 Answer by Tyler Lawson for What does actually being a CW-complex provide in algebraic topology? Tyler Lawson 2011-09-08T13:33:26Z 2011-09-08T13:33:26Z <p>Those of us who do algebraic topology too much should remember occasionally that topological spaces are, in general, terrible to work with.</p> <p>CW-complexes have a lot of properties that make them nice to work with in homotopy theory, such as being amenable to study by homotopy groups and such as being able to define maps out inductively. These properties are still possessed by objects with the homotopy type of a CW-complex.</p> <p>However, CW-complexes are also nice on the <em>point-set</em> level. They're compactly generated, locally contractible, and every compact subset is contained in a finite CW-subcomplex - and finite CW-complexes have almost every space-level regularity property that one can name. If one has the goal of doing homotopy theory, the fact that we have this large class of nice spaces means that (to a certain extent) we can set many point-set considerations aside. And sometimes these point-set considerations can be irritating (such as the smash product being nonassociative).</p> <p>Objects just in the homotopy type can be terrible. Take the cone on your favorite pathological space and you find something with the homotopy type of a nice CW-complex but terrible point-set behavior.</p> http://mathoverflow.net/questions/74863/what-does-actually-being-a-cw-complex-provide-in-algebraic-topology/74904#74904 Answer by Chris Schommer-Pries for What does actually being a CW-complex provide in algebraic topology? Chris Schommer-Pries 2011-09-08T16:51:01Z 2011-09-12T22:46:50Z <p>Here is another interesting class to throw in the mix in between CW-complexes and general spaces. They are defined exactly like CW-complexes, by inductively attaching cells, except that you are allowed to attach cells in any order. I think these have the homotopy type of CW-complexes, but are nicer point-set wise then the general class of things with these homotopy types. (See Tyler's answer).</p> <p>They also show up in nature! If you have a manifold and a Morse function, then the handle body structure doesn't usually give you a CW-complex structure unless the critical values are ordered by index (i.e all index k critical points have the same critical value, say k). Otherwise you end up attaching cells in unusual orders. </p> <p>However, a CW-complex has a natural <em>filtration</em>. This allows you to induct on the dimension of cells. It also allows you to construct certain easy spectral seqeuences. For example, the cellular homology complex comes from a sort of trivial application of this filtration. More generally the construction of the Atiyah–Hirzebruch spectral sequence uses this filtration. So it is nice to know something is a CW-complex, or at least is homotopy equivalent to it. </p> <p>So to summarise:</p> <ol> <li>CW complexes have nice point-set and homotopical properties.</li> <li>CW complexes have nice computational properties (for example a useful filtration).</li> <li>Knowing that $X$ is homotopy equivalent to a CW complex allows you to transfer computational (homotopy invariant) results about CW-complexes to $X$. For example: the Atiyah–Hirzebruch spectral sequence.</li> </ol> <p>There are many other classes of spaces satisfying the first condition, but fewer also satisfying the second. But notice that once you <em>have</em> the class of CW complexes you can do all sorts of things for spaces that are only homotopy equivalent to CW complexes without them actually being CW-complexes. Once you have CW-complexes at your disposal you can prove results about things which are not themselves CW complexes, which would otherwise be difficult to prove. </p> http://mathoverflow.net/questions/74863/what-does-actually-being-a-cw-complex-provide-in-algebraic-topology/75145#75145 Answer by John Klein for What does actually being a CW-complex provide in algebraic topology? John Klein 2011-09-11T15:03:36Z 2011-09-11T15:03:36Z <p>One should not forget that certain invariants, such as Whitehead torsion, are defined using a choice of CW structure. </p> http://mathoverflow.net/questions/74863/what-does-actually-being-a-cw-complex-provide-in-algebraic-topology/91844#91844 Answer by Ronnie Brown for What does actually being a CW-complex provide in algebraic topology? Ronnie Brown 2012-03-21T18:17:28Z 2012-03-21T18:17:28Z <p>There is a fundamental reason why CW-complexes $X$ say are useful, namely for the purpose of constructing continuous functions $f: X \to Y$ by induction on the skeletal filtration $X^n, n \geqslant 0$, and for going from $X^{n-1}$ to $X^{n}$ knowing that you have to construct the extension only on each $n$-cell $e^n$. The topology on $X$ is arranged precisely for this purpose. So a complicated space is put together from simple ones. </p> <p>It is this possibility of constructing continuous functions, and also homotopies, which allows for the proof of the Theorem of Whitehead mentioned above. </p> <p>It interesting to trace the development of this concept from his earlier papers for example</p> <p>Whitehead, J H.C. On incidence matrices, nuclei and homotopy types. Ann. of Math. (2) 42 (1941) 1197--1239, </p> <p>which introduced the term "membrane complexes, which are so to speak more elastic than simplicial complexes". The idea was to avoid the subdivision into simplices by amalgamating them. This paper, and others, were rewritten after the war, in terms of the CW-complexes we know and love. </p> <p>A crucial point was to be able to construct not only continuous functions but also continuous homotopies of these. For these a result on the product of CW-complexes was needed, which I was told took him a year to prove. He also early on formulated basic results on adjunction spaces, which are now clear in terms of pushouts. </p> <p>I feel the emphasis on filtrations is crucial, and allows for other methods in algebraic topology. </p>