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

About 3 years old · traced to

Let f ⁣:C→Sf\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)→hBS→pr⁡S.\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))[dim⁡S]\mathcal{BPS}_{r,d}(\mathcal{C})\in\operatorname{MHM}(\mathcal{M}_{r,d}^{\operatorname{Dol}}(\mathcal{C}))[\dim S] such that for every s∈Ss\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, h∗BPSr,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.

References

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.