C. Weibel, and Thomason and Trobaugh, proved (under some assumptions) that algebraic
-theory with coefficients
is
-homotopy
invariant. We generalize this result from schemes to the broad setting of dg
categories. Along the way, we extend the Bass–Quillen fundamental theorem
as well as Stienstra’s foundational work on module structures over the big
Witt ring to the setting of dg categories. Among other cases, the above
-homotopy
invariance result can now be applied to sheaves of (not necessarily commutative)
dg algebras over stacks. As an application, we compute the algebraic
-theory
with coefficients of dg cluster categories using solely the kernel and cokernel of
the Coxeter matrix. This leads to a complete computation of the algebraic
-theory
with coefficients of the du Val singularities parametrized by the simply laced Dynkin
diagrams. As a byproduct, we obtain vanishing and divisibility properties of algebraic
-theory
(without coefficients).
Keywords
$\mathbb{A}^1$-homotopy, algebraic $K$-theory, Witt
vectors, sheaf of dg algebras, dg orbit category, cluster
category, du Val singularities, noncommutative algebraic
geometry