Let g be a finite dimensional Lie algebra over k, and let U be its universal enveloping Lie algebra. Is there a left module M of U which is projective but not free? That is, is the Quillen-Suslin theorem still true for enveloping algebras?
Quillen-Suslin says this there are no non-free projectives for S(g), the associated graded algebra of U. Thus, if the associated graded module of a projective is projective, then it is free (and so the original module was also free). Therefore, this question is equivalent to the question "Is the associated graded module of a projective U-module always projective?"
My guess is no, because the Weyl algebra has non-free projectives, even though it's associated graded algebra is a polynomial algebra. However, the tricks I know that work for the Weyl algebra don't work for Lie algebras. I would love a simple example of a non-free projective U-module.
