Universality of multiplicative infinite loop space machines

Abstract

We establish a canonical and unique tensor product for commutative monoids and groups in an infinity-category C which generalizes the ordinary tensor product of abelian groups. Using this tensor product we show that E_n-(semi)ring objects in C give rise to E_n-ring spectrum objects in C. In the case that C is the infinity-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 infinity-categories. In particular, we identify preadditive and additive infinity-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 \otimes C) = Ring(D) \otimes C. Lastly, we also consider these algebraic structures from the perspective of Lawvere algebraic theories in infinity-categories.

27 pages

References in corpus (4)

• Higher Topos Theory
• Multiplicative structures on algebraic K-theory
• Tensor product for symmetric monoidal categories
• K-theory of endomorphisms via noncommutative motives

Cited by in corpus (40)

• Parametrized spectra, multiplicative Thom spectra, and the twisted Umkehr map
• Presentably symmetric monoidal infinity-categories are represented by symmetric monoidal model categories
• Equivariant coarse homotopy theory and coarse algebraic $\mathbf{K}$-homology
• K-theory and G-theory of derived algebraic stacks
• On Modules Over Motivic Ring Spectra
• The weight complex functor is symmetric monoidal
• Twisted iterated algebraic K-theory and topological T-duality for sphere bundles
• Multiplicative parametrized homotopy theory via symmetric spectra in retractive spaces
• Purity in chromatically localized algebraic $K$-theory
• A multiplicative comparison of Waldhausen and Segal K-theory
• The factorization theory of Thom spectra and twisted non-abelian Poincaré duality
• Chromatic Cyclotomic Extensions
• Symmetric monoidal noncommutative spectra, strongly self-absorbing $C^{\ast }$-algebras, and bivariant homology
• Goodwillie calculus and Mackey functors
• Cohomology of the moduli stack of algebraic vector bundles
• The Beilinson regulator is a map of ring spectra
• The unit map of the algebraic special linear cobordism spectrum
• Colocalizations of noncommutative spectra and bootstrap categories
• Characterizations of abstract stable homotopy theories
• Algebraic K-Theory of infinity-Operads
• Deformation theory of perfect complexes and traces
• On the Commutative Algebra of Categories
• Homotopy coherent theorems of Dold-Kan type
• Segalification and the Boardman-Vogt tensor product
• Enriched infinity categories I: enriched presheaves
• Thom spectra, higher $THH$ and tensors in $\infty$-categories
• The equifibered approach to $\infty$-properads
• Univalence in Higher Category Theory
• On k-invariants for $(\infty ,n)$-categories
• The inverse limit topology and profinite descent on Picard groups in $K(n)$-local homotopy theory
• Zariski-local framed ${\mathbb{A}}^1$-homotopy theory
• The relative Brauer group of $K(1)$-local spectra
• Higher Lawvere theories
• Segal K-theory of vector spaces with an automorphism
• The derived $\infty$-category of Cartier Modules
• On exact categories and their stable envelopes
• Coherent cochain complexes and Beilinson t-structures, with an appendix by Achim Krause
• Deformations of ${\mathbb{E}}_{\infty }$-groups of units and logarithmic derivatives of ${\mathbb{E}}_{\infty }$-rings
• An axiomatization of six-functor formalisms
• Thomason filtration via $T(1)$-local $\mathrm{TC}$