Linearization of resolutions via products (Q2318375)

Let \(k\) be an infinite field and \(S = k[x_{1}, \ldots , x_{r}]\) the polynomial ring over \(k\). Let \(I\) be a homogeneous ideal in \(S\). The maximal degree among a minimal generating set of \(I\) gives an estimation of complexities of \(I\). However, it does not provide any information on the syzygies of \(I\). A better alternative is the \textit{Castelnuovo-Mumford regularity} of \(I\), denoted by \(\mbox{reg}(I)\), which by definition is the smallest integer \(m\) such that for each \(i\), the \(i\)-th syzygy of \(I\) is generated in at most degree \(m+i\). In general \(\mbox{reg}(I)\leq (2d)^{2^{r-2}}\), where \(d\) is the maximal degree at which \(I\) is generated (see [\textit{G. Caviglia} and \textit{E. Sbarra}, Compos. Math. 141, No. 6, 1365--1373 (2005; Zbl 1100.13020)]). One of the current research interests is to bound the regularity of product of ideals \(I\) and \(J\), \textit{i.e.}, \(\mbox{reg}(IJ)\) in terms of \(\mbox{reg}(I)\) and \(\mbox{reg}(J)\). It is known that (see [\textit{K. A. Chandler}, Commun. Algebra 25, No. 12, 3773--3776 (1997; Zbl 0928.14033)]) \(\mbox{reg}(IJ)\leq \mbox{reg}(I)\mbox{reg}(J)\), if \(\dim(S/J)\leq 1\) and for any ideal \(I\). This is a generalization of an earlier result that \(\mbox{reg}(J)^{n}\leq n\cdot \mbox{reg}(J)\). The author in the paper under review proves the following theorem: ``Let \(I\) be any homogeneous ideal of \(S\), generated in degree \(d\). Then there exists an integer \(n_{I} \leq r (\mbox{reg}(I) - d)\), such that for any set \(\chi\) of general points of \(\mathbb{P}^{r-1}\) with \(\# \chi \geq n_{I}\), the ideal \(I\prod_{p\in\chi}I(p)\) has a linear resolution.'' The author also proves the following result for a general complete intersection ideal of degree \(d\): ``Let \(I_{ci}\) be an ideal generated by \(l\leq r\) general forms of degree \(d\). For \(\chi\) \(r\) general points of \(\mathbb{P}^{r-1}\), the ideal \(I_{ci}(\prod_{p\in\chi}I(p))^{d}\) has a linear resolution.''