MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given $X$ a k3 surface and $X^{[r]}$ the Hilbert scheme of points on it, I know that the Hilbert-Chow morphism $\rho:X^{[r]}\rightarrow X^{(r)}$ to the symmetric product is birational and, said $D\subset X^{(r)}$ the singular locus, $\rho^{-1}(D)$ is a divisor.

Beauville, in Varietes kahleriennes dont la premiere classe de chern est nulle (page 778), says that given $f:\mathcal{X}\rightarrow B$ a flat family of $X$, i can construct a flat family $g:\mathcal{Y}\rightarrow B$ in which the fibers are $\mathcal{Y}_b=\mathcal{X}_b^{[r]}$. I have some trouble seeing how it's done.

Of course taking the symmetric r-product and the desingularization of each fiber $\mathcal{X}_s$ the dimension of the fibers remains constant (so this checks out with the intuitive idea of flatness). But how can i prove that $g$ is proper and submersive?

share|cite|improve this question
Is your family algebraic? If so, this follows from Grothendieck's original construction of the Hilbert scheme -- which was in the relative setting. If your family is Kaehlerian, but not necessarily algebraic, you should look up "Douady spaces". – Jason Starr Jul 1 '14 at 17:03
can you give me a reference for both cases? – Julio Amado Jul 1 '14 at 17:08
also, what do you mean with "relative setting"? – Julio Amado Jul 1 '14 at 17:21
The reference in the algebraic case is Chapitre IV of the following. MR0146040 (26 #3566) Reviewed. Grothendieck, Alexander. Fondements de la géométrie algébrique. [Extraits du Séminaire Bourbaki, 1957–1962.] (French) Secrétariat mathématique, Paris 1962 ii+205 pp. 14.00 – Jason Starr Jul 1 '14 at 17:25
The reference for the Douady spaces is the following. MR0203082 (34 #2940) Reviewed. Douady, Adrien. Le problème des modules pour les sous-espaces analytiques compacts d'un espace analytique donné. (French) Ann. Inst. Fourier (Grenoble) 16 1966 fasc. 1, 1–95. 32.47 (57.70) – Jason Starr Jul 1 '14 at 17:29

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.