---
title: Quasi-BPS Categories in Moduli Theory
url: https://www.emergentmind.com/topics/quasi-bps-categories
type: topic
---

# Quasi-BPS Categories in Moduli Theory

Quasi-BPS categories are dg or triangulated categories introduced as categorical versions of BPS invariants or BPS cohomologies in Donaldson–Thomas-type moduli problems. In existing work they arise for symmetric quivers with potential, for moduli stacks of semistable objects on K3 surfaces, and for moduli stacks of semistable Higgs bundles. In all of these settings they are extracted as distinguished subcategories of ambient derived or matrix-factorization categories, and they appear as the basic summands in semiorthogonal decompositions governed by categorical Hall products. In reduced or primitive regimes they are further interpreted as noncommutative analogues of crepant, hyperkähler, or Hitchin-type geometries [2309.08425] [2309.08437] [2408.02168] [2508.19624].

## 1. Origins and scope

The quiver-theoretic origin of the subject is the construction of quasi-BPS categories for symmetric quivers with potential as full subcategories of categories of matrix factorizations. Those categories were introduced as categorical avatars of BPS invariants and BPS cohomologies in DT theory, and they were shown to control semiorthogonal decompositions of framed and unframed DT categories [2309.08425]. The same period saw a parallel development for K3 surfaces, where quasi-BPS categories were introduced as a categorical version of the BPS cohomologies for K3 surfaces [2309.08437].

The notion was then extended to Higgs-bundle geometry. For twisted Higgs bundles on a smooth projective curve, quasi-BPS categories were introduced as canonical triangulated or dg subcategories inside the derived categories of moduli stacks of semistable twisted Higgs bundles, and they were described as the building blocks of those derived categories. Under a primitivity condition, the resulting BPS categories were identified as noncommutative analogues of Hitchin integrable systems [2408.02168]. In a further reformulation, quasi-BPS categories for semistable Higgs bundles were recast as special cases of limit categories for cotangent stacks, placing them in a proposed Dolbeault geometric Langlands framework [2508.19624].

Taken together, these constructions exhibit a common pattern. Quasi-BPS categories are not defined by a single universal formula across all moduli problems; rather, they form a family of closely related categorical constructions whose role is stable: they isolate the primitive or BPS-like sector inside larger Hall-theoretic categories. This suggests that the term names a program as much as a definition.

## 2. Quiver and preprojective constructions

For a symmetric quiver \(Q=(I,E)\) with potential \(W\), dimension vector \(d\), representation space \(R(d)\), and gauge group \(G(d)\), the basic quotient stack is
\[
X(d)=R(d)/G(d).
\]
The construction begins with a “magic” window subcategory
\[
\mathbb M(d;\delta_d)\subset D^b(X(d)),
\]
defined by the condition that the dominant weights \(\chi\) of the generators satisfy
\[
\chi+\rho-\delta_d\in \mathbf W(d),
\]
where \(\mathbf W(d)\) is the polytope built from the \(T(d)\)-weights of \(R(d)\). The quasi-BPS category is then
\[
\mathbb S(d;\delta_d):=\mathrm{MF}\big(\mathbb M(d;\delta_d),\mathrm{Tr}\,W\big)\subset \mathrm{MF}(X(d),\mathrm{Tr}\,W),
\]
with shorthand \(\mathbb S(d)_v\) when \(\delta_d=v\tau_d\). For tripled quivers there is also a graded version \(\mathbb S^{\mathrm{gr}}(d;\delta_d)\), and via Koszul equivalence this has a preprojective incarnation
\[
\Theta\colon \mathbb T(d;\delta_d)\xrightarrow{\sim}\mathbb S^{\mathrm{gr}}(d;\delta_d)
\]
inside the derived category of the corresponding preprojective stack [2309.08425].

These categories are the Hall atoms of the theory. The unframed matrix-factorization category admits a semiorthogonal decomposition
\[
\mathrm{MF}^{\bullet}\big(X(d),\mathrm{Tr}\,W\big)
=
\left\langle
\bigotimes_{i=1}^k \mathbb S^\bullet(d_i)_{v_i}
:
\frac{v_1}{d_1}<\cdots<\frac{v_k}{d_k}
\right\rangle,
\]
and the framed category admits the analogous decomposition with slope inequalities shifted by the framing parameter. The embedding functors are the corresponding categorical Hall products. The same framework yields wall-crossing equivalences \(\mathbb S^{\bullet,\ell}(d;\delta_d)\simeq \mathbb S^{\bullet,\ell'}(d;\delta_d)\) for generic stability conditions, and the quasi-BPS categories are proved to be strongly generated [2309.08425].

A major refinement is the reduced theory for preprojective algebras. Writing \(\mathscr P(d)^{\mathrm{red}}\) for the reduced derived stack cut out by the traceless moment map, the reduced quasi-BPS category
\[
\mathbb T(d)_v^{\mathrm{red}}\subset D^b(\mathscr P(d)^{\mathrm{red}})
\]
is defined by the same window condition \(\chi+\rho-v\tau_d\in \mathbf W(d)\). When the weight is coprime with the total dimension, these reduced categories have trivial relative Serre functor and no nontrivial semiorthogonal decomposition, and they are regarded as noncommutative local hyperkähler varieties and as twisted categorical versions of crepant resolutions of the good moduli spaces of preprojective representations [2309.08425].

## 3. K3-surface quasi-BPS categories

For a K3 surface \(S\), a generic Bridgeland stability condition \(\sigma\), a Mukai vector \(v\), and an integer weight \(w\), the relevant geometry is the derived moduli stack
\[
\mathfrak M_S^\sigma(v)
\]
of \(\sigma\)-semistable objects, together with its classical truncation \(\mathcal M_S^\sigma(v)\) and good moduli space \(M_S^\sigma(v)\). Scalar automorphisms induce an orthogonal decomposition
\[
D^b(\mathfrak M_S^\sigma(v))=\bigoplus_{w\in \mathbb Z} D^b(\mathfrak M_S^\sigma(v))_w.
\]
Choosing a determinant-type real line bundle \(\delta\), the quasi-BPS category is defined by the intrinsic window construction
\[
\mathbb T_S^\sigma(v)_\delta:=\mathbb W(\mathfrak M_S^\sigma(v))^{\mathrm{int}}_\delta
\subset D^b(\mathfrak M_S^\sigma(v))_w,
\]
and for generic \(\sigma\) it depends only on \(w\), yielding
\[
\mathbb T_S^\sigma(v)_w.
\]
There is likewise a reduced version
\[
\mathbb T_S^\sigma(v)_w^{\mathrm{red}}
\]
on the reduced moduli stack [2309.08437].

The local mechanism is quiver-theoretic. Near a polystable object \(F=\bigoplus_i V^{(i)}\otimes F^{(i)}\), formality of \(\mathrm{RHom}(F,F)\) identifies the formal neighborhood of the K3 moduli stack with the formal neighborhood of a preprojective-algebra representation stack attached to the Ext-quiver. In the deepest stratum, for \(v=dv_0\) with \(\langle v_0,v_0\rangle=2g-2\), the local model is the \(g\)-loop preprojective stack. This imports the quasi-BPS categories of doubled quivers and preprojective algebras directly into the K3 setting [2309.08437].

The main structural theorem is a categorical PBW-type semiorthogonal decomposition of \(D^b(\mathfrak M_S^\sigma(v))\) and of its reduced counterpart into Hall products of quasi-BPS categories indexed by partitions of the multiplicity \(d\) and by strict inequalities among the normalized weights. The paper also proves the wall-crossing equivalence
\[
\mathbb T_S^{\sigma_1}(v)_w\simeq \mathbb T_S^{\sigma_2}(v)_w,
\qquad
\mathbb T_S^{\sigma_1}(v)_w^{\mathrm{red}}\simeq \mathbb T_S^{\sigma_2}(v)_w^{\mathrm{red}}
\]
for any generic \(\sigma_1,\sigma_2\in \mathrm{Stab}(S)\) [2309.08437].

The reduced categories carry the strongest geometric interpretation. If \(v\) is primitive, then
\[
\mathbb T_S(v)_w^{\mathrm{red}}=D^b(M_S^\sigma(v),\alpha^w).
\]
More generally, when \(g\ge 2\) and \(\gcd(d,w)=1\), the reduced quasi-BPS category is proper and smooth, and its Serre functor is étale locally trivial on the good moduli space. The authors accordingly regard reduced quasi-BPS categories as noncommutative hyperkähler varieties and as categorical versions of crepant resolutions of singular symplectic moduli spaces [2309.08437].

## 4. Higgs bundles, BPS conditions, and limit categories

For a smooth projective curve \(C\), a line bundle \(L\) with \(\deg L>2g-2\) or \(L=\Omega_C\), rank \(r\), Euler characteristic \(\chi\), and weight \(w\), let
\[
\mathcal M^L(r,\chi)
\]
be the derived moduli stack of semistable \(L\)-twisted Higgs bundles. Scalar automorphisms give the orthogonal decomposition
\[
D^b(\mathcal M^L(r,\chi))=\bigoplus_{w\in\mathbb Z} D^b(\mathcal M^L(r,\chi))_w.
\]
For \(\deg L>2g-2\), the quasi-BPS category
\[
\mathbb T^L(r,\chi)_w\subset D^b(\mathcal M^L(r,\chi))_w
\]
is defined by a window condition on the allowed weights of \(\nu^*\mathcal E\) for every map \(\nu:B\mathbb C^*\to \mathcal M^L(r,\chi)\). For \(L=\Omega_C\), the moduli stack is quasi-smooth, and the definition is modified by embedding it as a derived zero locus inside \(\mathcal M^{\Omega_C(p)}(r,\chi)\); this also yields the reduced category
\[
\mathbb T(r,\chi)_w^{\mathrm{red}}\subset D^b(\mathcal M(r,\chi)^{\mathrm{red}})_w
\]
[2408.02168].

These categories again appear as Hall-theoretic building blocks. The paper proves a semiorthogonal decomposition of \(D^b(\mathcal M^L(r,\chi))_w\) into Hall products of quasi-BPS categories indexed by partitions of \((r,\chi,w)\) with equal slope \(\chi_i/r_i=\chi/r\) and strict inequalities in normalized shifted weights. Under the BPS condition
\[
(r,\chi,w+1-g^{\mathrm{sp}})
\text{ primitive},
\]
the category \(\mathbb T^L(r,\chi)_w\) is called a BPS category, and for \(L=\Omega_C\) the corresponding reduced primitive category is a reduced BPS category [2408.02168].

The BPS condition is exactly the regime in which the categories acquire the geometry of a noncommutative Hitchin system. For \(\deg L>2g-2\), \(\mathbb T^L(r,\chi)_w\) is smooth over \(\mathbb C\), proper over the Hitchin base, and Calabi–Yau over the Hitchin base. For \(L=\Omega_C\), the reduced BPS category \(\mathbb T(r,\chi)_w^{\mathrm{red}}\) has the analogous smooth, proper, and Calabi–Yau properties over the Hitchin base. Over the smooth spectral locus it restricts to the usual derived category of twisted coherent sheaves on a relative Picard variety. This is the explicit basis for describing BPS categories as noncommutative analogues of Hitchin integrable systems [2408.02168].

A further development is the symmetry exchanging Euler characteristic and weight. For ordinary Higgs bundles, the main conjecture is
\[
\mathbb T(r,w)_{-\chi}^{\mathrm{red}}
\stackrel{\sim}{\longrightarrow}
\mathbb T(r,\chi)_w^{\mathrm{red}},
\]
and the corresponding topological \(K\)-theory statement is proved rationally [2409.10800]. In the limit-category approach, quasi-BPS categories are defined by
\[
\mathbb T_G(\chi)_w
:=
L(Higgs_G(\chi)^{\mathrm{ss}})_{\delta_w,w}
\subset
Coh(Higgs_G(\chi)^{\mathrm{ss}})_w,
\]
and the full limit category \(L(Higgs_G(\chi))_w\) admits a semiorthogonal decomposition into quasi-BPS categories indexed by Levi subgroups. This formulation is used to propose a precise Dolbeault geometric Langlands conjecture and the expected equivalence
\[
\mathbb T_{^{L}G}(w)_{-\chi}\simeq \mathbb T_G(\chi)_w
\]
as a categorical form of topological mirror symmetry for Higgs bundles [2508.19624].

## 5. Recurring structural features

A striking feature of the theory is the recurrence of the same formal architecture in very different moduli problems. For symmetric quivers with potential, the ambient matrix-factorization category decomposes into Hall products of quasi-BPS categories ordered by slope [2309.08425]. For K3 surfaces, the derived category of the moduli stack of semistable objects decomposes into Hall products of quasi-BPS categories indexed by partitions and weight inequalities [2309.08437]. For twisted Higgs bundles, the same Hall-product mechanism produces semiorthogonal decompositions of the weight pieces of the derived category of the Higgs moduli stack [2408.02168]. In all three settings, quasi-BPS categories play the role of categorical PBW factors.

Wall-crossing is another common theme, but its form depends on the geometry. In the quiver case, quasi-BPS categories are invariant under changing generic stability conditions, through equivalences of the form
\[
\mathbb S^{\bullet,\ell}(d;\delta_d)\simeq \mathbb S^{\bullet,\ell'}(d;\delta_d)
\]
[2309.08425]. In the K3 case, the corresponding statement is the equivalence
\[
\mathbb T_S^{\sigma_1}(v)_w\simeq \mathbb T_S^{\sigma_2}(v)_w
\]
and its reduced analogue [2309.08437]. In Higgs-bundle theory, the central symmetry is instead the exchange of Euler characteristic and weight, extending the Fourier–Mukai transform on the smooth spectral locus and proved in topological \(K\)-theory [2408.02168] [2409.10800].

The strongest geometric properties consistently appear in reduced or primitive regimes. Reduced preprojective quasi-BPS categories have trivial relative Serre functor and, under coprimality, no nontrivial semiorthogonal decomposition [2309.08425]. Reduced quasi-BPS categories for K3 surfaces are proper and smooth with étale locally trivial Serre functor when \(\gcd(d,w)=1\) [2309.08437]. Reduced BPS categories for Higgs bundles are smooth, proper, and Calabi–Yau over the Hitchin base under the BPS condition [2408.02168]. In the three-dimensional affine case, the categorical analogue of Davison’s support lemma states that if \(\gcd(d,w)=1\), then every object of \(\mathbb S(d)_w\) is supported on \(\pi^{-1}(\Delta)\), the preimage of the small diagonal in \(\operatorname{Sym}^d(\mathbb C^3)\) [2209.05920].

## 6. Topological \(K\)-theory, BPS cohomology, and geometric meaning

One of the main achievements of the subject is the precise relation between quasi-BPS categories and BPS sheaves or BPS cohomology. For symmetric quivers with potential, the topological \(K\)-theory of the quasi-BPS category \(\mathbb S(d;\delta)\) carries a filtration whose associated graded is monodromy-invariant BPS cohomology:
\[
\operatorname{gr}_\ell K_i^{\mathrm{top}}(\mathbb S(d;\delta))_{\mathbb Q}
\cong
H^{\dim X(d)-2\ell-i}\bigl(X(d),\mathcal{BPS}_{d,\delta}^{\mathrm{inv}}[1]\bigr),
\]
and the relative topological \(K\)-theory sheaf is the periodicized monodromy-invariant BPS sheaf. The same paper proves the analogous statement for the preprojective categories \(\mathbb T(d;\delta)\) [2309.08432].

For K3 surfaces, the topological \(K\)-theory theorem is
\[
K_i^{\mathrm{top}}\!\left(\mathbb T_S^\sigma(v)_w^{\mathrm{red}}\right)
\cong
K_i^{\mathrm{top}}\!\left(\mathbb T_S^\sigma(v)_w\right)
\cong
\widetilde H^i\!\left(M_S^\sigma(v),\mathcal{BPS}_{v,w}\right).
\]
Its Euler characteristic recovers the BPS invariant, which in the local K3 case is known to equal the Euler characteristic of the corresponding Hilbert scheme of points on the K3 surface [2309.08437]. For Higgs bundles, the topological \(K\)-theory of BPS categories is likewise identified with BPS-theoretic objects: in the twisted case with the intersection complex of the Higgs moduli space, and in the untwisted reduced case with the BPS sheaf
\[
\mathcal K_M^{\mathrm{top}}(\mathbb T^{\mathrm{red}})_{\mathbb Q}
\cong
\mathcal{BPS}_M[\beta^{\pm1}]
\]
[2409.10800].

The affine threefold case exhibits the same principle in a Hall-algebraic form. Fixing a primitive slope \((d,v)\), the torsion-free localized equivariant \(K\)-theory
\[
\bigoplus_{n\ge 0}K_T(\mathbb T(nd)_{nv})_{\mathbb F}
\]
becomes a commutative and cocommutative \(\mathbb F\)-bialgebra isomorphic to the ring of symmetric functions, and the localized equivariant \(K\)-theoretic BPS spaces, defined as primitive elements for the coproduct, are one-dimensional in every degree [2209.05920].

This recurring passage from quasi-BPS categories to BPS sheaves, BPS cohomology, primitive Hall data, and DT product formulas suggests that quasi-BPS categories function as categorical BPS pieces. Their ambient role is categorical and derived, but their additive invariants recover the structures traditionally associated with BPS theory. In that sense, quasi-BPS categories form a bridge between noncommutative geometry, Hall-algebraic factorization, and the cohomological or \(K\)-theoretic realization of BPS phenomena.

Source: https://www.emergentmind.com/topics/quasi-bps-categories