 The Hilbert scheme of points on a surface is also smooth (Grothendieck).If , it is obtained from by blowing up the diagonal and then dividing by the action induced by .It was used by Mark Haiman in his proof of the positivity of the coefficients of some Macdonald polynomials.