Exact sequences in algebraic K-theory
type: Item
instance of: scholarly article
title: Exact sequences in algebraic K-theory
zbMATH Open document ID: 0629.18010
author: Daniel R. Grayson
published in: Illinois Journal of Mathematics
publication date: 1987-01-01T00:00:00Z
review text: Suppose P and M are exact categories (in the sense of Quillen), and that \(F: P\to M\) is an exact functor. If a certain ``cofinality''-type criterion is satisfied by F, it follows that a particular square of spaces is homotopy-Cartesian, giving rise to a long exact sequence of algebraic K-groups which includes the induced maps \(K_ iP\to K_ iM.\) It turns out that the criterion on F is often satisfied, and that the third term in the resulting exact sequence can often be identified. This general machine, therefore, produces new proofs, which share a common core, of the following theorems of algebraic K-theory: (1) the cofinality theorem of Grayson and Waldhausen; (2) Quillen's dévissage theorem; (3) Quillen's resolution theorem; and (4) Quillen's theorem on localization for projective modules. The author also uses his construction to produce new definitions for the higher algebraic K-theory of an exact category.
Mathematics Subject Classification ID: 18F25
Mathematics Subject Classification ID: 18E10
zbMATH DE Number: 4023543
zbMATH Keywords: exact categories
zbMATH Keywords: cofinality
zbMATH Keywords: long exact sequence
zbMATH Keywords: algebraic K-groups
zbMATH Keywords: Quillen's dévissage theorem
zbMATH Keywords: Quillen's resolution theorem
zbMATH Keywords: localization for projective modules
zbMATH Keywords: higher algebraic K-theory
reviewed by: Michael R. Stein
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 4023543