Current browse context:
math.RT
Change to browse by:
References & Citations
Mathematics > Representation Theory
Title: BPS Lie algebras and the less perverse filtration on the preprojective CoHA
(Submitted on 7 Jul 2020 (v1), last revised 22 Apr 2024 (this version, v6))
Abstract: The affinization morphism for the stack $\mathfrak{M}(\Pi_Q)$ of representations of a preprojective algebra $\Pi_Q$ is a local model for the morphism from the stack of objects in a general 2-Calabi-Yau category to the good moduli space. We show that the derived direct image of the dualizing complex along this morphism is pure, and admits a decomposition in the sense of the Beilinson-Bernstein-Deligne-Gabber decomposition theorem.
We introduce a new perverse filtration on the Borel-Moore homology of $\mathfrak{M}(\Pi_Q)$, using this decomposition. We show that the zeroth piece of the resulting filtration on the cohomological Hall algebra built out of the Borel-Moore homology of $\mathfrak{M}(\Pi_Q)$ is isomorphic to the universal enveloping algebra of an associated BPS Lie algebra $\mathfrak{g}_{\Pi_Q}$. This Lie algebra is defined via the Kontsevich-Soibelman theory of critical cohomological Hall algebras for 3-Calabi-Yau categories. We then lift this Lie algebra to a Lie algebra object in the category of perverse sheaves on the coarse moduli space of $\Pi_Q$-modules, and use this algebra structure to prove results about the summands appearing in the above decomposition theorem. In particular, we prove that the intersection cohomology of singular spaces of semistable $\Pi_Q$-modules provide "cuspidal cohomology" - a conjecturally complete subspace of canonical generators for $\mathfrak{g}_{\Pi_Q}$.
Submission history
From: Ben Davison [view email][v1] Tue, 7 Jul 2020 09:09:08 GMT (52kb)
[v2] Wed, 26 Aug 2020 07:37:19 GMT (52kb)
[v3] Tue, 11 Jan 2022 21:57:27 GMT (55kb)
[v4] Sun, 16 Jan 2022 14:47:50 GMT (57kb)
[v5] Mon, 28 Nov 2022 08:05:39 GMT (58kb)
[v6] Mon, 22 Apr 2024 23:13:23 GMT (65kb)
Link back to: arXiv, form interface, contact.