Abstract:We determine the structure of the BPS algebra of $2$-Calabi-Yau Abelian categories whose stack of objects admits a good moduli space. We prove that this algebra is isomorphic to the positive part of the enveloping algebra of a generalised Kac-Moody Lie algebra generated by the intersection cohomology of certain connected components (corresponding to roots) of the good moduli space. Some major examples include the BPS algebras of (1) the category of semistable coherent sheaves of given slope on a K3 surface or, more generally, quasiprojective symplectic surface, (2) semistable Higgs bundles on smooth projective curves, (3) preprojective algebras of quivers, (4) multiplicative preprojective algebras and (5) fundamental groups of (quiver) Riemann surfaces. We define the BPS Lie algebras of $2$-Calabi-Yau categories and prove that they coincide with the ones obtained by dimensional reduction from the critical cohomological Hall algebra in the case in which the 2-Calabi-Yau category is the category of representations of a preprojective algebra. Consequences include (1) A proof in full generality of the Bozec-Schiffmann positivity conjecture for absolutely cuspidal polynomials, a strengthening of the Kac positivity conjecture (2) A proof of the cohomological integrality conjecture for the category of semistable coherent sheaves on local K3 surfaces (3) A description of the cohomology (in all degrees) of Nakajima quiver varieties as direct sums of irreducible lowest weight representations over the BPS Lie algebra.

Squares K-theory and 2-Segal spaces

Algebraic $K$-theory for squares categories

2-Segal maps associated to a category with cofibrations

Waldhausen's $S_\bullet$-construction

The $S_\bullet$-construction as an equivalence between 2-Segal spaces and stable augmented double Segal spaces

Combinatorial examples and applications of 2-Segal sets

BPS algebras and generalised Kac-Moody algebras from 2-Calabi-Yau categories

Higher K-theory of forms II. From exact categories to chain complexes

Borel Circle Squaring

A multiplicative comparison of Waldhausen and Segal K-theory

Real K-theory for Waldhausen infinity categories with genuine duality

K-theory for 2-categories

K‐theory Soergel bimodulses

Equivariant algebraic $K$-theory of symmetric monoidal Mackey functors

Segal K-theory of vector spaces with an automorphism

Quasi-BPS categories for K3 surfaces

A combinatorial construction of homology via ACGW categories

Categorical Pentagon Relations and Koszul Duality

An $\infty$-Category of 2-Segal Spaces

Perverse schobers, stability conditions and quadratic differentials

Some Kähler Structures on Products of 2-Spheres