Commutative ring spectrum

From HandWiki

In the mathematical field of algebraic topology, a commutative ring spectrum, roughly equivalent to a [math]\displaystyle{ E \infty }[/math]-ring spectrum, is a commutative monoid in a good[1] category of spectra. The category of commutative ring spectra over the field [math]\displaystyle{ \mathbb{Q} }[/math] of rational numbers is Quillen equivalent to the category of differential graded algebras over [math]\displaystyle{ \mathbb{Q} }[/math].

Example: The Witten genus may be realized as a morphism of commutative ring spectra MString →tmf.

See also: simplicial commutative ring, highly structured ring spectrum and derived scheme.

Terminology

Almost all reasonable categories of commutative ring spectra can be shown to be Quillen equivalent to each other. Thus, from the point view of the stable homotopy theory, the term "commutative ring spectrum" may be used as a synonymous to an [math]\displaystyle{ E_\infty }[/math]-ring spectrum.

Notes

  1. symmetric monoidal with respect to smash product and perhaps some other conditions; one choice is the category of symmetric spectra

References

  • Goerss, P. (2010). "1005 Topological Modular Forms [after Hopkins, Miller, and Lurie]". Séminaire Bourbaki : volume 2008/2009, exposés 997–1011. Société mathématique de France. http://www.math.northwestern.edu/~pgoerss/papers/Exp.1005.P.Goerss.pdf. 
  • May, J.P. (2009). "What precisely are [math]\displaystyle{ E_\infty }[/math] ring spaces and [math]\displaystyle{ E_\infty }[/math] ring spectra?". arXiv:0903.2813.