Cohomological \(\chi\)-independence for moduli of one-dimensional sheaves and moduli of Higgs bundles (Q6157238)

This paper is devoted to moduli spaces where the cohomological information does not depend on the Euler characteristic \(\mathcal{X}\). The main result obtained states that, unlike the case of curves, the intersection cohomology of these spaces is independent of the choice \(\mathcal{X}\). The authors prove that the intersection cohomology, together with the perverse and the Hodge filtrations, for the moduli space of one-dimensional semi-stable sheaves supported in an ample curve class on a toric del Pezzo surface is independent of the Euler characteristic of the sheaves. Furthermore, the authors prove an analogous result for the moduli space of semi-stable Higgs bundles with respect to an effective divisor \(D\) of degree \(deg(D)>2g-2\). These results confirm the cohomological \(\mathcal{X}\)-independence conjecture by Bousseau for \(\mathbb{P}^2\), and verify Toda's conjecture for Gopakumar-Vafa invariants for certain local curves and local surfaces. For the proof, the authors combine a generalized version of \textit{B. C. Ngô}'s support theorem [Publ. Math., Inst. Hautes Étud. Sci. 111, 1--169 (2010; Zbl 1200.22011)], a dimension estimate for the stacky Hilbert-Chow morphism, and a splitting theorem for the morphism from the moduli stack to the good GIT quotient. This paper is organized as follows: Section 0 is an introduction to the subject and formulation of the results. In Section 1, the authors formulate and prove a generalized version of Ngô's support theorem, which applies to singular varieties and more general complexes. In order to apply this support theorem to intersection cohomology complexes, they need to prove a bound for IC-complexes which holds automatically in the smooth case. This is accomplished in Sections 2 and 3, where the authors combine techniques from algebraic stacks, nilpotent Higgs bundles, moduli of framed objects, and unbounded complexes. Then in Section 4, they follow a strategy of \textit{P.-H. Chaudouard} and \textit{G. Laumon} [Ann. Inst. Fourier 66, No. 2, 711--727 (2016; Zbl 1375.14069)] to show that the support inequalities are sufficient to deduce their theorems for moduli of \(1\)-dimensional sheaves and Higgs bundles.