Coherent functors, powers of ideals, and asymptotic stability

TL;DR

This paper studies the asymptotic behavior of associated primes, grades, and lengths of modules obtained via coherent functors applied to powers of ideals, establishing stabilization and polynomial growth results.

Contribution

It proves stabilization of associated primes and grades, and polynomial formulas for lengths, Betti, and Bass numbers of modules derived from powers of ideals using coherent functors.

Findings

Associated primes and grades stabilize for large powers.

Lengths of modules are given by polynomial functions in large degrees.

Betti and Bass numbers are polynomial in the exponents of ideals.

Abstract

Let $R$ be a Noetherian ring, $I_1,\ldots,I_r$ be ideals of $R$, and $N\subseteq M$ be finitely generated $R$-modules. Let $S = \bigoplus_{\underline{n} \in \mathbb{N}^r} S_{\underline{n}}$ be a Noetherian standard $\mathbb{N}^r$-graded ring with $S_{\underline{0}} = R$, and $\mathcal{M} $ be a finitely generated $\mathbb{Z}^r$-graded $S$-module. For $ \underline{n} = (n_1,\dots,n_r) \in \mathbb{N}^r$, set $G_{\underline{n}} := \mathcal{M}_{\underline{n}}$ or $G_{\underline{n}} := M/{\bf I}^{\underline{n}} N$, where ${\bf I}^{\underline{n}} = I_1^{n_1} \cdots I_r^{n_r}$. Suppose $F$ is a coherent functor on the category of finitely generated $R$-modules. We prove that the set $\rm{Ass}_R \big(F(G_{\underline{n}}) \big)$ of associate primes and $\rm{grade}\big(J, F(G_{\underline{n}})\big)$ stabilize for all $\underline{n} \gg 0$, where $J$ is a non-zero ideal of $R$. Furthermore, if the length $\lambda_R(F(G_{\underline{n}}))$ is finite for all $\underline{n} \gg 0$, then there exists a polynomial $P$ in $r$ variables over $\mathbb{Q}$ such that $\lambda_R(F(G_{\underline{n}})) = P(\underline{n})$ for all $\underline{n}\gg 0$. When $R$ is a local ring, and $G_{\underline{n}} = M/{\bf I}^{\underline{n}} N$, we give a sharp upper bound of the total degree of $P$. As applications, when $R$ is a local ring, we show that for each fixed $i \geq 0$, the $i$th Betti number $\beta_i^R(F(G_{\underline{n}}))$ and Bass number $\mu^i_R(F(G_{\underline{n}}))$ are given by polynomials in $\underline{n}$ for all $\underline{n} \gg 0$. Thus, in particular, the projective dimension $\rm{pd}_R(F(G_{\underline{n}}))$ (resp., injective dimension $\rm{id}_R(F(G_{\underline{n}}))$) is constant for all $\underline{n}\gg 0$.