Artinian Gorenstein algebras of embedding dimension four: components of \(\mathbb P\)Gor\((H)\) for \(H=(1,4,7,\ldots,1)\) (Q2570664)

This paper deals with Artinian Gorenstein algebras \(A/I\), where \(R=k[w,x,y,z]\) and \(I\) is a homogeneous ideal. A structure theorem is given for such algebras, when their Hilbert function is of the form \(H = (1,4,7,...)\) and \(I_2 \cong (wx,wy,wz)\); the main tool used is the connection between \(I\) and \(I\cap k[x,y,z]\), which turns out to be a height three Gorenstein ideal. A minimal resolution of such algebras is also produced. These results allow to determine the tangent space \(\Hom_0(I,R/I)\) to \(A\) on \(\mathbb P(\text{Gor} H)\), the scheme parametrizing all the Artinian Gorenstein algebras having Hilbert function \(H\). In the situation \(H=(1,4,a,\dots,h_j=1), a\leq 7\), the authors prove that the condition ``\(\Delta _{\leq j/2}\) is a 0-sequence'' is verified and suspect that the height four Gorenstein sequences of the form \(h= (1,4,7,\dots)\) are close to an upper bound of those satisfying such a condition. For every \(H=(1,4,7,h,b,...,1)\), with \(8\leq h \leq 10, \;3h-b-17 \geq 0\), the projective space \(\mathbb P(\text{Gor} H)\) is shown to have at least two components, that are described.