Kontsevich–Soibelman Lie Algebra

• The Kontsevich–Soibelman Lie algebra is a ℤ-graded super-Lie algebra constructed from quiver moduli using cohomological Hall algebras and encodes BPS state interactions.
• Its Lie bracket arises from the super-commutator of the convolution Hall product, satisfying the graded Jacobi identity essential for wall-crossing formulas.
• The algebra’s generating-function realization in a quantum torus and its equivalence to BPS scattering algebras illustrate its dual mathematical and physical significance.

Searching arXiv for the cited papers and closely related work to ground the article. The Kontsevich–Soibelman Lie algebra is a $\mathbb{Z}$–graded super-Lie algebra of BPS states obtained from a cohomological Hall algebra built on quiver moduli. In the formulation based on quiver representations, one starts from the direct sum $A=\bigoplus_\gamma H^*(M_\gamma)$, equips it with a convolution product $\mu$ coming from extension correspondences, and then passes to the super-commutator bracket. The same object admits a generating-function realization in a quantum torus, where wall-crossing is expressed by quantum dilogarithm identities, and it also coincides with the BPS scattering algebra defined from $S$-matrix residues. In the preprojective setting, the associated BPS Lie algebra $\mathfrak{g}_{\Pi_Q}$ is extracted from the zeroth piece of the less perverse filtration on the preprojective CoHA, which is isomorphic to a universal enveloping algebra (Galakhov, 2018, Davison, 2020).

1. Quiver-theoretic origin and Hall-algebra construction

Let $\Gamma \simeq \mathbb{Z}^{|V|}$ be the lattice of dimension-vectors $\gamma=(\gamma_v)_{v\in V}$ of a finite quiver $Q=(V,A)$. The Dirac–Schwinger–Zwanziger, or Euler, pairing is the bilinear form

$$\langle \gamma_1,\gamma_2\rangle = \sum_{v\in V}\gamma_{1,v}\gamma_{2,v} - \sum_{a\in A}\gamma_{1,t(a)}\gamma_{2,h(a)},$$

where for an arrow $a\colon v\to w$, $A=\bigoplus_\gamma H^*(M_\gamma)$0 and $A=\bigoplus_\gamma H^*(M_\gamma)$1. For each $A=\bigoplus_\gamma H^*(M_\gamma)$2 one defines the affine representation space

$A=\bigoplus_\gamma H^*(M_\gamma)$3

with natural action of the gauge group

$A=\bigoplus_\gamma H^*(M_\gamma)$4

The complex moment map is

$A=\bigoplus_\gamma H^*(M_\gamma)$5

and the affine GIT quotient of the zero-locus is the stack, or coarse moduli space,

$A=\bigoplus_\gamma H^*(M_\gamma)$6

The cohomological Hall algebra is defined by

$A=\bigoplus_\gamma H^*(M_\gamma)$7

graded by cohomological degree (Galakhov, 2018).

The Hall product is constructed from short exact sequences of quiver representations. For a decomposition $A=\bigoplus_\gamma H^*(M_\gamma)$8, one considers the correspondence

$A=\bigoplus_\gamma H^*(M_\gamma)$9

where $\mu$0 parametrizes tuples $\mu$1 with $\mu$2 a subspace of dimension $\mu$3 on which $\mu$4 restricts to $\mu$5, and so forth. Writing the projections as

$\mu$6

the convolution product

$\mu$7

is given by

$\mu$8

In concrete terms, if $\mu$9 and $S$0 are bases of $S$1 and $S$2, then

$S$3

with structure constants

$S$4

This construction supplies the algebraic substrate of the Kontsevich–Soibelman Lie algebra: the Lie bracket is not imposed independently, but induced from the associative Hall product. A plausible implication is that the relevant Lie-theoretic information is already encoded in the geometry of extension correspondences.

2. Super-commutativity, commutator, and the Lie structure

The graded-commutativity property of the Hall product is controlled simultaneously by cohomological degree and the Euler pairing. If $S$5 have cohomological degrees $S$6 and charges $S$7, then

$S$8

Thus $S$9 is graded-commutative up to the Euler pairing (Galakhov, 2018).

The Kontsevich–Soibelman Lie bracket is then defined on $\mathfrak{g}_{\Pi_Q}$0 by

$\mathfrak{g}_{\Pi_Q}$1

This bracket satisfies the graded Jacobi identity and endows $\mathfrak{g}_{\Pi_Q}$2 with the structure of a $\mathfrak{g}_{\Pi_Q}$3–graded super-Lie algebra. In the formulation of the comparison with BPS scattering states, the fundamental properties of this object are that it is graded by the charge lattice $\mathfrak{g}_{\Pi_Q}$4, the Euler pairing $\mathfrak{g}_{\Pi_Q}$5 controls the signs, the convolution $\mathfrak{g}_{\Pi_Q}$6 is graded-commutative, and the induced super-Lie bracket satisfies the Jacobi identity (Galakhov, 2018).

A common source of confusion is whether the Hall product itself is the Lie algebra operation. It is not: the Lie structure arises from the super-commutator of the Hall product. The associative and Lie-algebraic levels coexist, and later constructions, including wall-crossing and the scattering comparison, use both.

3. Quantum torus, generating series, and wall-crossing

The Kontsevich–Soibelman Lie algebra admits a generating-function realization in a quantum torus. Introduce formal symbols $\mathfrak{g}_{\Pi_Q}$7 for $\mathfrak{g}_{\Pi_Q}$8, with multiplication

$\mathfrak{g}_{\Pi_Q}$9

The assignment

$\Gamma \simeq \mathbb{Z}^{|V|}$0

where $\Gamma \simeq \mathbb{Z}^{|V|}$1 is the Poincaré polynomial of $\Gamma \simeq \mathbb{Z}^{|V|}$2, encodes the algebra in generating-function form (Galakhov, 2018).

For each ray $\Gamma \simeq \mathbb{Z}^{|V|}$3 and each primitive $\Gamma \simeq \mathbb{Z}^{|V|}$4 with Poincaré polynomial $\Gamma \simeq \mathbb{Z}^{|V|}$5, one defines the quantum dilogarithm operator

$\Gamma \simeq \mathbb{Z}^{|V|}$6

Wall-crossing across a change in stability that reorders rays $\Gamma \simeq \mathbb{Z}^{|V|}$7 is encoded by the identity

$\Gamma \simeq \mathbb{Z}^{|V|}$8

This is the Kontsevich–Soibelman wall-crossing formula. In Lie algebra language, it states that the product of exponentials in the quantum torus is unchanged as stability varies, and the Baker–Campbell–Hausdorff formula translates it into Jacobi-type identities in the Lie algebra (Galakhov, 2018).

The quantum torus presentation is therefore not merely a bookkeeping device. It packages characters, sign conventions, and wall-crossing constraints into a single formalism. This suggests that the Lie algebra is naturally situated at the interface of representation-theoretic Hall algebra and Donaldson–Thomas-type wall-crossing.

4. Equivalence with the Harvey–Moore scattering algebra

A second definition of an algebra of BPS states, proposed by Harvey and Moore, uses scattering data. In quiver quantum mechanics one can build an associative scattering algebra of BPS wave-functions $\Gamma \simeq \mathbb{Z}^{|V|}$9 by studying two-particle $\gamma=(\gamma_v)_{v\in V}$0-matrix residues at the bound-state pole

$\gamma=(\gamma_v)_{v\in V}$1

The basic product takes the form

$\gamma=(\gamma_v)_{v\in V}$2

where $\gamma=(\gamma_v)_{v\in V}$3 is the residue of the $\gamma=(\gamma_v)_{v\in V}$4 $\gamma=(\gamma_v)_{v\in V}$5-matrix. Iteration yields a graded associative product $\gamma=(\gamma_v)_{v\in V}$6 on $\gamma=(\gamma_v)_{v\in V}$7 of framed and unframed moduli (Galakhov, 2018).

The comparison theorem identifies this physical product with the Hall convolution. A detailed localization and Morse-theoretic analysis shows that the convolution $\gamma=(\gamma_v)_{v\in V}$8 in CoHA coincides identically with the scattering product $\gamma=(\gamma_v)_{v\in V}$9 on anti-holomorphic wave-functions. More specifically, both products are $Q=(V,A)$0–equivariant, their structure constants $Q=(V,A)$1 computed by Ext-group integrals agree with the $Q=(V,A)$2-matrix residues $Q=(V,A)$3, and the induced super-Lie bracket

$Q=(V,A)$4

reproduces exactly the physical BPS Lie bracket of Harvey–Moore (Galakhov, 2018).

Accordingly, the two constructions are not competing definitions. They coincide exactly, term-by-term, at the level of structure constants and brackets. This resolves the apparent discrepancy between a mathematically natural Hall-algebra construction and a physically natural algebra of BPS $Q=(V,A)$5-matrix residues.

5. The preprojective BPS Lie algebra and the less perverse filtration

For a finite quiver $Q=(V,A)$6 with vertex set $Q=(V,A)$7, the preprojective algebra is

$Q=(V,A)$8

Write $Q=(V,A)$9 for the stack of $$\langle \gamma_1,\gamma_2\rangle = \sum_{v\in V}\gamma_{1,v}\gamma_{2,v} - \sum_{a\in A}\gamma_{1,t(a)}\gamma_{2,h(a)},$$0-dimensional $$\langle \gamma_1,\gamma_2\rangle = \sum_{v\in V}\gamma_{1,v}\gamma_{2,v} - \sum_{a\in A}\gamma_{1,t(a)}\gamma_{2,h(a)},$$1-modules and $$\langle \gamma_1,\gamma_2\rangle = \sum_{v\in V}\gamma_{1,v}\gamma_{2,v} - \sum_{a\in A}\gamma_{1,t(a)}\gamma_{2,h(a)},$$2. The corresponding cohomological Hall algebra is defined from Borel–Moore homology by

$$\langle \gamma_1,\gamma_2\rangle = \sum_{v\in V}\gamma_{1,v}\gamma_{2,v} - \sum_{a\in A}\gamma_{1,t(a)}\gamma_{2,h(a)},$$3

where

$$\langle \gamma_1,\gamma_2\rangle = \sum_{v\in V}\gamma_{1,v}\gamma_{2,v} - \sum_{a\in A}\gamma_{1,t(a)}\gamma_{2,h(a)},$$4

and $$\langle \gamma_1,\gamma_2\rangle = \sum_{v\in V}\gamma_{1,v}\gamma_{2,v} - \sum_{a\in A}\gamma_{1,t(a)}\gamma_{2,h(a)},$$5 is the Tate twist of weight $$\langle \gamma_1,\gamma_2\rangle = \sum_{v\in V}\gamma_{1,v}\gamma_{2,v} - \sum_{a\in A}\gamma_{1,t(a)}\gamma_{2,h(a)},$$6. Its Hall product

$$\langle \gamma_1,\gamma_2\rangle = \sum_{v\in V}\gamma_{1,v}\gamma_{2,v} - \sum_{a\in A}\gamma_{1,t(a)}\gamma_{2,h(a)},$$7

is defined by the stack of short exact sequences

$$\langle \gamma_1,\gamma_2\rangle = \sum_{v\in V}\gamma_{1,v}\gamma_{2,v} - \sum_{a\in A}\gamma_{1,t(a)}\gamma_{2,h(a)},$$8

through the usual Hall correspondence; associativity follows from the usual 2-step flag argument (Davison, 2020).

The central additional structure is the less perverse filtration. Let

$$\langle \gamma_1,\gamma_2\rangle = \sum_{v\in V}\gamma_{1,v}\gamma_{2,v} - \sum_{a\in A}\gamma_{1,t(a)}\gamma_{2,h(a)},$$9

be the affinization, or semisimplification, morphism from the stack of all modules to its good moduli space. The derived direct image with compact support of the dualizing complex,

$a\colon v\to w$0

is pure of weight zero and hence splits, in Saito’s version of the Beilinson–Bernstein–Deligne–Gabber decomposition theorem, into pure summands. This yields a canonical ascending filtration on

$a\colon v\to w$1

by

$a\colon v\to w$2

The main structural theorem states that the filtration is compatible with the CoHA product and that

$a\colon v\to w$3

an isomorphism of associative $a\colon v\to w$4-algebras, up to the usual Koszul sign-twist (Davison, 2020).

This identifies the preprojective BPS Lie algebra as the Lie-theoretic core of the zeroth less perverse piece. A plausible implication is that the less perverse filtration isolates the primitive BPS sector inside a larger Hall algebra that still remembers extension-theoretic complexity.

6. BPS sheaves, cuspidal cohomology, and standard examples

Inside the pure complex $a\colon v\to w$5, the first nontrivial perverse cohomology defines the BPS sheaf

$a\colon v\to w$6

This is a perverse sheaf, in fact a pure Hodge module, and

$a\colon v\to w$7

is closed under the commutator

$a\colon v\to w$8

Equivalently,

$a\colon v\to w$9

with bracket induced from the CoHA product. Moreover, the CoHA product and its commutator lift to morphisms of pure Hodge modules, so $A=\bigoplus_\gamma H^*(M_\gamma)$00 is itself a Lie algebra object in $A=\bigoplus_\gamma H^*(M_\gamma)$01 (Davison, 2020).

Intersection cohomology provides distinguished generators. For each $A=\bigoplus_\gamma H^*(M_\gamma)$02 such that there exists a stable $A=\bigoplus_\gamma H^*(M_\gamma)$03-module of dimension $A=\bigoplus_\gamma H^*(M_\gamma)$04, the intersection-cohomology sheaf

$A=\bigoplus_\gamma H^*(M_\gamma)$05

injects into $A=\bigoplus_\gamma H^*(M_\gamma)$06, and under the Lie bracket these summands are primitive in the sense that any bracket of lower-dimensional summands lands in the complement. Passing to global sections produces distinguished subspaces

$A=\bigoplus_\gamma H^*(M_\gamma)$07

which conjecturally form a minimal set of generators of $A=\bigoplus_\gamma H^*(M_\gamma)$08. The cuspidal conjecture, now a theorem in many cases, asserts that the only simple roots of the BPS Borcherds algebra are the real roots $A=\bigoplus_\gamma H^*(M_\gamma)$09 and the imaginary roots $A=\bigoplus_\gamma H^*(M_\gamma)$10 which admit a stable module, and that the corresponding cuspidal cohomology spaces $A=\bigoplus_\gamma H^*(M_\gamma)$11 provide all of the fundamental generators (Davison, 2020).

Several standard examples organize the representation-theoretic range of the construction. If $A=\bigoplus_\gamma H^*(M_\gamma)$12 has no loops, then

$A=\bigoplus_\gamma H^*(M_\gamma)$13

equivalently $A=\bigoplus_\gamma H^*(M_\gamma)$14 in cohomological degree zero. If $A=\bigoplus_\gamma H^*(M_\gamma)$15 is an extended affine Dynkin quiver, then there is one imaginary root $A=\bigoplus_\gamma H^*(M_\gamma)$16 and

$A=\bigoplus_\gamma H^*(M_\gamma)$17

where the extra summand $A=\bigoplus_\gamma H^*(M_\gamma)$18 lives in cohomological degree $A=\bigoplus_\gamma H^*(M_\gamma)$19. If one replaces the trivial cubic potential on the tripled quiver by $A=\bigoplus_\gamma H^*(M_\gamma)$20 with $A=\bigoplus_\gamma H^*(M_\gamma)$21 a generic cycle, then the same construction yields

$A=\bigoplus_\gamma H^*(M_\gamma)$22

even for quivers with loops. The CoHA also acts on the cohomology of Nakajima quiver varieties $A=\bigoplus_\gamma H^*(M_\gamma)$23, and restricting to the spherical subalgebra recovers the usual half-Kac–Moody action of raising and lowering operators. Under change of slopes, the isomorphism class of $A=\bigoplus_\gamma H^*(M_\gamma)$24 is unchanged, and the wall-crossing formulas of Kontsevich–Soibelman are encoded by the change of stability and the factorization of the CoHA in terms of BPS generators (Davison, 2020).