Finding an ideal such that quotient is Cohen-Macaulay

349 Views Asked by At

Let $R$ be a commutative local Noetherian ring which is not a domain and not Cohen-Macaulay. Can we find an ideal $I$ in $R$ such that $R/I$ is Cohen-Macaulay, and $\dim R/I=\dim R$?

2

There are 2 best solutions below

0
On BEST ANSWER

I don't think the answer is true in general. Let $(A,m)$ be a Noetherian local domain which is not Cohen-Macaulay. Let $R$ be the localization of $A[x]/(x^2)$ at $(m, x)$. Then $(x)$ is the unique minimal prime with $\dim R = \dim R/(x)$, but $R/(x) \cong A$ is not Cohen-Macaulay.

Let $I$ be an $R$-ideal such that $\dim R/I = \dim R$. Write $p = (x)$. Then Min$(R/I) = \{ p \}$ since $\sqrt{0} = p$. Suppose that $R/I$ is Cohen-Macaulay. Then Min$(R/I) = $ Ass$(R/I)$. Hence $I$ is an $p$-primary ideal. Observe that $R_p$ is a localization of $K[x]/(x^2)$ where $K$ is the field of fraction of $A$. Thus $R_p$ is a principal ideal ring. In particular, the only non zero proper ideal is $p_p$. This shows that $I_p = p_p$. Therefore, $I = p$ since $I$ is $p$-primary. This is a contradiction.

4
On

Let $R = \{f(1,1) = f(-1,-1)\} \subset k[x,y]$. So $\mathrm{Spec} R$ looks like a surface passing back through itself at an isolated point. The singular point is not Cohen-Macaulay since it looks like two planes meeting at a point (analytically).

Now let $S = R \oplus R$, so $\mathrm{Spec} S$ is the disjoint union of two copies of of this surface. There are no Cohen-Macaulay, dimension 2 closed subsets of $\mathrm{Spec} S$!

Edit: you asked for a local ring, so instead take the union of two copies of the surface meeting at the singular point, and take the local ring of the point.