text:
# Cohen-Macaulay Fiber Cones

## 1. Introduction

Let $`(R,m)`$ be a local ring and let $`I`$ be an ideal of $`R`$. The fiber cone of $`I`$ is the graded ring $`F(I):=_{n0}I^n/mI^n`$. In this paper we will give a necessary and sufficient condition, in terms of Hilbert series of $`F(I)`$, for it to be Cohen-Macaulay (CM). We apply this criterion to a variety of examples.

Cohen-Macaulay fiber cones have been studied by K. Shah \[Sh\] and T. Cortadellas and S. Zarzuela \[CZ\]. Shah characterized Cohen-Macaulay fiber cones terms of their Hilbert function. To recall his result let us introduce some notation and terminology. An ideal $`JI`$ is called a reduction of $`I`$ if $`JI^n=I^{n+1}`$ for some $`n`$. We say $`J`$ is a minimal reduction of $`I`$ if whenever $`KI`$ and $`K`$ is a reduction of $`I`$, then $`K=J`$. These concepts were introduced by Northcott and Rees in \[NR\]. They showed that when $`R/m`$ is infinite, any minimal reduction of $`I`$ is minimally generated by $`dimF(I)`$ elements. The Krull dimension of the fiber cone $`F(I)`$ is an important invariant of $`I`$ and it is called the analytic spread of $`I`$. We denote it by $`a(I)`$. It is known \[R2\] that ht$`Ia(I)\mathrm{min}(\mu (I),dimR)`$ where $`\mu (I)=dimI/mI`$. Let $`\mathrm{}`$ denote the length of the module. We can now state the necessary condition found by Shah for $`F(I)`$ to be CM.

###### Theorem 1.1.

(Shah) Let $`(R,m)`$ be a local ring and let $`I`$ be an ideal in $`R`$ of analytic spread $`a`$. Let $`J`$ be a minimal reduction of $`I`$. If $`F(I)`$ is CM, then for all $`n0`$

$$\mu (I^n)=\underset{i0}{}\left[\mu (I^i)\mathrm{}\left(\frac{JI^{i1}}{JI^{i1}mI^i}\right)\right]\left(\genfrac{}{}{0pt}{}{n+ai1}{a1}\right).$$

K. Shah conjectured that the converse is also true. In this paper we prove the converse. The proof is presented in section two. In section three we define ideals of minimal mixed multiplicity in CM local rings and calculate the Hilbert series of their fiber cone. It turns out that for such ideals the fiber cone is CM if and only if $`r(I)1`$. By using this result we construct zero dimensional ideals in a two dimensional regular local ring whose fiber cones are not CM. Section four is about fiber cones of ideals generated by quadratic sequences. In the final section we provide a few other examples of CM fiber cones.

Acknowledgements: The first author wishes to thank the National Board of Higher Mathematics for financial support and the Indian Institute of Technology, Bombay, where the research on this paper was carried out. The second named author wishes to acknowledge financial help in the form a grant from the Department of Science and Technology of the Government of India to the SPIC Mathematical Institute for purchase of computing equipment on which calculations using Macaulay could be performed. The last named author wishes to acknowledge the hospitality of the SPIC Mathematical Institute during a visit on which part of the work on this paper was done.

## 2. Cohen-Macaulay fiber cones

In this section we state K. Shah’s result in terms of Hilbert series of $`F(I)`$. For the sake of completeness we give an alternate proof and prove the converse. We will denote the multiplicity of $`F(I)`$ by $`e(F(I))`$. We know that if $`F(I)`$ is CM then $`e(F(I))\mu (I)a+1`$ \[A\]. When equality holds, we say that $`F(I)`$ has minimal multiplicity. The reduction number of $`I`$ with respect to a minimal reduction $`J`$ of $`I`$ is defined as

$$r_J(I)=\mathrm{min}\{n0|JI^n=I^{n+1}\}.$$

The reduction number of $`I`$ denoted by $`r(I)`$ is defined to be the minimum of $`r_J(I)`$ where $`J`$ varies over all minimal reductions of $`I`$.

###### Theorem 2.1.

Let $`(R,m)`$ be a local ring and let $`I`$ be any ideal of $`R`$. Let $`J`$ be any minimal reduction of $`I`$. Then the following are equivalent:

1. $`F(I)`$ is CM.
2. $`H(F(I),t)={\displaystyle \frac{1}{(1t)^a}}{\displaystyle \underset{i=0}{\overset{r}{}}}\mathrm{}\left({\displaystyle \frac{I^i}{JI^{i1}+mI^i}}\right)t^i`$ where $`r=r_J(I)`$ and $`a=dimF(I)`$.
3. $`e(F(I))={\displaystyle \underset{n=0}{\overset{r}{}}}\mathrm{}\left({\displaystyle \frac{I^n}{JI^{n1}+mI^n}}\right)`$.

Proof: $`(1)(2)`$. Suppose that $`F(I)`$ is CM. Since $`JF(I)`$ is generated by a homogeneous system of parameters, it is generated by a regular sequence. Thus

$$H(F(I),t)=\frac{1}{(1t)^a}H(\frac{F(I)}{JF(I)},t).$$

Notice that

$$JF(I)=\underset{i=1}{\overset{r}{}}\left(\frac{JI^{i1}+mI^i}{mI^i}\right)\left[\underset{i=r+1}{\overset{\mathrm{}}{}}\left(\frac{I^i}{mI^i}\right)\right].$$

Hence

$$\frac{F(I)}{JF(I)}=\frac{R}{m}\left[\underset{i=1}{\overset{r}{}}\left(\frac{I^i}{JI^{i1}+mI^i}\right)\right].$$

This gives

$$H(\frac{F(I)}{JF(I)},t)=\underset{i=0}{\overset{r}{}}\mathrm{}\left(\frac{I^i}{JI^{i1}+mI^i}\right)t^i.$$

which gives $`(2)`$.

$`(2)(3)`$. Put $`t=1`$ in the numerator of $`H(F(I),t)`$.

$`(3)(1)`$. Let $``$ denote the maximal homogeneous ideal of $`F(I)`$. It is enough to show that $`F(I)_{}`$ is CM by \[MR\]. Since $`F(I)`$ is homogeneous graded ring, the associated graded ring $`gr(F(I)_{},F(I)_{})F(I)`$. Thus $`e(F(I))=e(F(I)_{})`$. It is also clear that $`\mathrm{}(F(I)/JF(I))=\mathrm{}(F(I)_{}/JF(I)_{})`$. Thus $`F(I)_{}`$ is CM and hence $`F(I)`$ is so.

###### Remark 2.2.

Let $`(R,m)`$ be a local ring and let $`I`$ be any ideal of $`R`$. If $`F(I)`$ is Cohen-Macaulay , then by theorem 2.1, for any minimal reduction $`J`$ of $`I`$, $`r_J(I)`$ is the degree of the numerator of the Hilbert series of $`F(I)`$ in the reduced form. Hence the reduction number $`r_J(I)`$ is independent of the choice of the minimal reduction $`J`$ of $`I`$. This observation is also proved, by different means, by Huckaba and Marley in \[HM\].

###### Corollary 2.3.

(Shah) Let $`(R,m)`$ be a local ring. Suppose $`I`$ is an ideal of $`R`$ of analytic spread $`a`$ having a minimal reduction $`J=(x_1,\mathrm{},x_a)`$ with $`JI=I^2`$. If $`x_1,\mathrm{},x_a`$ is a regular sequence, then $`F(I)`$ is CM with minimal multiplicity.

Proof: We can extend $`x_1,\mathrm{},x_a`$ to a minimal basis of $`I`$. So let $`\mu (I)=a+p`$ and $`I=(x_1,\mathrm{},x_a,y_1,\mathrm{},y_p)`$. Set $`K=(y_1,\mathrm{},y_p)`$. Then $`I^n=(J^n,J^{n1}K,\mathrm{},K^n)`$. For $`i2`$, $`J^{ni}K^iJ^{ni}I^i=I^n=J^{n1}I`$ since $`JI=I^2`$. Thus $`I^n=(J^n,J^{n1}K)`$. Let $`M_1,\mathrm{},M_r`$ be all the monomials of degree $`n`$ in $`x_1,\mathrm{},x_a`$ and let $`m_1,\mathrm{},m_N`$ be all the monomials in $`x_1,\mathrm{},x_a`$ of degree $`n1`$. We claim that $`I^n`$ is minimally generated by the elements

$$\{M_1,\mathrm{},M_r\}\{m_iy_j|i=1,\mathrm{},N;j=1,\mathrm{},p\}.$$

Indeed, let them satisfy the relation

$$\underset{i=1}{\overset{r}{}}a_iM_i+\underset{j=1}{\overset{p}{}}\underset{i=1}{\overset{N}{}}b_{ij}m_iy_j=0.$$

Let $`b_{\alpha \beta }m`$. Rewrite the above relation as

$`{\displaystyle \underset{i=1}{\overset{r}{}}}a_iM_i+{\displaystyle \underset{j=1}{\overset{p}{}}}{\displaystyle \underset{\stackrel{i=1}{i\alpha }}{\overset{N}{}}}b_{ij}m_iy_j+m_\alpha {\displaystyle \underset{j=1}{\overset{p}{}}}b_{\alpha j}y_j=0.`$
Hence

$`{\displaystyle \underset{j=1}{\overset{p}{}}}b_{\alpha j}y_j(J^n,m_1,\mathrm{},\widehat{m}_\alpha ,\mathrm{},m_N):m_\alpha `$
which gives

$$y_\beta (J,y_1,\mathrm{},\widehat{y}_\beta ,\mathrm{},y_p)$$

which gives a contradiction. Thus

$`H(F(I),t)`$ $`=`$ $`{\displaystyle \underset{n=0}{\overset{\mathrm{}}{}}}\mu (I^n)t^n`$
$`=`$ $`{\displaystyle \underset{n=0}{\overset{\mathrm{}}{}}}\left[\left({\displaystyle \genfrac{}{}{0pt}{}{a1+n}{a1}}\right)+\left({\displaystyle \genfrac{}{}{0pt}{}{a2+n}{a1}}\right)p\right]t^n`$
$`=`$ $`{\displaystyle \underset{n=0}{\overset{\mathrm{}}{}}}\left({\displaystyle \genfrac{}{}{0pt}{}{a1+n}{a1}}\right)t^n+p{\displaystyle \underset{n=0}{\overset{\mathrm{}}{}}}\left[\left({\displaystyle \genfrac{}{}{0pt}{}{a1+n}{a1}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{a2+n}{a2}}\right)\right]t^n`$
$`=`$ $`{\displaystyle \frac{1}{(1t)^a}}+p\left[{\displaystyle \frac{1}{(1t)^a}}{\displaystyle \frac{1}{(1t)^{a1}}}\right]`$
$`=`$ $`{\displaystyle \frac{1+pt}{(1t)^a}}`$
It remains to show that $`p=\mathrm{}(I/J+mI)`$. In fact

$$\mathrm{}\left(\frac{I}{J+mI}\right)=\mathrm{}\left(\frac{I}{mI}\right)\mathrm{}\left(\frac{J+mI}{mI}\right)=\mu (I)\mathrm{}\left(\frac{J}{mJ}\right)=\mu (I)\mu (J)=p..$$

Therefore $`F(I)`$ is CM. Since $`e(F(I))=1+\mu (I)a`$, $`F(I)`$ is CM with minimal multiplicity.

## 3. Fiber cones of ideals with minimal mixed multiplicity

Let $`(R,m)`$ be a local ring. Define the function $`H:IN^gIN`$ for $`g`$ $`m`$-primary ideals $`I_1,\mathrm{},I_g`$ as follows:

$`H(r_1,\mathrm{},r_g)=\mathrm{}\left({\displaystyle \frac{R}{I_1^{r_1}\mathrm{}I_g^{r_g}}}\right).`$
It was proved in \[T\] that $`H(r_1,\mathrm{},r_g)`$ is given by a polynomial $`P(r_1,\mathrm{},r_g)`$ with rational coefficients for all large $`r_1,\mathrm{},r_g`$. The total degree of $`P`$ is $`d`$ and the terms of degree $`d`$ in $`P`$ can be written as

$`{\displaystyle \underset{i_1+\mathrm{}+i_g=d}{}}e(I_1^{[i_1]}|\mathrm{}|I_g^{[i_g]})\left({\displaystyle \genfrac{}{}{0pt}{}{r_1+i_1}{i_1}}\right)\mathrm{}\left({\displaystyle \genfrac{}{}{0pt}{}{r_g+i_g}{i_g}}\right)`$
for certain positive integers $`e(I_1^{[i_1]}|\mathrm{}|I_g^{[i_g]})`$. These positive integers are called mixed multiplicities of $`I_1,\mathrm{},I_g`$. When $`g=2`$ we adopt the notation

$`e_i(I_1|I_2)=e(I_1^{[di]}|I_2^{[i]}).`$
Rees \[R1\] showed that $`e_0(I_1|I_2)=e(I_1)`$ and $`e_d(I_1|I_2)=e(I_2)`$. Other mixed multiplicities can also be interpreted as multiplicities of certain parameter ideals. Teissier and Risler \[T\] provided an interpretation of mixed multiplicities in terms of superficial elements. Rees \[R3\] introduced joint reductions to study them. A set of elements $`x_1,\mathrm{},x_d`$ is a called a joint reduction of $`I_1,\mathrm{},I_d`$ if $`x_iI_i`$ for $`i=1,\mathrm{},d`$ and there exists a positive integer $`n`$ so that

$`\left[{\displaystyle \underset{j=1}{\overset{d}{}}}x_jI_1\mathrm{}\widehat{I_j}\mathrm{}I_d\right](I_1\mathrm{}I_d)^{n1}=(I_1\mathrm{}I_d)^n.`$
Rees proved that if $`R/m`$ is infinite, then joint reductions exist and

$`e(I_1^{[i_1]}|\mathrm{}|I_g^{[i_g]})=e(x_1,\mathrm{},x_d)`$
where $`(x_1,\mathrm{},x_d)`$ is any joint reduction of the set of ideals $`I_1,\mathrm{},I_1,\mathrm{},I_g,\mathrm{},I_g`$ where $`I_j`$ is repeated $`i_j`$ times for $`j=1,\mathrm{},g`$..

Abhyankar \[A\] showed that for a CM local ring $`(R,m)`$, $`\mu (m)dimR+1e(R)`$. We extend this to $`m`$-primary ideals.

###### Lemma 3.1.

Let $`(R,m)`$ be a CM local ring of dimension $`d`$. Then

$$e_{d1}(m|I)\mu (I)d+1.$$

Proof: By passing to the ring $`R(X)=R[X]_{mR[X]}`$ we may assume that $`R/m`$ is infinite. Let $`(x,a_1,\mathrm{},a_{d1})`$ be a joint reduction of $`m,I,\mathrm{},I`$ where $`I`$ is repeated $`d1`$ times. Consider the map

$`f:{\displaystyle \frac{R}{I}}{\displaystyle \left(\frac{R}{m}\right)^{d1}}{\displaystyle \frac{(x,a_1,\mathrm{},a_{d1})}{xI+(a_1,\mathrm{},a_{d1})m}}`$
defined as $`f(a^{},b_1^{},\mathrm{},b_{d1}^{})=(xa+a_1b_1+\mathrm{}+a_{d1}b_{d1})^{}`$ where primes denote the residue classes. Let $`K=\text{Kernel}f`$. Then

$`\mathrm{}(K)+\mathrm{}\left({\displaystyle \frac{R}{xI+(a_1,\mathrm{},a_{d1})m}}\right)e_{d1}(m|I)=\mathrm{}\left({\displaystyle \frac{R}{I}}\right)+d1.`$
Hence

$`e_{d1}(m|I)`$ $`=`$ $`\mathrm{}(K)+\mathrm{}\left({\displaystyle \frac{R}{Im}}\right)\mathrm{}\left({\displaystyle \frac{R}{I}}\right)d+1\mathrm{}\left({\displaystyle \frac{R}{Im}}\right)+\mathrm{}\left({\displaystyle \frac{R}{xI+(a_1,\mathrm{},a_{d1})m}}\right)`$
$`=`$ $`\mathrm{}(K)+\mu (I)d+1+\mathrm{}\left({\displaystyle \frac{Im}{xI+(a_1,\mathrm{},a_{d1})m}}\right).`$
Hence

$$e_{d1}(m|I)\mu (I)d+1.$$

###### Corollary 3.2.

\[cf. Sa, pg 49\] Let $`(R,m)`$ be a one-dimensional CM local ring. Then for any $`m`$-primary ideal $`I`$ of $`R`$

$$\mu (I)e(R).$$

Proof: When $`d=1`$, $`e_{d1}(m|I)=e_0(m|I)=e(R)`$.

###### Corollary 3.3.

Let $`(R,m)`$ be a $`d`$-dimensional CM local ring. Then

$$e(m)\mu (m)d+1.$$

Proof: Put $`I=m`$ and use the fact that $`e_i(m|m)=e(m)`$ for all $`i`$.

###### Definition 3.4.

Let $`(R,m)`$ be a CM local ring, $`I`$ an $`m`$-primary ideal of $`R`$. We say that $`I`$ has minimal mixed multiplicity if

$$e_{d1}(m|I)=\mu (I)d+1.$$

We now find the Hilbert series of $`F(I)`$ when $`I`$ is an $`m`$-primary ideal with minimal mixed multiplicity in a $`d`$-dimensional CM local ring. We begin with one dimensional local rings.

###### Proposition 3.5.

Let $`(R,m)`$ be a CM local ring of dimension one with $`\mu (I)=e(R):=e`$ for an $`m`$-primary ideal $`I`$ of $`R`$. Then

$`H(F(I),t)={\displaystyle \frac{1+(e1)t}{1t}}.`$
Proof: By passing to the ring $`R(X)`$ we may assume that $`R/m`$ is infinite. Let $`xR`$ be a minimal reduction of $`m`$. Then for any $`n1`$,

$`e(R)=\mathrm{}\left({\displaystyle \frac{R}{xR}}\right)=\mathrm{}\left({\displaystyle \frac{R}{xR}}\right)+\mathrm{}\left({\displaystyle \frac{xR}{xI^n}}\right)\mathrm{}\left({\displaystyle \frac{R}{I^n}}\right)=\mathrm{}\left({\displaystyle \frac{I^n}{xI^n}}\right).`$
Since $`\mathrm{}(I/mI)=e(R)=\mathrm{}(I/xI)`$, it follows that $`mI=xI`$. Thus $`xI^n=mI^n`$ which gives that $`\mu (I^n)=e(R)`$ for all $`n1`$. Hence

$`H(F(I),t)=1+{\displaystyle \underset{n=1}{\overset{\mathrm{}}{}}}et^n=1e+{\displaystyle \frac{e}{1t}}={\displaystyle \frac{1+(e1)t}{1t}}.`$
###### Theorem 3.6.

Let $`(R,m)`$ CM local ring of dimension $`d2`$. Let $`I`$ be an $`m`$-primary ideal having minimal mixed multiplicity. Then

$`H(F(I),t)={\displaystyle \frac{1+(\mu (I)d)t}{(1t)^d}}`$
Proof: By passing to the ring $`R(X)`$ we may assume that $`R/m`$ is infinite. Let $`x,a_1,\mathrm{},a_{d1}`$ be a joint reduction of $`(m,I,\mathrm{},I)`$ where $`I`$ is repeated $`d1`$ times. Then $`e_{d1}(m|I)=\mathrm{}(R/(x,a_1,\mathrm{},a_{d1}))`$ and $`\mu (I)=d1+\mathrm{}(R/(x,a_1,\mathrm{},a_{d1}))`$. We will show that for all $`n1`$,

$`\mu (I^n)=\left({\displaystyle \genfrac{}{}{0pt}{}{n+d2}{d2}}\right)+\left({\displaystyle \genfrac{}{}{0pt}{}{n+d2}{d1}}\right)e_{d1}(m|I).`$
Fix $`n`$. Put $`r=\left(\genfrac{}{}{0pt}{}{n+d2}{d2}\right)`$. Let $`M_1,\mathrm{},M_r`$ denote all the monomials of degree $`n`$ in $`a_1,\mathrm{},a_{d1}`$. Consider the map

$`f:{\displaystyle \frac{R}{I^n}}\left({\displaystyle \frac{R}{m}}\right)^r{\displaystyle \frac{(x,(a_1,\mathrm{},a_{d1})^n)}{xI^n+(a_1,\mathrm{},a_{d1})^nm}}`$
given by $`f(y^{},z_1^{},\mathrm{},z_r^{})=(yx+_{i=1}^rz_iM_i)^{}`$ where primes denote the residue classes. If $`f(y^{},z_1^{},\mathrm{},z_r^{})=0`$, then $`yx+_{i=1}^rz_iM_ixI^n+(a_1,\mathrm{},a_{d1})^nm`$. Hence there exist $`bI^n`$ and $`c_1,\mathrm{},c_rm`$ such that

(1) $`yx+{\displaystyle \underset{i=1}{\overset{r}{}}}z_iM_i=xb+{\displaystyle \underset{i=1}{\overset{r}{}}}c_iM_i.`$
Thus $`x(yb)=_{i=1}^rM_i(c_iz_i)`$. Since $`(x,a_1,\mathrm{},a_{d1})`$ is a regular sequence, $`yb(M_1,\mathrm{},M_r)=(a_1,\mathrm{},a_{d1})^n`$. Hence $`y=b+_{i=1}^rd_iM_i`$ for some $`d_1,\mathrm{},d_rR`$. Substituting for $`y`$ in (1), we get $`_{i=1}^rM_i(z_ic_i+xd_i)=0`$. Since $`a_1,\mathrm{},a_{d1}`$ is a regular sequence, $`z_ic_i+xd_i(a_1,\mathrm{},a_{d1})`$ for all $`i=1,\mathrm{},r`$. Hence $`z_im`$ for all $`i=1,\mathrm{},r`$. Thus $`f`$ is an isomorphism which implies that

$`\mathrm{}\left({\displaystyle \frac{R}{xI^n+(a_1,\mathrm{},a_{d1})^nm}}\right)\mathrm{}\left({\displaystyle \frac{R}{(x,(a_1,\mathrm{},a_{d1})^n)}}\right)=\mathrm{}\left({\displaystyle \frac{R}{I^n}}\right)+r.`$
Put $`n=1`$ to get

$`\mathrm{}\left({\displaystyle \frac{R}{xI+(a_1,\mathrm{},a_{d1})m}}\right)\mathrm{}\left({\displaystyle \frac{R}{I}}\right)=r+e_{d1}(m|I)=\mu (I)=\mathrm{}\left({\displaystyle \frac{R}{mI}}\right)\mathrm{}\left({\displaystyle \frac{R}{I}}\right).`$
Hence $`Im=xI+(a_1,\mathrm{},a_{d1})m`$. Thus for all $`n1`$, $`I^nm=xI^n+(a_1,\mathrm{},a_{d1})^nm`$ by an easy induction on $`n`$. Hence for all $`n1`$,

$`\mu (I^n)=r+\left({\displaystyle \genfrac{}{}{0pt}{}{n+d2}{d1}}\right)e_{d1}(m|I).`$
Therefore

$`H(F(I),t)`$ $`=`$ $`{\displaystyle \underset{n=0}{\overset{\mathrm{}}{}}}\left[r+\left({\displaystyle \genfrac{}{}{0pt}{}{n+d2}{d1}}\right)e_{d1}(m|I)\right]t^n`$
$`=`$ $`{\displaystyle \underset{n=0}{\overset{\mathrm{}}{}}}\left[r(1e_{d1}(m|I))+\left({\displaystyle \genfrac{}{}{0pt}{}{n+d1}{d1}}\right)e_{d1}(m|I)\right]t^n`$
$`=`$ $`{\displaystyle \frac{1e_{d1}(m|I)}{(1t)^{d1}}}+{\displaystyle \frac{e_{d1}(m|I)}{(1t)^d}}`$
$`=`$ $`{\displaystyle \frac{1+[e_{d1}(m|I)1]t}{(1t)^d}}`$
$`=`$ $`{\displaystyle \frac{1+[\mu (I)d]t}{(1t)^d}}.`$
###### Theorem 3.7.

Let $`I`$ be an $`m`$-primary ideal in a CM local ring $`(R,m)`$. Suppose $`I`$ has minimal mixed multiplicity. Then $`F(I)`$ is CM if and only if $`r(I)1`$.

Proof: If $`r(I)1`$, then $`F(I)`$ is CM by corollary 2.3. If $`F(I)`$ is CM, then

$$r(I)=\text{ the degree of the numerator of }H(F(I),t)1.$$

We now consider fiber rings of contracted ideals in two dimensional regular local rings. An ideal $`I`$ of a two dimensional regular local ring $`(R,m)`$ is called contracted if there is an $`xmm^2`$ such that $`IR[m/x]R=I`$ \[ZS, App. 5\]. The order of $`I`$, $`o(I)`$ is by definition max$`\{n|Im^n\}`$. I is contracted if and only if $`\mu (I)=1+o(I)`$ \[HS, Theorem 2.1\]. If $`I`$ is contracted from $`S=R[m/x]`$, then for all $`n`$, $`I^n`$ is also contracted from $`S`$. Any $`m`$-primary integrally closed ideal is contracted \[ZS, App. 5\].

###### Corollary 3.8.

Let $`(R,m)`$ be a two dimensional regular local ring. Let $`I`$ be an $`m`$-primary contracted ideal of order $`r`$. Then

$$H(F(I),t)=\frac{1+(r1)t}{(1t)^2}.$$

Proof: By \[V1, Theorem 4.1\], $`e_1(m|I)=r=o(I)`$. Since $`I`$ is an ideal of minimal mixed multiplicity, we can apply Theorem 3.6.

In view of the above theorem 3.7, to produce a non CM fiber cone it is enough to find an ideal having minimal mixed multiplicity whose reduction number exceeds one. We do so in the next example.

###### Example 3.9.

We construct contracted ideals of reduction number greater than one which have non CM fiber cones. Consider the ideals

$`I=(x^r,xy^{r+1}(x,y)^{r2},y^{2r+1}).`$
of $`k[[x,y]]`$ where $`k`$ is a field. Since $`\mu (I)=r+1=1+o(I)`$, $`I`$ is a contracted ideal and by corollary 3.8,

$$H(F(I),t)=\frac{1+(r1)t}{(1t)^2}.$$

If $`F(I)`$ were CM, then by corollary 3.7, $`r(I)1`$. We now show that $`r(I)>1`$ for $`r3`$. By \[V2, Theorem 3.2\], $`r(I)1`$ if and only if $`e(I)=\mathrm{}(R/I^2)2\mathrm{}(R/I)`$. Since $`I`$ is integral over $`(x^r,y^{2r+1})`$, $`(x^r,y^{2r+1})`$ is a minimal reduction of $`I`$ and $`e(I)=r(2r+1)`$. Now

$`I^2=(x^{2r},x^{r+1}y^{r+1}(x,y)^{r2},x^ry^{2r+1},x^2y^{3r+1}(x,y)^{r3},xy^{4r},y^{4r+2}).`$
Therefore

$`\mathrm{}\left({\displaystyle \frac{R}{I^2}}\right)`$ $`=`$ $`{\displaystyle \underset{i=0}{\overset{r2}{}}}(r+1+i)+2r+1+{\displaystyle \underset{i=0}{\overset{r3}{}}}(3r+1+i)+4r+4r+2`$
$`=`$ $`(r+1)(r1)+\left({\displaystyle \genfrac{}{}{0pt}{}{r1}{2}}\right)+2r+1+(3r+1)(r2)+\left({\displaystyle \genfrac{}{}{0pt}{}{r2}{2}}\right)+8r+2`$
$`=`$ $`\left({\displaystyle \genfrac{}{}{0pt}{}{r1}{2}}\right)+\left({\displaystyle \genfrac{}{}{0pt}{}{r2}{2}}\right)+4r^2+5r`$
and

$`\mathrm{}\left({\displaystyle \frac{R}{I}}\right)`$ $`=`$ $`{\displaystyle \underset{i=0}{\overset{r2}{}}}(r+1+i)+2r+1`$
$`=`$ $`(r+1)(r1)+\left({\displaystyle \genfrac{}{}{0pt}{}{r1}{2}}\right)+2r+1`$
$`=`$ $`\left({\displaystyle \genfrac{}{}{0pt}{}{r1}{2}}\right)+r^2+2r.`$
Therefore if $`r3`$, then

$`\mathrm{}\left({\displaystyle \frac{R}{I^2}}\right)2\mathrm{}\left({\displaystyle \frac{R}{I}}\right)`$ $`=`$ $`4r^2+5r+\left({\displaystyle \genfrac{}{}{0pt}{}{r2}{2}}\right)2\left[r^2+2r+\left({\displaystyle \genfrac{}{}{0pt}{}{r1}{2}}\right)\right]`$
$`=`$ $`2r^2+r(r2)`$
$`<`$ $`2r^2+2r`$
$`=`$ $`e(I)`$
###### Example 3.10.

\[cf. \[HJLS, (6.3)\],\[HM, Corollary (3.5) and Example (3.9)\] There exist examples of $`m`$-primary ideals in $`R=k[[x,y]]`$ of arbitrary reduction number and whose fiber ring is CM. Let $`I=(x^r,x^{r1}y,y^r)`$, $`r1`$. Then $`F(I)`$ is CM for all $`r1`$. Since $`I`$ is generated by homogeneous polynomials of equal degree in $`R`$, $`F(I)k[x^r,x^{r1}y,y^r]`$. It is easy to see that $`k[x^r,x^{r1}y,y^r]k[t_1,t_2,t_3]/(t_2^rt_1^{r1}t_3)`$. Hence $`F(I)`$ is CM and its Hilbert series is

$$H(F(I),t)=\frac{1+t+\mathrm{}+t^{r1}}{(1t)^2}.$$

It follows from theorem 2.1 that the reduction number of $`I`$ is independent of the reduction chosen and is equal to $`r1`$.

###### Example 3.11.

Let $`R=k[[x,y,z]]`$, $`I=(x^3,y^3,z^3,xy,xz,yz)`$. This ideal was studied by Huneke and Lipman \[L\]. We claim that $`I`$ has minimal mixed multiplicity. It is easy to see that

1. $`J=(x^3+yz,y^3+z^3+xz,xz+xy)`$ is a minimal reduction of $`I`$ and $`JI=I^2`$.
2. $`(yz,y+z,x)`$ is a joint reduction of the set of ideals (I, m, m) and $`Im^2=yzm^2+(y+z)Im+xIm`$.
3. $`(yz,xy+xz,x+y+z)`$ is a joint reduction of the set of ideals $`(I,I,m)`$ and $`I^2m=yzIm+(xy+xz)Im+(x+y+z)I^2`$.

Hence

$`e(I)`$ $`=`$ $`e(J)=11`$
$`e_1(m|I)`$ $`=`$ $`e(yz,y+z,x)=2`$
$`e_2(m|I)`$ $`=`$ $`e(yz,xy+xz,x+y+z)=4.`$
Since $`\mu (I)=6=e_2(m|I)+2`$, $`I`$ has minimal mixed multiplicity. Hence by corollary 2.3, $`F(I)`$ is CM.

## 4. Cohen-Macaulayness of fiber cones of ideals generated by quadratic sequences.

Let $`R`$ be a standard graded ring over a field, let $`M`$ denote the unique graded maximal ideal of $`R`$, and let $`I`$ be an ideal generated by a homogeneous quadratic sequence. Under some technical assumptions on the quadratic sequence, we show that a certain deformation of the fiber cone $`F(I):=R[It]/MR[It]`$ has a nice form. From this we can deduce the Cohen-Macaulayness of $`F(I)`$ and also a formula for its Hilbert series. (The Hilbert series can also be calculated from the formula in \[RV\] for the bigraded Hilbert series of $`R[It]`$—just set $`X=1`$ in that formula.) These results apply to the examples treated in \[RV\], namely, straightening-closed ideals in graded algebras with straightening law, Huckaba-Huneke ideals of analytic deviation $`1`$ and $`2`$, and Moralès-Simis ideals defining the homogeneous co-ordinate rings of certain projective space curves.

The main result of this section is stated in terms of stable linearizations of quadratic sequences. We recall the relevant definitions from \[RS\]. A subset $`\mathrm{\Lambda }`$ of a finite poset $`(\mathrm{\Omega },)`$ is an ideal if

$$\lambda \mathrm{\Lambda },\omega \mathrm{\Omega },\text{and}\omega \lambda \omega \mathrm{\Lambda }.$$

If $`\mathrm{\Lambda }`$ is an ideal of $`\mathrm{\Omega }`$ and $`\omega \mathrm{\Omega }\backslash \mathrm{\Lambda }`$ is such that $`\lambda \mathrm{\Lambda }`$ for every $`\lambda \omega `$, then $`(\mathrm{\Lambda },\omega )`$ is a pair of $`\mathrm{\Omega }`$. Given a set $`\{x_\omega \omega \mathrm{\Omega }\}`$ of elements of a ring $`R`$ and $`\mathrm{\Lambda }\mathrm{\Omega }`$, denote by $`X_\mathrm{\Lambda }`$ the ideal $`(x_\lambda \lambda \mathrm{\Lambda })`$ of $`R`$ ($`X_\mathrm{\Lambda }=0`$ if $`\mathrm{\Lambda }`$ is empty) and by $`I`$ the ideal $`X_\mathrm{\Omega }=(x_\omega \omega \mathrm{\Omega }`$).

###### Definition 4.1.

A set $`\{x_\omega \omega \mathrm{\Omega }\}R`$ is a quadratic sequence if for every pair $`(\mathrm{\Lambda },\omega )`$ of $`\mathrm{\Omega }`$ there exists an ideal $`\mathrm{\Theta }`$ of $`\mathrm{\Omega }`$ such that

1. $`(X_\mathrm{\Lambda }:x_\omega )I=X_\mathrm{\Theta }`$.
2. $`x_\omega X_\mathrm{\Theta }X_\mathrm{\Lambda }I`$.

Such an ideal $`\mathrm{\Theta }`$ is said to be associated to the pair $`(\mathrm{\Lambda },\omega )`$. This association need not be unique—the set $`\{x_\omega \omega \mathrm{\Omega }\}`$ of generators of $`I`$ may not be unshortenable—but $`X_\mathrm{\Theta }`$ is unique by 1.

###### Definition 4.2.

A linearization of a poset $`\mathrm{\Omega }`$ of cardinality $`n`$ is a bijective map $`\mathrm{\#}:\mathrm{\Omega }[1,n]:=\{1,\mathrm{},n\}`$ such that $`\omega \omega ^{}\mathrm{\#}(\omega )\mathrm{\#}(\omega ^{})`$.

Let $`\{x_\omega \omega \mathrm{\Omega }\}`$ be a quadratic sequence and $`\mathrm{\#}:\mathrm{\Omega }[1,n]`$ be a fixed linearization. Identify $`\mathrm{\Omega }`$ with $`[1,n]`$ via $`\mathrm{\#}`$. Then $`([1,j1],j)`$ is a pair of $`\mathrm{\Omega }`$ for every $`j[1,n]`$. Let

$$\begin{array}{ccc}\hfill \mathrm{\Theta }_j& =& \text{an ideal of }\mathrm{\Omega }\text{ associated to }([1,j1],j)\hfill \\ \hfill I_j& =& ((x_1,\mathrm{},x_{j1}):x_j)\hfill \\ \hfill \mathrm{\Delta }& =& \{(j,k)1jkn,x_jx_k(x_1,\mathrm{},x_{j1})\}.\hfill \end{array}$$

For $`k[1,n]`$, set

$$\mathrm{\Psi }_k=[1,k1]\underset{\genfrac{}{}{0pt}{}{jk}{(j,k)\mathrm{\Delta }}}{}\mathrm{\Theta }_j\text{and}𝔄_k=X_{\mathrm{\Psi }_k}.$$

Note that $`\mathrm{\Psi }_k`$ is an ideal of $`\mathrm{\Omega }`$ and that $`𝔄_k`$ is independent of the choices of $`\mathrm{\Theta }_j`$.

###### Definition 4.3.

A linearization $`\mathrm{\#}:\mathrm{\Omega }[1,n]`$ of the indexing poset $`\mathrm{\Omega }`$ of a quadratic sequence is stable if $`I_k=(𝔄_k:x_k)`$ for every $`k`$, $`1kn`$.

We can now state the main result of this section:

###### Proposition 4.4.

Let $`R`$ be a standard graded algebra over a field $`k`$, that is, $`R=_{j0}R_j=R_0[R_1]`$ with $`R_0=k`$. Let $`\{x_\omega |\omega \mathrm{\Omega }\}R`$ be a quadratic sequence consisting of homogeneous elements of $`R`$, let $`\mathrm{\#}:\mathrm{\Omega }\{1,\mathrm{},n\}`$ be a stable linearization, and suppose that

$$\mathrm{deg}(x_1)\mathrm{}\mathrm{deg}(x_n).$$

Further assume that $`x_1,\mathrm{},x_n`$ form an unshortenable set of generators of the ideal $`I:=(x_1,\mathrm{},x_n)`$, that is, $`I(x_1,\mathrm{},\widehat{x_j},\mathrm{},x_n)`$. Let $`M:=_{j>0}R_j`$ denote the irrelevant maximal ideal of $`R`$. Then

$$k[\mathrm{\Delta }]:=k[T_1,\mathrm{},T_n]/(T_jT_k|(j,k)\mathrm{\Delta })$$

is a deformation of the fiber cone $`F(I):=R[It]/MR[It]`$ of $`I`$. In particular (1) $`F(I)`$ is Cohen-Macaulay if $`k[\mathrm{\Delta }]`$ is so, and (2) $`F(I)`$ has the same Hilbert series as $`k[\mathrm{\Delta }]`$.

Proof. We borrow the notation and set-up of §1 of \[RS\] (see page 541). Let $`J`$ denote the kernel of the presentation map from the polynomial ring $`𝒜:=R[T_1,\mathrm{},T_n]`$ onto the Rees ring $`R[It]`$. This map is defined by $`T_ix_it`$. The presentation ideal of the fiber cone $`F(I)`$ as a quotient of $`𝒜`$ is then $`(J,M)`$. Let $``$ be the filtration on $`𝒜`$ specified on page 541 of \[RS\]. This filtration $``$ is a refinement of the $`(M,T_1,\mathrm{},T_n)`$-adic filtration on $`𝒜`$. Theorem 1.4 of \[RS\] asserts that

$$()\mathrm{gr}_{}(J)=(I_1T_1,\mathrm{},I_nT_n,T_jT_k|(j,k)\mathrm{\Delta }),$$

where $`I_j:=((x_1,\mathrm{},x_{j1}):x_j)`$. So it is natural to expect the following:

$$()\mathrm{gr}_{}(J,M)=(M,T_jT_k|(j,k)\mathrm{\Delta }).$$

The theorem clearly follows from ($``$) and we prove ($``$) below.

Since $`M`$ is homogeneous with respect to $``$ and $`T_jT_k\mathrm{gr}_{}(J)`$ from (\*), it follows that $`\mathrm{gr}_{}(J,M)(M,T_jT_k|(j,k)\mathrm{\Delta })`$. To prove the other inclusion, it suffices to prove the statement ($``$) below. Fix notation as in 3.2 of \[RS\]. Let $`F`$ be a form of degree $`d`$ in $`J`$. Let $`Q`$ be the subset of $`P(n,d)`$ such that $`F=_{pQ}a_pT^p`$ where $`0a_pR`$ for $`pQ`$. Assume further that the $`a_p`$ are homogeneous. Let $`q`$ be the such element of $`Q`$ that the initial form $`F_{}`$ of $`F`$ with respect to $``$ equals $`a_qT^q`$, and let $`s`$ be the such element of $`Q`$ that $`a_sM`$ and the term $`F_s=a_sT^s`$ has the least degree in $`IN_0^{n+1}`$ among those with $`a_pM`$. We claim that

($``$) $`T_jT_k`$ divides $`T^s`$ for some $`(j,k)\mathrm{\Delta }`$.

We prove ($``$) by “induction on $`sq`$”. If $`s=q`$, then from (\*) we know that either $`a_sI_j`$ for some $`j`$ or ($``$) holds. But $`I_jM`$ by unshortenability, so $`a_sI_j`$ by the definition of $`s`$, so ($``$) holds. Now suppose that $`\mathrm{deg}(s)>\mathrm{deg}(q)`$. By (\*), either $`a_qI_j`$ for some $`j`$, or $`T_jT_k`$ divides $`T^q`$ for some $`(j,k)\mathrm{\Delta }`$. Accordingly there are two cases.

First assume that $`a_qI_j`$ for some $`j`$. Then there exists a linear form $`F^{}=a_qT_ja_1T_1\mathrm{}a_{j1}T_{j1}`$ in $`J`$ with $`\mathrm{deg}(a_q)+\mathrm{deg}(x_j)=\mathrm{deg}(a_1)+\mathrm{deg}(x_1)=\mathrm{}=\mathrm{deg}(a_{j1})+\mathrm{deg}(x_{j1})`$. By our assumption that $`\mathrm{deg}(x_1)\mathrm{}\mathrm{deg}(x_n)`$, we have $`\mathrm{deg}(a_1)\mathrm{}\mathrm{deg}(a_{j1})\mathrm{deg}(a_q)`$. Since $`a_qM`$ by assumption, it follows that $`a_1,\mathrm{},a_{j1}`$ are also in $`M`$. Consider $`G=FF^{}T^q/T_j`$. Since $`F_{}^{}=a_qT_j`$, it follows that $`F_{}=(F^{}T^q/T_j)_{}`$, so that $`\mathrm{deg}(G_{})<\mathrm{deg}(F_{})`$. Since $`F^{}T^q/T_j`$ belongs to $`M[T_1,\mathrm{},T_n]`$, it follows that $`G_s`$ is the term of least degree in $`G`$ with coefficient not in $`M`$. By induction, we have $`T_jT_k`$ divides $`T^s`$ for some $`(j,k)`$ in $`\mathrm{\Delta }`$. We are done.

Now assume that $`T_jT_k`$ divides $`T^q`$ for some $`(j,k)`$ in $`\mathrm{\Delta }`$. By the definition of $`\mathrm{\Delta }`$ and axiom 2 in the definition of quadratic sequence, there exists a $`2`$-form $`F^{}`$ in $`J`$ with $`F_{}^{}=T_jT_k`$. Now consider $`G=Fa_qF^{}T^q/T_jT_k`$, and argue just as in the first case.

###### Example 4.5.

(Defining ideals of monomial projective space curves lying on the quadric $`xwyz=0`$ as in \[MS\]) This example is treated in §2 of \[RS\] (see pages 558, 559) and in §3.3 of \[RV\]. We have

$$k[\mathrm{\Delta }]=k[T_1,\mathrm{},T_{bc+2}]/(T_3,\mathrm{},T_{bc+1})^2$$

so that $`k[\mathrm{\Delta }]`$ is Cohen-Macaulay and its Hilbert series is given by

$$H(k[\mathrm{\Delta }];t)=\frac{1+(bc1)t}{(1t)^3}.$$

###### Example 4.6.

(Huckaba-Huneke ideals of analytic deviation $`1`$ and $`2`$.) This example is treated in \[RV\] (see §3.4 of that paper). We have

$$k[\mathrm{\Delta }]=k[T_1,\mathrm{},T_n]/(T_{m+1},\mathrm{},T_n)^2$$

so that $`k[\mathrm{\Delta }]`$ is Cohen-Macaulay and its Hilbert series is given by

$$H(k[\mathrm{\Delta }];t)=\frac{1+(nm)t}{(1t)^m}$$

Here $`m`$ is the analytic spread of the ideal and $`n`$ is the minimal number of generators of the ideal.

###### Example 4.7.

(Straightening-closed ideals in graded algebras with straightening law.) These examples are treated in §2 of \[RS\] and in §3.2 of \[RV\]. Let $`R`$ be a graded algebra with straightening law on a finite poset $`\mathrm{\Pi }`$ over a field $`k`$ and let $`M`$ denote the graded maximal ideal of $`R`$. If $`\mathrm{\Omega }`$ is a straightening-closed ideal of $`\mathrm{\Pi }`$ which admits a linearization $`\mathrm{\#}:\mathrm{\Omega }\{1,\mathrm{},n\}`$ satisfying

$$\mathrm{deg}(x_1)\mathrm{}\mathrm{deg}(x_n),$$

then $`k[\mathrm{\Delta }]`$ is the face ring of the poset $`\mathrm{\Omega }`$. Thus $`F(I)`$ has the same Hilbert series as the face ring of $`\mathrm{\Omega }`$. And $`F(I)`$ is Cohen-Macaulay if $`\mathrm{\Omega }`$ is a Cohen-Macaulay poset. While these conclusions are well-known for most particular examples of straightening-closed ideals, what appears to be new is the conclusion from Remark 2.2 that the reduction number is independent of the minimal reduction and can be read off the Hilbert series of $`F(I)`$. We illustrate this last conclusion by means of an example: Let $`(Z_{ij}|1i2,1jn)`$ be a generic $`2\times n`$ matrix ($`n3`$), $`R=k[Z_{ij}]`$ the polynomial ring over a field $`k`$ in these $`2n`$ indeterminates, $`\mathrm{\Omega }`$ the poset of $`2\times 2`$ minors of the matrix $`Z`$, and $`I`$ the ideal of $`R`$ generated by the elements of $`\mathrm{\Omega }`$. The Hilbert series of $`F(I)`$ is (see \[CHV\])

$$H(F(I),t)=\frac{h_0+h_1t+\mathrm{}+h_{n3}t^{n3}}{(1t)^{2n3}}$$

where

$$h_i=\left(\genfrac{}{}{0pt}{}{n2}{i}\right)^2\left(\genfrac{}{}{0pt}{}{n3}{i1}\right)\left(\genfrac{}{}{0pt}{}{n1}{i+1}\right).$$

Thus the reduction number of $`I`$ is $`n3`$.

## 5. Examples

In this section we will use the fact that if $`I`$ is generated by homogeneous polynomials of equal degree in a polynomial ring over a field $`k`$, then the fiber cone of $`I`$ is isomorphic to $`k[I]`$.

###### Example 5.1.

\[Ha, Example 10.27\] Let $`R=k[x,y,z]_m`$, where $`k`$ is a field and $`m=(x,y,z)`$. Let $`I=((x^2,y^2)^3,x(x^2,y^2)z^3,z^6)`$. Then $`F(I)`$ is CM, $`r(I)=2`$ and

$$H(F(I),t)=\frac{1+4t+t^2}{(1t)^3}.$$

We prove by induction on $`n`$, that

$$I^n=((x^2,y^2)^{3i}z^{6(ni)};i=0\mathrm{},n)+(x(x^2,y^2)^{3i+1}z^{6(n1i)+3};i=0,\mathrm{},n1).$$

For $`n=1`$, it is easy to verify. Assume that $`n1`$. Then

$`I^{n+1}`$
$`=`$ $`((x^2,y^2)^{3(i+1)}z^{6(ni)},(x^2,y^2)^{3i}z^{6(n+1i)},x(x^2,y^2)^{3(i+1)}z^{6(ni)+3};i=0,\mathrm{}n)`$
$`+(x(x^2,y^2)^{3i+4}z^{6(n1i)+3},x(x^2,y^2)^{3i+1}z^{6(ni)+3},x^2(x^2,y^2)^{3i+2}z^{6(ni)};i=0,\mathrm{}n1)`$
$`=`$ $`((x^2,y^2)^{3i}z^{6(n+1i)};i=0\mathrm{},n+1)+(x(x^2,y^2)^{3i+2}z^{6(ni)+3};i=0,\mathrm{},n)`$
since $`x^2(x^2,y^2)^{3i+2}z^{6(ni)}(x^2,y^2)^{3i+3}z^{6(ni)}`$ for all $`i=0,\mathrm{},n1`$. Therefore

$`\mu (I^n)`$ $`=`$ $`{\displaystyle \underset{i=0}{\overset{n}{}}}(3i+1)+{\displaystyle \underset{i=0}{\overset{n1}{}}}(3i+2)`$
$`=`$ $`{\displaystyle \underset{i=0}{\overset{n}{}}}(6n+3)(3n+2)`$
$`=`$ $`6\left({\displaystyle \genfrac{}{}{0pt}{}{n+1}{2}}\right)+1`$
$`=`$ $`6\left({\displaystyle \genfrac{}{}{0pt}{}{n+2}{2}}\right)6\left({\displaystyle \genfrac{}{}{0pt}{}{n+1}{1}}\right)+1.`$
Hence

$`{\displaystyle \underset{i=0}{\overset{\mathrm{}}{}}}\mu (I^n)t^n={\displaystyle \frac{6}{(1t)^3}}{\displaystyle \frac{6}{(1t)^2}}+{\displaystyle \frac{1}{(1t)}}={\displaystyle \frac{1+4t+t^2}{(1t)^3}}.`$
Let $`J=(x^6,y^6,z^6)`$. We will show that $`JI^2=I^3`$. Now,

$`I^2`$ $`=`$ $`((x^2,y^2)^6,x(x^2,y^2)^4z^3,(x^2,y^2)^3z^6,x(x^2,y^2)z^9,z^{12})`$
$`I^3`$ $`=`$ $`((x^2,y^2)^9,x(x^2,y^2)^7z^3,(x^2,y^2)^6z^6,x(x^2,y^2)^4z^9,(x^2,y^2)^3z^{12},x(x^2,y^2)z^{15},z^{18})`$
$`=`$ $`z^6I^2+(x^6,y^6)((x^2,y^2)^6,x(x^2,y^2)^4z^3)`$
$``$ $`JI^2.`$
Hence $`JI^2=I^3`$, $`J`$ is a minimal reduction of $`I`$ and $`\mathrm{}(I/J+mI)=\mu (I)\mu (J)=4`$. We will show that $`\mathrm{}(I^2/JI+mI^2)=1`$. Now,

$`JI`$ $`=`$ $`(x^6,y^6,z^6)((x^2,y^2)^3,xz^3(x^2,y^2),z^6)`$
$`=`$ $`((x^2,y^2)^6,(x^7,xy^6)(x^2,y^2)z^3,(x^2,y^2)^3z^6,x(x^2,y^2)z^9,z^{12})`$
$`mI^2`$ $`=`$ $`((x,y)^{13},(x^2,y^2)^6z,x(x,y)^9z^3,x(x^2,y^2)^4z^4,(x,y)^7z^6,(x^2,y^2)^3z^7,`$
$`x(x,y)^3z^9,x(x^2,y^2)z^{10},(x,y)z^{12},z^{13})`$
$`JI+mI^2`$ $`=`$ $`JI+xm(x^4y^4)z^3.`$
Hence

$`\mathrm{}\left({\displaystyle \frac{I^2}{JI+mI^2}}\right)`$ $`=`$ $`\mathrm{}\left({\displaystyle \frac{R}{JI+mI^2}}\right)\mathrm{}\left({\displaystyle \frac{R}{I^2}}\right)`$
$`=`$ $`\left[{\displaystyle \underset{i=0}{\overset{11}{}}}\left({\displaystyle \genfrac{}{}{0pt}{}{n+2}{2}}\right)+73+48+20+4+2\right]`$
$`\left[{\displaystyle \underset{i=0}{\overset{11}{}}}\left({\displaystyle \genfrac{}{}{0pt}{}{n+2}{2}}\right)+72+48+20+4+2\right]`$
$`=`$ $`1.`$
In view of Theorem 2.1, $`F(I)`$ is CM.

###### Example 5.2.

\[Hoc, Remark 1\] Let $`R=k[x_1,x_2,y_1,\mathrm{},y_s]`$ $`(s2)`$ and let $`I=(x_iy_j:i=1,2;1js)`$ be an ideal of $`R`$. Then $`F(I)k[x_iy_j:i=1,2;1js]k[T_{ij}:1i2;1js]/I_2`$, where $`I_2`$ is the ideal generated by the $`2\times 2`$ minors of the matrix $`(T_{ij})`$ \[Hoc, Remark 1\]. It is known that $`F(I)`$ is CM \[Hoc, Theorem 1<sup>0</sup>\].. We show that $`F(I)`$ is CM by using Theorem 2.1. First we will show that $`r(I)1`$. Put

$$J=(x_1y_i+x_2y_{i+1}:1is1;x_1y_s,x_2y_1).$$

We will prove that $`JI=I^2`$. Now $`I^2=(x_1y_ix_1y_j,x_1y_ix_2y_j,x_2y_ix_2y_j;1ijs)`$. Obviously $`x_1y_ix_1y_s,JI`$ for $`1is`$. Let $`j<s`$. Then

$`x_1y_1x_1y_j`$ $`=`$ $`x_1y_1(x_1y_j+x_2y_{j+1})x_2y_1x_1y_{j+1}JI.`$
If $`i2`$, then by induction hypothesis,

$`x_1y_ix_1y_j`$ $`=`$ $`x_1y_i(x_1y_j+x_2y_{j+1})x_1y_{j+1}(x_1y_{i1}+x_2y_i)+x_1y_{j+1}x_1y_{i1}JI.`$
Now,

$$x_1y_1x_2y_j=x_1y_jx_2y_1JI$$

for $`1js`$. If $`i2`$, then

$`x_1y_ix_2y_j`$ $`=`$ $`x_1y_i(x_1y_{j1}+x_2y_j)x_1y_ix_1y_{j1}JI`$
for $`1js`$. Since $`x_2y_1J`$, $`x_2y_1x_2y_jJI`$ for $`1js`$. Hence for $`2ijs`$,

$`x_2y_ix_2y_j`$ $`=`$ $`x_2y_i(x_1y_{j1}+x_2y_j)x_2y_ix_1y_{j1}JI.`$
This shows that $`JI=I^2`$. We will now compute $`H(F(I),t)`$. Note that $`I^n`$ is generated by monomials $`x_1^{h_1}x_2^{h_2}y_1^{l_1}\mathrm{}y_s^{l_s}`$ where $`h_1+h_2=n`$ and $`l_1+\mathrm{}+l_s=n`$. Hence,

$`{\displaystyle \underset{n0}{}}\mu (I^n)t^n`$ $`=`$ $`{\displaystyle \underset{n0}{}}\left[\left({\displaystyle \genfrac{}{}{0pt}{}{n+1}{1}}\right)\left({\displaystyle \genfrac{}{}{0pt}{}{n+s1}{s1}}\right)\right]t^n`$
$`=`$ $`{\displaystyle \underset{n0}{}}\left[s\left({\displaystyle \genfrac{}{}{0pt}{}{n+s1}{s}}\right)+\left({\displaystyle \genfrac{}{}{0pt}{}{n+s1}{s1}}\right)\right]t^n`$
$`=`$ $`{\displaystyle \underset{n0}{}}\left[s\left({\displaystyle \genfrac{}{}{0pt}{}{n+s}{s}}\right)(s1)\left({\displaystyle \genfrac{}{}{0pt}{}{n+s1}{s1}}\right)\right]t^n`$
$`=`$ $`{\displaystyle \frac{s(s1)(1t)}{(1t)^{s+1}}}`$
$`=`$ $`{\displaystyle \frac{1+(s1)t}{(1t)^{s+1}}}.`$
This shows that $`a(I)=s+1`$ and hence $`J`$ is a minimal reduction of $`I`$. Since $`e(F(I))=s=\mu (I)dimF(I)+1`$, $`F(I)`$ is CM with minimal multiplicity.