Boundedness of cohomology (Q2268827)

Let \(d\) be a natural integer. Let \(\mathcal{D}^d\) denote the class of all pairs \((R,M)\) in which \(R=\bigoplus_{i\in \mathbb{N}_0}R_i\) is a noetherian homogeneous ring with Artinian base ring and \(M\) is a finitely generated graded \(R\)-module with \(\dim_RM\leq d\). For each \((R,M)\in \mathcal{D}^d\), let \(D_{R_+}(\bullet):={\varinjlim}_n\Hom_R((R_+)^n,\bullet)\) denote the ideal transform functor with respect to the irrelevant ideal \(R_+\) of \(R\). For each non-negative integer \(i\), let \(D^i_{R_+}(\bullet)\) denote the \(i\)-th right derived functor of \(D_{R_+}(\bullet)\) and set \(d_M:=(d_M^i(n))_{(i,n)\in \mathbb{N}_0\times \mathbb{Z}}\), where \(d_M^i(n):=\mathrm{length}_{R_0}D^i_{R_+}(M)_n\). The main result of this paper asserts that a set \(\mathbb{S}\subseteq \{0,1,\dots ,d-1 \}\times \mathbb{Z}\) bounds cohomology if and only if it contains a set of the form \(\{(i,n_i)\mid i=0,\dots ,d-1 \text{ and } n_0>n_1>\dots >n_{d-1} \}\). Note that, by the paper's definition, a subclass \(\mathcal{C}\) of \(\mathcal{D}^d\) is of finite cohomology if the set \(\{d_M\mid (R,M)\in \mathcal{C}\}\) is finite. A set \(\mathbb{S}\subseteq \{0,1,\dots ,d-1 \}\times \mathbb{Z}\) is said to bound cohomology if for any family \((h^\sigma)_{\sigma\in \mathbb{S}}\) of non-negative integers the class \[ \{(R,M)\in \mathcal{D}^d\mid d_M^i(n)\leq h^{(i,n)} \text{ for all } (i,n)\in \mathbb{S} \} \] is of finite cohomology.