Rational components of Hilbert schemes (Q661347)

For a fixed term ordering one can consider the affine variety parametrizing all ideals with a fixed initial ideal, referred to here as a Gröbner stratum. These stratify the Hilbert scheme \(H\) (of subschemes of projective space with fixed Hilbert polynomial) and therefore their structure may reveal important information about the \(H\). In this paper the authors prove several theorems involving Gröbner strata, first of which is a very nice intrinsic definition of its defining ideal. Furthermore the authors are able to prove many rationality results for components of the Hilbert scheme. For example they show, using Gr\"boner strata, that any smooth, irreducible component of \(H\), as well as the Reeves and Stillman component (which contains the Lex ideal) is rational. The paper is a an excellent resource on Gröbner strata and will be useful to anybody interested in the study of the Hilbert scheme. It is dotted with illuminating examples. The authors also present some useful algorithms as well as obtain results which can improve explicit computation of equations defining these subsets.