Is there an analogue of Quillen-Suslin theorem for power series? Let $A$ be a regular noetherian ring over a field. Consider the power series ring $A[[T]]$. Are projective modules on $A[[T]]$ extended from $A$? Or you can assume $A$ is local and replace be extendedness by being free.