Dévissage for Waldhausen K-theory

Abstract

A dévissage-type theorem in algebraic $K$-theory is a statement that identifies the $K$-theory of a Waldhausen category $\mathcal{C}$ in terms of the $K$-theories of a collection of Waldhausen subcategories of $\mathcal{C}$ when a dévissage condition about the existence of appropriate finite filtrations is satisfied. We distinguish between dévissage theorems of single type and of multiple type, depending on the number of Waldhausen subcategories and their properties. The main representative examples of such theorems are Quillen's original dévissage theorem for abelian categories (single type) and Waldhausen's theorem on spherical objects for more general Waldhausen categories (multiple type). In this paper, we study some general aspects of dévissage-type theorems and prove a general dévissage theorem of single type and a general dévissage theorem of multiple type.

minor changes; to appear in Annals of K-theory

References in corpus (2)

• On exact infinity-categories and the Theorem of the Heart
• The localization sequence for the algebraic K-theory of topological K-theory

Cited by in corpus (2)

• Stable moduli spaces of hermitian forms
• A dévissage theorem of non-connective $K$-theory