Homogeneous polynomial ideals: Standard bases and liaison

Ideals and multiplicative ideal theory in commutative rings (13A15) Linkage, complete intersections and determinantal ideals (13C40) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Linkage (14M06) Complete intersections (14M10)

Review text

Let \(R=k[X,Y,Z_ 1,...,Z_ r]\) and I be a perfect homogeneous ideal of height two. The author axiomatizes properties of combinatorial data associated to I, including the Hilbert function, the number of minimal generators in each degree, and the least index such that \(I_ tR\) has grade at least two. A collection \({\mathcal C}\) that satisfies these properties is called permissible, and trivial if it corresponds to a complete intersection. If F, G is a regular sequence of forms in I with smallest possible degrees, then \(J=(F,G):I\) is a minimal link of I. The data \({\mathcal C}_ I\) and \({\mathcal C}_ J\) are closely related; hence one can define minimal linkage of data sets abstractly. The main result is that every minimally linked sequence \({\mathcal C}^{(m)},...,{\mathcal C}^{(0)}\) of permissible data sets can be realized by a minimally linked sequence of monomial ideals, and if one takes \({\mathcal C}^{(0)}\) to be trivial then the minimal generating sets can be constructed algorithmically. If \(r\geq 1\) and k is infinite, then for any permissible \({\mathcal C}\) there is an ideal I so that \({\mathcal C}={\mathcal C}_ I\) and R/I is reduced.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Homogeneous polynomial ideals: Standard bases and liaison

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