P=C conjecture for one-dimensional sheaf moduli on del Pezzo surfaces

Let SS be a del Pezzo surface, let HH be the polarization, let β\beta be an effective divisor, let χZ\chi\in\mathbb{Z}, and let Mβ,χM_{\beta,\chi} be the moduli space of one-dimensional sheaves with determinant OS(β)\mathcal{O}_S(\beta) and Euler characteristic χ\chi. Assume that βH\beta\cdot H and χ\chi are coprime. Let PH(Mβ,χ)P_\bullet H^*(M_{\beta,\chi}) be the perverse filtration associated with the Hilbert–Chow morphism, and let CH(Mβ,χ)C_\bullet H^*(M_{\beta,\chi}) be the Chern filtration generated by the normalized tautological classes. P=C conjecture.

PH(Mβ,χ)=CH(Mβ,χ).P_\bullet H^*(M_{\beta,\chi})=C_\bullet H^*(M_{\beta,\chi}).

The identity relates the perverse and Chern filtrations and is intended to connect the geometry of these moduli spaces with enumerative invariants; the source states it as a conjecture for del Pezzo surfaces and provides evidence, but no resolution.

Sources & referencesView supporting material

Primary source

Fei Si and Feinuo Zhang, “Asymptotic Behaviors of Moduli of One-dimensional Sheaves on Surfaces”, arXiv:2406.11512 (2024).

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.