nLab orthogonal ring spectrum



Higher algebra

Stable Homotopy theory



An orthogonal ring spectrum is a ring spectrum modeled as an orthogonal spectrum. Equivalently this is a monoid object with respect to the symmetric monoidal smash product of spectra, for orthogonal spectra. Morever, if we regard orthogonal spectra as 𝕊 orth\mathbb{S}_{orth}-modules, as discussed at model structure on orthogonal spectra, then this, in turn, is equivalent to a 𝕊 orth\mathbb{S}_{orth}-algebra, where 𝕊 orth\mathbb{S}_{orth} is the standard model of the sphere spectrum as an orthogonal spectrum.

There is a model structure for orthogonal ring spectra (MMSS 00) under which orthogonal ring spectra represent genuine A-infinity rings, and commutative orthogonal ring spectra represent genuine E-infinity rings. This fact is one of the key motivation for passing from sequential spectra to the richer model of orthogonal spectra.

Despite all this, the component expression of the structure in an orthgonal ring spectrum, in the fashion of functors with smash product, is rather straightforward, and directly analogous to the structure in a dg-algebra: essentially there is for all pairs of indices n 1,n 2n_1, n_2 a pairing between the component spaces of the spectrum in these degrees

E n 1E n 2E n 1+n 2 E_{n_1}\wedge E_{n_2}\longrightarrow E_{n_1 + n_2}

such that this respects the given action of the orthogonal groups and of suspensions, and such that it is is associative and unital in the evident way.


The definition is directly analogous to that of symmetric ring spectrum, just with the symmetric groups replaced by orthogonal groups throughout.


Created on June 30, 2016 at 08:15:59. See the history of this page for a list of all contributions to it.