English

On the Kirwan map for moduli of Higgs bundles

Algebraic Geometry 2024-04-15 v1

Abstract

Let CC be a smooth complex projective curve and GG a connected complex reductive group. We prove that if the center Z(G)Z(G) of GG is disconnected, then the Kirwan map H(Bun(G,C),Q)H(MHiggsss,Q)H^*\big(\operatorname{Bun}(G,C),\mathbb{Q}\big)\rightarrow H^*\big(\mathcal{M}_{\operatorname{Higgs}}^{\operatorname{ss}},\mathbb{Q}\big) from the cohomology of the moduli stack of GG-bundles to the moduli stack of semistable GG-Higgs bundles, fails to be surjective: more precisely, the "variant cohomology" (and variant intersection cohomology) of the stack MHiggsss\mathcal{M}_{\operatorname{Higgs}}^{\operatorname{ss}} of semistable GG-Higgs bundles, is always nontrivial. We also show that the image of the pullback map H(MHiggsss,Q)H(MHiggsss,Q)H^*\big(M_{\operatorname{Higgs}}^{\operatorname{ss}},\mathbb{Q}\big)\rightarrow H^*\big(\mathcal{M}_{\operatorname{Higgs}}^{\operatorname{ss}},\mathbb{Q}\big), from the cohomology of the moduli space of semistable GG-Higgs bundles to the stack of semistable GG-Higgs bundles, cannot be contained in the image of the Kirwan map. The proof uses a Borel-Quillen--style localization result for equivariant cohomology of stacks to reduce to an explicit construction and calculation.

Keywords

Cite

@article{arxiv.1808.10311,
  title  = {On the Kirwan map for moduli of Higgs bundles},
  author = {Emily Cliff and Thomas Nevins and Shiyu Shen},
  journal= {arXiv preprint arXiv:1808.10311},
  year   = {2024}
}