---
abstract: 'Let $(R,{\mathfrak m})$ be an unmixed Noetherian local ring, $Q$ a parameter ideal and $K$ an ${\mathfrak m}$-primary ideal of $R$ containing $Q$. We give a necessary and sufficient condition for $R$ to be Cohen-Macaulay in terms of $g_0(Q)$ and $g_1(Q)$, the Hilbert coefficients of $Q$ with respect to $K$. As a consequence, we obtain a result of Ghezzi et al. which settles the negativity conjecture of W. V. Vasconcelos @vanishing-conjecture in unmixed local rings.'
address: 'Department of Mathematics, IIT Guwahati, Guwahati, Assam 781039, India'
author:
- Kumari Saloni
nocite: '[@*]'
title: 'On Hilbert coefficients of parameter ideals and Cohen-Macaulayness'
---

Introduction
============

Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension $d > 0$ and $Q$ an ${\mathfrak m}$-primary ideal of $R$. Let $K$ be an ideal such that $Q\subseteq K$. Let $G(Q)=\mathop{\oplus}\limits_{n\geq 0} Q^n/Q^{n+1}$ be the associated graded ring of $Q$. The fiber cone of $Q$ with respect to $K$ is the standard graded algebra $F_K(Q)=\mathop{\oplus}\limits_{n\geq 0} Q^n/KQ^n$. Let $\ell(M)$ denote the length of an $R$-module $M.$ The <span>*<span>Hilbert function</span>*</span> of the fiber cone $F_K(Q)$ is given by $H(F,n)=\ell(Q^n/KQ^n)$. It is well known that $H(F,n)$ agrees with a polynomial $P(F,n)$ of degree $d-1$ for all $n\gg 0$, called the <span>*<span>Hilbert polynomial</span>*</span> of $F_K(Q)$. We can write $P(F,n)$ in the following way: $$P(F,n)=\sum\limits_{i=0}^{d-1}(-1)^if_i(Q)\binom{n+d-i-1}{d-1-i}$$ where the coefficients $f_i(Q)$ are integers and are referred to as the <span>*fiber coefficients*</span> of $Q$ with respect to $K.$

The <span>*<span>Hilbert-Samuel function</span>*</span> of $Q$ is the function $H(Q,n)=\ell(R/Q^n)$. We recall the notion of Hilbert function of $Q$ with respect to $K$ from . It is the function $H_K(Q,-): \mathbb {Z} \rightarrow \mathbb{N}$ defined as $$H_K(Q,n)=\ell(R/KQ^n) \text{~~~~~ for ~~~~} n\in {\mathbb{Z}}.$$ It is known that for $n\gg 0$, $H(Q,n)$ (resp. $H_K(Q,n)$) agrees with a polynomial $P(Q,n)$ (resp. $P_K(Q,n)$) of degree $d$. We can write these polynomials in the following manner: $$\begin{aligned}
P(Q,n)&=& \sum\limits_{i=0}^d(-1)^ie_i(Q)\binom{n+d-i-1}{d-i}\label{Hilbert-S-poly}\\
P_K(Q,n)&=&\sum\limits_{i=0}^d(-1)^ig_i(Q)\binom{n+d-i-1}{d-i}\label{Hilbert-S-poly-for-K}
$$ for unique integers $e_i(Q)$ (resp. $g_i(Q)$) known as the <span>*<span>Hilbert coefficients</span>*</span> of $Q$ (resp. <span>*<span>Hilbert coefficients</span>*</span> of $Q$ with respect to $K$).

In this paper, we relate the properties of the Hilbert coefficients $g_i(Q)$ with Cohen-Macaulayness of $R$. Jayanthan and Verma have developed the basic tools for studying these coefficients which include the theory of $F_K(Q)$-superficial and regular elements, a version of Sally's machine for $F_K(Q)$ etc. Using these techniques, many interesting properties of the polynomial $P_K(Q,n)$ and coefficients $g_i(Q)$ have been discussed in as a generalization of analogous properties of $P(Q,n)$ and $e_i(Q)$.

Our work is inspired by the negativity conjecture posed by Vasconcelos @vanishing-conjecture [Conjecture 1] at the conference in Yokohama in 2008. He conjectured that for every parameter ideal $Q$ in a Noetherian local ring $R$, $e_1(Q)<0$ if and only if $R$ is not Cohen-Macaulay. Solving it partially, Mandal, Singh and Verma @Mandal-Singh-Verma proved that if $\operatorname{depth}R=d-1$ then $e_1(Q)<0$ for every parameter ideal $Q$. They also showed that $e_1(Q)\leq 0$ in a Noetherian local ring. Ghezzi, Hong and Vasconcelos in @vanishing-partial1 proved the conjecture if $R$ is an integral domain which is a homomorphic image of a Cohen-Macaulay ring. The conjecture is settled (more generally for modules) by Ghezzi et al. @vanishing1 [@vanishing2] for unmixed local rings. Recall that $R$ is said to be <span>*<span>unmixed</span>*</span> if $\dim \hat{R}/p=\dim R$ for all $p\in Ass(\hat{R})$. The precise result is the following:

\[oldthm-thm3\] <span>@vanishing1 [Theorem 2.1]</span> Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension $d>0$ and $Q$ a parameter ideal of $R$. Then the following statements are equivalent:

1.  \[thm-vanishing-statement-a\] $R$ is Cohen-Macaulay;

2.  \[thm-vanishing-statement-b\] $R$ is unmixed and $e_1(Q)=0;$

3.  \[thm-vanishing-statement-c\] $R$ is unmixed and $e_1(Q)\geq 0$.

By using the methods of @vanishing1, we obtain following characterization of Cohen-Macaulayness in terms of $g_0(Q)$ and $g_1(Q)$. As a consequence of Theorem \[oldthm-thm1\], we recover Theorem \[oldthm-thm3\].

\[oldthm-thm1\]<span>\[Theorem \[thm-vanishing\]\]</span> Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension $d>0$ and $Q$ a parameter ideal of $R$. Let $K$ be an ideal such that $Q\subseteq K$. Then the following statements are equivalent:

1.  $R$ is Cohen-Macaulay;

2.  $R$ is unmixed and $g_0(Q)+g_1(Q)= -\ell(R/K)+\ell(R/Q);$

3.  $R$ is unmixed and $g_0(Q)+g_1(Q)\geq -\ell(R/K)+\ell(R/Q);$

4.  $R$ is unmixed and $f_0(Q) \leq \ell(R/K)+e_1(Q)+e_0(Q)-\ell(R/Q);$

5.  $R$ is unmixed and $f_0(Q) = \ell(R/K)+e_1(Q)+e_0(Q)-\ell(R/Q).$

This paper is organized as follows. Section \[section\_pre\] is devoted to some preliminary results on $F_K(Q)$-superficial elements. In Section \[section\_thevanishingthm\], we prove Theorem \[oldthm-thm1\] and discuss its consequences. Throughout this paper $(R,{\mathfrak m})$ denotes a Noetherian local ring and $H_{\mathfrak m}^i(*)$ denotes the $i$-th local cohomology functor with support in the maximal ideal ${\mathfrak m}$.

We refer @bruns-herzog and @Matsumura for undefined terms.

Preliminaries {#section_pre}
=============

In this section, we recall and prove basic properties of superficial elements and superficial sequences in $G(Q)$ and $F_K(Q)$. The theory of superficial elements in $G(Q)$ is an effective method in the study of Hilbert coefficients, $e_i(Q)$, as it allows to apply induction on the dimension of $R$. See @book-Rossi-valla [Proposition 1.2]. In , the authors developed the theory of superficial elements in $F_K(Q).$

Let $Q$ be an ideal of $R$ and $K$ an ideal with $Q\subseteq K.$ For an element $0\neq x\in R$, let $x^*$(resp. $x^o$) denote the <span>*initial form*</span> of $x$ in $G(Q)$ (resp. $F_K(Q)$), i.e. the image of $x$ in $G(Q)_i$ (resp. $F_K(Q)_i$), where $i$ is the unique integer such that $x\in Q^i\setminus Q^{i+1}$ (resp. $x\in Q^i\setminus KQ^i$).

1.  For an element $x\in Q$ such that $x^*\neq 0$ in $G(Q)$, $x^*$ is said to be <span>*$G(Q)$-superficial*</span> if there exists an integer $c >0$ such that $(Q^n:x)\cap Q^c=Q^{n-1}$ for all $n > c$.

2.  For an element $x\in Q$ such that $x^o\neq 0$ in $F_K(Q)$, $x^o$ is said to be <span>*$F_K(Q)$-superficial*</span> if there exists an integer $c >0$ such that $(0:x^o)\cap F_K(Q)_n=0$ for all $n>c$.

3.  For a sequence $x_1,\ldots,x_k \in Q$, $x_1^*,\ldots,x_k^* $ (resp. $x_1^o,\ldots,x_k^o$) is said to be <span>*$G(Q)$ (resp. $F_K(Q)$)-superficial*</span> if for all $i=1,\ldots,k$, $(x_i^\prime)^*$ (resp. $(x_i^\prime)^o$) is $G(QR_{i-1})$ (resp. $F_{KR_{i-1}}(QR_{i-1})$)-superficial, where $R_{i-1}=R/(x_1,\ldots, x_{i-1})$ and $x_i^\prime$ denotes the image of $x_i$ in $R_{i-1}$.

See and for existence and basic properties of $F_K(Q)$-superficial elements. We recall the following lemma from which provides a useful characterization of $F_K(Q)$-superficial elements.

\[lemma-sup-elt\] Let $R$ be a Noetherian local ring of dimension $d >0$. Let $Q$ be an ideal of $R$ and $K$ an ${\mathfrak m}$-primary ideal of $R$ such that $Q\subseteq K$. Then the following statements hold.

1.  \[lemma-sup-elt-a\] If there exists an integer $c>0$ such that $(KQ^{n}:x)\cap Q^c=KQ^{n-1}$ for all $n>c$, then $x^o$ is $F_K(Q)$-superficial.

2.  \[lemma-sup-elt-b\] If $x^o$ is $F_K(Q)$-superficial and $x^*$ is $G(Q)$-superficial, then there exists an integer $c>0$ such that $(KQ^{n}:x)\cap Q^c = KQ^{n-1}$ for all $n > c$. Moreover if $x$ is regular on $R$, then $(KQ^n:x)=KQ^{n-1}$ for all $n\gg 0$.

Existence of $F_K(Q)$-superficial elements is guaranteed by when $K$ is an ${\mathfrak m}$-primary ideal. Indeed, we can choose $x\in Q$ such that $x^o$ is $F_K(Q)$-superficial as well as $x^*$ is $G(Q)$-superficial by . Hence we use the characterization given by Lemma \[lemma-sup-elt\] \[lemma-sup-elt-b\] for $F_K(Q)$-superficial elements in this paper. The following lemma guarantees the existence of $F_K(Q)$-superficial elements avoiding a finite set of ideals not containing $Q.$ This result is well known in case of $G(Q)$-superficial elements, see @swanson-huneke [Corollary 8.5.9].

\[lemma-existence-sup-elt-avoiding-ideals\] Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension $d >0$. Let $Q$ be an ideal of $R$ and $K$ an ${\mathfrak m}$-primary ideal of $R$ such that $Q\subseteq K$. Let $I_1,\ldots,I_r$ be ideals in $R$ not containing $Q$. Then there exists an element $x\in Q\setminus {\mathfrak m}Q$ that is not contained in any $I_i$ such that $x^*$ is $G(Q)$-superficial and $x^o$ is $F_K(Q)$-superficial.

In particular, if $Q$ contains a nonzerodivisor then there exists an element $x\in Q\setminus {\mathfrak m}Q$ such that $x^*$ is $G(Q)$-superficial, $x^o$ is $F_K(Q)$-superficial and $x$ is a nonzerodivisor.

The proof is similar to the proof of @swanson-huneke [Corollary 8.5.9].

The Hilbert coefficients $g_i(Q)$ behave nicely on reducing modulo $F_K(Q)$-superficial element. We need a refined version of .

\[lemma-gi-for-induction\] Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension $d >0$. Let $Q$ be an ${\mathfrak m}$-primary ideal of $R$ and $K$ an ideal of $R$ such that $Q\subseteq K$. Let $x\in Q$ such that $x^*$ is $G(Q)$-superficial and $x^o$ is $F_K(Q)$-superficial. Let $g_i(\bar{Q})$ denote the coefficients of the polynomial $P_{\bar{K}}(\bar{Q},n)$, where $\bar{Q}$ (resp. $\bar{K}$) denotes the image of an ideal $Q$ (resp. $K$) in $R/(x).$ Then $$\begin{aligned}
g_i(\bar{Q})= \begin{cases}
               g_i(Q) & \text{for}\ 0\leq i\leq d-2  \\
        g_{d-1}(Q)+(-1)^{d-1}\ell(0:x) & \text{for}\ i=d-1.
              \end{cases}\end{aligned}$$

For $n\in {\mathbb{Z}}$, the exact sequence $$0\to \frac{KQ^n:x}{KQ^{n-1}}\to R/KQ^{n-1}\xrightarrow{x} R/KQ^{n}\to R/(KQ^n,x)\to 0$$ gives that $\ell(R/\bar{K}\bar{Q}^n)=\ell(R/KQ^n)-\ell(R/KQ^{n-1})+\ell((KQ^n:x)/KQ^{n-1})$ for all $n\in {\mathbb{Z}}$.\
<span>**<span>Claim</span>**</span> : $KQ^n\cap (0:x)=0$ and $(KQ^n:x)=KQ^{n-1}+(0:x)$ for $n\gg 0$.

By Lemma \[lemma-sup-elt\]\[lemma-sup-elt-b\], there exists an integer $c>0$ such that $(KQ^n:x)\cap Q^c=KQ^{n-1}$ for all $n>c$. So for all $n > c$, $KQ^n\cap (0:x)\subseteq \mathop{\cap}\limits_{m\geq n} (KQ^m :x)\cap Q^c = \mathop{\cap}\limits_{m\geq n} KQ^{m-1}=0.$ By the Artin-Rees lemma, there exists an integer $k$ such that $KQ^n\cap (x)\subseteq (x)Q^{n-k}$ for all $n>k$. Let $n >k+c$ and $y\in (KQ^n:x)$. Then $yx\in KQ^n\cap (x)\subseteq xQ^{n-k}$. Suppose $yx=zx$ for some $z\in Q^{n-k}$. Hence $z\in (KQ^n:x)\cap Q^c=KQ^{n-1}$. Therefore $y=z+(y-z)\in KQ^{n-1}+(0:x)$.\
Thus $\ell(R/\bar{K}\bar{Q}^n)=\ell(R/KQ^n)-\ell(R/KQ^{n-1})+\ell(0:x)$ for all $n\gg 0$. Hence, for $n \in {\mathbb{Z}}$, $$\label{equation:HilbpolyInRAndRbar}
P_{\bar{K}}(\bar{Q},n)= P_K(Q,n)-P_K(Q,n-1)+\ell(0:x).$$ Now, the result follows by comparing the coefficients of both sides of equation .

If $x\in Q$ is a regular element, then we obtain .

We recall the following proposition from @Clare which determines the value of $g_i(Q)$ for parameter ideals in a Cohen-Macaulay local ring. There is a misprint in the statement of @Clare [Theorem 7.2(2)]. However the following version of the statement follows from the proof of @Clare [Theorem 7.2]. We provide an example below with $g_i(Q)=(-1)^i\ell(R/K)$ for $1\leq i\leq d$.

<span>@Clare [Theorem 7.2(2)]</span>\[prop-g1Q-in-CMring\] Let $R$ be a Cohen-Macaulay local ring of dimension $d>0$ and $Q$ a parameter ideal of $R$. Let $K$ be an ideal such that $Q\subseteq K$. Then $g_i(Q)=(-1)^i\ell(R/K)$ for $1\leq i\leq d$.

Follows from comparing the coefficients of @Clare [Equation 24].

\[example-e1\] Let $R=k[[x,y]]$ be a power series ring. Let $Q=(x^3,x^2y,y^3)$ and $K={\mathfrak m}^2$. Then $J=(x^3,y^3)$ is a minimal reduction of $Q$. We use Huneke's fundamental lemma to compute $g_0(Q)$ and $g_1(Q)$. Recall that $$\begin{aligned}
   g_1(Q)=&\sum\limits_{n\geq 1}v_n \mbox{~~and~~} g_2(Q)=\sum_{n\geq 1}(n-1)v_n+\ell(R/K) \mbox{~~where~~}\\
   v_n=&\begin{cases}
               e_0(Q) & \text{if}\ n= 0,\\
               e_0(Q)-\ell(R/KQ)+\ell(R/K) & \text{if}\ n=1,\\
               \ell(KQ^n/KJQ^{n-1})-\ell((KQ^{n-1}:J)/KQ^{n-2}) & \text{if}\ n \geq 2.
             \end{cases}
  \end{aligned}$$ Therefore $$P_K(Q,n)=9\binom{n+1}{2}+3n+3.$$ So, we see that $\ell(R/K)=3=(-1)^ig_i(Q)$ for $i=1,2$.

1\. Since $\ell(R/KQ^n)=\ell(R/Q^n)+\ell(Q^n/KQ^n)$ for all integers $n$, we have $P_K(Q,n)=P(Q,n)+P(F,n)$ for all integers $n.$ Thus comparing the coefficients of both sides, we get $$\begin{aligned}
\label{equation relating g0 and f0} g_0(Q)&=&e_0(Q) \mbox{~~~and}\\ 
 f_i(Q)&=&e_{i+1}(Q)-g_{i+1}(Q)+e_i(Q)-g_i(Q) \text{~~for $0\leq i\leq d-1$}.\label{eqn-fi-gi-ei}
 \end{aligned}$$ 2. By putting $K=Q$ in , we see that $P_K(Q,n)=\ell(R/Q^{n+1})=P(Q,n+1)$ for all $n\gg 0$. Comparing the coefficients, we get for $0\leq i\leq d$ $$\label{eqn-g1-g0-e1}
 g_i(Q)=e_i(Q)-e_{i-1}(Q)+\ldots+(-1)^ie_0(Q).$$

A characterization of Cohen-Macaulayness {#section_thevanishingthm}
========================================

In this section, we first obtain a formula for the first Hilbert coefficient $g_1(Q)$ in a one dimensional Noetherian local ring. Then we give a characterization of Cohen-Macaulayness of an unmixed local ring in terms of the coefficients $g_0(Q)$ and $g_1(Q)$. This generalizes, in some sense, a result of Ghezzi et al. @vanishing1 [Theorem 2.1]. We further discuss the results reminiscent of those in @vanishing1 [Section 2].

Let $(0)=\mathop{\cap}\limits_{p\in\operatorname{Ass}(R)}Q(p)$ be a primary decomposition of $(0)$ in $R$ and let $\operatorname{Assh}(R)=\{p\in \operatorname{Ass}(R)~|~\text{dim~} R/p=d\}$. The ideal $U_R(0)=\mathop{\cap}\limits_{p\in\operatorname{Assh}(R)}Q(p)$ is called the <span>*unmixed component*</span> of $(0)$ in $R$. A ring $R$ is called <span>*unmixed*</span> if $\operatorname{Ass}(\hat{R})=\operatorname{Assh}(\hat{R})$ where $\hat{R}$ is the ${\mathfrak m}$-adic completion of $R$.

In @vanishing-conjecture [Conjecture 1], Vasconcelos conjectured that $e_1(Q) < 0$ for every ideal $Q$ that is generated by system of parameters if and only if $R$ is not Cohen-Macaulay. In @vanishing1 [Theorem 2.1] and @vanishing2 [Theorem 3.1], Ghezzi et al. proved that if $R$ is unmixed and $e_1(Q)\geq 0$ for some parameter ideal $Q$, then $R$ is Cohen-Macaulay. Motivated by this we ask:

\[ques-1\] If $R$ is unmixed of dimension $d >0$ and $g_1(Q)\geq-\ell(R/K)$ for some parameter ideal $Q,$ then is $R$ Cohen-Macaulay ?

The following example, which is worked out in @Lori [Example 3.8], shows that the answer to Question \[ques-1\] can be negative.

@Lori [Example 3.8]\[example-1\] Let $R=k[[x^5,xy^4,x^4y,y^5]]\cong k[[t_1,t_2,t_3,t_4]]/J,$ where $J=(t_2t_3-t_1t_4,~t_2^4-t_3t_4^3,~t_1t_2^3-t_3^2t_4^2, ~t_1^2t_2^2-t_3^3t_4,
  ~ t_1^3t_2-t_3^4,~ t_3^5-t_1^4t_4)$. Then $\dim R=2$. Let $Q=(x^5,y^5).$ We have $$P(Q,n)=5\binom{n+1}{2}+2n.$$ Let $K=Q.$ Then, by , $g_1(Q)=e_1(Q)-e_0(Q)=-7 \geq  -\ell(R/K)$ but $\operatorname{depth}R=1.$

The answer to Question \[ques-1\] is affirmative for $K={\mathfrak m}.$ Indeed, suppose $K={\mathfrak m}$ and $g_1(Q)\geq -\ell(R/{\mathfrak m})=-1$ for some parameter ideal $Q.$ From and , we get that $e_1(Q)-g_1(Q)=f_0(Q)\geq 1$. Hence $e_1(Q)\geq 0$ which implies that $R$ is Cohen-Macaulay by @vanishing1 [Theorem 2.1].

For an arbitrary $K$, we prove in Theorem \[thm-vanishing\] that an unmixed local ring is Cohen-Macaulay if $g_1(Q)\geq -\ell(R/K)+(\ell(R/Q)-g_0(Q))$ for some parameter ideal $Q\subseteq K$. Since $\ell(R/Q)-g_0(Q)\geq 0$, Theorem \[thm-vanishing\] is weaker than a complete solution of Question \[ques-1\]. We first discuss some results on $g_1(Q)$ for a parameter ideal $Q$ in a one dimensional ring.

For an ${\mathfrak m}$-primary ideal $I$ in $R$ and a finitely generated $R$-module $M$ of dimension $g,$ we write the <span>*Hilbert-Samuel polynomial*</span> of $M$ with respect to $I$ as $$\begin{aligned}
  P_M(I,n)=\sum\limits_{i=0}^{g}(-1)^i e_i(I,M)\binom{n+g-i-1}{g-i}.\end{aligned}$$

\[prop-g1-in-d=1\] Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension one and $Q$ a parameter ideal of $R$. Let $K$ be an ${\mathfrak m}$-primary ideal. Then $g_1(Q)=-\ell(R/K)-\ell(H_{\mathfrak m}^0(K))$.

The short exact sequence $$0 \to K \to R \to R/K \to 0$$ induces a surjective map from $H_{{\mathfrak m}}^1(K)$ to $H_{{\mathfrak m}}^1(R).$ Since $H_{{\mathfrak m}}^1(R) \neq 0,$ we get that $H_{{\mathfrak m}}^1(K) \neq 0.$ Thus $K$ is an $R$-module of dimension one. For all integers $n,$ we have $$\ell(R/KQ^n)=\ell(R/K)+\ell(K/KQ^n).$$ Therefore $$\label{eqn-e3}
  g_1(Q)=-\ell(R/K)+e_1(Q,K)=-\ell(R/K)-\ell(H_{\mathfrak m}^0(K))$$ where the last equality follows from @Mandal-Singh-Verma [Proposition 3.1].

\[prop-lemma for main result\] Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension one and $Q$ a parameter ideal of $R$. Let $K$ be an ideal such that $Q\subseteq K$. Suppose $g_0(Q)+g_1(Q)\geq -\ell(R/K)+\ell(R/Q)$. Then $R$ is Cohen-Macaulay.

Set $W:=H_{\mathfrak m}^0(R)$ and $\bar{R}:=R/W$. Then $\bar{R}$ is a Cohen-Macaulay local ring of dimension one. Consider the following exact sequence $$0\to W/(KQ^n\cap W)\to R/KQ^n\to \bar{R}/KQ^n\bar{R}\to 0.$$ By the Artin-Rees lemma, there exists an integer $k$ such that for all $n\gg 0$, $KQ^n\cap W\subseteq Q^n\cap W\subseteq Q^{n-k}W=0$. Hence for all $n\gg 0$, $$\begin{aligned}
  \ell(R/KQ^n)&=&\ell(\bar{R}/KQ^n\bar{R})+\ell(W).  \nonumber
  \end{aligned}$$ Thus $$\begin{aligned}
\label{eqn-R-to-Rbar}
   P_K(Q,n)=P_{\bar{K}}(\bar{Q},n)+\ell(W) \mbox{ for all integers }n.
  \end{aligned}$$ This implies that $$\begin{aligned}
  g_0(Q)&=&g_0(Q\bar{R}) \text{~~and~~} g_1(Q)=g_1(Q\bar{R})-\ell(W)\label{g1inbarR}\label{g1-in-d=1}.
  \end{aligned}$$ Therefore $$\begin{aligned}
  g_0(Q\bar{R})+g_1(Q\bar{R})&\geq& -\ell(R/K)+\ell(R/Q)+\ell(W) \label{lb on g_0+g_1}.
  \end{aligned}$$ Since $\bar{R}$ is Cohen-Macaulay, using , we get that $g_0(Q\bar{R})=e_0(Q\bar{R})=\ell(\bar{R}/Q\bar{R}).$ By Proposition \[prop-g1Q-in-CMring\], $g_1(Q\bar{R})=-\ell(\bar{R}/K\bar{R})$. Hence $$\begin{aligned}
g_0(Q\bar{R})+g_1(Q\bar{R})&=& \ell(\bar{R}/Q\bar{R})-\ell(\bar{R}/K\bar{R}))\nonumber\\
 &=&\ell(R/(W+Q))-\ell(R/(W+K))=\ell(K/(Q+W)\cap K))\nonumber\\
 &\leq & \ell(K/Q)\nonumber\\
 &=& -\ell(R/K)+\ell(R/Q). \label{ub on g_0+g_1}\end{aligned}$$ Comparing equations and , we get that $\ell(W)\leq 0$ which implies that $W=0.$ Thus $R$ is Cohen-Macaulay.

In order to prove Theorem \[thm-vanishing\], we need an analogue of @vanishing1 [Lemma 2.3].

\[lemma-for-g1-in-unmixed-rings\] Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension $ d>0$ and $Q$ a parameter ideal of $R$. Let $K$ be an ideal such that $Q\subseteq K$. Suppose $U=U_R(0)\neq 0$ and $S=R/U$. Then the following assertions hold:

1.  \[lemma-for-g1-in-unmixed-rings-a\] $\dim U<\dim R$.

2.  \[lemma-for-g1-in-unmixed-rings-b\] we have $g_0(Q)=g_0(QS)$ and $$g_1(Q)=
        \begin{cases}
          g_1(QS) & \text{if }\dim U\leq d-2 \\
          g_1(QS)-s_0 & \text{if }\dim U=d-1,
        \end{cases}$$ where $s_0$ is the multiplicity of the module $\mathop{\oplus}\limits_{n\geq 0}U/(KQ^{n+1}\cap U)$.

3.  \[lemma-for-g1-in-unmixed-rings-c\] $g_1(Q)\leq g_1(QS)$ with equality if and only if $\dim U\leq d-2$.

\[lemma-for-g1-in-unmixed-rings-a\] Let $(0)=\mathop{\cap}\limits_{p\in\operatorname{Ass}(R)}Q(p)$ be a primary decomposition of $(0)$ and $U=U_R(0)=\mathop{\cap}\limits_{p\in\operatorname{Assh}(R)}Q(p).$ For all $p\in \operatorname{Ass}(R)$ and $p^\prime\in \operatorname{Assh}(R)$ with $p\neq p'$, we have $Q(p)R_{p'}=R_{p'}.$ Hence for all $p'\in \operatorname{Assh}(R)$, we get that $(0)=\mathop{\cap}\limits_{p\in\operatorname{Ass}(R)}Q(p)R_{p'}=Q(p')R_{p'}.$ Thus $UR_{p'}=\mathop{\cap}\limits_{p\in\operatorname{Assh}(R)}Q(p)R_{p'}=Q(p')R_{p'}=(0).$ Hence $\operatorname{Assh}(R)\cap \operatorname{Supp}_R(U)=\phi.$ Therefore $\dim U < \dim R$.

\[lemma-for-g1-in-unmixed-rings-b\] Considering the short exact sequence $$0\to U/(KQ^n\cap U)\to R/KQ^n\to S/KQ^nS\to 0,$$ we get that $$\label{eqn-lemma-1}
\ell(R/KQ^n)=\ell(S/KQ^nS)+\ell(U/(KQ^n\cap U))    \mbox{ for all } n\in {\mathbb{Z}}.$$ Hence $\ell(U/(KQ^n\cap U))$ agrees with a polynomial, say $T(n)$ for $n\gg 0$. We write $$\label{eqn-lemma-2}
 T(n)=s_0\binom{n+t}{t}-s_1\binom{n+t-1}{t-1}+\ldots+(-1)^ts_t$$ for some $t\geq 0$ and $s_i \in \mathbb Z$ for $0\leq i\leq t.$ We claim that $t=\dim U.$ By the Artin-Rees lemma, there exists an integer $k$ such that for all $n\gg0$, $KQ^n\cap U\subseteq Q^n\cap U= Q^{n-k}(Q^{k}\cap U)\subseteq Q^{n-k}U.$ Hence $\ell(U/Q^{n-k}U) \leq \ell(U/(KQ^n\cap U))$ for all $n\gg 0$ which implies $t\geq \dim U$. On the other hand, Since $\ell(U/KQ^nU)=\ell(U/Q^nU)+\ell(Q^nU/KQ^nU)$, we see that $\ell(U/KQ^nU)$ coincides with a polynomial of degree equals $\dim U$ for all $n\gg 0$. Therefore $\ell(U/(KQ^n\cap U))\leq \ell(U/KQ^nU)$ for all $n\in {\mathbb{Z}}$ implies that $t=\dim U$.

From , we get $$\label{eqn-lemma-3}
P_K(Q,n)=P_{KS}(QS,n)+T(n) \mbox{ for all } n \in \mathbb{Z}.$$ By comparing the coefficients of both sides of and using , we get the result.

\[lemma-for-g1-in-unmixed-rings-c\] Follows from \[lemma-for-g1-in-unmixed-rings-b\].

The proof of Theorem \[thm-vanishing\] is based on the methods employed in @vanishing1. We recall the following results from @tightclosure which are needed to prove Theorem \[thm-vanishing\].

\[thm-as-the-main-lemma1\]<span>@tightclosure [Lemma 3.1]</span> Let $(R,{\mathfrak m})$ be a complete local ring. Suppose $\operatorname{Ass}(R)\subseteq\operatorname{Assh}(R)\cup \{{\mathfrak m}\}$. Then $H_{\mathfrak m}^1(R)$ has finite length.

Using Lemma \[lemma-existence-sup-elt-avoiding-ideals\], the proof of @tightclosure [Proposition 3.3] shows that $x_1,\ldots,x_d$ in @tightclosure [Proposition 3.3] can be choosen such that $x_1^o,\ldots,x_d^o$ is $F_K(Q)$-superficial and $x_1^*,\ldots,x_d^*$ is $G(Q)$-superficial.

\[thm-as-the-main-lemma2\]<span>@tightclosure [Proposition 3.3]</span> Let $(R,{\mathfrak m})$ be a homomorphic image of a Cohen-Macaulay local ring of dimension $d$ and assume that $\operatorname{Ass}(R)\subseteq \operatorname{Assh}(R)\cup \{{\mathfrak m}\}$. Let $Q$ be a parameter ideal. Then there exists a system of generators $x_1,\ldots,x_d$ of $Q$ such that $x_1^o,\ldots,x_d^o$ is $F_K(Q)$-superficial, $x_1^*,\ldots,x_d^*$ is $G(Q)$-superficial and $\operatorname{Ass}(R/Q_i)\subseteq \operatorname{Assh}(R/Q_i)\cup \{{\mathfrak m}\},$ where $Q_i=(x_1,\ldots,x_i)$ for $0\leq i\leq d.$

We now prove the main theorem of this section.

\[thm-vanishing\] Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension $d >0$ and $Q$ a parameter ideal of $R$. Let $K$ be an ideal such that $Q\subseteq K$. Then the following statements are equivalent:

1.  \[thm-vanishing-statement-a\] $R$ is Cohen-Macaulay;

2.  \[thm-vanishing-statement-b\] $R$ is unmixed and $g_0(Q)+g_1(Q)= -\ell(R/K)+\ell(R/Q);$

3.  \[thm-vanishing-statement-c\] $R$ is unmixed and $g_0(Q)+g_1(Q)\geq -\ell(R/K)+\ell(R/Q);$

4.  \[thm-vanishing-statement-d\] $R$ is unmixed and $f_0(Q) \leq \ell(R/K)+e_1(Q)+e_0(Q)-\ell(R/Q);$

5.  \[thm-vanishing-statement-e\] $R$ is unmixed and $f_0(Q) = \ell(R/K)+e_1(Q)+e_0(Q)-\ell(R/Q).$

Using and , we get that \[thm-vanishing-statement-e\] $\Leftrightarrow$ \[thm-vanishing-statement-b\] and \[thm-vanishing-statement-d\] $\Leftrightarrow$ \[thm-vanishing-statement-c\]. Hence it suffices to prove \[thm-vanishing-statement-a\] $\Rightarrow$ \[thm-vanishing-statement-b\] $\Rightarrow$ \[thm-vanishing-statement-c\] $\Rightarrow$ \[thm-vanishing-statement-a\].\
\[thm-vanishing-statement-a\] $\Rightarrow$ \[thm-vanishing-statement-b\] Follows from Proposition \[prop-g1Q-in-CMring\] and the fact that $g_0(Q)=e_0(Q)=\ell(R/Q)$.\
\[thm-vanishing-statement-b\] $\Rightarrow$ \[thm-vanishing-statement-c\] Clear.\
\[thm-vanishing-statement-c\] $\Rightarrow$ \[thm-vanishing-statement-a\] We prove by induction on $d.$ The result is clear for $d=1.$ Let $d \geq 2.$

We may assume that $R$ is complete with infinite residue field. Suppose $d=2$. Then we may assume that $Q=(x_1,x_2)$ such that $x_1^o$ is $F_K(Q)$-superficial. Since $R$ is unmixed, we can choose $x_1$ to be a nonzerodivisor on $R$. Let $S=R/(x_1).$ Then $Q/(x_1)$ is a parameter ideal of $S.$ By Lemma \[lemma-gi-for-induction\], $g_0(QS)=g_0(Q)$ and $g_1(QS)=g_1(Q).$ Hence $$g_0(QS)+g_1(QS)\geq -\ell(R/K)+\ell(R/Q)= -\ell(S/KS)+\ell(S/QS).$$ Therefore, by Proposition \[prop-lemma for main result\], $S$ is Cohen-Macaulay which implies that $R$ is Cohen-Macaulay.

Let $d\geq 3.$ By Theorem \[thm-as-the-main-lemma2\], there exists a system of generators $x_1,\ldots,x_d$ of $Q$ such that $x_1^o$ is $F_K(Q)$-superficial and $\operatorname{Ass}(R/(x_1))\subseteq\operatorname{Assh}(R/(x_1))\cup \{{\mathfrak m}\}$. Let $S=R/(x_1)$ and $\bar{S}=S/U_S(0)$. Then $\bar{S}$ is an unmixed local ring of dimension $d-1$ and $Q\bar{S}$ is a parameter ideal contained in $K\bar{S}$. Since $\dim U_S(0)=0$, by Lemma \[lemma-for-g1-in-unmixed-rings\]\[lemma-for-g1-in-unmixed-rings-b\], we get that $g_i(Q\bar{S})=g_i(QS)$ for $i=0,1.$ Therefore $$\begin{aligned}
g_0(Q\bar{S})+g_1(Q\bar{S})&=&g_0(Q)+g_1(Q) \\
&\geq&  -\ell(R/K)+\ell(R/Q)\\
&=&-\ell(S/KS)+\ell(S/QS)\\
&\geq& \ell(KS/((QS+U_S(0))\cap KS))=\ell((KS+U_S(0))/(QS+U_S(0)))\\
&=& -\ell(S/(KS+U_S(0)))+\ell(S/(QS+U_S(0)))\\
&=&-\ell(\bar{S}/K\bar{S})+\ell(\bar{S}/Q\bar{S}).\end{aligned}$$ Hence by induction hypothesis, $\bar{S}$ is Cohen-Macaulay. Therefore $H_{\mathfrak m}^i(\bar{S})=0$ for $0\leq i\leq d-2$. The exact sequence $$0\to U_S(0)\to S\to \bar{S}\to 0$$ gives the following long exact sequence $$\cdots \to H_{\mathfrak m}^i(U_S(0))\to H_{\mathfrak m}^i(S)\to H_{\mathfrak m}^i(\bar{S})\to \cdots\ .$$ Since $U_S(0)$ is Artinian, $H_{\mathfrak m}^0(U_S(0))=U_S(0)$ and $H_{\mathfrak m}^i(U_S(0))=0$ for all $i\geq 1.$ Therefore $H_{\mathfrak m}^0(S)=U_S(0)$ and $H_{\mathfrak m}^i(S)=0$ for $1\leq i\leq d-2.$

Now considering the exact sequence $$0\to R\xrightarrow{x_1} R \to S \to 0,$$ we get the long exact sequence $$\cdots \to H_{\mathfrak m}^{i-1}(S)\to  H_{\mathfrak m}^{i}(R)\xrightarrow{x_1} H_{\mathfrak m}^{i}(R) \to H_{\mathfrak m}^{i}(S)  \to \cdots .$$

This implies that the map $H_{\mathfrak m}^1(R)\xrightarrow{x_1} H_{\mathfrak m}^1(R)$ is surjective and $ H_{\mathfrak m}^{i}(R)\xrightarrow{x_1} H_{\mathfrak m}^{i}(R)$ is injective, for $2\leq i\leq d-1.$ Thus $H_{\mathfrak m}^1(R)=x_1 H_{\mathfrak m}^1(R).$ Since $H_{\mathfrak m}^1(R)$ is finitely generated by Theorem \[thm-as-the-main-lemma1\], using Nakayama's Lemma, we get that $H_{\mathfrak m}^1(R)=0.$ Since $H_{\mathfrak m}^{i}(R)$ is ${\mathfrak m}$-torsion, the injectivity of the map $ H_{\mathfrak m}^{i}(R)\xrightarrow{x_1} H_{\mathfrak m}^{i}(R)$ gives that $H_{\mathfrak m}^{i}(R)=0$ for $2\leq i\leq d-1$. Therefore $R$ is Cohen-Macaulay.

As a consequence we recover the result of Ghezzi et al. @vanishing1 [Theorem 2.1].

Let $R$ be a Noetherian local ring of dimension $d>0$ and $Q$ a parameter ideal of $R$. Then the following statements are equivalent:

1.  \[corr-vanishing-statement-a\] $R$ is Cohen-Macaulay;

2.  \[corr-vanishing-statement-b\] R is unmixed and $e_1(Q)=0$;

3.  \[corr-vanishing-statement-c\] $R$ is unmixed and $e_1(Q)\geq 0$.

Let $K=Q$. From , $g_0(Q)+g_1(Q)= e_1(Q)$. Hence the result follows from Theorem \[thm-vanishing\].

In case of $d=1$, we have $g_1(Q)\leq -\ell(R/K)$ by Proposition \[prop-g1-in-d=1\]. We obtain the following corollary in this direction for $d>0$. In particular for $K=Q$, we recover the non-positivity of the Chern number $e_1(Q)$ @vanishing1 [Corollary 2.4(a)] in Corollary \[corr-recover-e1\].

\[corr-negativity-result-for-g1\] Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension $d > 0$ and $Q$ a parameter ideal of $R$. Let $K$ be an ideal such that $Q\subseteq K$. Then

1.  \[corr-negativity-result-for-g1-aa\]

    1.  \[corr-negativity-result-for-g1-a\] $g_0(Q)+ g_1(Q)\leq -\ell(R/K)+\ell(R/Q)$.

    2.  $f_0(Q) \geq \ell(R/K)+ e_1(Q)+e_0(Q)-\ell(R/Q)$.

2.  \[corr-negativity-result-for-g1-bb\] Suppose $\operatorname{depth}R=d-1$. Then

    1.  \[corr-negativity-result-for-g1-b\] $g_0(Q) + g_1(Q)< -\ell(R/K)+\ell(R/Q)$.

    2.  $f_0(Q) > \ell(R/K)+ e_1(Q)+e_0(Q)-\ell(R/Q)$.

In view of and , it suffices to prove \[corr-negativity-result-for-g1-aa\]\[corr-negativity-result-for-g1-a\] and \[corr-negativity-result-for-g1-bb\]\[corr-negativity-result-for-g1-b\].\
\[corr-negativity-result-for-g1-aa\]\[corr-negativity-result-for-g1-a\] We may assume that $R$ is complete. Let $d=1.$ Since $g_0(Q)=e_0(Q) \leq \ell(R/Q),$ using Proposition \[prop-g1-in-d=1\], we get that $g_0(Q)+ g_1(Q)\leq -\ell(R/K)+\ell(R/Q).$ Suppose $d\geq 2.$ Set $S=R/U_R(0).$ Then $S$ is an unmixed local ring and $QS$ is a parameter ideal of $S.$ Hence $$\begin{aligned}
  g_0(Q)+ g_1(Q)&\leq& g_0(QS)+ g_1(QS) \hspace*{1in}\mbox{ [by Lemma \ref{lemma-for-g1-in-unmixed-rings}\ref{lemma-for-g1-in-unmixed-rings-b}] }\\
  &\leq& -\ell(S/KS)+\ell(S/QS) \hspace{0.7in}\mbox{ [from Theorem \ref{thm-vanishing}] }\\
 & \leq& -\ell(R/K)+\ell(R/Q).
 \end{aligned}$$

\[corr-negativity-result-for-g1-bb\]\[corr-negativity-result-for-g1-b\] Let $d=1$. Then $\operatorname{depth}(R)=0$ implies that $g_0(Q)=e_0(Q)<\ell(R/Q)$. Hence, by Proposition \[prop-g1-in-d=1\], $g_0(Q) + g_1(Q)< -\ell(R/K)+\ell(R/Q)$. Suppose $d\geq 2$. Let $Q=(x_1,\ldots,x_d)$ such that $x_1^o,\ldots,x_{d-1}^o$ is an $F_K(Q)$-superficial sequence. Since $\operatorname{depth}(R)=d-1$, we may choose $x_1,\ldots,x_{d-1}$ to be an $R$-regular sequence. Let " $\bar{}$ " denote reduction modulo $x_1,\ldots,x_{d-1}$. Then, by Lemma \[lemma-gi-for-induction\], $g_0(Q) + g_1(Q)=g_0(Q\bar{R}) + g_1(Q\bar{R}) < -\ell(R/K)+\ell(R/Q)$ by induction hypothesis.

\[corr-recover-e1\] Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension $d > 0$ and $Q$ a parameter ideal of $R$. Then

1.  $e_1(Q)\leq 0$

2.  If $\operatorname{depth}R=d-1$, then $e_1(Q) <0$.

It follows from letting $K=Q$ in Corollary \[corr-negativity-result-for-g1\] and using .

In the following example, we have the inequality as stated in part \[corr-negativity-result-for-g1-aa\]\[corr-negativity-result-for-g1-a\] of Corollary \[corr-negativity-result-for-g1\].

\[example-e3\] Let $S=k[[X,Y,Z]]]$ be a power series ring over a field $k$ and $I=(YZ,X^2Y,Y^3)$. Consider the ring $R=S/I=k[[x,y,z]]$. Then $\dim R=2$ and $\operatorname{depth}R=0$. Let $Q=(x,z^2)$ and $K=(x,y,z^2)$. Notice that $H_{{\mathfrak m}}^0(R)=(Y)/I$, hence $\bar{R}=R/H_{{\mathfrak m}}^0(R)=k[[X,Z]]$ which is Cohen-Macaulay. By and Proposition \[prop-g1Q-in-CMring\], we get $g_0(Q)+g_1(Q)=g_0(\bar{Q})+g_1(\bar{Q})=\ell(\bar{R}/Q\bar{R})-\ell(\bar{R}/K\bar{R})=2-2=0$ whereas $-\ell(R/K)+\ell(R/Q)=-2+4=2$.

The following two results can be seen as analogs of @vanishing1 [Theorem 2.6, Corollary 2.7]. Corollary \[corr-cm-gi\] gives a characterization of Cohen-Macaulayness of $R$ in terms of $g_i(Q)$.

\[thm-vanishing-main\] Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension $d > 0$ and $Q$ a parameter ideal of $R.$ Let $K$ be an ideal such that $Q\subseteq K.$ Suppose $R$ is a homomorphic image of a Cohen-Macaulay ring. Let $U=U_R(0).$ Then the following are equivalent:

1.  \[thm-vanishing-main-a\] $g_0(Q)+ g_1(Q)= -\ell(R/(K+U))+\ell(R/(Q+U));$

2.  \[thm-vanishing-main-b\] $R/U$ is Cohen-Macaulay and $\dim U\leq d-2$.

\[thm-vanishing-main-a\] $\Rightarrow$ \[thm-vanishing-main-b\] Let $S=R/U.$ Then $S$ is an unmixed local ring. If $U=0$, then $R$ is unmixed. Hence $g_0(Q)+ g_1(Q)= -\ell(R/K)+\ell(R/Q)$ implies that $R$ is Cohen-Macaulay, by Theorem \[thm-vanishing\]. Suppose $U\neq 0$. First we show that $\dim U\leq d-2.$ By Lemma \[lemma-for-g1-in-unmixed-rings\] \[lemma-for-g1-in-unmixed-rings-a\], $\dim U \leq d-1.$ Suppose $\dim U=d-1.$ Then $g_0(Q)=g_0(QS)$ and $g_1(Q)=g_1(QS)-s_0$ for some $s_0 \geq 1,$ by Lemma \[lemma-for-g1-in-unmixed-rings\] \[lemma-for-g1-in-unmixed-rings-b\]. Therefore $$\begin{aligned}
  g_0(Q)+ g_1(Q)&<& g_0(QS)+g_1(QS)\\
  &\leq& -\ell(S/KS)+\ell(S/QS) \hspace*{0.7in} \mbox{ [by Corollary \ref{corr-negativity-result-for-g1}] }\\
&=& -\ell(R/(K+U))+\ell(R/(Q+U))\end{aligned}$$ which is a contradiction. Hence $\dim U\leq d-2.$ By Lemma \[lemma-for-g1-in-unmixed-rings\] \[lemma-for-g1-in-unmixed-rings-b\], $g_1(Q)=g_1(QS).$ Hence $g_0(QS)+g_1(QS) = -\ell(S/KS)+\ell(S/QS).$ Therefore, by Theorem \[thm-vanishing\], $S=R/U$ is Cohen-Macaulay.

\[thm-vanishing-main-b\] $\Rightarrow$ \[thm-vanishing-main-a\] Let $S=R/U.$ Since $\dim U\leq d-2$, by Lemma \[lemma-for-g1-in-unmixed-rings\]\[lemma-for-g1-in-unmixed-rings-b\], $g_1(Q)=g_1(QS)=-\ell(S/KS),$ where the last equality holds by Proposition \[prop-g1Q-in-CMring\]. Therefore $$\begin{aligned}
 g_0(Q)+ g_1(Q)&=&\ell(S/QS)-\ell(S/KS)\\
 &=&\ell(R/(Q+U))-\ell(R/(K+U)).\end{aligned}$$

\[corr-cm-gi\] Let $(R,{\mathfrak m})$ be a Noetherian local ring of dimension $ d >0$. Suppose $R$ is a homomorphic image of a Cohen-Macaulay ring. Let $Q$ be a parameter ideal of $R$ and $K$ an ideal such that $Q\subseteq K$. Let $U=U_R(0)$. Suppose $$g_i(Q)=(-1)^i(g_0(Q)-\ell(R/(Q+U))+\ell(R/(K+U)))$$ for $1\leq i\leq d$. Then $R$ is Cohen-Macaulay.

Since $g_1(Q)=-(g_0(Q)-\ell(R/(Q+U))+\ell(R/(K+U))),$ by Theorem \[thm-vanishing-main\], $R/U$ is Cohen-Macaulay and $\dim U\leq d-2$. Set $S=R/U$. By Lemma \[lemma-for-g1-in-unmixed-rings\] \[lemma-for-g1-in-unmixed-rings-b\], $g_0(Q)=g_0(QS)=\ell(S/QS)=\ell(R/(Q+U)).$ From Proposition \[prop-g1Q-in-CMring\], we have $$\begin{aligned}
g_i(QS)=(-1)^i\ell(S/KS)\mbox{ for } 1\leq i\leq d.\end{aligned}$$ Hence $$g_i(Q)=(-1)^i\ell(R/(K+U))=(-1)^i\ell(S/KS) \mbox{ for } 1\leq i\leq d.$$ Therefore, for $n\gg 0,$ $$\begin{aligned}
     \ell(S/KQ^nS)&=&\ell(S/QS)\binom{n+d-1}{d}+\ell(S/KS)\binom{n+d-2}{d-1}+\cdots+\ell(S/KS) \mbox{ and }\\
   \ell(R/KQ^n)&=&\ell(S/QS)\binom{n+d-1}{d}+\ell(S/KS)\binom{n+d-2}{d-1}+\cdots+\ell(S/KS).
    \end{aligned}$$ Thus $$\ell(U/(KQ^n\cap U))=\ell(R/KQ^n)-\ell(S/KQ^nS)=0 \mbox{~~for~~} n\gg0 .$$ This implies that $U=0$ and hence $R$ is Cohen-Macaulay.

Acknowledgements {#acknowledgements .unnumbered}
================

The author is grateful to her advisor Anupam Saikia for the encouragement to pursue this work. She is also grateful to Krishna Hanumanthu and Shreedevi K. Masuti for insightful discussions. She thanks the Indian Institute of Technology, Guwahati for granting the Ph.D. scholarship and the Institute of Mathematical Sciences, Chennai for its hospitality where a significant part of this work was done.

<span>1</span> W. Bruns and J. Herzog, <span>*Cohen-Macaulay rings*</span>, Revised Edition, Cambridge University Press, Cambridge, 1998.

C. D'Cruz, <span>*On the homology and fiber cone of ideals*</span>, Comm. Algebra <span>**41**</span> (2013), 4227-4247.

L. Ghezzi, S. Goto, J. Hong, K. Ozeki, T. T. Phuong and W. V. Vasconcelos, <span>*Cohen-Macaulayness versus the vanishing of the first Hilbert coefficient of parameter ideals*</span>, J. London Math. Soc. <span>**81**</span> (2010), 679-695.

L. Ghezzi, S. Goto, J. Hong, K. Ozeki, T. T. Phuong and W. V. Vasconcelos, <span>*The Chern numbers and Euler characteristics of modules*</span>, Acta Math. Vietnamica <span>**40**</span>, (2015), 37-60.

L. Ghezzi, J. Hong and W. V. Vasconcelos, <span>*The signature of the Chern coefficients of local rings*</span>, Math. Res. Lett. <span>**16**</span> (2009), 279-289.

S. Goto and Y. Nakamura, <span>*Multiplicity and tight closures of parameters*</span>, J. Algebra <span>**244**</span> (2001), 302-311. Y. Gu, G. Zhu and Z. Tang, <span>*On Hilbert coefficients of filtrations*</span>, Chin. Ann. Math. 28B(5) (2007), 543-554. A. V. Jayanthan and J. K. Verma, <span>*Fiber cones of ideals with almost minimal multiplicity*</span>, Nagoya Math. J. <span>**177**</span> (2005), 155-179.

A. V. Jayanthan and J. K. Verma, <span>*Hilbert coefficients and depth of fiber cones*</span>, J. Pure and Applied Algebra <span>**201**</span> (2005), 97-115.

M. Mandal, B. Singh and J. K. Verma, <span>*On some conjectures about the Chern numbers of filtrations*</span>, J. Algebra <span>**325**</span> (2011), 147-162.

H. Matsumura, <span>*Commutative Ring Theory*</span>, Cambridge University Press, Cambridge, 1986.

L. Mccune, <span>*Hilbert coefficients of parameter ideals*</span>, J. Commut. Algebra <span>**5**</span> (2013), 399-412.

M. E. Rossi and G. Valla, <span>*Hilbert functions of filtered modules*</span>, Lecture Notes of the Unione Mathematica Italiana 9, Springer-Verlag, Berlin, UMI, Bologna, 2010.

I. Swanson and C. Huneke, <span>*Integral closure of ideals, rings and modules*</span>, London Math. Soc., Lecture Note Series 336 , Cambridge University Press, 2006.

W. V. Vasconcelos, <span>*The Chern coefficients of local rings*</span>, Michigan Math. J. <span>**57**</span> (2008), 725-743.

G. Zhu, Y. Gu and Z. Tang, <span>*Hilbert coefficients of filtrations with almost maximal depth*</span>, J. Math. Research and Exposition <span>**28(4)**</span> (2008).

{'source': 'arXiv_out/1609'}