Higher \(K\)-theory via universal invariants (Q953968)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Higher \(K\)-theory via universal invariants |
scientific article |
Statements
Higher \(K\)-theory via universal invariants (English)
0 references
7 November 2008
0 references
Recently it was observed that differential graded (dg) categories can be helpful in better understanding of triangulated categories [cf. \textit{B. Keller}, ``On differential graded categories'', Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22--30, 2006. Volume II: Invited lectures. Zürich: European Mathematical Society (EMS). 151--190 (2006; Zbl 1140.18008)]. From a noncommutative algebro-geometric point of view (i.e., the study of dg categories and their homological invariants) dg categories have been considered as noncommutative schemes [cf. \textit{V. Drinfeld}, J. Algebra 272, No.~2, 643--691 (2004; Zbl 1064.18009) and \textit{M. Kontsevich}]. In this article, using Grothendieck's derivators formalism, the author contructs the universal localizing invariant of dg categories, i.e., a morphism \({\mathcal U}_l\) from the pointed derivator \(HO(dgcat)\), associated with Morita's homotopy theory of dg categories [cf. \textit{G. Tabuada}, C. R., Math., Acad. Sci. Paris 340, No.~1, 15--19 (2005; Zbl 1060.18010)] to a triangulated strong derivator \({\mathcal M}^{\text{loc}}_{\text{dg}}\) so that \({\mathcal U}_l\) commutes with filtered homotopy colimits, preserves the point, maps each exact sequence of dg categories to a triangle, and is universal for these properties. Also, the author constructs the universal additive invariant of dg categories, i.e., the universal morphism of derivators \({\mathcal U}_a\) from \(HO(dgcat)\) to a strong triangulated derivator \({\mathcal M}^{\text{add}}_{\text{dg}}\) that satisfies the first two properties and the third one only for split exact sequences. In this context, Waldhausen's K-theory spectrum appears as a spectrum of morphisms in the base category \({\mathcal M}^{\text{add}}_{\text{dg}}(e)\) of the additive motivator.
0 references
DG categories
0 references
Grothendieck's derivators formalism
0 references