A universal characterization of higher algebraic K-theory

Blumberg, Andrew J¹ ; Gepner, David² ; Tabuada, Gonçalo³

¹ Department of Mathematics, University of Texas at Austin, 1 University Station C1200, Austin, TX 78712, USA
² Fakultät für Mathematik, Universität Regensburg, D-93040 Regensburg, Germany
³ Department of Mathematics, Massachusetts Institute of Technology, 77 Massachusetts Avenue, Cambridge, MA 02139, USA, and, Departamento de Matemática e CMA, FCT-UNL, Quinta da Torre, 2929-516 Caparica, Portugal

Geometry & topology, Tome 17 (2013) no. 2, pp. 733-838.

Résumé

In this paper we establish a universal characterization of higher algebraic $K$–theory in the setting of small stable $\infty$–categories. Specifically, we prove that connective algebraic $K$–theory is the universal additive invariant, ie the universal functor with values in spectra which inverts Morita equivalences, preserves filtered colimits and satisfies Waldhausen’s additivity theorem. Similarly, we prove that nonconnective algebraic $K$–theory is the universal localizing invariant, ie the universal functor that moreover satisfies the Thomason–Trobaugh–Neeman Localization Theorem.

To prove these results, we construct and study two stable $\infty$–categories of “noncommutative motives”; one associated to additivity and another to localization. In these stable $\infty$–categories, Waldhausen’s $S_{\bullet }$–construction corresponds to the suspension functor and connective and nonconnective algebraic $K$–theory spectra become corepresentable by the noncommutative motive of the sphere spectrum. In particular, the algebraic $K$–theory of every scheme, stack and ring spectrum can be recovered from these categories of noncommutative motives. In the case of a connective ring spectrum $R$, we prove moreover that its negative $K$–groups are isomorphic to the negative $K$–groups of the ordinary ring ${\pi }_{0}R$.

In order to work with these categories of noncommutative motives, we establish comparison theorems between the category of spectral categories localized at the Morita equivalences and the category of small idempotent-complete stable $\infty$–categories. We also explain in detail the comparison between the $\infty$–categorical version of Waldhausen $K$–theory and the classical definition.

As an application of our theory, we obtain a complete classification of the natural transformations from higher algebraic $K$–theory to topological Hochschild homology ($THH$) and topological cyclic homology ($TC$). Notably, we obtain an elegant conceptual description of the cyclotomic trace map.

Détail

DOI : 10.2140/gt.2013.17.733

Classification : 18D20, 19D10, 19D25, 19D55, 55N15
Keywords: higher algebraic $K$–theory, homotopy invariance, stable infinity categories, spectral categories, topological cyclic homology, cyclotomic trace map

Bibliographie

[1] J Adámek, J Rosický, Locally presentable and accessible categories, London Math. Soc. Lecture Note Ser. 189, Cambridge Univ. Press (1994)

[2] C Barwick, On the algebraic $K$–theory of higher categories, I. The universal property of Waldhausen ${K}$–theory

[3] C Barwick, On left and right model categories and left and right Bousfield localizations, Homology, Homotopy Appl. 12 (2010) 245

[4] C Barwick, D M Kan, Relative categories: another model for the homotopy theory of homotopy theories, Indag. Math. 23 (2012) 42

[5] H Bass, Algebraic $K$–theory, W A Benjamin (1968)

[6] D Ben-Zvi, J Francis, D Nadler, Integral transforms and Drinfeld centers in derived algebraic geometry, J. Amer. Math. Soc. 23 (2010) 909

[7] J E Bergner, A model category structure on the category of simplicial categories, Trans. Amer. Math. Soc. 359 (2007) 2043

[8] J E Bergner, A survey of $(\infty,1)$–categories, from: "Towards higher categories" (editors J C Baez, J P May), IMA Vol. Math. Appl. 152, Springer (2010) 69

[9] A J Blumberg, D Gepner, G Tabuada, Uniqueness of the multiplicative cyclotomic trace

[10] A J Blumberg, M A Mandell, Localization for ${THH}(ku)$ and the topological Hochschild and cyclic homology of Waldhausen categories

[11] A J Blumberg, M A Mandell, The localization sequence for the algebraic $K$–theory of topological $K$–theory, Acta Math. 200 (2008) 155

[12] A J Blumberg, M A Mandell, Algebraic $K$–theory and abstract homotopy theory, Adv. Math. 226 (2011) 3760

[13] A J Blumberg, M A Mandell, Derived Koszul duality and involutions in the algebraic $K$–theory of spaces, J. Topol. 4 (2011) 327

[14] A J Blumberg, M A Mandell, Localization theorems in topological Hochschild homology and topological cyclic homology, Geom. Topol. 16 (2012) 1053

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

[16] M Bökstedt, Topological Hochschild homology, preprint

[17] M Bökstedt, W C Hsiang, I Madsen, The cyclotomic trace and algebraic $K$–theory of spaces, Invent. Math. 111 (1993) 465

[18] A K Bousfield, The localization of spaces with respect to homology, Topology 14 (1975) 133

[19] D C Cisinski, Invariance de la $K$–théorie par équivalences dérivées, J. $K$–Theory 6 (2010) 505

[20] D C Cisinski, G Tabuada, Non-connective $K$–theory via universal invariants, Compos. Math. 147 (2011) 1281

[21] D C Cisinski, G Tabuada, Symmetric monoidal structure on non-commutative motives, J. $K$–Theory 9 (2012) 201

[22] G Cortiñas, A Thom, Bivariant algebraic $K$–theory, J. Reine Angew. Math. 610 (2007) 71

[23] V Drinfeld, DG quotients of DG categories, J. Algebra 272 (2004) 643

[24] D Dugger, Combinatorial model categories have presentations, Adv. Math. 164 (2001) 177

[25] D Dugger, D I Spivak, Mapping spaces in quasi-categories, Algebr. Geom. Topol. 11 (2011) 263

[26] B I Dundas, Relative $K$–theory and topological cyclic homology, Acta Math. 179 (1997) 223

[27] W G Dwyer, D M Kan, Calculating simplicial localizations, J. Pure Appl. Algebra 18 (1980) 17

[28] W G Dwyer, D M Kan, Simplicial localizations of categories, J. Pure Appl. Algebra 17 (1980) 267

[29] W G Dwyer, D M Kan, Equivalences between homotopy theories of diagrams, from: "Algebraic topology and algebraic $K$–theory" (editor W Browder), Ann. of Math. Stud. 113, Princeton Univ. Press (1987) 180

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

[31] Z Fiedorowicz, R Schwänzl, R Steiner, R Vogt, Nonconnective delooping of $K$–theory of an $A_\infty$ ring space, Math. Z. 203 (1990) 43

[32] T Geisser, L Hesselholt, Topological cyclic homology of schemes, from: "Algebraic $K$–theory" (editors W Raskind, C Weibel), Proc. Sympos. Pure Math. 67, Amer. Math. Soc. (1999) 41

[33] T Geisser, L Hesselholt, On relative and bi-relative algebraic $K$–theory of rings of finite characteristic, J. Amer. Math. Soc. 24 (2011) 29

[34] P G Goerss, J F Jardine, Simplicial homotopy theory, Progress in Mathematics 174, Birkhäuser (1999)

[35] T G Goodwillie, Cyclic homology, derivations, and the free loopspace, Topology 24 (1985) 187

[36] L Hesselholt, Witt vectors of non-commutative rings and topological cyclic homology, Acta Math. 178 (1997) 109

[37] L Hesselholt, I Madsen, On the $K$–theory of local fields, Ann. of Math. 158 (2003) 1

[38] N Higson, A characterization of $KK$–theory, Pacific J. Math. 126 (1987) 253

[39] P S Hirschhorn, Model categories and their localizations, Math. Surveys and Monographs 99, Amer. Math. Soc. (2003)

[40] A Hirschowitz, C Simpson, Descente pour les $n$–champs

[41] M Hovey, B Shipley, J Smith, Symmetric spectra, J. Amer. Math. Soc. 13 (2000) 149

[42] A Joyal, Quasi-categories and Kan complexes, J. Pure Appl. Algebra 175 (2002) 207

[43] A Joyal, M Tierney, Quasi-categories vs Segal spaces, from: "Categories in algebra, geometry and mathematical physics" (editors A Davydov, M Batanin, M Johnson, S Lack, A Neeman), Contemp. Math. 431, Amer. Math. Soc. (2007) 277

[44] B Keller, On the cyclic homology of exact categories, J. Pure Appl. Algebra 136 (1999) 1

[45] H Krause, On Neeman's well generated triangulated categories, Doc. Math. 6 (2001) 121

[46] H Krause, Localization theory for triangulated categories, from: "Triangulated categories" (editors T Holm, P Jørgensen, R Rouquier), London Math. Soc. Lecture Note Ser. 375, Cambridge Univ. Press (2010) 161

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

[48] J Lurie, Higher algebra, preprint (2012)

[49] M Makkai, R Paré, Accessible categories: the foundations of categorical model theory, Contemporary Mathematics 104, Amer. Math. Soc. (1989)

[50] J P May, $A_{\infty }$ ring spaces and algebraic $K$–theory, from: "Geometric applications of homotopy theory, II" (editors M G Barratt, M E Mahowald), Lecture Notes in Math. 658, Springer (1978) 240

[51] R Mccarthy, On fundamental theorems of algebraic $K$–theory, Topology 32 (1993) 325

[52] R Mccarthy, The cyclic homology of an exact category, J. Pure Appl. Algebra 93 (1994) 251

[53] R Mccarthy, Relative algebraic $K$–theory and topological cyclic homology, Acta Math. 179 (1997) 197

[54] R Meyer, R Nest, The Baum–Connes conjecture via localisation of categories, Topology 45 (2006) 209

[55] F Morel, V Voevodsky, $\mathbf{A}^1$–homotopy theory of schemes, Inst. Hautes Études Sci. Publ. Math. (1999) 45

[56] A Neeman, The connection between the $K$–theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel, Ann. Sci. École Norm. Sup. 25 (1992) 547

[57] A Neeman, Triangulated categories, Annals of Mathematics Studies 148, Princeton Univ. Press (2001)

[58] E K Pedersen, C A Weibel, $K$–theory homology of spaces, from: "Algebraic topology" (editors G Carlsson, R L Cohen, H R Miller, D C Ravenel), Lecture Notes in Math. 1370, Springer (1989) 346

[59] D Quillen, Higher algebraic $K$–theory. I, from: "Algebraic $K$–theory, I: Higher $K$–theories" (editor H Bass), Lecture Notes in Math. 341, Springer (1973) 85

[60] C Rezk, A model for the homotopy theory of homotopy theory, Trans. Amer. Math. Soc. 353 (2001) 973

[61] C Rezk, S Schwede, B Shipley, Simplicial structures on model categories and functors, Amer. J. Math. 123 (2001) 551

[62] J Rognes, A spectrum level rank filtration in algebraic $K$–theory, Topology 31 (1992) 813

[63] J Rognes, Two-primary algebraic $K$–theory of spaces and related spaces of symmetries of manifolds, from: "Algebraic $K$–theory" (editors W Raskind, C Weibel), Proc. Sympos. Pure Math. 67, Amer. Math. Soc. (1999) 213

[64] M Schlichting, Negative $K$–theory of derived categories, Math. Z. 253 (2006) 97

[65] S Schwede, B Shipley, Stable model categories are categories of modules, Topology 42 (2003) 103

[66] C Simpson, A Giraud-type characterization of the simplicial categories associated to closed model categories as $\infty$–pretopoi

[67] R J Steiner, Infinite loop structures on the algebraic $K$–theory of spaces, Math. Proc. Cambridge Philos. Soc. 90 (1981) 85

[68] G Tabuada, Higher $K$–theory via universal invariants, Duke Math. J. 145 (2008) 121

[69] G Tabuada, Homotopy theory of spectral categories, Adv. Math. 221 (2009) 1122

[70] G Tabuada, Matrix invariants of spectral categories, Int. Math. Res. Not. 2010 (2010) 2459

[71] Z Tamsamani, On non-strict notions of $n$–category and $n$–groupoid via multisimplicial sets

[72] R W Thomason, T Trobaugh, Higher algebraic $K$–theory of schemes and of derived categories, from: "The Grothendieck Festschrift, Vol. 3" (editors P Cartier, L Illusie, N M Katz, G Laumon, K A Ribet), Progr. Math. 88, Birkhäuser (1990) 247

[73] B Toën, The homotopy theory of $dg$–categories and derived Morita theory, Invent. Math. 167 (2007) 615

[74] B Toën, G Vezzosi, A remark on $K$–theory and $S$–categories, Topology 43 (2004) 765

[75] V Voevodsky, Triangulated categories of motives over a field, from: "Cycles, transfers, and motivic homology theories", Ann. of Math. Stud. 143, Princeton Univ. Press (2000) 188

[76] J B Wagoner, Delooping classifying spaces in algebraic $K$–theory, Topology 11 (1972) 349

[77] F Waldhausen, Algebraic $K$–theory of topological spaces. II, from: "Algebraic topology" (editors J L Dupont, I H Madsen), Lecture Notes in Math. 763, Springer (1979) 356

[78] F Waldhausen, Algebraic $K$–theory of spaces, from: "Algebraic and geometric topology" (editors A Ranicki, N Levitt, F Quinn), Lecture Notes in Math. 1126, Springer (1985) 318