Projective bundle formula for Heller's relative K₀

抄録

In this article, we study the Heller relative K₀ group of the map P^r_X → P^r_S, where X and S are quasi-projective schemes over a commutative ring. More precisely, we prove that the projective bundle formula holds for Heller's relative K₀, provided X is flat over S. As a corollary, we get a description of the relative group K₀ (P^r_X → P^r_S) in terms of generators and relations, provided X is affine and flat over S.