Skip to main content
1 of 2
Hailong Dao
  • 30.5k
  • 5
  • 102
  • 188

Here is a quick proof that any complete local Cohan-Macaulay ring of dimension $1$ and multiplicity $2$ is a hypersurface, so the answer to your last question is always yes.

Call such ring $R$ with maximal ideal $m$. Since $e(R)=2$ and $R$ is CM, there is a regular element $x\in m$ such that $$length(R/xR) = e(R)=2$$ (see Bruns-Herzog, chapter 4). Now the left hand side is $length(m/xR) +1$, so $length(m/xR)=1$, so $m/xR$ is one-generated. It follows that $m$ is $2$-generated. Thus $R=A/I$, $A$ is a regular local ring of dimension $2$. But since $R$ is CM, $I$ must be of pure height one, and since $A$ is regular, $I$ is principal.

Note: in fact, the dimension one condition is not necessary, you can take a full length regular sequence and argue the same way (with just a little more work). So any CM singularity with multiplicity $2$ is a hypersurface.

Hailong Dao
  • 30.5k
  • 5
  • 102
  • 188