3
$\begingroup$

Consider a nonsingular projective variety $X$ over an algebraically closed field $k$ and let $Y \subseteq X$ be a nonsingular closed subvariety. Let $\mathcal I \subseteq \mathcal O_X$ be the ideal sheaf of $Y$ and let $\mathcal L$ be a very ample invertible sheaf on $X$. If it makes the setup any easier we can assume that $X$ is projectively normal under the associated embedding to some projective space. Set $$ R(\mathcal L) := \bigoplus_{n \geq 0} \Gamma( X, \mathcal L^n ), $$ the section ring associated to $\mathcal L$. Then for each $m \geq 0$ we have the homogeneous ideal $$ R_m(\mathcal L) := \bigoplus_{n \geq 0} \Gamma( X, \mathcal I^m \otimes_{\mathcal O_X} \mathcal L^n ) $$ of the ring $R(\mathcal L)$. These ideals define a decreasing multiplicative filtration on $R(\mathcal L)$ so we can consider the associated (bi-)graded ring $gr R(\mathcal L)$.

Here is my question: Under what conditions can we conclude that this graded ring is Noetherian? Is this always true? Unfortunately I do not have a deep knowledge of commutative algebra so I have gotten stuck on this point. If it makes the answer easier we can even assume that $Y$ is a point.

$\endgroup$
2
  • $\begingroup$ I think all that's happening here is that you're filtering your $R$ by powers of an ideal $I$. No? In which case $R$ is Noetherian so $gr_I\ R$ is too. $\endgroup$ Commented May 24, 2013 at 3:40
  • $\begingroup$ That makes sense, although it's not clear to me why the multiplication map $ R_1(\mathcal L)^{\otimes m} \to R_m(\mathcal L)$ should be surjective (but I might be missing something easy here). $\endgroup$ Commented May 24, 2013 at 14:28

0

You must log in to answer this question.

Browse other questions tagged .