(also nonabelian homological algebra)
Context
Basic definitions
Stable homotopy theory notions
Constructions
Lemmas
Homology theories
Theorems
The Waldhausen K-theory of a dg-category is defined as the Waldhausen K-theory of a Waldhausen category associated to it. It is an additive invariant in the sense of noncommutative motives. There is a nonconnective variant studied by Marco Schlichting, which is a localizing invariant (again in the sense of noncommutative motives).
On the other hand, one could define the K-theory of a pretriangulated dg-category as the algebraic K-theory of its dg-nerve, which is a stable infinity-category. This should coincide with the Waldhausen K-theory (presumably).
Let be a dg-category. Consider the triangulated category of dg-presheaves on , and let denote its full subcategory of compact objects. There is the structure of a Waldhausen category on where the weak equivalences are objectwise quasi-isomorphisms and the cofibrations are degreewise split monomorphisms. The Waldhausen K-theory of is the Waldhausen K-theory of with this Waldhausen structure.
Bernhard Keller, On differential graded categories, International Congress of Mathematicians. Vol. II, 151–190, Eur. Math. Soc., Zürich, 2006, pdf.
Marco Schlichting, Negative K-theory of derived categories, Math. Z. 253 (2006), no. 1, 97 - 134, pdf.
Goncalo Tabuada, Higher K-theory via universal invariants, Duke Mathematical Journal, 145 (2008), no. 1, 121-206, arXiv.
Last revised on January 5, 2015 at 16:42:21. See the history of this page for a list of all contributions to it.