A stratification of Hilbert schemes by initial ideals and applications (Q1568829)

Let \(<\) be a monomial well-ordering on \(R=K[x_0, \dots,x_n]\), \(K\) an algebraically closed field For a monomial ideal \(I_0\) with Hilbert polynomial \(p(t)\) consider \(M_{I_0}= \{J\subset R\mid J\) homogeneous and saturated ideal and \(\text{in}(J)=I_0\}\). Here \(\text{in}(J)\) denotes the initial ideal of \(J\). It is proved that \({\mathcal M}_{I_0}\) carries the structure of a locally closed subscheme in \(\text{Hilb}^{p(t)}_{\mathbb{P}^n}\). \({\mathcal M}_{I_0}\) is affine if \(I_0\) is saturated. In this case, an explicit construction of the coordinate ring is possible. The set of all \({\mathcal M}_{I_0}\), \(I_0\) monomial with Hilbert polynomial \(p(t)\), leads to a natural stratification of \(\text{Hilb}_{\mathbb{P}^n}^{p(t)}\). As an application, the singular locus of the component of \(\text{Hilb}^{4t+1}_{\mathbb{P}^4}\) containing the arithmetically Cohen-Macaulay curves of degree 4 is described.