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}$.

The PBW filtration and convex polytopes in type $\tt B$

FFLV polytopes are string polytopes

The degree of the Hilbert-Poincaré polynomial of PBW-graded modules

Poset polytopes and pipe dreams: types C and B

Perverse filtrations, Chern filtrations, and refined BPS invariants for local $\mathbb{P}^2$

Some proofs of the Poincaré-Birkhoff-Witt theorem and related matters

Birational maps, PBW degenerate flags and poset polytopes

PBW bases and KLR algebras

PBW bases of irreducible Ising modules

Affine Demazure Weight Polytopes and Twisted Bruhat Orders

On combinatorics of string polytopes in types $B$ and $C$

Constructible representations and basic sets in type B

On Isbell's Density Theorem for bitopological pointfree spaces II

A minimal Gröbner basis for simple $\mathfrak{sl}_n$- or $\mathfrak{sp}_n$-modules

Bier spheres and toric topology

BPS Lie algebras and the less perverse filtration on the preprojective CoHA

Gröbner basics for mixed Hodge modules

Strongly dominant weight polytopes are cubes

On Mirković-Vilonen polytopes

Fundamental polytope for the Weyl group acting on a maximal torus of a compact Lie group

PBW theory for Bosonic extensions of quantum groups