nLab suspension spectrum

Redirected from "suspension spectra".
Contents

Contents

Definition

For XX a pointed topological space, its suspension spectrum Σ X\Sigma^\infty X is the spectrum given by the pre-spectrum whose degree-nn space is the nn-fold reduced suspension of XX:

(Σ X) n=Σ nX. (\Sigma^\infty X)_n = \Sigma^n X \,.

(e.g. Elmendorf-Kriz-May, example 1.1)

As a symmetric spectrum: (Schwede 12, example I.2.6)

Properties

Completion to an Ω\Omega-spectrum

See at Omega spectrum – Completion of a suspension spectrum.

Relation to looping and stabilization

As an infinity-functor Σ :Top *Spec\Sigma^\infty\colon Top_* \to Spec the suspension spectrum functor exhibits the stabilization of Top.

(Σ Ω ):Top *Σ Ω Spec (\Sigma^\infty \dashv \Omega^\infty)\colon Top_* \stackrel{\overset{\Omega^\infty}{\leftarrow}}{\underset{\Sigma^\infty}{\to}} Spec

Strong monoidalness

The suspension spectrum functor is strong monoidal.

On the one hand, this is the case for its incarnation as a 1-functor with values in structured spectra (this Prop.) Via the corresponding symmetric monoidal model structure on structured spectra this exhibits strong monoidalness also as an (infinity,1)-functor.

More abstractly this follows from general properties of stabilization when regarding stable homotopy theory as the result of inverting smash product with the circle, via Robalo 12, last clause of Prop. 4.1 with last clause of Prop. 4.10 (1). For emphasis see also Hoyois 15, section 6.1, specifically Hoyois 15, Def. 6.1.

Smash-monoidal diagonals

Write

(1)(PointedTopologicalSpaces,S 0,)SymmetricMonoidalCategories \big( PointedTopologicalSpaces, S^0, \wedge \big) \;\;\in\; SymmetricMonoidalCategories

This category also has a Cartesian product, given on pointed spaces X i=(𝒳 i,x i)X_i = (\mathcal{X}_i, x_i) with underlying 𝒳 iTopologicalSpaces\mathcal{X}_i \in TopologicalSpaces by

(2)X 1×X 2=(𝒳 1,x 1)×(𝒳 2,x 2)(𝒳 1×𝒳 2,(x 1,x 2)). X_1 \times X_2 \;=\; (\mathcal{X}_1, x_1) \times (\mathcal{X}_2, x_2) \;\coloneqq\; \big( \mathcal{X}_1 \times \mathcal{X}_2 , (x_1, x_2) \big) \,.

But since this smash product is a non-trivial quotient of the Cartesian product

(3)X 1X 1X 1×X 2X 1X 2 X_1 \wedge X_1 \,\coloneqq\, \frac{X_1 \times X_2}{ X_1 \vee X_2 }

it is not itself cartesian, but just symmetric monoidal.

However, via the quotienting (3), it still inherits, from the diagonal morphisms on underlying topological spaces

(4)𝒳 Δ 𝒳 𝒳×𝒳 x (x,x) \array{ \mathcal{X} &\overset{ \Delta_{\mathcal{X}} }{\longrightarrow}& \mathcal{X} \times \mathcal{X} \\ x &\mapsto& (x,x) }

a suitable notion of monoidal diagonals:

Definition

[Smash monoidal diagonals]

For XPointedTopologicalSpacesX \,\in\, PointedTopologicalSpaces, let D X:XXXD_X \;\colon\; X \longrightarrow X \wedge X be the composite

of the Cartesian diagonal morphism (2) with the coprojection onto the defining quotient space (3).

It is immediate that:

Proposition

The smash monoidal diagonal DD (Def. ) makes the symmetric monoidal category (1) of pointed topological spaces with smash product a monoidal category with diagonals, in that

  1. DD is a natural transformation;

  2. S 0D S 0S 0S 0S^0 \overset{\;\;D_{S^0}\;\;}{\longrightarrow} S^0 \wedge S^0 is an isomorphism.

While elementary in itself, this has the following profound consequence:

Remark

[Suspension spectra have diagonals]

Since the suspension spectrum-functor

Σ :PointedTopologicalSpacesHighlyStructuredSpectra \Sigma^\infty \;\colon\; PointedTopologicalSpaces \longrightarrow HighlyStructuredSpectra

is a strong monoidal functor from pointed topological spaces (1) to any standard category of highly structured spectra (by this Prop.) it follows that suspension spectra have monoidal diagonals, in the form of natural transformations

(5)Σ XΣ (D X)(Σ X)(Σ X) \Sigma^\infty X \overset{ \;\; \Sigma^\infty(D_X) \;\; }{\longrightarrow} \big( \Sigma^\infty X \big) \wedge \big( \Sigma^\infty X \big)

to their respective symmetric smash product of spectra, which hence makes them into comonoid objects, namely coring spectra.

For example, given a Whitehead-generalized cohomology theory E˜\widetilde E represented by a ring spectrum

(E,1 E,m E)SymmetricMonoids(Ho(Spectra),𝕊,) \big(E, 1^E, m^E \big) \;\; \in \; SymmetricMonoids \big( Ho(Spectra), \mathbb{S}, \wedge \big)

the smash-monoidal diagonal structure (5) on suspension spectra serves to define the cup product ()()(-)\cup (-) in the corresponding multiplicative cohomology theory structure:

[Σ Xc iΣ n iE]E˜ n i(X) [c 1][c 2][Σ XΣ (D X)(Σ X)(Σ X)(c 1c 2)(Σ n 1E)(Σ n 2E)m EΣ n 1+n 2E]E˜ n 1+n 2(X). \begin{aligned} & \big[ \Sigma^\infty X \overset{c_i}{\longrightarrow} \Sigma^{n_i} E \big] \,\in\, {\widetilde E}{}^{n_i}(X) \\ & \Rightarrow \;\; [c_1] \cup [c_2] \, \coloneqq \, \Big[ \Sigma^\infty X \overset{ \Sigma^\infty(D_X) }{\longrightarrow} \big( \Sigma^\infty X \big) \wedge \big( \Sigma^\infty X \big) \overset{ ( c_1 \wedge c_2 ) }{\longrightarrow} \big( \Sigma^{n_1} E \big) \wedge \big( \Sigma^{n_2} E \big) \overset{ m^E }{\longrightarrow} \Sigma^{n_1 + n_2}E \Big] \;\; \in \, {\widetilde E}{}^{n_1+n_2}(X) \,. \end{aligned}

References

Suspension spectra of infinite loop spaces are discussed (in a context of Goodwillie calculus and chromatic homotopy theory) in

  • Nicholas J. Kuhn, section 6.2 of Goodwillie towers and chromatic homotopy: An overview (pdf)

Formalization of suspension spectra in dependent linear homotopy type theory (see also on the “exponential modalityhere):

Last revised on November 11, 2022 at 09:55:31. See the history of this page for a list of all contributions to it.