Projective modules over overrings of polynomial rings and a question of Quillen (Q393513)

A conjecture by Bass and Quillen states that: if \(R\) is a regular ring, then every projective module over \(R[X_1, \cdots, X_r]\) is extended from \(R\). \textit{D. Quillen} [Invent. Math. 36, 167--171 (1976; ZbI 0337.13011)] asked the following question whose affirmative answer would imply that Bass-Quillen conjecture is true: if \((R, m)\) is a regular local ring and \(f\in m\) a regular parameter of \(R\), is every projective \(R_f\)-module free? \textit{S. M. Bhatwadeka} and \textit{R. A. Rao} [Trans. Am. Math. Soc. 279, 801--810 (1983; Zbl 0551.13002)], \textit{R. A. Rao} [Am. J. Math. 107, 387--406 (1985; Zbl 0586.13010)] and \textit{D. Popescu} [Bull. Math. Soc. Sci. Math. Roum., Nouv. Sér. 45(93), No. 3--4, 209--212 (2002; Zbl 1089.13504)] respectively provided situations for which Quillen's question has an affirmative answer. The main theorem of the paper under review generalizes Popescu's result: Theorem. Let \((R, m, K)\) be a regular local ring containing a field \(k\) such that either \(\text{char}~k=0\) or \(\text{char}~k=p\) and \(\text{tr-deg}~K/\mathbb F_p\geq 1\). Let \(g_1, \dots, g_t\) be regular parameters of \(R\) which are linearly independent modulo \(m^2\). If \(A=R_{g_1\dots g_t}[Y_1, \dots, Y_m, f_1(l_1)^{-1}, \dots, f_n(l_n)^{-1}]\) is a ring of type \(R_{g_1\dots g_t}[d-1, m ,n]^*\), then every projective \(A\)-module of rank \(\geq t\) is free.