Saturation bounds for smooth varieties
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.
- Quasi complete intersections, powers of ideals and deficiency modules
- Multiplicité et formes éliminantes
- Componentwise linearity of projective varieties with almost maximal degree
- Cohen-Macaulay coordinate rings of blowup schemes
- On the equations which are needed to define a closed subscheme of the projective space
- The saturation number of monomial ideals
- Evaluations of initial ideals and Castelnuovo-Mumford regularity
- scientific article; zbMATH DE number 3968781
- On the defining equations and syzygies of arithmetically Cohen-Macaulay varieties in arbitrary characteristic
- Liaison and Castelnuovo-Mumford regularity
- A note on symbolic and ordinary powers of homogeneous ideals
- Acyclicity of symmetric and exterior powers of complexes
- Algebra structures on some canonical resolutions
- Asymptotic behaviour of Castelnuovo-Mumford regularity
- Comparing powers and symbolic powers of ideals
- Comparison of symbolic and ordinary powers of ideals.
- Generic free resolutions and a family of generically perfect ideals
- Graded Betti numbers of some embedded rational \(n\)-folds
- scientific article; zbMATH DE number 3927073 (Why is no real title available?)
- scientific article; zbMATH DE number 1347166 (Why is no real title available?)
- scientific article; zbMATH DE number 1999219 (Why is no real title available?)
- Linear free resolutions and minimal multiplicity
- On a theorem of Castelnuovo, and the equations defining space curves
- On the CastelnuovoMumford regularity of products of ideal sheaves
- Regularity of the powers of an ideal
- Resolutions of the exterior and symmetric powers of a module
- Symbolic powers of codimension two Cohen-Macaulay ideals
- Symbolic powers of ideals
- Syzygies and Koszul cohomology of smooth projective varieties of arbitrary dimension
- The theorem of Barth-Lefschetz as a consequence of Le Potier's vanishing theorem
- Uniform bounds and symbolic powers on smooth varieties
- Vanishing Theorems, A Theorem of Severi, and the Equations Defining Projective Varieties
- Saturation theory and very ample Hilbert functions
- The saturation number of \(\mathbf{c}\)-bounded stable monomial ideals and their powers
- Bounds for smooth Fano weighted complete intersections
- Saturation of Jacobian ideals: some applications to nearly free curves, line arrangements and rational cuspidal plane curves
- Multiplicité et formes éliminantes
- Finite saturation for unirational varieties
- Uniform bounds and symbolic powers on smooth varieties
- On the saturation sequence of the rational normal curve
This page was built for publication: Saturation bounds for smooth varieties
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2676964)
