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$
15
  • $\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, 2015 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, 2015 at 0:02
  • $\begingroup$ But I wish to consider $k[x,y] \subseteq k[x,y][w]$ $\endgroup$
    – user237522
    Jun 25, 2015 at 0:04
  • $\begingroup$ Sorry, I do not understand your example; $k[x,y]$ IS a UFD $\endgroup$
    – user237522
    Jun 25, 2015 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, 2015 at 0:07

1 Answer 1

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$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .