We introduce and explore the relation between quivers and 3-manifolds with the topology of the knot complement. This idea can be viewed as an adaptation of the knots-quivers correspondence to Gukov-Manolescu invariants of knot complements (also known as $F_K$ or $\hat{Z}$). Apart from assigning quivers to complements of $T^{(2,2p+1)}$ torus knots, we study the physical interpretation in terms of the BPS spectrum and general structure of 3d $\mathcal{N}=2$ theories associated to both sides of the correspondence. We also make a step towards categorification by proposing a $t$-deformation of all objects mentioned above.
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 show the vertex operator formalism for the quiver gauge theory partition function and the $qq$-character of highest-weight module on quiver, both associated with the integral over the quiver variety.
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 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…
We study the discrete flows generated by the symmetry group of the BPS quivers for Calabi-Yau geometries describing five dimensional superconformal quantum field theories on a circle. These flows naturally describe the BPS particle spectrum of such theories and at the same time generate bilinear equations of q-difference type which, in the rank one case, are q-Painlevé equations. The solutions of these equations are shown to be given by grand canonical topological string partition functions which we identify with $τ$-functions of the cluster algebra associated to the quiver. We exemplify our c…
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…
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…
Gauge origami is a generalized supersymmetric gauge theory defined on several intersecting space-time components. It provides a systematic way to consider generalizations of instantons. In this thesis, we explore the gauge origami system in $\mathbb{R}^{1,1}\times \mathbb{C}^{4}$ and its BPS/CFT correspondence. String theoretically, instantons of the gauge origami system arise from D0-branes bound to D$(2p)$-branes wrapping cycles in $\mathbb{C}^{4}$. The low energy theory of the D0-branes is understood as an $\mathcal{N}=2$ supersymmetric quiver quantum mechanical system and the Witten index …
We explore BPS quivers for D=5 theories, compactified on a circle and geometrically engineered over local Calabi-Yau 3-folds, for which many of known machineries leading to (refined) indices fail due to the fine-tuning of the superpotential. For Abelian quivers, the counting reduces to a geometric one, but the technically challenging $L^2$ cohomology proved to be essential for sensible BPS spectra. We offer a mathematical theorem to remedy the difficulty, but for non-Abelian quivers, the cohomology approach itself fails because the relevant wavefunctions are inherently gauge-theoretical. For t…
We study the Seberg-Witten geometry of 5d ${\cal N}=1$ pure Yang-Mills theories compactified on a circle. The concept of the holonomy saddle implies that there are multiple 4d limits of interacting Seiberg-Witten theories from a single 5d theory, and we explore this in the simplest case of pure $SU(N)$ theories. The compactification leads to $N$ copies of locally indistinguishable 4d pure $SU(N)$ Seiberg-Witten theories in the infrared, glued together in a manner dictated by the Chern-Simons level. We show how this picture naturally builds the 5d BPS quivers which agree with the D0 probe dynam…
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…
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 ma…
We study the Coulomb branches of the rank-one 4d $\mathcal{N} = 2$ quantum field theories, including the KK theories obtained from the circle compactification of the 5d $\mathcal{N}= 1$ $E_n$ Seiberg theories. The focus is set on the relation between their Seiberg-Witten geometries and rational elliptic surfaces, with more attention being given to the modular surfaces, which we completely classify using the classification of subgroups of the modular group ${\rm PSL}(2,\mathbb{Z})$. We derive closed-form expressions for the modular functions for all congruence and some of the non-congruence sub…
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…
Three dimensional supersymmetric field theories have large moduli spaces of circular Wilson loops preserving a fixed set of supercharges. We simplify previous constructions of such Wilson loops and amend and clarify their classification. For a generic quiver gauge theory we identify the moduli space as a quotient of $C^m$ for some $m$ by an appropriate symmetry group. These spaces are quiver varieties associated to a cover of the original quiver or a subquiver thereof. This moduli space is generically singular and at the singularities there are large degeneracies of operators which seem differ…
We prove that the generating functions for the one row/column colored HOMFLY-PT invariants of arborescent links are specializations of the generating functions of the motivic Donaldson-Thomas invariants of appropriate quivers that we naturally associate with these links. Our approach extends the previously established tangles-quivers correspondence for rational tangles to algebraic tangles by developing gluing formulas for HOMFLY-PT skein generating functions under Conway's tangle addition. As a consequence, we prove the conjectural links-quivers correspondence of Kucharski-Reineke-Stošić-Sulk…
