Bounds for the Castelnuovo-Mumford regularity (Q847950)

Let \(r \geq 2\) denote an integer. Let \(K[x_1,\dots,x_r]\) be the polynomial ring over a field \(K\) and \(\mathfrak{a}\) a homogeneous ideal. Let \(\text{reg}(\mathfrak{a})\) denote the Castelnuovo-Mumford regularity and let \(d(\mathfrak{a})\) be the generating degree of \(\mathfrak{a}.\) By \textit{A. Galligo} [Ann. Inst. Fourier 29, No. 2, 107--184 (1979; Zbl 0412.32011)], and \textit{M. Giusti} [Lect. Notes Comput. Sci. 174, 159--171 (1984; Zbl 0585.13010)], it follows that \( \text{reg}(\mathfrak{a}) \leq (2 d(\mathfrak{a}))^{2^{r-2}} \) for \(K\) a field of characteristic zero. See also \textit{D. Bayer} and \textit{D. Mumford} [Symp. Math. 34, 1--48 (1993; Zbl 0846.13017)]. Recently \textit{G. Caviglia} and \textit{E. Sbarra} [Compos. Math. 141, No. 6, 1365--1373 (2005; Zbl 1100.13020)] have shown that this bound holds for a field \(K\) of any characteristic. The authors generalize this bound where the polynomial ring is replaced by a graded homomorphic image \(V\) of a graded Cohen-Macaulay module \(U\) over a graded Noetherian ring \(R = R_0[R_1]\) with an Artinian local base ring \(R_0,\) and where \(\mathfrak{a}\) is replaced by a graded proper submodule \(M\) of \(V.\) In particular, for \(\mathfrak{a}\) a proper homogeneous ideal in a graded Cohen-Macaulay ring \(R\) as above and with \(\dim R > 1\) it follows by the authors' results that \( \text{reg}(\mathfrak{a}) \leq [\text{reg}(R) + d(\mathfrak{a}) (1 + e(R))]^{2^{r-2}}, \) where \(e(R)\) denotes the multiplicity of \(R.\) The authors conclude that there is a ``linear exponential bound'' for the regularity of a graded module \(M\) in terms of the discrete data of a minimal free presentation of \(M.\) This is a considerably improvement with respect to the estimates classically known before.