Stability results for projective modules over blowup rings (Q2581395)

The author generalizes results of \textit{M.~P.~Murthy} [Stud. Math., Tata Inst. Fundam. Res. 16, 493--507 (2002; Zbl 1052.13005)] and \textit{M.~Ojanguren} and \textit{R.~Parimala} [Math. Ann. 287, 181--184 (1990; Zbl 0696.13007)]. Murthy proved that if \(R\) is an affine domain of dimension \(n\geq 3\) over an algebraically closed field \(k\) with char\,\(k=0\) or \(p\geq n\) and \(g,f_1,\ldots,f_r\) form an \(R\)-regular sequence, then any stably free module of rank \(\geq n-1\) over \(A=R[f_1/g,\ldots,f_r/g]\) is extended from \(R\). In the article under review, the author proves a similar result where instead of assuming that the projective module in question is stably free one merely assumes that it is of the form \(A\oplus P/(a,p')A\) where \(P\) is a projective module over \(A\) extended from \(R\) and \((a,p')\) is a unimodular element of \(A \oplus P\), i.e., there exists a \(\psi \in \text{Hom}(A\oplus P,A)\) such that \(\psi(a,p')=1\). A similar result is proved for affine algebras over the real numbers which generalizes the result of Ojanguren and Parimala.