Abstract
Over an infinite field K with we investigate smoothable Gorenstein K-points in a punctual Hilbert scheme and obtain the following results: (i) every K-point defined by local Gorenstein K-algebras with Hilbert function
is smoothable (this is the only case non treated in the range considered by Iarrobino and Kanev in 1999; (ii) the Hilbert scheme
has at least five irreducible components. As a byproduct of our study about
we also find a new elementary component in
We face the problem from a new point of view, that is based on properties of double-generic initial ideals and of marked schemes. The properties of marked schemes give us a simple method to compute the Zariski tangent space to a Hilbert scheme at a given K-point, which is very useful in this context. We also test our tools to find the already known result that K-points defined by local Gorenstein K-algebras with Hilbert function
are smoothable. The problem that we consider is strictly related to the study of the irreducibility of the Gorenstein locus in a Hilbert scheme and, more generally, of the irreducibility of a Hilbert scheme, which is a very open question.
Acknowledgments
We thank Joachim Jelisiejew for kindly providing useful knowledge about the equivalence between graded and local Gorenstein Artin K-algebras with Hilbert function of type and about the smoothability of a local Artin K-algebra over any field. We also thank the anonymous referee for very useful comments and suggestions, in particular for highlighting the existence of the two irreducible components of
that can be constructed over the elementary component of
We are grateful to Steven Kleiman for several useful discussions on this paper.