Nonderogatory conjecture for quantum cohomology of Hilbert schemes of type-ArA_r surfaces

At least 16 years old · documented by

Let Ar\mathcal{A}_r be the type-ArA_r surface, let Hilb⁡n(Ar)\operatorname{Hilb}^n(\mathcal{A}_r) be its Hilbert scheme of nn points, and let LL be the map defined in Section 5. Consider the commuting family of operators

L((2))∗crep−,L(D1)∗crep−,…,L(Dr)∗crep−L((2))*_{\mathrm{crep}}-,\quad L(D_1)*_{\mathrm{crep}}-,\quad \ldots,\quad L(D_r)*_{\mathrm{crep}}-

on the quantum cohomology of Hilb⁡n(Ar)\operatorname{Hilb}^n(\mathcal{A}_r). Nonderogatory conjecture. This commuting family is nonderogatory; that is, its joint eigenspaces are one-dimensional. The conjecture concerns the simultaneous spectral structure of the crepant-resolution quantum cohomology operators and would imply strong control of the ring structure. The source gives no resolution, while noting that the statement is supported by partial evidence.

References

Primary source

Wan Keng Cheong, “Orbifold quantum cohomology of the symmetric product of A_r”, arXiv:0910.0629 (2009).

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.