Explicit projective embeddings of standard opens of the Hilbert scheme of points (Q2240456)

The authors describe how certain standard opens \(\mathrm{Hilb}^\beta\) of the Hilbert scheme \(\mathrm{Hilb}^N_{\mathbf A^n_A}\) parameterizing \(N\) points of \(\mathbf A^n_A\) are embedded into Grassmannians. These open subsets of the Hilbert scheme are the intersection of a corresponding open affine of the Grassmannian and a closed stratum determined by a Fitting ideal. As an application, the authors give a cover for the scheme parameterizing \(0\)-dimensional closed subschemes in \(\mathbb P^n_k\), \(k\) an algebraically closed field, that are flat, finite of relative rank \(n + 1\), and non-degenerate. The authors also show that the ideal generated by the commutator relations, often used in literature in the constructions of the local open schemes \(\mathrm{Hilb}^\beta\), equals the Fitting ideal arising from the graded, global situation. As an application, the authors give a new proof of the following result, already proved by \textit{K. Ranestad} and \textit{F.-O. Schreyer} [J. Reine Angew. Math. 525, 147--181 (2000; Zbl 1078.14506)]: the scheme \(\mathrm{VPS}^{n+1}_Z\) of length \(n+1\) subschemes in \(\mathbb P^n\) apolar to the annihilator scheme \(Z\) of a smooth quadratic surface is closed in the Grassmannian of rank \(n+1\) quotients of the vector space of two-forms on projective \(n\)-space. In the Appendix, the authors restate some of their results on ideals and Hilbert schemes for modules and Quot schemes.