Universality of multiplicative infinite loop space machines

By D. Gepner, Moritz Groth, T. Nikolaus. 2013

119 citations recorded by the source corpus.

We establish a canonical and unique tensor product for commutative monoids and groups in an1‐category C which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that En ‐(semi)ring objects in C give rise to En ‐ring spectrum objects in C . In the case that C is the1‐category of spaces this produces a multiplicative infinite loop space machine which can be applied to the algebraic K‐theory of rings and ring spectra. The main tool we use to establish these results is the theory of smashing localizations of presentable 1‐categories. In particular, we identify preadditive and additive 1‐categories as the local objects for certain smashing localizations. A central theme is the stability of algebraic structures under basechange; for example, we show Ring.D C/’ Ring.D/ C . Lastly, we also consider these algebraic structures from the perspective of Lawvere algebraic theories in1‐categories. 55P48; 55P43, 19D23

Subfields: Algebra and Number Theory, Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/b86ad052c5bb12c65054a8a89372cb6f6cd0b692