Categorical Pentagon Relations and Koszul Duality

TL;DR

This paper constructs a categorification of the bosonic wall-crossing formula, specifically the pentagon identity, relating it to Koszul duality and differential graded algebras, thus connecting it to the fermionic form's categorification.

Contribution

It introduces a new categorification of the bosonic wall-crossing formula using chain complexes and quadratic duality, linking it to PBW bases and A-infinity algebras.

Findings

Constructed chain complex equivalences for the bosonic pentagon identity

Related differential graded algebras to PBW bases via quadratic duality

Proposed a general phenomenon connecting bosonic and fermionic wall-crossing categorifications

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.