6
$\begingroup$

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.

  • 0
    Have 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 2

4

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$.

4

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$.

  • 0
    Yes, 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