nLab
smash product of spectra

Context

Stable Homotopy theory

Higher linear algebra

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

Contents

Idea

General

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).

History

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.

As Day convolution spectra

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.

Properties

Graded commutativity

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:

Proposition

There are homeomorphisms between n-spheres and their smash products

ϕ n 1,n 2:S n 1S n 2S n 1+n 2 \phi_{n_1,n_2} \;\colon\; S^{n_1} \wedge S^{n_2} \stackrel{\simeq}{\longrightarrow} S^{n_1 + n_2}

such that in Ho(Top) there are commuting diagrams like so:

(S n 1S n 2)S n 3 S n 1(S n 2S n 3) ϕ n 1,n 2id idϕ n 2,n 3 S n 1+n 2S n 3 S n 1S n 2+n 3 ϕ n 1+n 2,n 3 ϕ n 1,n 2+n 3 S n 1+n 2+n 3. \array{ (S^{n_1} \wedge S^{n_2}) \wedge S^{n_3} &&\stackrel{\simeq}{\longrightarrow}&& S^{n_1} \wedge (S^{n_2} \wedge S^{n_3}) \\ {}^{\mathllap{\phi_{n_1,n_2} \wedge id}}\downarrow && && \downarrow^{\mathrlap{id \wedge \phi_{n_2,n_3}}} \\ S^{n_1+n_2} \wedge S^{n_3} && && S^{n_1}\wedge S^{n_2 + n_3} \\ & {}_{\mathllap{\phi_{n_1+n_2, n_3}}}\searrow && \swarrow_{\mathrlap{\phi_{n_1,n_2+n_3}}} \\ && S^{n_1+n_2 + n_3} } \,.

and

S n 1S n 2 b n 1,n 2 S n 2S n 1 ϕ n 1,n 2 ϕ n 2,n 1 S n 1+n 2 (1) n 1n 2 S n 1+n 2, \array{ S^{n_1} \wedge S^{n_2} &\stackrel{b_{n_1,n_2}}{\longrightarrow}& S^{n_2} \wedge S^{n_1} \\ {}^{\mathllap{\phi_{n_1,n_2}}}\downarrow && \downarrow^{\mathrlap{\phi_{n_2,n_1}}} \\ S^{n_1 + n_2} &\stackrel{(-1)^{n_1 n_2}}{\longrightarrow}& S^{n_1 + n_2} } \,,

where here (1) n:S nS n(-1)^n \colon S^n \to S^n denotes the homotopy class of a continuous function of degree (1) n[S n,S n](-1)^n \in \mathbb{Z} \simeq [S^n, S^n].

Proof

With the n-sphere S nS^n realized as the one-point compactification of the Cartesian space n\mathbb{R}^n, then ϕ n 1,n 2\phi_{n_1,n_2} is given by the identity on coordinates and the braiding homeomorphism

b n 1,n 2:S n 1S n 2σS n 2S n 1 b_{n_1,n_2} \;\colon\; S^{n_1} \wedge S^{n_2} \stackrel{\sigma}{\longrightarrow} S^{n_2} \wedge S^{n_1}

is given by permuting the coordinates:

(x 1,,x n 1,y 1,,y n 2)(y 1,,y n 2,x 1,,x n 1). (x_1, \cdots, x_{n_1}, y_1, \cdots, y_{n_2}) \mapsto (y_1, \cdots, y_{n_2}, x_1, \cdots, x_{n_1}) \,.

This has degree (1) n 1n 2(-1)^{n_1 n_2} .

This statement passes to the suspension spectra Σ S n\Sigma^\infty S^n of the spheres (Adams 74, part III, prop. 4.8, Schwede 12, chapter II.4, prop. 4.4).

Remark

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

Exc 1(Grpd fin */,Grpd */)Func(Grpd fin */,Grpd */) Exc^1(\infty Grpd^{\ast/}_{fin}, \infty Grpd^{\ast/}) \hookrightarrow Func(\infty Grpd^{\ast/}_{fin}, \infty Grpd^{\ast/})

under an equivalence given by restricting from the domain of all pointed finite homotopy types Grpd fin */\infty Grpd_{fin}^{\ast/} to its non-full subcategory StdSpheresStdSpheres of standard spheres with just the adjuncts of suspension maps between them.

ι:StdSpheresGrpd fin */. \iota \colon StdSpheres \hookrightarrow \infty Grpd^{\ast/}_{fin} \,.
Exc 1(Grpd fin */,Grpd */)ι *SeqSpectra Exc^1(\infty Grpd^{\ast/}_{fin}, \infty Grpd^{\ast/}) \underoverset{\simeq}{\iota^\ast}{\longrightarrow} SeqSpectra

Here StdSpheresStdSpheres has objects S std n(S 1) nS^n_{std} \coloneqq (S^1)^{\wedge n} and as hom-spaces it has StdSpheres(S m,S n)=S max(nm,0)StdSpheres(S^{m}, S^{n}) = S^{max(n-m,0)}, identified as the adjunct of the canonical isomorphism S mS nmS nS^m \wedge S^{n-m} \to S^n.

Hence ι *\iota^\ast identifies the nnth component space of a sequential spectrum with the value E(S n)E(S^n) of an excisive functor on the nn-sphere, and it identifies the structure map S 1E nE n+1S^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 (Grpd fin */,)(\infty Grpd^{\ast/}_{fin},\wedge). The issue then is that the restricted hom-spaces of StdSpheresStdSpheres do not see the non-trivial braiding of spheres in prop. 1 anymore.

More concretely, the enriched category StdSpheresStdSpheres 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 StdSpheres\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.

Definitions

References

The original “handicrafted” constructions of the smash product on the stable homotopy category are due to

The smash product on connective spectra modeled as Gamma spaces is discussed in

  • Lydakis, Smash products and Γ\Gamma-spaces, Math. Proc. Cam. Phil. Soc. 126 (1999), 311-328 (pdf)

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:

Discussion of the smash product as a suitable Day convolution is, for highly structured spectra, in

and for excisive functors in

  • Lydakis, Simplicial functors and stable homotopy theory Preprint, available via Hopf archive, 1998 (pdf)

The uniqueness of the smash product on spectra is discussed in

  • Brooke Shipley, Monoidal uniqueness of Stable homotopy theory, Advances in Mathematics Volume 160, Issue 2, 25 June 2001, Pages 217–240 (pdf)

Revised on March 22, 2016 14:45:35 by Urs Schreiber (82.113.98.110)