Let $R=K[x_1,...,x_n]$ be the polynomial ring over a field $K$ and $I[x_1,...,x_n]=(u_1,...,u_t)$ be a CohenMacaulay monomial ideal of $R$. If $m<n$, could we say that $I[x_1,...,x_m,0,0,...,0]$ is CohenMacaulay in $K[x_1,...,x_m]$?

$\begingroup$ Not all of us are ringtheory specialists. Would you provide the CM ideal definition? $\endgroup$ – Wlod AA Jan 15 '20 at 7:15

1$\begingroup$ @WlodAA An ideal $I$ of $R$ is CohenMacaulay if $R/I$ is a CohenMacaulay ring. $\endgroup$ – Stephen McKean Jan 16 '20 at 16:01

$\begingroup$ Oh, well, a reader here has to be either young or a specialist, $\endgroup$ – Wlod AA Jan 17 '20 at 10:28
No, we can't say that. For a counterexample, take $n = 3$, $m = 2$, and let $I = (x_2^2, x_1x_2, x_1x_3)$.
To see that $I$ is CohenMacaulay, note that the Krull dimension of $R/I$ is 1. CohenMacaulayness is then equivalent to $I$ having no associated prime $P$ with dimension $R/P$ equal to 0. Since $I$ is homogeneous, its associated primes are homogeneous, and so the only possible example of such an associated prime is $P = (x_1,x_2,x_3)$, which is easily seen not to annihilate any element of $R/I$, hence is not associated with $I$.
On the other hand the restricted ideal $I' = (x_2^2, x_1x_2) \subset K[x_1,x_2]$ is not CohenMacaulay, since $x_2$ is annihilated by $(x_1,x_2)$ in $K[x_1,x_2]/I'$, and so $(x_1,x_2)$ is an associated prime of $I'$.


$\begingroup$ For another example, take $I=(x_1x_3,x_1x_4,x_2x_4)$. This is CohenMacaulay since it is the face ring (aka "StanleyReisner ring") of a connected graph. (It's also easy to check CohenMacaulayness directly.) But $I=(x_1x_3,x_1x_4)$ is not CohenMacaulay since it's the face ring of a nonpure simplicial complex. (The face ring of any nonpure simplicial complex has depth 1.) $\endgroup$ – Richard Stanley Dec 6 '20 at 14:03