137 pages, 34 figures. v3: matches with JHEP version; added two footnotes on page 18 and page 114 to clarify the issue of the sign choice in the bond factors
We find a new infinite class of infinite-dimensional algebras acting on BPS states for non-compact toric Calabi-Yau threefolds. In Type IIA superstring compactification on a toric Calabi-Yau threefold, the D-branes wrapping holomorphic cycles represent the BPS states, and the fixed points of the moduli spaces of BPS states are described by statistical configurations of crystal melting. Our algebras are "bootstrapped" from the molten crystal configurations, hence they act on the BPS states. We discuss the truncation of the algebra and its relation with D4-branes. We illustrate our results in many examples, with and without compact $4$-cycles.
The goal of this short article is to summarize some of the recent developments in the quiver Yangians and crystal meltings. This article is based on a lecture delivered by the author at International Congress on Mathematical Physics (ICMP), Geneva, 2021.
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…
The statistical model of crystal melting represents BPS configurations of D-branes on a toric Calabi-Yau three-fold. Recently it has been noticed that an infinite-dimensional algebra, the quiver Yangian, acts consistently on the crystal-melting configurations. We physically derive the algebra and its action on the BPS states, starting with the effective supersymmetric quiver quantum mechanics on the D-brane worldvolume. This leads to remarkable combinatorial identities involving equivariant integrations on the moduli space of the quantum mechanics, which can be checked by numerical computation…
In this note, we study possible $\mathcal{R}$-matrix constructions in the context of quiver Yangians and Yang-Baxter algebras. For generalized conifolds, we also discuss the relations between the quiver Yangians and some other Yangian algebras (and $\mathcal{W}$-algebras) in literature.
Constructing the Monopole Formula for $A$-Type Good Quivers via Quiver Yangians
Institute of Theoretical Physics, Chinese Academy of Sciences（中国科学院理论物理研究所）；School of Physical Sciences, University of Chinese Academy of Sciences（中国科学院大学物理科学学院）
The quiver Yangian, an infinite-dimensional algebra introduced recently in arXiv:2003.08909, is the algebra underlying BPS state counting problems for toric Calabi-Yau three-folds. We introduce trigonometric and elliptic analogues of quiver Yangians, which we call toroidal quiver algebras and elliptic quiver algebras, respectively. We construct the representations of the shifted toroidal and elliptic algebras in terms of the statistical model of crystal melting. We also derive the algebras and their representations from equivariant localization of three-dimensional $\mathcal{N}=2$ supersymmetr…
Recently, Li and Yamazaki proposed a new class of infinite-dimensional algebras, quiver Yangian, which generalizes the affine Yangian $\mathfrak{gl}_{1}$. The characteristic feature of the algebra is the action on BPS states for non-compact toric Calabi-Yau threefolds, which are in one-to-one correspondence with the crystal melting models. These algebras can be bootstrapped from the action on the crystals and have various truncations. In this paper, we propose a $q$-deformed version of the quiver Yangian, referred to as the quiver quantum toroidal algebra (QQTA). We examine some of the consist…
We study the Gauge/Bethe correspondence for two-dimensional $\mathcal{N}=(2,2)$ supersymmetric quiver gauge theories associated with toric Calabi-Yau three-folds, whose BPS algebras have recently been identified as the quiver Yangians. We start with the crystal representations of the quiver Yangian, which are placed at each site of the spin chain. We then construct integrable models by combining the single-site crystals into crystal chains by a coproduct of the algebra, which we determine by a combination of representation-theoretical and gauge-theoretical arguments. For non-chiral quivers, we…
We study macroscopically two dimensional $\mathcal{N}=(2,2)$ supersymmetric gauge theories constructed by compactifying the quiver gauge theories with eight supercharges on a product $\mathbb{T}^{d} \times \mathbb{R}^{2}_ε$ of a $d$-dimensional torus and a two dimensional cigar with $Ω$-deformation. We compute the universal part of the effective twisted superpotential. In doing so we establish the correspondence between the gauge theories, quantization of the moduli spaces of instantons on $\mathbb{R}^{2-d} \times \mathbb{T}^{2+d}$ and singular monopoles on $\mathbb{R}^{2-d} \times \mathbb{T}^…
We study the refined and unrefined crystal/BPS partition functions of D6-D2-D0 brane bound states for all toric Calabi-Yau threefolds without compact 4-cycles and some non-toric examples. They can be written as products of (generalized) MacMahon functions. We check our expressions and use them as vacuum characters to study the gluings. We then consider the wall crossings and discuss possible crystal descriptions for different chambers. We also express the partition functions in terms of plethystic exponentials. For $\mathbb{C}^3$ and tripled affine quivers, we find their connections to nilpote…
Quiver quantum mechanics describes the low energy dynamics of a system of wrapped D-branes. It captures several aspects of single and multicentered BPS black hole geometries in four-dimensional $\mathcal{N} = 2$ supergravity such as the presence of bound states and an exponential growth of microstates. The Coulomb branch of an Abelian three node quiver is obtained by integrating out the massive strings connecting the D-particles. It allows for a scaling regime corresponding to a deep AdS$_2$ throat on the gravity side. In this scaling regime, the Coulomb branch is shown to be an $SL(2,\mathbb{…
Pursuing the similarity between the Kontsevich--Soibelman construction of the cohomological Hall algebra of BPS states and Lusztig's construction of canonical bases for quantum enveloping algebras, and the similarity between the inetgrality conjecture for motivic Donaldson--Thomas invariants and the PBW theorem for quantum enveloping algebras, we build a coproduct on the cohomological Hall algebra associated to a quiver with potential. We also prove a cohomological dimensional reduction theorem, further linking a special class of cohomological Hall algebras with Yangians, and explaining how to…
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 study the spectrum of BPS D-branes on a Calabi-Yau manifold using the 0+1 dimensional quiver gauge theory that describes the dynamics of the branes at low energies. The results of Kontsevich and Soibelman predict how the degeneracies change. We argue that Seiberg dualities of the quiver gauge theories, which change the basis of BPS states, correspond to crossing the "walls of the second kind." There is a large class of examples, including local del Pezzo surfaces, where the BPS degeneracies of quivers corresponding to one D6 brane bound to arbitrary numbers of D4, D2 and D0 branes are count…
This paper concerns the cohomological aspects of Donaldson-Thomas theory for Jacobi algebras and the associated cohomological Hall algebra, introduced by Kontsevich and Soibelman. We prove the Hodge-theoretic categorification of the integrality conjecture and the wall crossing formula, and furthermore realise the isomorphism in both of these theorems as Poincaré-Birkhoff-Witt isomorphisms for the associated cohomological Hall algebra. We do this by defining a perverse filtration on the cohomological Hall algebra, a result of the "hidden properness" of the semisimplification map from the moduli…
These lecture notes cover a brief introduction into some of the algebro-geometric techniques used in the construction of BPS algebras. The first section introduces the derived category of coherent sheaves as a useful model of branes in toric Calabi-Yau three-folds. This model allows a rather simple derivation of quiver quantum mechanics describing low-energy dynamics of various brane systems. Vacua of such quantum mechanics can be identified with the critical equivariant cohomology of the moduli space of quiver representations. These are often counted by various crystal configurations. Using c…
Cohomological Hall algebras of one-dimensional sheaves on surfaces and Yangians
Rutgers, The State University Of New Jersey（新泽西州立罗格斯大学）；The University of Tokyo（东京大学）；Simion Stoilow Institute of Mathematics（西蒙·斯托伊洛数学研究所）；Université de Paris（巴黎大学）
Recently, new classes of infinite-dimensional algebras, quiver Yangian (QY) and shifted QY, were introduced, and they act on BPS states for non-compact toric Calabi-Yau threefolds. In particular, shifted QY acts on general subcrystals of the original BPS crystal. A trigonometric deformation called quiver quantum toroidal algebra (QQTA) was also proposed and shown to act on the same BPS crystal. Unlike QY, QQTA has a formal Hopf superalgebra structure which is useful in deriving representations. In this paper, we define the shifted QQTA and study a class of their representations. We define 1d a…
In the context of 4D/2D dualities, SH$^c$ algebra, introduced by Schiffmann and Vasserot, provides a systematic method to analyse the instanton partition functions of $\mathcal{N}=2$ supersymmetric gauge theories. In this paper, we rewrite the SH$^c$ algebra in terms of three holomorphic fields $D_0(z)$, $D_{\pm1}(z)$ with which the algebra and its epresentations are simplified. The instanton partition functions for arbitrary $\mathcal{N}=2$ super Yang-Mills theories with $A_n$ and $A^{(1)}_n$ type quiver diagrams are compactly expressed as a product of four building blocks: Gaiotto state, dil…
It has recently been shown that the statistical mechanics of crystal melting maps to A-model topological string amplitudes on non-compact Calabi-Yau spaces. In this note we establish a one to one correspondence between two and three dimensional crystal melting configurations and certain BPS black holes given by branes wrapping collapsed cycles on the orbifolds C^2/Z_n and C^3/Z_n x Z_n in the large n limit. The ranks of gauge groups in the associated gauged quiver quantum mechanics determine the profiles of crystal melting configurations and the process of melting maps to flop transitions whic…
We construct a two-dimensional crystal melting model which reproduces the BPS index of D2-D0 states bound to a non-compact D4-brane on an arbitrary toric Calabi-Yau singularity. The crystalline structure depends on the toric divisor wrapped by the D4-brane. The molten crystals are in one-to-one correspondence with the torus fixed points of the moduli space of the quiver gauge theory on D-branes. The F- and D-term constraints of the gauge theory are regarded as a generalization of the ADHM constraints on instantons. We also show in several examples that our model is consistent with the wall-cro…
BPS sector in $\mathcal{N}=2$, four-dimensional toric quiver gauge theories has previously been studied using crystal melting model and dimer model. We introduce the Mahler measure associated to statistical dimer model to study large $N$ limit of these quiver gauge theories. In this limit, generating function of BPS states in a general toric quiver theory is studied and entropy, growth rate of BPS states and free energy of the quiver are obtained in terms of the Mahler measure. Moreover, a possible third-order phase transition in toric quivers is discussed. Explicit computations of profile fun…
In this work, we study quantum crystal melting in three space dimensions. Using an equivalent description in terms of dimers in a hexagonal lattice, we recast the crystal melting Hamiltonian as an occupancy problem in a Kagome lattice. The Hilbert space is spanned by states labeled by plane partitions and writing them as a product of interlaced integer partitions, we define a fermion-boson duality for plane partitions. Finally, based upon the latter result we conjecture that the growth operators for the quantum Hamiltonian can be represented in terms of the affine Yangian ${\cal Y}[\widehat{\m…
The BPS bound states of D4-D2-D0 branes on the non-compact divisors of Calabi-Yau threefolds and the instantons in the dual quiver gauge theories are previously studied using two-dimensional crystal melting model and dimer model. Using the tropical geometry associated with the toric quiver, we study the asymptotic of the quiver gauge theory to compute some of their thermodynamic observables and extract the phase structure. We obtain that the thermodynamic observables such as free energy, entropy and growth rate are explicitly obtained from the limit shape of the crystal model, the boundary of …
The BPS sector of $\mathcal{N}=2$, $4d$ toric quiver gauge theories, and its corresponding D6-D2-D0 branes on Calabi-Yau threefolds, have been previously studied using integrable lattice models such as the crystal melting model and the dimer model. The asymptotics of the BPS sector, in the large N limit, can be studied using the Mahler measure theory, \cite{Zah}. In this work, we consider the class of isoradial quivers and study their thermodynamical observables and phase structure. Building on our previous results, and using the relation between the Mahler measure and hyperbolic 3-manifolds, …
