# What's the point of spectra?

I'm familiar with the definition of a spectrum, the one due to Adams, however, I'm not really sure why someone would want to define such a thing. I know they allow one to generalize homology and cohomology, but is this their sole purpose? I read in Switzer's Algebraic Topology book

"We have another aim in constructing the category of spectra. In homology theory the suspension homomorphism $\sigma: h_n(X) \rightarrow h_{n+1}( SX)$ is always an isomorphism. For various reasons this suggests trying to embed $\mathscr{PW}'$ in a larger category in which the suspension functor $S$ has an inverse $S^{-1}$."

Can anyone elaborate on this?

-

There are many different things going on here. One is that to invert the suspension functor is to stabilize. The Freudenthal suspension theorem tells you that the system of suspension maps $[X,Y] \to [SX,SY] \to [S^2X,S^2Y] \to \cdots$ eventually stabilizes (at least for finite CW-complexes), and so you can view this as a simplification of the usual category of spaces. Moreover, for formal reasons this implies that your category is enriched in abelian groups, which gives you more traction on things. (For instance, you can always add two maps, maps always have inverses, etc.)

More broadly, the real power of homotopy theory is that pretty much everything is representable in one way or another, which means that you can turn your tools on each other and get them to tell you new things about the tools themselves. From this point of view, it's entirely natural to define the category of spectra (since it is equivalent to the category of cohomology theories). But it sounds like you already knew about this piece of motivation.

-

I am also learning all this, and I had the same crisis of asking what the hell are spectra for, so maybe I can help you with the idea that I have of spectra now. As Aaron said, there are many different things going on here, and his two reasons are already enough to motivate such a construction. Here are a few more (1reason and 2 good consequences).

I will assume that you believe that generalized cohomology theories are very useful in algebraic topology. Also, I am also learning this so take all I say with a grain a salt.

1) I think the main purpose and the motivation of why spectra are, is the following : there are some things that spaces hide to cohomology theories, and we would like to mod out by this "extra information" that we don't really need when we study spaces by means of cohomology theories. The information that spaces hide is the unstable phenomenon, in the following sense : if $X$ and $Y$ are stably equivalent, for example $\Sigma X \simeq \Sigma Y$, then $E_{\ast}(X) \cong E_{\ast + 1}(\Sigma X) \cong E_{\ast + 1}(\Sigma Y) \cong E_{\ast}(Y)$ for any generalized cohomology theory $E_{\ast}$. This says that there is no cohomology theory that is going to see a difference between $X$ and $Y$, so we might as well says that they are "the same". This is a reason why you would like to actually invert the suspension functor $\Sigma$, and the resulting (universal) category you obtain by doing so is the category of spectra. Another way to say this is that $Sp$ is the universal category with a functor $\Sigma^{\infty} \colon Top \to Sp$, such that any cohomology theory $Top \to GrAb$ factors trough it.

2) It turns out that this construction of spectra by inverting $\Sigma$ has many good properties, some of them are listed by Aaron. An important one (which is not true for spaces!) is that cofiber sequences are the same as fiber sequences. So we might as well try to work in this category $Sp$.

3) Another good consequence of spectra is Brown representability theorem. It says that any generalized cohomology theory on spaces is representable by a spectra. Spaces are not enough to get all the cohomology theories, you need a category a bit bigger than spaces. So now you can study cohomology theories with the tools you developed for studying spaces, nice. In particular, since a spectra = a cohomology theory, you can take the cohomology of a cohomology theory... Weird the first time you here about it !

-
In #2, cofibrations and fibrations aren't quite "the same thing" -- this depends on taking a model for spectra (and in any model these are going to be inequivalent). Nor are pushouts and pullbacks the same thing. The important point here is that a pair of composable arrows is a fiber sequence iff it's a cofiber sequence. –  Aaron Mazel-Gee May 4 at 9:14
@AaronMazel-Gee: thanks for the clarification. I edited the answer. –  redfiloux May 11 at 17:48
When you say, this is a reason why you'd like to invert $\Sigma$ what exactly do you mean? Is it, if $\Sigma^{-1}$ exists then $\Sigma X \simeq \Sigma Y$ implies $X \simeq Y$? –  user71210 May 16 at 6:06
@user71210: I mean something like this : since all (co)homology theories see the suspension functor $\Sigma$ as an isomorphism (since $E_{\ast}(X)$ and $E_{\ast}(\Sigma X)$ are the same, up to a shift by 1); it will make our life easier to declare that $\Sigma$ really is an isomorphism, because all (co)homology theories think it is. So let's formally invert$\Sigma$, similarly to how we form the fraction field of a domain by formally inverting all elements. This construction is called localization (of categories) and is usually not easy to construct. It turns out that Spectra is a model for ... –  redfiloux May 18 at 2:13
... this localized category. That is, the universal category with a functor $Top \to Spectra$ such that the suspension functor $\Sigma$ has now an inverse (the loop functor $\Omega$), in the same way that the fraction field (or a localization) is the universal field $R \to F$ such that everything is invertible. Furthermore, this category $Spectra$ is in fact a good model because as pointed out above, it is enriched in abelian groups, etc etc. Hope this makes more sense. –  redfiloux May 18 at 2:17