For $R$, a commutative noetherian ring of dimension $d$, I'm looking for an example where $I \subset R$ is an ideal of height $n \lt d$ such that $I/I^2$ is generated by $n$ elements (locally $n$-generated is also fine), however, $I$ itself is not. Moreover, it would be greatly helpful if your response could address the geometric intuition of the example as well.
Example of height $n$ ideal with $I/I^2$ (locally) $n$-generated, but $I$ is not.
-
0Have you considered a non-regular local ring $R$ with maximal ideal $I$? Then I suspect $I\subset R[x]$ would suffice (as this fulfills the additional requirement n
), but someone should check me on this. – 2012-02-19
2 Answers
Alex is right. Let $R=(\mathbb Z[\sqrt{6}])[X]$, and take $I=(2,\sqrt{6})$. Then $R$ has dimension $2$, $I$ has height $1$ but is generated by two elements, and $I^2=(2,2\sqrt{6})$ so $I/I^2$ is generated by the element $\sqrt{6}+I^2$.
Take a Dedekind domain with a non principal prime ideal $P$. Then $P/P^2$ is generated by one element but not $P$.
Your question has negative answer because you ask too much. However, under your hypothesis $I$ is locally (on $\mathrm{Spec}(R)$) generated by $n$ elements (use Nakayama).
EDIT I said "you ask too much" because the geometric interpretation of your hypothesis on $I/I^2$ is that there exists a homomorphism $O_X^n \to I^{\sim}$ of $O_X$-modules (where $X=\mathrm{Spec}(R)$, $O_X$ is the structural sheaf and $I^{\sim}$ is the coherent sheaf associated to $I$) which is surjective at points of $V(I)$ (so surjective in some open neighborhood of $V(I)$). But there is no reason that the surjectivity extends to the whole $X$.
-
0Yes, please. The geometric perspective is _exactly_ what I'm after. Though, from your comment, it seems as though you're still saying that $I$ is locally $n$-generated (which is fine), and$I$know that this does not necessarily mean that $I$ is $n$-generated. What$I$wasn't clear on was "your question has a negative answer because you ask too much".$I$was looking for an example where $I$ was locally n-generated but not globally so. – 2012-02-24