---
title: 'Quiver Yangians: Algebra & Representations'
url: https://www.emergentmind.com/topics/quiver-yangians
type: topic
---

# Quiver Yangians: Algebra & Representations

Quiver Yangians are infinite-dimensional algebras attached to quiver data, often together with a superpotential or potential, that generalize Drinfeld’s Yangians and organize representation-theoretic structures arising in supersymmetric gauge theory, string theory, and algebraic geometry. In the toric Calabi–Yau threefold setting they are BPS algebras acting on BPS states realized by crystal melting configurations, while related geometric Yangian constructions arise from quiver varieties, stable envelopes, and cohomological Hall algebras [2003.08909, 2406.20074, 2312.15803]. The subject has expanded from toric quivers to arbitrary quivers with potentials, affine Dynkin and A-type Dynkin quivers, shifted and twisted variants, and trigonometric, toroidal, elliptic, and Coulomb-branch incarnations [2303.05521, 2304.00767, 2502.01323].

## 1. Foundational viewpoints and scope

The toric-Calabi–Yau formulation starts from a quiver \(Q=(Q_0,Q_1)\) with superpotential \(W\), where D-brane bound states furnish BPS states and torus-fixed points of their moduli spaces are described by molten crystal configurations. In this setting quiver Yangians are bootstrapped from their action on molten crystals, and the quiver path algebra with relations \(A_{(Q,W)}=\mathbb{C}Q/(\partial W)\), or equivalently the Jacobian algebra, supplies the combinatorial substrate of the representation theory [2003.08909, 2008.07006]. The same broad framework later extends to arbitrary quivers with potentials, where representation spaces are described by posets of finite-codimensional ideals, and to affine Dynkin or A-type Dynkin quivers, where the resulting algebras recover or model Yangians of Lie-theoretic type [2303.05521, 2304.00767, 2510.02121].

The literature surveyed here studies quiver Yangians in several overlapping settings.

| Setting | Input data | Typical output |
|---|---|---|
| Toric BPS/crystal | Quiver with superpotential from a toric Calabi–Yau threefold | Crystal modules and DT/BPS counting |
| Quiver-variety/COHA | Arbitrary quiver or preprojective algebra, Nakajima varieties | Maulik–Okounkov Yangian actions and positive halves |
| Dynkin/A-type | Quivers covering Dynkin diagrams | \(Y(\mathfrak{sl}_n)\) and rectangular modules |

This multiplicity of viewpoints is not an inconsistency but a structural feature of the subject. Some papers emphasize BPS algebras of D-brane systems, others the Yangians attached to quiver varieties or Coulomb branches, and others finite-dimensional Lie-theoretic realizations; the common thread is that quiver data controls both the algebraic generators and the representation spaces [1207.0529, 2312.15803, 2502.01323].

## 2. Algebraic data and defining structures

In the BPS and crystal-melting approach, quiver Yangians are defined from a quiver \((Q,W)\) by assigning to each node \(a\) current generators \(e^{(a)}(z)\), \(f^{(a)}(z)\), and \(\psi^{(a)}(z)\). The quiver arrows carry equivariant weights \(h_I\), constrained by loop conditions coming from the superpotential and by vertex conditions; in toric Calabi–Yau threefolds this typically leaves two independent parameters [2003.08909, 2108.10286]. The defining quadratic relations are encoded by a bond factor determined by the oriented edge content of the quiver,
\[
\varphi^{a\Rightarrow b}(u)=\pm\frac{\prod_{I\in\{b\to a\}}(u+h_I)}{\prod_{I\in\{a\to b\}}(u-h_I)},
\]
together with OPE-type relations between \(\psi\), \(e\), and \(f\), and a graded commutator \([e^{(a)}(z),f^{(b)}(w)\}\) proportional to a difference quotient of Cartan currents [2203.14314, 2106.01230].

Parity enters through the quiver itself. In concise expositions of the toric theory, the generators \(e^{(a)}\) and \(f^{(a)}\) are bosonic or fermionic according to the presence or absence of loops at the corresponding node, while \(\psi^{(a)}\) is always bosonic [2203.14314]. In the affine Dynkin generalization the algebra is presented in modes \(\psi_n^{(a)}\), \(e_n^{(a)}\), \(f_n^{(a)}\), and the relations encode adjacency, orientation, and symmetric sums of edge weights \(\sigma_k^{a\to b}\). That setting also admits two formulations of Serre relations: one by nested commutators and one tied to cycles in the quiver and the superpotential [2304.00767].

Several papers emphasize that these algebras often admit unexpectedly economical presentations. For affine Dynkin quivers, including super cases, the quiver Yangians are finitely presented algebras: all higher modes can be recursively generated from zero and first modes, yielding a minimalistic presentation and an explicit coproduct structure [2304.00767]. For generalized conifolds, an explicit coproduct can be constructed by methods modeled on Guay–Nakajima–Wendlandt, and this coproduct is compatible with the defining relations and with the superalgebra structure [2208.13395].

## 3. Crystal representations and algorithmic constructions

Crystal representations are the most characteristic modules in the BPS formulation. They originate from molten crystal models for Donaldson–Thomas invariants, and the fixed points of the relevant moduli spaces are labeled by crystal configurations or, in arbitrary-quiver generalizations, by finite-codimensional ideals in the Jacobian algebra [2406.20074, 2303.05521]. In the toric case, the crystal basis states are molten configurations obtained from a canonical crystal by adding or removing admissible atoms according to a melting rule.

A general crystal representation is described by addable and removable atoms of each color. The raising and lowering currents act by
\[
e^{(a)}(z)|\Lambda\rangle
=
\sum_{\Box_a\in \Lambda^+}
\frac{\mathbf{E}_{\Lambda,\Lambda+\Box_a}}{z-\phi_{\Box_a}}
|\Lambda+\Box_a\rangle,
\]
with a similar formula for \(f^{(a)}(z)\), while \(\psi^{(a)}(z)\) acts diagonally through a charge function built from the bond factors and the atom weights [2406.20074, 2203.14314]. In localization-based derivations the matrix element between neighboring crystals is a ratio of Euler classes,
\[
\mathbf{E}_{\Lambda,\Lambda+\Box}
=
\frac{\mathrm{Euler}_\Lambda}{\mathrm{Euler}_{\Lambda,\Lambda+\Box}},
\]
and likewise for \(\mathbf{F}\). The tangent spaces to fixed points and to incidence loci between neighboring crystals therefore control the representation theory [2406.20074, 2008.07006].

A detailed algorithmic treatment makes this representation theory computationally explicit. One starts from an initial atom, recursively enumerates all admissible vacancies, checks the \(F\)-term or melting-rule consistency, and removes duplicates by canonical forms. Crystals are encoded as arrays of 4d-vectors, and all subsequent steps—tangent-space computation, equivariant weights, Euler classes, and matrix elements—reduce to combinatorics and linear algebra. The note devoted to algorithms stresses that the sole pre-requisite for implementation is linear algebra, that the procedure can be taught to symbolic calculation systems, and that the crystal-extension step is parallelizable [2406.20074].

The standard examples already display the range of the theory. For \(\mathsf{Y}(\mathfrak{sl}_2)\) one recovers spin representations whose states are linear chains or hook-shaped Young diagrams. For \(\mathsf{Y}(\widehat{\mathfrak{gl}}_1)\) the basis is the set of ordinary Young diagrams, with generator coefficients given by hook-length formulas and Cartan eigenvalues expressed as products over boxes. For \(\mathsf{Y}(\widehat{\mathfrak{gl}}_{1|1})\) the basis becomes a space of super-partitions or super-Young diagrams, and the polynomial realization involves supercommuting variables and super-Schur polynomials [2406.20074].

Shifted quiver Yangians enlarge this picture by allowing ground-state charge functions determined by subcrystals rather than only by the canonical vacuum crystal. In that setting starters, pausers, and stoppers encode boundary conditions, and different subcrystals realize open BPS counting, non-compact D4-branes, and wall-crossing phenomena as different representations of the same shifted algebra [2106.01230].

## 4. Geometric realizations through quiver varieties, Hall algebras, and Coulomb branches

A second major strand constructs Yangians from quiver varieties. In Nakajima’s framework the Borel–Moore homology of the convolution space
\[
Z=\mathfrak{M}(\mathbf{v},\mathbf{w})\times_{\mathfrak{M}_0(\mathbf{v},\mathbf{w})}\mathfrak{M}(\mathbf{v},\mathbf{w})
\]
forms a convolution algebra, and a family of homomorphisms
\[
\Delta_c(\bullet)=c^{-1}*\bullet*c
\]
acts as a kind of coproduct on the Yangian associated with a symmetric Kac–Moody Lie algebra. The construction is analyzed by perverse sheaves, and coassociativity is governed by compatibility conditions on the classes \(c\) that play the role later associated with stable envelopes [1207.0529].

This geometry interfaces directly with cohomological Hall algebras. An earlier program formulated a cohomological Hall algebra \(Y\) from a Lagrangian substack of the moduli stack of representations of the preprojective algebra of an arbitrary quiver, conjectured that \(Y\) becomes isomorphic after scalar extension to the Maulik–Okounkov Yangian, and constructed an embedding of \(Y\) into the Yangian intertwining their actions on quiver-variety cohomology [1705.07491]. A later theorem sharpens this relationship by constructing an isomorphism between the preprojective cohomological Hall algebra of an arbitrary quiver and the positive half of the corresponding Maulik–Okounkov Yangian, again intertwining the respective actions on the cohomology of Nakajima quiver varieties; this same identification proves Okounkov’s conjecture relating the character of the Maulik–Okounkov Lie algebra to Kac polynomials [2312.15803].

Recent work extends these ideas to the critical setting. For symmetric quivers with potential, shifted Yangians act on critical cohomologies of antidominantly framed quiver varieties via \(R\)-matrices built from critical stable envelopes. In that framework a Reshetikhin-type Yangian arising from stable envelopes is related to a Drinfeld-type Yangian arising from critical cohomological Hall algebras, and quantum multiplication by divisors is expressed in terms of Casimir elements of the associated Lie superalgebras [2601.01518].

A gauge-theoretic realization appears on the Coulomb-branch side. For a 3D \(\mathcal{N}=4\) quiver gauge theory with unitary gauge group, the quantum Coulomb branch algebra in the \(\Omega\)-background is conjectured to be the truncated shifted quiver Yangian \(Y(\widehat{Q},\widehat{W})\) of the triple quiver with canonical potential. This conjecture is checked explicitly for general tree-type quivers by studying the action of monopoles on \(1/2\)-BPS vortex configurations, and the resulting vortex Hilbert spaces furnish representations in which all charge functions have only simple poles [2502.01323].

## 5. Dualities, mutations, and chamber dependence

Duality is one of the defining structural themes of quiver Yangians. For generalized conifolds, quiver Yangians related by Seiberg duality are proved to be isomorphic, and the relevant algebra maps are modeled on odd reflections in the underlying Kac–Moody superalgebra [2208.13395]. In the affine Dynkin setting, odd reflections of affine Dynkin diagrams are likewise expected to correspond to Seiberg duality of quivers, and for quivers without two self-loop nodes the associated quiver Yangians are isomorphic under explicit transformations of generators; when non-isotropic odd nodes are present, additional quotienting may be required [2304.00767].

For \(A_n\)-type quivers a more systematic chamber picture is available. Weyl mutations act on ADHM-like solutions describing quiver varieties associated with D-branes on Calabi–Yau resolutions, and in the case \(\mathfrak{g}=\mathfrak{sl}_{n+1}\) they are interpreted as electro-magnetic Seiberg-like dualities. In this correspondence the FI parameters transform as roots, the quiver dimensions as weights, and the group of Weyl mutations is isomorphic to the Weyl group \(\mathsf{W}_{A_n}\cong S_{n+1}\). All stability chambers are related by Weyl group actions, and the BPS spectrum and the associated Yangian algebra are wall-crossing invariants, even though the fixed-point labels and combinatorial models change from chamber to chamber [2601.11736].

The existence of duality does not imply that the isomorphism is always elementary. A concrete illustration is the \(F_0\) quiver, which lies outside the generalized conifold class. There the explicit isomorphism between the quiver Yangians of the two Seiberg-dual phases uses square roots of operators bilinear in the fermionic fields of the node being dualized. The map for adjacent nodes therefore differs qualitatively from the quadratic maps seen in earlier non-chiral examples, and the paper identifies this square-root structure as a feature specific to the \(F_0\) case [2509.19288].

A common misconception is that chamber dependence merely permutes basis vectors without changing any calculational difficulty. The surveyed results suggest a more nuanced picture: the abstract algebra may remain invariant under wall crossing or mutation, yet the explicit realization of generators can become substantially more complicated, especially outside cyclic chambers or in chiral quivers [2601.11736, 2509.19288].

## 6. Special families and explicit representation models

A-type Dynkin quivers provide a direct bridge from quiver Yangians to finite-dimensional Yangians of Lie type. In that setting quivers associated to Dynkin diagrams of type \(A\) are used to construct Yangian algebras \(\mathsf{Y}(\mathfrak{sl}_n)\), and the quiver description yields an effective construction of representations with a single non-zero Dynkin label. These modules are built by equivariant integration over quiver moduli spaces, their states admit a crystal description, and the resulting crystal bases are identified with Gelfand–Tsetlin bases for \(\mathfrak{sl}_n\). The same work states that the resulting algebras are isomorphic to the alternative description given by the second Drinfeld realization [2510.02121].

Higher rectangular representations also appear in the chamber picture of \(A_n\)-type quivers. With suitable framing, fixed points in the cyclic chamber are identified with boxed \(3\)-dimensional Young diagrams or plane partitions inside an \((n+1-u)\times u\times h\) box, and these fixed points form a basis of irreducible highest- or lowest-weight representations of \(Y(\mathfrak{sl}_{n+1})\). The generating function counting such solutions is the Schur function for the rectangular Young diagram \(Y_{u,h}\), matching the character of the corresponding representation [2601.11736].

These finite-dimensional Lie-type examples coexist with the more familiar infinite-dimensional crystal modules. The same computational technology that yields Young-diagram and super-partition realizations for \(\mathsf{Y}(\widehat{\mathfrak{gl}}_1)\) and \(\mathsf{Y}(\widehat{\mathfrak{gl}}_{1|1})\) also adapts to quivers covering Dynkin diagrams, so the distinction between “BPS-crystal” and “Lie-theoretic” representations is less rigid than it may first appear [2406.20074, 2510.02121].

## 7. Generalizations: shifted, twisted, toroidal, elliptic, and doubled forms

The scope of quiver Yangians broadens substantially once one leaves the original toric-crystal regime. One direction extends the construction to arbitrary quivers with potentials and refines the character theory so that refined BPS indices, corresponding to motivic Donaldson–Thomas invariants, are incorporated. This framework is applied in particular to BPS quivers of 4D \(\mathcal{N}=2\) theories and to quivers arising from the knot-quiver correspondence, and it is designed to admit straightforward generalizations to trigonometric, elliptic, and generalized cohomology settings [2303.05521].

Another direction is the rational–trigonometric–elliptic hierarchy. Toroidal and elliptic quiver algebras generalize quiver Yangians by replacing the rational bond factor with trigonometric and elliptic analogues, with the characteristic odd function \(\zeta(z)\) taking the values \(z\), \(2\sinh(\beta z/2)\), or a theta function in the rational, trigonometric, and elliptic cases, respectively. These algebras retain crystal-melting representations, admit derivations from supersymmetric quiver gauge theories, and suggest further generalizations associated with higher-genus Riemann surfaces and generalized cohomology theories [2108.10286, 2304.00767].

The explicit \(q\)-deformation of the toric theory is the quiver quantum toroidal algebra. It is presented as a Hopf superalgebra with a formal super coproduct and an additional central charge \(C\). When \(C=1\), it admits a representation on three-dimensional crystals analogous to the Li–Yamazaki quiver Yangian representation; for \(C\neq 1\), the algebra supports more general modules not directly realized by crystal melting [2108.07104].

Twisted and truncated variants connect quiver Yangians to \(\mathcal{W}\)-algebras. For affine Dynkin quivers, twisted quiver Yangians are constructed from involutive automorphisms and behave as left coideals of the corresponding untwisted Yangians, while truncations of twisted or untwisted quiver Yangians are conjectured to give universal enveloping algebras of \(\mathcal{W}\)-algebras. For generalized conifolds this relation becomes explicit: the universal enveloping algebras of the relevant rectangular \(\mathcal{W}\)-algebras are truncations of the quiver Yangians, so truncated crystals become natural \(\mathcal{W}\)-modules [2304.00767, 2208.13395].

A more recent extension is the double quiver Yangian. Its motivation is that in more general BPS counting problems the full \(1\)-loop determinant contains information not encoded by crystal combinatorics alone. The double quiver Yangian introduces currents \(\widetilde{e}^{(a)}(z)\), \(\widetilde{f}^{(a)}(z)\), \(\widetilde{\psi}^{(a)}(z)\), together with an inadmissible-atom current \(\widetilde{\omega}^{(a)}(z)\), so that the representation records the full \(1\)-loop determinant rather than only the “half” determinant of ordinary quiver Yangians. In the four-supercharge regime it reduces to the familiar quiver Yangian, whereas for theories with two supercharges or for non-toric examples it yields a more elaborate algebraic structure [2509.16918].

Across these variants, a consistent pattern emerges: quiver Yangians are not a single rigid algebraic object but a family of closely related constructions attached to quiver data, each emphasizing a different aspect of the same nexus of BPS counting, quiver varieties, Hall algebras, and quantum groups. A plausible implication is that future work will continue to treat crystal combinatorics, stable-envelope geometry, and Coulomb-branch quantization not as competing descriptions, but as complementary realizations of a common quiver-controlled algebraic framework.

Source: https://www.emergentmind.com/topics/quiver-yangians