The integrality conjecture and the cohomology of preprojective stacks

By Ben Davison. Journal für die Reine und Angewandte Mathematik, 2016

50 citations recorded by the source corpus.

Abstract We study the Borel–Moore homology of stacks of representations of preprojective algebras Π Q \Pi_{Q} , via the study of the DT theory of the undeformed 3-Calabi–Yau completion Π Q ⁢ [ x ] \Pi_{Q}[x] . Via a result on the supports of the BPS sheaves for Π Q ⁢ [ x ] ⁢ -mod \Pi_{Q}[x]\textup{-mod} , we prove purity of the BPS cohomology for the stack of Π Q ⁢ [ x ] \Pi_{Q}[x] -modules and define BPS sheaves for stacks of Π Q \Pi_{Q} -modules. These are mixed Hodge modules on the coarse moduli space of Π Q \Pi_{Q} -modules that control the Borel–Moore homology and geometric representation theory associated to these stacks. We show that the hypercohomology of these objects is pure and thus that the Borel–Moore homology of stacks of Π Q \Pi_{Q} -modules is also pure. We transport the cohomological wall-crossing and integrality theorems from DT theory to the category of Π Q \Pi_{Q} -modules. We use our results to prove positivity of a number of “restricted” Kac polynomials, determine the critical cohomology of Hilb n ⁡ ( A 3 ) \operatorname{Hilb}_{n}(\mathbb{A}^{3}) , and the Borel–Moore homology of genus one character stacks, as well as providing various applications to the cohomological Hall algebras associated to Borel–Moore homology of stacks of modules over preprojective algebras, including the PBW theorem, and torsion-freeness.

Subfields: Geometry and Topology, Mathematical Physics

View Paper: https://www.semanticscholar.org/paper/e50574bf7c42fee735c61f0276adb81ac8246784

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Geometry and Topology

In Mathematical Physics

Citations in the corpus

Cohomological χ–independence for moduli of one-dimensional sheaves and moduli of Higgs bundles (2020, methodology): “roposition 3.3 is the nonproperness of the morphism q : M → M. In order to apply the decomposition theorem [1] to q, we use the moduli of framed objects [37] to “approximate” the stack M. We refer to [10, 11, 13, 14, 35, 38, 39] for applications of such techniques in the study of quivers represnetat”