Crystal Melting and Toric Calabi-Yau Manifolds

TL;DR

The paper constructs a crystal-melting statistical model that counts BPS bound states of D0 and D2 branes bound to a single D6 on arbitrary toric Calabi–Yau threefolds. This model is rooted in quiver quantum mechanics and brane tilings, where the crystal structure and melting rules are dictated by the path algebra $A$ and its F- and D-term constraints, encoded via $ heta$-stability and non-commutative Donaldson–Thomas theory. A one-to-one correspondence is established between molten crystal configurations and $ heta$-stable $A$-modules, thereby equating crystal melting configurations with BPS bound states and reproducing DT indices. The work also clarifies how the topological string partition function and crystal-melting counts relate through wall-crossing, offering a unified perspective on DT invariants, topological strings, and toric geometry with potential links to mirror symmetry and black-hole microstate physics.

Abstract

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 the earlier results on the BPS state counting to an arbitrary non-compact toric Calabi-Yau manifold. We point out that a proper understanding of the relation between the topological string theory and the crystal melting involves the wall crossing in the Donaldson-Thomas theory.

Figures (9)

• Figure 1: (a) The toric diagram for the Suspended Pinched Point singularity. (b) The configuration of D2 and NS5 branes after the T-duality on $\mathbb{T}^2$. The green exterior lines are periodically identified. The red lines representing NS5 branes separate the fundamental domain into several domains. The T-dual of D0 branes wrap the entire fundamental domain, and fractional D2 branes are suspended between the red lines. The white domains contain D2 branes only. In each shaded domain, there is an additional NS5 brane. There are two types of shades depending of the NS5 brane orientation. The white domains are connected by arrows through the vertices, and the directions of the arrows are determined by the orientation of the NS5 branes. (c) The quiver diagram obtained by replacing the white domains of (b) by the nodes.
• Figure 2: The correspondence between the brane configuration on $\mathbb{T}^2$ and the bipartite graph. The white (black) vertex of the bipartite graph corresponds to the region $I_+$ ($I_-$) in light (dark) shade. The edge of the bipartite graph corresponds to an intersection of $I_-$ and in $I_+$. From this construction, it automatically follows that the graph so obtained is bipartite.
• Figure 3: By choosing a different fundamental region of $\mathbb{T}^2$, we find a bipartite graph which is more commonly found in the literature.
• Figure 4: Representation of F-term constraints on the quiver diagram on $\mathbb{T}^2$. In this example, if we write by $X_{AB}$ the bifundamental corresponding to an arrow starting from vertex $A$ and ending at $B$ etc., then the superpotential \ref{['eq.W']} contains a term $W=-\textrm{tr}(X_{AB}X_{BC}X_{CA})+\textrm{tr}(X_{AB}X_{BD}X_{DE}X_{EA}),$ and the F-term condition for $X_{AB}$ (multiplied by $X_{AB}$) says that the product of bifundamentals fields along the triangle $ABC$ and that along the square $ABDE$ is the same.
• Figure 5: Starting from the universal cover $\tilde{Q}$ of quiver $Q$ shown on the left, we can construct a crystal on the right. Each atom carries a color corresponding to a node in $Q$, and they are connected by arrows in $\tilde{Q}_1$. The green arrows represent arrows on the surfaces of the crystal, whereas the red ones are not. In the case of the Suspended Pinched Point singularity, the atoms come with 3 colors (white, black and gray), corresponding to the 3 nodes of the original quiver diagram $Q$ on $\mathbb{T}^2$ shown in Figure \ref{['fig.SPPtiling']}.