Recovering the good component of the Hilbert scheme
Recovering the good component of the Hilbert scheme
We give an explicit construction, for a flat map X -→ S of algebraic spaces, of an ideal in the n'th symmetric product of X over S. Blowing up this ideal is then shown to be isomorphic to the schematic closure in the Hilbert scheme of length n subschemes of …