Powers of complete intersections: Graded Betti numbers and applications. (English) Zbl 1089.13008
The main theorem of the paper produces a graded minimal free resolution of \(I^s,\;s\in \mathbb{N}\), where \(I\) is the homogeneous ideal of a complete intersection of type \((d_1,\dots,d_r)\) in \(\mathbb{P}^n\). Such a resolution allows: an explicit description of the graded Betti numbers of \(I^s\) in terms of \(s\) and \((d_1,\dots,d_r)\); the computation of the Hilbert function \(H_{R/I^s}\), starting from \(H_{R/I}\). The authors point out that a minimal free resolution of \(I^s\) can also be obtained by means of the Eagon-Northcott complex and that a graded one was produced by Buchsbaum and Eisenbud and used by Srinivasan; the technique of the present paper is more elementary and the description of Betti numbers more explicit.
The last part of the paper consists in some applications. A Herzog-Huneke-Srinivasan conjecture is proved (in this special case) linking the multiplicity of \(R/I^s\) to the shifts of its graded minimal free resolution. A set of fat points, all with the same multiplicity \(m\), having as a support a complete intersection, is an example of scheme having as associated ideal \(I^m\), where \(I\) is a complete intersection; more generally, if \(X\) is a complete intersection that “splits” into smaller complete intersections and \(Y\) is a corresponding set of fat points minus one point, some bounds are produced on the regularity index and on the least degree of a form in its ideal.
The last part of the paper consists in some applications. A Herzog-Huneke-Srinivasan conjecture is proved (in this special case) linking the multiplicity of \(R/I^s\) to the shifts of its graded minimal free resolution. A set of fat points, all with the same multiplicity \(m\), having as a support a complete intersection, is an example of scheme having as associated ideal \(I^m\), where \(I\) is a complete intersection; more generally, if \(X\) is a complete intersection that “splits” into smaller complete intersections and \(Y\) is a corresponding set of fat points minus one point, some bounds are produced on the regularity index and on the least degree of a form in its ideal.
Reviewer: Carla Massaza (Torino)
MSC:
13D02 | Syzygies, resolutions, complexes and commutative rings |
13C40 | Linkage, complete intersections and determinantal ideals |
13C10 | Projective and free modules and ideals in commutative rings |
14M05 | Varieties defined by ring conditions (factorial, Cohen-Macaulay, seminormal) |