---
title: Kontsevich–Soibelman Wall-Crossing Invariant
url: https://www.emergentmind.com/topics/kontsevich-soibelman-wall-crossing-invariant
type: topic
---

# Kontsevich–Soibelman Wall-Crossing Invariant

The Kontsevich–Soibelman wall-crossing invariant is the ordered product of wall-crossing factors attached to BPS charges in a chosen angular sector of the central-charge plane. Its defining feature is that, although the protected BPS indices \(\Omega(\gamma;u)\) and the ordering of contributing charges jump at walls of marginal stability, the total product remains unchanged. In four-dimensional \(\mathcal N=2\) Seiberg–Witten theory, Gaiotto, Moore, and Neitzke identified this invariant with the “spectrum generator” and showed that its constancy is equivalent to continuity of the exact hyperkähler metric on the moduli space of the theory on \(\mathbb R^3\times S^1\) [0807.4723]. In the abstract Kontsevich–Soibelman framework, the same object appears as a sector element in a pronilpotent group or motivic quantum torus, factorized over rays of the central charge [1711.03695].

## 1. Seiberg–Witten data and the wall-crossing problem

The basic input is a local system of electromagnetic charges \(\Gamma \cong \mathbb Z^{2r}\) over the Coulomb branch \(B\), equipped with the integral antisymmetric Dirac pairing \(\langle \gamma,\gamma' \rangle\). In a local electric–magnetic duality frame one may write \(\Gamma=\Gamma_e\oplus\Gamma_m\) with bases \(\{\alpha_I\}\) and \(\{\beta^J\}\) satisfying \(\langle \alpha_I,\beta^J\rangle=\delta_I^J\) and vanishing pairings among electric–electric and magnetic–magnetic basis elements. The central charge is the Seiberg–Witten period
\[
Z_\gamma(u)=\oint_\gamma \lambda_{SW}(u),
\]
with \(Z_{\beta^I}(u)=a^I(u)\) and \(Z_{\alpha_I}(u)=\partial F/\partial a^I\) in a duality frame. A one-particle state of charge \(\gamma\) satisfies \(M\ge |Z_\gamma(u)|\), with equality for BPS states. The protected index is the second helicity supertrace
\[
\Omega(\gamma;u)=\operatorname{Tr}_{\mathcal H_{BPS}(\gamma;u)}(-1)^{2J_3},
\]
and is locally constant away from walls where phases align, \(\arg Z_{\gamma_1}(u)=\arg Z_{\gamma_2}(u)\), allowing decays \(\gamma=\gamma_1+\gamma_2\). The Support Property,
\[
|Z_\gamma(u)|\ge K\|\gamma\|
\]
for all charges with \(\Omega(\gamma;u)\neq 0\), ensures that only finitely many active charges occur in any bounded phase sector [0807.4723].

This data already contains the wall-crossing problem. Individual BPS indices jump on codimension-one walls of marginal stability, yet the low-energy theory is expected to vary smoothly except at loci where states become massless. The KS invariant is the mechanism by which those two facts are reconciled.

## 2. Twistorial construction and continuity of the hyperkähler metric

After compactification on a circle of radius \(R\), the low-energy theory on \(\mathbb R^3\times S^1\) becomes a sigma model whose target \(\mathcal M\) is a hyperkähler \(2r\)-torus fibration over \(B\). The fiber coordinates are the electric Wilson lines and dual photons, combined into \(\theta_\gamma\). The semi-flat Darboux coordinates are
\[
\mathcal X^{sf}_\gamma(\zeta)=\exp\!\left[\pi R\left(\zeta^{-1}Z_\gamma(u)+\zeta \overline{Z}_\gamma(u)\right)+i\theta_\gamma\right].
\]
For each charge with \(Z_\gamma(u)\neq 0\), one defines the BPS ray
\[
\ell_\gamma=\{\zeta\in\mathbb C^\times: Z_\gamma(u)/\zeta\in \mathbb R_{<0}\}.
\]
Instanton corrections from 4d BPS particles wrapping \(S^1\) deform the semi-flat coordinates to corrected coordinates \(\mathcal X_\gamma(\zeta)\), characterized as the solution of a Riemann–Hilbert problem: they are piecewise holomorphic in \(\zeta\), have prescribed jumps across the rays \(\ell_\gamma\), and match \(\mathcal X^{sf}_\gamma\) as \(\zeta\to 0,\infty\). Equivalently, they satisfy the TBA-like integral equations
\[
\log \mathcal X_\gamma(\zeta)=\log \mathcal X^{sf}_\gamma(\zeta)
-\frac{1}{4\pi i}\sum_{\gamma'\in\Gamma}\Omega(\gamma';u)\langle \gamma,\gamma'\rangle
\int_{\ell_{\gamma'}}\frac{d\zeta'}{\zeta'}\frac{\zeta'+\zeta}{\zeta'-\zeta}\log(1-\mathcal X_{\gamma'}(\zeta')).
\]

The crucial physical statement is that the exact hyperkähler metric \(g\) reconstructed from these Darboux coordinates must be smooth in \(u\), except where states become massless. Single-instanton terms, however, depend explicitly on \(\Omega(\gamma;u)\) and therefore jump. The resolution is that higher multi-instanton terms jump in a compensating way, so that the full \(\mathcal X_\gamma(\zeta)\), the holomorphic symplectic form \(\omega(\zeta)\), and the metric \(g\) remain continuous. In this formulation, the wall-crossing formula is precisely the condition that the total jump data of the Riemann–Hilbert problem does not change when BPS rays coalesce across a wall [0807.4723].

GMN also express the construction through “4d \(tt^*\)” equations: \(\mathcal X\) obeys a flat meromorphic \(\zeta\)-connection with rank-1 irregular singularities at \(\zeta=0,\infty\), and the Stokes factors of this connection are the KS symplectomorphisms. Isomonodromic deformation of that connection is the formal origin of the invariant product.

## 3. Definition of the invariant

In the classical algebraic-torus formulation, one introduces multiplicative coordinates \(X_\gamma\) with Poisson structure determined by \(\langle\cdot,\cdot\rangle\). The KS symplectomorphism associated to a charge \(\gamma\) acts by
\[
K_\gamma:\quad X_\beta \mapsto X_\beta\,(1-X_\gamma)^{\langle \gamma,\beta\rangle \Omega(\gamma;u)}.
\]
Globally one may need a quadratic refinement \(\sigma(\gamma)\), in which case \(1-X_\gamma\) is replaced by \(1-\sigma(\gamma)X_\gamma\). For a half-plane of phases \((\theta,\theta+\pi)\), the 4d spectrum generator is
\[
S_{(\theta,\theta+\pi)}(u)=
\prod_{\theta<\arg Z_\gamma(u)<\theta+\pi}^{\text{decreasing }\arg Z_\gamma}
K_\gamma^{\Omega(\gamma;u)}.
\]
Its invariance,
\[
S_{(\theta,\theta+\pi)}(u_+)=S_{(\theta,\theta+\pi)}(u_-),
\]
is the KS wall-crossing formula in the GMN presentation [0807.4723].

An equivalent abstract form uses stability data \((Z,a)\) on a \(\Gamma\)-graded Lie algebra \(\mathfrak g=\bigoplus_{\gamma\in\Gamma}\mathfrak g_\gamma\). For a strict sector \(V\subset\mathbb C\), one defines
\[
A_V:=\exp\!\left(\sum_{Z(\gamma)\in V,\ Q(\gamma)\ge 0} a(\gamma)\right)\in G_V,
\]
and factorizes it clockwise over rays \(l\subset V\),
\[
A_V=\prod_{l\subset V}^{\curvearrowright} A_l.
\]
The sector element \(A_V\) is the KS invariant of \(V\): under deformations of the stability condition that do not move BPS rays across the boundary of \(V\), the ordered product remains unchanged [1711.03695]. In the numerical unrefined torus language of Seiberg–Witten integrable systems, the same object is written
\[
W_S=\vec\prod_{\ell_\gamma\subset S}K_\gamma^{\Omega(\gamma)},
\]
with clockwise ordering in an admissible sector \(S\) [1903.10169].

A recurrent misconception is that wall-crossing invariance means the indices \(\Omega(\gamma;u)\) themselves remain constant. The invariant is not the collection of indices but the ordered product of ray factors. Both the contributing charges and their multiplicities may change, and the order of factors may reverse, while the total product is fixed.

In refined or motivic form, the classical torus is replaced by a quantum torus,
\[
X_{\gamma_1}X_{\gamma_2}=(-q^{1/2})^{\langle\gamma_1,\gamma_2\rangle}X_{\gamma_1+\gamma_2},
\]
and the KS factor is implemented by quantum dilogarithms rather than classical binomials. The invariant statement remains the same: a phase-ordered product over a sector is constant, but now in the noncommutative quantum torus algebra [1112.2515].

## 4. Fundamental identities and chamber examples

The elementary rank-two identity is the pentagon relation. If \(\langle\gamma_1,\gamma_2\rangle=1\), then
\[
K_{\gamma_2}K_{\gamma_1}=K_{\gamma_1}K_{\gamma_1+\gamma_2}K_{\gamma_2}.
\]
Physically, this expresses the appearance or disappearance of a single hypermultiplet of charge \(\gamma_1+\gamma_2\) when the phases of \(Z_{\gamma_1}\) and \(Z_{\gamma_2}\) cross. In the simplest class-\(\mathcal S\) and Argyres–Douglas examples, it is the local model of wall crossing [0807.4723].

For pure \(SU(2)\) Seiberg–Witten theory, the strong-coupling chamber contains a monopole and a dyon, while the weak-coupling chamber contains an infinite dyon tower together with the \(W\)-boson vectormultiplet. GMN encode this by the infinite product identity
\[
K_{2,-1}K_{0,1}
=
(K_{0,1}K_{2,1}K_{4,1}\cdots)\cdot K_{2,0}\cdot (\cdots K_{6,-1}K_{4,-1}K_{2,-1}),
\]
and for \(SU(2)\) with \(N_f=2\) massless flavors by
\[
K_{2,-1}K_{2,1}
=
(K_{2,1}K_{3,1}K_{4,1}\cdots)\cdot K_{4,0}\cdot (\cdots K_{3,-1}K_{2,-1}K_{3,-1}),
\]
making explicit that weak- and strong-coupling spectra differ while the total ordered product does not [0807.4723].

For pure \(SU(3)\), the KS invariant becomes a computational device. Using the wall-crossing structure formalism, split attractor flows, and ordered products over sectors, one derives the standard \(SU(2)\)-type towers associated with the three simple-root embeddings and also an additional weak-coupling wall \(W^1_{\alpha_1,\alpha_2}\). The corresponding composite KS identity changes the degeneracy of the family
\[
(\alpha_3,\alpha_1+(n-1)\alpha_3)
\]
from \(\Omega=1\) to \(\Omega=2\), yielding a new family of BPS states while keeping the sector product \(W_S\) fixed [1903.10169].

These examples show the general pattern. Wall crossing is not a failure of consistency; it is the refactorization of a fixed element. Finite products, infinite products, and mixed hypermultiplet–vectormultiplet identities are different manifestations of the same ordered-product invariance.

## 5. Spectral networks, WKB triangulations, and exact WKB

In class-\(\mathcal S\) theories of type \(A_1\), the invariant acquires a concrete geometric realization through WKB foliations on the ultraviolet curve \(C\). For a fixed phase \(\theta\), the WKB condition
\[
\operatorname{Im}(e^{-i\theta}\lambda)=0
\]
defines a foliation whose generic trajectories determine a decorated ideal triangulation \(T_{WKB}(\theta,\phi_2)\). Fock–Goncharov coordinates \(X_E\) attached to the edges satisfy log-canonical brackets
\[
\{\log X_\gamma,\log X_\delta\}=\langle \gamma,\delta\rangle.
\]
When \(\theta\) crosses a critical phase, the triangulation changes by a flip or a juggle. A finite WKB arc yields the hypermultiplet transformation
\[
X_\delta^+=X_\delta^-(1+X_\gamma)^{\langle \gamma,\delta\rangle},
\]
while a one-parameter family of closed WKB curves yields the vectormultiplet transformation
\[
X_\delta^+=X_\delta^-(1-X_\gamma)^{-2\langle \gamma,\delta\rangle}.
\]
These are precisely KS factors, with the sign determined by the quadratic refinement. The corresponding spectrum generator
\[
S_{\theta,\theta+\pi}(u)=\prod_{\arg(-Z_\gamma(u))\in(\theta,\theta+\pi)}K_\gamma^{\Omega(\gamma;u)}
\]
is invariant under deformations that do not move BPS rays across the endpoints of the half-plane [0907.3987].

A different spectral-network construction produces the BPS monodromy directly from a finite graph \(\mathcal W_c\) at a maximally degenerate locus where all vanilla 4d central charges align. In that setting the monodromy operator is determined by equations
\[
\mathbb U\,Q^{(-)}(p,y)=Q^{(+)}(p,y)\,\mathbb U
\]
for the edges \(p\) of the critical graph. The construction is manifestly KS-invariant in the sense that it uses no prior knowledge of the 4d BPS spectrum; the invariant monodromy is extracted from topological data of the graph and framed 2d–4d soliton transport [1611.00150].

For meromorphic quadratic differentials, an analytic version of the same story identifies the sector BPS automorphism \(S_\phi(A)\) with the birational map relating Fock–Goncharov coordinate charts of the boundary WKB triangulations:
\[
S_\phi(A)=X_{T_2}\circ X_{T_1}^{-1}.
\]
Under the canonical quadratic refinement, the KS factors become cluster \(X\)-mutations with \((1+X_\gamma)\), and the same automorphisms describe Stokes jumps of Voros symbols in exact WKB analysis [2006.08059].

## 6. Motivic, categorical, quiver-theoretic, and geometric extensions

The invariant admits several extensions that preserve its ordered-product character while changing the ambient algebra. In the motivic \(2d\)–\(4d\) theory, the single charge lattice is replaced by a vacuum groupoid \(\mathbb V\), diagonal entries record 4d charges, off-diagonal entries record 2d soliton charges, and the wall-crossing element becomes a matrix \(A_I\) built from motivic Hall data. Its defining factorization is
\[
A_{[\theta_1,\theta_2)}\,A_{[\theta_2,\theta_3)}=A_{[\theta_1,\theta_3)},
\]
which simultaneously categorifies the Cecotti–Vafa and Kontsevich–Soibelman formulas [1711.03695].

A different line of work clarifies that the KS product, the Joyce–Song formula, and the Manschot–Pioline–Sen formula are not competing prescriptions but equivalent expansions of the same invariant. Stoppa showed that the GMN integral equations yield asymptotic rooted-tree expansions whose discontinuities reproduce Joyce–Song wall crossing [1112.2174], while Sen proved the equivalence of KS, MPS, and Joyce–Song formulas in the refined rank-two setting [1112.2515]. In the Hall-algebra approach to framed objects, the same invariant appears as a product of motivic dilogarithms \(B_\mu=\operatorname{Exp}(\Omega_\mu/(\mathbb L-1))\), and framed wall crossing becomes a left-right action of those KS factors on generating series of framed objects [1104.4335]. Mozgovoy and Reineke further identified the relevant “halo” coefficients with abelian quiver invariants, proved positivity and geometricity properties, and showed that a motivic version of the MPS formula is equivalent to the KS identity in the quantum torus [1212.0410]. At the foundational level, the motivic integration map from Hall algebras to the motivic quantum torus relies on the Kontsevich–Soibelman conjectural identity for motivic Milnor fibers, proved in several nontrivial cases by Le Quy Thuong [1004.1311].

Open and relative enumerative theories furnish geometric realizations of the same invariant. For complex Lagrangians in hyperkähler four-manifolds, multi-disk homology produces rational numbers \(a_\beta\) and a ray-ordered product
\[
\widehat A_S=\prod_{\ell\subset S}^{\mathrm{clockwise}}
\exp\!\Big(\sum_{Z(\beta)\in \ell} a_\beta\,\widehat e_\beta\Big),
\]
which is invariant across walls of the first type [1711.05306]. On elliptic K3 surfaces, open Gromov–Witten invariants \(\tilde n_{\mathrm{Floer}}(\gamma;u)\) define automorphisms
\[
K_\gamma:\ X_\beta\mapsto X_\beta\,(1-\vartheta(\gamma)X_\gamma)^{\langle \gamma,\beta\rangle \tilde n_{\mathrm{Floer}}(\gamma;u)},
\]
and their primitive jumps realize the pentagon identity and the KS scattering-diagram consistency condition [1412.4455].

More recent reformulations reinterpret the invariant in other languages without changing its formal role. Morozov, Morozov, and Morozov relate the ordered product of Stokes/flip automorphisms to Reshetikhin–Turaev–Witten knot invariants, recovering Jones polynomials in the simplest degenerate conformal-block case and representing quantum flips by Faddeev’s quantum dilogarithm [1410.8482]. For \(m\)-Kronecker wall crossing, the refined KS product has been rewritten as an identity between generating series of symmetric quivers,
\[
P_{Q^s}(x_1,x_2;q)=P_{Q^w}(x^w(x_1,x_2;q);q),
\]
with one side finite and the other infinite; diagonalization and “trees of unlinkings” then express closed 4d DT invariants in terms of open 3d DT invariants and loop-quiver data [2506.09972]. In 5d BPS-quiver settings, quiver symmetries and affine root lattices provide functional equations for the KS invariant in collimation chambers, yielding exact conjectural spectrum generators for local \(\mathbb F_0\), \(dP_3\), and \(dP_5\) geometries [2107.14255]. At the categorical level, the bosonic pentagon identity has been promoted to an equivalence of chain complexes and differential graded algebras, quadratic-dual to the PBW presentations of the corresponding Cohomological Hall algebra; this gives a categorification of the bosonic wall-crossing formula via Koszul duality [2309.12103].

Across all these frameworks, the same structural principle persists. The wall-crossing invariant is a sector-ordered product over rays, not a chamberwise list of BPS numbers. Its algebraic realization may be a classical Poisson torus, a motivic quantum torus, a Hall algebra, a cluster variety, a spectral-network monodromy, or a multi-disk envelope algebra; its physical realization may be instanton corrections to a hyperkähler metric, framed halos around a heavy core, WKB flips on a UV curve, or open enumerative counts. What remains fixed is the ordered product itself.

Source: https://www.emergentmind.com/topics/kontsevich-soibelman-wall-crossing-invariant