Extensors and the Hilbert scheme

The Hilbert scheme $\HilbScheme{p(t)}{n}$ parametrizes closed subschemes and families of closed subschemes in the projective space $\PP^n$ with a fixed Hilbert polynomial $p(t)$. It is classically realized as a closed subscheme of a Grassmannian or a product of Grassmannians. In this paper we consider schemes over a field $k$ of null characteristic and we present a new proof of the existence of the Hilbert scheme as a subscheme of the Grassmannian $\GrassScheme{p(r)}{N(r)}$, where $N(r)= h^0 (\mathcal{O}_{\PP^n}(r))$. Moreover, we exhibit explicit equations defining it in the Pl\"ucker coordinates of the Pl\"ucker embedding of $\GrassScheme{p(r)}{N(r)}$. Our proof of existence does not need some of the classical tools used in previous proofs, as flattening stratifications and Gotzmann's Persistence Theorem. The degree of our equations is $\deg p(t)+2$, lower than the degree of the equations given by Iarrobino and Kleiman in 1999 and also lower (except for the case of hypersurfaces) than the degree of those proved by Haiman and Sturmfels in 2004 after Bayer's conjecture in 1982. The novelty of our approach mainly relies on the deeper attention to the intrinsic symmetries of the Hilbert scheme and on some results about Grassmannian based on the notion of extensor.