Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $X$ be a variety of arbitrary dimension, let $H$ denote the main component of the Hilbert scheme of points of $X$ (i.e, the closure of locus of reduced subschemes), and let $Z$ be the reduced fiber product $H\times_{Sym^nX}X^n$. $Z$ is (a variant of) the isospectral Hilbert scheme. In section 5.2 of "Hilbert schemes, polygraphs and the Macdonald positivity conjecture", Mark Haiman makes two conjectures which would imply that

  1. $Z$ is normal and Cohen-Macaulay
  2. $Z$ is isomorphic to the blow-up of $X^n$ along the scheme-theoretic union of pairwise diagonals

Both of these are true for $\operatorname{dim}X=2$ (see the same paper.) What is the status of these conjectures/these corollaries?

share|improve this question

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.