On some Gorenstein loci in \(\mathcal Hilb_6(\mathbb P^4_k)\) (Q876389)

Let \(\text{Hilb}_d({\mathbb P}_k^{d-2})\) be the Hilbert scheme whose \(k\)-points correspond to zero-dimensional subschemes \(X \subset \mathbb P^{d-2}\) of degree \(d\). It is well known that \(d\) general points in \({\mathbb P}^{d-2}\) is an arithmetically Gorenstein (briefly aG) subscheme, e.g. [\textit{A. V. Geramita, F. Orecchia}, J. Algebra 70, No. 1, 116--140 (1981; Zbl 0464.14007)]. This paper deals with the full (open) subscheme \(\text{Hilb}_d^{aG}({\mathbb P}_k^{d-2})\) of \(\text{Hilb}_d({\mathbb P}_k^{d-2})\) consisting of aG subschemes with a special focus on \(\text{Hilb}_6^{aG}({\mathbb P}_k^{4})\). They prove that \(\text{Hilb}_6^{aG}({\mathbb P}_k^{4})\) is an irreducible 24-dimensional scheme and they explicitly describe the singular locus of \(\text{Hilb}_6^{aG}({\mathbb P}_k^{4})\) as, what they call, the set of G-fat points. Moreover any G-fat point is shown to be an obstructed zero-scheme for every \(d \geq 6\) and further singularities of \(\text{Hilb}_d^{aG}({\mathbb P}_k^{d-2})\) for \( d > 6\) are described. To prove their results they classify all Artinian, possibly non-graded, Gorenstein \(k\)-algebras up to degree 6. There are exactly 20 non-isomorphic Artinian Gorenstein algebras of degree 6, and the G-fat points generate one of the classes. In their proofs they also make use of some results about Gorenstein covers [\textit{G. Casnati, T. Ekedahl}, J. Algebr. Geom. 5, No. 3, 439--460 (1996; Zbl 0866.14009)]. Finally they describe several way of constructing of aG zero-schemes of degree 6. Only the Anglo-Hellenic construction leads the full space of all non-degenerate aG zero-schemes of degree 6.