The orientifold primitive-cohomology conjecture

Let QQ be a σ\sigma-symmetric quiver. For a dimension vector ee, let WQ,eprimW^{\mathsf{prim}}_{Q,e} be the primitive orientifold Donaldson–Thomas contribution, let Meσ,st\mathfrak{M}_e^{\sigma,\mathsf{st}} be the moduli scheme of stable self-dual representations, and let E(e)\mathcal{E}(e) be the grading shift. Denote by PHE(e)(Meσ,st)PH^{\bullet-\mathcal{E}(e)}(\mathfrak{M}_e^{\sigma,\mathsf{st}}) the correspondingly shifted pure cohomology.

Orientifold primitive-cohomology conjecture. The surjection

WQ,eprimPHE(e)(Meσ,st)W^{\mathsf{prim}}_{Q,e}\twoheadrightarrow PH^{\bullet-\mathcal{E}(e)}(\mathfrak{M}_e^{\sigma,\mathsf{st}})

is an isomorphism.

The conjecture is motivated by the difficulty of adapting the Nakajima-quiver-variety proof of injectivity to the self-dual setting. The supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Matthew B. Young, “Representations of cohomological Hall algebras and Donaldson-Thomas theory with classical structure groups”, arXiv:1603.05401 (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.