Talk:CW complex

Early comments

Is there some general stuff about weak topologies - to support what is an ad hoc definition here? More often 'weak' is something like 'as subspace of a product' - is the point here 'as quotient space of a coproduct.

The article needs other work, and checking. There must be plenty now known about the purely categorical side of the CW complex homotopy category.

Charles

Nowadays compactly generated Hausdorff spaces also seem to be used. From what I understand these are Hausdorff spaces where sets are closed iff all of their intersections with compact subsets are also closed.

Also, the combinatorial point of view seems to take its modern form in the theory of simplicial sets, where one can deal with well-behaved "spaces" in arbitrary categories rather than just CW-complexes in Top. A realization functor is available if one wants to deal with real live spaces.

-Gauge 17:05, 4 Dec 2004 (UTC)

Ah, but Frank Adams used to be somewhat scathing about the simplicial techniques. For doing homotopy theory, at least. Charles Matthews 19:12, 4 Dec 2004 (UTC)

Very interesting! Would you happen to have a reference containing his criticisms? Thanks, Gauge 05:57, 7 Dec 2004 (UTC)

Simplicial methods are commonly used instead of CW-complexes, though some researchers prefer to use CW-complexes. Theoretically the difference is nominal since the homotopy category of the (model) category of simplicial sets is the category of CW-complexes (with homotopy equivalence on morphisms) and the same is true of the category of topological spaces, so as far as homotopy theory is concerned, there is no difference. Marc Harper 20:35, 19 September 2006 (UTC)

Smash products

I propose that we make a separate page for the 'smash product' and kill the redirect to this page for that term. Smash products need not be defined only for CW-complexes, as far as I am aware, and there are some important examples for smash products that could be provided in a separate article. - Gauge 03:45, 18 Oct 2004 (UTC)

Go for it. -- Fropuff 04:40, 2004 Oct 18 (UTC)

OK. While we're at it, pointed space needs a page. Hard to make exciting, perhaps - it's an example of a coslice category ?! Charles Matthews 11:42, 18 Oct 2004 (UTC)

Slice category article content has been moved to comma category and explanations have been added for coslices. Cheers, Gauge 16:55, 4 Dec 2004 (UTC)

Cell complexes

In his algebraic topology book, Allen Hatcher takes a cell complex to be synonymous with a CW complex. Should we mention this in the article, or do most authors mean something more general by a cell complex (as the article currently indicates)? -- Fropuff 17:22, 2004 Dec 1 (UTC)

This, lightly amended, is one definition from a Google search:

A cell complex or simply complex in Euclidean space is a set of convex polyhedra (called cells) satisfying two conditions: (1) Every face of a cell is a cell (i.e. in ), and (2) Give two cells, their intersection is a common face of both. A simplicial complex is a cell complex whose cells are all simplices.

I don't doubt that the Hatcher definition is probably common usage in algebraic topology; but it doesn't seem safe to make it the WP definition. Charles Matthews 19:26, 1 Dec 2004 (UTC)

Suggestion for new section

I'd like to suggest this article include a brief sketch of (at least the statements of) Whitehead's theorems about when you can replace a CW-complex by a simpler CW-complex, provided you know enough about the homotopy groups. Ie: n-connected implies there is a homotopy-equivalent CW-complex with a trivial n-skeleton, etc. I'd be happy to put them in, eventually. I primarily want these results to appear as motivation for the h-cobordism theorem, to be used in h-cobordism and the handle decomposition articles. Rybu (talk) 23:30, 18 November 2009 (UTC)

I too think that's an excellent idea. Ambrose H. Field (talk) 16:40, 19 November 2009 (UTC)

okay, a basic sketch is up. I could see two ways to go on this -- completely flesh out what I've started (including the n-skeleton simplification for n > 1), or just state the basic theorems and not go into detail. My preference would be to continue to flesh out the details because it would be a nice reference for the handle decomposition page. Thoughts? Rybu (talk) 22:28, 22 November 2009 (UTC)

request for diagrams

This article really needs pictures. Lots of pictures. From cell attachments to example CW-complexes, CW-decompositions of surfaces, perhaps lens spaces, etc.

Rybu (talk) 01:11, 19 November 2009 (UTC)

You are absolutely correct, I was rather appalled that the entry doesn't have many pictures! Allen Hatcher's Algebraic Topology text has a number of pretty CW-complex diagrams (already in graphic form via the free eBook)... would it be possible to use those images with citations? Or perhaps just redraw them? - foxupa

cell complex

cell complex redirects here. Is it the same as a CW complex or is it ``too general``? --MarSch 16:08, 7 November 2005 (UTC)

As far as I can tell they are not the same. CW complexes have several more restrictions on their topology. Planetmath says in their "CW complex" article that any "cell complex" is homotopy equivalent to a CW complex, where a cell complex for them is constructed the same way as a CW complex, except that cells of lower dimension may be glued on even after higher dimensional cells have already been attached. A priori it seems a cell complex need not have a CW topology, but such a space is homotopic to a space which does have such a topology, namely the corresponding CW complex. - Gauge 04:56, 9 November 2005 (UTC)

It's confusing. I looked into the big Soviet encyclopedia. They have yet another definition of cell complex (basically, partition a space into balls), which they say is 'too general'; and the simplicial kind they call cellular complex. At best we could have a page for this just giving various definitionsCharles Matthews 10:52, 9 November 2005 (UTC)

A CW-complex is built inductively, with cells of dimension n only allowed to be attached in the nth step. A cell complex is similar, but cells of any dimension may be attached in each step. There do exist cell complexes that are not CW-complexes. Marc Harper 14:35, 21 September 2006 (UTC)

redirect from CW-pair?

seems a bit doubtful to me, since the article does not (yet?) mention CW pairs ;) Still, i also created the redirect from CW pair as long as there is no article on the subject. - Saibod 09:31, 24 April 2007 (UTC)

in the opinion of some experts

In the section entitled "the homotopy category" appears the phrase "The homotopy category of CW complexes is, in the opinion of some experts, the best if not the only candidate for the homotopy category". The identity of these experts should really be revealed. See Wikipedia:Avoid_weasel_words —Preceding unsigned comment added by 220.239.200.146 (talk) 07:05, 24 August 2009 (UTC)

Certainly, Frank Adams in his Student's Guide expresses such an opinion. You are right to say that referencing the remark would be an improvement. Charles Matthews (talk) 11:59, 19 November 2009 (UTC)

Regardless of what experts endorse this idea I wonder how valuable the comment is to the average reader? What does best mean when applied to homotopy categories? Best in what sense, and do people care, is this opinion really notable? IMO it's probably better to keep the article focused on things that are quantifiable. Rybu (talk) 19:59, 22 November 2009 (UTC)

Well, talking about "the" homotopy category at all invites the discussion. I see that John McCleary's A user's guide to spectral sequences has the very quote from Frank Adams as chapter epigraph on p. 91. It is possible that the debate is now mainly of historical interest. Charles Matthews (talk) 20:25, 22 November 2009 (UTC)

Categorical properties

It's the second sentence of the article that worries me. It implies that CW complexes, presumably at the level of maps, have good categorical properties. It's rather far-fetched to say that. If you think of any desirable property for the category of CW complexes and maps to have, the chances are it hasn't got it. OK, it has finite sums and finite products. But limits, even finite ones? Colimits, then? Function objects? Mapping cones of all maps? Even claiming that CW's are better than simplicial complexes, categorically speaking, is doubtful. If it were categorical niceness that we wanted, we'd probably settle for simplicial sets — but they are less practical for the topologist, even if the motivic homologists love them.

We ought to substitute a better justification here: the sheer practicality of CW's for real-life calculations and manipulations. Ambrose H. Field (talk) 16:40, 19 November 2009 (UTC)

OK, there are two things, the practicality that is now covered in the section on calculation, and the detail of what categorical properties the (homotopy) category has. Charles Matthews (talk) 09:43, 20 November 2009 (UTC)

example homology/cohomology computations

I wonder if the homology/cohomology computations would be better kept in the cellular homology article? If we want to keep an example in this article perhaps we should make it a non-trivial one where the cellular attachment maps play a role in the computation. Or perhaps the cellular homology article should contain those types of examples, not this article. Rybu (talk) 20:57, 22 November 2009 (UTC)

further examples section is confused

The further examples section has some problems. It says things like algebraic varieties are CW-complexes. This is false. A CW-complex requires a filtration by skeleta, attaching maps, etc. Algebraic varieties do not have those. I think what the author means to say is that they have the homotopy-type of cw-complexes. The same for the topological manifolds example. Rybu (talk) 21:10, 22 November 2009 (UTC)

Intelligible sentence, "...CW-structure on the real numbers..."

"The standard CW-structure on the real numbers has 0-skeleton the integers Z and 1-cells the intervals (...)"

Should it say, "has as 0-skeleton the integers and as 1-cells the intervals," perhaps? LokiClock (talk) 09:08, 13 January 2010 (UTC)