Affine paving conjecture for punctual noncommutative Hilbert schemes

Let VV be the ambient vector space, let dd be the number of nodes, and let 0Hilb(m)(V){}^0\operatorname{Hilb}^{(m)}(V) be the punctual noncommutative Hilbert scheme with resolution Z(m)(V)Z^{(m)}(V). Let STnewS_T^{\rm new} denote the affine parts indexed by mm-ary trees TT with dd nodes. For pairs T^=(T,f)\widehat{T}=(T,f), where f:T{1,,d}f:T\rightarrow\{1,\ldots,d\} is a compatible ordering satisfying f(ω)f(ω)f(\omega)\leq f(\omega') if ωω\omega\preceq\omega', let ST^=S(T,f)S_{\widehat{T}}=S_{(T,f)} denote the corresponding affine parts, and let π:Z(m)(V)0Hilb(m)(V)\pi:Z^{(m)}(V)\rightarrow{}^0\operatorname{Hilb}^{(m)}(V) be the resolution map.

Affine paving conjecture. There exist affine pavings of 0Hilb(m)(V){}^0\operatorname{Hilb}^{(m)}(V) and Z(m)(V)Z^{(m)}(V) by the parts STnewS_T^{\rm new} and ST^S_{\widehat{T}}, respectively, such that π\pi maps affine pieces to affine pieces and the fibre over a point in STnewS_T^{\rm new} admits an affine paving by the S(T,f)S_{(T,f)} for ff compatible with TT.

Such pavings would give a geometric stratification compatible with the resolution and describe its fibres through affine pieces indexed by compatible orderings of trees. The supplied text does not state whether the conjecture has been proved or disproved.

Sources & referencesView supporting material

Primary source

Markus Reineke, “Punctual noncommutative Hilbert schemes”, arXiv:2510.25940 (2025).

Additional references

3 papers in this index state this conjecture (2013–2025). The statement above is taken from the most recent of them; the others are arXiv:2206.00444, arXiv:1312.7117.

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.