In algebraic geometry, a branch of mathematics, a Hilbert scheme is a scheme that is the parameter space for the closed subschemes of some projective space (or a more general projective scheme), refining the Chow variety. The Hilbert scheme is a disjoint union of projective subschemes corresponding to Hilbert polynomials. The basic theory of Hilbert schemes was developed by Alexander Grothendieck (1961). Hironaka's example shows that non-projective varieties need not have Hilbert schemes.
Hilbert scheme of projective space The Hilbert scheme H i l b ( n ) {\displaystyle \mathbf {Hilb} (n)} of P n {\displaystyle \mathbb {P} ^{n}} classifies closed subschemes of projective space in the following sense: For any locally Noetherian scheme S, the set of S-valued points
Hom ( S , H i l b ( n ) ) {\displaystyle \operatorname {Hom} (S,\mathbf {Hilb} (n))}
of the Hilbert scheme is naturally isomorphic to the set of closed subschemes of P n × S {\displaystyle \mathbb {P} ^{n}\times S} that are flat over S. The closed subschemes of P n × S {\displaystyle \mathbb {P} ^{n}\times S} that are flat over S can informally be thought of as the families of subschemes of projective space parameterized by S. The Hilbert scheme H i l b ( n ) {\displaystyle \mathbf {Hilb} (n)} breaks up as a disjoint union of pieces H i l b ( n , P ) {\displaystyle \mathbf {Hilb} (n,P)} corresponding to the Hilbert scheme of the subschemes of projective space with Hilbert polynomial P. Each of these pieces is projective over Spec ( Z ) {\displaystyle \operatorname {Spec} (\mathbb {Z} )} .
Construction as a determinantal variety Grothendieck constructed the Hilbert scheme H i l b ( n ) {\displaystyle \mathbf {Hilb} (n)} of n {\displaystyle n} -dimensional projective P n {\displaystyle \mathbb {P} ^{n}} space as a subscheme of a Grassmannian defined by the vanishing of various determinants. Its fundamental property is that for a scheme T {\displaystyle T} , it represents the functor whose T {\displaystyle T} -valued points are the closed subschemes of P n × T {\displaystyle \mathbb {P} ^{n}\times T} that are flat over T {\displaystyle T} .
… excerpt ends here. Continue reading the full article.
