Local finite-dimensional Gorenstein k-algebras having Hilbert function (1,5,5,1) are smoothable
We consider the question of irreducibility of the Hilbert scheme of points ℋilbdℙn and its Gorenstein locus. This locus is known to be reducible for d ≥ 14. For d ≤ 11 the irreducibility of this locus was proved in the series of papers [G. Casnati and R. Notari, On the Gorenstein locus of some punctual Hilbert schemes, J. Pure Appl. Algebra 213(11) (2009) 2055–2074; On the irreducibility and the singularities of Gorenstein locus of the Punctual Hilbert scheme of degree 10, J. Pure Appl. Algebra 215(6) (2011) 1243–1254; Irreducibility of the Gorenstein locus of the Punctual Hilbert Scheme of degree 11, preprint (2012)] and Iarrobino conjectured that the irreducibility holds for d ≤ 13. In this paper, we prove that the subschemes corresponding to the Gorenstein algebras having Hilbert function (1, 5, 5, 1) are smoothable, i.e. lie in the closure of the locus of smooth subschemes. This result completes the proof of irreducibility of the Gorenstein locus of ℋilb12ℙn, see Theorem 2.