Consider the following ring: $\mathbb{Z}\_p[[X,Y]]\otimes\_{\mathbb{Z}\_p}\mathbb{Q}\_p$ 
(this is the power series ring over $\mathbb{Z}\_p$ of two indeterminates tensored with $\mathbb{Q}\_p$). Is it the case that all finitely generated projective modules over it are free?



Are all finitely generated projective modules over the following ring free?
Quillen's question is whether every finite projective module over $R\_f$ is free, when $R$ is a regular local ring and $f \in \mathfrak m \setminus \mathfrak m^2$. There are many results of this nature in the literature. In particular, this is proved by Gabber for all three dimensional regular local rings in "Some theorems on Azumaya algebras", see <https://link.springer.com/chapter/10.1007/BFb0090480>


