We develop means of computing exact degerenacies of BPS black holes on toric Calabi-Yau manifolds. We show that the gauge theory on the D4 branes wrapping ample divisors reduces to 2D q-deformed Yang-Mills theory on necklaces of P^1s. As explicit examples we consider local P^2, P^1 x P^1 and A_k type ALE space times C. At large N the D-brane partition function factorizes as a sum over squares of chiral blocks, the leading one of which is the topological closed string amplitude on the Calabi-Yau. This is in complete agreement with the recent conjecture of Ooguri, Strominger and Vafa.
We make a proposal for calculating refined Gopakumar-Vafa numbers (GVN) on elliptically fibered Calabi-Yau 3-folds based on refined holomorphic anomaly equations. The key examples are smooth elliptic fibrations over (almost) Fano surfaces. We include a detailed review of existing mathematical methods towards defining and calculating the (unrefined) Gopakumar-Vafa invariants (GVI) and the GVNs on compact Calabi-Yau 3-folds using moduli of stable sheaves, in a language that should be accessible to physicists. In particular, we discuss the dependence of the GVNs on the complex structure moduli and on the choice of an orientation. We calculate the GVNs in many instances and compare the B-model predictions with the geometric calculations. We also derive the modular anomaly equations from the holomorphic anomaly equations by analyzing the quasi-modular properties of the propagators. We speculate about the physical relevance of the mathematical choices that can be made for the orientation.
We calculate the generating functions of BPS indices using their modular properties in Type II and M-theory compactifications on compact genus one fibered CY 3-folds with singular fibers and additional rational sections or just $N$-sections, in order to study string dualities in four and five dimensions as well as rigid limits in which gravity decouples. The generating functions are Jacobi-forms of $Gamma_1(N)$ with the complexified fiber volume as modular parameter. The string coupling $lambda$, or the $epsilon_pm$ parameters in the rigid limit, as well as the masses of charged hypermultiplets and non-Abelian gauge bosons are elliptic parameters. To understand this structure, we show that specific auto-equivalences act on the category of topological B-branes on these geometries and generate an action of $Gamma_1(N)$ on the stringy Kahler moduli space. We argue that these actions can always be expressed in terms of the generic Seidel-Thomas twist with respect to the 6-brane together with shifts of the B-field and are thus monodromies. This implies the elliptic transformation law that is satisfied by the generating functions. We use Higgs transitions in F-theory to extend the ansatz for the modular bootstrap to genus one fibrations with $N$-sections and boundary conditions fix the all genus generating functions for small base degrees completely. This allows us to study in depth a wide range of new, non-perturbative theories, which are Type II theory duals to the CHL $mathbb{Z}_N$ orbifolds of the heterotic string on $K3times T_2$. In particular, we compare the BPS degeneracies in the large base limit to the perturbative heterotic one-loop amplitude with $R_+^2 F_+^{2g-2}$ insertions for many new Type II geometries. In the rigid limit we can refine the ansatz and obtain the elliptic genus of superconformal theories in 5d.
We apply the modular approach to computing the topological string partition function on non-compact elliptically fibered Calabi-Yau 3-folds with higher Kodaira singularities in the fiber. The approach consists in making an ansatz for the partition function at given base degree, exact in all fiber classes to arbitrary order and to all genus, in terms of a rational function of weak Jacobi forms. Our results yield, at given base degree, the elliptic genus of the corresponding non-critical 6d string, and thus the associated BPS invariants of the 6d theory. The required elliptic indices are determined from the chiral anomaly 4-form of the 2d worldsheet theories, or the 8-form of the corresponding 6d theories, and completely fix the holomorphic anomaly equation constraining the partition function. We introduce subrings of the known rings of Weyl invariant Jacobi forms which are adapted to the additional symmetries of the partition function, making its computation feasible to low base wrapping number. In contradistinction to the case of simpler singularities, generic vanishing conditions on BPS numbers are no longer sufficient to fix the modular ansatz at arbitrary base wrapping degree. We show that to low degree, imposing exact vanishing conditions does suffice, and conjecture this to be the case generally.
A graded quiver with superpotential is a quiver whose arrows are assigned degrees $cin {0, 1, cdots, m}$, for some integer $m geq 0$, with relations generated by a superpotential of degree $m-1$. Ordinary quivers ($m=1)$ often describe the open string sector of D-brane systems; in particular, they capture the physics of D3-branes at local Calabi-Yau (CY) 3-fold singularities in type IIB string theory, in the guise of 4d $mathcal{N}=1$ supersymmetric quiver gauge theories. It was pointed out recently that graded quivers with $m=2$ and $m=3$ similarly describe systems of D-branes at CY 4-fold and 5-fold singularities, as 2d $mathcal{N}=(0,2)$ and 0d $mathcal{N}=1$ gauge theories, respectively. In this work, we further explore the correspondence between $m$-graded quivers with superpotential, $Q_{(m)}$, and CY $(m+2)$-fold singularities, ${mathbf X}_{m+2}$. For any $m$, the open string sector of the topological B-model on ${mathbf X}_{m+2}$ can be described in terms of a graded quiver. We illustrate this correspondence explicitly with a few infinite families of toric singularities indexed by $m in mathbb{N}$, for which we derive toric graded quivers associated to the geometry, using several complementary perspectives. Many interesting aspects of supersymmetric quiver gauge theories can be formally extended to any $m$; for instance, for one family of singularities, dubbed $C(Y^{1,0}(mathbb{P}^m))$, that generalizes the conifold singularity to $m>1$, we point out the existence of a formal duality cascade for the corresponding graded quivers.
The disk partition function of certain 3d N=2 supersymmetric gauge theories computes a quantum K-theoretic ring for Kahler manifolds X. We study the 3d gauge theory/quantum K-theory correspondence for global and local Calabi-Yau manifolds with several Kahler moduli. We propose a multi-cover formula that relates the 3d BPS world-volume degeneracies computed by quantum K-theory to Gopakumar-Vafa invariants.