Leading Betti-number expansion conjecture for moduli spaces on P2\mathbb P^2

For d4d\geq 4, let MdM_d be the moduli space of stable one-dimensional sheaves of degree dd on P2\mathbb P^2, and let Ω^dP2\hat\Omega_d^{\mathbb P^2} denote its shifted Poincaré polynomial. Define

f(y)=(1+y+y2)(2+2y+4y2+2y3+y4+2y5)(1y)(1y2).f(y)=\frac{(1+y+y^2)(-2+2y+4y^2+2y^3+y^4+2y^5)}{(1-y)(1-y^2)}.

Leading Betti-number expansion conjecture. One has

Ω^dP2y3d10=k>01(1yk)(1yk+1)2(13yd11+y+y21y+3y2d4f(y))y3d10.\left.\hat\Omega_d^{\mathbb P^2}\right|_{y^{\leq 3d-10}}=\left.\prod_{k>0}\frac{1}{(1-y^k)(1-y^{k+1})^2}\left(1-3y^{d-1}\frac{1+y+y^2}{1-y}+3y^{2d-4}f(y)\right)\right|_{y^{\leq 3d-10}}.

This extends the proven leading-Betti-number formula to a larger degree range and is supported by numerical calculations; no resolution is given in the source.

Sources & referencesView supporting material

Primary source

Shuai Guo, Longting Wu and with an appendix by Miguel Moreira, “Poincaré polynomials of moduli spaces of one-dimensional sheaves on the projective plane”, arXiv:2501.05622 (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.