Supersymmetric D-branes supported on the complex two-dimensional base $S$ of the local Calabi-Yau threefold $K_S$ are described by semi-stable coherent sheaves on $S$. Under suitable conditions, the BPS indices counting these objects (known as genera
lized Donaldson-Thomas invariants) coincide with the Vafa-Witten invariants of $S$ (which encode the Betti numbers of the moduli space of semi-stable sheaves). For surfaces which admit a strong collection of exceptional sheaves, we develop a general method for computing these invariants by exploiting the isomorphism between the derived category of coherent sheaves and the derived category of representations of a suitable quiver with potential $(Q,W)$ constructed from the exceptional collection. We spell out the dictionary between the Chern class $gamma$ and polarization $J$ on $S$ vs. the dimension vector $vec N$ and stability parameters $veczeta$ on the quiver side. For all examples that we consider, which include all del Pezzo and Hirzebruch surfaces, we find that the BPS indices $Omega_star(gamma)$ at the attractor point (or self-stability condition) vanish, except for dimension vectors corresponding to simple representations and pure D0-branes. This opens up the possibility to compute the BPS indices in any chamber using either the flow tree or the Coulomb branch formula. In all cases we find precise agreement with independent computations of Vafa-Witten invariants based on wall-crossing and blow-up formulae. This agreement suggests that i) generating functions of DT invariants for a large class of quivers coming from strong exceptional collections are mock modular functions of higher depth and ii) non-trivial single-centered black holes and scaling solutions do not exist quantum mechanically in such local Calabi-Yau geometries.
Whenever available, refined BPS indices provide considerably more information on the spectrum of BPS states than their unrefined version. Extending earlier work on the modularity of generalized Donaldson-Thomas invariants counting D4-D2-D0 brane boun
d states in type IIA strings on a Calabi-Yau threefold $mathfrak{Y}$, we construct the modular completion of generating functions of refined BPS indices supported on a divisor class. Although for compact $mathfrak{Y}$ the refined indices are not protected, switching on the refinement considerably simplifies the construction of the modular completion. Furthermore, it leads to a non-commutative analogue of the TBA equations, which suggests a quantization of the moduli space consistent with S-duality. In contrast, for a local CY threefold given by the total space of the canonical bundle over a complex surface $S$, refined BPS indices are well-defined, and equal to Vafa-Witten invariants of $S$. Our construction provides a modular completion of the generating function of these refined invariants for arbitrary rank. In cases where all reducible components of the divisor class are collinear (which occurs e.g. when $b_2(mathfrak{Y})=1$, or in the local case), we show that the holomorphic anomaly equation satisfied by the completed generating function truncates at quadratic order. In the local case, it agrees with an earlier proposal by Minahan et al for unrefined invariants, and extends it to the refined level using the afore-mentioned non-commutative structure. Finally, we show that these general predictions reproduce known results for $U(2)$ and $U(3)$ Vafa-Witten theory on $mathbb{P}^2$, and make them explicit for $U(4)$.
BPS quivers for N=2 SU(N) gauge theories are derived via geometric engineering from derived categories of toric Calabi-Yau threefolds. While the outcome is in agreement of previous low energy constructions, the geometric approach leads to several new
results. An absence of walls conjecture is formulated for all values of N, relating the field theory BPS spectrum to large radius D-brane bound states. Supporting evidence is presented as explicit computations of BPS degeneracies in some examples. These computations also prove the existence of BPS states of arbitrarily high spin and infinitely many marginal stability walls at weak coupling. Moreover, framed quiver models for framed BPS states are naturally derived from this formalism, as well as a mathematical formulation of framed and unframed BPS degeneracies in terms of motivic and cohomological Donaldson-Thomas invariants. We verify the conjectured absence of BPS states with exotic SU(2)_R quantum numbers using motivic DT invariants. This application is based in particular on a complete recursive algorithm which determine the unframed BPS spectrum at any point on the Coulomb branch in terms of noncommutative Donaldson-Thomas invariants for framed quiver representations.
