Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
quick fix at suspension: distinction between plain and reduced/based suspension. More should be said here, but not by me right now.
But reduced suspension already has its own page (started by Tim Porter), which has been linked from suspension for some time. I’ve edited these pages and suspension object accordingly. (Please confirm that Tim’s reduced suspension is the same as yours.)
Thanks, Toby. I didn’t see this for some reason.
I wrote:
Please confirm that Tim’s reduced suspension is the same as yours.
Well, you both said that it’s the smash product with the circle, so that should be fine (although you seem to care about it only up to homotopy).
Sorry Toby, I had forgotten to reply to your request:
yes, it seems what Tim had written is the standard construction, And, yes, I think that the concept of suspension is not too interesting up to homeomorphism, but natural in a context up to weak homotopy equivalence.
On all these points the entry deserves further expansion. But not by me right now.
Urs, I could agree about strong homotopy equivalence, not weak one. The suspension is important in shape theory for example, where going up to weak equivalence would be a disaster for some spaces.
Okay, I don’t really know about that. So maybe I should say strong homotopy equivalence .
The suspension is useful up to homeomorphism, where it defines the continuous structure of spheres, and even up to diffeomorphism, where it defines the smooth structure of cubes. See the examples at suspension. (It seems that the spell checker in Firefox 4 knows “homeomorphism”, but not “diffeomorphism” yet).
The suspension is useful up to homeomorphism, where it defines the continuous structure of spheres, and even up to diffeomorphism, where it defines the smooth structure of cubes.
Okay, but doesn’t the very term “suspension” for the construction that the explicit formulas are models for refer to the homotopy-theoretic interpretation? Doesn’t it refer to the shifting-up of homotopy groups? (I don’t actually know, maybe not, but that’s what I always thought.)
I think you mean “homology”. Suspension shifts homology but is more complicated on homotopy.
Right, I misspoke. Sorry.
Okay, I see.
Let C be a pointed symmetric monoidal model category. One can define suspension as the homotopy colimit of the diagram $\ast \leftarrow X \to \ast$, as is done at suspension object, or as $X \otimes S^1$, where $S^1$ is the suspension of $S^0 = \ast \sqcup \ast$ in the former sense. Are these the same?
Maybe this only works in the case where C is the category of pointed objects in some cartesian model category, with the usual model structure and the smash product. In that case I think I have a proof, but it seems too easy…
So if the tensor is indeed the smash product and preserves hocolims, then it just follows directly, that’s probably what you have in mind.
added pointer to:
and to:
replaced the illustrating graphics (previously Wikipedia’s Suspension.svg) by a better one: here
1 to 20 of 20