Powers of complete intersections: Graded Betti numbers and applications

From MaRDI portal
Publication:2567500



Abstract: Let I = (F_1,...,F_r) be a homogeneous ideal of R = k[x_0,...,x_n] generated by a regular sequence of type (d_1,...,d_r). We give an elementary proof for an explicit description of the graded Betti numbers of I^s for any s geq 1. These numbers depend only upon the type and s. We then use this description to: (1) write H_{R/I^s}, the Hilbert function of R/I^s, in terms of H_{R/I}; (2) verify that the k-algebra R/I^s satisfies a conjecture of Herzog-Huneke-Srinivasan; and (3) obtain information about the numerical invariants associated to sets of fat points in P^n whose support is a complete intersection or a complete intersection minus a point.


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.




Cited in
(38)


Describes a project that uses

Uses Software






This page was built for publication: Powers of complete intersections: Graded Betti numbers and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2567500)