 The closed subschemes of formula_4 that are flat over can informally be thought of as the families of subschemes of projective space parameterized by .The Hilbert scheme formula_1 breaks up as a disjoint union of pieces formula_7 corresponding to the Hilbert polynomial of the subschemes of projective space with Hilbert polynomial .Each of these pieces is projective over formula_8.