Dévissage and localization for the Grothendieck spectrum of varieties

Abstract

We introduce a new perspective on the K-theory of exact categories via the notion of a CGW-category. CGW-categories are a generalization of exact categories that admit a Quillen Q-construction, but which also include examples such as finite sets and varieties. By analyzing Quillen's proofs of dévissage and localization we define ACGW-categories, an analogous generalization of abelian categories for which we prove theorems akin to dévissage and localization. In particular, although the category of varieties is not quite ACGW, the category of reduced schemes of finite type is; applying dévissage and localization allows us to calculate a filtration on the K-theory of schemes of finite type. As an application of this theory we construct a comparison map showing that the two authors' definitions of the Grothendieck spectrum of varieties are equivalent.