1
$\begingroup$

The well-known theorem of Quillen-Suslin says that a finitely generated projective module over $k[x_1,\ldots,x_n]$ is free, See https://mathoverflow.net/questions/19584/what-is-the-insight-of-quillens-proof-that-all-projective-modules-over-a-polyno

What can be said about a finitely generated projective module over a simple algebraic ring extension of $k[x_1,\ldots,x_n]$? Namely, let $w$ be algebraic over $k[x_1,\ldots,x_n]$. What can be said about a finitely generated projective module over $k[x_1,\ldots,x_n][w]$?

I do not know if this question is difficult or trivial (=for example, if there is a known result which says what is the connection between finitely generated projective modules over a ring $R$ and finitely generated projective modules over a simple algebraic ring extension of $R$).

$\endgroup$
  • $\begingroup$ In general there is little you can say. For example, they could be regular, but not a UFD, giving non-trivial projective modules of rank one. $\endgroup$ – Mohan Jun 24 '15 at 23:44
  • $\begingroup$ Yes. For example, consider $k[x]\subset k[x,y]$ where $y^2=x^3+1$. Then $k[x,y]$ is regular, but not a UFD. $\endgroup$ – Mohan Jun 25 '15 at 0:02
  • $\begingroup$ But I wish to consider $k[x,y] \subseteq k[x,y][w]$ $\endgroup$ – user237522 Jun 25 '15 at 0:04
  • $\begingroup$ Sorry, I do not understand your example; $k[x,y]$ IS a UFD $\endgroup$ – user237522 Jun 25 '15 at 0:06
  • $\begingroup$ Add a variable! For example $k[x,y]\subset k{x,y][w]$ with $w^2=x^3+1$. $\endgroup$ – Mohan Jun 25 '15 at 0:07
1
$\begingroup$

In general there is little you can say. For example, they could be regular, but not a UFD, giving non-trivial projective modules of rank one.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.