Let X be a smooth projective variety. We consider the Hilbert scheme X_[n] of points on X. Denote Z the uiversal subscheme in X×X_[n]. We know that Z(X×ζ)=ζ, where ζ belongs to X[n]. But does the ideal sheaf I_Z have the same universal property, i.e. I_Z_(X×ζ)=I_ζ?
5
$\begingroup$
$\endgroup$
Yes. The point is that the structure sheaf of $Z$ is flat over $X[n]$, so the formation of its sheaf of ideals commutes with base change on $X[n]$.

$\begingroup$ Sorry, I can't understand. Could you give the details? Why 0→I_Z→O_(X×X_[n])→O_Z→0 restrict to ζ is still exact? Why we don't use subsheaves to construct Quot scheme? $\endgroup$ – Messi Sep 1 '10 at 13:35

$\begingroup$ Restricting to $X \times \zeta$ means tensoring with the structure sheaf of $X \times \zeta$; because of the symmetry of the Tor_1, the exact sequence above stays exact. We don't use subsheaves precisely because they don't pull back to subsheaves, so they don't define a functor. $\endgroup$ – Angelo Sep 1 '10 at 16:36