model category, model -category
Definitions
Morphisms
Universal constructions
Refinements
Producing new model structures
Presentation of -categories
Model structures
for -groupoids
on chain complexes/model structure on cosimplicial abelian groups
related by the Dold-Kan correspondence
for equivariant -groupoids
for rational -groupoids
for rational equivariant -groupoids
for -groupoids
for -groups
for -algebras
general -algebras
specific -algebras
for stable/spectrum objects
for -categories
for stable -categories
for -operads
for -categories
for -sheaves / -stacks
The standard model category structure on the category of sequential spectra in (pointed) topological spaces is a standard model structure on sequential spectra. An immediate variant works for sequential spectra in simplicial set, see at Bousfield-Friedlander model structure.
As such, the model structure on topological sequential spectra presents the stable (infinity,1)-category of spectra of stable homotopy theory, hence, in particular, its homotopy category is the classical stable homotopy category.
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.
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 , the category of compactly generated topological space (defn.).
A sequential prespectrum in topological spaces, or just sequential spectrum for short (or even just spectrum), is
an -graded pointed compactly generated topological space
(the component spaces);
pointed continuous functions
for all (the structure maps) from the smash product (defn.) of one component space with the standard 1-sphere to the next component space.
A homomorphism of sequential spectra is a sequence of base point-preserving continuous functions between component spaces, such that these respect the structure maps in that all diagrams of the form
Write for this category of topological sequential spectra.
Due to the classical adjunction
from classical homotopy theory (this prop.), the definition of sequential spectra in def. is equivalent to the following definition
A sequential prespectrum in topological spaces, or just sequential spectrum for short (or even just spectrum), is
an -graded pointed compactly generated topological space
(the component spaces);
pointed continuous functions
for all (the adjunct structure maps) from one component space to the pointed mapping space (def., exmpl.) out of into the next component space.
A homomorphism of sequential spectra is a sequence of base point-preserving continuous function, such that all diagrams of the form
For a pointed topological space, its suspension spectrum is the sequential spectrum , def. , with
(smash product of with the n-sphere);
(the canonical homeomorphism).
This construction extends to a functor
The suspension spectrum (example ) of the point is the standard sequential sphere spectrum
Its th component space is the standard n-sphere
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 -spectrum”; which we introduce below in def. ; and then there is an adjunction (prop. ) that canonically turns this into an ordinary sequential spectrum.
Let be a sequential spectrum (def. ) and a pointed compactly generated topological space. Then
(the smash tensoring of with ) is the sequential spectrum given by
(smash product on component spaces (defn.))
.
(the powering of into ) is the sequential spectrum with
(compactly generated pointed mapping space (def., def.))
,
where .
These operations canonically extend to functors
and
The tensoring (def. ) of the standard sphere spectrum (def. ) with a space is isomorphic to the suspension spectrum of (def. ):
For any the functors of smash tensoring and powering with , from def. , constitute a pair of adjoint functors
For and , let
be a morphism, with component maps fitting into commuting squares of the form
Applying degreewise the adjunction
from classical homotopy theory (this prop.) gives that these squares are in natural bijection with squares of the form
But since the map is the smash product of two maps, only one of which involves the smash factor of , one sees that here the top map factors through the map from def. .
Hence the commuting square above factors as
This gives the structure maps for a homomorphism
Running this argument backwards shows that the map given thereby is a bijection.
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.
The functor that forms suspension spectra (def. ) has a right adjoint functor
given by picking the 0-component space:
By def. the components of a homomorphism of sequential spectra of the form
have to make these diagrams commute
for all . Since here the left vertical map is an isomorphism by def. , this uniquely fixes in terms of . Hence the only freedom in specifying is in the choice of the component , which is equivalently a morphism
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:
The stable homotopy groups of a sequential prespectrum , def. , is the -graded abelian group given by the colimit of homotopy groups of the component spaces (def.)
where the colimit is over the sequential diagram whose component morphisms are given in terms of the structure maps of def. by
and equivalently are given in terms of the adjunct structure maps of def. by
The colimit starts at
This canonically extends to a functor
Consider the following instance of the defining naturality square of the -adjunction of prop. :
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.
Given , then the stable homotopy groups (def. ) of its suspension spectrum (example ) are given by
Specifically for the 0-sphere, with suspension spectrum the standard sphere spectrum (def. ), its stable homotopy groups are the stable homotopy groups of spheres:
Recall the Freudenthal suspension theorem, which states that if is an n-connected pointed CW-complex then the comparison map
is an isomorphism for . This implies first of all that every is -connected
and then that the th stable homotopy group of is attained at stage in the colimit:
Historically, this fact was one of the motivations for finding a stable homotopy category (def. below).
A morphism 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
In order to motivate Omega-spectra consider the following shadow of the structure they will carry:
A -graded abelian group is equivalently a sequence of -graded abelian groups , together with isomorphisms
(where denotes the operation of shifting all entries in a graded abelian group down in degree by -1). Because this means that the sequence of -graded abelian groups is of the following form
This allows to recover the -graded abelian group from an -sequence of -graded abelian groups.
Then consider the case that the -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 then
(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 .)
We find this kind of behaviour for the stable homotopy groups of Omega-spectra below in example .
An Omega-spectrum is a sequential spectrum of topological spaces, def. , such that the (smash product pointed mapping space)-adjuncts of the structure maps of are weak homotopy equivalences (def.), hence classical weak equivalences (def.):
for all .
Equivalently: an Omega-spectrum is a sequential spectrum in the incarnation of def. such that all adjunct structure maps are weak homotopy equivalences.
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 , this yields the Eilenberg-MacLane spectra (exmpl.). These are the Omega-spectra whose th component space is an Eilenberg-MacLane space
A genuinely generalized (i.e. non-ordinary, hence “extra-ordinary”) cohomology theory is topological K-theory . 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.
If a sequential spectrum is an Omega-spectrum, def. , then its colimiting stable homotopy groups reduce to the actual homotopy groups of the component spaces, in that:
(Hence the stable homotopy groups of an Omega-spectrum realize the general pattern discussed in example .)
For an Omega-spectrum, the adjunct structure maps are weak homotopy equivalences, by definition, hence are classical weak equivalences. Hence 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:
For , define a spectrum and a morphism
(to be called the spectrification of ) as follows.
First introduce for the given components and adjunct structure maps of (from def. ) the notation
Now assume, by induction, that sets of objects and maps have been constructed for some .
Then construct by factorizing , with respect to the model structure (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 (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):
Then define as the composite
This produces for each a commuting diagram of the form
That this indeed commutes is the identity
Now let be the spectrum with component spaces the colimit
and with adjunct structure maps (via def. ) given by the map induced under colimits by the above diagrams
Notice that this is indeed well-defined: since each component map is a relative cell complex and since the 1-sphere is compact, it follows (lemma) that
Finally, let
be degreewise the inclusion of the first component () into the colimit. By construction, this is a homomorphism of sequential spectra (according to def. ).
Let be a sequential prespectrum with from def. . Then:
is an Omega-spectrum (def. );
is a stable weak homotopy equivalence (def. ):
is a level weak equivalence (is in , def. ) precisely if is an Omega-spectrum;
a morphism is a stable weak homotopy equivalence (def. ), precisely if is a level weak equivalence (is in , def. ).
(Schwede 97, lemma 2.1.3 and remark before section 2.2)
Since the colimit defining is a transfinite composition of relative cell complexes, each component map is itself a relative cell complex. Since n-spheres are compact topological spaces, it follows (lemma) that each element of a homotopy group in is in the image of a finite stage for some . From this, all statements follow by inspection at finite stages.
Regarding first statement:
Since each by construction is a weak homotopy equivalence followed by an inclusion of stages in the colimit, as any element of is sent along it passes through one such at some stage , 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 is given in degree by
and similarly in degree . Now using the compactness of the spheres and the definition of we compute on the right:
where the last isomorphism is applied to the composite of the weak homotopy equivalences
Regarding the third statement:
In one direction:
If is an Omega-spectrum in that all its adjunct structure maps are weak homotopy equivalences, then by two-out-of-three also the maps in def. are weak homotopy equivalences. Hence 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 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 is a weak homotopy equivalence by the first point above
implies that also , hence that is an Omega-spectrum.
The fourth statement follows with similar reasoning.
In the case that 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
See for instance (Lewis-May-Steinberger 86, p. 3) and (Weibel 94, 10.9.6 and topology exercise 10.9.2).
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.).
Write
for the non-full topologically enriched subcategory (def.) of that of pointed compactly generated topological spaces (def.) where:
objects are the standard n-spheres , for , identified as the smash product powers of the standard circle;
hom-spaces are
composition is induced from composition in by regarding the hom-space above as its image in under the adjunct
of the canonical isomorphism
This induces the category
of topologically enriched functors on with values in (exmpl.).
There is an equivalence of categories
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 to the sequential prespectrum with components
and with structure maps
being the adjunct of the component map of on spheres of consecutive dimension.
First observe that from its components on consecutive spheres the functor is already uniquely determined. Indeed, by definition the hom-space between non-consecutive spheres is the smash product of the hom-spaces between the consecutive spheres, for instance:
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 between two functors on is equivalently a collection of component maps , such that for each then the following squares commute
By the smash/hom adjunction, the square equivalently factors as
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 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.
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. .
The category of sequential spectra (def. ) has all limits and colimits, and they are computed objectwise:
Given
a diagram of sequential spectra, then:
its colimiting spectrum has component spaces the colimit of the component spaces formed in (via this prop. and this corollary):
its limiting spectrum has component spaces the limit of the component spaces formed in (via this prop. and this corollary):
moreover:
the colimiting spectrum has structure maps in the sense of def. given by
where the first isomorphism exhibits that preserves all colimits, since it is a left adjoint by prop. ;
the limiting spectrum has adjunct structure maps in the sense of def. given by
where the last isomorphism exhibits that preserves all limits, since it is a right adjoint by prop. .
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.
The initial object and the terminal object in agree and are both given by the spectrum constant on the point, which is also the suspension spectrum (def. ) of the point). We will denote this spectrum or (since it is hence a zero object ):
The coproduct of spectra , called the wedge sum of spectra
is componentwise the wedge sum of pointed topological spaces (exmpl.)
with structure maps
For a sequential spectrum, def. , its standard cylinder spectrum is its smash tensoring , 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 :
By the functoriality of the smash tensoring, the factoring
of the codiagonal on the 0-sphere through the standard interval with a base point adjoined, gives a factoring of the codiagonal of through its standard cylinder spectrum
(where we are using that wedge sum is the coproduct in pointed topological spaces (exmpl.).)
We discuss models for the operation of reduced suspension and forming loop space objects of sequential spectra.
For a sequential spectrum, then
the standard suspension of is the smash product-tensoring according to def. ;
the standard looping of is the smash powering according to def. .
For , the standard suspension of def. is equivalently the cofiber (formed via prop. ) of the canonical inclusion of boundaries into the standard cylinder spectrum of example :
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 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 , but (this is lemma below) they will become isomorphic in the stable homotopy category (def. ).
For a sequential spectrum (def. ) and , the -fold shifted spectrum of is the sequential spectrum denoted given by
;
.
For a sequential spectrum, def. , then
the alternative suspension of is the sequential spectrum with
(smash product on the left (defn.))
.
the alternative looping of is the sequential spectrum with
;
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).
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 (or alternatively the other way around) would have to make the following diagrams commute:
and naturally so in .
The only evident option is to have be the braiding homomorphisms of the smash product
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 and . Then the diagram we are dealing with looks like this:
If we had on the left and 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
However, this map is non-trivial. It represents in . 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 , then the braiding required to make the two models of suspension comparable would be
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.
The looping and suspension operations in def. and def. commute with shifting, def. . Therefore in expressions like etc. we may omit the parenthesis.
The constructions from def. , def. and def. form pairs of adjoint functors like so:
;
;
.
Regarding the first statement:
A morphism of the form has components of the form
and the compatibility condition with the structure maps in lowest degree is automatically satisfied
Therefore this is equivalent to components
hence to a morphism .
The second statement is a special case of prop. .
Regarding the third statement:
This follows by applying the (smash productpointed mapping space)-adjunction isomorphism twice, like so:
Morphisms in the sense of def. are in components given by commuting diagrams of this form:
Applying the adjunction isomorphism diagonally gives a natural bijection to diagrams of this form:
(To see this in full detail, for instance for the adjunct of the left and bottom morphism: chase the identity in both ways
through the adjunction naturality square. The other cases follow analogously.)
Then applying the adjunction isomorphism diagonally once more gives a further bijection to commuting diagrams of this form:
This, finally, equivalently exhibits homomorphisms of the form
The following diagram of adjoint pairs of functors commutes:
Here the top horizontal adjunction is from prop. , the vertical adjunction is from prop. and the bottom adjunction is from prop. .
It is sufficient to check
From this the statement
follows by uniqueness of adjoints.
So let . Then
,
,
while
,
,
where we write “id” for the canonical isomorphism. Clearly there is a natural isomorphism given by the canonical identifications
(As long as we are not smash-permuting the factor with the 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 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.
Say that a homomorphism in the category , def. is
a strict weak equivalence if each component is a weak equivalence in the classical model structure on topological spaces (hence a weak homotopy equivalence);
a strict fibration if each component is a fibration in the classical model structure on topological spaces (hence a Serre fibration);
a strict cofibration if the maps as well as for all the maps
are cofibrations in the classical model structure on topological spaces (hence retracts of relative cell complexes);
We write , and for these classes of morphisms, respectively.
Recall the sets
of standard generating (acyclic) cofibrations (def.) of the classical model structure on pointed topological spaces (thm.).
Write
and
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.).
The classes of morphisms in def. give the structure of a model category (def.) to be denoted 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 (resp. ) from def. .
Prop. says that the category of sequential spectra is equivalently an enriched functor category
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
By definition, this is equivalently an -collection of commuting diagrams in of the form
such that all structure maps are respected.
Hence a lifting in the original diagram is a lifting in each degree , such that the lifting in degree makes these diagrams of structure maps commute.
Since components are parameterized over , 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 to be a strict cofibration, then is to be a classical cofibration.
Then assume that a lifting in degree has been found
Now the lifting in the next degree has to also make the following diagram commute
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 (def.), while the compatible lift is equivalently a lift against this pushout product:
This shows that is a strict cofibration precisely if, in addition to being a classical cofibration, all these pushout products are classical cofibrations.
The -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 :
It is clear that 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 preserves cofibrations and acyclic cofibrations:
Let be a morphism in and
its image.
Since the structure maps in a suspension spectrum, example , are all isomorphisms, we have for all an isomorphism
Therefore is a strict cofibration, according to def. , precisely if is a classical cofibration and all the structure maps of are classical cofibrations. But the latter are even isomorphisms, so that this is no extra condition (prop.). Hence sends classical cofibrations of spaces to strict cofibrations of sequential spectra.
Furthermore, since is a left Quillen functor for all by prop. it sends classical acyclic cofibrations to classical acyclic cofibrations. Hence , which is degreewise given by , 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 is a left Quillen functor.
The -adjunction from prop. is a Quillen adjunction (def.) with respect to the strict model structure on sequential spectra of theorem .
Since the (acyclic) fibrations of are by definition those morphisms that are degreewise (acylic) fibrations in , the statement follows immediately from the fact that the right adjoint is degreewise given by , which is a right Quillen functor by prop. .
In summary, prop. , prop. and prop. say that
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 :
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.
A sequential spectrum (def. ) is called a cell spectrum if
all component spaces are cell complexes (def.);
all structure maps are relative cell complex inclusions.
A CW-spectrum is a cell spectrum such that all component spaces are CW-complexes (def.).
The suspension spectrum (example ) for a CW-complex is a CW-spectrum (def. ).
Since, by definition , a -cell of a cell spectrum that appears at stage shows up as its -fold suspension at stage , its attachment to some spectrum is reflected by a pushout of spectra of the form
where the left vertical morphism is the image under the th shift spectrum functor (def. ) of the image under the suspension spectrum functor (example ) of the basic cell inclusion 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 (not (!)). 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 (def. ), in that in the stable homotopy category (def. ) the above situation is reflected as a homotopy cofiber sequence of the form
Let be an regular cardinal and let be a -cell spectrum, hence a cell spectrum (def. ) obtained from at most stable cell attachments as in remark . Then is -small (def.) with respect to morphisms of spectra that are degreewise relative cell complex inclusions.
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 -filtered colimits of sets commute with -small limtis of sets (prop.). By assumption is a -small transfinite composition of pushouts of -small coproducts, all three of which are -small colimits; and let be the codomain of a -small relative cell complex inclusion, hence itself a -small colimit.
Now if is a -small colimit of -small objects , and is a -small colimit, then
Hence the claim follows.
The class of CW-spectra is closed under various operations, including
finite wedge sum (def. )
…
A sequential spectrum is cofibrant in the strict model structure of theorem precisely if
is cofibrant;
each structure map is a cofibration
in the classical model structure on pointed compactly generated topological spaces (thm., prop.).
In particular cell spectra and specifically CW-spectra (def. ) are cofibrant.
The initial object in is the spectrum that is constant on the point (example ). A morphism is a cofibration according to def. if
the morphism is a classical cofibration, hence if the object is a classical cofibrant object, hence a retract of a cell complex;
the morphisms
are classical cofibrations. But since is an isomorphism in this case the pushout reduces to just its second summand, and so this is now equivalent to
being classical cofibrations; hence retracts of relative cell complexes.
For a CW-spectrum, def. , then its standard cylinder spectrum of def. satisfies the conditions on an abstract cylinder object (def.) in that the inclusion
(of the wedge sum of with itself, example ) is a cofibration in .
According to def. we need to check that for all the morphism
is a retract of a relative cell complex. After distributing indices and smash products over wedge sums, this is equivalently
Now by the assumption that is a CW-spectrum, each is a CW-complex, and this implies that is a relative cell complex in . 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 between topological spaces is called an n-connected map if the induced morphism on homotopy groups is
an isomorphism in degree ;
an epimorphism in degree .
(Hence an weak homotopy equivalence is an “-connected map”.)
Let be a continuous function between topological spaces. Then there exists for each a relative CW-complex together with an extension , i.e.
such that is n-connected.
Moreover:
if itself is k-connected, then the relative CW-complex may be chosen to have cells only of dimension .
if is already a CW-complex, then may be chosen to be a subcomplex inclusion.
For every continuous function out of a CW-complex , there exists a relative CW-complex that factors followed by a weak homotopy equivalence
Apply lemma iteratively for to produce a sequence with cocone of the form
where each is a relative CW-complex adding cells exactly of dimension , and where in n-connected.
Let then be the colimit over the sequence (its transfinite composition) and the induced component map. By definition of relative CW-complexes, this is itself a relative CW-complex.
By the universal property of the colimit this factors as
Finally to see that is a weak homotopy equivalence: since n-spheres are compact topological spaces, then every map factors through a finite stage as (by this lemma). By possibly including further into higher stages, we may choose . But then the above says that further mapping along is the same as mapping along , which is -connected and hence an isomorphism on the homotopy class of .
For any topological sequential spectrum (def.), then there exists a CW-spectrum (def. ) and a homomorphism
which is degreewise a weak homotopy equivalence, hence a weak equivalence in the strict model structure of theorem .
First let be a CW-approximation of the component space in degree 0, via prop. . Then proceed by induction: suppose that for a CW-approximation has been found such that all the structure maps in degrees are respected. Consider then the composite continuous function
Applying prop. to this function factors it as
Hence we have obtained the next stage of the CW-approximation. The respect for the structure maps is just this factorization property:
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.
For two sequential spectra (def. ) let
be the pointed topological space whose underlying set is the hom-set of homomorphisms from to , and which is equipped with the final topology (def.) generated by those functions
out of compact Hausdorff spaces , for which there exists a homomorphism of spectra
out of the smash tensoring of with (def. ) such that for all , ,
By construction this makes indeed into a compactly generated topological space, and it gives a natural bijection
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:
We also saw that, by Joyal-Tierney calculus (prop.), this is equivalent to the pullback powering satisfying the dual relations
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:
Let be a morphism in (def. ) and let a morphism in .
Their pushout product with respect to smash tensoring is the universal morphism
in
where denotes the smash tensoring from def. .
Dually, their pullback powering is the universal morphism
in
where denotes the smash powering from def. .
Similarly, for and both morphisms of sequential spectra, then their pullback powering is the universal morphism
in
where now is the hom-space functor from def. .
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:
Dually, the pullback powering satisfies
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 are degree-wise those in . From this the statement about the pushout product follows dually by Joyal-Tierney calculus (prop.).
In the language of model category-theory, prop. says that is an enriched model category, the enrichment being over . This is often referred to simply as a “topological model category”.
For a sequential spectrum, any morphism of sequential spectra, and for 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
For two sequential spectra with a CW-spectrum (def. ), then there is a natural bijection
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 .
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. :
By prop. , for a CW-spectrum then the standard cylinder spectrum is a good cyclinder object (def.) on a cofibrant object.
Since moreover every object in is fibrant, the statement follows (with this lemma).
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 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.
In plain category theory, a localization of a category is equivalently a full subcategory
such that the inclusion functor has a left adjoint
The adjunction unit “reflects” every object of into one in the , and therefore this is also called a reflective subcategory inclusion.
It is a classical fact (Gabriel-Zisman 67, prop.) that in this situation
is equivalently the localization (def.) of at the “-equivalences”, namely at those morphisms such that 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.
A left Bousfield localization of a model category (def.) is another model category structure on the same underlying category with the same cofibrations,
but more weak equivalences
Notice that:
Given a left Bousfield localization of as in def. , then
;
;
the identity functors constitute a Quillen adjunction
the induced adjunction of derived functors (prop.) exhibits a reflective subcategory inclusion of homotopy categories (def.)
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
and
Regarding the third point:
By construction, preserves cofibrations and acyclic cofibrations, hence is a left Quillen functor.
Regarding the fourth point:
Since the notion of left homotopy in is the same as that in , 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 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 , by the general properties of Quillen adjunctions (prop).
In plain category theory, given a reflective subcategory
then the composite
is an idempotent monad on , hence, in particular, an endofunctor equipped with a natural transformation (the adjunction unit) – which “reflects” every object into one in the image of – such that this reflection is a projection in that each is an isomorphism. This characterizes the reflective subcategory as the subcategory of those objects for which 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.
Let 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 is
such that
(homotopical functor) preserves weak equivalences;
(idempotency) for all the morphisms
and
are weak equivalences;
(right-properness of the localization) if in a pullback square in
we have that
is a fibration;
, , and are weak equivalences
then is a weak equivalence.
For a Quillen idempotent monad according to def. , say that a morphism in is
a -weak equivalence if is a weak equivalence;
a -cofibation if it is a cofibration.
a -fibration if it has the right lifting property against the morphisms that are both (-)cofibrations as well as -weak equivalences.
Write
for equipped with these classes of morphisms.
Since 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 , according to def. .
We establish a couple of lemmas that will prove that the model structure indeed exists (prop. below).
In the situation of def. , a morphism is an acyclic fibration in precisely if it is an acyclic fibration in .
Let be a fibration and a weak equivalence. Since preserves weak equivalences by condition 1 in def. , is also a -weak equivalence. Since -cofibrations are cofibrations, the acyclic fibration has right lifting against -cofibrations, hence in particular against against -acyclic -cofibrations, hence is a -fibration.
In the other direction, let be a -acyclic -fibration. Consider its factorization into a cofibration followed by an acyclic fibration
Observe that -equivalences satisfy two-out-of-three (def.), by functoriality and since the plain equivalences do. Now the assumption that preserves weak equivalences together with two-out-of-three implies that is a -weak equivalence, hence a -acyclic -cofibration. This implies that has the right lifting property against (since is assumed to be a -fibration, which is defined by this lifting property). Hence the retract argument (prop.) implies that is a retract of the acyclic fibration , and so is itself an acyclic fibration.
In the situation of def. , if a morphism is a fibration, and if are weak equivalences, then is a -fibration.
(e.g. Goerss-Jardine 96, chapter X, lemma 4.4)
We need to show under the given assumptions that for every commuting square of the form
there exists a lifting.
To that end, first consider a factorization of the image under of this square as follows:
(This exists even without assuming functorial factorization: factor the bottom morphism, form the pullback of the resulting , observe that this is still a fibration, and then factor (through ) the universal morpism from the outer square into this pullback.)
Now consider the pullback of the right square above along the naturality square of , take this to be the right square in the following diagram
where the left square is the universal morphism into the pullback which is induced from the naturality squares of on and .
We claim that here is a weak equivalence. This implies that we find the desired lift by factoring into an acyclic cofibration followed by an acyclic fibration and then lifting consecutively as follows
To see that indeed is a weak equivalence:
Consider the diagram
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 and of the morphisms and , respectively, where the latter are weak equivalences by assumption. Moreover is a weak equivalence, since is a -weak equivalence.
Hence now it follows by two-out-of-three (def.) that and then are weak equivalences.
(Bousfield-Friedlander theorem)
Let be a right proper model category. Let be a Quillen idempotent monad on , according to def. .
Then the Bousfield localization model category (def. ) at the -weak equivalences (def. ) exists, in that the model structure on with the classes of morphisms in def. exists.
(Bousfield-Friedlander 78, theorem 8.7, Bousfield 01, theorem 9.3, Goerss-Jardine 96, chapter X, lemma 4.5, lemma 4.6, theorem 4.1)
The existence of limits and colimits is guaranteed since is already assumed to be a model category. The two-out-of-three poperty for -weak equivalences is an immediate consequence of two-out-of-three for the original weak equivalences of . Moreover, according to lemma the pair of classes equals the pair , and this is a weak factorization system by the model structure .
Hence it remains to show that is a weak factorization system. The condition holds by definition of . Once we show that every morphism factors as followed by , then the condition follows from the retract argument (lemma) and the fact that the classes and are closed under retracts, because and are (by this prop. and this prop., respectively).
So we may conclude by showing the existence of factorizations:
First we consider the case of morphisms of the form . These may be factored with respect to as
Here is already a -acyclic -cofibration, since preserves weak equivalences by the first clause in def. . Now apply to obtain
where and are weak equivalences by idempotency (the second clause in def. ), and is a weak equivalence since preserves weak equivalences. Hence by two-out-of-three also is a weak equivalence. Therefore lemma gives that is a -fibration, and hence the above factorization is already as desired
Now for an arbitrary morphism , form a factorization of as above and then decompose the naturality square for on into the pullback of the resulting -fibration along :
This exhibits as the pullback of a -weak equivalence along a fibration between objects on which is a weak equivalence. Then the third clause in def. says that is itself as a -weak equivalence. This way, two-out-of-three implies that is a -weak equivalence.
Observe that is a -fibration, because it is the pullback of a -fibration and because -fibrations are defined by a right lifting property (def. ) and hence closed under pullback (prop.) Finally, apply factorization in to to obtain the desired factorization
While this establishes the -model structure, so far this leaves open a more explicit description of the -fibrations. This is provided by the next statement.
For a Quillen idempotent monad according to def. , then a morphism in is a -fibration (def. ) precisely if
is a fibration;
the -naturality square on
exhibits a homotopy pullback in (def.), in that for any factorization of through a weak equivalence followed by a fibration , then the universally induced morphism
is weak equivalence (in ).
(e.g. Goerss-Jardine 96, chapter X, theorem 4.8)
First consider the case that is a fibration and that the square is a homotopy pullback. We need to show that then is a -fibration.
Factor as
By the proof of prop. , the morphism is also a -fibration. Hence by the existence of the -local model structure, also due to prop. , its pullback is also a -fibration
Here is a weak equivalence by assumption that the diagram exhibits a homotopy pullback. Hence it factors as
This yields the situation
As in the retract argument (prop.) this diagram exhibits as a retract (in the arrow category, rmk.) of the -fibration . Hence by the existence of the -model structure (prop. ) and by the closure properties for fibrations (prop.), also is a -fibration.
Now for the converse. Assume that is a -fibration. Since is a left Bousfield localization of (prop. ), is also a fibration (prop. ). We need to show that the -naturality square on exhibits a homotopy pullback.
So factor as before, and consider the pasting composite of the factorization of the given square with the naturality squares of :
Here the top and bottom horizontal morphisms are weak (-)equivalences by the idempotency of , and is a weak equivalence since preserves weak equivalences (first and second clause in def. ). Hence by two-out-of-three also is a weak equivalence. From this, lemma gives that is a -fibration. Then is a -weak equivalence since it is the pullback of a -weak equivalence along a fibration between objects whose is a weak equivalence, via the third clause in def. . Finally two-out-of-three implies that is a -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 , that total bottom rectangle is the same as the following rectangle
where now since , 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 -naturality square of is a homotopy pullback. We still need to show that also the -naturality square of is a homotopy pullback.
Factor as a cofibration followed by an acyclic fibration. Since is also a -weak equivalence, by the above, two-out-of-three for -fibrations gives that this factorization is of the form
As in the first part of the proof, but now with replaced by and using lifting in the -model structure, this yields the situation
As in the retract argument (prop.) this diagram exhibits as a retract (in the arrow category, rmk.) of .
Observe that the -naturality square of the weak equivalence is a homotopy pullback, since 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 -naturality square of is a homotopy pullback, by the pasting law for homotopy pullbacks (prop.).
In conclusion, we have exhibited as a retract (in the arrow category, rmk.) of a morphism whose -naturality square is a homotopy pullback. By naturality of , this means that the whole -naturality square of is a retract (in the category of commuting squares in ) of a homotopy pullback square. This means that it is itself a homotopy pullback square (prop.).
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.
The Omega-spectrification from def. preserves homotopy pullbacks (def.) in the strict model structure from theorem .
Since, by prop. , preserves weak equivalences, it is sufficient to show that every pullback square in of a fibration
is taken by to a homotopy pullback square. By prop. we need to check that this is the case for the th component space of the sequential spectra in the diagram, for all .
Let , etc. denote the objects appearing in the definition of , , etc. (def. ).
Use the small object argument (prop.) for the set of acyclic generating cofibrations in (def.) to construct a functorial factorization (def.) through acyclic relative cell complex inclusions (def.) followed by Serre fibrations (def.) in each degree:
Notice that by construction and are sequences of relative cell complexes. This implies, by the way the small object argument works and by the commutativity of each
that also is a sequence of relative cell complex inclusions: a cell in is given by the top square in the following diagram, and the total rectangle is the image of that cell as a cell in :
Therefore, forming the colimit over 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 , 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
for each .
Consider then the commuting diagrams
where the vertical morphisms are composites of the weak equivalences from def. .
The diagonal is a chosen lift (where we use that 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.)
By universality of the pullback there is a commuting triangle
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 -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
This exhibits (degreewise and hence globally) the homotopy pullback property to be show.
The Omega-spectrification from def. is a Quillen idempotent monad in the sense of def. on the strict model structre theorem :
First notice that the strict model structure is indeed right proper, as demanded in def. : Since every object in is fibrant (this being so degreewise in ) 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 -equivalence along a fibration is a homotopy pullback and is hence sent by to another homotopy pullback square.
By definition of -equivalence that resulting homotopy pullback square has the bottom edge a weak equivalence, and hence also the top edge is a weak equivalence (prop.).
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
Moreover, its fibrant objects are precisely the Omega-spectra (def.).
Let be the Omega-spectrification operation from def. . According to prop. this is a Quillen-idempotent monad (def. ) on . Hence the Bousfield-Friedlander theorem (prop. ) asserts that the Bousfield localization of the strict model structure at the -equivalences exists. By prop. these are precisely the stable weak homotopy equivalences.
Finally, by prop. an object is fibrant in precisely if
exhibits a homotopy pullback in . Since every object in is fibrant, the vertical morphisms here are fibrations. The pullback of along is just itself, and the universally induced morphism into this pullback is just itself. Hence the square is a homotopy pullback precisely if is a weak equivalence in , hence degreewise a weak homotopy equivalence. Since is an Omega-spectrum by prop. , this means precisely that is an Omega-spectrum.
We discuss that the stable model structure 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.
A pointed model category (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
Literature (Jardine 15, sections 10.3 and 10.4)
First we observe that the alternative suspension induces an equivalence of homotopy categories:
With and the alternative suspension and alternative looping functors from def. :
preserves Omega-spectra (def. );
preserves stable weak homotopy equivalences (def. ).
Regarding the first statement:
By prop. , acts on component spaces and adjunct structure maps as the right Quillen functor
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 a weak homotopy equivalence, so is .
Regarding the second point:
Let be a stable weak homotopy equivalence. By the existence of the model structure from theorem , is a stable weak homotopy equivalence precisely if its image in the homotopy category is an isomorphism (prop.). By the Yoneda lemma (fully faithfulness of the Yoneda embedding), this is the case if for all the function
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
is a bijection for all Omega-spectra . Now by the Quillen adjunction on the strict model category (prop. ) this is equivalent to
being a bijection for all Omega-spectra . But since 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
being a bijection for all . But this is indeed a bijection, since is a stable weak homotopy equivalence, hence an isomorphism in the homotopy category.
For a sequential spectrum, then (using remark to suppress parenthesis)
the structure maps constitute a homomorphism
(from the shift, def. , of the alternative suspension, def. ) and this is a stable weak homotopy equivalence,
the adjunct structure maps constitute a homomorphism
(to the shift, def. , of the alternative looping, def. )
If 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.
The diagrams that need to commute for the structure maps to give a homomorphism as claimed are in degree 0 this one
and in degree these:
But in all these cases commutativity it trivially satisfied.
That the adjunct structure maps constitute a morphism follows dually.
If 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 is a stable weak homotopy equivalence, because for every Omega-spectrum then by the adjunctions in prop. we have a commuting diagram of the form
(To see the commutativity of this diagram in detail, consider for any chasing the element in the two possible ways through the natural adjunction isomorphism:
Sending down gives which equals (by the homomorphism property) . Instead sending to the right yields and then down yields . By commutativity this is adjunct to .)
Hence
is a bijection for all Omega-spectra , and so the conclusion that is a stable weak homotopy equivalence follows as in the proof of lemma .
The total derived functor of the alternative suspension operation of def. exists and constitutes an equivalence of categories from the stable homotopy category to itself:
The total derived functor of exists, because by lemma preserves stable weak homotopy equivalences. Also the shift functor 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.
The canonical suspension functor on the homotopy category of any model category (from this prop.) in the case of the stable homotopy category (def. ) is represented by the “standard suspension” operation of def. .
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 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 of sequential spectra in def. does not require anything specific of the circle : the same kind of definition may be considered for any other pointed topological space in place of . The construction of the stable model structure in theorem does depend on the nature of , but only in that it uses that the n-spheres
co-represent homotopy groups in the classical pointed homotopy category: ;
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 replaced by , for any contractible compact topological space. Moreover, since only the stable homotopy groups matter for the construction of the stable model category, one could replace by any : While the smash powers co-represent only every 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:
Let be a compact contractible topological space with a basepoint freely adjoined, and let , .
A sequential -spectrum is a sequence of component spaces for , and a sequence of structure maps of the form
A homomorphism of sequential -spectra is a sequence of component maps such that all these diagrams commute:
Write
for the resulting category of sequential -spectra.
For any as in def. , there exists a model category structure
on the category of sequential -spectra, where
the weak equivalences are the morphisms that induce isomorphisms under ;
the fibrations are the morphisms whose -naturality square is a homotopy pullback, where is the -spectrification functor defined as in def. but with replaced by throughout.
For , , there is a pair of adjoint functors
between sequential spectra (def. ) and sequential -spectra (def. )
where and
and where
and
Moreover, for each , the adjunction unit
is a stable weak homotopy equivalence (def. ).
For ease of notation we discuss this for . The general case is directly analogous. To see that we have an adjunction, consider a homomorphism
Given its even-graded component maps, then its odd-graded component maps need to fit into commuting squares of the form
Since here the left map is an identity, this uniquely fixes the odd-graded components in terms of the even-graded components. Moreover, these components then make the following pasting rectangles comute
This equivalently exhibits as a homomorphism of the form
and hence establishes the adjunction isomorphism.
Finally to see that the adjunction unit is a stable weak homotopy equivalence: for then the morphism of stable homotopy groups induced from
is in degree given by
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 is a cofinal functor and hence restriction along it preserves colimits.
For
any morphism, write
for the functor from the category of sequential -spectra (def. ) to that of -spectra which sends any to with
and
For a compact contractible topological space with base point adjoined, and for , write for the canonical inclusion. Then the induced functor from def. is the right adjoint in a Quillen equivalence (def.)
between the stable model structures of sequential -spectra and of sequential -spectra (prop. ), respectively.
Write for the canonical projection.
A morphism
is given by components fitting into commuting squares of the form
Since , every such diagram factors as
Here the bottom square exhibits the components of a morphism
and this correspondence is clearly naturally bijective
This establishes the adjunction . This is a Quillen equivalence because for every then by the contractibility of there is an equivalence
and hence the concept of stable weak homotopy equivalences in both categories agrees. Hence any is a stable weak homotopy equivalence precisely if is.
With this in hand, we now finally state the comparison between standard and alternative suspension:
There is a natural isomorphism in the homotopy category of the stable model structure, between the total derived functors (prop.) of the standard suspension (def. ) and of the alternative suspension (def. ):
Notice that we agreed in Part P to suppress the notation 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
(Jardine 15, corollary 10.42, prop. 10.53)
Consider the adjunction from lemma . We claim that there is a natural isomorphism
in .
This implies the statement, since by lemma the adjunction unit is a stable weak equivalence, so that we get natural isomorphisms
in (where we are using that evidently preserves cofibrant spectra, so that applied to represents the correct derived functor of and hence preserves this isomorphism).
Now to see that the isomorphism exists. Write
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
is the trivial element in the homotopy groups of spheres (and that is the point of passing to -spectra here, because for -spectra the analogous map has non-trivial class, remark ) it follows that there is a left homotopy (def.) of the form
By forming the smash product of the entire diagram with and pasting on the right the naturality square for the braiding with
this yields the diagram
Here the left diagonal composite is the structure map of in degree , while the right vertical morphism is the structure map of in degree . In the middle we have the structure map of an auxiliary -spectrum (def. )
and the horizontal morphisms exhibit the functors of def. from -spectra to -spectra with
By lemma and since is contractible, these functors are equivalences of categories on the , and moreover they have the same inverse, namely for the canonical projection. This implies the isomorphism.
Explicitly, due to the equivalence there exists with and with this we may form the composite isomorphism
We conclude:
The stable model structure 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
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:
The -adjunction from prop. is a Quillen equivalence (def.) with respect to the stable model structure of theorem :
Its derived functors (prop.) exhibit the canonical reduced suspension and looping operation as an adjoint equivalence on the stable homotopy category
By prop. and the fact that the stable model structure has the same cofibrations as the strict model structure, preserves stable cofibrations. Moreover, by lemma preserves in fact all stable weak equivalences. Hence is a left Quillen functor and so 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 -adjunction on the classical homotopy category:
The classical model structure on pointed compactly generated topological spaces (thm., prop.) and the stable model structure on topological sequential spectra (theorem ) sit in a commuting diagram of Quillen adjunctions of the form
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
where the horizontal adjunctions are the canonically induced (via this prop.)suspension/looping functors by prop. and by lemma and theorem .
We show that the stable model structure 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 to the stable model structure on orthogonal spectra (thm.).
Moreover, that is cofibrantly generated means that for any topologically enriched category (def.) then there exists a projective model structure on functors on the category of topologically enriched functors (def.), in direct analogy to the projective model structure (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.
For , and , write for the free spectrum on at , with components
and with structure maps the canonical identifications for
For , write
for the canonical morphisms of free sequential spectra with the following components
The free spectrum (def. ) is the standard sequential sphere spectrum from def.
Generally the free spectrum is the suspension spectrum (def. ) on :
Just as forming suspension spectra is left adjoint to extracting the 0th component space of a sequential spectrum (prop. ), so forming the th free spectrum is left adjoint to extracting the th component space:
For , let
be the functor from sequential spectra (def. ) to pointed topological spaces given by extracting the th component space
Then this functor is right adjoint to forming th free spectra (def. ):
The proof is verbatim as that of prop. , just with zeros inserted at the bottom of the sequences of components maps.
Write
for the set of morphisms appearing already in def. , and write
for the disjoint union of the other set of morphisms appearing in def. with the set of pushout-products under smash tensoring (according to def. ) of the morphisms from def. with the generating cofibrations of the classical model structure on pointed topological spaces (def.).
The stable model structure from theorem is cofibrantly generated (def.) with generating (acyclic) cofibrations the sets (and ) from def. .
This is one of the cofibrantly model categories considered in (Mandell-May-Schwede-Shipley 01) .
It is clear (as in theorem ) that the two classes have small domains (def.). Moreover, since and by definition, the fact that the ccofibrations are the retracts of relative -cell complexes is part of theorem . It only remains to show that the stable acyclic cofibrations are precisely the retracts of relative -cell complexes. This we is the statement of lemma below.
The morphisms of free spectra from def. co-represent the adjunct structure maps of sequential spectra from def. , in that for , then
where on the left we have the hom-spaces of def. , and where the horizontal equivalences are via prop. .
Recall that we are precomposing with
Now for any sequential spectrum, then a morphism is uniquely determined by its th component : the compatibility with the structure maps forces the next component, in particular, to be :
But that st component is just the component that similarly determines the precompositon of with , hence is uniquely determined by the map . Therefore is the function
It remains to see that this is indeed the -adjunct of . By the general formula for adjuncts, this is
To compare to the above, we check what this does on points: is sent to the composite
To identify this as a map , we use the adjunction isomorphism once more to throw all the -s on the right back to -s the left, to finally find that this is indeed
For the elements in this is part of theorem . It only remains to see that the morphisms are stable acyclic cofibrations.
To see that they are stable cofibrations, hence strict cofibrations:
By Joyal-Tierney calculus (prop.) has left lifting against any strict acyclic fibration precisely if has left lifting against the pullback powering (def. ). By prop. the latter is still a strict acyclic fibration. Since is evidently a strict cofibration, the lifting follows and hence also is a strict cofibration, hence a stable cofibration.
To see that they are stable weak equivalences: For each the morphisms are stable acyclic cofibrations, and since stable acyclic cofibrations are preserved under pushout, it follows by two-out-of-three that also is a stable weak equivalence.
The reason for considering the set is to make the following true:
A morphism in is a -injective morphism (def.) precisely if
it is fibration in the strict model structure (hence degreewise a fibration);
for all the commuting squares of structure map compatibilities on the underlying sequential spectra
exhibit homotopy pullbacks (def.) in , in that the comparison map
is a weak homotopy equivalence (notice that is a fibration by the previous item and since is a right Quillen functor by prop. ).
In particular, the -injective objects are precisely the Omega-spectra, def. .
By theorem , lifting against alone characterizes strict fibrations, hence degreewise fibrations. Lifting against the remaining pushout product morphism is, by Joyal-Tierney calculus (prop.), equivalent to left lifting against the pullback powering from def. . Since the are the generating cofibrations in such lifting means that is a weak equivalence in the strict model sructure. But by lemma , is precisely the comparison morphism in question.
A morphism in which is both
a stable weak homotopy equivalence (def. );
a -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;
Let be both a stable weak homotopy equivalence as well as a -injective morphism. Since contains the generating acyclic cofibrations for the strict model structure, is in particular a strict fibration, hence a degreewise fibration.
Consider the fiber of , hence the morphism which is the pullback of along . Notice that since is a strict fibration, this is the homotopy fiber (def.) of in the strict model structure.
We claim that
is an Omega-spectrum;
is a stable weak homotopy equivalence.
The first item follows since , being the pullback of a -injective morphisms, is a -injective object (prop.), so that, by lemma , it is an Omega-spectrum.
For the second item:
Since is degreewise a homotopy fiber sequence, there are degreewise its long exact sequences of homotopy groups (exmpl.)
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
is still a long exact sequence.
Since, by assumption, is an isomorphism, this exactness implies that , and hence that is a stable weak homotopy equivalence. But since, by the first item above, is an Omega-spectrum, it follows (via example ) that is even a degreewise weak homotopy equivalence, hence that for all .
Feeding this back into the above degreewise long exact sequence of homotopy groups now implies that is a weak homotopy equivalence for all and for each homotopy group in positive degree.
To deduce the remaining case that also is an isomorphism, observe that by assumption of -injectivity, lemma gives that is the pullback (in topological spaces) of . But by the above is a weak homotopy equivalence, and since is a right Quillen functor (prop. ) it is also a Serre fibration. Therefore is the pullback of an acyclic Serre fibration and hence itself a weak homotopy equivalence.
The retracts (rmk.) of -relative cell complexes are precisely the stable acyclic cofibrations.
Since all elements of are stable weak equivalences and strict cofibrations by lemma , it follows that every retract of a relative -cell complex has the same property.
In the other direction, let be a stable acyclic cofibration. Apply the small object argument (prop.) to factor it
as a -relative cell complex followed by a -injective morphism . By the previous statement is a stable weak homotopy equivalence, and hence by assumption and by two-out-of-three so is . Therefore lemma implies that is a strict acyclic fibration. But then the assumption that is a strict cofibration means that it has the left lifting property against , and so the retract argument (prop.) implies that is a retract of the relative -cell complex .
This completes the proof of theorem .
Write
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 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.
The stable homotopy category (def. ) has finite coproducts. They are represented by wedge sums (example ) of CW-spectra (def. ).
Having finite coproducts means
having empty coproducts, hence initial objects,
and having binary coproducts.
Regarding the initial object:
The spectrum (suspension spectrum (example ) on the point) is both an initial object and a terminal object in . This implies in particular that it is both fibrant and cofibrant. Finally its standard cylinder spectrum (example ) is trivial . All together with means that for any fibrant-cofibrant spectrum, then
and so 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 of two CW-spectra is still a CW-spectrum, hence still cofibrant.
Let and be fibrant and cofibrant replacement functors, respectively, as in the section_Classical homotopy theory – The homotopy category.
We claim now that is the coproduct of with in . By definition of the homotopy category (def.) this is equivalent to claiming that for any stable fibrant spectrum (hence an Omega-spectrum by theorem ) then there is a natural isomorphism
between left homotopy-classes of morphisms of sequential spectra.
But since is cofibrant and is fibrant, there is a natural isomorphism (prop.)
Now the wedge sum is the coproduct in , 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
(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 are in natural bijection with pairs of left homotopies out of the summands separately, and hence that there is a natural isomorphism
Finally we may apply the inverse of the natural isomorphism used before (prop.) to obtain in total
The composite of all these isomorphisms proves the claim.
Define group structure on the pointed hom-sets of the stable homotopy category (def. )
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 inherit group structure, together with the fact (theorem ) that on the stable homotopy category and are inverse to each other, so that
The group structure on in def. is abelian and composition in is bilinear with respect to this group structure. (Hence this makes an Ab-enriched category.)
Recall (prop, rmk.) that the group structure is given by concatenation of loops
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
That composition of morphisms distributes over the operation in this group is evident for precomposition. Let then clearly
preserves the group structure induced by the group structure on . 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 , so that with then
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 (rmk.) under smash powering (def. ).
To make this fully explicit, consider the following diagram in :
where denotes the sphere of length 2.
Here the leftmost square and the rightmost square are the naturality squares of the equivalence of categories (theorem ).
The second square from the left and the second square from the right exhibit the equivalent expression of as the right derived functor of (either the standard or the alternative, by lemma ) degreewise loop space functor. Here we let 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 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 .
It is conventional (Adams 74, p. 138) to furthermore make the following definition:
For two spectra, define the -graded abelian group
to be in degree the abelian hom group of lemma out of into the -fold suspension of (lemma ):
Defining the composition of with to be the composite
gives the stable homotopy category the structure of an -enriched category.
(generalized cohomology groups)
Let be an Omega-spectrum (def. ) and let be a pointed topological space with its suspension spectrum (example ). Then the graded abelian group (by prop. , def. )
is also called the reduced cohomology of in the generalized (Eilenberg-Steenrod) cohomology theory that is represented by .
Here the equivalences used are
the adjunction isomorphism of from theorem ;
the isomorphism of suspension with the shift spectrum (def. ) on of lemma , together with the nature of from prop. .
The latter expression
(on the right the hom in in the classical homotopy category 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 here is not necessarily given as an Omega-spectrum. In general the hom-groups in the stable homotopy category are given by the naive homotopy classes of maps out of a cofibrant resolution of into a fibrant resolution of (by this lemma). By theorem a fibrant replacement of is given by Omega-spectrification (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
and hence
where the last two hom-sets are again those of the classical homotopy category. Now if happens to be a CW-spectrum, then by remark its Omega-spectrification is given simply by and hence in this case
If 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 -adjunction this is rewritten as
(e.g. Adams 74, prop. 2.8).
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 -cohomology not only for spaces and their suspension spectra, but also for general spectra: for be any spectrum, then
is called the reduced -cohomology of the spectrum .
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:
An additive category is a category which is
(sometimes called a pre-additive category–this means that each hom-set carries the structure of an abelian group and composition is bilinear)
which admits finite coproducts
(and hence, by prop. below, finite products which coincide with the coproducts, hence finite biproducts).
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 a finite set of objects in an Ab-enriched category, then the unique morphism
whose components are identities for and are zero otherwise, is an isomorphism.
Consider first the zero-ary case. Given an initial object and a terminal object , observe that since the hom-sets and 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 and . It follows that the 0-element in is a left and right inverse to the unique element in , and so this is an isomorphism
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 , any binary product also receives “injection” maps , and dually for the coproduct:
Observe some basic compatibility of the -enrichment with the product:
First, for then
(using that the projections and are linear and by the universal property of the porduct).
Second, and are two projections on whose sum is the identity:
(We may check this, via the Yoneda lemma on generalized elements: for any morphism, then and , so the statement follows with equation .)
Now observe that for any two morphisms, the sum
gives a morphism of cocones
Moreover, this is unique: suppose is another morphism filling this diagram, then, by using equation , we get
and hence . This means that satisfies the universal property of a coproduct.
By a dual argument, the binary coproduct is seen to also satisfy the universal property of the binary product. By induction, this implies the statement for all finite (co-)products.
Finite coproducts coinciding with products as in prop. are also called biproducts or direct sums, denoted
The zero object is denoted “0”, of course.
Conversely:
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. .
In a semiadditive category, def. , the hom-sets acquire the structure of commutative monoids by defining the sum of two morphisms to be
With respect to this operation, composition is bilinear.
The associativity and commutativity of follows directly from the corresponding properties of . Bilinearity of composition follows from naturality of the diagonal and codiagonal :
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.
By the proof of prop. , the codiagonal on any object in an additive category is the sum of the two projections:
Therefore (checking on generalized elements, as in the proof of prop. ) for all morphisms we have commuting squares of the form
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:
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).
We have seen above that the stable homotopy category 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 groups | stable homotopy category | |
---|---|---|
direct sums and hom-abelian groups | additive category | additive category |
(homotopy) fibers and cofibers exist | pre-additive category | homotopy category of a model category |
(homotopy) fibers and cofibers are compatible | abelian category | triangulated category |
Literature (Hubery, Schwede 12, II.2)
an additive category (def. );
a functor, called the suspension functor or shift functor
which is required to be an equivalence of categories;
a sub-class of the class of triples of composable morphisms, called the class of distinguished triangles, where each element that starts at ends at ; we write these as
or
(whence the name triangle);
such that the following conditions hold:
T0 For every morphism , there does exist a distinguished triangle of the form
If is a distinguished triangle and there is a commuting diagram in of the form
(with all vertical morphisms being isomorphisms) then is also a distinguished triangle.
T1 For every object then is a distinguished triangle
T2 If is a distinguished triangle, then so is ; hence if
is, then so is
T3 Given a commuting diagram in of the form
where the top and bottom are distinguished triangles, then there exists a morphism such as to make the completed diagram commute
T4 (octahedral axiom) For every pair of composable morphisms and then there is a commutative diagram of the form
such that the two top horizontal sequences and the two middle vertical sequences each are distinguished triangles.
The stable homotopy category from def. , equipped with the canonical suspension functor (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 (prop.) of the stable model category of theorem ) of the canonical long homotopy cofiber sequences (prop.)
(e.g. Schwede 12, chapter II, theorem 2.9)
By prop. the stable homotopy category is additive, by theorem the functor 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 and in the homotopy category by cofibrations in the model category. Then and are represented by their ordinary cofibers (def., prop.).
We may assume without restriction (lemma) that the commuting square
in the homotopy category is the image of a commuting square (not just commuting up to homotopy) in . In this case then the morphism 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 and , hence also , by cofibrations. Then forming the functorial mapping cones as above produces the commuting diagram
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
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
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
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).
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)
Consider the commuting diagram
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
Now the commutativity of the middle square proves the claim.
Let be a triangulated category, def. , with hom-functor denoted by . For any object, and for any distinguished triangle
then the sequences of abelian groups
(long cofiber sequence)
(long fiber sequence)
are long exact sequences.
Regarding the first case:
Since by lemma , we have an inclusion . Hence it is sufficient to show that if is in the kernel of in that , then there is with . To that end, consider the commuting diagram
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 in def. . Hence by condition T3 there exists fitting into a commuting diagram of the form
Here the commutativity of the middle square exhibits the desired conclusion.
This shows that the first sequence in question is exact at . Applying the same reasoning to the distinguished triangle provided by T2 yields exactness at .
Regarding the second case:
Again, from lemma it is immediate that
so that we need to show that for in the kernel of , hence such that , then there exists with .
To that end, consider the commuting diagram
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 such as to extend to a commuting diagram of the form
At this point we appeal to the condition in def. that is an equivalence of categories, so that in particular it is a fully faithful functor. It being a full functor implies that there exists with . It being faithful then implies that the whole commuting square on the right is the image under of a commuting square
This concludes the exactness of the second sequence at . As before, exactness at follows with the same argument applied to the shifted triangle, via T2.
Consider a morphism of distinguished triangles in a triangulated category (def. ):
If two out of are isomorphisms, then so is the third.
Consider the image of the situation under the hom-functor out of any object :
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 and are isomorphisms, hence that , , and are isomorphisms. Then by exactness of the horizontal sequences, the five lemma implies that is an isomorphism. Since this holds naturally for all , the Yoneda lemma (fully faithfulness of the Yoneda embedding) then implies that is an isomorphism.
If instead and are isomorphisms, apply this same argument to the triple to conclude that is an isomorphism. Since is an equivalence of categories, this implies then that is an isomorphism.
Analogously for the third case.
By T0 there is some distinguished triangle of the form . By T2 this gives a distinguished triangle . By T3 there is a morphism giving a commuting diagram
Now lemma gives that is an isomorphism. Since is an equivalence of categories, there is an isomorphism such that . Since is in particular a faithful functor, this exhibits an isomorphism between and . Since the latter is distinguished, so is the former, by T0.
In conclusion:
Let
be a homotopy cofiber sequence (def.) of spectra in the stable homotopy category (def. ) . Let be any other spectrum. Then the abelian hom-groups of the stable homotopy category (def. , lemma ) sit in long exact sequences of the form
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:
In the stable homotopy category, a sequence of morphisms is a homotopy cofiber sequence precisely if it is a homotopy fiber sequence.
Specifically for any morphism in , then there is an isomorphism
between the homotopy fiber and the looping of the homotopy cofiber, which fits into a commuting diagram in the stable homotopy category of the form
where the top row is the homotopy fiber sequence of , while the bottom row is the image under the looping functor of the homotopy cofiber sequence of .
(Lewis-May-Steinberger 86, chapter III, theorem 2.4)
Label the diagram in question as follows
Let be represented by a CW-spectrum (by prop. ), hence in particular by a cofibrant sequential spectrum (by prop. ). By prop. and the factorization lemma (lemma) this implies that the standard mapping cone construction on (def.) is a model for the homotopy cofiber of (exmpl.):
By construction of mapping cones, this sits in the following commuting squares in .
Consider then the commuting diagram
in the stable homotopy category (def. ). Here the bottom commuting squares are the images under localization (thm.) of the above commuting squares in the definition of the mapping cone, and the top row of squares are the morphisms induced via the universal property of fibers by forming homotopy fibers of the bottom vertical morphisms (fibers of fibration replacements, which may be chosen compatibly, either by pullback or by invoking the small object argument).
First of all, this exhibits the composition of the left two horizontal morphisms in the above diagram as the left part (1) of the commuting diagram to be proven.
Now observe that the pasting composite of the two rectangles on the right of the previous diagram is isomorphic, in , to the following pasting composite:
This is because the pasting composite of the bottom squares is isomorphic already in by the above commuting diagrams for the mapping cone and the suspension, and then using again the universal property of homotopy fibers.
Hence the top composite morphisms coincide, by universality of homotopy fibers, with the previous top composite:
This is the commutativity of the right part (2) of the diagram to be proven.
So far we have shown that
commutes in the stable homotopy category. It remains to see that is an isomorphism.
To that end, consider for any the image of this commuting diagram, prolonged to the left and right, under the hom-functor of the stable homotopy category:
Here the top row is long exact, since it is the long homotopy fiber sequence to the left that holds in the homotopy category of any model catgeory (prop.). Moreover, the bottom sequence is long exact by prop. . Hence the five lemma implies that is an isomorphism. Since this is the case for all , the Yoneda lemma (faithfulness of the Yoneda embedding) implies that itself is an isomorphism.
Prop. is the homotopy theoretic analog of the clause that makes a pre-abelian category into an abelian category:
A pre-abelian category is an additive category in which fibers (kernels) and cofibers (cokernels) exist. This is an abelian category if the cofiber of the fiber of any morphism equals coincides with the fiber of the cofiber of that morphism.
Here we see that in stable homotopy theory, whose homotopy category is additive, and in which homotopy fibers and homotopy cofibers exist, the analogous statement is true even in a stronger form: the homotopy cofiber projection of the homotopy fiber inclusion of any morphism coincides with that morphism, and so does the homotopy fiber projection of the homotopy cofiber inclusion.
In particular there are long exact sequences of stable homotopy groups extending in both directions:
Let be any sequential spectrum, then there is an isomorphism
between its stable homotopy group in degree 0 (def. ) and the hom-group (according to def. , prop. ) in the stable homotopy category (def. ) from the sphere spectrum (def. ) into .
Generally, with respect to the graded hom-groups of def. we have
The hom-set in the homotopy category is equivalently given by the left homotopy-equivalence classes out of a cofibrant representative of into a fibrant representative of (lemma).
The standard sphere spectrum is a CW-spectrum and hence cofibrant, by prop. . Moreover, this implies by prop. that left homotopies out of are represented by the standard sequential cylinder spectrum
By theorem , fibrant replacement for is provided by its spectrification according to def. .
So it follows that is given by left homotopy classes of morphisms
in . By the -adjunction (prop. ) these are equivalently morphisms
in . Hence equivalently morphisms
in , hence equivalently points in . Analogously, a left homotopy
in is equivalently a path
in .
In conclusion this establishes an isomorphism
with of the 0-component of . With this the statement follows with example , since is an Omega-spectrum, by prop. .
From this the last statement follows from the identity
As a consequence:
Let
be a homotopy cofiber sequence (def.) in the stable homotopy category (def. ). Then there is induced a long exact sequence of stable homotopy groups (def. ) of the form
As an example, we check explicitly what we already deduced abstractly in prop. , that in the stable homotopy category wedge sum and Cartesian product of spectra agree and constitute a biproduct/direct sum:
For , then the canonical morphism
out of the coproduct (wedge sum, example ) into the product (via prop. ), given by
represents an isomorphism in the stable homotopy category.
By prop. , we may represent both and by CW-spectra (def. ) in . Then the canonical morphism
is a cofibration according to theorem , because .
Hence its ordinary cofiber, which is , is its homotopy cofiber (def.), and so we have a homotopy cofiber sequence
Moreover, under forming stable homotopy groups (def. ), the inclusion map evidently gives an injection, and the projection map gives a surjection. Hence the long exact sequence of stable homotopy groups from prop. gives the short exact sequence
Finally, due to the fact that the inclusion and projection for one of the two summands constitute a retraction, this is a split exact sequence, hence exhibits an isomorphism
for all . But this just says that is a stable weak homotopy equivalence.
Aldridge Bousfield, Eric Friedlander, Homotopy theory of -spaces, spectra, and bisimplicial sets, Springer Lecture Notes in Math., Vol. 658, Springer, Berlin, 1978, pp. 80-130. (pdf, pdf)
Paul Goerss, Rick Jardine, section X.4 of Simplicial homotopy theory, (1996)
Stefan Schwede, Spectra in model categories and applications to the algebraic cotangent complex, Journal of Pure and Applied Algebra 120 (1997) 77-104 (pdf)
Aldridge Bousfield, section 9 of On the telescopic homotopy theory of spaces, Trans. Amer. Math. Soc. 353 (2001), no. 6, 2391–2426 (AMS, jstor)
Michael Mandell, Peter May, Stefan Schwede, Brooke Shipley, Model categories of diagram spectra, Proceedings of the London Mathematical Society, 82 (2001), 441-512 (pdf)
John F. Jardine, sections 10.3 and 10.4 of Local homotopy theory, 2016
Andrew Hubery, Notes on the octahedral axiom, (pdf)
Last revised on September 8, 2020 at 11:01:16. See the history of this page for a list of all contributions to it.