Kononov–Pi–Shen's P=C conjecture for moduli spaces of sheaves on the plane

Let HH be the hyperplane class in P2\mathbb{P}^2. For coprime (d,χ)(d,\chi), let M(d,χ)M(d,\chi) be the smooth projective moduli space of stable sheaves supported on curves in dH|dH| and having Euler characteristic χ\chi. Write PkH2d4(M(d,χ),Q)P_kH^{*\leq 2d-4}(M(d,\chi),\mathbb{Q}) for the perverse filtration induced by the relevant moduli-space fibration, and let CkH2d4(M(d,χ),Q)C_kH^{*\leq 2d-4}(M(d,\chi),\mathbb{Q}) be the span of monomials in the generators cki(ji)c_{k_i}(j_i) with ikik\sum_i k_i\leq k.

Kononov–Pi–Shen's P=C conjecture. For d3d\geq 3, we have

PkH2d4(M(d,χ),Q)=CkH2d4(M(d,χ),Q).P_kH^{*\leq 2d-4}(M(d,\chi),\mathbb{Q})=C_kH^{*\leq 2d-4}(M(d,\chi),\mathbb{Q}).

This conjecture proposes that the perverse filtration agrees with the Chern filtration on the free part of the cohomology of these moduli spaces, providing an analogue of the P=W phenomenon even though the Hilbert–Chow morphism for P2\mathbb{P}^2 is not Lagrangian. Its resolution status is not specified in the supplied text.

Sources & referencesView supporting material

Primary source

Yao Yuan, “On the perverse filtration of the moduli spaces of 1-dimensional sheaves on P^2 and P=C conjecture”, arXiv:2312.17035 (2023).

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.