2

Wikipedia talks about the "sphere spectrum" $\mathbb{S}$ and describes it this way. The article is short:

In stable homotopy theory, a branch of mathematics, the sphere spectrum $\mathbb{S}$ is the monoidal unit in the category of spectra. It is the suspension spectrum of $S^0$ a set of two points.

How did we generate a monoid out of topological spaces? Here they give $S^n \wedge S^m \simeq S^{m+n}$ (as homoeomorphism of smash product; see smash product).

Finally what is the difference between the topological space and the ring spectrum they are actually discussing ?


Picture of smash product from Wikipedia:

enter image description here

cactus314
  • 24,438
  • 2
    Do you know what a spectrum is? – Randall Jun 13 '21 at 22:51
  • Not in this setting... of Algebraic Topology – cactus314 Jun 13 '21 at 22:52
  • 5
    That is where you need to start. The story is highly non-trivial. It is complicated by the fact that there are several competing definitions. – Randall Jun 13 '21 at 22:53
  • 1
    I can change the title... what is a spectrum? That's a great discussion. All I have is Wikipedia https://en.wikipedia.org/wiki/Spectrum_(topology) – cactus314 Jun 13 '21 at 22:59
  • You can take a look at Peter May's website http://www.math.uchicago.edu/~may/PAPERS/Newfirst.pdf. I never got around to study this very interesting subject. – Tychus Findlay Jun 13 '21 at 23:25
  • 1
    May's website is excellent. For one more Wikipedia reference, the starting point is stable homotopy theory. The distinction between a space $X$ and the spectrum $\Bbb{X}$ say induced by $X$ is that the spectrum forgets properties of $X$ that are unstable, i.e., that do not persist in the suspensions $\Sigma X$, $\Sigma^2 X, \ldots$ – Rob Arthan Jun 13 '21 at 23:56

1 Answers1

5

Very roughly speaking, a spectrum is an object that has stable homotopy groups, and the sphere spectrum is the spectrum whose stable homotopy groups are those of the spheres.

The starting point is the Freudenthal suspension theorem. First, recall that for any pointed space $X$, we have a natural map from $X$ to $\Omega \Sigma X$, the loop space of the suspension of $X$. (Explicitly, if we think of $\Sigma X$ as a quotient of $[0, 1] \times X$, the natural map $X \to \Omega \Sigma X$ sends each point $x$ to the loop defined by $t \mapsto (t, x)$.) Thus, for every $k$, we have a natural homomorphism $\pi_k (X) \to \pi_k (\Omega \Sigma X)$; but we also have a natural isomorphism $\pi_k (\Omega \Sigma X) \cong \pi_{k+1} (\Sigma X)$, so by composition we get a natural homomorphism $\pi_k (X) \to \pi_{k+1} (\Sigma X)$. The theorem implies that, for any pointed CW complex $X$, for all $k$ and all sufficiently large $n$, the natural homomorphism $\pi_k (\Sigma^n X) \to \pi_{k+1} (\Sigma^{n+1} X)$ is an isomorphism.

In other words, the sequence $$\pi_k (X) \longrightarrow \pi_{k+1} (\Sigma X) \longrightarrow \pi_{k+2} (\Sigma^2 X) \longrightarrow \cdots$$ eventually stabilises. The $k$-th stable homotopy group of the spheres is the "eventual value" of the sequence for $X = S^0$. (Recall that $\Sigma^n S^0 \cong S^n$.) More generally, instead of considering the sequence of pointed spaces $(X, \Sigma X, \Sigma^2 X, \ldots)$ and maps $\Sigma^n X \to \Omega \Sigma^{n+1} X$, we may consider a general sequence of pointed spaces $(X_0, X_1, X_2, \ldots)$ with maps $X_n \to \Omega X_{n+1}$. This is the data of a spectrum (perhaps in a broad sense – definitions vary), and from the earlier discussion we see that we get a sequence $$\pi_k (X_0) \longrightarrow \pi_{k+1} (X_1) \longrightarrow \pi_{k+2} (X_2) \longrightarrow \cdots$$ though it may or may not eventually stabilise; regardless, we may define the $k$-th stable homotopy group to be $\varinjlim_n \pi_{k+n} (X_n)$. (For $k \le 0$, we skip the first $1 - k$ steps of the sequence, of course.) If the given maps $X_n \to \Omega X_{n+1}$ are (weak) homotopy equivalences for all sufficiently large $n$, then the sequence does eventually stabilise. An $\Omega$-spectrum is a spectrum where these maps are (weak) homotopy equivalences for all $n$.

Not every spectrum is an $\Omega$-spectrum, but there is a universal way of replacing any spectrum with an $\Omega$-spectrum that has the same stable homotopy groups. Essentially, we replace $X_k$ with $\varinjlim_n \Omega^n X_{k+n}$. The evident maps $X_k \to \varinjlim_n \Omega^n X_{k+n}$ assemble to yield a morphism of spectra, and the induced homomorphism of stable homotopy groups is an isomorphism – i.e. we have a stable weak homotopy equivalence. The stable homotopy category is the result of localising the category of spectra with respect to stable weak homotopy equivalence. Notice that a morphism of $\Omega$-spectra is a stable weak homotopy equivalence if and only if all of its components are weak homotopy equivalences – this fact makes $\Omega$-spectra more technically convenient than general spectra, at least in some contexts.

As alluded to in the comments, there is not yet a universally accepted definition of "spectrum". However, there is agreement on what the stable homotopy category "is", and all reasonable definitions of "spectrum" yield the same stable homotopy category (up to equivalence, of course). The stable homotopy category has a symmetric monoidal closed structure where the monoidal product is induced by the smash product, and good definitions of "spectrum" yield a category of spectra with a symmetric monoidal closed structure that descends to that of the stable homotopy category. Not all definitions of "spectrum" are good – for some definitions, it is mathematically impossible to obtain such a symmetric monoidal closed structure. Thus, if we do not commit to a particular good definition of "spectrum" there may not even be a symmetric monoidal category of spectra to speak of! One may try to avoid this problem by working with the stable homotopy category instead, and indeed the sphere spectrum $(S^0, S^1, S^2, \ldots)$ is the unit of the monoidal structure on the stable homotopy category, but I think this is a poor definition because it does not distinguish between stably weakly homotopy equivalent spectra. However, I am not a practitioner, so maybe I have the wrong perspective here.

Zhen Lin
  • 90,111
  • Re "I think this is a poor definition because it does not distinguish between stably weakly homotopy equivalent spectra", that is not the issue. No one really wants to distinguish stably weakly homotopy equivalent spectra. The issue is that you want to do (higher) category theory with spectra (e.g. take (homotopy) limits and colimits, and have these play nicely with ring and module objects defined using the monoidal structure), and the stable homotopy category is inadequate for this. – Eric Wofsey Jun 14 '21 at 03:43
  • Sure, of course. But then why does Peter May keep pushing for topological (as opposed to simplicial/combinatorial) models? – Zhen Lin Jun 14 '21 at 04:19