13
$\begingroup$

Let $R$ be a regular local ring of dimension $n$ and let $P$ be a height $i$ prime ideal of $R$, where $1< i\leq n-1$. Can we find elements $x_1,\dots,x_i$ such that $P$ is the only minimal prime containing $x_1,\dots,x_i$?

  • 0
    Related to [Height one prime ideal of arithmetical rank greater than 1](http://math.stackexchange.com/questions/161170/height-one-prime-ideal-of-arithmetical-rank-greater-than-1/162376#162376).2013-04-28

1 Answers 1

8

Since $P$ has height $i$, the elements $x_1,...,x_i$ must be a regular sequence. Thus what you are asking is whether $V(P)$ is a set-theoretic complete intersection.

This is a notoriously difficult question in general. For example, it is not known for curves in $A_\mathbb C^3$.

In general, the answer is NO. The simplest example is perhaps $R=\mathbb C[x_{ij}]_{{1\leq i\leq 3},{1\leq j\leq 2}}$ and $P$ is generated by the $2$ by $2$ minors. To prove that $P$ is not generated up to radical by $2$ elements one has to show that the local cohomology module $H_P^3(R)$ is nonzero (basic properties of local cohomology dictates that $H_I^n(R)=0$ if $n$ is bigger than the number of elements that generate $I$ up to radical. That is because local cohomology can be computed with Cech complex on these generators).

Even then, the cleanest way to show $H_P^3(R)\neq 0$ involves a topological argument (the non-vanishing is not true in characteristic $p>0$ by the way).

If you want to know more, the key words are: set-theoretic complete intersection, analytic spread, local cohomology.

  • 0
    Let me mention that in the above example $\operatorname{height}P=2$.2016-09-14