Stable intersection-cohomology conjecture for one-dimensional sheaf moduli spaces

Let (S,H)(S,H) be a polarized surface, let β\beta be an effective divisor, and let Mβ,χM_{\beta,\chi} denote the moduli space of polystable one-dimensional sheaves on SS with determinant OS(β)\mathcal{O}_S(\beta) and Euler characteristic χ\chi. Fix an ample divisor β0\beta_0 and write β=nβ0\beta=n\beta_0 with nZ>0n\in\mathbb{Z}_{>0}. Stable intersection-cohomology conjecture. For any given iZ0i\in\mathbb{Z}_{\geq0} and χZ\chi\in\mathbb{Z}, there exists a constant N(i,β0,χ)N(i,\beta_0,\chi) depending on ii, β0\beta_0, and χ\chi such that for each integer kik\leq i,

dimIHk(Mβ,χ)=limmbk(S[m])\dim \operatorname{IH}^k(M_{\beta,\chi})=\lim_{m\to\infty}b_k(S^{[m]})

when nN(i,β0,χ)n\geq N(i,\beta_0,\chi), where IH()\operatorname{IH}^*(-) denotes intersection cohomology with Q\mathbb{Q}-coefficients. This proposes stabilization in low degrees for rank-zero sheaf moduli, under positivity along a fixed ample ray; the source presents it as an affirmative analogue of the positive-rank stabilization conjecture, with no external resolution supplied.

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.