# Hilbert scheme

A construction in algebraic geometry by means of which a set of closed subvarieties of a projective space with a given Hilbert polynomial can be endowed with the structure of an algebraic variety. More precisely, let $X$ be a projective scheme over a locally Noetherian scheme $S$ and let $\operatorname{Hilb}_{X/S}$ be the functor assigning to each $S$-scheme $S^*$ the set of closed subschemes $X^*=X\times_SS^*$ which are flat over $S^*$. The functor $\operatorname{Hilb}_{X/S}$ can be represented locally as a Noetherian scheme, known as the Hilbert scheme of $S$-schemes of $X$, and is denoted by $\operatorname{Hilb}(X/S)$ [4]. By the definition of a representable functor, for any $S$-scheme $S^*$ there is a bijection $\operatorname{Hilb}_{X/S}(S^*)=\Hom_S(S^*,\operatorname{Hilb}(X/S))$. In particular, if $S$ is the spectrum of a field $k$ (cf. Spectrum of a ring) and $X=P_k^n$ is a projective space over $k$, then the set of rational $k$-points of $\operatorname{Hilb}(P_k^n/k)$ is in one-to-one correspondence with the set of closed subvarieties in $P_k^n$.
For any polynomial $P\in\mathbf Q[x]$ with rational coefficients the functor $\operatorname{Hilb}_{X/S}$ contains a subfunctor $\operatorname{Hilb}_{X/S}^P$ which isolates in the set $\operatorname{Hilb}_{X/S}(S^*)$ the subset of subschemes $Z\subset X\times_SS^*$ such that for any point $s^*\in S^*$ the fibre $Z_{s^*}$ of the projection of $Z$ on $S^*$ has $P$ as its Hilbert polynomial. The functor $\operatorname{Hilb}_{S/X}^P$ can be represented by the Hilbert scheme $\operatorname{Hilb}^P(X/S)$, which is projective over $S$. The scheme $\operatorname{Hilb}(X/S)$ is the direct sum of the schemes $\operatorname{Hilb}^P(X/S)$ over all $P\in\mathbf Q(z)$. For any connected ground scheme $S$ the scheme $\operatorname{Hilb}^P(X/S)$ is also connected [2].