In this paper, we propose a mathematical definition of a new ``numerical invariants" of Calabi--Yau 3-folds from stable sheaves of dimension one, which is motivated by the Gopakumar-Vafa conjecture in M-theory. Moreover, we show that for any projective morphism $f:X -> Y$ of normal projective varieties, there exists a natural $sl_2 \times sl_2$ action on the intersection cohomology group $IH(X, \Q)$ which fits into the perverse Leray spectral sequence.
We study BPS spectra of D-branes on local Calabi-Yau threefolds $\mathcal{O}(-p)\oplus\mathcal{O}(p-2)\to \mathbb{P}^1$ with $p=0,1$, corresponding to $\mathbb{C}^3/\mathbb{Z}_{2}$ and the resolved conifold. Nonabelianization for exponential networks is applied to compute directly unframed BPS indices counting states with D2 and D0 brane charges. Known results on these BPS spectra are correctly reproduced by computing new types of BPS invariants of 3d-5d BPS states, encoded by nonabelianization, through their wall-crossing. We also develop the notion of exponential BPS graphs for the simplest …
In this paper we study the BPS state counting in the geometry of local obstructed curve with normal bundle O+O(-2). We find that the BPS states have a framed quiver description. Using this quiver description along with the Seiberg duality and the localization techniques, we can compute the BPS state indices in different chambers dictated by stability parameter assignments. This provides a well-defined method to compute the generalized Donaldson-Thomas invariants. This method can be generalized to other affine ADE quiver theories.
We study Gromov-Witten invariants of a rational elliptic surface using holomorphic anomaly equation in [HST1](hep-th/9901151). Formulating invariance under the affine $E_8$ Weyl group symmetry, we determine conjectured invariants, the number of BPS states, from Gromov-Witten invariants. We also connect our holomorphic anomaly equation to that found by Bershadsky,Cecotti,Ooguri and Vafa [BCOV1](hep-th/9302103).
We develop a systematic and efficient method of counting single-trace and multi-trace BPS operators with two supercharges, for world-volume gauge theories of $N$ D-brane probes for both $N \to \infty$ and finite $N$. The techniques are applicable to generic singularities, orbifold, toric, non-toric, complete intersections, et cetera, even to geometries whose precise field theory duals are not yet known. The so-called ``Plethystic Exponential'' provides a simple bridge between (1) the defining equation of the Calabi-Yau, (2) the generating function of single-trace BPS operators and (3) the gene…
We define new partition functions for theories with targets on toric singularities via products of old partition functions on crepant resolutions. We compute explicit examples and show that the new partition functions turn out to be homogeneous on MacMahon factors.
We study BPS states of 5d $\mathcal{N}=1$ $SU(2)$ Yang-Mills theory on $S^1\times \mathbb{R}^4$. Geometric engineering relates these to enumerative invariants for the local Hirzebruch surface $\mathbb{F}_0$. We illustrate computations of Vafa-Witten invariants via exponential networks, verifying fiber-base symmetry of the spectrum at certain points in moduli space, and matching with mirror descriptions based on quivers and exceptional collections. Albeit infinite, parts of the spectrum organize in families described by simple algebraic equations. Varying the radius of the M-theory circle inter…
We consider the generating function (prepotential) for Gromov-Witten invariants of rational elliptic surface. We apply the local mirror principle to calculate the prepotential and prove a certain recursion relation, holomorphic anomaly equation, for genus 0 and 1. We propose the holomorphic anomaly equation for all genera and apply it to determine higher genus Gromov-Witten invariants and also the BPS states on the surface. Generalizing Göttsche's formula for the Hilbert scheme of $g$ points on a surface, we find precise agreement of our results with the proposal recently made by Gopakumar and…
We study topological string amplitudes for the FHSV model using various techniques. This model has a type II realization involving a Calabi-Yau threefold with Enriques fibres, which we call the Enriques Calabi-Yau. By applying heterotic/type IIA duality, we compute the topological amplitudes in the fibre to all genera. It turns out that there are two different ways to do the computation that lead to topological couplings with different BPS content. One of them leads to the standard D0-D2 counting amplitudes, and from the other one we obtain information about bound states of D0-D4-D2 branes on …
This paper contains some applications of Bridgeland-Douglas stability conditions on triangulated categories, and Joyce's work on counting invariants of semistable objects, to the study of birational geometry. We introduce the notion of motivic Gopakumar-Vafa invariants as counting invariants of D2-branes, and show that they are invariant under birational transformations between Calabi-Yau 3-folds. The result is similar to the fact that birational Calabi-Yau 3-folds have the same betti numbers or Hodge numbers.
We construct a free fermion and matrix model representation of refined BPS generating functions of D2 and D0 branes bound to a single D6 brane, in a class of toric manifolds without compact four-cycles. In appropriate limit we obtain a matrix model representation of refined topological string amplitudes. We consider a few explicit examples which include a matrix model for the refined resolved conifold, or equivalently five-dimensional U(1) gauge theory, as well as a matrix representation of the refined MacMahon function. Matrix models which we construct have ordinary unitary measure, while the…
We perform a refined count of BPS states in the compactification of M-theory on $K3 \times T^2$, keeping track of the information provided by both the $SU(2)_L$ and $SU(2)_R$ angular momenta in the $SO(4)$ little group. Mathematically, this four variable counting function may be expressed via the motivic Donaldson-Thomas counts of $K3 \times T^2$, simultaneously refining Katz, Klemm, and Pandharipande's motivic Donaldson-Thomas counts on $K3$ and Oberdieck-Pandharipande's Gromov-Witten counts on $K3 \times T^2$. This provides the first full answer for motivic curve counts of a compact Calabi-Y…
We introduce a class of new algebras, the shifted quiver Yangians, as the BPS algebras for type IIA string theory on general toric Calabi-Yau three-folds. We construct representations of the shifted quiver Yangian from general subcrystals of the canonical crystal. We derive our results via equivariant localization for supersymmetric quiver quantum mechanics for various framed quivers, where the framings are determined by the shape of the subcrystals. Our results unify many known BPS state counting problems, including open BPS counting, non-compact D4-branes, and wall crossing phenomena, simply…
We study the equivariant version of the genus zero BPS invariants of the total space of a rank 2 bundle on P^1 whose determinant is O(-2). We define the equivariant genus zero BPS invariants by the residue integrals on the moduli space of stable sheaves of dimension one as proposed by Sheldon Katz. We compute these invariants for low degrees by counting the torus fixed stable sheaves. The results agree with the prediction in local Gromov-Witten theory.
This paper summarizes recent developments in the theory of Bogomol'nyi-Prasad-Sommerfield (BPS) state counting and the wall crossing phenomena, emphasizing in particular the role of the statistical mechanical model of crystal melting. This paper is divided into two parts, which are closely related to each other. In the first part, we discuss the statistical mechanical model of crystal melting counting BPS states. Each of the BPS state contributing to the BPS index is in one-to-one correspondence with a configuration of a molten crystal, and the statistical partition function of the melting cry…
We investigate the connections between flavored quivers, dimer models, and BPS pyramids for generic toric Calabi-Yau threefolds from various perspectives. We introduce a purely field theoretic definition of both finite and infinite pyramids in terms of quivers with flavors. These pyramids are associated to the counting of BPS invariants for generic toric Calabi-Yau threefolds. We discuss how cluster transformations provide an efficient recursive method for computing pyramid partition functions and show that the recursion is equivalent to the multidimensional octahedron recurrence. Transitions …
We describe the counting of BPS states of Type II strings on K3 by relating the supersymmetric cycles of genus $g$ to the number of rational curves with $g$ double points on K3. The generating function for the number of such curves is the left-moving partition function of the bosonic string.
Pure D-brane Black Holes: BPS Counting and non-BPS Vacua
Harish–Chandra Research Institute, A CI of Homi Bhabha National Institute（哈瑞什-昌德拉研究所，霍米·巴巴国立大学下属机构）；Department of Physics, School of Basic Sciences, Indian Institute of Technology Bhubaneswar（印度布巴内斯瓦尔理工学院基础科学学院物理系）
Noncommutative Donaldson-Thomas invariants for abelian orbifold singularities can be studied via the enumeration of instanton solutions in a six-dimensional noncommutative N=2 gauge theory; this construction is based on the generalized McKay correspondence and identifies the instanton counting with the counting of framed representations of a quiver which is naturally associated to the geometry of the singularity. We extend these constructions to compute BPS partition functions for higher-rank refined and motivic noncommutative Donaldson-Thomas invariants in the Coulomb branch in terms of gauge…
We develop geometric techniques for counting BPS states in five-dimensional gauge theories engineered by M theory on a toric Calabi-Yau threefold. The problem is approached by studying framed 3d-5d wall-crossing in presence of a single M5 brane wrapping a special Lagrangian submanifold $L$. The spectrum of 3d-5d BPS states is encoded by the geometry of the manifold of vacua of the 3d-5d system, which further coincides with the mirror curve describing moduli of the Lagrangian brane. Information about the BPS spectrum is extracted from the geometry of the mirror curve by construction of a nonabe…
We study the relation between the instanton counting on ALE spaces and the BPS state counting on a toric Calabi-Yau three-fold. We put a single D4-brane on a divisor isomorphic to A_{N-1}-ALE space in the Calabi-Yau three-fold, and evaluate the discrete changes of BPS partition function of D4-D2-D0 states in the wall-crossing phenomena. In particular, we find that the character of affine SU(N) algebra naturally arises in wall-crossings of D4-D2-D0 states. Our analysis is completely based on the wall-crossing formula for the d=4, N=2 supersymmetric theory obtained by dimensionally reducing the …
For a nonsingular projective 3-fold $X$, we define integer invariants virtually enumerating pairs $(C,D)$ where $C\subset X$ is an embedded curve and $D\subset C$ is a divisor. A virtual class is constructed on the associated moduli space by viewing a pair as an object in the derived category of $X$. The resulting invariants are conjecturally equivalent, after universal transformations, to both the Gromov-Witten and DT theories of $X$. For Calabi-Yau 3-folds, the latter equivalence should be viewed as a wall-crossing formula in the derived category. Several calculations of the new invariants a…
We consider $M$-theory compactified on $T^4 \times T^2$ and describe the count of spinning $1/8$-BPS states. This refines the classic count of Maldacena-Moore-Strominger in the physics literature and the recent mathematical work of Bryan-Oberdieck-Pandharipande-Yin, which studied reduced Donaldson-Thomas invariants of abelian surfaces and threefolds. As in previous work on $K3 \times T^2$ compactification, we track angular momenta under both the $SU(2)_L$ and $SU(2)_R$ factors in the 5d little group, providing predictions for the relevant motivic curve counts.
We construct a statistical model that reproduces the BPS partition function of D4-D2-D0 bound states on a class of toric Calabi-Yau three-folds. The Calabi-Yau three-folds we consider are obtained by adding a compact two-cycle to $A_{N-1}$-ALE $\times \mathbb{C}$. We show that in the small radii limit of the Calabi-Yau the D4-D2-D0 partition function is correctly reproduced by counting the number of triangles and parallelograms.
It is well known that in string compactifications on toric Calabi-Yau manifolds one can introduce refined BPS invariants that carry information not only about the charge of the BPS state but also about the spin content. In this paper we study how these invariants behave under wall crossing. In particular, by applying a refined wall crossing formula, we obtain the refined BPS degeneracies for the conifold in different chambers. The result can be interpreted in terms of a new statistical model that counts `refined' pyramid partitions; the model provides a combinatorial realization of wall crossi…
We extend the dictionary between the BPS spectrum of Heterotic strings and the one of F-/M-theory compactifications on $K3$ fibered Calabi-Yau 3-folds to cases with higher rank non-Abelian gauge groups and in particular to dual pairs between Heterotic CHL orbifolds and compactifications on Calabi-Yau 3-folds with a compatible genus one fibration. We show how to obtain the new supersymmetric index purely from the Calabi-Yau geometry by reconstructing the Noether-Lefschetz generators, which are vector-valued modular forms. There is an isomorphism between the latter objects and vector-valued latt…
We provide an explicit construction of Ricci-flat K3 metrics. It employs the technology of D-geometry, which in the case of interest is equivalent to a hyper-Kähler quotient. We relate it to the construction of arXiv:1810.10540, and in particular show that it contains the solution to the BPS state counting problem (that of computing the BPS index of a heterotic little string theory compactified on $T^2$) discussed therein, which is the data needed for this second construction of K3 metrics.
Using topological string techniques, we compute BPS counting functions of 5d gauge theories which descend from 6d superconformal field theories upon circle compactification. Such theories are naturally organized in terms of nodes of Higgsing trees. We demonstrate that the specialization of the partition function as we move from the crown to the root of a tree is determined by homomorphisms between rings of Weyl invariant Jacobi forms. Our computations are made feasible by the fact that symmetry enhancements of the gauge theory which are manifest on the massless spectrum are inherited by the en…
Motivated by the counting of BPS states in string theory with orientifolds, we study moduli spaces of self-dual representations of a quiver with contravariant involution. We develop Hall module techniques to compute the number of points over finite fields of moduli stacks of semistable self-dual representations. Wall-crossing formulas relating these counts for different choices of stability parameters recover the wall-crossing of orientifold BPS/Donaldson-Thomas invariants predicted in the physics literature. In finite type examples the wall-crossing formulas can be reformulated in terms of id…
The number of BPS bound states of D-branes on a Calabi-Yau manifold depends on two sets of data, the BPS charges and the stability conditions. For D0 and D2-branes bound to a single D6-brane wrapping a Calabi-Yau 3-fold X, both are naturally related to the Kahler moduli space M(X). We construct unitary one-matrix models which count such BPS states for a class of toric Calabi-Yau manifolds at infinite 't Hooft coupling. The matrix model for the BPS counting on X turns out to give the topological string partition function for another Calabi-Yau manifold Y, whose Kahler moduli space M(Y) contains…
We construct curve counting invariants for a Calabi-Yau threefold $Y$ equipped with a dominant birational morphism $π:Y \to X$. Our invariants generalize the stable pair invariants of Pandharipande and Thomas which occur for the case when $π:Y\to Y$ is the identity. Our main result is a PT/DT-type formula relating the partition function of our invariants to the Donaldson-Thomas partition function in the case when $Y$ is a crepant resolution of $X$, the coarse space of a Calabi-Yau orbifold $\mathcal{X}$ satisfying the hard Lefschetz condition. In this case, our partition function is equal to t…
We construct a statistical model of crystal melting to count BPS bound states of D0 and D2 branes on a single D6 brane wrapping an arbitrary toric Calabi-Yau threefold. The three-dimensional crystalline structure is determined by the quiver diagram and the brane tiling which characterize the low energy effective theory of D branes. The crystal is composed of atoms of different colors, each of which corresponds to a node of the quiver diagram, and the chemical bond is dictated by the arrows of the quiver diagram. BPS states are constructed by removing atoms from the crystal. This generalizes th…
We construct an algebraic variety by resolving singularities of a quintic Calabi-Yau threefold. The middle cohomology of the threefold is shown to contain a piece coming from a pair of elliptic surfaces. The resulting quotient is a two-dimensional Galois representation. By using the Lefschetz fixed-point theorem in étale cohomology and counting points on the variety over finite fields, this Galois representation is shown to be modular.
