nLab symmetric spectrum

Redirected from "symmetric spectra".
Contents

Context

Model category theory

model category, model \infty -category

Definitions

Morphisms

Universal constructions

Refinements

Producing new model structures

Presentation of (,1)(\infty,1)-categories

Model structures

for \infty-groupoids

for ∞-groupoids

for equivariant \infty-groupoids

for rational \infty-groupoids

for rational equivariant \infty-groupoids

for nn-groupoids

for \infty-groups

for \infty-algebras

general \infty-algebras

specific \infty-algebras

for stable/spectrum objects

for (,1)(\infty,1)-categories

for stable (,1)(\infty,1)-categories

for (,1)(\infty,1)-operads

for (n,r)(n,r)-categories

for (,1)(\infty,1)-sheaves / \infty-stacks

Stable homotopy theory

Contents

Idea

Symmetric spectra are one version of highly structured spectra that support a symmetric monoidal smash product of spectra. A symmetric spectrum is a sequence of topological spaces/simplicial sets which are compatibly equipped with an action of the symmetric group.

The category of symmetric spectra is a presentation of the symmetric monoidal (∞,1)-category of spectra, with the special property that it implements the smash product of spectra such as to yield itself a symmetric monoidal model category of spectra: the model structure on symmetric spectra. This implies in particular that with respect to this symmetric smash product of spectra an E-∞ ring is presented simply as a plain commutative monoid in symmetric spectra. This is of course such that truncating down to the homotopy category yields equivalently the stable homotopy category with its usual smash product of spectra.

The main technical issue with symmetric spectra is that the naive definition of homotopy groups for them is not general homotopy correct, one needs to replace by a “semistable symmetric spectrum” first, see below. This problem goes away for orthogonal spectra (these however need to be based on topological spaces instead of simplicial sets).

Definition

In components

A symmetric spectrum is a sequential spectrum equipped with an action of the symmetric group on each component space, such that the structure maps intertwine these actions combined with the canonical permutation action on the n-spheres:

Definition

A symmetric spectrum XX in sSet is

  1. a sequence {X n|n}\{X_n| n \in \mathbb{N}\} of pointed simplicial sets;

  2. a basepoint preserving left action of the symmetric group Σ n\Sigma_n on X nX_n;

  3. a sequence of morphisms of pointed simplicial sets σ n:X nS 1X n+1\sigma_n \colon X_n \wedge S^1 \longrightarrow X_{n+1}

such that

  • for all n,kn, k \in \mathbb{N} the composite

    X nS kσ nidX n+1S k1σ n+1idσ n+k1X n+k X_n \wedge S^{k} \stackrel{\sigma_n \wedge id}{\longrightarrow} X_{n+1} \wedge S^{k-1} \stackrel{\sigma_{n+1}\wedge id}{\longrightarrow} \cdots \stackrel{\sigma_{n+k-1}}{\longrightarrow} X_{n+k}

    intertwines the Σ n×Σ k\Sigma_{n} \times \Sigma_k-action.

A morphism of symmetric spectra f:XYf\colon X \longrightarrow Y is

  • a sequence of morphisms of pointed simplicial sets f n:X nY nf_n \colon X_n \longrightarrow Y_n

such that

  1. each f nf_n intetwines the Σ n\Sigma_n-action;

  2. the following diagrams commute

    X nS 1 f nid Y nS 1 σ n X σ n Y X n+1 f n+1 Y n+1. \array{ X_n \wedge S^1 &\stackrel{f_n \wedge id}{\longrightarrow}& Y_n \wedge S^1 \\ \downarrow^{\mathrlap{\sigma^X_n}} && \downarrow^{\mathrlap{\sigma^Y_n}} \\ X_{n+1} &\stackrel{f_{n+1}}{\longrightarrow}& Y_{n+1} } \,.

(Hovey-Shipley-Smith 00, def. 1.2.1, Schwede 12, def. 1.1)

As 𝕊 Sym\mathbb{S}_{Sym}-modules

A more concise equivalent formulation is the following:

Definition

Write SymSym for the standard skeleton of the core of FinSet, with objects labeled by natural numbers, all morphisms automorphisms and the automorphisms of nn forming the symmetric group Σ n\Sigma_n. The disjoint union monoidal structure on FinSet gives SymSym the structure of a monoidal category with tensor product given by addition of natural numbers on objects.

Write [Sym,sSet */][Sym,sSet^{\ast/}] for the functor category equipped with the induced Day convolution product. Write

𝕊 Sym[Sym,sSet */] \mathbb{S}_{Sym} \in [Sym,sSet^{\ast/}]

for the functor which sends nn to the minimal simplicial n-sphere S n=(S 1) nS^n = (S^1)^{\wedge^n} and which sends elements of the symmetric group to the corresponding endomorphisms of S nS^n exchanging smash product factors.

Regard 𝕊 Sym\mathbb{S}_{Sym} as a monoid object with respect to Day convolution, whose monoidal structure is given via the discussion there by the system of canonical natural morphisms

S n 1S n 2S n 1+n 2. S^{n_1}\wedge S^{n_2} \longrightarrow S^{n_1 + n_2} \,.
Proposition

Symmetric spectra in the sense of def. are equivalently right module objects in ([Sym,sSet */], Day)([Sym,sSet^{\ast/}], \otimes_{Day}) over the monoid object 𝕊 Sym\mathbb{S}_{Sym}, according to def. :

SymSpec(sSet)𝕊 SymMod r. SymSpec(sSet) \simeq \mathbb{S}_{Sym}Mod_r \,.

This point of view was highlighted and almost made explicit in (Mandell-May-Schwede-Shipley 01).

Proof

By the discussion there, right 𝕊 Sym\mathbb{S}_{Sym}-modules with respect to Day convolution are equivalently right modules over monoidal functors over the monoidal functor corresponding to 𝕊 Sym\mathbb{S}_{Sym} as in def. . This means that they are functors X:SymsSet */X \colon Sym \longrightarrow sSet^{\ast/} equipped with natural transformations

X pS qX p+q X_p \wedge S^{q} \longrightarrow X_{p+q}

satisfying the evident categorified action property. In the present case this action property says that these morphisms are determined by

X pS 1X p+1 X_p \wedge S^1 \longrightarrow X_{p+1}

under the isomorphisms S pS 1S p1S^p \simeq S^1 \wedge S^{p-1}. Naturality of all these morphisms as functors on SymSym is the equivariance under the symmetric group actions in def. .

For more on this see at Model categories of diagram spectrapart I.

Properties

Smash product

smash product of spectra modeled on symmetric spectra

e.g. (Schwede 12, I.3)

Homotopy groups

The main technical issue with symmetric spectra is that the evident definition of stable homotopy groups of symmetric spectra XX as

π n(X)=lim kπ k+n(X k) \pi_n(X) = \underset{\longrightarrow}{\lim}_k \pi_{k+n}(X_k)

does not in general come out in the homotopy correct way; instead one needs to replace by a “semistable symmetric spectrum” first, which however is hard to control (Hovey-Shipley-Smith 00, section 3.1, Schwede 12, chapter I, sections 2 and 6 and 8), survey includes (Malkiewich 14, section 2.3).

Among the various (now) common models for spectra, this issue is unique to symmetric spectra, see also the comment in (Mandell-May-Schwede-Shipley 01, p. 3).

In particular, this problem goes away for the concept of orthogonal spectra, which otherwise is very similar to that of symmetric spectra and shares most of its advantages (except that it does not admit a version based on simplicial sets).

Technically, the issue comes down to the fact that the quotients of symmetric groups Σ q/Σ qn\Sigma_q/\Sigma_{q-n} do not become highly connected for large qq the way the quotients O(q)/O(nq)O(q)/O(n-q) of orthogonal groups do (Mandell-May-Schwede-Shipley 01, proof of lemma 8.6, top of p. 26). See this proposition at Model categories of diagram spectra.

model structure on spectra, symmetric monoidal smash product of spectra

References

The orginal article is

A comprehensive textbook account is in

Further discussion of the model structure on symmetric spectra beyond (Hovey-Shipley-Smith 00) and Schwede 12, part III includes

More or less brief reviews include

Last revised on September 5, 2023 at 19:52:35. See the history of this page for a list of all contributions to it.