A cancellation theorem for projective modules over affine algebras over \(C_{1}\)-fields. (Q1413884)

Let \(k\) be a \(C_1\)-field, that is for every homogeneous polynomial \(F(x_1,x_2,\dots, x_n)\) of the degree \(d< n\) the equation \(F(x_1,x_2,\dots, x_n)= 0\) has a nontrivial solution in \(k^n\). Assume that \(\text{char\,}k= 0\), \(A\) is an affine algebra over \(k\) of (Krull) dimension \(d>1\) and \(P\) is a finitely generated projective \(A\)-module of rank \(d\). The author proves that \(P\) is cancellative then, i.e., \[ ((\exists n)A^n\oplus P\cong A^n\oplus Q)\Rightarrow P\cong Q \] (where \(A^n\) ist the free module of rank \(n\)). This is a generalization of \textit{A. A. Suslin's} result [J. Sov. Math 27, 2974--2980 (1984; Zbl 0569.14006)] related to the case of a free module \(P\).