homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
The smash product on pointed topological spaces induces a smash product on spectra.
This is the canonical tensor product in the symmetric monoidal (infinity,1)-category of spectra. There are various model category presentations for which which are symmetric monoidal model categories (such as the highly structured spectra: S-modules, symmetric spectra and orthogonal spectra, but also for instance excisive functors). See at symmetric monoidal category of spectra for more on this. Passing to the stable homotopy category, it become a symmetric monoidal category under the smash product. Under mild assumptions, this is the essentially unique symmetric tensor product with unit the sphere spectrum (Shipley 01).
Historically the discussion proceeded in the opposite direction: available variants of the construction of smash products on sequential spectra (the “handicrafted” or “naive” smash products Boardman 65, Adams 74, part III, section 4) were found to yield a symmetric monoidal category structure only after passage to the stable homotopy category. Then models via non-sequential highly structured spectra were discovered which do admit a symmetric smash product of spectra in the sense of 1-category theory, as do excisive functors, see at model structure on excisive functors.
Many versions of the smash product of spectra, symmetric or not, arise as Day convolution products on a suitable enriched monoidal version of a category of “index spaces”.
The symmetric smash product of spectra on, in particular, symmetric spectra and orthogonal spectra is the Day convolution product for Top-enriched functors on monoidal categories of symmetric groups of orthogonal groups, respectively (MMSS 00, theorem 1.7 and section 21.).
Similarly the symmetric smash product of spectra on the model structure for excisive functors is Day convolution for sSet-enriched functors on the plain smash product of finite pointed simplicial sets (Lydakis 98).
See also at functor with smash products.
The smash product of spectra exhibits a certain graded commutativity akin to the graded commutativity in the tensor product of chain complexes (in fact, under the stable Dold-Kan correspondence the latter maps to the former).
This comes down to the following basic fact about the smash product of pointed topological spaces:
There are homeomorphisms between n-spheres and their smash products
such that in Ho(Top) there are commuting diagrams like so:
and
where here $(-1)^n \colon S^n \to S^n$ denotes the homotopy class of a continuous function of degree $(-1)^n \in \mathbb{Z} \simeq [S^n, S^n]$.
With the n-sphere $S^n$ realized as the one-point compactification of the Cartesian space $\mathbb{R}^n$, then $\phi_{n_1,n_2}$ is given by the identity on coordinates and the braiding homeomorphism
is given by permuting the coordinates:
This has degree $(-1)^{n_1 n_2}$ .
This statement passes to the suspension spectra $\Sigma^\infty S^n$ of the spheres (Adams 74, part III, prop. 4.8, Schwede 12, chapter II.4, prop. 4.4).
The phenomenon in prop. 1 is the reason why there is no symmetric smash product of spectra on plain sequential spectra, and in fact no appropriate functorial product operation at all.
To see this, observe, by this proposition, that sequential spectra are Quillen equivalent to the model category of excisive (infinity,1)-functors
under an equivalence given by restricting from the domain of all pointed finite homotopy types $\infty Grpd_{fin}^{\ast/}$ to its non-full subcategory $StdSpheres$ of standard spheres with just the adjuncts of suspension maps between them.
Here $StdSpheres$ has objects $S^n_{std} \coloneqq (S^1)^{\wedge n}$ and as hom-spaces it has $StdSpheres(S^{m}, S^{n}) = S^{max(n-m,0)}$, identified as the adjunct of the canonical isomorphism $S^m \wedge S^{n-m} \to S^n$.
Hence $\iota^\ast$ identifies the $n$th component space of a sequential spectrum with the value $E(S^n)$ of an excisive functor on the $n$-sphere, and it identifies the structure map $S^1 \wedge E_n \to E_{n+1}$ with part of the enriched functoriality of the excisive functor.
Now in the model category of excisive functors, the correct smash product of spectra is the Day convolution over the symmetric monoidal category $(\infty Grpd^{\ast/}_{fin},\wedge)$. The issue then is that the restricted hom-spaces of $StdSpheres$ do not see the non-trivial braiding of spheres in prop. 1 anymore.
More concretely, the enriched category $StdSpheres$ does not inherit monoidal structure: defining the smash product on hom spaces requires permuting smash copies of spheres, which is not available. Thus there is no Day convolution product on sequential spectra at all.
One could further restrict along $\mathbb{N} \to StdSpheres$ and use the monoidal structure $(\mathbb{N},+)$ to define at least a smash product on sequences of pointed spaces by Day convolution over $(\mathbb{N},+)$ as in (MMSS 00, example 4.1, Hovey-Shipley-Smith 00, below prop. 2.3.4). But then in addition to the above problem that this does not give a functorial smash product on spectra (it will not respect the structure maps), moreover $(\mathbb{N},+)$ is trivially braided and so, again, under restriction of excisive functors to $\mathbb{N}$ there is no way to recover the information in the smash product of spectra that is encoded in the non-trivial braiding of the smash product of spheres.
The original “handicrafted” constructions of the smash product on the stable homotopy category are due to
Michael Boardman, Stable homotopy theory, mimeographed notes, University of Warwick, 1965 onwards
Rainer Vogt, Boardman’s stable homotopy category, lectures, spring 1969
Dieter Puppe, On the stable homotopy category, Topology and its application (1973) (pdf)
Frank Adams, part III, section 4 of Stable homotopy and generalised homology, 1974
The smash product on connective spectra modeled as Gamma spaces is discussed in
The symmetric smash product on spectra (see there for more) on highly structured ring spectra is discussed for instance in
for S-modules:
for symmetric spectra:
Mark Hovey, Brooke Shipley, Jeff Smith, Symmetric spectra, J. Amer. Math. Soc. 13 (2000), 149-208 (arXiv:math/9801077)
Stefan Schwede, Symmetric spectra, 2012 (pdf)
Discussion of the smash product as a suitable Day convolution is, for highly structured spectra, in
and for excisive functors in
The uniqueness of the smash product on spectra is discussed in