A multiplicative comparison of Segal and Waldhausen K-Theory
- 7 Downloads
In this paper, we establish a multiplicative equivalence between two multiplicative algebraic K-theory constructions, Elmendorf and Mandell’s version of Segal’s K-theory and Blumberg and Mandell’s version of Waldhausen’s \(S_\bullet \) construction. This equivalence implies that the ring spectra, algebra spectra, and module spectra constructed via these two classical algebraic K-theory functors are equivalent as ring, algebra or module spectra, respectively. It also allows for comparisons of spectrally enriched categories constructed via these definitions of K-theory. As both the Elmendorf–Mandell and Blumberg–Mandell multiplicative versions of K-theory encode their multiplicativity in the language of multicategories, our main theorem is that there is multinatural transformation relating these two symmetric multifunctors that lifts the classical functor from Segal’s to Waldhausen’s construction. Along the way, we provide a slight generalization of the Elmendorf–Mandell construction to symmetric monoidal categories.
KeywordsK-theory Ring spectra Waldhausen categories Multiplicative structure
Many thanks to Clark Barwick, Andrew Blumberg, Tony Elmendorf, Lars Hesselholt, Mona Merling and Inna Zakharevich for interesting and helpful conversations. The authors also thank the anonymous referee for their very careful reading of this paper and for several clarifying suggestions. It is a pleasure to acknowledge the support of several institutions that helped make this research possible. The first author was partially supported by NSF DMS-1710534. The second author was partially supported by the Simons Foundation Grant No. 359449, the Woodrow Wilson Career Enhancement Fellowship, and NSF grant DMS-1709302. The first author also thanks the Isaac Newton Institute for Mathematical Sciences for support and hospitality during the program “Homotopy Harnessing Higher Structures” when some of the work on this paper was undertaken. This work was supported by EPSRC grant numbers EP/K032208/1 and EP/R014604/1.
- 5.Bohmann, A.M., Osorno, A.: Equivariant spectra via Waldhausen Mackey functors. In preparation.Google Scholar
- 14.May, J.P.: The construction of \(E_\infty \) ring spaces from bipermutative categories. In: New Topological Contexts for Galois Theory and Algebraic Geometry (BIRS 2008), Volume 16 of Geom. Topol. Monogr., pp. 283–330. Geom. Topol. Publ., Coventry, (2009)Google Scholar
- 15.May, J.P., Merling, M., Osorno, A.M.: Equivariant infinite loop space theory, I. The space level story. ArXiv e-prints. 1704.03413Google Scholar
- 18.Schwede, S.: A untitled book project about symmetric spectra. Available on the author’s webpage., (2007)Google Scholar
- 20.Waldhausen, F.: Algebraic \(K\)-theory of spaces. In: Algebraic and Geometric Topology (New Brunswick, N.J., 1983), Volume 1126 of Lecture Notes in Math. pp. 318–419. Springer, Berlin (1985)Google Scholar
- 22.Zakharevich, I.: The category of Waldhausen categories is a closed multicategory. In: New Directions in Homotopy Theory, Volume 707 of Contemp. Math., pp. 175–194. American Mathematical Society, Providence, RI (2018)Google Scholar