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.
Hi all,
I’m reading spectrum and suspension spectrum and I’m very confused.
In the first page, an Ω-spectrum is defined as a sequence of pointed spaces En indexed by the natural numbers, together with isomorphisms En≃ΩEn+1. In the second page, given a based space X, its suspension spectrum is defined as the Ω-spectrum E with En=ΣnX. But there is absolutely no reason that ΩΣn+1X≃ΣnX, so this is not an Ω-spectrum.
Unfortunately, I’m not sure what (and how) this should be changed (I came here to learn what is a spectrum). I’ve seen at several other places a spectrum being defined as a family of spaces together with maps ΣEn→En+1, with Ω-spectra being those spectra where the associated map En→ΩEn+1 is an homotopy equivalence (and in this case, it seems that the suspension spectrum of a topological space does exists, but is not an Ω-spectrum).
Could someone that know more about this stuff clarify the definitions and examples?
Thanks!
PS : Why does the LaTeX looks much better in the nLab than here?
You are right, there is a mix-up in terminology. I’ll try to fix it a little later when I have a minute.
The quick answer is that there is a model structure on the spectra defined in terms of maps ΣEn→En+1 (Peter May calls those “prespectra”), for which the Ω-spectra are the fibrant objects. So the Ω-spectra are in some sense the “real” spectra, just as Kan complexes are the “real” ∞-groupoids — if you want to get the “real” suspension spectrum of a space, you have to take a fibrant replacement of the direct construction.
I did a few modifications at the two pages to have something that look less wrong and I added what Mike said (thanks!)
@Jim : it was both :-)
1 to 5 of 5