nLab
symmetric smash product of spectra

Context

Stable Homotopy theory

Higher algebra

Contents

Idea

A symmetric smash product of spectra is a realization of the smash product of spectra such as to make a symmetric monoidal model category presentation of the symmetric monoidal (infinity,1)-category of spectra.

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 – one speaks of highly structured ring spectra.

Historically, this had been desired but out of reach for a long time, due to the initial focus on the model by plain sequential spectra. By this remark at smash product of spectra, plain sequential spectra do not reflect the graded-commutativity implicit in the braiding of the smash product of n-spheres and thus do not admit a symmetric smash product of spectra.

When the relevant highly structured ring spectra were finally found that do admit symmetric smash products, the relief was substantial and led to terminology such as “brave new algebra”. More recently maybe the term higher algebra is becoming more popular.

Then, model structures were found which also admit symmetric monoidal smash products, but which are not of the form “highly structured spectra”: model structure for excisive functors.

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 (see at H-space).

One could, however, 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 (Lewis 91) 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-May 97, 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 S-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

Also the

carries a symmetric monoida smash product.

References

Original sources

The original no-go theorem for a well-behave smash product of spectra is

  • Gaunce Lewis, Is there a conveinient category of spectra?, Journal of Pure and Applied Algebra Volume 73, Issue 3, 30 August 1991, Pages 233–246

In the mid-1990s, several categories of spectra with nice smash products were discovered, and simultaneously, model categories experienced a major renaissance.

The definition of S-modules and their theory originates in

and around 1993 Jeff Smith gave the first talks about symmetric spectra; the details of the model structure were later worked out and written up in

Discussion that makes the Day convolution structure on the symmetric smash product of spectra manifest is in

Reviews and introductions

Surveys of the history are in

A textbook account of the theory of symmetric spectra is

Seminar notes on symmetric spectra are in

See also

Revised on March 30, 2016 11:28:25 by Urs Schreiber (195.37.209.180)