The P=CP=C conjecture for moduli spaces of one-dimensional sheaves

At least 1 year old · documented by

Let Md,c7M_{d,c7} be the moduli space of one-dimensional sheaves on P2\mathbb{P}^2 with degree dd and Euler characteristic χ\chi, and let P∙H∗(Md,χ,Q)P_\bullet H^*(M_{d,\chi},\mathbb{Q}) and C∙H∗(Md,χ,Q)C_\bullet H^*(M_{d,\chi},\mathbb{Q}) denote its perverse and Chern filtrations, respectively. The P=CP=C conjecture. For coprime d≥1d\geq 1 and χ∈Z\chi\in\mathbb{Z}, we have

P∙H∗(Md,χ,Q)=C∙H∗(Md,χ,Q).P_\bullet H^*(M_{d,\chi}, \mathbb{Q}) = C_\bullet H^*(M_{d,\chi}, \mathbb{Q}).

This strengthens the previously proposed version, which asserted equality only up to cohomological degree 2d−42d-4. The conjecture relates the perverse filtration of the Hilbert--Chow map to the multiplicative filtration generated by normalized tautological Chern classes; the supplied text gives no resolution evidence.

References

Primary source

Yakov Kononov, Woonam Lim, Miguel Moreira and Weite Pi, “Cohomology rings of the moduli of one-dimensional sheaves on the projective plane”, arXiv:2403.06277 (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.