Purity conjecture for Borel–Moore homology of algebraic-symplectic stacks

Let XX be a variety, PP a polynomial, and HH a stability condition. Write Coh(X)PHss\mathcal{C}oh(X)_P^{H-\operatorname{ss}} for the moduli stack of HH-semistable coherent sheaves on XX with Hilbert polynomial PP. Let X\mathcal{X} be an algebraic-symplectic derived stack, and write HiBM(X)H_i^{BM}(\mathcal{X}) and HBMi(X)H^i_{BM}(\mathcal{X}) for its Borel–Moore homology and cohomology.

Purity conjecture. The Hodge structure on HiBM(Coh(X)PHss)H_i^{BM}(\mathcal{C}oh(X)_P^{H-\operatorname{ss}}) is pure for any HH, and, in general, HiBM(X)H_i^{BM}(\mathcal{X}) is pure for any algebraic-symplectic derived stack X\mathcal{X} which has a proper good moduli space. More ambitiously, HBMi(X)H^i_{BM}(\mathcal{X}) should be pure for any algebraic-symplectic derived stack X\mathcal{X} which is cohomologically proper.

The conjecture would give Hodge-theoretic control of Borel–Moore homology and support decompositions arising from derived Kirwan-type results. Purity is known for moduli of representations of preprojective algebras of quivers, but the stated generalizations remain open.

Sources & referencesView supporting material

Primary source

Daniel Halpern-Leistner, “Theta-stratifications, Theta-reductive stacks, and applications”, arXiv:1608.04797 (2016).

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.