Saturation bounds for smooth varieties (Q2676964)

In the article under review, the authors establish saturation bounds for the defining ideals of nonsingular complex projective schemes. In more specific terms, consider the case of a nonsingular projective scheme \( X \subset \mathbb{P}^r \) that is defined by a homogeneous ideal \( J \subset S := \mathbb{C}[x_0,\dots,x_r], \) which is generated by a collection of homogeneous forms \( f_0,\dots,f_p \in S \) with \( \operatorname{deg}(f_i) = d_i, \) for \(i = 0,\dots, p\), and \(d_0\geq d_1 \geq \dots \geq d_p \geq d_{p+1} = \dots = d_r = 0.\) Denoting the saturation of \(J\) by \(J^{\operatorname{sat}}\), the saturation degree, \(\operatorname{sat. deg}(J)\), is the least integer \(t\), which is such that \( (J^{\operatorname{sat}})_t = J_t , \) for \(t \gg 0\). The authors' main result is then that \[ \operatorname{sat.deg}(J^a) \leq a d_0 + d_1 + \dots +d_r - r, \text{ for each positive integer }a>0. \] Among other things, it follows that if \(I_X\) is the saturated homogenous ideal of \(X\) and generated in degrees \(d_0\geq d_1 \geq \dots \geq d_p \geq d_{p+1} = \dots = d_r = 0,\) then \[ (I^{(a)}_X)_t = (I^a_X)_t , \text{ for } t \geq a d_0+d_1+\dots+d_r - r .\] Here, \(I_X^{(a)}\) is \(I_X\)'s \(a\)th symbolic power. The main idea behind the proof of these results, is to use chain complexes of sheaves to study the image, in \((I^a_X)^{\operatorname{sat}}\), of the powers of defining ideals for \(X\). These homological techniques build on the work of \textit{D. A. Buchsbaum and D. Eisenbund} [Adv. Math. 18, 245--301 (1975; Zbl 0336.13007)] and \textit{H. Srinivasan} [J. Algebra 122, No. 1, 150--187 (1989; Zbl 0676.13007)]. They are of an independent interest.