A universal characterization of higher algebraic K-theory

Abstract

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, i.e., the universal functor with values in spectra which inverts Morita equivalences, preserves filtered colimits, and satisfies Waldhausen's additivity theorem. Similarly, we prove that non-connective algebraic K-theory is the universal localizing invariant, i.e., 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 "noncommutative motives"; one associated to additivity and another to localization. In these stable infinity categories, Waldhausen's S. construction corresponds to the suspension functor and connective and non-connective 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 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.

Various revisions and corrections

References in corpus (6)

• Localization theorems in topological Hochschild homology and topological cyclic homology
• Non connective K-theory via universal invariants
• Mapping spaces in Quasi-categories
• Derived Koszul Duality and Involutions in the Algebraic K-Theory of Spaces
• The localization sequence for the algebraic K-theory of topological K-theory
• On the relative and bi-relative K-theory of rings of finite characteristic

Cited by in corpus (65)

• On the algebraic K-theory of higher categories
• Integrating quantum groups over surfaces
• Universality of multiplicative infinite loop space machines
• On exact infinity-categories and the Theorem of the Heart
• Brauer groups and étale cohomology in derived algebraic geometry
• Algebraic K-theory and descent for blow-ups
• Hyperdescent and étale K-theory
• Equivariant Hodge theory and noncommutative geometry
• Excision in algebraic K-theory revisited
• The symplectic geometry of higher Auslander algebras: Symmetric products of disks
• Kaledin's degeneration theorem and topological Hochschild homology
• K-theory and G-theory of derived algebraic stacks
• Coherent Springer theory and the categorical Deligne-Langlands correspondence
• Algebraic K-theory of quasi-smooth blow-ups and cdh descent
• Topological Hochschild Homology and Higher Characteristics
• Split injectivity of A-theoretic assembly maps
• $THH$ and base-change for Galois extensions of ring spectra
• Tannaka duality and stable infinity-categories
• Some recent advances in topological Hochschild homology
• 2-Segal objects and the Waldhausen construction
• Categorical Milnor squares and K-theory of algebraic stacks
• Twisted iterated algebraic K-theory and topological T-duality for sphere bundles
• Purity in chromatically localized algebraic $K$-theory
• A local-global principle for the telescope conjecture
• The Grothendieck ring of varieties and algebraic K-theory of spaces
• The Projective Bundle Formula for Grothendieck-Witt spectra
• The Beilinson regulator is a map of ring spectra
• Cohomology of the moduli stack of algebraic vector bundles
• Comparison of Waldhausen constructions
• Algebraic K-theory of stable $\infty$-categories via binary complexes
• Hochschild coniveau spectral sequence and the Beilinson residue
• Noncommutative stable homotopy and stable infinity categories
• The nilpotence theorem for the algebraic $K$-theory of the sphere spectrum
• Topological models for stable motivic invariants of regular number rings
• Algebraic $K$-theory for squares categories
• Infinity-operads and Day convolution in Goodwillie calculus
• Deformation theory of perfect complexes and traces
• Shortening binary complexes and commutativity of $K$-theory with infinite products
• Algebraic K-theory, K-regularity, and T-duality of ${\mathcal{O}}_{\infty }$-stable $C^{\ast }$-algebras
• K-theory of derivators revisited
• On The Algebraic $K$-Theory of Double Points
• Dévissage for Waldhausen K-theory
• $C^{\ast }$-algebraic drawings of dendroidal sets
• Continuous K-Theory and Cohomology of Rigid Spaces
• Homotopy-theoretically enriched categories of noncommutative motives
• Gluing semi-orthogonal decompositions
• Determinant map for the prestack of Tate objects
• Descent and cyclotomic redshift for chromatically localized algebraic K-theory
• Characters and transfer maps via categorified traces
• Syntomic cycle classes and prismatic Poincaré duality
• The Fundamental Theorem of Localizing Invariants
• The non-semisimple Kazhdan-Lusztig category for affine ${\mathfrak{sl}}_2$ at admissible levels
• Mapping class groups of $h$-cobordant manifolds
• An example of a non-Fourier-Mukai functor between derived categories of coherent sheaves
• Towards 2-derivators for formal $\infty$-category theory
• A remark on Continuous K-theory and Fourier-Sato transform
• Segal K-theory of vector spaces with an automorphism
• Shadows are Bicategorical Traces
• A universal characterization of noncommutative motives and secondary algebraic K-theory
• $E_2$ Structures and Derived Koszul Duality in String Topology
• $K$-theoretic torsion and the zeta function
• Regularity of semi-valuation rings and homotopy invariance of algebraic K-theory
• On exact categories and their stable envelopes
• Higher Auslander algebras of type $\mathbb{A}$ and the higher Waldhausen $S$-constructions
• ${\mathbb{A}}^1$-invariance of localizing invariants