Homotopy invariance of higher K-theory for abelian categories, by Satoshi Mochizuki and Akiyoshi Sannnai

The main theorem is that the base change functor from an abelian category A to its polynomial category in the sense of Schlichting induces an isomorphism on their K-theory if A is noetherian and has enough projective objects. The main theorem implies the well-known fact that A^1-homotopy invariance of G-theory for noetherian schemes.

Satoshi Mochizuki <mochi81@hotmail.com>
Akiyoshi Sannnai <sannai@ms.u-tokyo.ac.jp>