Normality and Cohen–Macaulayness of higher-dimensional isospectral Hilbert schemes

For integers dd and nn, let Hn(Cd)H_n(\mathbb{C}^d) be the principal component of Hilbn(Cd)\operatorname{Hilb}^n(\mathbb{C}^d), and let Xn(Cd)X_n(\mathbb{C}^d) be the isospectral Hilbert scheme over it.

Normality and Cohen–Macaulayness conjecture. For all dd and nn, Xn(Cd)X_n(\mathbb{C}^d) is normal and Cohen–Macaulay.

The conjecture would imply the same properties for the principal component because Hn(Cd)=Xn(Cd)/SnH_n(\mathbb{C}^d)=X_n(\mathbb{C}^d)/S_n. The source calls it speculative, verifies the case d=3d=3, n=4n=4 computationally, and leaves the general assertion open.

Sources & referencesView supporting material

Primary source

Mark Haiman, “Hilbert schemes, polygraphs, and the Macdonald positivity conjecture”, arXiv:math/0010246 (2000).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.