Finite homological dimension and a derived equivalence

Abstract

For a Cohen-Macaulay ring R R , we exhibit the equivalence of the bounded derived categories of certain resolving subcategories, which, amongst other results, yields an equivalence of the bounded derived category of finite length and finite projective dimension modules with the bounded derived category of projective modules with finite length homologies. This yields isomorphisms of K K -theory and Witt groups (amongst other invariants) and improves on terms of associated spectral sequences and Gersten complexes.