The dimension of the Hilbert scheme of Gorenstein codimension \(3\) subschemes (Q1295494)

In 1960, \textit{A. Grothendieck} [Sém. Bourbaki 13, No. 221 (1961; Zbl 0236.14003)] proved the existence of a projective scheme \(H= \text{Hilb}_{p(t)} \mathbb{P}^n\) parametrizing closed subschemes of the projective space \(\mathbb{P}^n\) with given Hilbert polynomial \(p(t)\). There are few general results about these schemes and they have only been studied in special cases. For instance, in 1975, \textit{G. Ellingsrud} [Ann. Sci. Éc. Norm. Supér., IV. Sér. 8, 423-432 (1975; Zbl 0325.14002)] proved that arithmetically Cohen-Macaulay closed subschemes of \(\mathbb{P}^n\) of codimension 2 are parametrized by smooth points of an open subset \(A\) of \(H\) and computed the dimension of \(A\). Turning to the codimension 3 case, in the present paper the authors compute the dimension of the open smooth subset of the Hilbert scheme \(H\) parametrizing arithmetically Gorenstein closed subschemes of \(\mathbb{P}^n\) of codimension 3.