# nLab Introduction to Stable homotopy theory -- 1-1

Stable homotopy theory Sequential spectra

We give an introduction to the stable homotopy category and to its key computational tool, the Adams spectral sequence. To that end we introduce the modern tools, such as model categories and highly structured ring spectra. In the accompanying seminar we consider applications to cobordism theory and complex oriented cohomology such as to converge in the end to a glimpse of the modern picture of chromatic homotopy theory._

Lecture notes.

Main page: Introduction to Stable homotopy theory.

Previous section: Prelude – Classical homotopy theory

This section_ Part 1 – Stable homotopy theory

This subsection: Part 1.1 – Stable homotopy theory – Sequential spectra

Next subsection: Part 1.2 – Stable homotopy theory – Structured Spectra

Next section: Part 2 – Adams spectral sequences

# Stable homotopy theory – Sequential spectra

$\,$

The Prelude on Classical homotopy theory ended with the following phenomenon:

###### Definition

The reduced suspension/looping operation on pointed (def.) compactly generated topological spaces (def.) is the smash-tensor/hom-adjunction (cor.) for the standard 1-sphere smash product from the left:

$(\Sigma \dashv \Omega) \;\colon\; Top_{cg}^{\ast/} \; \underoverset {\xrightarrow[Maps(S^1,-)_\ast]{}} {\xleftarrow{S^1 \wedge (-)}} {\bot} \; Top_{cg}^{\ast/} \,.$
###### Proposition

With respect to the classical model structure on pointed compactly generated topological spaces $(Top^{\ast/}_{cg})_{Quillen}$ (thm., prop.)

$(\Sigma \dashv \Omega) \;\colon\; (Top_{cg}^{\ast/})_{Quillen} \underoverset {\underset{Maps(S^1,-)_\ast}{\longrightarrow}} {\overset{S^1 \wedge (-)}{\longleftarrow}} {\bot} (Top_{cg}^{\ast/})_{Quillen} \,,$
2. its induced adjoint pair of derived functors on the classical pointed homotopy category (by this prop.) is the canonical suspension/looping adjunction (according to this prop.)

$(\Sigma \dashv \Omega) \;\colon\; Ho(Top^{\ast/}) \underoverset {\underset{\Omega}{\longrightarrow}} {\overset{\Sigma}{\longleftarrow}} {\bot} Ho(Top^{\ast/}) \,.$

See (this prop.).

The stable homotopy category $Ho(Spectra)$ is to be the result of stabilizing the adjunction in prop. , in the sense of forcing it to become an equivalence of categories in a compatible way, i.e. such as to fit into a diagram of categories of the form

$\begin{matrix} Ho(Top^{\ast/}) & \underoverset{\xrightarrow[\quad\Omega\quad]{}}{\xleftarrow{\quad\Sigma\quad}}{\scriptsize{\bot}} & Ho(Top^{\ast/}) \\ \left.\scriptsize{\mathllap{\Sigma^\infty}}\right\downarrow \dashv \left\uparrow\scriptsize{\mathrlap{\Omega^\infty}}\right. && \left.\scriptsize{\mathllap{\Sigma^\infty}}\right\downarrow \dashv \left\uparrow\scriptsize{\mathrlap{\Omega^\infty}}\right. \\ Ho(Spectra) & \underoverset{\xrightarrow[\quad\Omega\quad]{}}{\xleftarrow{\quad\Sigma\quad}}{\simeq} & Ho(Spectra) \end{matrix} \,.$

Moreover, for stable homotopy theory proper we are to refine this situation from homotopy categories to model categories and ask it to be the diagram of derived functors (according to this prop.) of a diagram of Quillen adjunctions (def.)

$\array{ (Top_{cg}^{\ast/})_{Quillen} & \underoverset{\underoverset{\Omega}{\bot}{\longrightarrow}}{\overset{\Sigma}{\longleftarrow}}{} & (Top^{\ast/}_{cg})_{Quillen} \\ {}^{\mathllap{\Sigma^\infty}}\downarrow \dashv \uparrow^{\mathrlap{\Omega^\infty}} && {}^{\mathllap{\Sigma^\infty}}\downarrow \dashv \uparrow^{\mathrlap{\Omega^\infty}} \\ SeqSpec(Top_{cg})_{stable} & \underoverset{\underset{\Omega}{\longrightarrow}}{\overset{\Sigma}{\longleftarrow}}{\simeq_Q} & SeqSpec(Top_{cg})_{stable} } \,,$

This we establish in theorem below.

The notation $\Sigma^\infty$ and $\Omega^\infty$ is meant to be suggestive of the intuition behind how this stabilization will work: The universal way of making a topological space $X$ become stable under suspension is to pass to its infinite suspension in a suitable sense. That suitable sense is going to be called the suspension spectrum of $X$ (def. below). Conversely, if an object does not change up to equivalence, by forming its loop spaces, it must give an infinite loop space.

In contrast to the classical homotopy category, the stable homotopy category is a triangulated category (a shadow of the fact that the (∞,1)-category of spectra is a stable (∞,1)-category). As such it may be thought of as a refinement of the derived category of chain complexes (of abelian groups): every chain complex gives rise to a spectrum and every chain map to a map between these spectra (the stable Dold-Kan correspondence), but there are many more spectra and maps between them than arise from chain complexes and chain maps.

There is a variety of different models for the stable homotopy theory of spectra, some of which fits into this hierarchy:

As one moves down this list, the objects modelling the spectra become richer. This means on the one hand that their abstract properties become better as one moves down the list, on the other hand it means that it is more immediate to construct and manipulate examples as one stays further up in the list.

We start with plain sequential spectra as a transparent means to construct the stable homotopy category. In order to discuss ring spectra it is convenient to first pass to the richer model of highly structured spectra, this we do in Part II

The most lighweight model for spectra are sequential spectra. They support most of stable homotopy theory in a straightforward way, and have the advantage that examples tend to be immediate (for instance the proof of the Brown representability theorem spits out sequential spectra).

The key disadvantage of sequential spectra is that they do not support a functorial smash product of spectra before passing to the stable homotopy category, much less a symmetric smash product of spectra. This is the structure needed for a decent discussion of the higher algebra of ring spectra. To accomodate this, further below we enhance sequential spectra to the more highly structured models given by symmetric spectra and orthogonal spectra. But all these models are connected by a free-forgetful adjunction and for working with either it is useful to have the means to pass back and forth between them.

## Sequential pre-spectra

The following def. is the traditional component-wise definition of sequential spectra. It was first stated in (Lima 58) and became widely appreciated with (Boardman 65).

It is generally supposed that G. W. Whitehead also had something to do with it, but the latter takes a modest attitude about that. (Adams 74, p. 131)

Below in prop. we discuss an equivalent definition of sequential spectra as “topological diagram spectra” (Mandell-May-Schwede-Shipley 00), namely as topologically enriched functors (defn.) on a topologically enriched category of n-spheres, which is useful for establishing the stable model category structure (below) and for establishing the symmetric monoidal smash product of spectra (in 1.2).

Throughout, our ambient category of topological spaces is $Top_{cg}$, the category of compactly generated topological space (defn.).

###### Definition

A sequential prespectrum in topological spaces, or just sequential spectrum for short (or even just spectrum), is

1. an $\mathbb{N}$-graded pointed compactly generated topological space

$X_\bullet = (X_n \in Top_{cg}^{\ast/})_{n \in \mathbb{N}}$

(the component spaces);

2. pointed continuous functions

$\sigma_n \colon S^1 \wedge X_n \to X_{n+1}$

for all $n \in \mathbb{N}$ (the structure maps) from the smash product (defn.) of one component space with the standard 1-sphere to the next component space.

A homomorphism $f \colon X \to Y$ of sequential spectra is a sequence $f_\bullet \colon X_\bullet \to Y_\bullet$ of base point-preserving continuous functions between component spaces, such that these respect the structure maps in that all diagrams of the form

$\begin{matrix} S^1 \wedge X_n &\xrightarrow{\quad S^1 \wedge f_n\quad}& S^1 \wedge Y_n \\ \left\downarrow\scriptsize{\mathrlap{\sigma_n^X}}\right. && \left\downarrow\scriptsize{\mathrlap{\sigma_n^Y}}\right. \\ X_{n+1} &\xrightarrow{\qquad f_{n+1}\qquad}& Y_{n+1} \end{matrix}$

Write $SeqSpec(Top_{cg})$ for this category of topological sequential spectra.

$Top_{cg}^{\ast/} \underoverset {\underset{Maps(S^1,-)_\ast}{\longrightarrow}} {\overset{S^1 \wedge (-)}{\longleftarrow}} {\bot} Top_{cg}^{\ast/}$

from classical homotopy theory (this prop.), the definition of sequential spectra in def. is equivalent to the following definition

###### Definition

A sequential prespectrum in topological spaces, or just sequential spectrum for short (or even just spectrum), is

1. an $\mathbb{N}$-graded pointed compactly generated topological space

$X_\bullet = (X_n \in Top_{cg}^{\ast/})_{n \in \mathbb{N}}$

(the component spaces);

2. pointed continuous functions

$\tilde \sigma_n \colon X_n \to Maps(S^1,X_{n+1})_\ast$

for all $n \in \mathbb{N}$ (the adjunct structure maps) from one component space to the pointed mapping space (def., exmpl.) out of $S^1$ into the next component space.

A homomorphism $f \colon X \to Y$ of sequential spectra is a sequence $\widetilde{f_\bullet} \colon X_\bullet \to Y_\bullet$ of base point-preserving continuous function, such that all diagrams of the form

$\begin{matrix} X_n &\xrightarrow{\space{0}{0}{45}f_n\space{0}{0}{45}}& Y_n \\ \left.\scriptsize{\mathllap{\tilde \sigma^X_n}}\right\downarrow && \left\downarrow\scriptsize{\mathrlap{\tilde \sigma^Y_n}}\right. \\ Maps(S^1, X_{n+1})_\ast &\xrightarrow[\quad Maps(S^1,f_{n+1})_\ast\quad]{}& Maps(S^1, Y_{n+1})_\ast \end{matrix}$
###### Example

For $X\in Top^{\ast/_{cg}}$ a pointed topological space, its suspension spectrum $\Sigma^\infty X$ is the sequential spectrum , def. , with

• $(\Sigma^\infty X)_n \coloneqq S^n \wedge X$ (smash product of $X$ with the n-sphere);

• $\sigma_n \colon S^1 \wedge S^n \wedge X \overset{\simeq}{\longrightarrow} S^{n+1}X$ (the canonical homeomorphism).

This construction extends to a functor

$\Sigma^\infty \;\colon\; Top^{\ast/}_{cg} \longrightarrow SeqSpec(Top_{cg}) \,.$
###### Example

The suspension spectrum (example ) of the point is the standard sequential sphere spectrum

$\mathbb{S}_{seq} \coloneqq \Sigma^\infty S^0 \,.$

Its $n$th component space is the standard n-sphere

$(\mathbb{S}_{seq})_n = S^n \,.$
###### Example

A fundamental example of a spectrum that is not just a suspension spectrum is the universal real Thom spectrum, denoted MO. For details on this see Part S – Thom spectra.

There are are also the universal complex Thom spectrum denoted MU, and the universal symplectic Thom spectrum denoted MSp. Their standard construction first yields an example of a “sequential $S^2$-spectrum”; which we introduce below in def. ; and then there is an adjunction (prop. ) that canonically turns this into an ordinary sequential spectrum.

###### Definition

Let $X\in SeqSpec(Top_{cg})$ be a sequential spectrum (def. ) and $K \in Top^{\ast/}_{cg}$ a pointed compactly generated topological space. Then

1. $X \wedge K$ (the smash tensoring of $X$ with $K$) is the sequential spectrum given by

• $(X \wedge K)_n \coloneqq X_n \wedge K$ (smash product on component spaces (defn.))

• $\sigma_n^{X \wedge K} \coloneqq \sigma_n^{X} \wedge id_{K}$.

2. $Maps(K,X)_\ast$ (the powering of $K$ into $X$) is the sequential spectrum with

• $(Maps(K,X)_\ast)_n \;\coloneqq\; Maps(K,X_n)_\ast$ (compactly generated pointed mapping space (def., def.))

• $\sigma_n^{Maps(K,X)_\ast} \;\colon\; S^1 \wedge Maps(K,X_n) \overset{(const,id)}{\longrightarrow} Maps(K,S^1 \wedge X_n)_\ast \overset{Maps(K,\sigma_n)_\ast}{\longrightarrow} Maps(K,X_{n+1})_\ast$,

where $(const, id) \;\colon\; [s,\phi] \mapsto [const_s,\phi]$.

These operations canonically extend to functors

$(-)\wedge (-) \;\colon\; SeqSpec(Top_{cg}) \times Top^{\ast/}_{cg} \longrightarrow SeqSpec(Top_{cg})$

and

$Maps(-,-)_\ast \;\colon\; (Top^{\ast/}_{cg})^{op} \times SeqSpec(Top_{cg}) \longrightarrow SeqSpec(Top_{cg}) \,.$
###### Example

The tensoring (def. ) of the standard sphere spectrum $\mathbb{S}_{std}$ (def. ) with a space $X \in Top_{cg}$ is isomorphic to the suspension spectrum of $X$ (def. ):

$\mathbb{S}_{std} \wedge X \simeq \Sigma^\infty X \,.$
###### Proposition

For any $K \in Top^{\ast/}_{cg}$ the functors of smash tensoring and powering with $K$, from def. , constitute a pair of adjoint functors

$SeqSpec(Top_{cg}) \underoverset { \underset{Maps(K,-)_\ast}{\longrightarrow} } { \overset{(-) \wedge K}{\longleftarrow} } {\bot} SeqSpec(Top_{cg}) \,.$
###### Proof

For $X, Y\in SeqSpec(Top_{cg})$ and $K \in Top_{cg}^{\ast/}$, let

$X \wedge K \overset{f}{\longrightarrow} Y$

be a morphism, with component maps fitting into commuting squares of the form

$\array{ S^1 \wedge X_n \wedge K &\overset{S^1 \wedge f_n}{\longrightarrow}& S^1 \wedge Y_n \\ {}^{\mathllap{\sigma^X_n \wedge K}}\downarrow && \downarrow^{\sigma^Y_n} \\ X_{n+1} \wedge K &\overset{f_{n+1}}{\longrightarrow}& Y_{n+1} } \,.$

$Top_{cg}^{\ast/} \underoverset {\underset{Maps(K,-)_\ast}{\longrightarrow}} {\overset{(-) \wedge K}{\longleftarrow}} {\bot} Top_{cg}^{\ast/}$

from classical homotopy theory (this prop.) gives that these squares are in natural bijection with squares of the form

$\array{ S^1 \wedge X_n &\overset{\widetilde{S^1 \wedge f_n}}{\longrightarrow}& Maps(K,S^1 \wedge Y_n)_\ast \\ {}^{\mathllap{\sigma_n^X}}\downarrow && \downarrow^{\mathrlap{Maps(K,\sigma_n^Y)_\ast}} \\ X_{n+1} &\overset{\widetilde{f_{n+1}}}{\longrightarrow}& Maps(K, Y_{n+1})_\ast } \,.$

But since the map $S^1 \wedge f_n$ is the smash product of two maps, only one of which involves the smash factor of $K$, one sees that here the top map factors through the map $(const,id)$ from def. .

Hence the commuting square above factors as

$\array{ S^1 \wedge X_n &\overset{S^1 \wedge \widetilde{f_n}}{\longrightarrow}& S^1 \wedge Maps(K, Y_n)_\ast \\ {}^{\mathllap{\sigma_n^X}}\downarrow && \downarrow^{\mathrlap{\sigma_n^{Maps(K,Y)_\ast}}} \\ X_{n+1} &\overset{\widetilde {f_{n+1}}}{\longrightarrow}& Maps(K, Y_{n+1})_\ast } \,.$

This gives the structure maps for a homomorphism

$\tilde f \;\colon\; X \longrightarrow Maps(K,Y)_\ast \,.$

Running this argument backwards shows that the map $f \mapsto \tilde f$ given thereby is a bijection.

###### Remark

For the adjunction of prop. it is crucial that the smash tensoring in def. is from the right, at least as long as the structure maps in def. are defined as they are, with the circle smash factor on the left. We could change both jointly: take the structure maps to be from smash products with the circle on the right, and take smash tensoring to be from the left. But having both on the right or both on the left does not work.

###### Proposition

The functor $\Sigma^\infty$ that forms suspension spectra (def. ) has a right adjoint functor $\Omega^\infty$

$(\Sigma^\infty \dashv \Omega^\infty) \;\colon\; SeqSpec(Top_{cg}) \underoverset {\underset{\Omega^{\infty}}{\longrightarrow}} {\overset{\Sigma^\infty}{\longleftarrow}} {\bot} Top_{cg}^{\ast/} \,,$

given by picking the 0-component space:

$\Omega^\infty(X) = X_0 \,.$
###### Proof

By def. the components $f_n$ of a homomorphism of sequential spectra of the form

$\Sigma^\infty X \overset{f}{\longrightarrow} Y$

have to make these diagrams commute

$\array{ S^1 \wedge S^n X &\overset{S^1 \wedge f_n}{\longrightarrow}& S^1 \wedge Y_{n} \\ {}^{\mathllap{\simeq}}\downarrow && \downarrow^{\mathrlap{\sigma^Y_n}} \\ S^{n+1} \wedge X &\overset{f_{n+1}}{\longrightarrow}& Y_{n+1} }$

for all $n \in \mathbb{N}$. Since here the left vertical map is an isomorphism by def. , this uniquely fixes $f_{n+1}$ in terms of $f_n$. Hence the only freedom in specifying $f$ is in the choice of the component $f_0 \colon X \longrightarrow Y_0$, which is equivalently a morphism

$X \overset{\tilde f}{\longrightarrow} \Omega^\infty Y \,.$

### Stable homotopy groups

In analogy to how homotopy groups are the fundamental invariants in classial homotopy theory, the fundamental invariants of stable homtopy theory are stable homtopy groups:

###### Definition

The stable homotopy groups of a sequential prespectrum $X$, def. , is the $\mathbb{Z}$-graded abelian group given by the colimit of homotopy groups of the component spaces (def.)

$\pi_\bullet(X) \coloneqq \underset{\longrightarrow}{\lim}_k \pi_{\bullet+k}(X_{k}) \,,$

where the colimit is over the sequential diagram whose component morphisms are given in terms of the structure maps of def. by

$\pi_{q+k}(X_k) \overset{\simeq}{\to} [S^{q+k},X_k]_\ast \overset{(S^1\wedge(-))_{S^{q+k},X_k}}{\longrightarrow} [S^{q+k+1}, S^1 \wedge X_k]_\ast \overset{[S^{q+k+1}, \sigma_k]}{\longrightarrow} [S^{q+k+1}, X_{k+1}]_\ast \overset{\simeq}{\to} \pi_{q+k+1}(X_{k+1})$

and equivalently are given in terms of the adjunct structure maps of def. by

$\pi_{q+k}(X_k) \overset{\simeq}{\longrightarrow} [S^{q+k}, X_k]_\ast \overset{[S^{q+k}, \tilde \sigma_k]}{\longrightarrow} [S^{q+k}, Maps(S^1,X_{k+1})_\ast]_\ast \simeq [S^1 \wedge S^{q+k}, X_{k+1}]_\ast \simeq \pi_{q+k+1}(X_{k+1}) \,.$

The colimit starts at

$k = \left\{ \array{ 0 & if \; q \geq 0 \\ {\vert q\vert} & if \; q \lt 0 } \right.$

This canonically extends to a functor

$\pi_\bullet \;\colon\; SeqSpec(Top_{cg}) \longrightarrow Ab^{\mathbb{Z}} \,.$
###### Proposition

The two component morphisms given in def. indeed agree.

###### Proof

Consider the following instance of the defining naturality square of the $(S^1 \wedge (-)) \dashv Maps(S^1,-)_\ast$-adjunction of prop. :

$\array{ [S^1 \wedge X_k, S^1 \wedge X_k]_\ast &\overset{\simeq}{\longrightarrow}& [X_k, Maps(S^1, S^1 \wedge X_k)_\ast]_\ast \\ {}^{\mathllap{[S^1 \wedge \alpha, \sigma_k]}}\downarrow && \downarrow^{\mathrlap{[\alpha, Maps(S^1,\sigma_k)_\ast]_\ast}} \\ [S^1 \wedge S^{q+k}, X_{k+1}]_\ast &\underset{\simeq}{\longrightarrow}& [S^{q+k}, Maps(S^1, X_{k+1})_\ast]_\ast } \,.$

Then consider the identity element in the top left hom-set. Its image under the left vertical map is the first of the two given component morphisms. Its image under going around the other way is the second of the two component morphisms. By the commutativity of the diagram, these two images agree.

###### Example

Given $X \in Top^{\ast/}_{cg}$, then the stable homotopy groups (def. ) of its suspension spectrum (example ) are given by

\begin{aligned} \pi_q^S(X) & \;\coloneqq\; \pi_q(\Sigma^\infty X) \\ & = \underset{\longrightarrow}{\lim}_{k} \pi_{q + k}(S^k \wedge X) \\ & \simeq \underset{\longrightarrow}{\lim}_{k} \pi_{q}(\Omega^k ( \Sigma^k X)) \end{aligned} \,.

Specifically for $X = S^0$ the 0-sphere, with suspension spectrum the standard sphere spectrum (def. ), its stable homotopy groups are the stable homotopy groups of spheres:

\begin{aligned} \pi_q^S(S^0) & \;\coloneqq\; \pi_q(\mathbb{S}) \\ & = \underset{\longrightarrow}{\lim}_{k} \pi_{q + k}(S^k) \end{aligned} \,.

Recall the Freudenthal suspension theorem, which states that if $X$ is an n-connected pointed CW-complex then the comparison map

$\pi_{q}(X) \longrightarrow \pi_{q+1}(\Sigma X)$

is an isomorphism for $q \leq 2n$. This implies first of all that every $\Sigma^k X$ is $(k-1)$-connected

\begin{aligned} \pi_0(\Sigma X) & \simeq \ast \\ \pi_1(\Sigma^2 X) & \simeq \pi_0(\Sigma X) \simeq \ast \\ \pi_2(\Sigma^3 X) & \simeq \pi_1(\Sigma^2 X) \simeq \pi_0(\Sigma X) \simeq \ast \\ \cdots \end{aligned}

and then that the $q$th stable homotopy group of $X$ is attained at stage $k = q+2$ in the colimit:

$\pi^S_q(X) \simeq \pi_{q + (q+2)}(\Sigma^{q+2}X) \,.$

Historically, this fact was one of the motivations for finding a stable homotopy category (def. below).

###### Definition

A morphism $f \colon X \longrightarrow Y$ of sequential spectra, def. , is called a stable weak homotopy equivalence, if its image under the stable homotopy group-functor of def. is an isomorphism

$\pi_\bullet(f) \;\colon\; \pi_\bullet(X) \overset{\simeq}{\longrightarrow} \pi_\bullet(Y) \,.$

### Omega-spectra

In order to motivate Omega-spectra consider the following shadow of the structure they will carry:

###### Example

A $\mathbb{Z}$-graded abelian group is equivalently a sequence $\{A_n\}_{n \mathbb{Z}}$ of $\mathbb{N}$-graded abelian groups $A_n$, together with isomorphisms

$A_n \simeq A_{n+1}[1] \,,$

(where $[1]$ denotes the operation of shifting all entries in a graded abelian group down in degree by -1). Because this means that the sequence of $\mathbb{N}$-graded abelian groups is of the following form

$\array{ \vdots && \vdots \\ a_3 && a_2 && a_1 && \cdots \\ a_2 && a_1 && a_0 && \cdots \\ a_1 && a_0 && a_{-1} && \cdots \\ \underset{A_0}{\underbrace{a_0}} && \underset{A_1}{\underbrace{a_{-1}}} && \underset{A_2}{\underbrace{a_{-2}}} && \cdots } \,.$

This allows to recover the $\mathbb{Z}$-graded abelian group $\{a_n\}_{n \in \mathbb{Z}}$ from an $\mathbb{N}$-sequence of $\mathbb{N}$-graded abelian groups.

Then consider the case that the $\mathbb{N}$-graded abelian groups here are homotopy groups of some topological space. Then shifting the degree of the component groups corresponds to forming loop spaces, because for any topological space $X$ then

$\pi_\bullet(\Omega X) \simeq \pi_{\bullet + 1}(X) \,.$

(This may be seen concretely in point-set topology or abstractly by looking at the long exact sequence of homotopy groups for the fiber sequence $\Omega X \to Path_*(X) \to X$.)

We find this kind of behaviour for the stable homotopy groups of Omega-spectra below in example .

###### Definition

An Omega-spectrum is a sequential spectrum $X$ of topological spaces, def. , such that the (smash product $\dashv$ pointed mapping space)-adjuncts $\tilde \sigma_n$ of the structure maps $\sigma_n \colon \Sigma X_n \to X_{n+1}$ of $X$ are weak homotopy equivalences (def.), hence classical weak equivalences (def.):

$\tilde \sigma_n \;\colon\; X_n \stackrel{\in W_{cl}}{\longrightarrow} Maps(S^1,X_{n+1})_\ast$

for all $n \in \mathbb{N}$.

Equivalently: an Omega-spectrum is a sequential spectrum in the incarnation of def. such that all adjunct structure maps are weak homotopy equivalences.

###### Example

The Brown representability theorem (thm.) implies (prop.) that every generalized (Eilenberg-Steenrod) cohomology theory (def.) is represented by an Omega-spectrum (def. ).

Applied to ordinary cohomology with coefficients some abelian group $A$, this yields the Eilenberg-MacLane spectra $H A$ (exmpl.). These are the Omega-spectra whose $n$th component space is an Eilenberg-MacLane space

$(H A)_n \simeq K(A,n) \,.$

A genuinely generalized (i.e. non-ordinary, hence “extra-ordinary”) cohomology theory is topological K-theory $K^\bullet(-)$. Applying the Brown representability theorem to topological K-theory yields the K-theory spectrum denoted KU.

Omega-spectra are singled out among all sequential pre-spectra as having good behaviour under forming stable homotopy groups.

###### Example

If a sequential spectrum $X$ is an Omega-spectrum, def. , then its colimiting stable homotopy groups reduce to the actual homotopy groups of the component spaces, in that:

$X \; \text{Omega-spectrum} \;\;\;\;\; \Rightarrow \;\;\;\;\; \pi_k(X) \simeq \left\{ \array{ \pi_k X_0 & if\; k \geq 0 \\ \pi_0 X_{\vert k \vert} & if \; k \lt 0 } \right. \,.$

(Hence the stable homotopy groups of an Omega-spectrum realize the general pattern discussed in example .)

###### Proof

For an Omega-spectrum, the adjunct structure maps $\tilde \sigma_X$ are weak homotopy equivalences, by definition, hence are classical weak equivalences. Hence $[S^1, \tilde \sigma_n]_\ast$ is an isomorphism (prop.). Therefore, by prop. , the sequential colimit in def. is entirely over isomorphisms and hence is given already by the first object of the sequence.

We now show that every sequential pre-spectrum may be completed to an Omega-spectrum, up to stable weak homotopy equivalence:

###### Definition

For $X \in SeqSpec(Top_{cg})$, define a spectrum $Q X \in SeqSpec(Top_{cg})$ and a morphism

$\eta_X \;\colon\; X \longrightarrow Q X$

(to be called the spectrification of $X$) as follows.

First introduce for the given components $X_k$ and adjunct structure maps $\tilde \sigma_k$ of $X$ (from def. ) the notation

$Z_{0,k} \coloneqq X_{k} \,, \;\;\;\;\;\; \tilde \sigma_{0,k} \coloneqq \tilde \sigma_k \,.$

Now assume, by induction, that sets of objects $\{Z_{i,k}\}_{k \in \mathbb{N}}$ and maps $\{Z_{i,k} \overset{\tilde \sigma_{i,k}}{\to} \Omega Z_{i,k+1}\}_{k \in \mathbb{N}}$ have been constructed for some $i \in \mathbb{N}$.

Then construct $Z_{i+1,k}\in Top_{cg}$ by factorizing $\tilde \sigma_{i,k}$, with respect to the model structure $(Top^{\ast/}_{cg})_{Quillen}$ (thm.) as a classical cofibration followed by a classical weak equivalence. More specifically, apply the small object argument (prop.) with respect to the set of generating cofibrations $I_{Top}$ (def.) to produce functorial factorizations (def.) into a relative cell complex followed by a weak homotopy equivalence (just as in the proof of this lemma):

$\tilde \sigma_{i,k} \;\colon\; Z_{i,k} \underoverset{\in I_{Top} Cell}{\iota_{i,k}}{\longrightarrow} Z_{i+1,k} \underoverset{\in W_{cl}}{\phi_{i,k}}{\longrightarrow} \Omega Z_{i,k+1} \,.$

Then define $\tilde \sigma_{i+1,k}$ as the composite

$\tilde \sigma_{i+1,k} \;\colon\; Z_{i+1,k} \overset{\phi_{i,k}}{\longrightarrow} \Omega Z_{i,k+1} \overset{\Omega (\iota_{i,k+1})}{\longrightarrow} \Omega Z_{i+1,k+1} \,.$

This produces for each $i \in \mathbb{N}$ a commuting diagram of the form

$\array{ X_k = Z_{0,k} &\underoverset{\in I_{Top} Cell}{\iota_{0,k}}{\longrightarrow}& Z_{1,k} &\underoverset{\in I_{Top} Cell}{\iota_{1,k}}{\longrightarrow}& Z_{2,k} &\underoverset{\in I_{Top} Cell}{\iota_{2,k}}{\longrightarrow}& \cdots \\ {}^{\mathllap{\tilde \sigma_k = \tilde \sigma_{0,k}}}\downarrow && {}^{\mathllap{\tilde \sigma_{1,k}}}\downarrow && {}^{\mathllap{\tilde \sigma_{2,k}}}\downarrow && \cdots \\ \Omega X_{k+1} = \Omega Z_{0,k+1} &\overset{\Omega (\iota_{0,k+1})}{\longrightarrow}& \Omega Z_{1,k+1} &\overset{\Omega (\iota_{1,k+1})}{\longrightarrow}& \Omega Z_{2,k+1} &\overset{\Omega (\iota_{2,k+1})}{\longrightarrow}& \cdots } \,.$

That this indeed commutes is the identity

\begin{aligned} \tilde \sigma_{i+1,k} \circ \iota_{i,k} & = (\Omega(\iota_{i,k+1}) \circ \phi_{i,k}) \circ \iota_{i,k} \\ & = \Omega(\iota_{i,k+1}) \circ (\phi_{i,k} \circ \iota_{i,k}) \\ & = \Omega(\iota_{i,k+1}) \circ \tilde \sigma_{i,k} \end{aligned} \,.

Now let $Q X$ be the spectrum with component spaces the colimit

$(Q X)_k \coloneqq \underset{\longrightarrow}{\lim}_i Z_{i,k}$

and with adjunct structure maps (via def. ) given by the map induced under colimits by the above diagrams

$\tilde \sigma^{Q X}_k \;\coloneqq\; \underset{\longrightarrow}{\lim} \tilde \sigma_{i,k} \;\colon\; Q X \longrightarrow \Omega(Q X) \,.$

Notice that this is indeed well-defined: since each component map $X_{i,k} \to X_{i+1,k}$ is a relative cell complex and since the 1-sphere $S^1$ is compact, it follows (lemma) that

\begin{aligned} \underset{\longrightarrow}{\lim}_{i} \Omega Z_{i,k} & = \underset{\longrightarrow}{\lim}_{i} Maps(S^1, Z_{i,k})_\ast \\ & \simeq Maps(S^1, \underset{\longrightarrow}{\lim}_i Z_{i,k} )_\ast \\ & = \Omega \underset{\longrightarrow}{\lim}_i Z_{i,k} \\ & \simeq (\Omega Q X) \end{aligned} \,.

Finally, let

$\eta_X \colon X \to Q X$

be degreewise the inclusion of the first component ($i = 0$) into the colimit. By construction, this is a homomorphism of sequential spectra (according to def. ).

###### Proposition

Let $X\in SeqSpec(Top_{cg})$ be a sequential prespectrum with $j_X \colon X \to Q X$ from def. . Then:

1. $Q X$ is an Omega-spectrum (def. );

2. $\eta_X \colon X \to Q X$ is a stable weak homotopy equivalence (def. ):

3. $\eta_X$ is a level weak equivalence (is in $W_{strict}$, def. ) precisely if $X$ is an Omega-spectrum;

4. a morphism $f \colon X \to Y$ is a stable weak homotopy equivalence (def. ), precisely if $Q f \colon Q X \to Q Y$ is a level weak equivalence (is in $W_{strict}$, def. ).

###### Proof

Since the colimit defining $Q X$ is a transfinite composition of relative cell complexes, each component map $X_k \to (Q X)_k$ is itself a relative cell complex. Since n-spheres are compact topological spaces, it follows (lemma) that each element of a homotopy group in $\pi_\bullet((Q X)_k)$ is in the image of a finite stage $\pi_\bullet(Z_{i,k})$ for some $i \in \mathbb{N}$. From this, all statements follow by inspection at finite stages.

Regarding first statement:

Since each $\tilde \sigma_{i,k}$ by construction is a weak homotopy equivalence followed by an inclusion of stages in the colimit, as any element of $\pi_q((Q X)_k)$ is sent along $\tilde \sigma^{Q X}_k$ it passes through one such $\pi_q(\tilde \sigma_{i ,k})$ at some stage $i$, hence also through all the following, and is hence identically preserved in the colimit.

Regarding the second statement:

By the previous statement and by example , the map $\pi_\bullet(\eta_X) \colon \pi_\bullet(X)\to \pi_\bullet(Q X)$ is given in degree $q \geq 0$ by

$\underset{ \simeq \underset{\longrightarrow}{\lim}_k \pi_q \left(\Omega^k X_k\right) } { \underbrace{ \underset{\longrightarrow}{\lim}_{k \in \mathbb{N}} \pi_{q+k}(X_k) }} \longrightarrow \pi_q \left( (Q X)_0 \right)$

and similarly in degree $q\lt 0$. Now using the compactness of the spheres and the definition of $Q$ we compute on the right:

\begin{aligned} \pi_q( (Q X)_0 ) & = \pi_q (\underset{\longrightarrow}{\lim}_k Z_{k,0}) \\ & \simeq \underset{\longrightarrow}{\lim}_k \pi_q ( Z_{k,0}) \\ & \simeq \underset{\longrightarrow}{\lim}_k \pi_q ( \Omega^k X_k ) \end{aligned} \,,

where the last isomorphism is $\pi_q$ applied to the composite of the weak homotopy equivalences

$Z_{k,0} \underoverset{\in W_{cl}}{\phi_{k-1,0}}{\longrightarrow} \Omega Z_{k-1,1} \to \cdots \to \Omega^k Z_{0,k} = \Omega^k X_k \,.$

Regarding the third statement:

In one direction:

If $X$ is an Omega-spectrum in that all its adjunct structure maps $\tilde \sigma_k$ are weak homotopy equivalences, then by two-out-of-three also the maps $\iota_{i,k}$ in def. are weak homotopy equivalences. Hence $(j_X)_k \colon X_k \to (Q X)_k$ is the map into a sequential colimit over acyclic relative cell complexes, and again by the compactness of the spheres, this means that it is itself a weak homotopy equivalence.

In the other direction:

If $\eta_X$ is degrewise a weak homotopy equivalence, then by applying two-out-of-three (def.) to the compatibility squares for the adjunct structure morphisms (def. ), using that $\tilde \sigma^{Q X}_n$ is a weak homotopy equivalence by the first point above

$\array{ X_n &\underoverset{\in W_{cl}}{(j_X)_n}{\longrightarrow}& (Q X)_n \\ {}^{\mathllap{\tilde \sigma^X_n}}\downarrow && \downarrow^{\mathrlap{\tilde \sigma^{Q X}_n}}_{\mathrlap{\in W_{cl}}} \\ Maps(S^1,X_{n+1}) &\underoverset{\Maps(S^1,(j_X)_{n+1})}{\in W_{cl}}{\longrightarrow}& Maps(S^1, (Q X)_{n+1}) }$

implies that also $\tilde \sigma^X_n \in W_{cl}$, hence that $X$ is an Omega-spectrum.

The fourth statement follows with similar reasoning.

###### Remark

In the case that $X$ is a CW-spectrum (def. ) then the sequence of resolutions in the definition of spectrification in def. is not necessary, and one may simply consider

$(Q_{CW} X)_n \;\coloneqq\; \underset{\longrightarrow}{\lim}_k \Omega^k X_{n+k} \,.$

See for instance (Lewis-May-Steinberger 86, p. 3) and (Weibel 94, 10.9.6 and topology exercise 10.9.2).

### As topological diagrams

In order to conveniently understand the stable model category structure on spectra, we now consider an equivalent reformulation of the component-wise definition of sequential spectra, def. , as topologically enriched functors (defn.).

###### Definition

Write

$\iota \;\colon\; StdSpheres \longrightarrow Top_{cg}^{\ast/}$

for the non-full topologically enriched subcategory (def.) of that of pointed compactly generated topological spaces (def.) where:

• objects are the standard n-spheres $S^n$, for $n \in \mathbb{N}$, identified as the smash product powers $S^n \coloneqq (S^1)^{\wedge^n}$ of the standard circle;

• hom-spaces are

$StdSpheres(S^{n}, S^{k+n}) \coloneqq \left\{ \array{ \ast & for & k \lt 0 \\ S^k & otherwise } \right.$
• composition is induced from composition in $Top^{\ast/}_{cg}$ by regarding the hom-space $S^k$ above as its image in $Maps({S^n},S^{k+n})_\ast$ under the adjunct

$S^{k} \stackrel{}{\to} Maps({S^n},S^{k+n})_\ast$

of the canonical isomorphism

$S^k \wedge S^n \overset{\simeq}{\longrightarrow} S^{k+n} \,.$

This induces the category

$[StdSpheres, Top^{\ast/}_{cg}]$

of topologically enriched functors on $StdSpheres$ with values in $Top_{cg}^{\ast/}$ (exmpl.).

###### Proposition

There is an equivalence of categories

$(-)^seq \;\colon\; [StdSpheres,\; Top_{cg}^{\ast/}] \overset{\simeq}{\longrightarrow} SeqSpec(Top_{cg})$

from the category of topologically enriched functors on the category of standard spheres of def. to the category of topological sequential spectra, def. , which is given on objects by sending $X \in [StdSpheres,Top_{cg}^{\ast/}]$ to the sequential prespectrum $X^{seq}$ with components

$X^{seq}_n \coloneqq X(S^n)$

and with structure maps

$\frac{ S^1 \wedge X^{seq}_n \stackrel{\sigma_n}{\longrightarrow} X^{seq}_n }{ S^1 \longrightarrow Maps(X^{seq}_n, X^{seq}_{n+1})_\ast }$

being the adjunct of the component map of $X$ on spheres of consecutive dimension.

###### Proof

First observe that from its components on consecutive spheres the functor $X$ is already uniquely determined. Indeed, by definition the hom-space between non-consecutive spheres $StdSpheres(S^n, S^{n+k})$ is the smash product of the hom-spaces between the consecutive spheres, for instance:

$\array{ S^1 \wedge S^1 & = & StdSpheres(S^n, S^{n+1}) \wedge StdSpheres(S^{n+1}, S^{n+2}) \\ {}^{\mathllap{\simeq}}\downarrow && {}^{\mathllap{\simeq}}\downarrow^{\circ} \\ S^2 & = & StdSpheres(S^n , S^{n+2}) } \,,$

and so functoriality completely fixes the former by the latter.

This means that we actually have a bijection between classes of objects.

Now observe that a natural transformation $f \colon X \to Y$ between two functors on $StdSpheres$ is equivalently a collection of component maps $f_n \colon X_n \to Y_n$, such that for each $s \in S^1$ then the following squares commute

$\array{ X(S^n) &\overset{f_n}{\longrightarrow}& Y^{S^{n}} \\ {}^{\mathllap{X_{S^n,S^{n+1}}(s)}}\downarrow && \downarrow^{\mathrlap{Y_{S^n,S^{n+1}}(s)}} \\ X(S^{n+1}) &\underset{f_{n+1}}{\longrightarrow}& Y(S^{n+1}) } \,,$

By the smash/hom adjunction, the square equivalently factors as

$\array{ X(S^n) &\overset{f_n}{\longrightarrow}& Y^{S^{n}} \\ {}^{\mathllap{(s,id)}}\downarrow && \downarrow^{\mathrlap{(s,id)}} \\ S^1 \wedge X(S^n) &\underset{id \times f_n}{\longrightarrow}& S^1 \wedge Y(S^n) \\ {}^{\mathllap{\sigma^X_n}} \downarrow && \downarrow^{\mathrlap{\sigma^Y_n}} \\ X(S^{n+1}) &underset{f_{n+1}}{\longrightarrow}& Y(S^{n+1}) } \,.$

Here the top square commutes in any case, and so the total rectangle commutes precisely if the lower square commutes, hence if under our identification the components $\{f_n\}$ constitute a homomorphism of sequential spectra.

Hence we have an isomorphism on all hom-sets, and hence an equivalence of categories.

Further below we use prop. to naturally induce a model structure on the category of topological sequential spectra.

###### Remark

Under the equivalence of prop. , the general concept of tensoring of topologically enriched functors over topological spaces (according to this def.) restricts to the concept of tensoring of sequential spectral over topological spaces according to def. .

###### Proposition

The category $SeqSpec(Top_{cq})$ of sequential spectra (def. ) has all limits and colimits, and they are computed objectwise:

Given

$X_\bullet \;\colon\; I \longrightarrow SeqSpec(Top_{cg})$

a diagram of sequential spectra, then:

1. its colimiting spectrum has component spaces the colimit of the component spaces formed in $Top_{cg}$ (via this prop. and this corollary):

$(\underset{\longrightarrow}{\lim}_i X(i))_n \simeq \underset{\longrightarrow}{\lim}_i X(i)_n \,,$
2. its limiting spectrum has component spaces the limit of the component spaces formed in $Top_{cg}$ (via this prop. and this corollary):

$(\underset{\longleftarrow}{\lim}_i X(i))_n \simeq \underset{\longleftarrow}{\lim}_i X(i)_n \,;$

moreover:

1. the colimiting spectrum has structure maps in the sense of def. given by

$S^1 \wedge (\underset{\longrightarrow}{\lim}_i X(i)_n) \simeq \underset{\longrightarrow}{\lim}_i ( S^1 \wedge X(i)_n ) \overset{\underset{\longrightarrow}{\lim}_i \sigma_n^{X(i)}}{\longrightarrow} \underset{\longrightarrow}{\lim}_i X(i)_{n+1}$

where the first isomorphism exhibits that $S^1 \wedge(-)$ preserves all colimits, since it is a left adjoint by prop. ;

2. the limiting spectrum has adjunct structure maps in the sense of def. given by

$\underset{\longleftarrow}{\lim}_i X(i)_n \overset{\underset{\longleftarrow}{\lim}_i \tilde \sigma_n^{X(i)}}{\longrightarrow} \underset{\longleftarrow}{\lim}_i Maps(S^1, X(i)_n)_\ast \simeq Maps(S^1, \underset{\longleftarrow}{\lim}_i X(i)_n)_\ast$

where the last isomorphism exhibits that $Maps(S^1,-)_\ast$ preserves all limits, since it is a right adjoint by prop. .

###### Proof

That the limits and colimits exist and are computed objectwise follows via prop. from the general statement for categories of topological functors (prop.). But it is also immediate to directly check the universal property.

###### Example

The initial object and the terminal object in $SeqSpec(Top_{cg})$ agree and are both given by the spectrum constant on the point, which is also the suspension spectrum $\Sigma^\infty \ast$ (def. ) of the point). We will denote this spectrum $\ast$ or $0$ (since it is hence a zero object ):

$\ast_n = \ast$
$S^1 \wedge \ast_n \simeq \ast \overset{\simeq}{\to} \ast \,.$
###### Example

The coproduct of spectra $X, Y \in SeqSpec(Top_{cg})$, called the wedge sum of spectra

$X \vee Y \coloneqq X \sqcup Y$

is componentwise the wedge sum of pointed topological spaces (exmpl.)

$(X \vee Y)_n = X_n \vee Y_n$

with structure maps

$\sigma_n^{X \vee Y} \;\colon\; S^1 \wedge (X \vee Y) \simeq S^1 \wedge X \,\vee\, S^1 \wedge Y \overset{(\sigma_n^X, \sigma_n^Y)}{\longrightarrow} X_{n+1} \vee Y_{n+1} \,.$
###### Example

For $X \in SeqSpec(Top_{cg})$ a sequential spectrum, def. , its standard cylinder spectrum is its smash tensoring $X \wedge (I_+)$, according to def. , with the standard interval (def.) with a basepoint freely adjoined (def.). The component spaces of the cylinder spectrum are the standard reduced cylinders (def.) of the component spaces of $X$:

$(X \wedge (I_+))_n = X_n \wedge I_+ \,.$

By the functoriality of the smash tensoring, the factoring

$\nabla_{S^0} \;\colon\; S^0 \vee S^0 \longrightarrow I_+ \longrightarrow S^0$

of the codiagonal on the 0-sphere through the standard interval with a base point adjoined, gives a factoring of the codiagonal of $X$ through its standard cylinder spectrum

$\nabla_X \;\colon\; X \vee X \overset{X \wedge (S^0 \vee S^0 \to I_+)}{\longrightarrow} X \wedge (I_+) \overset{X \wedge (I_+ \to S^0) }{\longrightarrow} X$

(where we are using that wedge sum is the coproduct in pointed topological spaces (exmpl.).)

### Suspension and looping

We discuss models for the operation of reduced suspension and forming loop space objects of sequential spectra.

###### Definition

For $X$ a sequential spectrum, then

1. the standard suspension of $X$ is the smash product-tensoring $X \wedge S^1$ according to def. ;

2. the standard looping of $X$ is the smash powering $Maps(S^1,X)_\ast$ according to def. .

###### Proposition

For $X\in SeqSpec(Top_{cg})$, the standard suspension $X \wedge S^1$ of def. is equivalently the cofiber (formed via prop. ) of the canonical inclusion of boundaries into the standard cylinder spectrum $X \wedge (I_+)$ of example :

$X \wedge S^1 \simeq cofib\left( X \vee X \to X \wedge (I_+) \right) \,.$
###### Proof

This is immediate from the componentwise construction of the smash tensoring and the componentwise computation of colimits of spectra via prop. .

This means that once we know that $X\vee X \to X \wedge (I_+)$ is suitably a cofibration (to which we turn below) then the standard suspension is a homotopy-correct model for the suspension operation. However, some properties of suspension are hard to prove directly with the standard suspension model. For such there are two other models for suspension and looping of spectra. These three models are not isomorphic to each other in $SeqSpec(Top_{cg})$, but (this is lemma below) they will become isomorphic in the stable homotopy category (def. ).

###### Definition

For $X$ a sequential spectrum (def. ) and $k \in \mathbb{Z}$, the $k$-fold shifted spectrum of $X$ is the sequential spectrum denoted $X[k]$ given by

• $(X[k])_n \coloneqq \left\{ \array{X_{n+k} & for \; n+k \geq 0 \\ \ast & otherwise } \right.$;

• $\sigma_n^{X[k]} \coloneqq \left\{ \array{ \sigma^X_{n+k} & for \; n+k \geq 0 \\ 0 & otherwise} \right.$.

###### Definition

For $X$ a sequential spectrum, def. , then

1. the alternative suspension of $X$ is the sequential spectrum $\Sigma X$ with

1. $(\Sigma X)_n \coloneqq S^1 \wedge X_n$ (smash product on the left (defn.))

2. $\sigma_n^{\Sigma X} \coloneqq S^1 \wedge (\sigma^X_n)$.

in the sense of def. ;

2. the alternative looping of $X$ is the sequential spectrum $\Omega X$ with

1. $(\Omega X)_n \coloneqq Maps(S^1,X_n)_\ast$;

2. $\tilde \sigma_n^{\Omega X} \coloneqq Maps(S^1,\tilde \sigma^X_n)_\ast$

in the sense of def. .

###### Remark

In various references the “alternative suspension” from def. is called the “fake suspension” (e.g. Goerss-Jardine 96, p. 499, Jardine 15, section 10.4).

###### Remark

There is no direct natural isomorphism between the standard suspension (def. ) and the alternative suspension (def. ). This is due to the non-trivial graded commutativity (braiding) of smash products of spheres. (We discuss braiding of the smash product more in detail in Part 1.2, this example).

Namely a natural isomorphism $\phi \colon \Sigma X \longrightarrow X \wedge S^1$ (or alternatively the other way around) would have to make the following diagrams commute:

$\array{ S^1 \wedge S^1 \wedge X_n &\overset{id_{S^1} \wedge \phi_n}{\longrightarrow}& S^1 \wedge X_n \wedge S^1 \\ {}^{\mathllap{S^1 \wedge \sigma_n}}\downarrow &(nc)& \downarrow^{\mathrlap{\sigma_n \wedge S^1}} \\ S^1 \wedge X_{n+1} &\underset{\phi_{n+1}}{\longrightarrow}& X_{n+1} \wedge S^1 }$

and naturally so in $X$.

The only evident option is to have $\phi$ be the braiding homomorphisms of the smash product

$\phi_n = \tau_{S^1, X_n} \;\colon\; S^1 \wedge X_{n} \overset{\simeq}{\to} X_{n} \wedge S^1 \,.$

It may superficially look like this makes the above diagram commute, but it does not. To make this explicit, consider labeling the two copies of the circle appearing here as $S^1_a$ and $S^1_b$. Then the diagram we are dealing with looks like this:

$\array{ S_a^1 \wedge S_b^1 \wedge X_n &\longrightarrow& S_a^1 \wedge X_n \wedge S_b^1 \\ {}^{\mathllap{S^1_a \wedge \sigma_n}}\downarrow &(nc)& \downarrow^{\mathrlap{\sigma_n \wedge S^1_b}} \\ S_a^1 \wedge X_{n+1} &\underset{}{\longrightarrow}& X_{n+1} \wedge S_b^1 }$

If we had $S^1_a \wedge \sigma_n$ on the left and $\sigma_n \wedge S^1_a$ on the right, then the naturality of the braiding would indeed give a commuting diagram. But since this is not the case, the only way to achieve this would be by exchanging in the top left

$S^1_a \wedge S^1_b \longrightarrow S^1_b \wedge S^1_a \,.$

However, this map is non-trivial. It represents $-1$ in $[S^2, S^2]_\ast = \pi_2(S^2) = \mathbb{Z}$. Hence inserting this map in the top of the previous diagram still does not make it commute.

But this technical problem points to its own solutions: if we were to restrict to the homotopy category of spectra which had structure maps only of the form $S^2 \wedge X_n \to X_{n+2}$, then the braiding required to make the two models of suspension comparable would be

$S^2_a \wedge S^1_b \longrightarrow S^1_b \wedge S^2_a$

and this map is indeed trivial, up to homotopy. This we make precise as lemma below.

More generally, the kind of issue encountered here is taken care of by the concept of symmetric spectra, to which we turn in Part 1.2.

###### Remark

The looping and suspension operations in def. and def. commute with shifting, def. . Therefore in expressions like $\Sigma (X[1])$ etc. we may omit the parenthesis.

###### Proposition

The constructions from def. , def. and def. form pairs of adjoint functors $SeqSpec \to SeqSpec$ like so:

1. $(-)[-1] \dashv (-)[1]$;

2. $(-)\wedge S^1 \dashv Maps(S^1,-)_\ast$;

3. $\Sigma \dashv \Omega$.

###### Proof

Regarding the first statement:

A morphism of the form $f \;\colon\; X[-1] \longrightarrow Y$ has components of the form

$\array{ \vdots && \vdots \\ X_2 &\overset{f_2}{\longrightarrow}& Y_3 \\ X_1 &\overset{f_2}{\longrightarrow}& Y_2 \\ X_0 &\overset{f_1}{\longrightarrow}& Y_1 \\ \ast &\overset{f_0 = 0}{\longrightarrow}& Y_0 }$

and the compatibility condition with the structure maps in lowest degree is automatically satisfied

$\array{ \ast &\overset{(S^1 \wedge f_0) = 0}{\longrightarrow}& S^1 \wedge Y_0 \\ {}^{\mathllap{\sigma^{X[-1]}_0 = 0}}\downarrow && \downarrow^{\mathrlap{\sigma^Y_0}} \\ X_0 &\overset{f_1}{\longrightarrow}& Y_1 } \,.$

Therefore this is equivalent to components

$\array{ \vdots && \vdots \\ X_2 &\overset{f_2}{\longrightarrow}& Y_3 \\ X_1 &\overset{f_2}{\longrightarrow}& Y_2 \\ X_0 &\overset{f_1}{\longrightarrow}& Y_1 }$

hence to a morphism $X \longrightarrow Y[1]$.

The second statement is a special case of prop. .

Regarding the third statement:

This follows by applying the (smash product$\dashv$pointed mapping space)-adjunction isomorphism twice, like so:

Morphisms $f\colon \Sigma X \to Y$ in the sense of def. are in components given by commuting diagrams of this form:

$\array{ S^1 \wedge S^1 \wedge X_{n} &\overset{S^1 \wedge f_{n}}{\longrightarrow}& S^1 \wedge Y_{n} \\ {}^{\mathllap{S^1 \wedge \sigma_n^X}}\downarrow && \downarrow^{\mathrlap{\sigma^Y_n}} \\ S^1 \wedge X_{n+1} &\underset{f_{n+1}}{\longrightarrow}& Y_{n+1} } \,.$

Applying the adjunction isomorphism diagonally gives a natural bijection to diagrams of this form:

$\array{ S^1 \wedge X_n &\overset{f_n}{\longrightarrow}& Y_n \\ {}^{\mathllap{\sigma^X_n}}\downarrow && \downarrow^{\mathrlap{\tilde \sigma^Y_n}} \\ X_{n+1} &\underset{\widetilde {f_{n+1}}}{\longrightarrow}& Maps(S^1,Y_{n+1})_\ast } \,.$

(To see this in full detail, for instance for the adjunct of the left and bottom morphism: chase the identity $id_{S^1 \wedge X_{n+1}}$ in both ways

$\array{ Hom(S^1 \wedge X_{n+1}, S^1 \wedge X_{n+1}) &\overset{\simeq}{\longrightarrow}& Hom(X_{n+1}, Maps(S^1, S^1 \wedge X_{n+1})_\ast) \\ {}^{\mathllap{Hom(S^1 \wedge \sigma^X_n, f_{n+1})}}\downarrow && \downarrow^{\mathrlap{Hom(\sigma^X_n, Maps(S^1, f_{n+1})_\ast)}} \\ Hom(S^1 \wedge S^1 \wedge X_n, Y_{n+1}) &\overset{\simeq}{\longrightarrow}& Hom(S^1 \wedge X_n, Maps(S^1, Y_{n+1})_\ast) }$

Then applying the adjunction isomorphism diagonally once more gives a further bijection to commuting diagrams of this form:

$\array{ X_n &\overset{\widetilde {f_n}}{\longrightarrow}& Maps(S^1,Y_n)_\ast \\ {}^{\mathllap{\tilde \sigma_n}}\downarrow && \downarrow^{\mathrlap{Maps(S^1,\tilde \sigma^Y_n)_\ast}} \\ Maps(S^1, X_{n+1})_\ast &\underset{Maps(S^1,\widetilde{f_{n+1}})_\ast}{\longrightarrow}& Maps\left(S^1, Maps(S^1,Y_{n+1})_\ast\right)_\ast } \,.$

This, finally, equivalently exhibits homomorphisms of the form

$X \longrightarrow \Omega Y$

in the sense of def. .

###### Proposition

The following diagram of adjoint pairs of functors commutes:

$\array{ Top_{cg}^{\ast/} & \underoverset{\underoverset{\Omega}{\bot}{\longrightarrow}}{\overset{\Sigma}{\longleftarrow}}{} & Top^{\ast/}_{cg} \\ {}^{\mathllap{\Sigma^\infty}}\downarrow \dashv \uparrow^{\mathrlap{\Omega^\infty}} && {}^{\mathllap{\Sigma^\infty}}\downarrow \dashv \uparrow^{\mathrlap{\Omega^\infty}} \\ SeqSpec(Top_{cg}) & \underoverset {\underset{\Omega}{\longrightarrow}} {\overset{\Sigma}{\longleftarrow}} {\bot} & SeqSpec(Top_{cg}) } \,,$

Here the top horizontal adjunction is from prop. , the vertical adjunction is from prop. and the bottom adjunction is from prop. .

###### Proof

It is sufficient to check

$\Sigma^\infty \circ \Sigma \simeq \Sigma \circ \Sigma^\infty \,.$

From this the statement

$\Omega^\infty \circ \Omega \simeq \Omega \circ \Omega^\infty$

So let $X \in Top_{cg}^{\ast/}$. Then

• $(\Sigma \Sigma^\infty X)_n = S^1 \wedge S^n \wedge X$,

• $\sigma^{(\Sigma \Sigma^\infty X)}_n \colon S^1 \wedge S^1 \wedge S^n \wedge X \overset{S^1 \wedge id}{\longrightarrow} S^1 \wedge S^{1+n} \wedge X$,

while

• $(\Sigma^\infty \Sigma X)_n = S^n \wedge S^1 \wedge X$,

• $\sigma_n^{(\Sigma^\infty \Sigma X)}\colon S^1\wedge S^n \wedge S^1 \wedge X \overset{id \wedge S^1 \wedge X}{\longrightarrow} S^{1+n} \wedge S^1 \wedge X$,

where we write “id” for the canonical isomorphism. Clearly there is a natural isomorphism given by the canonical identifications

$S^1 \wedge S^n \wedge X \overset{\simeq}{\longrightarrow} (S^1)^{\wedge^{n+1}}\wedge X \overset{\simeq}{\longrightarrow} S^n \wedge S^1 \wedge X \,.$

(As long as we are not smash-permuting the $S^1$ factor with the $S^n$ factor – and here we are not – then the fact that they get mixed under this isomorphism is irrelevant. The point where this does become relevant is the content of remark below.)

## The strict model structure on sequential spectra

The model category structure on sequential spectra which presents stable homotopy theory is the “stable model structure” discussed below. Its fibrant-cofibrant objects are (in particular) Omega-spectra, hence are the proper spectrum objects among the pre-spectrum objects.

But for technical purposes it is useful to also be able to speak of a model structure on pre-spectra, which sees their homotopy theory as sequences of simplicial sets equipped with suspension maps, but not their stable structure. This is called the “strict model structure” for sequential spectra. Its main point is that the stable model structure of interest arises from it via left Bousfield localization.

###### Definition

Say that a homomorphism $f_\bullet \colon X_\bullet \to Y_\bullet$ in the category $SeqSpec(Top)$, def. is

We write $W_{strict}$, $Fib_{strict}$ and $Cof_{strict}$ for these classes of morphisms, respectively.

Recall the sets

$I_{Top^{\ast/}} \coloneqq \{S^{n-1}_+ \overset{(\iota_n)_+}{\longrightarrow} D^n_+\}_{n \in \mathbb{N}}$
$J_{Top^{\ast/}} \coloneqq \{D^n \overset{(j_n)_+}{\longrightarrow} D^n \times I\}_{n \in \mathbb{N}}$

of standard generating (acyclic) cofibrations (def.) of the classical model structure on pointed topological spaces (thm.).

###### Definition

Write

$I_{seq}^{strict} \coloneqq \left\{ y(S^n) \cdot i_+ \right\}_{{S^n \in StdSpheres,} \atop {i_+ \in I_{Top^{\ast/}}}} \;\; \in [StdSpheres, Top^{\ast/}] \simeq SeqSpec(Top)$

and

$J_{seq}^{strict} \coloneqq \left\{ y(S^n) \cdot j_+ \right\}_{{ S^n \in StdSpheres} \atop {j_+ \in J_{Top^{\ast/}}}} \;\; \in [StdSpheres, Top^{\ast/}] \simeq SeqSpec(Top) \,,$

for the set of morphisms arising as the tensoring (remark ) of a representable (exmpl.) with a generating acyclic cofibration of the classical model structure on pointed topological spaces (def.).

###### Theorem

The classes of morphisms in def. give the structure of a model category (def.) to be denoted $SeqSpec(Top)_{strict}$ and called the strict model structure on topological sequential spectra (or: level model structure).

Moreover, this is a cofibrantly generated model category with generating (acyclic) cofibrations the set $I_{seq}^{strict}$ (resp. $J_{seq}^{strict}$) from def. .

###### Proof

Prop. says that the category of sequential spectra is equivalently an enriched functor category

$SeqSpec(Top) \simeq [StdSpheres,\; Top_{cg}^{\ast/}] \,.$

Accordingly, this carries the projective model structure on functors (thm.). This immediately gives the statement for the fibrations and the weak equivalences.

It only remains to check that the cofibrations are as claimed. To that end, consider a commuting square of sequential spectra

$\array{ X &\stackrel{h}{\longrightarrow}& A \\ \downarrow^{\mathrlap{f}} && \downarrow \\ Y &\longrightarrow& B } \,.$

By definition, this is equivalently an $\mathbb{N}$-collection of commuting diagrams in $Top_{cg}$ of the form

$\array{ X_n &\stackrel{h_n}{\longrightarrow}& A_n \\ \downarrow^{\mathrlap{f_n}} && \downarrow \\ Y_n &\longrightarrow& B_n }$

such that all structure maps are respected.

$\array{ S^1 \wedge X_n &\stackrel{\sigma_n^X}{\longrightarrow}& X_{n+1} \\ \downarrow^{\mathrlap{S^1 \wedge f_n}} && \downarrow^{\mathrlap{f_{n+1}}} \\ S^1 \wedge Y_n &\stackrel{\sigma_n^Y}{\longrightarrow}& Y_{n+1} \\ & \searrow && \searrow \\ && S^1 \wedge B_n &\stackrel{\sigma_n^B}{\longrightarrow}& B_{n+1} } \;\;\; = \;\;\; \array{ S^1 \wedge X_n &\stackrel{\sigma_n^X}{\longrightarrow}& X_{n+1} \\ & \searrow^{\mathrlap{S^1 \wedge h_n}} && \searrow^{\mathrlap{h_{n+1}}} \\ && S^1 \wedge A_n &\stackrel{\sigma_n^A}{\longrightarrow}& A_{n+1} \\ && \downarrow && \downarrow \\ && S^1 \wedge B_n &\stackrel{\sigma_n^B}{\longrightarrow}& B_{n+1} } \,.$

Hence a lifting in the original diagram is a lifting in each degree $n$, such that the lifting in degree $n+1$ makes these diagrams of structure maps commute.

Since components are parameterized over $\mathbb{N}$, this condition has solutions by induction:

First of all there must be an ordinary lifting in degree 0. Since the strict fibrations are degreewise classical fibrations, this gives the condition that for $f_\bullet$ to be a strict cofibration, then $f_0$ is to be a classical cofibration.

Then assume that a lifting $l_n$ in degree $n$ has been found

$\array{ X_n &\stackrel{h_n}{\longrightarrow}& A_n \\ \downarrow^{\mathrlap{f_n}} &\nearrow_{\mathrlap{l_n}}& \downarrow \\ Y_n &\longrightarrow& B_n } \,.$

Now the lifting $l_{n+1}$ in the next degree has to also make the following diagram commute

$\array{ S^1 \wedge X_n &\stackrel{\sigma_n^X}{\longrightarrow}& X_{n+1} \\ \downarrow^{\mathrlap{S^1 \wedge f_n}} && \downarrow^{\mathrlap{f_{n+1}}} & \searrow^{\mathrlap{h_{n+1}}} \\ S^1 \wedge Y_n &\stackrel{\sigma_n^Y}{\longrightarrow}& Y_{n+1} && \\ & \searrow^{\mathrlap{S^1 \wedge l_n}} && \searrow^{\mathrlap{l_{n+1}}} & \downarrow \\ && S^1 \wedge A_n &\stackrel{\sigma_n^A}{\longrightarrow}& A_{n+1} } \,.$

This is a cocone under the commuting square for the structure maps, and therefore the outer diagram is equivalently a morphism out of the domain of the pushout product $f_n \Box \sigma_n^X$ (def.), while the compatible lift $l_{n+1}$ is equivalently a lift against this pushout product:

$\array{ S^1 \wedge Y_n \underset{S^1 \wedge X_n}{\sqcup} X_{n+1} &\stackrel{(\sigma_n^A \circ S^1 \wedge l_n,\;h_{n+1})}{\longrightarrow}& A_{n+1} \\ {}^{\mathllap{f_n \Box \sigma^X_n}}\downarrow &{}^{\mathllap{l_{n+1}}}\nearrow& \downarrow \\ Y_{n+1} &\stackrel{}{\longrightarrow}& B_{n+1} } \,.$

This shows that $f_\bullet$ is a strict cofibration precisely if, in addition to $f_0$ being a classical cofibration, all these pushout products are classical cofibrations.

### Suspension and looping

###### Proposition

The $(\Sigma^\infty \dashv \Omega^\infty)$-adjunction from prop. is a Quillen adjunction (def.) between the classical model structure on pointed topological spaces (thm., prop.) and the strict model structure on topological sequential spectra of theorem :

$(\Sigma^\infty \dashv \Omega^\infty) \;\colon\; SeqSpec(Top_{cg})_{strict} \underoverset {\underset{\Omega^{\infty}}{\longrightarrow}} {\overset{\Sigma^\infty}{\longleftarrow}} {\bot} (Top_{cg}^{\ast/})_{Quillen} \,.$
###### Proof

It is clear that $\Omega^\infty$ preserves fibrations and acyclic cofibrations. This is sufficient to deduce a Quillen adjunction.

Just for the record, we spell out a direct argument that also $\Sigma^\infty$ preserves cofibrations and acyclic cofibrations:

Let $f \colon X\longrightarrow Y$ be a morphism in $Top^{\ast/}_{cg}$ and

$\Sigma^\infty f \colon \Sigma^\infty X \longrightarrow \Sigma^\infty Y$

its image.

Since the structure maps in a suspension spectrum, example , are all isomorphisms, we have for all $n \in \mathbb{N}$ an isomorphism

$(\Sigma^\infty X)_{n+1} \underset{S^1 \wedge (\Sigma^\infty X)_n}{\coprod} S^1 \wedge (\Sigma^\infty Y)_n \simeq S^1 \wedge (\Sigma^\infty Y)_n \,.$

Therefore $\Sigma^\infty f$ is a strict cofibration, according to def. , precisely if $(\Sigma^\infty f)_0 = f$ is a classical cofibration and all the structure maps of $\Sigma^\infty Y$ are classical cofibrations. But the latter are even isomorphisms, so that this is no extra condition (prop.). Hence $\Sigma^\infty$ sends classical cofibrations of spaces to strict cofibrations of sequential spectra.

Furthermore, since $S^n \wedge (-) \colon (Top_{cg}^{\ast/})_{Quillen} \to (Top_{cg}^{\ast/})_{Quillen}$ is a left Quillen functor for all $n \in \mathbb{N}$ by prop. it sends classical acyclic cofibrations to classical acyclic cofibrations. Hence $\Sigma^\infty$, which is degreewise given by $S^n \wedge(-)$, sends classical acyclic cofibrations to degreewise acyclic cofibrations, hence in particular to degreewise weak equivalences, hence to weak equivalences in the strict model structure on sequential spectra.

This shows that $\Sigma^\infty$ is a left Quillen functor.

###### Proposition

The $(\Sigma \dashv \Omega)$-adjunction from prop. is a Quillen adjunction (def.) with respect to the strict model structure on sequential spectra of theorem .

$SeqSpec(Top_{cg})_{strict} \underoverset {\underset{\Omega}{\longrightarrow}} {\overset{\Sigma}{\longleftarrow}} {\bot} SeqSpec(Top_{cg})_{strict} \,.$
###### Proof

Since the (acyclic) fibrations of $SeqSpec(Top_{cg})_{strict}$ are by definition those morphisms that are degreewise (acylic) fibrations in $(Top^{\ast/}_{cg})_{Quillen}$, the statement follows immediately from the fact that the right adjoint $\Omega$ is degreewise given by $Maps(S^1, -)_\ast \colon (Top^{\ast/}_{cg})_{Quillen} \to (Top^{\ast/}_{cg})_{Quillen}$, which is a right Quillen functor by prop. .

In summary, prop. , prop. and prop. say that

###### Corollary

The commuting square of adjunctions in prop. is a square of Quillen adjunctions with respect to the classical model structure on pointed compactly generated topological spaces (thm., prop.) and the strict model structure on topological sequential spectra of theorem :

$\array{ (Top_{cg}^{\ast/})_{Quillen} & \underoverset{\underoverset{\Omega}{\bot}{\longrightarrow}}{\overset{\Sigma}{\longleftarrow}}{} & (Top^{\ast/}_{cg})_{Quillen} \\ {}^{\mathllap{\Sigma^\infty}}\downarrow \dashv \uparrow^{\mathrlap{\Omega^\infty}} && {}^{\mathllap{\Sigma^\infty}}\downarrow \dashv \uparrow^{\mathrlap{\Omega^\infty}} \\ SeqSpec(Top_{cg})_{strict} & \underoverset {\underset{\Omega}{\longrightarrow}} {\overset{\Sigma}{\longleftarrow}} {\bot} & SeqSpec(Top_{cg})_{strict} } \,,$

Further below we pass to the stable model structure in order to make the bottom adjunction in this diagram become a Quillen equivalence. This stable model structure will have more weak equivalences than the strict model structure, but will have the same cofibrations. Therefore we first consider now cofibrancy conditions already in the strict model structure.

### CW-spectra

###### Definition

A sequential spectrum $X$ (def. ) is called a cell spectrum if

1. all component spaces $X_n$ are cell complexes (def.);

2. all structure maps $\sigma_n \colon S^1 \wedge X_n \longrightarrow X_{n+1}$ are relative cell complex inclusions.

A CW-spectrum is a cell spectrum such that all component spaces $X_n$ are CW-complexes (def.).

###### Example

The suspension spectrum $\Sigma^\infty X$ (example ) for $X \in Top^{\ast/}_{cg}$ a CW-complex is a CW-spectrum (def. ).

###### Remark

Since, by definition , a $p$-cell of a cell spectrum that appears at stage $q$ shows up as its $k$-fold suspension at stage $q+k$, its attachment to some spectrum $X$ is reflected by a pushout of spectra of the form

$\array{ \Sigma^\infty S^{-1}_+[-q] &\longrightarrow& X &\longrightarrow& \ast \\ {}^{\mathllap{\Sigma^\infty (i_{p})_+[-q]}} \downarrow &(po)& \downarrow &(po)& \downarrow \\ \Sigma^\infty D^{p}_+[-q] &\longrightarrow& \hat X &\longrightarrow& \Sigma^\infty S^p[-q] } \,,$

where the left vertical morphism is the image under the $-q$th shift spectrum functor (def. ) of the image under the suspension spectrum functor (example ) of the basic cell inclusion $(i_p)_+$ of pointed topological spaces (def.). This is a cofibration by prop. , and so also the middle vertical morphism is a cofibration, by theorem . Using the pasting law for pushouts, we find that the cofiber of the middle vertical morphisms (hence its homotopy cofiber (def.) in the strict model structure) is $\Sigma^\infty S^p[-q]$ (not $\Sigma^\infty S^p_+[-q]\;$(!)). This is a shift of a trunction of the sphere spectrum.

After having set up the stable model category structure in theorem below, we find that this means that cell attachments to CW-spectra in the stable model structure are by cofibers of integer shifts of the sphere spectrum $\mathbb{S}$ (def. ), in that in the stable homotopy category (def. ) the above situation is reflected as a homotopy cofiber sequence of the form

$\Sigma^{p-q-1} \mathbb{S} \longrightarrow X \longrightarrow \hat X \longrightarrow \Sigma^{p-q} \mathbb{S} \,.$
###### Lemma

Let $\kappa$ be an regular cardinal and let $X$ be a $\kappa$-cell spectrum, hence a cell spectrum (def. ) obtained from at most $\kappa$ stable cell attachments as in remark . Then $X$ is $\kappa$-small (def.) with respect to morphisms of spectra that are degreewise relative cell complex inclusions.

###### Proof

By remark the attachment of stable cells is by free spectra (def. ) on compact topological spaces. By prop. maps out of them are equivalently maps of component spaces in the lowest nontrivial degree. Since compact topological spaces are small with respect to relative cell complex inclusions (lemma), all these cells are small.

Now notice that $\kappa$-filtered colimits of sets commute with $\kappa$-small limtis of sets (prop.). By assumption $X$ is a $\kappa$-small transfinite composition of pushouts of $\kappa$-small coproducts, all three of which are $\kappa$-small colimits; and let $Y$ be the codomain of a $\kappa$-small relative cell complex inclusion, hence itself a $\kappa$-small colimit.

Now if $A = \underset{\longrightarrow}{\lim}_n \sigma_n$ is a $\kappa$-small colimit of $\kappa$-small objects $\sigma_n$, and $Y = \underset{\longrightarrow}{\lim}_i Y_i$ is a $\kappa$-small colimit, then

\begin{aligned} Hom( A, \underset{\longrightarrow}{\lim}_i Y_i ) & \simeq Hom( \underset{\longrightarrow}{\lim}_\sigma c_\sigma, \underset{\longrightarrow}{\lim}_i Y_i ) \\ & \simeq \underset{\longleftarrow}{\lim}_\sigma Hom(c_\sigma, \underset{\longrightarrow}{\lim}_i Y_i ) \\ & \simeq \underset{\longleftarrow}{\lim}_\sigma \, \underset{\longrightarrow}{\lim}_i Hom(c_\sigma, Y_i ) \\ & \simeq \underset{\longrightarrow}{\lim}_i \, \underset{\longleftarrow}{\lim}_\sigma Hom(c_\sigma, Y_i ) \\ & \simeq \underset{\longrightarrow}{\lim}_i Hom(\underset{\longrightarrow}{\lim}_\sigma c_\sigma, Y_i ) \\ & \simeq \underset{\longrightarrow}{\lim}_i Hom(A, Y_i ) \end{aligned} \,.

Hence the claim follows.

###### Proposition

The class of CW-spectra is closed under various operations, including

###### Proposition

A sequential spectrum $X \in SeqSpec(Top_{cg})$ is cofibrant in the strict model structure $SeqSpec(Top_{cg})_{strict}$ of theorem precisely if

1. $X_0$ is cofibrant;

2. each structure map $\sigma_n \colon S^1 \wedge X_n \to X_{n+1}$ is a cofibration

in the classical model structure $(Top^{\ast/}_{cg})_{Quillen}$ on pointed compactly generated topological spaces (thm., prop.).

In particular cell spectra and specifically CW-spectra (def. ) are cofibrant.

###### Proof

The initial object in $SeqSpec(Top_{cg})_{strict}$ is the spectrum $\ast$ that is constant on the point (example ). A morphism $\ast \to X$ is a cofibration according to def. if

1. the morphism $\ast \to X_0$ is a classical cofibration, hence if the object $X_0$ is a classical cofibrant object, hence a retract of a cell complex;

2. the morphisms

$\ast_{n+1}\underset{S^1 \wedge \ast_n}{\sqcup} S^1 \wedge X_n \longrightarrow X_{n+1}$

are classical cofibrations. But since $S^1 \wedge \ast \simeq \ast \overset{\simeq}{\to} \ast$ is an isomorphism in this case the pushout reduces to just its second summand, and so this is now equivalent to

$S^1 \wedge X_n \longrightarrow X_{n+1}$

being classical cofibrations; hence retracts of relative cell complexes.

###### Proposition

For $X\in SeqSpec(Top)_{stable}$ a CW-spectrum, def. , then its standard cylinder spectrum $X \wedge (I_+)$ of def. satisfies the conditions on an abstract cylinder object (def.) in that the inclusion

$X \vee X \longrightarrow X \wedge (I_+)$

(of the wedge sum of $X$ with itself, example ) is a cofibration in $SeqSpec(Top)_{stable}$.

###### Proof

According to def. we need to check that for all $n$ the morphism

$(X \vee X)_{n+1} \underset{S^1 \wedge (X\vee X)_n}{\sqcup} S^1 \wedge (X \wedge (I_+))_n \longrightarrow (X \wedge (I_+))_{n+1}$

is a retract of a relative cell complex. After distributing indices and smash products over wedge sums, this is equivalently

$(X_{n+1} \vee X_{n+1}) \underset{(S^1 \wedge X_n )\vee (S^1 \wedge X_n))}{\sqcup} S^1 \wedge X_n \wedge (I_+) \longrightarrow X_{n+1} \wedge (I_+) \,.$

Now by the assumption that $X$ is a CW-spectrum, each $X_{n}$ is a CW-complex, and this implies that $X_n \wedge (I_+)$ is a relative cell complex in $Top^{\ast/}$. With this, inspection shows that also the above morphism is a relative cell complex.

We now turn to discussion of CW-approximation of sequential spectra. First recall the relative version of CW-approximation for topological spaces.

For the following, recall that a continuous function $f \colon X \to Y$ between topological spaces is called an n-connected map if the induced morphism on homotopy groups $\pi_\bullet(f)\colon \pi_\bullet(X,x) \to \pi_\bullet(Y,f(x))$ is

1. an isomorphism in degree $\lt n$;

2. an epimorphism in degree $n$.

(Hence an weak homotopy equivalence is an “$\infty$-connected map”.)

###### Lemma

Let $f \;\colon\; A \longrightarrow X$ be a continuous function between topological spaces. Then there exists for each $n \in \mathbb{N}$ a relative CW-complex $\hat f \colon A \hookrightarrow \hat Y$ together with an extension $\phi \colon Y \to X$, i.e.

$\array{ A &\overset{f}{\longrightarrow}& X \\ {}^{\mathllap{\hat f}}\downarrow & \nearrow_{\mathrlap{\phi}} \\ \hat X }$

such that $\phi$ is n-connected.

Moreover:

• if $f$ itself is k-connected, then the relative CW-complex $\hat f$ may be chosen to have cells only of dimension $k + 1 \leq dim \leq n$.

• if $A$ is already a CW-complex, then $\hat f \colon A \to X$ may be chosen to be a subcomplex inclusion.

###### Proposition

For every continuous function $f \colon A \longrightarrow X$ out of a CW-complex $A$, there exists a relative CW-complex $\hat f \colon A \longrightarrow \hat X$ that factors $f$ followed by a weak homotopy equivalence

$\array{ A && \overset{f}{\longrightarrow} && X \\ & {}_{\mathllap{\hat f}}\searrow && \nearrow_{\mathrlap{{\phi} \atop {\in WHE}}} \\ && \hat X } \,.$
###### Proof

Apply lemma iteratively for $n \in \mathbb{N}$ to produce a sequence with cocone of the form

$\array{ A &\overset{f_0}{\longrightarrow}& X_0 &\overset{f_2}{\longrightarrow}& X_1 &\longrightarrow & \cdots \\ &{}_{\mathllap{f}}\searrow & \downarrow^{\mathrlap{\phi_0}} & \swarrow_{\mathrlap{\phi_1}} & \cdots \\ && X } \,,$

where each $f_n$ is a relative CW-complex adding cells exactly of dimension $n$, and where $\phi_n$ in n-connected.

Let then $\hat X$ be the colimit over the sequence (its transfinite composition) and $\hat f \colon A \to X$ the induced component map. By definition of relative CW-complexes, this $\hat f$ is itself a relative CW-complex.

By the universal property of the colimit this factors $f$ as

$\array{ A &\overset{f_0}{\longrightarrow}& X_0 &\overset{f_1}{\longrightarrow}& X_1 &\longrightarrow & \cdots \\ &{}_{\mathllap{}}\searrow & \downarrow^{\mathrlap{}} & \swarrow_{\mathrlap{}} & \cdots \\ && \hat X \\ && \downarrow^{\mathrlap{\phi}} \\ && X } \,.$

Finally to see that $\phi$ is a weak homotopy equivalence: since n-spheres are compact topological spaces, then every map $\alpha \colon S^n \to \hat X$ factors through a finite stage $i \in \mathbb{N}$ as $S^n \to X_i \to \hat X$ (by this lemma). By possibly including further into higher stages, we may choose $i \gt n$. But then the above says that further mapping along $\hat X \to X$ is the same as mapping along $\phi_i$, which is $(i \gt n)$-connected and hence an isomorphism on the homotopy class of $\alpha$.

###### Proposition

For $X$ any topological sequential spectrum (def.), then there exists a CW-spectrum $\hat X$ (def. ) and a homomorphism

$\phi \;\colon\; \hat X \overset{\in W_{strict}}{\longrightarrow} X \,.$

which is degreewise a weak homotopy equivalence, hence a weak equivalence in the strict model structure of theorem .

###### Proof

First let $\hat X_0 \longrightarrow X_0$ be a CW-approximation of the component space in degree 0, via prop. . Then proceed by induction: suppose that for $n \in \mathbb{N}$ a CW-approximation $\phi_{k \leq n} \colon \hat X_{k \leq n} \to X_{k \leq n}$ has been found such that all the structure maps in degrees $\lt n$ are respected. Consider then the composite continuous function

$S^1 \wedge \hat X_n \overset{S^1 \wedge \phi_n}{\longrightarrow} S^1 \wedge X_n \overset{\sigma_n}{\longrightarrow} X_{n+1} \,.$

Applying prop. to this function factors it as

$S^1 \wedge \hat X_n \hookrightarrow \hat X_{n+1} \overset{\phi_{n+1}}{\longrightarrow} X_{n+1} \,.$

Hence we have obtained the next stage $\hat X_{n+1}$ of the CW-approximation. The respect for the structure maps is just this factorization property:

$\array{ S^1 \wedge \hat X_n &\overset{S^1 \wedge \phi_n}{\longrightarrow}& S^1 \wedge X_n \\ {}^{incl}\downarrow && \downarrow^{\mathrlap{\sigma_n}} \\ \hat X_{n+1} &\underset{\phi_{n+1}}{\longrightarrow}& X_{n+1} } \,.$

### Topological enrichment

We discuss here how the hom-set of homomorphisms between any two sequential spectra is naturally equipped with a topology, and how these hom-spaces interact well with the strict model structure on sequential spectra from theorem . This is in direct analogy to the compatibility of compactly generated mapping spaces (def.) with the classical model structure on compactly generated topological spaces discussed at Classical homotopy theory – Topological enrichment. It gives an improved handle on the analysis of morphisms of spectra below in the proof of the stable model structure and it paves the way to the discussion of fully fledge mapping spectra below in part 1.2. There we will give a fully general account of the principles underlying the following. Here we just consider a pragmatic minimum that allows us to proceed.

###### Definition

For $X, Y \in SeqSpec(Top_{cg})$ two sequential spectra (def. ) let

$SeqSpec(X,Y) \in Top_{cg}^{\ast/}$

be the pointed topological space whose underlying set is the hom-set $Hom_{SeqSpec(Top_{cg})}(X,Y)$ of homomorphisms from $X$ to $Y$, and which is equipped with the final topology (def.) generated by those functions

$\phi \;\colon\; K \longrightarrow Hom_{SeqSpec(Top_{cg})}(X,Y)$

out of compact Hausdorff spaces $K$, for which there exists a homomorphism of spectra

$\tilde \phi \;\colon\; X\wedge K \longrightarrow Y$

out of the smash tensoring of $X$ with $K$ (def. ) such that for all $y \in K$, $n \in \mathbb{N}$, $x \in X_n$

$\phi(y)_n(x) = \tilde \phi_n(x,y) \,.$

By construction this makes $SeqSpec(X,Y)$ indeed into a compactly generated topological space, and it gives a natural bijection

$Hom_{Top^{\ast/}_{cg}}(K,\, SeqSpec(X,Y)) \;\simeq\; Hom_{SeqSpec(Top^{\ast/}_{cg})}( X \wedge K ,\, Y ) \,.$

In Prelude – Classical homotopy theory we discussed, in the section Topological enrichment, that the classical model structure on topological spaces (when restricted to compactly generated topological spaces) interacts well with forming smash products and pointed mapping spaces. Concretely, the smash pushout product of two classical cofibrations is a classical cofibration, and is acyclic if either of the factors is:

$Cof_{cl} \Box Cof_{cl} \subset Cof_{cl} \;\,, \;\;\;\;\;\;\; (Cof_{cl} \cap W_{cl}) \Box Cof_{cl} \subset Cof_{cl} \cap W_{cl} \,.$

We also saw that, by Joyal-Tierney calculus (prop.), this is equivalent to the pullback powering satisfying the dual relations

$Fib_{cl}^{\Box Cof_{cl}} \subset Fib_{cl} \;\,, \;\:\;\; Fib_{cl}^{\Box (Cof_{cl} \cap W_{cl})} \subset Fib_{cl} \cap W_{cl} \;\,, \;\;\; (Fib_{cl} \cap W_{cl})^{\Box Cof_{cl}} \subset Fib_{cl} \cap W_{cl} \,.$

Now that we passed from spaces to spectra, def. generalizes the smash product of spaces to the smash tensoring of sequential spectra by spaces, and generalizes the pointed mapping space construction for spaces to the powering of a space into a sequential spectrum. Accordingly there is now the analogous concept of pushout product with respect to smash tensoring, and of pullback powering with respect to smash powering.

From the way things are presented, it is immediate that these operations on spectra satisfy the analogous compatibility condition with the strict model structure on spectra from theorem , in fact this follows generally for topologically enriched functor categories and is inherited via prop. . But since this will be important for some of the discussion to follow, we here make it explicit:

###### Definition

Let $f \;\colon \; X \to Y$ be a morphism in $SeqSpec(Top_{cg})$ (def. ) and let $i \;\colon\; A \to B$ a morphism in $Top_{cg}^{\ast/}$.

Their pushout product with respect to smash tensoring is the universal morphism

$f \Box i \coloneqq \left((id,i), (f,id)\right)$

in

$\array{ && X \wedge A \\ & {}^{\mathllap{(f,id)}}\swarrow && \searrow^{\mathrlap{(id,i)}} \\ Y \wedge A && (po) && X \wedge B \\ & {}_{\mathllap{}}\searrow && \swarrow \\ && (Y \wedge A) \underset{X \wedge A}{\sqcup} (X \wedge B) \\ && \downarrow^{\mathrlap{((id, i), (f,id))}} \\ && Y \wedge B } \,,$

where $(-)\wedge(-)$ denotes the smash tensoring from def. .

Dually, their pullback powering is the universal morphism

$f^{\Box i} \coloneqq (Maps(B,f)_\ast, Maps(i,X)_\ast)$

in

$\array{ && Maps(B,X)_\ast \\ && \downarrow^{\mathrlap{(Maps(B,f)_\ast, Maps(i,X)_\ast)}} \\ && Maps(B,Y)_\ast \underset{Maps(A,Y)_\ast}{\times} Maps(A,X)_\ast \\ & \swarrow && \searrow \\ Maps(B,Y)_\ast && (pb) && Maps(A,X)_\ast \\ & {}_{\mathllap{Maps(i,Y)_\ast}}\searrow && \swarrow_{\mathrlap{Maps(A,p)_\ast}} \\ && Maps(A,Y)_\ast } \,,$

where $Maps(-,-)_\ast$ denotes the smash powering from def. .

Similarly, for $f \colon X \to Y$ and $i \colon A \to B$ both morphisms of sequential spectra, then their pullback powering is the universal morphism

$f^{\Box i} \coloneqq (SeqSpec(B,f), SeqSpec(i,X))$

in

$\array{ && SeqSpec(B,X)_\ast \\ && \downarrow^{\mathrlap{(SeqSpec(B,f)_\ast, SeqSpec(i,X)_\ast)}} \\ && SeqSpec(B,Y)_\ast \underset{SeqSpec(A,Y)_\ast}{\times} SeqSpec(A,X)_\ast \\ & \swarrow && \searrow \\ SeqSpec(B,Y)_\ast && (pb) && SeqSpec(A,X)_\ast \\ & {}_{\mathllap{SeqSpec(i,Y)_\ast}}\searrow && \swarrow_{\mathrlap{SeqSpec(A,p)_\ast}} \\ && SeqSpec(A,Y)_\ast } \,,$

where now $SeqSpec(-,-)$ is the hom-space functor from def. .

###### Proposition

The operation of forming pushout products with respect to smash tensoring in def. is compatible with the strict model structure on sequential spectra from theorem and with the classical model structure on compactly generated pointed topological spaces (thm., prop.) in that it takes two cofibrations to a cofibration, and to an acyclic cofibration if at least one of the inputs is acyclic:

\begin{aligned} Cof_{strict} \Box Cof_{cl} & \subset\; Cof_{strict} \\ Cof_{strict} \Box (Cof_{cl} \Box W_{cl}) & \subset\; Cof_{strict} \cap W_{strict} \\ (Cof_{strict} \cap W_{strict}) \Box Cof_{cl} & \subset\; Cof_{strict} \cap W_{strict} \end{aligned} \,.

Dually, the pullback powering satisfies

\begin{aligned} Fib_{strict}^{\Box Cof_{cl}} & \subset\; Fib_{strict} \\ Fib_{strict}^{\Box ( Cof_{cl} \cap W_{cl})} & \subset\; Fib_{strict}\cap W_{strict} \\ (Fib_{strict} \cap W_{strict})^{\Box Cof_{cl}} & \subset\; Fib_{strict} \cap W_{strict} \end{aligned} \,.
###### Proof

The statement concering the pullback powering follows directly form the analogous statement for topological spaces (prop.) by the fact that via theorem the fibrations and weak equivalences in $SeqSpec(Top_{cg})_{strict}$ are degree-wise those in $(Top_{cg}^{\ast/})_{Quillen}$. From this the statement about the pushout product follows dually by Joyal-Tierney calculus (prop.).

###### Remark

In the language of model category-theory, prop. says that $SeqSpec(Top_{cg})_{strict}$ is an enriched model category, the enrichment being over $(Top_{cg}^{\ast/})_{Quillen}$. This is often referred to simply as a “topological model category”.

###### Proposition

For $X \in SeqSpec(Top_{cg})$ a sequential spectrum, $f \in Mor(SeqSpec(Top_{cg}))$ any morphism of sequential spectra, and for $g \in Mor(Top_{cpt}^{\ast/})$ a morphism of compact Hausdorff spaces, then the hom-spaces of def. interact with the pushout-product and pullback-powering from def. in that there is a natural isomorphism

$SeqSpec(f \Box g, X) \simeq SeqSpec(f,X)^{\Box g} \,.$
###### Proposition

For $X,Y \in SeqSpec(Top_{cg})$ two sequential spectra with $X$ a CW-spectrum (def. ), then there is a natural bijection

$\pi_0 SeqSpec(X,Y) \simeq [X,Y]_{strict}$

between the connected components of the hom-space from def. and the hom-set in the homotopy category (def.) of the strict model structure from theorem .

###### Proof

By def. the path components of the hom-space are the left homotopy classes of morphisms of spectra with respect to the standard cylinder spectrum of def. :

$\frac{ I_+ \longrightarrow SeqSpec(X,Y) }{ X \wedge (I_+) \longrightarrow Y } \,.$

By prop. , for $X$ a CW-spectrum then the standard cylinder spectrum $X \wedge (I_+)$ is a good cyclinder object (def.) on a cofibrant object.

Since moreover every object in $SeqSpec(Top_{cg})_{strict}$ is fibrant, the statement follows (with this lemma).

## The stable model structure on sequential spectra

The actual spectrum objects of interest in stable homotopy theory are not the pre-spectra of def. , but the Omega-spectra of def. among them. Hence we need to equip the category of sequential pre-spectra of def. with a model structure (def.) whose fibrant-cofibrant objects are, in particular Omega-spectra. More in detail, it is plausible to require that every pre-spectrum is weakly equivalent to a fibrant-cofibrant one which is both an Omega-spectrum and a CW-spectrum as in def. . By prop. this suggests to construct a model category structure on $SeqSpec(Top_{cg})$ that has the same cofibrations as the strict model structure of theorem , but more weak equivalences (and hence less fibrations), such as to make every sequential pre-spectrum weakly equivalent to an Omega cell spectrum.

Such a situation is called a Bousfield localization of a model category.

### Bousfield localization

In plain category theory, a reflective localization of a category $\mathcal{C}$ is equivalently a full subcategory

$i \;\colon\; \mathcal{C}_{loc} \hookrightarrow \mathcal{C}$

such that the inclusion functor has a left adjoint $L$

$\mathcal{C}_{loc} \underoverset {\underset{i}{\longrightarrow}} {\overset{L}{\longleftarrow}} {\bot} \mathcal{C} \,.$

The adjunction unit $\eta_X \colon X \to L(X)$ “reflects” every object $X$ of $\mathcal{C}$ into one in the $\mathcal{C}_{loc}$, and therefore this is also called a reflective subcategory inclusion.

It is a classical fact (Gabriel-Zisman 67, prop.) that in this situation

$\mathcal{C}_{loc} \simeq \mathcal{C}[W^{-1}_L]$

is equivalently the localization (def.) of $\mathcal{C}$ at the “$L$-equivalences”, namely at those morphisms $f$ such that $L(f)$ is an isomorphism. Hence one also speaks of reflective localizations.

The following concept of Bousfield localization of model categories is the evident lift of this concept of reflective localization from the realm of categories to the realm of model categories (def.), where isomorphism is generealized to weak equivalence and where adjoint functors are taken to exhibit Quillen adjunctions.

###### Definition

A left Bousfield localization $\mathcal{C}_{loc}$ of a model category $\mathcal{C}$ (def.) is another model category structure on the same underlying category with the same cofibrations,

$Cof_{loc} = Cof$

but more weak equivalences

$W_{loc} \supset W \,.$

Notice that:

###### Proposition

Given a left Bousfield localization $\mathcal{C}_{loc}$ of $\mathcal{C}$ as in def. , then

1. $Fib_{loc} \subset Fib$;

2. $W_{loc} \cap Fib_{loc} = W \cap Fib$;

3. the identity functors constitute a Quillen adjunction

$\mathcal{C}_{loc} \underoverset {\underset{id}{\longrightarrow}} {\overset{id}{\longleftarrow}} {\bot} \mathcal{C} \,.$
4. the induced adjunction of derived functors (prop.) exhibits a reflective subcategory inclusion of homotopy categories (def.)

$Ho(\mathcal{C}_{loc}) \underoverset {\underset{\mathbb{R} id}{\longrightarrow}} {\overset{\mathbb{L}id}{\longleftarrow}} {\bot} Ho(\mathcal{C}) \,.$
###### Proof

Regarding the first two items:

Using the properties of the weak factorization systems (def.) of (acyclic cofibrations, fibrations) and (cofibrations, acyclic fibrations) for both model structures we get

\begin{aligned} Fib_{loc} &= (Cof_{loc} \cap W_{loc})Inj \\ &\subset (Cof_{loc} \cap W)Inj \\ & = Fib \end{aligned}

and

\begin{aligned} Fib_{loc} \cap W_{loc} & = Cof_{loc} Inj \\ & = Cof \, Inj \\ & = Fib \cap W \end{aligned} \,.

Regarding the third point:

By construction, $id \colon \mathcal{C} \to \mathcal{C}_{loc}$ preserves cofibrations and acyclic cofibrations, hence is a left Quillen functor.

Regarding the fourth point:

Since $Cof_{loc} = Cof$ the notion of left homotopy in $\mathcal{C}_{loc}$ is the same as that in $\mathcal{C}$, and hence the inclusion of the subcategory of local cofibrant-fibrant objects into the homotopy category of the original cofibrant-fibrant objects is clearly a full inclusion. Since $Fib_{loc} \subset Fib$ by the first statement, on these cofibrant-fibrant objects the right derived functor of the identity is just the identity and hence does exhibit this inclusion. The left adjoint to this inclusion is given by $\mathbb{L}id$, by the general properties of Quillen adjunctions (prop).

In plain category theory, given a reflective subcategory

$\mathcal{C}_{loc} \underoverset {\underset{i}{\longrightarrow}} {\overset{L}{\longleftarrow}} {\bot} \mathcal{C}$

then the composite

$Q \coloneqq i \circ L \;\colon\; \mathcal{C} \longrightarrow \mathcal{C}$

is an idempotent monad on $\mathcal{C}$, hence, in particular, an endofunctor equipped with a natural transformation $\eta_X \;\colon\; X \to L X$ (the adjunction unit) – which “reflects” every object into one in the image of $L$ – such that this reflection is a projection in that each $L(\eta_X)$ is an isomorphism. This characterizes the reflective subcategory $\mathcal{C}_{loc} \hookrightarrow \mathcal{C}$ as the subcategory of those objects $X$ for which $\eta_X$ is an isomorphism.

The following is the lift of this alternative perspective of reflective localization via idempotent monads from category theory to model category theory.

###### Definition

Let $\mathcal{C}$ be a model category (def.) which is right proper (def.), in that pullback along fibrations preserves weak equivalences.

Say that a Quillen idempotent monad on $\mathcal{C}$ is

1. $Q \;\colon\; \mathcal{C} \longrightarrow \mathcal{C}$

2. $\eta \;\colon\; id_{\mathcal{C}} \longrightarrow Q$

such that

1. (homotopical functor) $Q$ preserves weak equivalences;

2. (idempotency) for all $X \in \mathcal{C}$ the morphisms

$Q(\eta_X) \;\colon\; Q(X) \overset{\in W}{\longrightarrow} Q(Q(X))$

and

$\eta_{Q(X)} \;\colon\; Q(X) \overset{\in W}{\longrightarrow} Q(Q(X))$

are weak equivalences;

3. (right-properness of the localization) if in a pullback square in $\mathcal{C}$

$\array{ f^\ast Z &\overset{f^\ast h}{\longrightarrow}& X \\ \downarrow &(pb)& \downarrow^{\mathrlap{f}} \\ Z &\underset{h}{\longrightarrow}& Y }$

we have that

1. $f$ is a fibration;

2. $\eta_X$, $\eta_Y$, and $Q(h)$ are weak equivalences

then $Q(f^\ast h)$ is a weak equivalence.

###### Definition

For $Q \colon \mathcal{C} \longrightarrow \mathcal{C}$ a Quillen idempotent monad according to def. , say that a morphism $f$ in $\mathcal{C}$ is

1. a $Q$-weak equivalence if $Q(f)$ is a weak equivalence;

2. a $Q$-cofibation if it is a cofibration.

3. a $Q$-fibration if it has the right lifting property against the morphisms that are both ($Q$-)cofibrations as well as $Q$-weak equivalences.

Write

$\mathcal{C}_Q$

for $\mathcal{C}$ equipped with these classes of morphisms.

Since $Q$ preserves weak equivalences (by def. ) then if the classes of morphisms in def. do constitute a model category structure, then this is a left Bousfield localization of $\mathcal{C}$, according to def. .

We establish a couple of lemmas that will prove that the model structure indeed exists (prop. below).

###### Lemma

In the situation of def. , a morphism is an acyclic fibration in $\mathcal{C}_Q$ precisely if it is an acyclic fibration in $\mathcal{C}$.

###### Proof

Let $f$ be a fibration and a weak equivalence. Since $Q$ preserves weak equivalences by condition 1 in def. , $f$ is also a $Q$-weak equivalence. Since $Q$-cofibrations are cofibrations, the acyclic fibration $f$ has right lifting against $Q$-cofibrations, hence in particular against against $Q$-acyclic $Q$-cofibrations, hence is a $Q$-fibration.

In the other direction, let $f \;\colon\; X \longrightarrow Y$ be a $Q$-acyclic $Q$-fibration. Consider its factorization into a cofibration followed by an acyclic fibration

$f \;\colon\; X \underoverset{\in Cof}{i}{\longrightarrow} Z \underoverset{\in W \cap Fib}{p}{\longrightarrow} Y \,.$

Observe that $Q$-equivalences satisfy two-out-of-three (def.), by functoriality and since the plain equivalences do. Now the assumption that $Q$ preserves weak equivalences together with two-out-of-three implies that $i$ is a $Q$-weak equivalence, hence a $Q$-acyclic $Q$-cofibration. This implies that $f$ has the right lifting property against $i$ (since $f$ is assumed to be a $Q$-fibration, which is defined by this lifting property). Hence the retract argument (prop.) implies that $f$ is a retract of the acyclic fibration $p$, and so is itself an acyclic fibration.

###### Lemma

In the situation of def. , if a morphism $f \colon X \longrightarrow Y$ is a fibration, and if $\eta_X, \eta_Y$ are weak equivalences, then $f$ is a $Q$-fibration.

###### Proof

We need to show under the given assumptions that for every commuting square of the form

$\array{ A &\overset{\alpha}{\longrightarrow}& X \\ {}^{\mathllap{i}}_{\mathllap{\in W_Q \cap Cof_Q}}\downarrow && \downarrow^{\mathrlap{f}} \\ B &\underset{\beta}{\longrightarrow}& Y }$

there exists a lifting.

To that end, first consider a factorization of the image under $Q$ of this square as follows:

$\array{ Q(A) &\overset{Q(\alpha)}{\longrightarrow}& Q(X) \\ {}^{\mathllap{Q(i)}}\downarrow && \downarrow^{\mathrlap{Q(f)}} \\ Q(B) &\underset{Q(\beta)}{\longrightarrow}& Q(Y) } \;\;\;\;\;\; \simeq \;\;\;\;\;\; \array{ Q(A) &\underoverset{\in W \cap Cof}{j_\alpha}{\longrightarrow}& Z &\underoverset{\in Fib}{p_\alpha}{\longrightarrow}& Q(X) \\ {}^{\mathllap{Q(i)}}\downarrow && \downarrow^{\pi} && \downarrow^{\mathrlap{Q(f)}} \\ Q(B) &\underoverset{j_\beta}{\in W \cap Cof}{\longrightarrow}& W &\underoverset{p_\beta}{\in Fib}{\longrightarrow}& Q(Y) }$

(This exists even without assuming functorial factorization: factor the bottom morphism, form the pullback of the resulting $p_\beta$, observe that this is still a fibration, and then factor (through $j_\alpha$) the universal morpism from the outer square into this pullback.)

Now consider the pullback of the right square above along the naturality square of $\eta \colon id \to Q$, take this to be the right square in the following diagram

$\array{ \alpha \colon & A &\overset{(j_\alpha \circ \eta_A, \alpha)}{\longrightarrow}& Z \underset{Q(X)}{\times} X &\overset{}{\longrightarrow}& X \\ & {}^{\mathllap{i}}\downarrow && \downarrow^{\mathrlap{(\pi,f)}} && \downarrow^{\mathrlap{f}}& \\ \beta \colon & B &\underset{(j_\beta\circ\eta_B,\beta)}{\longrightarrow}& W \underset{Q(Y)}{\times} Y &\underset{}{\longrightarrow}& Y } \,,$

where the left square is the universal morphism into the pullback which is induced from the naturality squares of $\eta$ on $\alpha$ and $\beta$.

We claim that $(\pi,f)$ here is a weak equivalence. This implies that we find the desired lift by factoring $(\pi,f)$ into an acyclic cofibration followed by an acyclic fibration and then lifting consecutively as follows

$\array{ \alpha \colon & A &\overset{(j_\alpha \circ \eta_A, \alpha)}{\longrightarrow}& Z \underset{Q(X)}{\times} X &\overset{}{\longrightarrow}& X \\ & {}^{\mathllap{id}}\downarrow && {}^{\mathllap{\in W \cap Cof}}\downarrow &{}^{\mathllap{\exists}}\nearrow& \downarrow^{\mathrlap{f}}_{\mathrlap{\in Fib}}& \\ & A &\longrightarrow& &\overset{\phantom{AAAAAAA}}{\longrightarrow}& Y \\ & {}^{\mathllap{i}}_{\mathllap{\in Cof}}\downarrow &{}^{\mathllap{\exists}}\nearrow& \downarrow^{\mathrlap{\in W \cap Fib}} && \downarrow^{\mathrlap{id}}& \\ \beta \colon & B &\underset{(j_\beta\circ\eta_B,\beta)}{\longrightarrow}& W \underset{Q(Y)}{\times} Y &\longrightarrow& Y } \,.$

To see that $(\phi,f)$ indeed is a weak equivalence:

Consider the diagram

$\array{ Q(A) &\underoverset{\in W \cap Cof}{j_\alpha}{\longrightarrow}& Z &\underoverset{\in W}{pr_1}{\longleftarrow}& Z \underset{Q(X)}{\times} X \\ {}^{\mathllap{Q(i)}}_{\mathllap{\in W}}\downarrow && \downarrow^{\mathrlap{\pi}} && \downarrow^{\mathrlap{(\pi,f)}} \\ Q(B) &\underoverset{j_\beta}{\in W \cap Cof}{\longrightarrow}& Z &\underoverset{pr_2}{\in W}{\longleftarrow}& W \underset{Q(X)}{\times} X } \,.$

Here the projections are weak equivalences as shown, because by assumption in def. the ambient model category is right proper and these projections are the pullbacks along the fibrations $p_\alpha$ and $p_\beta$ of the morphisms $\eta_X$ and $\eta_Y$, respectively, where the latter are weak equivalences by assumption. Moreover $Q(i)$ is a weak equivalence, since $i$ is a $Q$-weak equivalence.

Hence now it follows by two-out-of-three (def.) that $\pi$ and then $(\pi,f)$ are weak equivalences.

###### Proposition

(Bousfield-Friedlander theorem)

Let $\mathcal{C}$ be a right proper model category. Let $Q \colon \mathcal{C} \longrightarrow \mathcal{C}$ be a Quillen idempotent monad on $\mathcal{C}$, according to def. .

Then the Bousfield localization model category $\mathcal{C}_Q$ (def. ) at the $Q$-weak equivalences (def. ) exists, in that the model structure on $\mathcal{C}$ with the classes of morphisms in def. exists.

###### Proof

The existence of limits and colimits is guaranteed since $\mathcal{C}$ is already assumed to be a model category. The two-out-of-three poperty for $Q$-weak equivalences is an immediate consequence of two-out-of-three for the original weak equivalences of $\mathcal{C}$. Moreover, according to lemma the pair of classes $(Cof_{Q}, W_Q \cap Fib_Q)$ equals the pair $(Cof, W \cap Fib)$, and this is a weak factorization system by the model structure $\mathcal{C}$.

Hence it remains to show that $(W_Q \cap Cof_Q, \; Fib_Q)$ is a weak factorization system. The condition $Fib_Q = RLP(W_Q \cap Cof_Q)$ holds by definition of $Fib_Q$. Once we show that every morphism factors as $W_Q \cap Cof_Q$ followed by $Fib_Q$, then the condition $W_Q \cap Cof_Q = LLP(Fib_Q)$ follows from the retract argument (lemma) and the fact that the classes $W_Q$ and $Cof_Q$ are closed under retracts, because $W$ and $Cof = Cof_Q$ are (by this prop. and this prop., respectively).

So we may conclude by showing the existence of $(W_Q \cap Cof_Q, \; Fib_Q)$ factorizations:

First we consider the case of morphisms of the form $f \colon Q(Y) \to Q(Y)$. These may be factored with respect to $\mathcal{C}$ as

$f \;\colon\; Q(X) \underoverset{\in W \cap Cof}{\in i}{\longrightarrow} Z \underoverset{\in Fib}{p}{\longrightarrow} Q(Y) \,.$

Here $i$ is already a $Q$-acyclic $Q$-cofibration, since $Q$ preserves weak equivalences by the first clause in def. . Now apply $id \overset{\eta}{\to} Q$ to obtain

$\array{ f \colon & Q(X) &\underoverset{\in W \cap Cof}{i}{\longrightarrow}& Z &\underoverset{\in Fib}{p}{\longrightarrow}& Q(Y) \\ & \downarrow^{\mathrlap{\eta_{Q(X)}}}_{\mathrlap{\in W}} && \downarrow^{\mathrlap{\eta_Z}} && \downarrow^{\mathrlap{\eta_{Q(Y)}}}_{\mathrlap{\in W}} \\ & Q(Q(X)) &\underoverset{Q(i)}{\in W}{\longrightarrow}& Q(Z) &\underset{}{\longrightarrow}& Q(Q(Y)) } \,,$

where $\eta_{Q(X)}$ and $\eta_{Q(Y)}$ are weak equivalences by idempotency (the second clause in def. ), and $Q(i)$ is a weak equivalence since $Q$ preserves weak equivalences. Hence by two-out-of-three also $\eta_Z$ is a weak equivalence. Therefore lemma gives that $p$ is a $Q$-fibration, and hence the above factorization is already as desired

$f \;\colon\; Q(X) \underoverset{\in W_Q \cap Cof_Q}{\in i}{\longrightarrow} Z \underoverset{\in Fib_Q}{p}{\longrightarrow} Q(Y) \,.$

Now for an arbitrary morphism $g \colon X \to Y$, form a factorization of $Q(g)$ as above and then decompose the naturality square for $\eta$ on $g$ into the pullback of the resulting $Q$-fibration along $\eta_Y$:

$\array{ g \colon & X &\overset{\tilde i}{\longrightarrow}& Z \underset{Q(Y)}{\times} Y &\overset{\tilde p \in Fib_{Q}}{\longrightarrow}& Y \\ & {}^{\mathllap{\eta_X}}_{\mathllap{\in W_Q}}\downarrow && \downarrow^{\mathrlap{\eta'}}_{\mathrlap{}} &(pb)& \downarrow^{\mathrlap{\eta_Y}}_{\mathrlap{\in W_Q}} \\ Q(g) \colon & Q(Y) &\underoverset{i}{\in W_Q}{\longrightarrow}& Z &\underoverset{p}{\in Fib_Q}{\longrightarrow}& Q(Y) } \,.$

This exhibits $\eta'$ as the pullback of a $Q$-weak equivalence along a fibration between objects on which $\eta$ is a weak equivalence. Then the third clause in def. says that $\eta'$ is itself as a $Q$-weak equivalence. This way, two-out-of-three implies that $\tilde i$ is a $Q$-weak equivalence.

Observe that $\tilde p$ is a $Q$-fibration, because it is the pullback of a $Q$-fibration and because $Q$-fibrations are defined by a right lifting property (def. ) and hence closed under pullback (prop.) Finally, apply factorization in $(Cof,\; W\cap Fib)$ to $\tilde i$ to obtain the desired factorization

$f \;\colon\; \underoverset{W_Q \cap Cof}{\tilde i_L}{\longrightarrow} \underoverset{W \cap Fib = W_Q \cap Fib_Q}{\tilde i_R}{\longrightarrow} \underoverset{Fib_Q}{\tilde p}{\longrightarrow} \,.$

While this establishes the $Q$-model structure, so far this leaves open a more explicit description of the $Q$-fibrations. This is provided by the next statement.

###### Proposition

For $Q \colon \mathcal{C} \longrightarrow \mathcal{C}$ a Quillen idempotent monad according to def. , then a morphism $f \colon X \to Y$ in $\mathcal{C}$ is a $Q$-fibration (def. ) precisely if

1. $f$ is a fibration;

2. the $\eta$-naturality square on $f$

$\array{ X &\stackrel{\eta_X}{\longrightarrow}& Q(X) \\ {}^{\mathllap{f}}\downarrow &{}^{(pb)^h}& \downarrow^{\mathrlap{Q(f)}} \\ Y &\underset{\eta_Y}{\longrightarrow}& Q(Y) }$

exhibits a homotopy pullback in $\mathcal{C}$ (def.), in that for any factorization of $Q(f)$ through a weak equivalence followed by a fibration $p$, then the universally induced morphism

$X \longrightarrow p^\ast Y$

is weak equivalence (in $\mathcal{C}$).

###### Proof

First consider the case that $f$ is a fibration and that the square is a homotopy pullback. We need to show that then $f$ is a $Q$-fibration.

Factor $Q(f)$ as

$Q(f) \;\colon\; Q(X) \underoverset{\in W \cap Cof}{i}{\longrightarrow} Z \underoverset{\in Fib}{p}{\longrightarrow} Q(Y) \,.$

By the proof of prop. , the morphism $p$ is also a $Q$-fibration. Hence by the existence of the $Q$-local model structure, also due to prop. , its pullback $\tilde p$ is also a $Q$-fibration

$\array{ X &\overset{\eta_X}{\longrightarrow}& Q(X) \\ {}^{\mathllap{\tilde i}}_{\mathllap{\in W}}\downarrow && \downarrow^{\mathrlap{i}}_{\mathrlap{\in W}} \\ Y \underset{Q(Y)}{\times} Z &\overset{p^\ast \eta_Y}{\longrightarrow}& Z \\ {}^{\mathllap{\tilde p}}_{\mathllap{\in Fib_Q}}\downarrow &(pb)& \downarrow^{\mathrlap{p}}_{\mathrlap{\in Fib_Q}} \\ Y &\underset{\eta_Y}{\longrightarrow}& Q(Y) } \,.$

Here $\tilde i$ is a weak equivalence by assumption that the diagram exhibits a homotopy pullback. Hence it factors as

$\tilde i \;\colon\; X \underoverset{\in W \cap Cof}{j}{\longrightarrow} \hat X \underoverset{\in W \cap Fib = W_Q \cap Fib_Q}{\pi}{\longrightarrow} Y \underset{Q(Y)}{\times} Z \,.$

This yields the situation

$\array{ X &\overset{=}{\longrightarrow}& X \\ {}^{\mathllap{j}}_{\mathllap{\in W \cap Cof}}\downarrow &{}^{\mathllap{\exists}}\nearrow& \downarrow^{\mathrlap{f}}_{\mathrlap{\in Fib}} \\ \hat X &\underoverset{\tilde p \circ \pi}{\in Fib_Q}{\longrightarrow}& Y } \;\;\;\;\;\;\;\;\;\;\;\;\;\;\; \leftrightarrow \;\;\;\;\;\;\;\;\;\;\;\; \array{ X &\overset{j}{\longrightarrow}& \hat X &\overset{\exists}{\longrightarrow}& X \\ {}^{\mathllap{}f}\downarrow && \downarrow^{\mathrlap{\tilde p \circ \pi}} && \downarrow^{\mathrlap{f}} \\ Y &=& Y &=& Y } \,.$

As in the retract argument (prop.) this diagram exhibits $f$ as a retract (in the arrow category, rmk.) of the $Q$-fibration $\tilde p \circ \pi$. Hence by the existence of the $Q$-model structure (prop. ) and by the closure properties for fibrations (prop.), also $f$ is a $Q$-fibration.

Now for the converse. Assume that $f$ is a $Q$-fibration. Since $\mathcal{C}_Q$ is a left Bousfield localization of $\mathcal{C}$ (prop. ), $f$ is also a fibration (prop. ). We need to show that the $\eta$-naturality square on $f$ exhibits a homotopy pullback.

So factor $Q(f)$ as before, and consider the pasting composite of the factorization of the given square with the naturality squares of $\eta$:

$\array{ X &\underoverset{\in W_Q}{\eta_X}{\longrightarrow}& Q(X) &\underoverset{\in W \subset W_Q}{\eta_{Q(X)}}{\longrightarrow}& Q(Q(X)) \\ {}^{\mathllap{\tilde i}}_{\mathllap{\in W_Q}}\downarrow && {}^{\mathllap{i}}_{\mathllap{\in W\subset W_Q}}\downarrow && \downarrow^{\mathrlap{Q(i)}}_{\mathrlap{\in W}} \\ Y \underset{Q(Y)}{\times} Z &\underoverset{\in W_Q}{p^\ast \eta_Y}{\longrightarrow}& Z &\underoverset{\in W}{\eta_Z}{\longrightarrow}& Q(Z) \\ {}^{\mathllap{\tilde p}}_{\mathllap{\in Fib_Q}}\downarrow &(pb)& \downarrow^{\mathrlap{p}}_{\mathrlap{\in Fib_Q \subset Fib}} && \downarrow^{\mathrlap{Q(p)}} \\ Y &\underoverset{\eta_Y}{\in W_Q}{\longrightarrow}& Q(Y) &\underoverset{\eta_{Q(Y)}}{\in W \subset W_Q}{\longrightarrow}& Q(Q(Y)) } \,.$

Here the top and bottom horizontal morphisms are weak ($Q$-)equivalences by the idempotency of $Q$, and $Q(i)$ is a weak equivalence since $Q$ preserves weak equivalences (first and second clause in def. ). Hence by two-out-of-three also $\eta_Z$ is a weak equivalence. From this, lemma gives that $p$ is a $Q$-fibration. Then $p^\ast \eta_Y$ is a $Q$-weak equivalence since it is the pullback of a $Q$-weak equivalence along a fibration between objects whose $\eta$ is a weak equivalence, via the third clause in def. . Finally two-out-of-three implies that $\tilde i$ is a $Q$-weak equivalence.

In particular, the bottom right square is a homotopy pullback (since two opposite edges are weak equivalences, by this prop.), and since the left square is a genuine pullback of a fibration, hence a homotopy pullback, the total bottom rectangle here exhibits a homotopy pullback by the pasting law for homotopy pullbacks (prop.).

Now by naturality of $\eta$, that total bottom rectangle is the same as the following rectangle

$\array{ Y \underset{Q(Y)}{\times} Z &\overset{\eta_{\left(Y \underset{Q(Y)}{\times} Z\right)}}{\longrightarrow}& Q(Y \underset{Q(Y)}{\times} Z) &\underoverset{\in W}{Q(p^\ast \eta_Y)}{\longrightarrow}& Q(Z) \\ {}^{\mathllap{\tilde p}}_{\mathllap{\in Fib_Q}}\downarrow && \downarrow^{\mathrlap{Q(\tilde p)}}_{\mathrlap{}} && \downarrow^{\mathrlap{Q(p)}} \\ Y &\underset{\eta_Y}{\longrightarrow}& Q(Y) &\underoverset{Q(\eta_Y)}{\in W}{\longrightarrow}& Q(Q(Y)) } \,,$

where now $Q(p^\ast \eta_Y) \in W$ since $p^\ast \eta_Y \in W_Q$, as we had just established. This means again that the right square is a homotopy pullback (prop.), and since the total rectangle still is a homotopy pullback itself, by the previous remark, so is now also the left square, by the other direction of the pasting law for homotopy pullbacks (prop.).

So far this establishes that the $\eta$-naturality square of $\tilde p$ is a homotopy pullback. We still need to show that also the $\eta$-naturality square of $f$ is a homotopy pullback.

Factor $\tilde i$ as a cofibration followed by an acyclic fibration. Since $\tilde i$ is also a $Q$-weak equivalence, by the above, two-out-of-three for $Q$-fibrations gives that this factorization is of the form

$\array{ X &\underoverset{\in W_Q \cap Cof = W_Q \cap Cof_Q}{j}{\longrightarrow}& \hat X &\underoverset{\in W \cap Fib = W_Q \cap Fib_Q }{\pi}{\longrightarrow}& Y\underset{Q(Y)}{\times} Z } \,.$

As in the first part of the proof, but now with $(W \cap Cof, Fib)$ replaced by $(W_Q \cap Cof_Q, Fib_Q)$ and using lifting in the $Q$-model structure, this yields the situation

$\array{ X &\overset{=}{\longrightarrow}& X \\ {}^{\mathllap{j}}_{\mathllap{\in W_Q \cap Cof_Q}}\downarrow &{}^{\mathllap{\exists}}\nearrow& \downarrow^{\mathrlap{f}}_{\mathrlap{\in Fib_Q}} \\ \hat X &\underoverset{\tilde p \circ \pi}{}{\longrightarrow}& Y } \;\;\;\;\;\;\;\;\;\;\;\;\;\;\; \leftrightarrow \;\;\;\;\;\;\;\;\;\;\;\; \array{ X &\overset{j}{\longrightarrow}& \hat X &\overset{\exists}{\longrightarrow}& X \\ {}^{\mathllap{}f}\downarrow && \downarrow^{\mathrlap{\tilde p \circ \pi}} && \downarrow^{\mathrlap{f}} \\ Y &=& Y &=& Y } \,.$

As in the retract argument (prop.) this diagram exhibits $f$ as a retract (in the arrow category, rmk.) of $\tilde p \circ \pi$.

Observe that the $\eta$-naturality square of the weak equivalence $\pi$ is a homotopy pullback, since $Q$ preserves weak equivalences (first clause of def. ) and since a square with two weak equivalences on opposite sides is a homotopy pullback (prop.). It follows that also the $\eta$-naturality square of $\tilde p \circ \pi$ is a homotopy pullback, by the pasting law for homotopy pullbacks (prop.).

In conclusion, we have exhibited $f$ as a retract (in the arrow category, rmk.) of a morphism $\tilde p \circ \pi$ whose $\eta$-naturality square is a homotopy pullback. By naturality of $\eta$, this means that the whole $\eta$-naturality square of $f$ is a retract (in the category of commuting squares in $\mathcal{C}$) of a homotopy pullback square. This means that it is itself a homotopy pullback square (prop.).

### Proof of the stable model structure

We show now that the operation of Omega-spectrification of topological sequental spectra, from def. , is a Quillen idempotent monad in the sense of def. . Via the Bousfield-Friedlander theorem (prop. ) this establishes the stable model structure on topological sequential spectra in theorem below.

###### Lemma

The Omega-spectrification $(Q,\eta)$ from def. preserves homotopy pullbacks (def.) in the strict model structure $SeqSpec(Top_{cg})_{strict}$ from theorem .

###### Proof

Since, by prop. , $Q$ preserves weak equivalences, it is sufficient to show that every pullback square in $SeqSpec(Top_{cg})$ of a fibration

$\array{ B \underset{Y}{\times} X &\longrightarrow& X \\ \downarrow &(pb)& \downarrow^{\mathrlap{\in Fib}} \\ B &\longrightarrow& Y }$

is taken by $Q$ to a homotopy pullback square. By prop. we need to check that this is the case for the $k$th component space of the sequential spectra in the diagram, for all $k \in \mathbb{N}$.

Let $Z^X_{i,k}$, $Z^Y_{i,k}$ etc. denote the objects appearing in the definition of $(Q X)_k \coloneqq \underset{\longrightarrow}{\lim}_i Z^X_{i,k}$, $(Q Y)_k \coloneqq \underset{\longrightarrow}{\lim}_i Z^Y_{i,k}$, etc. (def. ).

Use the small object argument (prop.) for the set $J_{(Top^{\ast/})}$ of acyclic generating cofibrations in $(Top^{\ast/}_{cg})_{Quillen}$ (def.) to construct a functorial factorization (def.) through acyclic relative cell complex inclusions (def.) followed by Serre fibrations (def.) in each degree:

$Z^X_{i,k} \overset{\in J_{Top} Cell}{\longrightarrow} W_i \overset{\in Fib_{cl}}{\longrightarrow} Z^Y_{i,k} \,.$

Notice that by construction $Z^K_{\bullet,k}$ and $Z^Y_{\bullet,k}$ are sequences of relative cell complexes. This implies, by the way the small object argument works and by the commutativity of each

$\array{ Z^X_{i,k} &\overset{\in J_{(Top^{\ast/})} Cell}{\longrightarrow}& W_i \\ {}_{\mathllap{\in I_{(Top^{\ast/})}Cell }}\downarrow && \downarrow \\ Z^X_{i+1,k} &\overset{\in J_{(Top^{\ast/})} Cell}{\longrightarrow}& W_{i+1} } \,,$

that also $W_\bullet$ is a sequence of relative cell complex inclusions: a cell in $W_i$ is given by the top square in the following diagram, and the total rectangle is the image of that cell as a cell in $W_{i+1}$:

$\array{ S^{n-1} &\overset{i_n}{\longrightarrow}& D^{n-1} \\ \downarrow && \downarrow \\ Z^X_{i,k} &\overset{\in J_{(Top^{\ast/})} Cell}{\longrightarrow}& W_i \\ {}_{\mathllap{\in I_{(Top^{\ast/})}Cell }}\downarrow && \downarrow \\ Z^X_{i+1,k} &\overset{\in J_{(Top^{\ast/})} Cell}{\longrightarrow}& W_{i+1} } \,,$

Therefore, forming the colimit over $i \in I$ of these sequences sends the degreewise Serre fibration to a Serre fibration (prop.): because we test for a Serre fibration by lifting against the morphism in $J_{Top^{\ast/}}$, which have compact domain and codomain, and these may be taken inside the colimit over relative cell complex inclusions (by this lemma)). So we have a Serre fibration

$\underset{\longrightarrow}{\lim}_i W_i \overset{\in W_{cl}}{\longrightarrow} (Q Y)_k$

for each $k \in \mathbb{N}$.

Consider then the commuting diagrams

$\array{ Z^B_{i,k} &\longrightarrow& Z^Y_{i,k} &\overset{\in Fib_{cl}}{\longleftarrow}& W_i &\overset{\in W_{cl}\in Cof_{cl}}{\longleftarrow}& Z^X_{i,k} \\ \downarrow^{\mathrlap{\phi^B}}_{\mathrlap{\in W_{cl}}} && \downarrow^{\mathrlap{\phi^Y}}_{\mathrlap{\in W_{cl}}} && &_{\mathllap{\exists \in W_{cl}}}\searrow& \downarrow^{\mathrlap{\phi^X}}_{\mathrlap{\in W_{cl}}} \\ \Omega^i B_{k+i} &\longrightarrow& \Omega^i Y_{k+i} &\longleftarrow& &\underset{\in Fib_{cl}}{\longleftarrow}& \Omega^i X_{k+i} } \,,$

where the vertical morphisms are composites of the weak equivalences $\phi_{i,k} \colon Z_{i+1,k} \overset{\phi_{i,k}}{\longrightarrow} \Omega Z_{i,k+1}$ from def. .

The diagonal is a chosen lift (where we use that $\Omega = Maps(S^1,-)_{\ast}$ preserves Serre fibrations by prop. ). This lift is a weak equivalence by two-out-of-three. On the left of the diagram this exhibits now a weak equivalence of cospan-diagrams with right leg a fibration. Therefore, since forming the limit over these cospan diagrams is a homotopy pullback (def., all objects here being fibrant), this induces a weak equivalence on these limits (prop.)

$\kappa \;\colon\; Z^B_{i,k} \underset{Z^Y_{i,k}}{\times} W_i \overset{\in W_{cl}}{\longrightarrow} \Omega^i B_{k+i} \underset{\Omega^i Y_{k+i}}{\times} \Omega^i X_{k+i} \simeq \Omega^i ( B_{k+i} \underset{Y_{k+i}}{\times} X_{k+i} ) \,.$

By universality of the pullback there is a commuting triangle

$\array{ Z^{B\times_Y X}_{i,k} && \overset{\rho_i}{\longrightarrow} && Z^B_{i,k} \underset{Z^Y_{i,k}}{\times} W_i \\ & {}_{\mathllap{\phi \in W_{cl}}}\searrow && \swarrow_{\mathrlap{\kappa \in W_{cl}}} \\ && \Omega^i( B_{i+k}\underset{Y_{i+k}}{\times} X_{i+k} ) }$

and hence by two-out-of-three also the top morphism is a weak equivalence.

Now observe that colimits over sequences of relative cell inclusions preserve finite limits up to weak equivalence (prop.). This follows again by using that $n$-spheres may be taken inside the colimits from the classical fact that filtered colimits preserve finite limits. In conclusion then, we have a weak equivalence of the form

$(Q(B \underset{Y}{\times} X))_k = \underset{\longrightarrow}{\lim}_i Z^{B \times_Y X}_{i,k} \underoverset{\in W_{cl}}{\underset{\longrightarrow}{\lim}_i \rho_i}{\longrightarrow} \underset{\longrightarrow}{\lim}_i \left( Z^B_{i,k} \underset{Z^Y_{i,k}}{\times} W_i \right) \overset{\in W_{cl}}{\longrightarrow} \left(\underset{\longrightarrow}{\lim}_i Z^B_{i,k}\right) \underset{ \underset{\longrightarrow}{\lim}_i Z^Y_{i,k} }{\times} \left( \underset{\longrightarrow}{\lim}_i W_i \right) = (Q B)_k \underset{(Q Y)_k}{\times} \left( \underset{\longrightarrow}{\lim}_i W_i \right) \,.$

This exhibits (degreewise and hence globally) the homotopy pullback property to be show.

###### Proposition

The Omega-spectrification $(Q,\eta)$ from def. is a Quillen idempotent monad in the sense of def. on the strict model structre theorem :

$Q \;\colon\; SeqSpec(Top_{cg})_{strict} \longrightarrow SeqSpec(Top_{cg})_{strict} \,.$
###### Proof

First notice that the strict model structure is indeed right proper, as demanded in def. : Since every object in $SeqSpec(Top_{cg})$ is fibrant (this being so degreewise in $(Top_{cg}^{\ast/})_{Quillen}$) this follows from this lemma.

The first two conditions required on a Quillen idempotent monad in def. are explicit in prop. .

The third condition follows from lemma : A pullback of a $Q$-equivalence along a fibration is a homotopy pullback and is hence sent by $Q$ to another homotopy pullback square.

$\array{ f^\ast Z &\stackrel{f^\ast h}{\longrightarrow}& X \\ \downarrow &(pb)& \downarrow^{\mathrlap{f \in Fib}} \\ Z &\underset{h \in W_{Q}}{\longrightarrow}& Y } \;\;\;\;\;\;\;\;\;\;\;\; \Rightarrow \;\;\;\;\;\;\;\;\;\; \array{ Q(f^\ast Z) &\overset{Q(f^\ast h) \in W}{\longrightarrow}& Q(X) \\ \downarrow &(pb)^h& \downarrow^{\mathrlap{Q(f)}} \\ Q(Z) &\underset{Q(h) \in W}{\longrightarrow}& Q(Y) } \,.$

By definition of $Q$-equivalence that resulting homotopy pullback square has the bottom edge a weak equivalence, and hence also the top edge is a weak equivalence (prop.).

###### Theorem

The left Bousfield localization of the strict model structure on sequential spectra (theorem ) at the class of stable weak homotopy equivalences (def. ) exists, called the stable model structure on topological sequential spectra

$SeqSpec(Top_{cg})_{stable} \underoverset {\underset{id}{\longrightarrow}} {\overset{id}{\longleftarrow}} {\bot} SeqSpec(Top_{cg})_{strict} \,.$

Moreover, its fibrant objects are precisely the Omega-spectra (def.).

###### Proof

Let $(Q,\eta)$ be the Omega-spectrification operation from def. . According to prop. this is a Quillen-idempotent monad (def. ) on $SeqSpec(Top_{cg})_{strict}$. Hence the Bousfield-Friedlander theorem (prop. ) asserts that the Bousfield localization of the strict model structure at the $Q$-equivalences exists. By prop. these are precisely the stable weak homotopy equivalences.

Finally, by prop. an object $X \in SeqSpec(Top_{cg})_{stable}$ is fibrant in $SeqSpec(Top_{cg})_{stable}$ precisely if

$\array{ X &\overset{\eta_X}{\longrightarrow}& Q(X) \\ \downarrow && \downarrow \\ \ast &\longrightarrow& \ast }$

exhibits a homotopy pullback in $SeqSpec(Top_{cg})_{strict}$. Since every object in $SeqSpec(Top_{cg})_{strict}$ is fibrant, the vertical morphisms here are fibrations. The pullback of $Q(X)$ along $id_\ast$ is just $Q(X)$ itself, and the universally induced morphism into this pullback is just $\eta_X$ itself. Hence the square is a homotopy pullback precisely if $\eta_X$ is a weak equivalence in $SeqSpec(Top_{cg})_{strict}$, hence degreewise a weak homotopy equivalence. Since $Q(X)$ is an Omega-spectrum by prop. , this means precisely that $X$ is an Omega-spectrum.

### Stability of the homotopy theory

We discuss that the stable model structure $SeqSpec(Top_{cg})_{stable}$ of theorem is indeed a stable model category, in that the canonical reduced suspension operation is an equivalence of categories from the stable homotopy category (def. ) to itself. This is theorem below.

###### Definition

A pointed model category $\mathcal{C}$ (exmpl.) is called a stable model category if the canonically induced reduced suspension and loop space object-functors (prop.) on its homotopy category (defn.) constitute an equivalence of categories

$(\Sigma \dashv \Omega) \;\colon\; Ho(\mathcal{C}) \underoverset {\underset{\Omega}{\longrightarrow}} {\overset{\Sigma}{\longleftarrow}} {\simeq} Ho(\mathcal{C}) \,.$

Literature (Jardine 15, sections 10.3 and 10.4)

$\,$

First we observe that the alternative suspension induces an equivalence of homotopy categories:

###### Lemma

With $\Sigma$ and $\Omega$ the alternative suspension and alternative looping functors from def. :

1. $\Omega$ preserves Omega-spectra (def. );

2. $\Sigma$ preserves stable weak homotopy equivalences (def. ).

###### Proof

Regarding the first statement:

By prop. , $\Omega$ acts on component spaces and adjunct structure maps as the right Quillen functor

$Maps(S^1,-)_\ast \;\colon\; (Top_{cg}^{\ast/})_{Quillen} \longrightarrow (Top_{cg}^{\ast/})_{Quillen}$

on the classical model structure on pointed compactly generated topological spaces (thm., prop.). Since in this model structure all objects are fibrant, Ken Brown's lemma (prop.) implies that with $\tilde \sigma^X_n$ a weak homotopy equivalence, so is $\tilde \sigma^{\Omega X}_n = Maps(S^1,\tilde \sigma^X_n)$.

Regarding the second point:

Let $f \colon X \to Y$ be a stable weak homotopy equivalence. By the existence of the model structure $SeqSpec(Top_{cg})_{stable}$ from theorem , $\Sigma f$ is a stable weak homotopy equivalence precisely if its image in the homotopy category $Ho(SeqSpec(Top_{cg})_{stable})$ is an isomorphism (prop.). By the Yoneda lemma (fully faithfulness of the Yoneda embedding), this is the case if for all $Z \in Ho(SeqSpec(Top_{cg})_{stable})$ the function

$[\Sigma f, Z]_{stable} \;\colon\; [\Sigma Y,Z]_{stable} \longrightarrow [\Sigma X,Z]_{stable}$

is a bijection. By the fact that the stable model structure is a left Bousfield localization of the strict model structure with fibrant objects the Omega-spectra, this is the case equivalently (using this lemma) if

$[\Sigma f, Z]_{strict} \;\colon\; [\Sigma Y,Z]_{strict} \longrightarrow [\Sigma X,Z]_{strict}$

is a bijection for all Omega-spectra $Z$. Now by the Quillen adjunction $\Sigma \dashv \Omega$ on the strict model category (prop. ) this is equivalent to

$[f, \Omega Z]_{strict} \;\colon\; [Y,\Omega Z]_{strict} \longrightarrow [X,\Omega Z]_{strict}$

being a bijection for all Omega-spectra $Z$. But since $\Omega$ preserves Omega-spectra by the first point above, this is still maps into a fibrant objects, hence is again equivalent (using again the property of the left Bousfield localization) to the hom in the strict model structure

$[f, \Omega Z]_{stable} \;\colon\; [Y,\Omega Z]_{stable} \longrightarrow [X,\Omega Z]_{stable}$

being a bijection for all $\Omega Z$. But this is indeed a bijection, since $f$ is a stable weak homotopy equivalence, hence an isomorphism in the homotopy category.

###### Lemma

For $X$ a sequential spectrum, then (using remark to suppress parenthesis)

1. the structure maps constitute a homomorphism

$\Sigma X[-1] \longrightarrow X$

(from the shift, def. , of the alternative suspension, def. ) and this is a stable weak homotopy equivalence,

2. the adjunct structure maps constitute a homomorphism

$X \longrightarrow \Omega X[1]$

(to the shift, def. , of the alternative looping, def. )

If $X$ is an Omega-spectrum (def. ) then this is a weak equivalence in the strict model structure (def. ), hence in particular a stable weak homotopy equivalence.

###### Proof

The diagrams that need to commute for the structure maps to give a homomorphism as claimed are in degree 0 this one

$\array{ S^1 \wedge S^1 \wedge \ast &\overset{0}{\longrightarrow}& X_0 \\ {}^{\mathllap{S^1 \wedge 0}}\downarrow && \downarrow^{\mathrlap{\sigma_0}} \\ S^1 \wedge X_0 &\underset{\sigma_0}{\longrightarrow}& X_1 }$

and in degree $n \geq 1$ these:

$\array{ S^1 \wedge S^1 \wedge X_{n-1} &\overset{S^1 \wedge \sigma_{n-1}}{\longrightarrow}& X_n \\ {}^{\mathllap{S^1 \wedge \sigma_{n-1}}}\downarrow && \downarrow^{\mathrlap{\sigma_n}} \\ S^1 \wedge X_{n} &\underset{\sigma_n}{\longrightarrow}& X_{n+1} } \,.$

But in all these cases commutativity it trivially satisfied.

That the adjunct structure maps constitute a morphism $X \to \Omega X[1]$ follows dually.

If $X$ is an Omega-spectrum, then by definition this last morphism is already a weak equivalence in the strict model structure, hence in particular a weak equivalence in the stable model structure.

From this it follows that also $\Sigma X[-1]\to X$ is a stable weak homotopy equivalence, because for every Omega-spectrum $Y$ then by the adjunctions in prop. we have a commuting diagram of the form

$\array{ [X, Y]_{strict} &\overset{}{\longrightarrow}& [\Sigma X[-1],Y]_{strict} \\ {}^{\mathllap{id}}\downarrow && \downarrow^{\mathrlap{\simeq}} \\ [X,Y]_{strict} &\underset{\simeq}{\longrightarrow}& [X, \Omega Y[1]]_{strict} } \,.$

(To see the commutativity of this diagram in detail, consider for any $[f] \in [X,Y]_{strict}$ chasing the element $\sigma_n^Y$ in the two possible ways through the natural adjunction isomorphism:

$\array{ [S^1 \wedge Y_{n-1}, Y_n] &\simeq& [Y_{n-1}, \Omega Y_n] \\ {}^{\mathllap{[S^1 \wedge f_{n-1}, Y_n]}}\downarrow && \downarrow^{\mathrlap{[f_{n-1}, \Omega Y_n]}} \\ [S^1 \wedge X_{n-1}, Y_n] &\simeq& [X_{n-1}, \Omega Y_n] } \,.$

Sending $\sigma_n^Y$ down gives $\sigma_n^Y \circ S^1 \wedge f_{n-1}$ which equals (by the homomorphism property) $f_n \circ \sigma_n^X$. Instead sending $\sigma_n^Y$ to the right yields $\tilde \sigma_n^Y$ and then down yields $\tilde \sigma_n^Y \circ f_{n-1}$. By commutativity this is adjunct to $f_n \circ \sigma_n^X$.)

Hence

$[X, Y]_{strict} \overset{}{\longrightarrow} [\Sigma X[-1],Y]_{strict}$

is a bijection for all Omega-spectra $Y$, and so the conclusion that $\Sigma X[-1]\to X$ is a stable weak homotopy equivalence follows as in the proof of lemma .

###### Lemma

The total derived functor of the alternative suspension operation $\Sigma$ of def. exists and constitutes an equivalence of categories from the stable homotopy category to itself:

$\Sigma \;\colon\; Ho(SeqSpec(Top)_{stable}) \overset{\simeq}{\longrightarrow} Ho(SeqSpec(Top)_{stable}) \,.$
###### Proof

The total derived functor of $\Sigma$ exists, because by lemma $\Sigma$ preserves stable weak homotopy equivalences. Also the shift functor $[-1]$ from def. clearly preserves stable equivalences, hence both descend to the homotopy category. There, by prop. and remark , they are inverses of each other, up to isomorphism.

###### Lemma

The canonical suspension functor on the homotopy category of any model category (from this prop.) in the case of the stable homotopy category (def. ) $Ho(Spectra) = Ho(SeqSpec(Top_{cg})_{stable})$ is represented by the “standard suspension” operation of def. .

###### Proof

By CW-approximation (prop. ), every object in the stable homotopy category is represented by a CW-spectrum. By prop. , on CW-spectra the canonical suspension functor on the homotopy category (from this prop.) is represented by the “standard suspension” operation of def. .

The combination of lemma with lemma gives that in order to show that $SeqSpec(Top_{cg})_{stable}$ is indeed a stable model category according to def. , we are reduced to showing that in the homotopy category the alternative suspension operation (which we know gives an equivalence) is naturally isomorphic to the standard suspension operation (which we know is the correct suspension operation). This we turn to now.

According to remark , both should be directly comparable and isomorphic in the homotopy category “in even degrees”, but non-comparable in odd degree. In order to make this precise, we now introduce the concept of sequential spectra with components only in even degree and then use an adjunction back to ordinary sequential spectra.

Observe that the definition of the category $SeqSpec(Top_{cg})$ of sequential spectra in def. does not require anything specific of the circle $S^1$: the same kind of definition may be considered for any other pointed topological space $T$ in place of $S^1$. The construction of the stable model structure $SeqSpec(Top_{cg})_{stable}$ in theorem does depend on the nature of $S^1$, but only in that it uses that the n-spheres $S^n = (S^1)^{\wedge n}$

1. co-represent homotopy groups in the classical pointed homotopy category: $[S^n, -]_{\ast}\simeq \pi_n(-)$;

2. are compact, so that maps out of them factor through finite stages of transfinite compositions of relative cell complex inclusions.

Both points still hold with $S^1$ replaced by $S^1 \wedge K_+$, for $K$ any contractible compact topological space. Moreover, since only the stable homotopy groups matter for the construction of the stable model category, one could replace $S^1$ by any $S^k$: While the smash powers $(S^k)^{\wedge n}$ co-represent only every $k$th homotopy group, this is still sufficient for co-represent all the stable homotopy groups.

The following is an immediate variant of the definition of sequential spectra:

###### Definition

Let $T = K_+ \in Top^{\ast/}_{cg}$ be a compact contractible topological space with a basepoint freely adjoined, and let $k \in \mathbb{N}$, $k \geq 1$.

A sequential $T \wedge S^k$-spectrum is a sequence of component spaces $X_{k n} \in Top_{cg}$ for $n \in \mathbb{N}$, and a sequence of structure maps of the form

$\sigma_{k,n} \;\colon\; T \wedge S^k \wedge X_{k n} \longrightarrow X_{k(n+1)} \,.$

A homomorphism of sequential $T \wedge S^k$-spectra $f \colon X \to Y$ is a sequence of component maps $f_{k n} \;\colon\; X_{k n} \to Y_{k n}$ such that all these diagrams commute:

$\array{ T \wedge S^k \wedge X_{k n } &\overset{T \wedge S^k \wedge f_{k n}}{\longrightarrow}& T \wedge S^k \wedge Y_{k n} \\ {}^{\mathllap{\sigma_{k,n}^{X}}}\downarrow && \downarrow^{\mathrlap{\sigma_{k,n}^Y}} \\ X_{k(n+1)} &\underset{f_{k(n+1)}}{\longrightarrow}& Y_{k(n+1)} } \,.$

Write

$Seq_{T\wedge S^k}Spec(Top_{cg})$

for the resulting category of sequential $T \wedge S^k$-spectra.

###### Proposition

For any $T \wedge S^k$ as in def. , there exists a model category structure

$Seq_{T\wedge S^k}Spec(Top_{cg})_{stable}$

on the category of sequential $T\wedge S^k$-spectra, where

• the weak equivalences are the morphisms that induce isomorphisms under $\underset{\longrightarrow}{\lim}_{k n \in k \mathbb{N}}\pi_{k n}(-)$;

• the fibrations are the morphisms whose $\eta_k$-naturality square is a homotopy pullback, where $\eta_K \colon id \to Q_k$ is the $K \wedge S^k$-spectrification functor defined as in def. but with $S^1$ replaced by $T \wedge S^k$ throughout.

###### Proof

The proof is verbatim that of theorem , with $S^1$ replaced by $T \wedge S^k$ throughout.

###### Lemma

For $k \in \mathbb{N}$, $k \geq 1$, there is a pair of adjoint functors

$SeqSpec(Top_{cg}) \underoverset {\underset{R_k}{\longrightarrow}} {\overset{L_k}{\longleftarrow}} {\bot} Seq_{S^k}Spec(Top_{cg})$

between sequential spectra (def. ) and sequential $S^k$-spectra (def. )

• where $(R_k X)_{k n} \coloneqq X_{k n}$ and

$\sigma_n^{R_k X} \;\colon\; S^k X_{k n} \simeq S^{k-1}\wedge S^1 \wedge X_{k n} \overset{S^1 \wedge \sigma_{k n}^X}{\longrightarrow} S^{k-1} \wedge X_{k n +1} \longrightarrow \cdots \longrightarrow S^1 \wedge X_{k n+ (k-1)} \overset{\sigma_{k n + (k-1)}^X}{\longrightarrow} X_{k(n+1)}$
• and where

$(L_k \mathcal{X})_n \coloneqq \left\{ \array{ \mathcal{X}_n & if \; n \in k \mathbb{N} \\ S^q \wedge \mathcal{X}_{n-q} & if \; q \lt k \; and \; n-q \in k \mathbb{N} } \right.$

and

$\sigma^{L_k \mathcal{X}}_{n} = \left\{ \array{ \sigma^{\mathcal{X}}_{n - (k-1)} & if \; n+1 \in k \mathbb{N} \\ id_{S^1 \wedge \mathcal{X}_n} & otherwise \\ } \right. \,.$

Moreover, for each $X \in SeqSpec(Top_{cg})$, the adjunction unit

$L_k R_k X \longrightarrow X$

is a stable weak homotopy equivalence (def. ).

###### Proof

For ease of notation we discuss this for $k = 2$. The general case is directly analogous. To see that we have an adjunction, consider a homomorphism

$f \;\colon\; L_2 \mathcal{X} \longrightarrow Y \,.$

Given its even-graded component maps, then its odd-graded component maps $f_{2n+1}$ need to fit into commuting squares of the form

$\array{ S^1 \wedge \mathcal{X}_{2n} &\overset{S^1 \wedge f_{2n}}{\longrightarrow}& S^1 \wedge Y_{2n} \\ {}^{\mathllap{id}}\downarrow && \downarrow^{\mathrlap{\sigma_{2n}^Y}} \\ S^1 \wedge \mathcal{X}_{2n} &\underset{f_{2n+1}}{\longrightarrow}& Y_{2n+1} } \,.$

Since here the left map is an identity, this uniquely fixes the odd-graded components $f_{2n+1}$ in terms of the even-graded components. Moreover, these components then make the following pasting rectangles comute

$\array{ S^2 \wedge \mathcal{X}_{2n} &\overset{S^2 \wedge f_{2n}}{\longrightarrow}& S^2 \wedge Y_{2 n} \\ {}^{\mathllap{\simeq}}\downarrow && \downarrow^{\mathrlap{S^1 \wedge \sigma_{2n}^Y}} \\ S^2 \wedge \mathcal{X}_{2n} &\overset{S^1 \wedge f_{2n+1}}{\longrightarrow}& S^1 \wedge Y_{2n+1} \\ {}^{\mathllap{\sigma_{2n}^{\mathcal{X}}}}\downarrow && \downarrow^{\mathrlap{\sigma_{2n+1}^Y}} \\ \mathcal{X}_{2n+2} &\overset{f_{2n+2}}{\longrightarrow}& Y_{2n+2} } \,.$

This equivalently exhibits $f$ as a homomorphism of the form

$\tilde f \;\colon\; \mathcal{X} \longrightarrow R_2 Y$

and hence establishes the adjunction isomorphism.

Finally to see that the adjunction unit is a stable weak homotopy equivalence: for $X \in SeqSpec(Top_{cg})$ then the morphism of stable homotopy groups induced from

$L_2 R_2 X \longrightarrow X$

is in degree $q$ given by

$\array{ \underset{\longrightarrow}{\lim} (\cdots &\to& \pi_{q+2k}(X_{2k}) && \longrightarrow && \pi_{q+2k+2}(X_{q+2k+2}) &\to& \cdots ) &=& \pi_q(L_2 R_2 X) \\ && {}^{\mathllap{\simeq}}\downarrow && && {}^{\mathllap{\simeq}}\downarrow && && \downarrow \\ \underset{\longrightarrow}{\lim} (\cdots &\to& \pi_{q+2k}(X_{2k}) &\longrightarrow& \pi_{2+2k+1}(X_{2k+1}) &\longrightarrow& \pi_{q+2k+2}(X_{q+2k+2}) &\to& \cdots ) &=& \pi_q(X) } \,.$

From this it is clear by inspection that the induced vertical map on the right is an isomorphism. Stated more abstractly: the inclusion of partially ordered sets $\mathbb{N}_{even}^{\leq} \hookrightarrow \mathbb{N}^{\leq}$ is a cofinal functor and hence restriction along it preserves colimits.

###### Definition

For

$\alpha \;\colon\; T_1 \wedge S^{k} \longrightarrow T_2 \wedge S^{k}$

any morphism, write

$\alpha^\ast \;\colon\; Seq_{T_2 \wedge S^{k}}Spect(Top_{cg}) \longrightarrow Seq_{T_1 \wedge S^{k}}Spect(Top_{cg})$

for the functor from the category of sequential $T_2 \wedge S^{k}$-spectra (def. ) to that of $T_1 \wedge S^{k}$-spectra which sends any $X$ to $\alpha^\ast X$ with

$(\alpha^\ast X)_{k n} \coloneqq X_{k n}$

and

$\sigma_{k,n}^{\alpha^\ast X} \;\colon\; T_1 \wedge S^{k} \wedge X_{k n} \overset{\alpha \wedge id}{\longrightarrow} T_2 \wedge S^{k} \wedge X_{k n} \overset{\sigma_{k,n}^X}{\longrightarrow} X_{k (n+1)} \,.$
###### Lemma

For $T \coloneqq K_+$ a compact contractible topological space with base point adjoined, and for $k \in \mathbb{N}$, write $i \colon S^k \longrightarrow T \wedge S^k$ for the canonical inclusion. Then the induced functor $i^\ast$ from def. is the right adjoint in a Quillen equivalence (def.)

$Seq_{T\wedge S^1}Spec(Top_{cg})_{stable} \underoverset {\underset{i^\ast}{\longrightarrow}} {\overset{L}{\longleftarrow}} {\simeq_{Qu}} SeqSpec(Top_{cg})_{stable}$

between the stable model structures of sequential $S^k$-spectra and of sequential $T \wedge S^k$-spectra (prop. ), respectively.

###### Proof

Write $p \colon T \wedge S^1 \to S^1$ for the canonical projection.

A morphism

$f \;\colon\; X \longrightarrow i^\ast Y$

is given by components fitting into commuting squares of the form

$\array{ S^1 \wedge X_n &\overset{S^1 \wedge f_n}{\longrightarrow}& S^1 \wedge Y_n \\ {}^{\mathllap{id}}\downarrow && \downarrow^{\mathrlap{i \wedge id}} \\ S^1 \wedge X_n && T \wedge S^1 \wedge Y_n \\ {}^{\mathllap{\sigma_n^X}}\downarrow && \downarrow^{\mathrlap{\sigma_n^Y}} \\ X_{n+1} &\underset{f_{n+1}}{\longrightarrow}& Y_{n+1} } \,.$

Since $p \circ i = id$, every such diagram factors as

$\array{ S^1 \wedge X_n &\overset{S^1 \wedge f_n}{\longrightarrow}& S^1 \wedge Y_n \\ {}^{\mathllap{i \wedge id}}\downarrow && \downarrow^{\mathrlap{i \wedge id}} \\ T \wedge S^1 \wedge X_n &\overset{T \wedge S^1 \wedge f_n}{\longrightarrow}& T \wedge S^1 \wedge Y_n \\ {}^{\mathllap{p \wedge id}}\downarrow && \downarrow \\ S^1 \wedge X_n && \\ {}^{\mathllap{\sigma_n^X}}\downarrow && \downarrow^{\mathrlap{\sigma_n^Y}} \\ X_{n+1} &\underset{f_{n+1}}{\longrightarrow}& Y_{n+1} } \,.$

Here the bottom square exhibits the components of a morphism

$\tilde f \;\colon\; p^\ast X \longrightarrow Y$

and this correspondence is clearly naturally bijective

This establishes the adjunction $p^\ast \dashv i^\ast$. This is a Quillen equivalence because for every $Z \in Top^{\ast/}_{cg}$ then by the contractibility of $K$ there is an equivalence

$[T \wedge S^q,Z]_\ast \simeq [S^q, Z]_\ast$

and hence the concept of stable weak homotopy equivalences in both categories agrees. Hence any $\tilde f \colon p^\ast X \to Y$ is a stable weak homotopy equivalence precisely if $f \colon X \to i^\ast y$ is.

With this in hand, we now finally state the comparison between standard and alternative suspension:

###### Lemma

There is a natural isomorphism in the homotopy category $Ho(SeqSpec(Top_{cg})_{stable})$ of the stable model structure, between the total derived functors (prop.) of the standard suspension (def. ) and of the alternative suspension (def. ):

$\Sigma (-) \; \simeq \; (-) \wedge S^1 \;\;\;\;\; \in Ho(SeqSpec(Top_{cg})_{stable})$

Notice that we agreed in Part P to suppress the notation $\mathbb{L}$ for left derived functors of the suspension functor, not to clutter the notation. If we re-instantiate this then the above says that there is a natural isomorphism

$\mathbb{L} \Sigma \; \simeq \; \mathbb{L}((-) \wedge S^1) \,.$
###### Proof

Consider the adjunction $(L_2 \dashv R_2) \colon SeqSpec(Top) \leftrightarrow Seq_2Spec(Top)$ from lemma . We claim that there is a natural isomorphism

$\tau \;\colon\; R_2 (\Sigma(-)) \simeq R_2((-)\wedge S^1) \,,$

in $Ho(Seq_{S^2}Spec(Top_{cg})_{stable})$.

This implies the statement, since by lemma the adjunction unit is a stable weak equivalence, so that we get natural isomorphisms

$\Sigma X \simeq L_2 R_2 (\Sigma X) \underoverset{\simeq}{L_2 \tau}{\longrightarrow} L_2 R_2 (X \wedge S^1) \simeq X \wedge S^1$

in $Ho(SeqSpec(Top_{cg})_{stable})$ (where we are using that $R_2$ evidently preserves cofibrant spectra, so that $L_2$ applied to $\tau$ represents the correct derived functor of $L_2$ and hence preserves this isomorphism).

Now to see that the isomorphism $\tau$ exists. Write

$\tau_{S^2,S^1} \;\colon\; S^2 \wedge S^1 \overset{\simeq}{\longrightarrow} S^1 \wedge S^2$

for the braiding isomorphism, which swaps the first two canonical coordinates with the third. Since the homotopy class of this map is trivial in that

$[\tau_{S^2, S^1}] = 1 \in \mathbb{Z} \simeq \pi_3(S^3)$

is the trivial element in the homotopy groups of spheres (and that is the point of passing to $S^2$-spectra here, because for $S^1$-spectra the analogous map $\tau_{S^1, S^1}$ has non-trivial class, remark ) it follows that there is a left homotopy (def.) of the form

$\array{ S^3 &\overset{i_0}{\longrightarrow}& (I_+) \wedge S^3 &\overset{i_1}{\longleftarrow}& S^3 \\ & {}_{\mathllap{id}}\searrow & \downarrow & \swarrow_{\mathrlap{\tau_{S^2, S^1}}} \\ && S^3 } \,.$

By forming the smash product of the entire diagram with $X_{2n}$ and pasting on the right the naturality square for the braiding with $S^1$

$\array{ S^1 \wedge S^2 \wedge X_{2n} &\overset{\tau_{S^2 \wedge X_{2n}, S^1} }{\longleftarrow}& S^2 \wedge X_{2n} \wedge S^1 \\ {}^{\mathllap{S^1 \wedge (\sigma_{2n+1} \circ (S^1 \wedge \sigma_{2n}))}}\downarrow && \downarrow^{\mathrlap{(\sigma_{2n+1} \circ (S^1 \wedge \sigma_{2n})) \wedge S^1 }} \\ S^1 \wedge X_{2(n+1)} &\underset{\tau_{X_{2n}, S^1}}{\longleftarrow}& X_{2n} \wedge S^1 }$

this yields the diagram

$\array{ S^3 \wedge X_{2n} &\overset{i_0}{\longrightarrow}& (I_+) \wedge S^3 \wedge X_{2n} &\overset{i_1}{\longleftarrow}& S^3 \wedge X_{2n} &\underoverset{\simeq}{S^2\wedge \tau_{ X_{2n}, S^1}}{\longleftarrow}& S^2 \wedge X_{2n} \wedge S^1 \\ & {}_{\mathllap{id}}\searrow & \downarrow & \swarrow_{\mathrlap{\tau_{S^2, S^1} \wedge X_n}} && & \downarrow \\ && S^3 \wedge X_{2n} && && \downarrow^{\mathrlap{(\sigma_{2n+1}\circ (S^1 \wedge \sigma_{2n})) \wedge S^1}} \\ && & {}_{\mathllap{S^1 \wedge (\sigma_{2n+1}\circ (S^1 \wedge \sigma_{2n}))}}\searrow & && \downarrow \\ && && S^1 \wedge X_{2 n} &\underoverset{\tau_{X_{2n}, S^1}}{\simeq}{\longleftarrow}& X_{2n} \wedge S^1 } \,.$

Here the left diagonal composite is the structure map of $R_2 (\Sigma X)$ in degree $n$, while the right vertical morphism is the structure map of $R_2 ( X \wedge S^1 )$ in degree $n$. In the middle we have the structure map of an auxiliary $(I_+) \wedge S^2$-spectrum (def. )

$Z \in Seq_{I_+ \wedge S^2} Spec(Top_{cg}) \,,$

and the horizontal morphisms exhibit the functors of def. from $(I_+)\wedge S^2$-spectra to $S^2$-spectra with

$i_0^\ast Z = R_2 (\Sigma X) \;\;\,, \;\;\;\;\; i_1^\ast Z = R_2 (X \wedge S^1) \,.$

By lemma and since $I$ is contractible, these functors are equivalences of categories on the $Ho(Seq_{S^2}Spec(Top_{cg}))$, and moreover they have the same inverse, namely $p^\ast$ for $p \colon I_+ \wedge S^2 \to S^2$ the canonical projection. This implies the isomorphism.

Explicitly, due to the equivalence there exists $V$ with $Z\simeq p^\ast V$ and with this we may form the composite isomorphism

$R_2 (\Sigma X) \simeq i_0^\ast Z \simeq i_0^\ast p^\ast V \simeq V \simeq i_1^\ast p^\ast V \simeq i_1^\ast Z \simeq R_2 (X \wedge S^1) \,.$

We conclude:

###### Theorem

The stable model structure $SeqSpec(Top)_{stable}$ from theorem indeed gives a stable model category in the sense of def. , in that the canonically induced reduced suspension functor (prop.) on its homotopy category is an equivalence of categories

$\Sigma \;\colon\; Ho(SeqSpec(Top)_{stable}) \overset{\simeq}{\longrightarrow} Ho(SeqSpec(Top)_{stable}) \,.$
###### Proof

By lemma , the canonical suspension functor is represented, on fibrant-cofibrant objects, by the standard suspension functor of def. . By prop. this is naturally isomorphic – on the level of the homotopy category – to the alternative suspension operation of def. . Therefore the claim follows with prop. .

In fact this lifts to a Quillen equivalence:

###### Proposition

The $(\Sigma \dashv \Omega)$-adjunction from prop. is a Quillen equivalence (def.) with respect to the stable model structure of theorem :

$SeqSpec(Top_{cg})_{stable} \underoverset {\underset{\Omega}{\longrightarrow}} {\overset{\Sigma}{\longleftarrow}} {\simeq_{\mathrlap{Q}}} SeqSpec(Top_{cg})_{stable} \,.$

Its derived functors (prop.) exhibit the canonical reduced suspension and looping operation as an adjoint equivalence on the stable homotopy category

$Ho(Spectra) \underoverset {\underset{\Omega}{\longrightarrow}} {\overset{\Sigma}{\longleftarrow}} {\simeq} Ho(Spectra) \,.$
###### Proof

By prop. and the fact that the stable model structure has the same cofibrations as the strict model structure, $\Sigma$ preserves stable cofibrations. Moreover, by lemma $\Sigma$ preserves in fact all stable weak equivalences. Hence $\Sigma$ is a left Quillen functor and so $(\Sigma \dashv \Omega)$ is a Quillen adjunction. Finally lemma gives that this Quillen adjunction is a Quillen equivalence.

In summary, this concludes the characterization of the stable homotopy category as the result of stabilizing the canonical $(\Sigma \dashv \Omega)$-adjunction on the classical homotopy category:

###### Theorem

The classical model structure $(Top^{\ast/}_{cg})_{Quillen}$ on pointed compactly generated topological spaces (thm., prop.) and the stable model structure on topological sequential spectra $SeqSpec(Top_{cg})$ (theorem ) sit in a commuting diagram of Quillen adjunctions of the form

$\array{ (Top_{cg}^{\ast/})_{Quillen} & \underoverset{\underoverset{\Omega}{\bot}{\longrightarrow}}{\overset{\Sigma}{\longleftarrow}}{} & (Top^{\ast/}_{cg})_{Quillen} \\ {}^{\mathllap{\Sigma^\infty}}\downarrow \dashv \uparrow^{\mathrlap{\Omega^\infty}} && {}^{\mathllap{\Sigma^\infty}}\downarrow \dashv \uparrow^{\mathrlap{\Omega^\infty}} \\ SeqSpec(Top_{cg})_{strict} & \underoverset {\underset{\Omega}{\longrightarrow}} {\overset{\Sigma}{\longleftarrow}} {\bot} & SeqSpec(Top_{cg})_{strict} \\ {}^{\mathllap{id}}\downarrow \dashv \uparrow^{\mathrlap{id}} && {}^{\mathllap{id}}\downarrow \dashv \uparrow^{\mathrlap{id}} \\ SeqSpec(Top_{cg})_{stable} & \underoverset {\underset{\Omega}{\longrightarrow}} {\overset{\Sigma}{\longleftarrow}} {\simeq_{\mathrlap{Q}}} & SeqSpec(Top_{cg})_{stable} } \,,$

where the top parts is from corollary , the bottom vertical Quillen adjunction is the Bousfield localization of theorem and the bottom horizontal adjunction is the Quillen equivalence of prop. .

Hence (by this prop.) the derived functors of the functors in this diagram yield a commuting square of adjoint functors between the classical homotopy category (def.) and the stable homotopy category (def. ) of the form

$\array{ Ho(Top^{\ast/}) & \underoverset {\underset{\Omega}{\longrightarrow}} {\overset{\Sigma}{\longleftarrow}} {\bot} & Ho(Top^{\ast/}) \\ {}^{\mathllap{\Sigma^\infty}}\downarrow \dashv \uparrow^{\mathrlap{\Omega^\infty}} && {}^{\mathllap{\Sigma^\infty}}\downarrow \dashv \uparrow^{\mathrlap{\Omega^\infty}} \\ Ho(Spectra) & \underoverset {\underset{\Omega}{\longrightarrow}} {\overset{\Sigma}{\longleftarrow}} {\simeq} & Ho(Spectra) } \,,$

where the horizontal adjunctions are the canonically induced (via this prop.)suspension/looping functors by prop. and by lemma and theorem .

### Cofibrant generation

We show that the stable model structure $SeqSpec(Top_{cg})_{stable}$ from theorem is a cofibrantly generated model category (def.).

We will not use the result of this section in the remainder of part 1.1, but the following argument is the blueprint for the proof of the model structure on orthogonal spectra that we consider in part 1.2, in the section The stable model structure on structured spectra, and it will be used in the proof of the Quillen equivalence of $SeqSpec(Top_{cg})_{stable}$ to the stable model structure on orthogonal spectra (thm.).

Moreover, that $SeqSpec(Top_{cg})_{stable}$ is cofibrantly generated means that for $\mathcal{C}$ any topologically enriched category (def.) then there exists a projective model structure on functors $[\mathcal{C}, SeqSpec(Top_{cg})_{stable}]_{proj}$ on the category of topologically enriched functors $\mathcal{C} \to SeqSpec(Top_{cg})$ (def.), in direct analogy to the projective model structure $[\mathcal{C},(Top^{\ast/}_{cg})_{Quillen}]_{proj}$ (thm.). This is the model structure for parameterized stable homotopy theory. Just as the stable homotopy theory discussed here is the natural home of generalized (Eilenberg-Steenrod) cohomology theories (example ) so parameterized stable homotopy theory is the natural home of twisted cohomology theories.

In order to express the generating (acyclic) cofibrations, we need the following simple but important concept.

###### Definition

For $K \in Top_{cg}^{\ast/}$, and $n \in \mathbb{N}$, write $F_n K \in SeqSpec(Top_{cg})$ for the free spectrum on $K$ at $n$, with components

$(F_n K)_q \coloneqq \left\{ \array{ \ast & for \; q \lt n \\ S^{q-n} \wedge K & for \; q \geq n } \right.$

and with structure maps $\sigma_q$ the canonical identifications for $q \geq n$

$\sigma_q \;\colon\; S^1 \wedge (F_n K)_q = S^1 \wedge S^{q-n} \wedge K \overset{\simeq}{\longrightarrow} S^{q+1-n} \wedge K = (F_n K)_{q+1} \,.$

For $n \in \mathbb{N}$, write

$k_n \;\colon\; F_{n+1}S^1 \longrightarrow F_n S^0$

for the canonical morphisms of free sequential spectra with the following components

$\array{ & \vdots && \vdots \\ (k_n)_{n+3} & S^3 &\stackrel{id}{\longrightarrow}& S^3 \\ (k_n)_{n+2} & S^2 &\stackrel{id}{\longrightarrow}& S^2 \\ (k_n)_{n+1} & S^1 &\stackrel{id}{\longrightarrow}& S^1 \\ (k_n)_n \colon & \ast &\stackrel{0}{\longrightarrow}& S^0 \\ & \ast &\longrightarrow& \ast \\ & \vdots && \vdots \\ & \ast &\longrightarrow& \ast \\ & \underbrace{\,\,\,} && \underbrace{\,\,\,} \\ k_n \colon & F_{n+1} S^1 &\stackrel{}{\longrightarrow}& F_n S^0 }$
###### Example

The free spectrum $F_0 S^0$ (def. ) is the standard sequential sphere spectrum from def.

$F_0 S^0 \simeq \mathbb{S}_{std} \,.$

Generally the free spectrum $F_0 K$ is the suspension spectrum (def. ) on $K$:

$F_0 K \simeq \Sigma^\infty K \,.$

Just as forming suspension spectra is left adjoint to extracting the 0th component space of a sequential spectrum (prop. ), so forming the $n$th free spectrum is left adjoint to extracting the $n$th component space:

###### Proposition

For $n \in \mathbb{N}$, let

$Ev_n \;\colon\; SeqSpec(Top_{cg}) \longrightarrow Top_{cg}^{\ast/}$

be the functor from sequential spectra (def. ) to pointed topological spaces given by extracting the $n$th component space

$Ev_n(X) \coloneqq X_n \,.$

Then this functor is right adjoint to forming $n$th free spectra (def. ):

$(F_n \dashv Ev_n) \;\colon\; SeqSpec(Top_{cg}) \underoverset {\underset{Ev_n}{\longrightarrow}} {\overset{F_n}{\longleftarrow}} {\bot} Top_{cg}^{\ast/} \,.$
###### Proof

The proof is verbatim as that of prop. , just with $n$ zeros inserted at the bottom of the sequences of components maps.

###### Definition

Write

$I_{seq}^{stable} \coloneqq I_{seq}^{strict} \;\; \in SeqSpec(Top)$

for the set of morphisms appearing already in def. , and write

$J_{seq}^{stable} \coloneqq J_{seq}^{strict} \;\sqcup\: \{ k_n \Box i_+ \}_{n \in \mathbb{N},i_+ \in \left(I_{Top^{\ast/}}\right)}$

for the disjoint union of the other set of morphisms appearing in def. with the set $\{k_n \Box i_+\}_{n,i_+}$ of pushout-products under smash tensoring (according to def. ) of the morphisms $k_n$ from def. with the generating cofibrations of the classical model structure on pointed topological spaces (def.).

###### Theorem

The stable model structure $SeqSpec(Top_{cg})_{stable}$ from theorem is cofibrantly generated (def.) with generating (acyclic) cofibrations the sets $I_{seq}^{stable}$ (and $J_{seq}^{stable}$) from def. .

This is one of the cofibrantly model categories considered in (Mandell-May-Schwede-Shipley 01) .

###### Proof

It is clear (as in theorem ) that the two classes have small domains (def.). Moreover, since $I_{seq}^{stable} = I_{seq}^{strict}$ and $Cof_{stable} = Cof_{strict}$ by definition, the fact that the ccofibrations are the retracts of relative $I_{seq}^{stable}$-cell complexes is part of theorem . It only remains to show that the stable acyclic cofibrations are precisely the retracts of relative $J_{seq}^{stable}$-cell complexes. This we is the statement of lemma below.

###### Lemma

The morphisms of free spectra $\{k_n\}_{n \in \mathbb{N}}$ from def. co-represent the adjunct structure maps of sequential spectra from def. , in that for $X \in SeqSpec(Top_{cg})$, then

$\array{ SeqSpec(F_n S^0, X) &\simeq& X_n \\ {}^{\mathllap{SeqSpec(k_n,X)}}\downarrow && \downarrow^{\mathrlap{\tilde \sigma_n^X}} \\ SeqSpec(F_{n+1}S^1, X) &\simeq& \Omega X_{n+1} } \,,$

where on the left we have the hom-spaces of def. , and where the horizontal equivalences are via prop. .

###### Proof

Recall that we are precomposing with

$\array{ & \vdots && \vdots \\ (k_n)_{n+3} & S^3 &\stackrel{id}{\longrightarrow}& S^3 \\ (k_n)_{n+2} & S^2 &\stackrel{id}{\longrightarrow}& S^2 \\ (k_n)_{n+1} & S^1 &\stackrel{id}{\longrightarrow}& S^1 \\ (k_n)_n \colon & \ast &\stackrel{0}{\longrightarrow}& S^0 \\ & \ast &\longrightarrow& \ast \\ & \vdots && \vdots \\ & \ast &\longrightarrow& \ast \\ & \underbrace{\,\,\,} && \underbrace{\,\,\,} \\ k_n \colon & F_{n+1} S^1 &\stackrel{}{\longrightarrow}& F_n S^0 }$

Now for $X$ any sequential spectrum, then a morphism $f \colon F_n S^0 \to X$ is uniquely determined by its $n$th component $f_n \colon S^0 \to X_n$: the compatibility with the structure maps forces the next component, in particular, to be $\sigma_n^X\circ \Sigma f$:

$\array{ \Sigma S^0 &\stackrel{\Sigma f}{\longrightarrow}& \Sigma X_n \\ \downarrow^{\mathrlap{\simeq}} && \downarrow^{\mathrlap{\sigma_n^X}} \\ S^1 &\stackrel{\sigma_n^X \circ \Sigma f}{\longrightarrow}& X_n } \,.$

But that $(n+1)$st component is just the component that similarly determines the precompositon of $f$ with $k_n$, hence $f\circ k_n$ is uniquely determined by the map $\sigma_n^X \circ \Sigma f$. Therefore $SeqSpec(k_n,-)$ is the function

$SeqSpec(k_n,-) \;\colon\; X_n = SeqSpec(S^0, X_n) \stackrel{f \mapsto \sigma_n^X \circ \Sigma f}{\longrightarrow} \Maps(S^1, X_{n+1})_\ast = \Omega X_{n+1} \,.$

It remains to see that this is indeed the $(\Sigma \dashv \Omega)$-adjunct of $\sigma_n^X$. By the general formula for adjuncts, this is

$\tilde \sigma_n^X \;\colon\; X_n \stackrel{\eta}{\longrightarrow} \Omega \Sigma X_n \stackrel{\Omega \sigma_n^X}{\longrightarrow} \Omega X_{n+1} \,.$

To compare to the above, we check what this does on points: $S^0 \stackrel{f}{\longrightarrow} X_n$ is sent to the composite

$S^0 \stackrel{f}{\longrightarrow} X_n \stackrel{\eta}{\longrightarrow} \Omega \Sigma X_n \stackrel{\Omega \sigma_0^X}{\longrightarrow} \Omega X_{n+1} \,.$

To identify this as a map $S^1 \to X_{n+1}$, we use the adjunction isomorphism once more to throw all the $\Omega$-s on the right back to $\Sigma$-s the left, to finally find that this is indeed

$\sigma_n^X \circ \Sigma f \;\colon\; S^1 = \Sigma S^0 \stackrel{\Sigma f}{\longrightarrow} \Sigma X_n \stackrel{\sigma_n^X}{\longrightarrow} X_{n+1} \,.$
###### Lemma

Every element in $J_{seq}^{stable}$ (def. ) is an acyclic cofibration in the model structure $SeqSpec(Top_{cg})_{stable}$ from theorem .

###### Proof

For the elements in $J_{seq}^{strict}$ this is part of theorem . It only remains to see that the morphisms $k_n \Box i_+$ are stable acyclic cofibrations.

To see that they are stable cofibrations, hence strict cofibrations:

By Joyal-Tierney calculus (prop.) $k_n \Box i_+$ has left lifting against any strict acyclic fibration $f$ precisely if $k_n$ has left lifting against the pullback powering $f^{\Box i_+}$ (def. ). By prop. the latter is still a strict acyclic fibration. Since $k_n$ is evidently a strict cofibration, the lifting follows and hence also $k_n \Box i_+$ is a strict cofibration, hence a stable cofibration.

To see that they are stable weak equivalences: For each $q$ the morphisms $k_n \wedge S^{q-1}$ are stable acyclic cofibrations, and since stable acyclic cofibrations are preserved under pushout, it follows by two-out-of-three that also $k_n \Box i_+$ is a stable weak equivalence.

The reason for considering the set $\{k_n \Box i_+\}$ is to make the following true:

###### Lemma

A morphism $f \colon X \to Y$ in $SeqSpec(Top)$ is a $J_{seq}^{stable}$-injective morphism (def.) precisely if

1. it is fibration in the strict model structure (hence degreewise a fibration);

2. for all $n \in \mathbb{N}$ the commuting squares of structure map compatibilities on the underlying sequential spectra

$\array{ X_n &\overset{\tilde\sigma^X_n}{\longrightarrow}& \Omega X_{n+1} \\ {}^{\mathllap{f_n}}\downarrow && \downarrow^{\mathrlap{\Omega f_{n+1}}} \\ Y_n &\underset{\tilde \sigma^Y_n}{\longrightarrow}& \Omega Y_{n+1} }$

exhibit homotopy pullbacks (def.) in $SeqSpec(Top_{cg})_{strict}$, in that the comparison map

$X_n \longrightarrow Y_n \underset{\Omega Y_{n+1}}{\times} \Omega X_{n-1}$

is a weak homotopy equivalence (notice that $\Omega f_{n+1}$ is a fibration by the previous item and since $\Omega = Maps(S^1,-)_\ast$ is a right Quillen functor by prop. ).

In particular, the $J_{seq}^{stable}$-injective objects are precisely the Omega-spectra, def. .

###### Proof

By theorem , lifting against $J_{seq}^{stric}$ alone characterizes strict fibrations, hence degreewise fibrations. Lifting against the remaining pushout product morphism $k_n \Box i_+$ is, by Joyal-Tierney calculus (prop.), equivalent to left lifting $i_+$ against the pullback powering $f^{\Box k_n}$ from def. . Since the $\{i_+\}$ are the generating cofibrations in $Top_{cg}^{\ast/}$ such lifting means that $f^{\Box k_n}$ is a weak equivalence in the strict model sructure. But by lemma , $f^{\Box k_n}$ is precisely the comparison morphism in question.

###### Lemma

A morphism in $SeqSpec(Top)$ which is both

1. a stable weak homotopy equivalence (def. );

2. a $J_{seq}^{stable}$-injective morphism (def. , def.)

is an acyclic fibration in the strict model structure, hence is degreewise a weak homotopy equivalence and Serre fibration of topological spaces;

###### Proof

Let $f \colon X \to B$ be both a stable weak homotopy equivalence as well as a $K$-injective morphism. Since $K$ contains the generating acyclic cofibrations for the strict model structure, $f$ is in particular a strict fibration, hence a degreewise fibration.

Consider the fiber $F$ of $f$, hence the morphism $F \to \ast$ which is the pullback of $f$ along $\ast \to B$. Notice that since $f$ is a strict fibration, this is the homotopy fiber (def.) of $f$ in the strict model structure.

We claim that

1. $F$ is an Omega-spectrum;

2. $F\to \ast$ is a stable weak homotopy equivalence.

The first item follows since $F$, being the pullback of a $K$-injective morphisms, is a $K$-injective object (prop.), so that, by lemma , $F$ it is an Omega-spectrum.

For the second item:

Since $F \to X \overset{f}{\to} B$ is degreewise a homotopy fiber sequence, there are degreewise its long exact sequences of homotopy groups (exmpl.)

$\cdots \to \pi_{\bullet + 1}(B_n) \longrightarrow \pi_\bullet(F_n) \longrightarrow \pi_\bullet(X_n) \overset{(f_n)_\ast}{\longrightarrow} \pi_\bullet(B_n) \to \cdots \to \pi_1(B_n) \longrightarrow \pi_0(F_n) \longrightarrow \pi_0(X_n) \longrightarrow \pi_0(B)_n$

Since in the category Ab of abelian group forming filtered colimits is an exact functor (prop.), it follows that after passing to stable homotopy groups the resulting sequence

$\cdots \pi_{\bullet + 1}(X) \overset{f_\ast}{\longrightarrow} \pi_{\bullet + 1}(B) \longrightarrow \pi_\bullet(F) \longrightarrow \pi_\bullet(X) \overset{(f_\ast}{\longrightarrow} \pi_\bullet(B) \to \cdots$

is still a long exact sequence.

Since, by assumption, $f_\ast$ is an isomorphism, this exactness implies that $\pi_\bullet(F) = 0$, and hence that $F \to \ast$ is a stable weak homotopy equivalence. But since, by the first item above, $F$ is an Omega-spectrum, it follows (via example ) that $F \to \ast$ is even a degreewise weak homotopy equivalence, hence that $\pi_\bullet(F_n)\simeq 0$ for all $n \in \mathbb{N}$.

Feeding this back into the above degreewise long exact sequence of homotopy groups now implies that $\pi_{\bullet \geq 1}(f_n)$ is a weak homotopy equivalence for all $n$ and for each homotopy group in positive degree.

To deduce the remaining case that also $\pi_0(f_0)$ is an isomorphism, observe that by assumption of $K$-injectivity, lemma gives that $f_0$ is the pullback (in topological spaces) of $\Omega (f_{1})$. But by the above $\Omega f_{1}$ is a weak homotopy equivalence, and since $\Omega = Maps(S^1,-)_\ast$ is a right Quillen functor (prop. ) it is also a Serre fibration. Therefore $f_0$ is the pullback of an acyclic Serre fibration and hence itself a weak homotopy equivalence.

###### Lemma

The retracts (rmk.) of $J_{seq}^{stable}$-relative cell complexes are precisely the stable acyclic cofibrations.

###### Proof

Since all elements of $J_{seq}^{stable}$ are stable weak equivalences and strict cofibrations by lemma , it follows that every retract of a relative $J_{seq}^{stable}$-cell complex has the same property.

In the other direction, let $f$ be a stable acyclic cofibration. Apply the small object argument (prop.) to factor it

$f \colon \underoverset{J_{seq}^{stable}Cell}{i}{\to} \underoverset{J_{seq}^{stable} Inj}{p}{\to}$

as a $J_{seq}^{stable}$-relative cell complex $i$ followed by a $J_{seq}^{stable}$-injective morphism $p$. By the previous statement $i$ is a stable weak homotopy equivalence, and hence by assumption and by two-out-of-three so is $p$. Therefore lemma implies that $p$ is a strict acyclic fibration. But then the assumption that $f$ is a strict cofibration means that it has the left lifting property against $p$, and so the retract argument (prop.) implies that $f$ is a retract of the relative $J_{seq}^{stable}$-cell complex $i$.

This completes the proof of theorem .

## The stable homotopy category

###### Definition

Write

$Ho(Spectra) \coloneqq Ho(SeqSpec(Top_{cg})_{stable})$

for the homotopy category (defn.) of the stable model structure on topological sequential spectra from theorem .

This is called the stable homotopy category.

The stable homotopy category of def. inherits particularly nice properties that are usefully axiomatized for themselves. This axiomatics is called triangulated category structure (def. below) where the “triangles” are referring to the structure of the long fiber sequences and long cofiber sequences (prop.) which happen to coincide in stable homotopy theory.

The stable homotopy category $Ho(Spectra)$ is the analog in homotopy theory of the category Ab of abelian groups in homological algebra. While the stable homotopy category is not an abelian category, as Ab is, but a homotopy-theoretic version of that to which we turn below, it is an additive category.

$\,$

###### Lemma

The stable homotopy category (def. ) has finite coproducts. They are represented by wedge sums (example ) of CW-spectra (def. ).

###### Proof

Having finite coproducts means

1. having empty coproducts, hence initial objects,

2. and having binary coproducts.

Regarding the initial object:

The spectrum $\Sigma^\infty \ast$ (suspension spectrum (example ) on the point) is both an initial object and a terminal object in $SeqSpec(Top_{cg})$. This implies in particular that it is both fibrant and cofibrant. Finally its standard cylinder spectrum (example ) is trivial $(\Sigma^\infty \ast) \wedge (I_+)\simeq \Sigma^\infty \ast$. All together with means that for $X$ any fibrant-cofibrant spectrum, then

$Hom_{Ho(Spectra)}(\Sigma^\infty \ast, Z) \simeq Hom_{SeqSpec}(\Sigma^\infty \ast, Z)/_\sim \simeq \ast$

and so $\Sigma^\infty \ast$ also represents the initial object in the stable homotopy category.

Now regarding binary coproducts:

By prop. and prop. , every spectrum has a cofibrant replacement by a CW-spectrum. By prop. the wedge sum $X \vee Y$ of two CW-spectra is still a CW-spectrum, hence still cofibrant.

Let $P$ and $Q$ be fibrant and cofibrant replacement functors, respectively, as in the section_Classical homotopy theory – The homotopy category.

We claim now that $P(X \vee Y) \in Ho(Spectra)$ is the coproduct of $P X$ with $P Y$ in $Ho(Spectra)$. By definition of the homotopy category (def.) this is equivalent to claiming that for $Z$ any stable fibrant spectrum (hence an Omega-spectrum by theorem ) then there is a natural isomorphism

$Hom_{SeqSpec}(P(X \vee Y), Q Z)/_\sim \simeq Hom_{SeqSpec}(P X, Q Z)/_\sim \times Hom_{SeqSpec}(P Y, Q Z)/_\sim$

between left homotopy-classes of morphisms of sequential spectra.

But since $X \vee Y$ is cofibrant and $Z$ is fibrant, there is a natural isomorphism (prop.)

$Hom_{SeqSpec}(P(X \vee Y), Q Z)/_\sim \overset{\simeq}{\longrightarrow} Hom_{SeqSpec}(X \vee Y, Z)/_\sim \,.$

Now the wedge sum $X \vee Y$ is the coproduct in $SeqSpec(Top_{cg})$, and hence morphisms out of it are indeed in natural bijection with pairs of morphisms out of the two summands. But we need this property to hold still after dividing out left homotopy. The key is that smash tensoring (def. ) distributes over wedge sum

$(X \vee Y) \wedge (I_+) \simeq (X \wedge (I_+)) \vee (Y\wedge (I_+))$

(due to the fact that the smash product of compactly generated pointed topological spaces distributes this way over wedge sum of pointed spaces). This means that also left homotopies out of $X \vee Y$ are in natural bijection with pairs of left homotopies out of the summands separately, and hence that there is a natural isomorphism

$Hom_{SeqSpec}(X \vee Y, Z)/_\sim \overset{\simeq}{\longrightarrow} Hom_{SeqSpec}(X,Z)/_\sim \times Hom_{SeqSpec}(Y,Z)/_\sim \,.$

Finally we may apply the inverse of the natural isomorphism used before (prop.) to obtain in total

$Hom_{SeqSpec}(X,Z)/_\sim \times Hom_{SeqSpec}(Y,Z)/_\sim \overset{\simeq}{\longrightarrow} Hom_{SeqSpec}(P X,Q Z)/_\sim \times Hom_{SeqSpec}(P Y,Q Z)/_\sim \,.$

The composite of all these isomorphisms proves the claim.

###### Definition

Define group structure on the pointed hom-sets of the stable homotopy category (def. )

$[X,Y] \in Grp$

induced from the fact (prop.) that the hom-sets of any homotopy category into an object in the image of the canonical loop space functor $\Omega$ inherit group structure, together with the fact (theorem ) that on the stable homotopy category $\Omega$ and $\Sigma$ are inverse to each other, so that

$[X,Y] \simeq [X, \Omega \Sigma Y] \,,$
###### Lemma

The group structure on $[X,Y]$ in def. is abelian and composition in $Ho(Spectra)$ is bilinear with respect to this group structure. (Hence this makes $Ho(Spectra)$ an Ab-enriched category.)

###### Proof

Recall (prop, rmk.) that the group structure is given by concatenation of loops

$X \overset{\Delta_X}{\to} X \times X \overset{(f,g)}{\longrightarrow} \Omega \Sigma X \times \Omega \Sigma X \overset{}{\longrightarrow} \Omega \Sigma X \,.$

That the group structure is abelian follows via the Eckmann-Hilton argument from the fact that there is always a compatible second (and indeed arbitrarily many compatible) further group structures, since, by stability

$[X,Y] \simeq [X, \Omega \Sigma Y] \simeq [X, \Omega \circ (\Omega \Sigma) \circ \Sigma Y] = [X, \Omega^2 \Sigma^2 Y] \,.$

That composition of morphisms distributes over the operation in this group is evident for precomposition. Let $f \colon W \to X$ then clearly

$f^\ast \;\colon\; [X,\Omega \Sigma Y] \longrightarrow [W,\Omega \Sigma Y]$

preserves the group structure induced by the group structure on $\Omega\Sigma Y$. That the same holds for postcomposition may be immediately deduced from noticing that this group structure is also the same as that induced by the cogroup structure on $\Sigma \Omega X$, so that with $g \colon Y \to Z$ then

$g_\ast \;\colon\; [\Sigma \Omega X,Y] \longrightarrow [\Sigma\Omega X,Z]$

preserves group structure.

More explicitly, we may see the respect for groupstructure structure of the postcomposition opeation from the naturality of the loop composition map which is manifest when representing loop spectra via the standard topological loop space object $\Omega X = fib( Maps(I_+,X)\to X \times X )$ (rmk.) under smash powering (def. ).

To make this fully explicit, consider the following diagram in $Ho(Spectra)$:

$\array{ Y \times Y &\overset{\simeq}{\longrightarrow}& \Omega \Sigma Y \times \Omega \Sigma Y &\overset{\simeq}{\longrightarrow}& Q(Maps(S^1,\Sigma Y)_\ast \times Maps(S^1,\Sigma Y)_\ast) &\longrightarrow& Q(Maps(S_{[0,2]}^1, \Sigma Y))_\ast &\simeq& \Omega \Sigma Y &\simeq& Y \\ {}^{\mathllap{g \times g}}\downarrow && \downarrow^{\mathrlap{\Omega \Sigma g \times \Omega \Sigma g}} && \downarrow^{\mathrlap{Q(Maps(S^1, \Sigma g)_\ast \times Maps(S^1,\Omega \Sigma g)_\ast)}} && \downarrow^{\mathrlap{Q(Maps(S_{[0,2]}^1,\Sigma g)_\ast)}} && \downarrow^{\mathrlap{\Omega \Sigma g}} && \downarrow^{g} \\ Z \times Z &\overset{\simeq}{\longrightarrow}& \Omega \Sigma Z \times \Omega \Sigma Z &\overset{\simeq}{\longrightarrow}& Q(Maps(S^1,\Sigma Z)_\ast \times Maps(S^1,\Sigma Z)_\ast) &\longrightarrow& Q(Maps(S_{[0,2]}^1, \Sigma Z)_\ast) &\simeq& \Omega \Sigma Z &\simeq& Z } \,,$

where $S^1_{[0,2]}$ denotes the sphere of length 2.

Here the leftmost square and the rightmost square are the naturality squares of the equivalence of categories $(\Sigma\dashv \Omega)$ (theorem ).

The second square from the left and the second square from the right exhibit the equivalent expression of $\Omega$ as the right derived functor of (either the standard or the alternative, by lemma ) degreewise loop space functor. Here we let $\Sigma X$ denote any fibrant representative, for notational brevity, and use that the derived functor of a right Quillen functor is given on fibrant objects by the original functor followed by cofibrant replacement (prop.).

The middle square is the image under $Q$ of the evident naturality square for concatenation of loops. This is where we use that we have the standard model for forming loop spaces and concatenation of loops (rmk.): the diagram commutes because the loops are always poinwise pushed forward along the map $f$.

It is conventional (Adams 74, p. 138) to furthermore make the following definition:

###### Definition

For $X, Y \in Ho(Spectra)$ two spectra, define the $\mathbb{Z}$-graded abelian group

$[X,Y]_\bullet \; \in Ab^{\mathbb{Z}}$

to be in degree $n$ the abelian hom group of lemma out of $X$ into the $n$-fold suspension of $Y$ (lemma ):

$[X,Y]_n \;\coloneqq\; [X, \Sigma^{-n} Y] \,.$

Defining the composition of $f_1 \in [X,Y]_{n_1}$ with $f_2 \in [Y,Z]_{n_2}$ to be the composite

$X \overset{f_1}{\longrightarrow} \Sigma^{-n_1} Y \overset{\Sigma^{-n_2}(f_2)}{\longrightarrow} \Sigma^{-n_2}(\Sigma^{-n_1} Z) \simeq \Sigma^{-n_1 - n_2} Z$

gives the stable homotopy category the structure of an $Ab^{\mathbb{Z}}$-enriched category.

###### Example

(generalized cohomology groups)

Let $E \in SeqSpec(Top_{cg})$ be an Omega-spectrum (def. ) and let $X\in Top^{\ast/}_{cg}$ be a pointed topological space with $\Sigma^\infty X$ its suspension spectrum (example ). Then the graded abelian group (by prop. , def. )

\begin{aligned} \tilde E^\bullet(X) & \coloneqq [\Sigma^\infty X, E]_{-\bullet} \\ & = [\Sigma^\infty X, \Sigma^\bullet E] \\ & \simeq [X, \Omega^\infty \Sigma^\bullet E]_\ast \\ & \simeq [X, E_\bullet]_\ast \end{aligned}

is also called the reduced cohomology of $X$ in the generalized (Eilenberg-Steenrod) cohomology theory that is represented by $E$.

Here the equivalences used are

1. the adjunction isomorphism of $(\Sigma^\infty \dashv \Omega^\infty)$ from theorem ;

2. the isomorphism $\Sigma \simeq [1]$ of suspension with the shift spectrum (def. ) on $Ho(Spectra)$ of lemma , together with the nature of $\Omega^\infty$ from prop. .

The latter expression

$\tilde E^n(X) \simeq [X, E_n]_\ast$

(on the right the hom in in the classical homotopy category $Ho(Top^{\ast/})$ of pointed topological spaces) is manifestly the definition of reduced generalized (Eilenberg-Steenrod) cohomology as discussed in part S in the section on the Brown representability theorem.

Suppose $E$ here is not necessarily given as an Omega-spectrum. In general the hom-groups $[X,E] = [X,E]_{stable}$ in the stable homotopy category are given by the naive homotopy classes of maps out of a cofibrant resolution of $X$ into a fibrant resolution of $E$ (by this lemma). By theorem a fibrant replacement of $E$ is given by Omega-spectrification $Q E$ (def. ). Since the stable model structure of theorem is a left Bousfield localization of the strict model structure from theorem , and since for the latter all objects are fibrant, it follows that

$[X,E]_{stable} \simeq [X,Q E]_{strict} \,,$

and hence

\begin{aligned} E^0(X) &\coloneqq [\Sigma^\infty X, E]_{stable} \\ & \simeq [\Sigma^\infty X, Q E]_{strict} \\ & \simeq [X, \Omega^\infty Q E]_\ast \\ & = [X, (Q E)_0]_\ast \end{aligned} \,,

where the last two hom-sets are again those of the classical homotopy category. Now if $E$ happens to be a CW-spectrum, then by remark its Omega-spectrification is given simply by $(Q E)_n \simeq \underset{\longrightarrow}{\lim}_k \Omega^k E_{n+k})$ and hence in this case

$E^0(X) \simeq [X, \underset{\longrightarrow}{\lim}_k \Omega^k E_k]_\ast \,.$

If $X$ here is moreover a compact topological space, then it may be taken inside the colimit (e.g. Weibel 94, topology exercise 10.9.2), and using the $(\Sigma \dashv \Omega)$-adjunction this is rewritten as

\begin{aligned} E^0(X) & \simeq \underset{\longrightarrow}{\lim}_k [X, \Omega^k E_k]_\ast \\ & \simeq \underset{\longrightarrow}{\lim}_k [\Sigma^k X, E_k]_\ast \end{aligned} \,.

This last expression is sometimes used to define cohomology with coefficients in an arbitrary spectrum. For examples see in the part S the section Orientation in generalized cohomology.

More generally, it is immediate now that there is a concept of $E$-cohomology not only for spaces and their suspension spectra, but also for general spectra: for $X \in Ho(Spectra)$ be any spectrum, then

$\tilde E^\bullet(X) \coloneqq [X,\Sigma^\bullet E]$

is called the reduced $E$-cohomology of the spectrum $X$.

Beware that here one usually drops the tilde sign.

In summary, lemma and lemma state that the stable homotopy category is an Ab-enriched category with finite coproducts. This is called an additive category:

###### Definition

An additive category is a category which is

1. (sometimes called a pre-additive category–this means that each hom-set carries the structure of an abelian group and composition is bilinear)

(and hence, by prop. below, finite products which coincide with the coproducts, hence finite biproducts).

###### Proposition

In an Ab-enriched category, a finite product is also a coproduct, and dually.

This statement includes the zero-ary case: any terminal object is also an initial object, hence a zero object (and dually), hence every additive category (def. ) has a zero object.

More precisely, for $\{X_i\}_{i \in I}$ a finite set of objects in an Ab-enriched category, then the unique morphism

$\underset{i \in I}{\coprod} X_i \longrightarrow \underset{j \in I}{\prod} X_j \,,$

whose components are identities for $i = j$ and are zero otherwise, is an isomorphism.

###### Proof

Consider first the zero-ary case. Given an initial object $\emptyset$ and a terminal object $\ast$, observe that since the hom-sets $Hom(\emptyset,\emptyset)$ and $Hom(\ast,\ast)$ by definition contain a single element, this element has to be the zero element in the abelian group structure. But it also has to be the identity morphism, and hence $id_\emptyset = 0$ and $id_{\ast} = 0$. It follows that the 0-element in $Hom(\ast, \emptyset)$ is a left and right inverse to the unique element in $Hom(\emptyset,\ast)$, and so this is an isomorphism

$0 \;\colon\; \emptyset \overset{\simeq}{\longrightarrow} \ast \,.$

Consider now the case of binary (co-)products. Using the existence of the zero object, hence of zero morphisms, then in addition to its canonical projection maps $p_i \colon X_1 \times X_2 \to X_i$, any binary product also receives “injection” maps $X_i \to X_1 \times X_2$, and dually for the coproduct:

$\array{ X_1 && && X_2 \\ & \searrow^{\mathrlap{(id,0)}} && {}^{\mathllap{(0,id)}}\swarrow \\ {}^{\mathllap{id_{X_1}}}\downarrow && X_1 \times X_2 && \downarrow^{\mathrlap{id_{X_2}}} \\ & \swarrow_{\mathrlap{p_{X_1}}} && {}_{\mathllap{p_{X_2}}}\searrow \\ X_1 && && X_2 } \;\;\;\;\;\;\;\;\;\;\;\;\,,\;\;\;\;\;\;\;\;\;\;\;\; \array{ X_1 && && X_2 \\ & \searrow^{\mathrlap{i_{X_1}}} && {}^{\mathllap{i_{X_2}}}\swarrow \\ {}^{\mathllap{id_{X_1}}}\downarrow && X_1 \sqcup X_2 && \downarrow^{\mathrlap{id_{X_2}}} \\ & \swarrow_{\mathrlap{(id,0)}} && {}_{\mathllap{(0,id)}}\searrow \\ X_1 && && X_2 } \,.$

Observe some basic compatibility of the $Ab$-enrichment with the product:

First, for $(\alpha_1,\beta_1), (\alpha_2, \beta_2)\colon R \to X_1 \times X_2$ then

$(\star) \;\;\;\;\;\; (\alpha_1,\beta_1) + (\alpha_2, \beta_2) = (\alpha_1+ \alpha_2 , \; \beta_1 + \beta_2)$

(using that the projections $p_1$ and $p_2$ are linear and by the universal property of the porduct).

Second, $(id,0) \circ p_1$ and $(0,id) \circ p_2$ are two projections on $X_1\times X_2$ whose sum is the identity:

$(\star\star) \;\;\;\;\;\; (id, 0) \circ p_1 + (0, id) \circ p_2 = id_{X_1 \times X_2} \,.$

(We may check this, via the Yoneda lemma on generalized elements: for $(\alpha, \beta) \colon R \to X_1\times X_2$ any morphism, then $(id,0)\circ p_1 \circ (\alpha,\beta) = (\alpha,0)$ and $(0,id)\circ p_2\circ (\alpha,\beta) = (0,\beta)$, so the statement follows with equation $(\star)$.)

Now observe that for $f_i \;\colon\; X_i \to Q$ any two morphisms, the sum

$\phi \;\coloneqq\; f_1 \circ p_1 + f_2 \circ p_2 \;\colon\; X_1 \times X_2 \longrightarrow Q$

gives a morphism of cocones

$\array{ X_1 && && X_2 \\ & \searrow^{\mathrlap{(id,0)}} && {}^{\mathllap{(0,id)}}\swarrow \\ {}^{\mathllap{id_{X_1}}}\downarrow && X_1 \times X_2 && \downarrow^{\mathrlap{id_{X_2}}} \\ & && \\ X_1 && \downarrow^{\mathrlap{\phi}} && X_2 \\ & {}_{\mathllap{f_1}}\searrow && \swarrow_{\mathrlap{f_2}} \\ && Q } \,.$

Moreover, this is unique: suppose $\phi'$ is another morphism filling this diagram, then, by using equation $(\star \star)$, we get

\begin{aligned} (\phi-\phi') & = (\phi - \phi') \circ id_{X_1 \times X_2} \\ &= (\phi - \phi') \circ ( (id_{X_1},0) \circ p_1 + (0,id_{X_2})\circ p_2 ) \\ & = \underset{ = 0}{\underbrace{(\phi - \phi') \circ (id_{X_1}, 0)}} \circ p_1 + \underset{ = 0}{\underbrace{(\phi - \phi') \circ (0, id_{X_2})}} \circ p_2 \\ & = 0 \end{aligned}

and hence $\phi = \phi'$. This means that $X_1\times X_2$ satisfies the universal property of a coproduct.

By a dual argument, the binary coproduct $X_1 \sqcup X_2$ is seen to also satisfy the universal property of the binary product. By induction, this implies the statement for all finite (co-)products.

###### Remark

Finite coproducts coinciding with products as in prop. are also called biproducts or direct sums, denoted

$X_1 \oplus X_2 \coloneqq X_1 \sqcup X_2 \simeq X_1 \times X_2 \,.$

The zero object is denoted “0”, of course.

Conversely:

###### Definition

A semiadditive category is a category that has all finite products which, moreover, are biproducts in that they coincide with finite coproducts as in def. .

###### Proposition

In a semiadditive category, def. , the hom-sets acquire the structure of commutative monoids by defining the sum of two morphisms $f,g \;\colon\; X \longrightarrow Y$ to be

$f + g \;\coloneqq\; X \overset{\Delta_X}{\to} X \times X \simeq X \oplus X \overset{f \oplus g}{\longrightarrow} Y \oplus Y \simeq Y \sqcup Y \overset{\nabla_X}{\to} Y \,.$

With respect to this operation, composition is bilinear.

###### Proof

The associativity and commutativity of $+$ follows directly from the corresponding properties of $\oplus$. Bilinearity of composition follows from naturality of the diagonal $\Delta_X$ and codiagonal $\nabla_X$:

$\array{ W &\overset{\Delta_W}{\longrightarrow}& W \times W &\overset{\simeq}{\longrightarrow}& W \oplus W \\ \downarrow^{\mathrlap{e}} && \downarrow^{\mathrlap{e \times e}} && \downarrow^{\mathrlap{e \oplus e}} \\ X &\overset{\Delta_X}{\to}& X \times X &\simeq& X \oplus X &\overset{f \oplus g}{\longrightarrow}& Y \oplus Y &\simeq& Y \sqcup Y &\overset{\nabla_X}{\to}& Y \\ && && && \downarrow^{\mathrlap{h \oplus h}} && \downarrow^{\mathrlap{h \sqcup h}} && \downarrow^{\mathrlap{h}} \\ && && && Z \oplus Z &\simeq& Z \sqcup Z &\overset{\nabla_Z}{\to}& Z }$
###### Proposition

Given an additive category according to def. , then the enrichement in commutative monoids which is induced on it via prop. and prop. from its underlying semiadditive category structure coincides with the original enrichment.

###### Proof

By the proof of prop. , the codiagonal on any object in an additive category is the sum of the two projections:

$\nabla_X \;\colon\; X \oplus X \overset{p_1 + p_2}{\longrightarrow} X \,.$

Therefore (checking on generalized elements, as in the proof of prop. ) for all morphisms $f,g \colon X \to Y$ we have commuting squares of the form

$\array{ X &\overset{f+g}{\longrightarrow}& Y \\ {}^{\mathllap{\Delta_X}}\downarrow && \uparrow^{\mathrlap{\nabla_Y =}}_{\mathrlap{p_1 + p_2}} \\ X \oplus X &\underset{f \oplus g}{\longrightarrow}& Y\oplus Y } \,.$
###### Remark

Prop. says that being an additive category is an extra property on a category, not extra structure. We may ask whether a given category is additive or not, without specifying with respect to which abelian group structure on the hom-sets.

In conclusion we have:

###### Proposition

The stable homotopy category (def. ) is an additive category (def. ).

Hence prop. implies that in the stable homotopy category finite coproducts (wedge sums) and finite products agree, in that they are finite biproducts (direct sums).

$\vee \simeq \times \simeq \oplus \;\;\in \;\; Ho(Spectra) \,.$
###### Proof

By lemma and lemma .

### Triangulated structure

We have seen above that the stable homotopy category $Ho(Spectra)$ is an additive category. In the context of homological algebra, when faced with an additive category one next asks for the existence of kernels (fibers) and cokernels (cofibers) to yield a pre-abelian category, and then asks that these are suitably compatible, to yield an abelian category.

Now here in stable homotopy theory, the concept of kernels and cokernels is replaced by that of homotopy fibers and homotopy cofibers. That these certainly exist for homotopy theories presented by model categories was the topic of the general discussion in the section Homotopy theory – Homotopy fibers. Various of the properties they satisfy was the topic of the sections Homotopy theory – Long sequences and Homotopy theory – Homotopy pullbacks.. For the special case of stable homotopy theory we will find a crucial further property relating homotopy fibers to homotopy cofibers.

The axiomatic formulation of a subset of these properties of stable homotopy fibers and stable homotopy cofibers is called a triangulated category structure. This is the analog in stable homotopy theory of abelian category structure in homological algebra.

category of abelian groupsstable homotopy category
(homotopy) fibers and cofibers existpre-additive categoryhomotopy category of a model category
(homotopy) fibers and cofibers are compatibleabelian categorytriangulated category

Literature (Hubery, Schwede 12, II.2)

$\,$

###### Definition
1. an additive category $Ho$ (def. );

2. a functor, called the suspension functor or shift functor

$\Sigma \;\colon\; Ho \overset{\simeq}{\longrightarrow} Ho$

which is required to be an equivalence of categories;

3. a sub-class $CofSeq \subset Mor(Ho^{\Delta[3]})$ of the class of triples of composable morphisms, called the class of distinguished triangles, where each element that starts at $A$ ends at $\Sigma A$; we write these as

$A \overset{}{\longrightarrow} B \overset{}{\longrightarrow} B/A \overset{}{\longrightarrow} \Sigma A \,,$

or

$\array{ A && \overset{f}{\longrightarrow} && B \\ & {}_{\mathllap{[1]}}\nwarrow && \swarrow_{\mathrlap{}} \\ && B/A }$

(whence the name triangle);

such that the following conditions hold:

• T0 For every morphism $f \colon A \to B$, there does exist a distinguished triangle of the form

$A \overset{f}{\longrightarrow} B \longrightarrow B/A \longrightarrow \Sigma A \,.$

If $(f,g,h)$ is a distinguished triangle and there is a commuting diagram in $Ho$ of the form

$\array{ A &\overset{f}{\longrightarrow}& B &\overset{g}{\longrightarrow}& B/A &\overset{h}{\longrightarrow}& \Sigma A \\ \downarrow^{\mathrlap{\in Iso}} && \downarrow^{\mathrlap{\in Iso}} && \downarrow^{\mathrlap{\in Iso}} && \downarrow^{\mathrlap{\in Iso}} \\ A' &\overset{f'}{\longrightarrow}& B' &\overset{g'}{\longrightarrow}& B'/A' &\overset{h'}{\longrightarrow}& \Sigma A' }$

(with all vertical morphisms being isomorphisms) then $(f',g',h')$ is also a distinguished triangle.

• T1 For every object $X \in Ho$ then $(0,id_X,0)$ is a distinguished triangle

$0 \longrightarrow X \overset{id_X}{\longrightarrow} X \overset{}{\longrightarrow} 0 \,;$
• T2 If $(f,g,h)$ is a distinguished triangle, then so is $(g,h, - \Sigma f)$; hence if

$A \overset{f}{\longrightarrow} B \overset{g}{\longrightarrow} B/A \overset{h}{\longrightarrow} \Sigma A$

is, then so is

$B \overset{g}{\longrightarrow} B/A \overset{h}{\longrightarrow} \Sigma A \overset{-\Sigma f}{\longrightarrow} \Sigma B \,.$
• T3 Given a commuting diagram in $Ho$ of the form

$\array{ A &\overset{}{\longrightarrow}& B &\overset{}{\longrightarrow}& B/A &\overset{}{\longrightarrow}& \Sigma A \\ \downarrow^{\mathrlap{\phi_A}} && \downarrow^{\mathrlap{\phi_B}} && && \\ A' &\overset{}{\longrightarrow}& B' &\overset{}{\longrightarrow}& B'/A' &\overset{}{\longrightarrow}& \Sigma A' }$

where the top and bottom are distinguished triangles, then there exists a morphism $B/A \to B'/A'$ such as to make the completed diagram commute

$\array{ A &\overset{}{\longrightarrow}& B &\overset{}{\longrightarrow}& B/A &\overset{}{\longrightarrow}& \Sigma A \\ \downarrow^{\mathrlap{\phi_A}} && \downarrow^{\mathrlap{\phi_B}} && \downarrow^{\mathrlap{\exists}} && \downarrow^{\mathrlap{\Sigma \phi_A}} \\ A' &\overset{}{\longrightarrow}& B' &\overset{}{\longrightarrow}& B'/A' &\overset{}{\longrightarrow}& \Sigma A' }$
• T4 (octahedral axiom) For every pair of composable morphisms $f \colon A \to B$ and $f' \colon B \to D$ then there is a commutative diagram of the form

$\array{ A &\overset{f}{\longrightarrow}& B &\overset{g}{\longrightarrow}& B/A &\overset{h}{\longrightarrow}& \Sigma A \\ {}^{\mathllap{=}}\downarrow && {}^{\mathllap{f'}}\downarrow && \downarrow^{\mathrlap{x}} && \downarrow^{\mathrlap{=}} \\ A &\underset{f' \circ f}{\longrightarrow}& D &\underset{g''}{\longrightarrow}& D/A &\underset{h''}{\longrightarrow}& \Sigma A \\ && {}^{\mathllap{g'}}\downarrow && \downarrow^{\mathrlap{y}} \\ && D/B &\underset{\simeq}{\longrightarrow}& D/B \\ && {}^{\mathllap{h'}}\downarrow && \downarrow^{\mathrlap{(\Sigma g)\circ h'}} \\ && \Sigma B &\underset{\Sigma g}{\longrightarrow}& \Sigma B/A }$

such that the two top horizontal sequences and the two middle vertical sequences each are distinguished triangles.

###### Proposition

The stable homotopy category $Ho(Spectra)$ from def. , equipped with the canonical suspension functor $\Sigma \colon Ho(Spectra) \overset{\simeq}{\longrightarrow} Ho(Spectra)$ (according to this prop.) is a triangulated category (def. ) for the distinguished triangles being the closure under isomorphism of triangles of the images (under localization $SeqSpec(Top_{cg})_{stable} \to Ho(Spectra)$ (prop.) of the stable model category of theorem ) of the canonical long homotopy cofiber sequences (prop.)

$A \overset{f}{\longrightarrow} B \overset{}{\longrightarrow} hocofib(f) \longrightarrow \Sigma A \,.$
###### Proof

By prop. the stable homotopy category is additive, by theorem the functor $\Sigma$ is an equivalence.

The axioms T0 and T1 are immediate from the definition of homotopy cofiber sequences.

The axiom T2 is the very characterization of long homotopy cofiber sequences (from this prop.).

Regarding axiom T3:

By the factorization axioms of the model category we may represent the morphisms $A \to A'$ and $B \to B'$ in the homotopy category by cofibrations in the model category. Then $B \to B/A$ and $B' \to B'/A'$ are represented by their ordinary cofibers (def., prop.).

We may assume without restriction (lemma) that the commuting square

$\array{ A &\overset{f}{\longrightarrow}& B \\ {}^{\mathllap{\phi_A}}\downarrow && \downarrow^{\mathrlap{\phi_B}} \\ A' &\underset{f'}{\longrightarrow}& B' }$

in the homotopy category is the image of a commuting square (not just commuting up to homotopy) in $SeqSpec(Top_{cg})$. In this case then the morphism $B/A \to B'/A'$ is induced by the universal property of ordinary cofibers. To see that this also completes the last vertical morphism, observe that by the small object argument (prop.) we have functorial factorization (def.).

With this, again the universal property of the ordinary cofiber gives the fourth vertical morphism needed for T3.

Axiom T4 follows in the same fashion: we may represent all spectra by CW-spectra and represent $f$ and $f'$, hence also $f'\circ f$, by cofibrations. Then forming the functorial mapping cones as above produces the commuting diagram

$\array{ A &\overset{f}{\longrightarrow}& B &\overset{g}{\longrightarrow}& B/A &\overset{h}{\longrightarrow}& \Sigma A \\ {}^{\mathllap{=}}\downarrow &(1)& {}^{\mathllap{f'}}\downarrow &(2)& \downarrow^{\mathrlap{x}} && \downarrow^{\mathrlap{=}} \\ A &\underset{f' \circ f}{\longrightarrow}& D &\underset{g''}{\longrightarrow}& D/A &\underset{h''}{\longrightarrow}& \Sigma A \\ && {}^{\mathllap{g'}}\downarrow &(3)& \downarrow^{\mathrlap{y}} && \\ && D/B &\underset{\simeq}{\longrightarrow}& D/B \\ && {}^{\mathllap{h'}}\downarrow && \downarrow^{\mathrlap{(\Sigma g)\circ h'}} \\ && \Sigma B &\underset{\Sigma g}{\longrightarrow}& \Sigma B/A }$

The fact that the second horizontal morphism from below is indeed an isomorphism follows by applying the pasting law for homotopy pushouts twice (prop.):

Draw all homotopy cofibers as homotopy pushout squares (def.) with one edge going to the point. Then assemble the squares (1)-(3) in the pasting composite of two cubes on top of each other: (1) as the left face of the top cube, (2) as the middle face where the two cubes touch, and (3) as the front face of the bottom cube. All remaining edges are points. This way the rear and front face of the top cube and the left and right face of the bottom cube are homotopy pushouts by construction. Also the top face

$\array{ A &\longrightarrow & \ast \\ {}^{\mathllap{\simeq}}\downarrow && \downarrow \\ A &\longrightarrow& \ast }$

is a homotopy pushout, since two opposite edges of it are weak equivalences (prop.). From this the pasting law for homotopy pushouts (prop.) gives that also the middle square (2) is a homotopy pushout. Applying the pasting law once more this way, now for the bottom cube, gives that the bottom square

$\array{ \ast &\longrightarrow& \ast \\ \downarrow && \downarrow \\ D/B &\longrightarrow& (D/A)/(B/A) }$

is a homotopy pushout. Since here the left edge is a weak equivalence, necessarily, so is the right edge (prop.), which hence exhibits the claimed identification

$D/B \simeq (D/A)/(B/A) \,.$
###### Remark

All we used in the proof (of prop. ) of the octahedral axiom (T4) is the existence and nature of homotopy pushouts. In fact one may show that the octahedral axiom is equivalent to the existence of homotopy pushouts, in the sense of axiom B in (Hubery).

### Long fiber-cofiber sequences

In homotopy theory there are generally long homotopy fiber sequences to the left and long homotopy cofiber sequences to the right, as discussed in the section Homotopy theory – Long sequences. We prove now, in the generality of the axiomatics of triangulated categories (since the stable homotopy category is triangulated by prop. ), that in stable homotopy theory both these sequences are long in both directions, and in fact coincide.

Literature (Schwede 12, II.2)

$\,$

###### Lemma

For $(Ho,\Sigma, CofSeq)$ a triangulated category, def. , and

$A \overset{f}{\longrightarrow} B \overset{g}{\longrightarrow} B/A \overset{h}{\longrightarrow} \Sigma A$

a distinguished triangle, then

$g\circ f = 0$

is the zero morphism.

###### Proof

Consider the commuting diagram

$\array{ A &\overset{id}{\longrightarrow}& A &\overset{}{\longrightarrow}& 0 &\overset{}{\longrightarrow}& \Sigma A \\ \downarrow^{\mathrlap{id}} && \downarrow^{\mathrlap{f}} \\ A &\overset{f}{\longrightarrow}& B &\overset{g}{\longrightarrow}& B/A &\overset{h}{\longrightarrow}& \Sigma A } \,.$

Observe that the top part is a distinguished triangle by axioms T1 and T2 in def. . Hence by T3 there is an extension to a commuting diagram of the form

$\array{ A &\overset{id}{\longrightarrow}& A &\overset{}{\longrightarrow}& 0 &\overset{}{\longrightarrow}& \Sigma A \\ \downarrow^{\mathrlap{id}} && \downarrow^{\mathrlap{f}} && \downarrow && \downarrow^{\mathrlap{\Sigma f}} \\ A &\overset{f}{\longrightarrow}& B &\overset{g}{\longrightarrow}& B/A &\overset{h}{\longrightarrow}& \Sigma A } \,.$

Now the commutativity of the middle square proves the claim.

###### Proposition

Let $(Ho,\Sigma, CofSeq)$ be a triangulated category, def. , with hom-functor denoted by $[-,-]_\ast \colon Ho^{op}\times Ho \to Ab$. For $X\in Ho$ any object, and for $D\in CofSeq$ any distinguished triangle

$D = (A \overset{f}{\longrightarrow} B \overset{g}{\longrightarrow} B/A \overset{h}{\longrightarrow} \Sigma A)$

then the sequences of abelian groups

1. (long cofiber sequence)

$[\Sigma A, X]_\ast \overset{[h,X]_\ast}{\longrightarrow} [B/A,X]_\ast \overset{[g,X]_\ast}{\longrightarrow} [B,X]_\ast \overset{[f,X]_\ast}{\longrightarrow} [A,X]_\ast$
2. (long fiber sequence)

$[X,A]_\ast \overset{[X,f]_\ast}{\longrightarrow} [X,B]_\ast \overset{[X,g]_\ast}{\longrightarrow} [X,B/A]_\ast \overset{[X,h]_\ast}{\longrightarrow} [X,\Sigma A]_\ast$
###### Proof

Regarding the first case:

Since $g \circ f = 0$ by lemma , we have an inclusion $im([g,X]_\ast) \subset ker([f,X]_\ast)$. Hence it is sufficient to show that if $\psi \colon B \to X$ is in the kernel of $[f,X]_\ast$ in that $\psi \circ f = 0$, then there is $\phi \colon B/A \to X$ with $\phi \circ g = \psi$. To that end, consider the commuting diagram

$\array{ A &\overset{f}{\longrightarrow}& B &\overset{g}{\longrightarrow}& B/A &\overset{h}{\longrightarrow}& \Sigma A \\ \downarrow && {}^{\mathllap{\psi}}\downarrow \\ 0 &\overset{}{\longrightarrow}& X &\overset{id}{\longrightarrow}& X &\overset{}{\longrightarrow}& 0 } \,,$

where the commutativity of the left square exhibits our assumption.

The top part of this diagram is a distinguished triangle by assumption, and the bottom part is by condition $T1$ in def. . Hence by condition T3 there exists $\phi$ fitting into a commuting diagram of the form

$\array{ A &\overset{f}{\longrightarrow}& B &\overset{g}{\longrightarrow}& B/A &\overset{h}{\longrightarrow}& \Sigma A \\ \downarrow && {}^{\mathllap{\psi}}\downarrow && \downarrow^{\mathrlap{\phi}} && \downarrow \\ 0 &\overset{}{\longrightarrow}& X &\overset{id}{\longrightarrow}& X &\overset{}{\longrightarrow}& 0 } \,.$

Here the commutativity of the middle square exhibits the desired conclusion.

This shows that the first sequence in question is exact at $[B,X]_\ast$. Applying the same reasoning to the distinguished triangle $(g,h,-\Sigma f)$ provided by T2 yields exactness at $[B/A,X]_\ast$.

Regarding the second case:

Again, from lemma it is immediate that

$im([X,f]_\ast) \subset ker([X,g]_\ast)$

so that we need to show that for $\psi \colon X \to B$ in the kernel of $[X,g]_\ast$, hence such that $g\circ \psi = 0$, then there exists $\phi \colon X \to A$ with $f \circ \phi = \psi$.

To that end, consider the commuting diagram

$\array{ X &\longrightarrow& 0 &\longrightarrow& \Sigma X &\overset{- \Sigma id}{\longrightarrow}& \Sigma X \\ \downarrow^{\mathrlap{\psi}} && \downarrow \\ B &\overset{g}{\longrightarrow}& B/A &\overset{h}{\longrightarrow}& \Sigma A &\overset{-\Sigma f}{\longrightarrow}& \Sigma B } \,,$

where the commutativity of the left square exhibits our assumption.

Now the top part of this diagram is a distinguished triangle by conditions T1 and T2 in def. , while the bottom part is a distinguished triangle by applying T2 to the given distinguished triangle. Hence by T3 there exists $\tilde \phi \colon \Sigma X \to \Sigma A$ such as to extend to a commuting diagram of the form

$\array{ X &\longrightarrow& 0 &\longrightarrow& \Sigma X &\overset{- \Sigma id}{\longrightarrow}& \Sigma X \\ \downarrow^{\mathrlap{\psi}} && \downarrow && \downarrow^{\mathrlap{\tilde \phi}} && \downarrow^{\mathrlap{\Sigma \psi}} \\ B &\overset{g}{\longrightarrow}& B/A &\overset{h}{\longrightarrow}& \Sigma A &\overset{-\Sigma f}{\longrightarrow}& \Sigma B } \,,$

At this point we appeal to the condition in def. that $\Sigma \colon Ho \to Ho$ is an equivalence of categories, so that in particular it is a fully faithful functor. It being a full functor implies that there exists $\phi \colon X \to A$ with $\tilde \phi = \Sigma \phi$. It being faithful then implies that the whole commuting square on the right is the image under $\Sigma$ of a commuting square

$\array{ X &\overset{-id}{\longrightarrow}& X \\ {}^{\mathllap{\phi}}\downarrow && \downarrow^{\mathrlap{\psi}} \\ A &\underset{-f}{\longrightarrow}& B } \,.$

This concludes the exactness of the second sequence at $[X,B]_\ast$. As before, exactness at $[X,B/A]_\ast$ follows with the same argument applied to the shifted triangle, via T2.

###### Lemma

Consider a morphism of distinguished triangles in a triangulated category (def. ):

$\array{ A &\overset{}{\longrightarrow}& B &\overset{g}{\longrightarrow}& B/A &\overset{h}{\longrightarrow}& \Sigma A \\ \downarrow^{\mathrlap{a}} && \downarrow^{\mathrlap{b}} && \downarrow^{\mathrlap{c}} && \downarrow^{\mathrlap{\Sigma a}} \\ A' &\overset{}{\longrightarrow}& B' &\overset{}{\longrightarrow}& B'/A' &\overset{}{\longrightarrow}& \Sigma A' } \,.$

If two out of $\{a,b,c\}$ are isomorphisms, then so is the third.

###### Proof

Consider the image of the situation under the hom-functor $[X,-]_\ast$ out of any object $X$:

$\array{ [X,A]_\ast &\overset{}{\longrightarrow}& [X,B]_\ast &\overset{g}{\longrightarrow}& [X,B/A]_\ast &\overset{h}{\longrightarrow}& [X,\Sigma A]_\ast &\longrightarrow& [X,\Sigma B]_\ast \\ \downarrow^{\mathrlap{a_\ast}} && \downarrow^{\mathrlap{b_\ast}} && \downarrow^{\mathrlap{c_\ast}} && \downarrow^{\mathrlap{(\Sigma a)_\ast }} && \downarrow^{\mathrlap{(\Sigma b)_\ast }} \\ [X,A']_\ast &\overset{}{\longrightarrow}& [X,B']_\ast &\overset{}{\longrightarrow}& [X,B'/A']_\ast &\overset{}{\longrightarrow}& [X,\Sigma A']_\ast &\longrightarrow& [X,\Sigma B']_\ast } \,,$

where we extended one step to the right using axiom T2 (def. ).

By prop. here the top and bottom are exact sequences.

So assume the case that $a$ and $b$ are isomorphisms, hence that $a_\ast$, $b_\ast$, $(\Sigma a)_\ast$ and $(\Sigma b)_\ast$ are isomorphisms. Then by exactness of the horizontal sequences, the five lemma implies that $c_\ast$ is an isomorphism. Since this holds naturally for all $X$, the Yoneda lemma (fully faithfulness of the Yoneda embedding) then implies that $c$ is an isomorphism.

If instead $b$ and $c$ are isomorphisms, apply this same argument to the triple $(b,c,\Sigma a)$ to conclude that $\Sigma a$ is an isomorphism. Since $\Sigma$ is an equivalence of categories, this implies then that $a$ is an isomorphism.

Analogously for the third case.

###### Lemma

If $(g,h,-\Sigma f)$ is a distinguished triangle in a triangulated category (def. ), then so is $(f,g,h)$.

###### Proof

By T0 there is some distinguished triangle of the form $(f,g',h')$. By T2 this gives a distinguished triangle $(-\Sigma f, -\Sigma g', -\Sigma h')$. By T3 there is a morphism $c'$ giving a commuting diagram

$\array{ \Sigma A &\overset{-\Sigma f}{\longrightarrow}& \Sigma B &\overset{-\Sigma g}{\longrightarrow}& \Sigma C &\overset{-\Sigma h}{\longrightarrow}& \Sigma^2 A \\ {}^{\mathllap{=}}\downarrow && {}^{\mathllap{=}}\downarrow && {}^{\mathllap{c'}}\downarrow && {}^{\mathllap{=}}\downarrow \\ \Sigma A &\overset{-\Sigma f}{\longrightarrow}& \Sigma B &\overset{-\Sigma g'}{\longrightarrow}& \Sigma C &\overset{-\Sigma h'}{\longrightarrow}& \Sigma^2 A } \,.$

Now lemma gives that $c'$ is an isomorphism. Since $\Sigma$ is an equivalence of categories, there is an isomorphism $c$ such that $c' = \Sigma c$. Since $\Sigma$ is in particular a faithful functor, this $c$ exhibits an isomorphism between $(f,g,h)$ and $(f,g',h')$. Since the latter is distinguished, so is the former, by T0.

In conclusion:

###### Proposition

Let

$X \overset{f}{\longrightarrow} Y \overset{g}{\longrightarrow} Z$

be a homotopy cofiber sequence (def.) of spectra in the stable homotopy category (def. ) $Ho(Spectra)$. Let $A \in Ho(Spectra)$ be any other spectrum. Then the abelian hom-groups of the stable homotopy category (def. , lemma ) sit in long exact sequences of the form

$\cdots \longrightarrow [A, \Omega Y] \overset{-(\Omega g)_\ast}{\longrightarrow} [A, \Omega Z] \overset{}{\longrightarrow} [A,X] \overset{f_\ast}{\longrightarrow} [A,Y] \overset{g_\ast}{\longrightarrow} [A,Z] \overset{}{\longrightarrow} [A,\Sigma X] \overset{-(\Sigma f)_\ast}{\longrightarrow} [A, \Sigma Y] \longrightarrow \cdots \,.$
###### Proof

By prop. the above abstract reasoning in triangulated categories applies. By prop. we have long exact sequences to the right as shown. By lemma these also extend to the left as shown.

This suggests that homotopy cofiber sequences coincide with homotopy fiber sequence in the stable homotopy category. This is indeed the case:

###### Proposition

In the stable homotopy category, a sequence of morphisms is a homotopy cofiber sequence precisely if it is a