Derived functors and Hilbert polynomials over hypersurface rings-II

Abstract

Let $(A,\mathfrak{m})$ be a hypersurface local ring of dimension $d \geq 1$, $N$ a perfect $A$-module and let $I$ be an ideal in $A$ with $\ell(N/IN)$ finite. We show that there is a integer $r_I \geq -1$ (depending only on $I$ and $N$) such that if $M$ is any non-free maximal \CM \ (= MCM) $A$-module the functions $n \rightarrow \ell(\text{Tor}^A_1(M, N/I^{n+1}N))$, $n \rightarrow \ell(\text{Ext}^1_A(M, N/I^{n+1}N))$ and $n \rightarrow \ell(\text{Ext}^{d+1}(N/I^{n+1}N, M))$ (which are all of polynomial type) has degree $r_I$. Surprisingly a key ingredient is the classification of thick subcategories of the stable category of MCM $A$-modules (obtained by Takahashi, see \cite[6.6]{T}).