Double-Generic Initial Ideal and Hilbert Scheme

Following the approach in the book Commutative Algebra, by D. Eisenbud, where the author describes the generic initial ideal by means of a suitable total order on the terms of an exterior power, we introduce first the generic initial extensor of a subset of a Grassmannian and then the double-generic initial ideal of a so-called GL-stable subset of a Hilbert scheme. We discuss the features of these new notions and introduce also a partial order which gives another useful description of them. The double-generic initial ideals turn out to be the appropriate points to understand some geometric properties of a Hilbert scheme: they provide a necessary condition for a Borel ideal to correspond to a point of a given irreducible component, lower bounds for the number of irreducible components in a Hilbert scheme and the maximal Hilbert function in every irreducible component. Moreover, we prove that every isolated component having a smooth double-generic initial ideal is rational. As a byproduct, we prove that the Cohen-Macaulay locus of the Hilbert scheme parameterizing subschemes of codimension 2 is the union of open subsets isomorphic to affine spaces. This improves results by J. Fogarty (1968) and R. Treger (1989).

The scheme of liftings and applications

We study the locus of the liftings of a homogeneous ideal $H$ in a polynomial ring over any field. We prove that this locus can be endowed with a structure of scheme $mathrm L_H$ by applying the constructive methods of Grobner bases, for any given term order. Indeed, this structure does not depend on the term order, since it can be defined as the scheme representing the functor of liftings of $H$. We also provide an explicit isomorphism between the schemes corresponding to two different term orders. Our approach allows to embed $mathrm L_H$ in a Hilbert scheme as a locally closed subscheme, and, over an infinite field, leads to find interesting topological properties, as for instance that $mathrm L_H$ is connected and that its locus of radical liftings is open. Moreover, we show that every ideal defining an arithmetically Cohen-Macaulay scheme of codimension two has a radical lifting, giving in particular an answer to an open question posed by L. G. Roberts in 1989.