TY - JOUR

T1 - A universal characterization of higher algebraic K-theory

AU - Tabuada, Gonçalo Jorge Trigo Neri

PY - 2013/1/1

Y1 - 2013/1/1

N2 - In this paper we establish a universal characterization of higher algebraic K-theory in the setting of small stable infinity-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 infinity-categories of "non-commutative motives"; one associated to additivity and another to localization. In these stable infinity-categories, Waldhausen's S-center dot-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 infinity-categories. We also explain in detail the comparison between the infinity-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.

AB - In this paper we establish a universal characterization of higher algebraic K-theory in the setting of small stable infinity-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 infinity-categories of "non-commutative motives"; one associated to additivity and another to localization. In these stable infinity-categories, Waldhausen's S-center dot-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 infinity-categories. We also explain in detail the comparison between the infinity-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.

KW - homotopy invariance

KW - stable infinity categories

KW - spectral categories

KW - topological cyclic homology

KW - higher algebraic K–theory

KW - cyclotomic trace map

U2 - 10.2140/gt.2013.17.733

DO - 10.2140/gt.2013.17.733

M3 - Article

VL - 17

SP - 733

EP - 838

JO - Geometry & Topology

JF - Geometry & Topology

SN - 1364-0380

IS - 2

ER -