Asymptotic Castelnuovo-Mumford regularity of (co)homology modules involving powers of ideals

Abstract

Let \(R\) be a Noetherian standard $\mathbb{N}$-graded ring, and let \(I_1,\ldots,I_r\) be homogeneous ideals of \(R\). Let $L,M$, and $N$ be finitely generated $\mathbb{Z}$-graded \(R\)-modules with \(N\subseteq M\). For \(\underline{n} :=(n_1,\dots,n_r)\in\mathbb N^r\), set \({\bf I}^{\underline{n}}:=I_1^{n_1}\cdots I_r^{n_r}\). We study the asymptotic behaviour of the (Castelnuovo-Mumford) regularity of two families of Ext and Tor modules: those obtained from the quotients ${\bf I}^{\underline{n}}M/{\bf I}^{\underline{n}}N$, and those obtained from the quotients \(M/{\bf I}^{\underline{n}}N\), with \(L\) as the first argument in both the families. For each fixed homological degree, we prove that the regularity of the former family is eventually given by the supremum of finitely many linear functions of $\underline{n}$, where the coefficient of \(n_i\) belongs to the set of degrees of generators of \(I_i\). For the second family, when at least one of the ideals \(I_i\) is generated by homogeneous elements of positive degree, we establish, under suitable conditions, a dichotomy: the regularity is either eventually equal to the regularity of the Ext or Tor module of $(L,M)$, or exhibits the same asymptotic behaviour as in the first family. These results follow from a theorem describing the asymptotic behaviour of the regularity of \((U+{\bf I}^{\underline{n}}V)/{\bf I}^{\underline{n}}W\), under suitable conditions, where \(U\), \(V\), and \(W\) are graded submodules of a finitely generated graded \(R\)-module with \(W\subseteq V\).