Irreducible components of quotients of Cohen-Macaulay rings of the "correct" dimension - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T11:19:19Z http://mathoverflow.net/feeds/question/34066 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/34066/irreducible-components-of-quotients-of-cohen-macaulay-rings-of-the-correct-dime Irreducible components of quotients of Cohen-Macaulay rings of the "correct" dimension Alexander Woo 2010-07-31T23:13:46Z 2010-08-01T13:47:06Z <p>Suppose $R$ is a Cohen-Macaulay ring. It is well known that if $I$ is an ideal of $R$ generated by $n$ elements, and $I$ has codimension $n$, then $R/I$ is also Cohen-Macaulay.</p> <p>Now suppose that $I$ does not have codimension $n$, but (the scheme defined by) $R/I$ has several irreducible components, one of which has codimension $n$. Is (the coordinate ring of) that component necessarily Cohen-Macaulay?</p> <p>Because being Cohen-Macaulay is a local condition, it is clear that the component is generically (in fact everywhere it does not intersect the other components) Cohen-Macaulay, but there is no reason obvious to me why this would extend to the whole component.</p> http://mathoverflow.net/questions/34066/irreducible-components-of-quotients-of-cohen-macaulay-rings-of-the-correct-dime/34085#34085 Answer by Hailong Dao for Irreducible components of quotients of Cohen-Macaulay rings of the "correct" dimension Hailong Dao 2010-08-01T04:37:24Z 2010-08-01T04:37:24Z <p>Hi Alex, I think this fails for $n=2$. Start with a polynomial ring $S$ and height $2$ prime $P$ such that $S/P$ is not Cohen-Macaulay (for example let $P$ be the kernel of the map $S=k[a,b,c,d] \to k[x^4,x^3y,xy^3,y^4]$). Let $a,b$ be a regular sequence in $P$. Let $R=S[t]$ and $I=(ta,tb)$. Then $I$ has height $1$ and is $2$-generated but the components of $I$ is $(t)$ and the components of $(a,b)$, which include $P$. But $R/P$ is not Cohen-Macaulay because $S/P$ isn't. </p> http://mathoverflow.net/questions/34066/irreducible-components-of-quotients-of-cohen-macaulay-rings-of-the-correct-dime/34089#34089 Answer by damiano for Irreducible components of quotients of Cohen-Macaulay rings of the "correct" dimension damiano 2010-08-01T07:40:55Z 2010-08-01T13:47:06Z <p>To complement Hailong's answer, here is another way of seeing that an irreducible component of a Cohen-Macaulay scheme need not have special properties. In the example below, the whole scheme is Cohen-Macaulay, so all of its components have the same dimension, unlike in Hailong's example.</p> <p>Let $X$ be a reduced and irreducible subscheme of projective space $\mathbb{P}^n$ of codimension $c$. Choose $c$ elements $f_1,\ldots,f_c$ in the ideal of $X$ in $\mathbb{P}^n$ with the property that the vanishing set $X'$ of $f_1,\ldots,f_c$ is reduced and has codimension $c$. Thus the scheme $X'$ contains $X$ as a component, it is a complete intersection, and hence it is Cohen-Macaulay. On the other hand, $X$ was essentially arbitrary, so you could have chosen it to be not Cohen-Macaulay!</p> <p>For a more explicit example, let $X$ be a surface in $\mathbb{P}^4$ with a point that analytically locally looks like the union of two planes at a single point. (This is one of the standard example of a scheme that is not Cohen-Macaulay.) Choose two "general" elements of the ideal of $X$, and let $X'$ be the scheme defined by those two elements. Thus, $X'$ is Cohen-Macaulay and $X$ is a component of $X'$, but the surface $X$ it is not Cohen-Macaulay.</p> <p><strong>EDIT</strong> As Hailong pointed out, I answered a question that is different than what was asked. To answer the initial question, it suffices to argue as above, choosing also a hypersurface $H$ in $\mathbb{P}^n$ not containing $X$. Denote by $h$ an equation for $H$ and replace $f_1 , \ldots , f_c$ by $h f_1 , \ldots , h f_c$. The vanishing set $\overline{X}$ of these equations consists of the union of $H$ and the scheme $X'$ we had before. Thus $X$ is still a component of $\overline{X}$, of codimension $c$ in $\mathbb{P}^n$, the ideal of $\overline{X}$ is generated by $c$ equations, but the component $X$ is (essentially) arbitrary, in particular it need not be Cohen-Macaulay. This should now answer the question that was asked!</p>