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

Let Ar\mathcal{A}_r be the type-ArA_r surface, let Hilbn(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)crepL((2))*_{\mathrm{crep}}-,\quad L(D_1)*_{\mathrm{crep}}-,\quad \ldots,\quad L(D_r)*_{\mathrm{crep}}-

on the quantum cohomology of Hilbn(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.

Sources & referencesView supporting material

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.