arXiv++ Combinatorics

We study the counting problem of BPS D-branes wrapping holomorphic cycles of a general toric Calabi-Yau manifold. We evaluate the Jeffrey-Kirwan residues for the flavoured Witten index for the supersymmetric quiver quantum mechanics on the worldvolume of the D-branes, and find that BPS degeneracies are described by a statistical mechanical model of crystal melting. For Calabi-Yau threefolds, we reproduce the crystal melting models long known in the literature. For Calabi-Yau fourfolds, however, we find that the crystal does not contain the full information for the BPS degeneracy and we need to explicitly evaluate non-trivial weights assigned to the crystal configurations. Our discussions treat Calabi-Yau threefolds and fourfolds on equal footing, and include discussions on elliptic and rational generalizations of the BPS states counting, connections to the mathematical definition of generalized Donaldson-Thomas invariants, examples of wall crossings, and of trialities in quiver gauge theories.

We provide a brane realization of 2d (0,2) Gadde-Gukov-Putrov triality in terms of brane brick models. These are Type IIA brane configurations that are T-dual to D1-branes over singular toric Calabi-Yau 4-folds. Triality translates into a local transformation of brane brick models, whose simplest representative is a cube move. We present explicit examples and construct their triality networks. We also argue that the classical mesonic moduli space of brane brick model theories, which corresponds to the probed Calabi-Yau 4-fold, is invariant under triality. Finally, we discuss triality in terms of phase boundaries, which play a central role in connecting Calabi-Yau 4-folds to brane brick models.

Brane tilings describe Lagrangians (vector multiplets, chiral multiplets, and the superpotential) of four dimensional $\mathcal{N}=1$ supersymmetric gauge theories. These theories, written in terms of a bipartite graph on a torus, correspond to worldvolume theories on $N$ D$3$-branes probing a toric Calabi-Yau threefold singularity. A pair of permutations compactly encapsulates the data necessary to specify a brane tiling. We show that geometric consistency for brane tilings, which ensures that the corresponding quantum field theories are well behaved, imposes constraints on the pair of permutations, restricting certain products constructed from the pair to have no one-cycles. Permutations without one-cycles are known as derangements. We illustrate this formulation of consistency with known brane tilings. Counting formulas for consistent brane tilings with an arbitrary number of chiral bifundamental fields are written down in terms of delta functions over symmetric groups.

We introduce brane brick models, a novel type of Type IIA brane configurations consisting of D4-branes ending on an NS5-brane. Brane brick models are T-dual to D1-branes over singular toric Calabi-Yau 4-folds. They fully encode the infinite class of 2d (generically) N=(0,2) gauge theories on the worldvolume of the D1-branes and streamline their connection to the probed geometries. For this purpose, we also introduce new combinatorial procedures for deriving the Calabi-Yau associated to a given gauge theory and vice versa.

We perform a detailed investigation of Bipartite Field Theories (BFTs), a general class of 4d N=1 gauge theories which are defined by bipartite graphs. This class of theories is considerably expanded by identifying a new way of assigning gauge symmetries to graphs. A new procedure is introduced in order to determine the toric Calabi-Yau moduli spaces of BFTs. For graphs on a disk, we show that the matroid polytope for the corresponding cell in the Grassmannian coincides with the toric diagram of the BFT moduli space. A systematic BFT prescription for determining graph reductions is presented. We illustrate our ideas in infinite classes of BFTs and introduce various operations for generating new theories from existing ones. Particular emphasis is given to theories associated to non-planar graphs.