7
$\begingroup$

Let $(R,m)$ be commutative noetherian local ring with unity. Suppose $P$ is a finitely generated projective module over $R[X]$ of rank $n$ . Is $P$ free? If not, what is the counter example?

  • 2
    Well the answear is affirmative by obvious application of serre's conjecture if $(R,m)$ is zero dimensional. In general I expect a counter example. But I am not getting it. thanking you2011-02-27
  • 0
    According to Wikipedia a counterexample occurs with R equal to the local ring of the curve $y^2 = x^3$ at the origin. It doesn't state what the counterexample is or provide a reference. http://en.wikipedia.org/w/index.php?title=Projective_module&oldid=388883610#Serre.27s_problem2011-02-27
  • 2
    @Anjan: the Quillen-Suslin solution of Serre's conjecture actually showed a bit more, and in particular gives an affirmative answer to your question when $R$ is a DVR. Moreover, it a famous conjecture of Bass and Quillen that your question should have an affirmative answer if you add the hypothesis of **regularity** (since a regular one-dimensional local ring is a DVR, this is exactly what we did above). So I think you should look for counterexamples among singular one-dimensional local rings. (I don't know of one off the top of my head, but I also suspect they should exist.)2011-02-27
  • 0
    Another good place to look would be Lam's new(ish) book *Serre's Problem on Projective Modules*. (I do not yet have a copy, or I would tell you whether a counterexample can be found there.)2011-02-27
  • 0
    @Pete: If $R$ is a DVR there's a much easier proof (this is from Lam's book you mentioned): Start from Kaplansky's theorem that every submodule of a free module over a left hereditary ring (every left ideal is projective) is a sum of left ideals (see Lam, *Lectures on modules and rings*, (2.24), p. 42). For a DVR $R$ every left ideal $I$ of $R[X]$ is of the form $R[X] \cdot f$ where $f$ is a polynomial in $I$ of minimal degree (by the division algorithm). Since $R[X]$ has no zero-divisors, we have $I \cong R[X]$. Thus Kaplansky's theorem shows that every projective module over $R[X]$ is free.2011-02-27

1 Answers 1