Artinian Gorenstein algebras with linear resolutions (Q743920)

Fix a pair of positive integers \(d\) and \(n\). Let \(P=k[x_ 1,\dots, x_ d]\) be the polynomial ring in \(d\) variables over a field \(k\), and let \(\mathbb{I}^{[d]}_ n(k)\) be the set of homogeneous ideals \(I\) in \(P\), which are generated by forms of degree \(n\), and for which \(P/I\) is an Artinian Gorenstein algebra with a linear resolution. The present paper gives a complete solution to the project that parameterizes the elements of \(\mathbb{I}^{[d]}_ n(k)\), and their resolutions, in a reasonable manner. As an intermediate step toward the solution of this project, the author exhibit a complex \(\widetilde{\mathbb{G}}(n)\) of modules over the bi-graded polynomial ring \(\widetilde{R}=\mathbb{Z}[x_ 1, \dots, x_ d, \{t_ M\}]\), where \(M\) runs over all monomials of degree \(2n-2\) in \(\{x_ 1, \dots, x_ d\}\). By using the complex \(\widetilde{\mathbb{G}}(n)\), they construct a complex \(\widetilde{\mathbb{G}}^\prime(n)\) of modules over \(\widetilde{R}\) satisfying the following universal property. If \(I\) is an ideal from \(\mathbb{I}^{[d]}_ n(k)\), then there exists a homomorphism \(\widetilde{R}\rightarrow P\) such that \(P\bigotimes_{\widetilde{R}}\widetilde{\mathbb{G}}^\prime(n)\) is a minimal homogeneous resolution of \(P/I\) by free \(P\)-modules. They also prove that if \(d=3\), \(n\geq 3\), and the characteristic of \(k\) is zero, then \(\mathbb{I}^{[d]}_ n(k)\) can be decomposed into at least four disjoint, non-empty orbits under the group action of GL\(_ d(k)\) on \(\mathbb{I}^{[d]}_ n(k)\) induced by the natural action of GL\(_ d(k)\) on \(P\).