Constructing homogeneous Gorenstein ideals (Q397975)

By the work of \textit{A. R. Kustin} and \textit{M. Miller} [J. Algebra 85, 303--322 (1983; Zbl 0522.13011)], one can construct a new Gorenstein ideal \(I\) of grade \(g\) in a Gorenstein ring \(R[v]\) where \(v\) is a new indeterminate and \(R\) is a Gorenstein local ring, when given Gorenstein ideals \(\mathfrak{b}\subseteq\mathfrak{a}\) with grades \(g\) and \(g-1\), respectively, in \(R\). Instead of introducing a new indeterminate, the authors use a suitable homogeneous element \(f\) in \(R\) to construct a homogeneous ideal \(I=\mathfrak{b}+(\alpha_{g-1}^{*}+(-1)^{g}fa_{g}^{*})\) in the ring \(R\). Here \(\alpha_{g-1}^{*}\) and \(a_{g}^{*}\) are row vectors derived from comparing the resolutions of \(\mathfrak{a}\) and \(\mathfrak{b}\) and the second ideal is generated by the entries of the specified row vector (Theorem 3.1). The authors adapt the original Kustin-Miller construction and its proof to obtain a graded free resolution of \(I\) that is often minimal (Theorem 4.1) which is not the case when one uses liaison theory. The paper ends with illustrating the flexibility of the homogeneous construction by producing examples in Section 5.