On the Castelnuovo-Mumford regularity of ideals, in dimension 2 (Q2565513): Difference between revisions

Let \(A\) be a polynomial ring of \(m+2\) variables over a field, and let \(I\) be a homogeneous ideal of \(A\) generated by \(s\) forms of degrees \(d_1 \geq \dots \geq d_s\) with \(s>m\) and \(\dim A/I = 2\). Let \(Z\) be the zero dimensional scheme defined by a general section of \(\text{Proj}(A/I)\) and \(i_Z = \text{indeg}(I_Z)\) the smallest degree of a hypersurface containing \(Z\). Then the main theorem gives an upper bound of the Castelnuovo-Mumford regularity of \(I\), that is, \[ \text{reg}(I) \leq (d_1 \cdot\dots\cdot d_m - \deg(Z) + 1) (d_1 + \cdots + d_{m+1} - m -i_Z) + i_Z. \] Using examples due to \textit{M. Chardin} and \textit{C. D'Cruz} [J. Algebra 270, 347--360 (2003; Zbl 1056.14065)], the authors construct certain homogeneous ideals and give lower bounds of their Castelnuovo-Mumford regularities, which show that the bound given in the main theorem is quite sharp.