Chi-independence conjecture for BPS sheaves in families of Higgs bundles

Let f ⁣:CSf\colon\mathcal{C}\to S be a family of smooth projective curves of genus gg over a smooth connected base SS. Let Mr,dDol(C)\mathfrak{M}_{r,d}^{\operatorname{Dol}}(\mathcal{C}) be the moduli stack of semistable rank-rr, degree-dd Higgs bundles, let Mr,dDol(C)\mathcal{M}_{r,d}^{\operatorname{Dol}}(\mathcal{C}) be its good moduli space, and let BSB_S be the Hitchin base, with

Mr,dDol(C)JHMr,dDol(C)hBSprS.\mathfrak{M}_{r,d}^{\operatorname{Dol}}(\mathcal{C})\xrightarrow{\mathtt{JH}}\mathcal{M}_{r,d}^{\operatorname{Dol}}(\mathcal{C})\xrightarrow{h}B_S\xrightarrow{\operatorname{pr}}S.

Chi-independence conjecture. There exists a BPS sheaf in families BPSr,d(C)MHM(Mr,dDol(C))[dimS]\mathcal{BPS}_{r,d}(\mathcal{C})\in\operatorname{MHM}(\mathcal{M}_{r,d}^{\operatorname{Dol}}(\mathcal{C}))[\dim S] such that for every sSs\in S, the exceptional restriction to the fiber satisfies

ıM,s!BPSr,dDol(C)BPSr,dDol(Cs).\imath_{\mathcal{M},s}^!\mathcal{BPS}_{r,d}^{\operatorname{Dol}}(\mathcal{C})\cong\mathcal{BPS}_{r,d}^{\operatorname{Dol}}(\mathcal{C}_s).

Moreover, hBPSr,dDol(C)h_*\mathcal{BPS}_{r,d}^{\operatorname{Dol}}(\mathcal{C}) has locally constant cohomology sheaves and is independent of dd. This conjecture extends chi-independence from individual curves to families.

Sources & referencesView supporting material

Primary source

Lucien Hennecart, “Nonabelian Hodge isomorphisms for stacks and cohomological Hall algebras”, arXiv:2307.09920 (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.