Universality of multiplicative infinite loop space machines

DOI10.2140/AGT.2015.15.3107MaRDI QIDQ907762zbMATH OpenOpenAlexFDO

Authors David Gepner, Moritz Groth, Thomas Nikolaus

Publication date 26 January 2016

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.4550

zbMATH Keywords

\(K\)-theoryinfinite loop space machinestructured ring spectrumE-infinity space

Mathematics Subject Classification ID

Loop space machines and operads in algebraic topology (55P48) Symmetric monoidal categories (19D23) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43)

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.

Recommendations

• Rings, modules, and algebras in infinite loop space theory
• Basic Constructions in the K-Theory of Homotopy Ring Spaces
• Multiplicative infinite loop structure in algebraic K-theory
• Thom spectra, higher THH and tensors in \(\infty\)-categories
• On the algebraic \(K\)-theory of infinite product categories

Cited in

(52)

• Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic 𝐾-theory
• The unit map of the algebraic special linear cobordism spectrum
• Differential cohomology theories as sheaves of spectra
• Symmetric monoidal noncommutative spectra, strongly self-absorbing \(C^*\)-algebras, and bivariant homology
• A multiplicative comparison of Segal and Waldhausen \(K\)-theory
• Multiplicative infinite loop structure in algebraic K-theory
• Twisted iterated algebraic \(K\)-theory and topological T-duality for sphere bundles
• Parametrised presentability over orbital categories
• MULTIPLICATIVE PARAMETRIZED HOMOTOPY THEORY VIA SYMMETRIC SPECTRA IN RETRACTIVE SPACES
• Cancellation theorem for motivic spaces with finite flat transfers
• Homotopy coherent theorems of Dold-Kan type
• Presentably symmetric monoidal \(\infty\)-categories are represented by symmetric monoidal model categories
• Colocalizations of noncommutative spectra and bootstrap categories
• Deformation theory of perfect complexes and traces
• Purity in chromatically localized algebraic \(K\)-theory
• A symmetric monoidal and equivariant Segal infinite loop space machine
• On equivariant topological modular forms
• On the relation between K- and L-theory of \(C^*\)-algebras
• Projectivity of the Witt vector affine Grassmannian
• Spectra of small categories and infinite loop space machines
• Descent and vanishing in chromatic algebraic \(K\)-theory via group actions
• Homotopy-coherent algebra via Segal conditions
• The factorization theory of Thom spectra and twisted nonabelian Poincaré duality
• Parametrized spectra, multiplicative Thom spectra and the twisted Umkehr map
• On distributivity in higher algebra I: the universal property of bispans
• THE TOM DIECK SPLITTING THEOREM IN EQUIVARIANT MOTIVIC HOMOTOPY THEORY
• The Beilinson regulator is a map of ring spectra
• Ambidexterity and height
• The symmetric monoidal 2-category of permutative categories
• On the commutative algebra of categories
• Higher Lawvere theories
• Equivariant coarse homotopy theory and coarse algebraic K-homology
• Semistability and infinite loop spaces
• Descent in algebraic \(K\)-theory and a conjecture of Ausoni-Rognes
• Genuine versus naïve symmetric monoidal \(G\)-categories
• Rings, modules, and algebras in infinite loop space theory
• On curves in \(\mathrm{K}\)-theory and TR
• Higher symmetries in abstract stable homotopy theories
• scientific article; zbMATH DE number 2152587 (Why is no real title available?)
• The étale symmetric Künneth theorem
• Smashing localizations in equivariant stable homotopy
• The monadic tower for \(\infty\)-categories
• On modules over motivic ring spectra
• Chromatic cyclotomic extensions
• Multiplicative equivariant \(K\)-theory and the Barratt-Priddy-Quillen theorem
• Cartesian fibrations of complete Segal spaces
• \(K\)-theory and \(G\)-theory of derived algebraic stacks
• The weight complex functor is symmetric monoidal
• Cohomology of the moduli stack of algebraic vector bundles
• Thom spectra, higher THH and tensors in \(\infty\)-categories
• Motivic stable homotopy theory is strictly commutative at the characteristic
• The cotangent complex and Thom spectra

This page was built for publication: Universality of multiplicative infinite loop space machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q907762)