algebraic topology Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up t ...

, a commutative ring spectrum, roughly equivalent to a

E_\infty

-ring spectrum, is a

commutative monoid In abstract algebra, a monoid is a set equipped with an associative binary operation and an identity element. For example, the nonnegative integers with addition form a monoid, the identity element being . Monoids are semigroups with identity ...

in a goodsymmetric monoidal with respect to

smash product In topology, a branch of mathematics, the smash product of two pointed spaces (i.e. topological spaces with distinguished basepoints) and is the quotient of the product space under the identifications for all in and in . The smash prod ...

and perhaps some other conditions; one choice is the category of symmetric spectra category of spectra. The category of commutative ring spectra over the field

\mathbb

of rational numbers is Quillen equivalent to the category of

differential graded algebra In mathematics – particularly in homological algebra, algebraic topology, and algebraic geometry – a differential graded algebra (or DGA, or DG algebra) is an algebraic structure often used to capture information about a topological or geo ...

s over

\mathbb

. Example: The Witten genus may be realized as a

morphism In mathematics, a morphism is a concept of category theory that generalizes structure-preserving maps such as homomorphism between algebraic structures, functions from a set to another set, and continuous functions between topological spaces. Al ...

of commutative ring spectra MString → tmf. See also:

simplicial commutative ring In algebra, a simplicial commutative ring is a monoid object, commutative monoid in the category (mathematics), category of simplicial abelian groups, or, equivalently, a simplicial object in the category of commutative rings. If ''A'' is a simplic ...

, 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 In mathematics, stable homotopy theory is the part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor. A founding result was the ...

, the term "commutative ring spectrum" may be used as a synonymous to an

E_\infty

-ring spectrum.

Notes

References

* * Algebraic topology {{topology-stub