The explicit minimal resolution constructed from a Macaulay inverse system (Q2515632)

Let \(U\) be a vector space of dimension \(d\) over a field \(k\), \( S=\mathrm{Sym}_\bullet^kU\) be a standard-graded polynomial ring in \(d\) variables over \(k\), and \(D=D_\bullet^k(U^\ast)\) be the graded \(S\)-module of graded \(k\)-linear homomorphisms from \(S\) to \(k\). \textit{F. S. Macaulay} [The algebraic theory of modular systems. Cambridge: University press (1916; JFM 46.0167.01)] proved that each element \(\Phi\) of \(D\) determines an Artinian Gorenstein ring \(A_{\Phi}=S/\mathrm{ann }\Phi\); furthermore, when \(\Phi\) is homogeneous element of \(D\), then \(\Phi\) determines a minimal resolution of \(A_{\Phi}\) by free \(S\)-modules. The standard way to find this minimal resolution is to first solve some equations in order to determine a minimal generating set for \(\mathrm{ann }\Phi\) and then to use Gröbner basis techniques in order to find a minimal resolution of \(A_{\Phi}\). The authors of the present paper aim to describe a minimal resolution of \(A_{\Phi}\) directly (and in a polynomial manner) in terms of coefficients of \(\Phi\), at least in a generic case. Let \(\Phi\) be homogeneous of degree \(2n-2\). The authors [J. Algebra 420, 402--474 (2014; Zbl 1319.13015)] proved the existence of a unique generic Gorenstein linear resolution for each pair \((d,n)\); but exhibited this resolution only for \((d,n)=(3,2)\). In the paper under review, the authors exhibit this resolution when \(d=3\) and \(n\geq 2\) is arbitrary.