Exact sequences in algebraic K-theory (Q1093727): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q797671 |
Set profile property. |
||
(One intermediate revision by one other user not shown) | |||
Property / reviewed by | |||
Property / reviewed by: Michael R. Stein / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 03:10, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Exact sequences in algebraic K-theory |
scientific article |
Statements
Exact sequences in algebraic K-theory (English)
0 references
1987
0 references
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.
0 references
exact categories
0 references
cofinality
0 references
long exact sequence
0 references
algebraic K-groups
0 references
Quillen's dévissage theorem
0 references
Quillen's resolution theorem
0 references
localization for projective modules
0 references
higher algebraic K-theory
0 references