A universal characterization of higher algebraic K-theory

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.

💡 Research Summary

The paper provides a conceptual and universal description of higher algebraic K‑theory within the framework of small stable ∞‑categories. The authors introduce two notions of invariants: additive invariants, which are functors to spectra that invert Morita equivalences, preserve filtered colimits, and satisfy Waldhausen’s additivity theorem; and localizing invariants, which further satisfy the Thomason‑Trobaugh‑Neeman localization theorem. The main theorems state that connective algebraic K‑theory is the initial object among additive invariants, while non‑connective (or “localizing”) K‑theory is the initial object among localizing invariants.

To achieve these characterizations, the authors construct two stable ∞‑categories of non‑commutative motives: the additive motive category and the localizing motive category. In each, Waldhausen’s S‑construction is identified with the suspension functor, and the sphere spectrum’s motive corepresents the corresponding K‑theory spectrum. Consequently, K‑theory becomes a representable functor in the motive category, mirroring the Yoneda lemma in this higher‑categorical setting.

A substantial technical component is the comparison between spectral categories localized at Morita equivalences and the ∞‑category of small idempotent‑complete stable ∞‑categories. The authors prove an equivalence of these models, which allows them to translate classical Waldhausen K‑theory into the ∞‑categorical language without loss of information. This equivalence also underlies the proof that the two universal properties indeed capture the usual K‑theory constructions.

As an application, the paper classifies all natural transformations from algebraic K‑theory to topological Hochschild homology (THH) and topological cyclic homology (TC). By interpreting these transformations as morphisms in the motive categories, the authors show that the space of such maps is essentially one‑dimensional, and the cyclotomic trace emerges as the canonical non‑trivial transformation. This provides a clean, conceptual explanation of the cyclotomic trace, which previously required intricate model‑category arguments.

Finally, the authors emphasize that their framework applies uniformly to schemes, algebraic stacks, and even ring spectra, because the motive categories are built from the universal properties of stable ∞‑categories themselves. In summary, the paper recasts higher algebraic K‑theory as a universal additive/localizing invariant, embeds it in a robust theory of non‑commutative motives, and leverages this perspective to obtain a transparent description of the cyclotomic trace and the full spectrum of natural transformations to THH and TC.