On the universal family of Hilbert schemes of points on a surface

Abstract

For a smooth quasi-projective surface $X$ and an integer $n\ge 3$, we show that the universal family $Z^n$ over the Hilbert scheme ${\text{Hilb}}^n(X)$ of $n$ points has non $\mathbb{Q}$-Gorenstein, rational singularities, and that the Samuel multiplicity $\mu$ at a closed point on $Z^n$ can be computed in terms of the dimension of the socle. We also show that $\mu \le n$.

arXiv comment5 pages. Proof of Theorem 1.2 is shorten