Derived functors and Hilbert polynomials over Gorenstein rings

Abstract

Let $(A,\mathfrak{m},k)$ be a Gorenstein ring of dimension $d\ge 1$, $N$ a perfect module of dimension $t\ge 1$ and $I$ an ideal of definition of $N$. For a non-free maximal Cohen-Macaulay (=MCM) $A$-module $M$ and an integer $i\ge 1$, it is well known that the functions $n \mapsto \ell(Tor_i^A(M,N/I^{n+1}N))$ and $n \mapsto \ell(Ext^i_A(M,N/I^{n+1}N))$ are of polynomial types of degrees $r_i^{I,N}(M)$ and $s_{I,N}^i(M)$, respectively. We prove that $r_i^{I,N}(M)\le t-1$ and $s^i_{I,N}(M)\le t-1$ and when $I$ is the maximal ideal $\mathfrak{m}$, both the inequalities become equalities. We also show that $r_i^{I,N}(M)\le r_1^{I,N}(\Omega^dk)$, $s^i_{I,N}(M)\le s^1_{I,N}(\Omega^dk)$ and $r_i^{I,N}(\Omega^dk)=r_1^{I,N}(\Omega^dk)=s^1_{I,N}(\Omega^dk)=s^i_{I,N}(\Omega^dk)$. \end