nLab
symmetric smash product of spectra

Context

Stable Homotopy theory

Higher algebra

Contents

Idea

In higher algebra and stable homotopy theory one is interested in monoid objects in the stable (∞,1)-category of spectra – called A A_\infty-rings – and commutative monoid objects – called E E_\infty-rings. These monoid objects satisfy associativity, uniticity and, in the E E_\infty-case, commutativity up to coherent higher homotopies.

For concretely working with these objects, it is often useful to have concrete 1-categorical algebraic models for these intricate higher categorical/homotopical entities. The symmetric monoidal smash product of spectra is a structure that allows to model A-infinity rings as ordinary monoids and E-infinity rings as ordinary commutative monoids in a suitable ordinary category.

Historically, this had been desired but out of reach for a long time. When the relevant highly structured ring spectra were finally found, the relief was substantial and led to terminology such as “brave new algebra”.

Prehistory

As a first step one wants a model category of spectra 𝒮\mathcal{S} that presents the full (infinity,1)-category of spectra. This allows to model the notion of equivalence of spectra and of homotopies between maps of spectra. Several such model categories have been known for a long time; all are Quillen equivalent and their common homotopy category is called “the” stable homotopy category Ho𝒮Ho \mathcal{S}.

It was also known that the stable homotopy category Ho𝒮Ho \mathcal{S} is a symmetric monoidal category, via a “derived smash product of spectra.” Ordinary (commutative) monoids in Ho𝒮Ho \mathcal{S} were called (commutative) ring spectra. While their product has associativity and uniticity up to homotopy, these homotopies are not specified and not required to satisfy higher coherence laws up to higher homotopies themselves.

One could, however, try to build in coherent associativity (resp. commutativity) homotopies by the use of an operad, by using an A A_\infty-operad (resp. an E E_\infty-operad). This resulted in the notions of A A_\infty-ring spectrum and E E_\infty-ring spectrum, which have a much better-behaved theory.

Symmetric monoidal categories of spectra

Now, for some of the model categories 𝒮\mathcal{S} of spectra, the smash product on Ho𝒮Ho \mathcal{S} can be lifted to a functor

:𝒮×𝒮𝒮, \wedge\colon \mathcal{S} \times \mathcal{S} \to \mathcal{S} \,,

but for the most part these functors were neither associative nor unital nor commutative at the level of the 1-category 𝒮\mathcal{S}. In fact, Gaunce Lewis proved a theorem that there could be no symmetric monoidal category 𝒮\mathcal{S} modeling the stable homotopy category and satisfying a couple of other natural requirements.

However, in the 1990s it was realized that by dropping one or another of Lewis’ other requirements, symmetric monoidal categories of spectra could be produced. The first such category was the category of S-modules described by Elmendorf, Kriz, Mandell, and May, but others soon followed, including symmetric spectra and orthogonal spectra. All of these form symmetric monoidal model categories which are symmetric-monoidally Quillen equivalent.

Moreover, in all of these cases, the monoidal structure on the model category 𝒮\mathcal{S} absorbs all the higher coherent homotopies that used to be supplied by the action of an A A_\infty or E E_\infty operad. Thus, honest (commutative) monoids in 𝒮\mathcal{S} model the same “(commutative) ring objects up to all coherent higher homotopies” that are modeled by the classical A A_\infty and E E_\infty ring spectra, and for this reason they are often still referred to as A A_\infty or E E_\infty ring spectra, respectively.

SS-modules

The construction of SS-modules by EKMM begins with the notion of coordinate free Lewis-May spectra. Using the linear isometries operad, one can construct a monad 𝕃\mathbb{L} on the category 𝒮\mathcal{S} of such spectra, and the category of 𝕃\mathbb{L}-algebras is a well-behaved model for the stable homotopy category, and moreover admits a smash product which is associative up to isomorphism, but unital only up to weak equivalence. However, the subcategory of the 𝕃\mathbb{L}-algebras for which the unit transformations are isomorphisms is again a well-behaved model for Ho𝕊Ho \mathbb{S}, which is moreover symmetric monoidal.

Since the unit transformation is of the form SEES\wedge E \to E, where SS is the sphere spectrum, and this map looks like the action of a ring on a module, the objects of this subcategory are called SS-modules and the category is called Mod SMod_S. The intuition is that just as an abelian group is a module over the archetypical ring \mathbb{Z} of integers, a spectrum should be regarded as a module over the archetypal ring spectrum, namely the sphere spectrum.

Similarly, just as an ordinary ring is a monoid in the category Mod Mod_\mathbb{Z} of \mathbb{Z}-modules, i.e. a \mathbb{Z}-algebra, an A A_\infty or E E_\infty ring spectrum is a (possibly commutative) monoid in the category of SS-modules, and thus referred to as an SS-algebra. More generally, for any A A_\infty-ring spectrum RR, there is a notion of RR-module spectra forming a category Mod RMod_R, which in turn carries an associative and commutative smash product R\wedge_R and a model category structure on Mod RMod_R such that R\wedge_R becomes unital in the homotopy category. All this is such that an A A_\infty-algebra over RR is a monoid object in (Mod R, R)(Mod_R, \wedge_R). Similarly E E_\infty-algebras are commutative monoid objects in (Mod R, R)(Mod_R, \wedge_R).

Symmetric spectra

Orthogonal spectra

model structure on spectra

References

Original sources

In the mid-1990s, several categories of spectra with nice smash products were discovered, and simultaneously, model categories experienced a major renaissance. In 1993, Elmendorf, Kriz, Mandell and May introduced the S-modules and Jeff Smith gave the first talks about symmetric spectra; the details of the model structure were later worked out and written up in

Reviews and introductions

A survey of the general theory, also of its history, is

The definition of SS-modules and their theory can be found in

A textbook account of the theory of symmetric spectra is

Seminar notes on symmetric spectra are in

See also

Revised on May 2, 2014 05:02:15 by Urs Schreiber (89.204.137.81)