Q:

Singular points on the Hilbert scheme of a product

Let $X$ and $Y$ be smooth projective varieties, say over $\mathbb C$. Fixing a point $y\in Y$, we obtain a smooth, closed subvariety $X\times\{y\}$ of $X\times Y$, which in turn corresponds to a point $P_y$ on the Hilbert scheme $\mathcal{Hilb}(X\times Y)$.

What technology can I use to decide whether $P_y\in \mathcal{Hilb}(X\times Y)$ is smooth or not?

A:

The tangent space to the Hilbert scheme at point $P \in Hilb$ corresponding to a subvariety $Z$ is $H^0(Z,N_Z)$, where $N_Z$ is the normal bundle, and the obstruction space is $H^1(Z,N_Z)$. In your case $N_Z = T_yY\otimes O_X$ is a trivial vector bundle, so the tangent space is $T_y\otimes H^0(X,O_X)$. If $X$ is connected, it is just $T_yY$ and it is clear that all obstructions vanish (since there is a family of deformations with the same tangent space). So, in this case $P_y$ is a smooth point of the Hilbert scheme.

