Castelnuovo-Mumford regularity of deficiency modules (Q1048216)

The main result is as follows: \ For a non-negative integer \(d\) and \(0 \leq i \leq d\), functions \(F_d^i : {{\mathbb N}_0}\!^d \times {\mathbb Z} \to {\mathbb Z}\) are defined. Then for a finitely generated graded module \(M\) of dimension \(d\) over a homogeneous Noetherian ring \(R = \bigoplus_{n\geq0}R_n\) with Artinian local base ring \(R_0\), the inequality \[ \text{reg}(K^i(M)) \leq F_d^i(d_M^0(0),d_M^1(-1),\dots,d_M^{d-1}(1-d),\text{beg}(M)) \] is shown. Where \(\text{reg}(K^i(M))\) is the Castelnuovo-Mumford regularity of the \(i\)-th deficiency module of \(M\), \(d_M^i(n) = \text{length}_{R_0}(D_{R_+}^i(M))_n\) (\(D_{R_+}^i\) is the \(i\)-th derived functor of the \(R_+\)-transform functor \(\lim_{n\to\infty}\text{Hom}_R((R_+)^n,\bullet)\)), and \(\text{beg}(M) = \inf\{n \in {\mathbb Z} \mid M_n \neq0 \}\). (Definition\,3.4 and Theorem\,3.6). In the preliminary section 2, the authors recall definitions and basic facts which are used in the following sections. In section 4, they prove that \(\text{reg}(K^i(M))\) can be bounded in terms of \(\text{beg}(M)\), \(\text{reg}^2(M)\) and \(p_M(\text{reg}^2(M))\) (\(p_M\) is the Hilbert polynomial of \(M\)), and some corollaries are shown. In the final section 5, a lower bound of the \(i\)-th cohomological postulation number of \(M\) is given for \(0 \leq i < d\), and an application of this result is given.