10
$\begingroup$

Let $R$ the polynomial ring in $n$ variables with complex coefficients and $I$ an ideal of $R$. Is it true that if $R/I$ is CM also $R/J$ is CM (where $J$ is the radical of $I$)? Is there a relations between a resolution of $R/J$ and one of $R/I$? What if I suppose that $proj.dim(R/I)=2$?

$\endgroup$
4
  • $\begingroup$ Why projective dimension 2? Hartshorne's example $k[s^4,s^3t,st^3,t^4]$ works in char $p>0$. $\endgroup$ Nov 27, 2010 at 17:12
  • $\begingroup$ because I'm looking at a case in which the projective dimension is 2. Sorry, I'm not confident with Hartshorne's example....but I work in char p=0. $\endgroup$ Nov 27, 2010 at 17:19
  • $\begingroup$ Michele: I doubt it will be true in projective dimension 2. If you have a specific situation, you should post the details separately. This is not easy stuff to answer without knowing full details. $\endgroup$ Nov 27, 2010 at 18:07
  • $\begingroup$ sorry, you are right. In my case I is the jacobian ideal of a polynomial f such that R/I is CM of codim 2 and hence proj.dim 2 $\endgroup$ Nov 27, 2010 at 18:16

2 Answers 2

11
$\begingroup$

It is not true, but the example is not easy to find $I = (x_2^2-x_4x_5,x_1x_3-x_3x_4, x_3x_4-x_1x_5)$!

$\endgroup$
5
  • $\begingroup$ ok, is it true adding some restriction on I? $\endgroup$ Nov 26, 2010 at 15:20
  • $\begingroup$ The only thing that jumps to my mind is hypersurfaces. In general, there's probably not much you can say. For example, many many varieties are locally set theoretic complete intersections (ie, the radicals are cut out by a regular sequence locally) but don't satisfy any nice properties themselves. Maybe Long will have some more suggestions? $\endgroup$ Nov 26, 2010 at 15:41
  • $\begingroup$ what if R is local?like power series? $\endgroup$ Nov 26, 2010 at 16:07
  • $\begingroup$ Michele: the same example works in the power series rings $k[[x_1,\cdots,x_5]]$. In addition to what Karl says, if $I$ is monomial, then what you say is true. $\endgroup$ Nov 26, 2010 at 16:24
  • $\begingroup$ With respect to what I said, it should be "(ie, they are cut out by regular sequences up to radical)." $\endgroup$ Nov 26, 2010 at 18:22
1
$\begingroup$

Yes. From Eisenbud's Commutative Algebra: a ring $S$ is Cohen-Macaulay iff all the maximal ideal $m$ of $S$ satisfies codim($m$) = depth($m$). Now, the maximal ideals of $R/J$ are the same as $R/I$ and their depths and codimensions are the same as well.

$\endgroup$
3
  • $\begingroup$ so it seems that also if R/J is CM then R/I is CM, but this is false if I'm not wrong. $\endgroup$ Nov 26, 2010 at 14:33
  • $\begingroup$ You are right. I guess you also need to observe to things: 1) a maximal $R/I$-sequence is also a maximal $R/J$ sequence, so that depth($R/J$) $\geq$ depth($R/I$), and 2) depth of any maximal ideal is less than or equal to its codimension. $\endgroup$
    – pinaki
    Nov 26, 2010 at 14:58
  • 1
    $\begingroup$ @auniket: I don't think that a $R/I$-sequence always becomes $R/J$-sequence. $\endgroup$ Nov 26, 2010 at 16:26

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.