Abstract:The Kontsevich-Soibelman wall-crossing formula is known to control the jumping behavior of BPS state counting indices in four-dimensional theories with $\mathcal{N}=2$ supersymmetry. The formula can take two equivalent forms: a ``fermionic'' form with nice positivity properties and a ``bosonic'' form with a clear physical interpretation. In an important class of examples, the fermionic form of the formula has a mathematical categorification involving PBW bases for a Cohomological Hall Algebra. The bosonic form lacks an analogous categorification. We construct an equivalence of chain complexes which categorifies the simplest example of the bosonic wall-crossing formula: the bosonic pentagon identity for the quantum dilogarithm. The chain complexes can be promoted to differential graded algebras which we relate to the PBW bases of the relevant CoHA by a certain quadratic duality. The equivalence of complexes then follows from the relation between quadratic duality and Koszul duality. We argue that this is a special case of a general phenomenon: the bosonic wall-crossing formulae are categorified to equivalences of $A_\infty$ algebras which are quadratic dual to PBW presentations of algebras which underlie the fermionic wall-crossing formulae. We give a partial interpretation of our differential graded algebras in terms of a holomorphic-topological version of BPS webs.

Pentagon relation and Biedenharn-Elliott identity

Bijective solutions to the Pentagon Equation

Categorical Pentagon Relations and Koszul Duality

Pentagon relation in quantum cluster scattering diagrams

On the Structure of Set-Theoretic Polygon Equations

A Proof of the Pentagon Relation for Skeins

Generalized Pentagon Equations

A Relational Category of Birkhoff Polarities

On commutative set-theoretic solutions of the Pentagon Equation

6. Hopf modules and the pentagon equation

Pentagon equations, Voronoï tilings and pure braid groups invariant

Triangular Prism Equations and Categorification

Pentagram Rigidity for Centrally Symmetric Octagons

Pentagram maps over rings, Grassmannians, and skewers

Symmetrically Factorizable Groups and Set-Theoretical Solutions of the Pentagon Equation

Non-Commutative Integrability of the Grassmann Pentagram Map

On quadrirational pentagon maps

Heptagon relations from a simplicial 3-cocycle, and their cohomology

Pentagram Maps on Coupled Polygons: Integrability, Geometry and Orthogonality