Refined Joyce conjecture for one-dimensional sheaves on P2\mathbb P^2

For dZ>0d\in\mathbb Z_{>0} and χZ\chi\in\mathbb Z, let Md,χM_{d,\chi} be the moduli space of one-dimensional Gieseker semistable sheaves, and let Ωd,χP2(y12)\Omega_{d,\chi}^{\mathbb P^2}(y^{\frac12}) be the refined invariant formed from the even intersection Betti numbers Ib2j(Md,χ)Ib_{2j}(M_{d,\chi}). Here yy is a formal variable. Refined Joyce conjecture. For every dZ>0d\in\mathbb Z_{>0} and every χ,χZ\chi,\chi'\in\mathbb Z, one has

Ωd,χP2(y12)=Ωd,χP2(y12).\Omega_{d,\chi}^{\mathbb P^2}(y^{\frac12})=\Omega_{d,\chi'}^{\mathbb P^2}(y^{\frac12}).

Thus the refined invariant, and equivalently the stated intersection-Betti-number data, should be independent of the Euler-characteristic parameter. The source identifies this as a refined version of a conjecture on Donaldson–Thomas counts; no resolution is supplied in the given text.

Sources & referencesView supporting material

Primary source

Pierrick Bousseau, “A proof of N.Takahashi's conjecture for (P^2,E) and a refined sheaves/Gromov-Witten correspondence”, arXiv:1909.02992 (2025).

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.