Algebraic K-theory of Grassmann varieties and their convoluted forms (Q920171)

Let \(Y\) be a Noetherian scheme over a field of characteristic zero, \(\mathcal E\) a vector bundle of rank \(n\) over \(Y\), and \(G=\text{Gr}(k,\mathcal E)\xrightarrow {p} Y\) the bundle of Grassmannians associated with \(\mathcal E\). The author shows that the natural homomorphism \(K_0(G)\otimes K_i(Y)\to K_i(G)\) is an isomorphism, and describes two bases of \(K_0(G)\) over \(K_0(Y)\). A similar result is obtained for the bundle of Grassmannians \(p: G\to Y\) determined by an element \(\phi \in H^1_{\text{et}}(Y, \mathrm{PGL}(n))\). These results represent a generalization of results by \textit{D. Quillen} [in: Algebraic K-theory I, Proc. Conf. Battelle Inst. 1972, Lecture Notes Math. 341, 85--147 (1973; Zbl 0292.18004)] for \(k=1\). The methods used by the author differ substantially from those of D. Quillen.