Universality of multiplicative infinite loop space machines

Gepner, David¹ ; Groth, Moritz² ; Nikolaus, Thomas³

¹Department of Mathematics, Purdue University, 150 N. University Street, West Lafayette, IN 47907, USA
²Max-Planck-Institut für Mathematik, Vivatsgasse 7, D-53111 Bonn, Germany
³Mathematisches Institut der Universität Bonn, Endenicher Allee 60, D-53115 Bonn, Germany

Algebraic and Geometric Topology, Tome 15 (2015) no. 6, pp. 3107-3153

Résumé

We establish a canonical and unique tensor product for commutative monoids and groups in an ∞–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 the ∞–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 ∞–categories. In particular, we identify preadditive and additive ∞–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 in ∞–categories.

Détail

DOI : 10.2140/agt.2015.15.3107

Classification : 55P48, 55P43, 19D23
Keywords: infinite loop space machines, structured ring spectra, K-theory

Bibliographie

[1] J Adámek, J Rosický, E M Vitale, Algebraic theories: A categorical introduction to general algebra, Cambridge Tracts in Mathematics 184, Cambridge Univ. Press (2011)

[2] N A Baas, B I Dundas, B Richter, J Rognes, Ring completion of rig categories, J. Reine Angew. Math. 674 (2013) 43

[3] C Barwick, Multiplicative structures on algebraic $K$–theory, preprint (2013)

[4] H S Bergsaker, Homotopy theory of presheaves of $\Gamma$–spaces, Homology, Homotopy Appl. 11 (2009) 35

[5] A. Blumberg, D. Gepner, G. Tabuada, $K$–theory of endomorphisms via noncommutative motives, (2013)

[6] A J Blumberg, D Gepner, G Tabuada, A universal characterization of higher algebraic $K$–theory, Geom. Topol. 17 (2013) 733

[7] A J Blumberg, D Gepner, G Tabuada, Uniqueness of the multiplicative cyclotomic trace, Adv. Math. 260 (2014) 191

[8] J M Boardman, R M Vogt, Homotopy invariant algebraic structures on topological spaces, Lecture Notes in Mathematics 347, Springer (1973)

[9] J Cranch, Algebraic theories and $(\infty,1)$–categories, PhD thesis, University of Sheffield (2010)

[10] J Cranch, Algebraic theories, span diagrams, and commutative monoids in homotopy theory, preprint (2011)

[11] A D Elmendorf, I Kriz, M A Mandell, J P May, Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs 47, Amer. Math. Soc. (1997)

[12] A D Elmendorf, M A Mandell, Rings, modules, and algebras in infinite loop space theory, Adv. Math. 205 (2006) 163

[13] A D Elmendorf, M A Mandell, Permutative categories, multicategories and algebraic $K$–theory, Algebr. Geom. Topol. 9 (2009) 2391

[14] M Hyland, J Power, Pseudo-commutative monads and pseudo-closed $2$–categories, J. Pure Appl. Algebra 175 (2002) 141

[15] A Joyal, Notes on quasi-categories (2008)

[16] M L Laplaza, Coherence for distributivity, from: "Coherence in categories" (editor S Mac Lane), Lecture Notes in Math. 281, Springer (1972) 29

[17] M L Laplaza, A new result of coherence for distributivity, from: "Coherence in categories" (editor S Mac Lane), Lecture Notes in Math. 281, Springer (1972) 214

[18] F W Lawvere, Functorial semantics of algebraic theories, Proc. Nat. Acad. Sci. USA 50 (1963) 869

[19] J Lurie, Higher topos theory, Annals of Mathematics Studies 170, Princeton Univ. Press (2009)

[20] J Lurie, Higher algebra (2014)

[21] J P May, The geometry of iterated loop spaces, Lecture Notes in Mathematics 271, Springer (1972)

[22] J P May, Multiplicative infinite loop space theory, J. Pure Appl. Algebra 26 (1982) 1

[23] J P May, The construction of $E_\infty$ ring spaces from bipermutative categories, from: "New topological contexts for Galois theory and algebraic geometry" (editors A Baker, B Richter), Geom. Topol. Monogr. 16 (2009) 283

[24] J P May, What are $E_\infty$ ring spaces good for?, from: "New topological contexts for Galois theory and algebraic geometry" (editors A Baker, B Richter), Geom. Topol. Monogr. 16 (2009) 331

[25] J P May, What precisely are $E_\infty$ ring spaces and $E_\infty$ ring spectra?, from: "New topological contexts for Galois theory and algebraic geometry" (editors A Baker, B Richter), Geom. Topol. Monogr. 16 (2009) 215

[26] V Schmitt, Tensor product for symmetric monoidal categories, preprint (2007)

[27] S Schwede, Stable homotopical algebra and $\Gamma$–spaces, Math. Proc. Cambridge Philos. Soc. 126 (1999) 329

[28] G Segal, Categories and cohomology theories, Topology 13 (1974) 293

[29] R W Thomason, Beware the phony multiplication on Quillen's $\mathcal{A}^{-1}\mathcal{A}$, Proc. Amer. Math. Soc. 80 (1980) 569

[30] B Töen, G Vezzosi, Caractères de Chern, traces équivariantes et géométrie algébrique dérivée, preprint (2009)