Projective modules over overrings of polynomial rings and a question of Quillen
arXiv:1408.2619
Abstract
Let $(R,\mm,K)$ be a regular local ring containing a field such that either char or char and tr-deg $K/\BF_p\geq 1$. Let be regular parameters of which are linearly independent modulo $\mm^2$. Let , where and with . Then every projective -module of rank is free. Laurent polynomial case of this result is due to Popescu.