---
title: Extended Quiver Varieties
url: https://www.emergentmind.com/topics/extended-quiver-variety
type: topic
---

# Extended Quiver Varieties

An extended quiver variety is a holomorphic symplectic or hyper-Kähler moduli space obtained by enlarging the standard Nakajima quiver-variety construction. In the literature, the term appears in several closely related senses: quiver varieties with multiplicities attached to vertices, deformation families \(\widetilde{\mathcal M}(\mathbf v,\mathbf w)\) obtained by allowing the complex moment map to take values in the center, marked quiver-like varieties produced by Legendre transforms, and bundle-valued globalizations on curves or Kähler manifolds. This suggests that “extended quiver variety” functions as an umbrella term for extensions of the Nakajima framework rather than a single universally fixed definition [1003.3633] [2606.23807] [2105.11499] [2412.05457].

## 1. Terminology and basic scope

The shared core of these constructions is a quotient of representation-theoretic data by a gauge group, controlled by real and/or complex moment maps and stability conditions. What varies is the form of the input data: vertex multiplicities, central deformation parameters, marked half-edges, or vector bundles over a base curve.

| Usage | Defining feature | Source |
|---|---|---|
| Quiver variety with multiplicities | Positive integers \(d_i\) attached to vertices | [1003.3633] |
| Extended Nakajima quiver variety \(\widetilde{\mathcal M}(\mathbf v,\mathbf w)\) | Stable quotient of \(\mu_{\mathbb C}^{-1}(Z)\) | [2606.23807] |
| Extended quiver-like variety | Marked quiver with partially Legendre-transformed half-edges | [2105.11499] |
| Bundle-valued/globalized extension | Quotient of doubled-quiver bundle data on \(X\) | [2412.05457] |

All of these generalizations retain the structural role of doubled quivers, Hamiltonian reduction, and symplectic geometry. In several cases they also preserve the links to Kac–Moody theory, integrable systems, and gauge theory.

## 2. Quiver varieties with multiplicities

A foundational extension was introduced by Yamakawa. One starts with a finite quiver \(Q=(I,\Omega,s,t)\) with no loops, a multiplicity vector
\[
d=(d_i)_{i\in I}\in \mathbb Z_{>0}^I,
\]
a nonzero dimension vector
\[
v=(v_i)_{i\in I}\in\mathbb Z_{\ge 0}^I\setminus\{0\},
\]
and parameters
\[
\lambda=(\lambda_i)_{i\in I}\in\bigoplus_{i\in I} z^{-d_i}\mathbb C[z]/\mathbb C[z],
\qquad
\lambda_i(z)=\sum_{k=1}^{d_i}\lambda_{i,k}z^{-k}.
\]
For complex vector spaces \(V_i\) of dimension \(v_i\), one sets
\[
R_{d_i}=\mathbb C[[z]]/z^{d_i}\mathbb C[[z]],\qquad
R^{d_i}=z^{-d_i}\mathbb C[[z]]/\mathbb C[z],
\]
and forms the cotangent bundle of the corresponding representation space built from
\[
\bigoplus_{h\in\Omega}\Hom\!\bigl(V_{s(h)}\otimes R_{d_{s(h)}},\,V_{t(h)}\otimes R_{d_{t(h)}}\bigr).
\]
The acting group is
\[
G_d(V)=\prod_{i\in I}\Aut_{R_{d_i}}\bigl(V_i\otimes R_{d_i}\bigr).
\]

This space carries a canonical holomorphic symplectic form
\[
\omega=\frac12\sum_{h\in H}\epsilon(h)\,\mathrm{Tr}\bigl(dB_h\wedge dB_{\bar h}\bigr),
\]
where \(H=\Omega\sqcup\bar\Omega\) is the double quiver and \(\epsilon(h)=+1\) on \(\Omega\), \(-1\) on \(\bar\Omega\). Its moment map
\[
\mu_d:\,{}_{Q,d}(V)\to \bigoplus_{i\in I}\End(V_i)\otimes R^{d_i}
\]
has components
\[
\mu_{d,i}(B)=\sum_{t(h)=i}\epsilon(h)\,[B_hB_{\bar h}]\bmod \mathbb C[[z]].
\]

Stability is defined by requiring that the only proper \(R_{d_i}\)-submodules of \(\bigoplus_i V_i\otimes R_{d_i}\) preserved by all \(B_h\) be zero. The quiver variety with multiplicities is then
\[
{}_{Q,d}(\lambda,v)=\mu_d^{-1}\!\bigl(-\lambda\,\mathrm{Id}_V\bigr)^{\mathrm{st}}/G_d(V).
\]
When all multiplicities satisfy \(d_i=1\), the construction reduces to the stable locus of Nakajima’s quiver variety \(\mathcal M_{\zeta}^{\mathrm{reg}}(v,0)\) with \(\zeta_i=\lambda_{i,1}\) [1003.3633].

This multiplicity formalism is significant because it inserts truncated local algebra data directly at the vertices. The resulting spaces are still holomorphic symplectic quotients, but they model more singular local behavior than ordinary linear quiver representations.

## 3. Symplectic reduction, reflection functors, and Kac–Moody symmetry

In the multiplicity setting, the quotient inherits a unique holomorphic symplectic form whenever the group action is free on the stable locus:
\[
\pi^*(\omega_{Q,d})=\omega\big|_{\mu_d^{-1}(-\lambda\mathrm{Id})^{s}}.
\]
This places the construction squarely inside complex symplectic reduction, even though the coefficient rings \(R_{d_i}\) differ from the classical case [1003.3633].

The same framework generalizes Nakajima’s reflection functors. If \(A=(a_{ij})\) denotes the adjacency matrix of the underlying graph and \(D=\mathrm{diag}(d_i)\), then
\[
C=2\,\mathrm{Id}-A\,D
\]
is a symmetrizable, possibly non-symmetric generalized Cartan matrix. One therefore obtains a Kac–Moody algebra \(\mathfrak g(C)\) with simple roots \(\alpha_i\). The corresponding simple reflections act on dimension vectors and parameters by
\[
s_i:\,v\mapsto v-\sum_j c_{ij}v_j\,\alpha_i,
\]
and
\[
r_i:\lambda_j(z)\mapsto
\begin{cases}
-\lambda_i(z), & j=i,\\[4pt]
\lambda_j(z)-c_{ij}z^{-1}\operatorname{res}\lambda_i(z), & j\neq i.
\end{cases}
\]
Whenever \(\lambda_{i,d_i}\neq 0\), Theorem 4.1 gives a natural symplectic isomorphism
\[
F_i:\,{}_{Q,d}(\lambda,v)\xrightarrow{\simeq}{}_{Q,d}\bigl(r_i(\lambda),s_i(v)\bigr).
\]
These maps satisfy \(F_i^2=\mathrm{Id}\), and the full Coxeter relations are stated conjecturally in the source [1003.3633].

A key conceptual point is that multiplicities lead naturally to Weyl groups of symmetrizable non-symmetric Kac–Moody algebras, not only the symmetric Cartan data familiar from ordinary Nakajima varieties. This enlarges the symmetry class of quiver-variety constructions without abandoning their reflection-functor mechanism.

## 4. Meromorphic connections and the Painlevé correspondence

Yamakawa’s construction identifies certain moduli spaces of meromorphic connections with quiver varieties with multiplicities. For a star-shaped quiver of length \(1\), with \(d_0=1\), \(d_i=k_i>0\), \(v_0=2\), and \(v_i=1\), one considers systems on the rank \(2\) trivial bundle over \(\mathbb P^1\):
\[
\frac{du}{dz}=\sum_{i=1}^n\sum_{j=1}^{k_i}\frac{A_{i,j}}{(z-t_i)^j}u,
\qquad
A_{i,j}\in\End(\mathbb C^2).
\]
After fixing coadjoint orbits \(O_i\subset \mathfrak g_{k_i}^*(\mathbb C^2)\) containing residue-free normal forms
\[
\Lambda_i(z)=\xi_i(z)\mathrm{Id}_1\oplus\eta_i(z)\mathrm{Id}_1,
\qquad
\xi_i\neq\eta_i,\quad \deg(\xi_i-\eta_i)=d_i,
\]
Proposition 6.1 gives a symplectic bijection
\[
{}_{Q,d}(\lambda,v)\cong
\Bigl\{A(z)\in O_1\times\cdots\times O_n \,\Bigm|\, \sum_i \operatorname{res}_{z=t_i}A(z)=0\Bigr\}/GL_2(\mathbb C),
\]
via
\[
\Phi(B)=-\,B_{\bar i}(z\,\mathrm{Id}-N_i)^{-1}B_i.
\]
Moreover, stability of \(B\) is equivalent to irreducibility of the connection [1003.3633].

The same paper derives a rank-\(2\) Painlevé classification from the dimension formula
\[
\dim = 2-(v,v)_C.
\]
In rank \(2\),
\[
\dim=2 \Longleftrightarrow \sum_{i=1}^n d_i=5.
\]
Up to permutation, the possible tuples are as follows.

| \((d_1,\dots,d_n)\) | Kac–Moody type |
|---|---|
| \((1,1,1,1)\) | \(D_4^{(1)}\) |
| \((2,1,1)\) | \(A_5^{(2)}\) |
| \((3,1)\) | \(D_4^{(3)}\) |
| \((2,2)\) | \(C_2^{(1)}\) |
| \((4)\) | \(A_2^{(2)}\) |

A normalization or “shifting trick” shows that these extended Dynkin types are symplectomorphic to the untwisted affine types
\[
D_4^{(1)},\;A_3^{(1)},\;A_2^{(1)},\;C_2^{(1)},\;A_1^{(1)},
\]
which are exactly Okamoto’s symmetry groups for \(P_{VI}\) through \(P_{II}\). In this sense, the quiver-with-multiplicities formalism reproduces the Painlevé II–VI symmetry classification, with a list of Dynkin diagrams that is “slightly different from (but equivalent to) Okamoto’s” [1003.3633].

## 5. Central deformations and chiralization of Nakajima varieties

A second major usage of “extended quiver variety” concerns central deformations of framed Nakajima varieties. For a finite quiver \(Q=(Q_0,Q_1)\) with gauge and framing dimension vectors
\[
\mathbf v=(v_i)_{i\in Q_0},\qquad \mathbf w=(w_i)_{i\in Q_0},
\]
one defines
\[
\mathrm{Rep}(v,w)=\bigoplus_{a:i\to j}\Hom(\mathbb C^{v_i},\mathbb C^{v_j})
\oplus
\bigoplus_{i\in Q_0}\Hom(\mathbb C^{w_i},\mathbb C^{v_i}),
\]
with cotangent coordinates \(x_a,y_a,I_i,J_i\). The group
\[
G=\prod_{i\in Q_0}GL(v_i)
\]
acts by change of basis on each \(\mathbb C^{v_i}\). The complex moment map is
\[
\mu_{\mathbb C}(x,y,I,J)=\sum_{a\in Q_1}[x_a,y_a]+\sum_{i\in Q_0}I_iJ_i,
\]
and if
\[
Z=\bigoplus_{i\in Q_0}\mathbb C\cdot \mathrm{Id}_{v_i}
\subset \bigoplus_i \End(\mathbb C^{v_i}),
\]
then the affine reductions are
\[
M^0(v,w)=\mu_{\mathbb C}^{-1}(0)\sslash G,
\qquad
\widetilde M^0(v,w)=\mu_{\mathbb C}^{-1}(Z)\sslash G,
\]
while the stable quotients are
\[
M(v,w)=\mu_{\mathbb C}^{-1}(0)^{st}\sslash G,
\qquad
\widetilde M(v,w)=\mu_{\mathbb C}^{-1}(Z)^{st}\sslash G.
\]
Under suitable numerical conditions on \((v,w)\), including \(w_i-(Cv)_i\ge 0\) and further Crawley–Boevey inequalities, both \(M(v,w)\) and \(\widetilde M(v,w)\) are smooth, of complex dimension
\[
\dim M(v,w)=\sum_i\Bigl[2v_iw_i-\sum_j v_i C_{ij}v_j\Bigr].
\]
Equivalently, \(\widetilde M(v,w)\to Z\) is the family of all Nakajima varieties deformed by \(z\in Z\) [2606.23807].

This deformation family admits a chiralization. Under flatness and rational singularity hypotheses, including property \((\widetilde P_1)\), the extended shell \(\widetilde\mu^{-1}(0)\) is reduced, irreducible, and has rational singularities, while all jet schemes \(J_n\widetilde\mu^{-1}(0)\) remain reduced and irreducible. These conditions imply vanishing of higher BRST cohomology in negative degree and injectivity of natural maps from classical functions on jets to global sections on \(J_n\widetilde M\). One then constructs a sheaf of \(\hbar\)-adic vertex superalgebras
\[
\mathscr D^{\mathrm{ch}}_{\widetilde M,\hbar}
\]
on \(\widetilde M(v,w)\), together with the global vertex algebra
\[
\mathsf D^{\mathrm{ch}}(\widetilde M(v,w))
=
\Gamma\bigl(\widetilde M(v,w),\mathscr D^{\mathrm{ch}}_{\widetilde M,\hbar}\bigr)_{\mathbb C^\times\text{-fin}}/(\hbar-1).
\]
A second vertex superalgebra,
\[
\mathcal V(v,w),
\]
is defined by BRST reduction of the tensor product of the \(βγbc\)-system and a Heisenberg VOA associated to \(Q\). Under stronger assumptions, there is a canonical injective VOA-homomorphism
\[
\mathcal V(v,w)\to \mathsf D^{\mathrm{ch}}(\widetilde M(v,w)).
\]
Physically, \(\mathcal V(v,w)\) is closely related to the boundary VOA of the \(H\)-twisted \(3\mathrm D\ \mathcal N=4\) quiver gauge theory with gauge and framing dimensions \(\mathbf v,\mathbf w\) [2606.23807].

## 6. Extended Dynkin singularities and hyper-Kähler cobordisms

A different but adjacent use of “extended” concerns quiver varieties over extended Dynkin quivers. Let \(Q\) have underlying unoriented graph of type \(\widetilde A\), \(\widetilde D\), or \(\widetilde E\), and let \(\delta\) be the unique minimal positive imaginary root spanning the radical of the symmetric form, so that
\[
(\delta,\delta)=0.
\]
For parameters \(\xi=(\xi_{\mathbb R},\xi_{\mathbb C})\) satisfying
\[
\xi_k\in D_\delta:=\{\zeta\in\mathbb R^I:\zeta\cdot\delta=0\},
\]
the unframed Nakajima variety
\[
M_\xi(Q,\delta)=\mu^{-1}(\xi)/G_v
\]
is nonempty, and for generic \(\xi\) it is smooth of dimension four [2208.09359].

When \(\zeta_{\mathbb R}=0\), one has the affine GIT identification
\[
M_{(0,\zeta_{\mathbb C})}(Q,\delta)\cong \mu_{\mathbb C}^{-1}(\zeta_{\mathbb C})\sslash G_v^{\mathbb C}.
\]
Its singularities are classified by the root-theoretic decomposition
\[
\Phi\cap \tau^\perp=\Phi_1\cup\cdots\cup\Phi_r,
\]
where \(\Phi\) is the ADE root system of the finite part and \(\tau=\Re\zeta_{\mathbb C},\Im\zeta_{\mathbb C}\in\mathbb R^I\). Each singular point \(x_i\) has a neighborhood analytically isomorphic to the Kleinian surface singularity
\[
B_\varepsilon(0)/\Gamma_i,
\]
with \(\Gamma_i\subset SU(2)\) the corresponding binary polyhedral group. Varying \(\zeta_{\mathbb R}\) yields hyper-Kähler resolutions
\[
M_{(\zeta_{\mathbb R},\zeta_{\mathbb C})}(Q,\delta)\to M_{(0,\zeta_{\mathbb C})}(Q,\delta),
\]
and suitable parameter choices produce a connected \(4\)-manifold with cylindrical ends modeled on
\[
(0,\infty)\times S^3/\Gamma_i.
\]
This gives explicit hyper-Kähler bordisms between \(S^3/\Gamma_0\) and the disjoint union \(\bigsqcup_{i=1}^r S^3/\Gamma_i\) [2208.09359].

These results do not define an “extended quiver variety” in the same sense as the central-deformation family \(\widetilde M(v,w)\), but they clarify how extended Dynkin input controls the singularity theory and asymptotic geometry of quiver-variety quotients.

## 7. Other extensions: Legendre-transformed quiver-like varieties and quiver bundles

Another generalization replaces Hamiltonian reduction by intersections of generalized Lagrangian subvarieties. For a finite quiver with vertices carrying Lie algebras \(\mathfrak g_v\cong \mathfrak{gl}_{n_v}(\mathbb C)\), each edge \(e\) is assigned a symplectic variety \(\mathcal X_e\) with moment maps to the adjacent Lie algebras. The quiver variety can then be realized as
\[
\Bigl(\bigcap_{e\in Q_1}\mathcal L_{W_e}\Bigr)\sslash \prod_v G_v
\subset
\prod_{v\in Q_0}T^*\mathfrak g_v\sslash \prod_v G_v,
\]
where \(\mathcal L_{W_e}\) is the generalized Lagrangian determined by the edge potential \(W_e\). If some half-edges are marked and replaced by one-sided Legendre transforms, the resulting marked quiver \(\widetilde Q\) defines
\[
\mathcal X_{\widetilde Q}
=
\Bigl(\bigcap_{e\in Q_1}\mathcal L_{W_e}^{(\ast\text{-decorated})}\Bigr)\sslash \prod_v G_v,
\]
called an extended quiver-like variety. With no marks one recovers the ordinary Nakajima–Cherkis bow variety, while marking all half-edges gives a different but isomorphic presentation. For \(M+N=2\), special cases produce \(T^*\mathrm{Gr}_k(\mathbb C^n)\) and three related vector bundles over \(\mathrm{Gr}_k(\mathbb C^n)\), together with super stable envelopes, super Tarasov–Varchenko weight functions, and geometric \(\check R\)-matrices matching the Yangian \(\check R\)-matrices of \(\mathfrak{gl}_{2|0}\), \(\mathfrak{gl}_{1|1}\), and \(\mathfrak{gl}_{0|2}\) [2105.11499].

A further extension globalizes the construction to bundle-valued data on a compact Kähler manifold \(X\), especially a Riemann surface. A Nakajima bundle representation of the doubled quiver \(\overline Q\) assigns to each vertex \(i\) a Hermitian vector bundle \((E_i,H_i)\), a unitary connection \(A_i\), and a Higgs field \(\phi_i\in\Omega^{1,0}(X,\End(E_i))\), and to each arrow \(a:i\to j\) a section
\[
x_a\in H^0(X,\Hom(E_i,E_j))
\]
and a cotangent section
\[
y_a\in \Omega^{1,0}(X,\Hom(E_j,E_i)).
\]
The real and complex moment maps are
\[
\mu_{\mathbb R,i}
=
\sqrt{-1}\Lambda F_{A_i}+[\phi_i,\phi_i^*]
+\sum_{h(a)=i}(x_ax_a^*-y_a^*y_a)
+\sum_{t(a)=i}(x_a^*x_a-y_ay_a^*),
\]
\[
\mu_{\mathbb C,i}
=
\bar\partial_{A_i}\phi_i
+\sum_{h(a)=i}x_ay_a
-\sum_{t(a)=i}y_ax_a.
\]
Fixing central levels \(\zeta=(\zeta_{\mathbb R},\zeta_{\mathbb C})\), the extended quiver variety is
\[
M_{\overline Q}^{r,d}(\zeta)
=
\{(A,\phi,x,y)\mid \mu_{\mathbb R}=\zeta_{\mathbb R},\ \mu_{\mathbb C}=\zeta_{\mathbb C}\}\sslash G.
\]
When \(X\) is a point, this reduces to the usual Nakajima quiver variety; when \(Q\) is trivial, it recovers the moduli of Higgs bundles. The corresponding Hitchin–Kobayashi theorem identifies polystability with solvability of the moment-map equations, and the Zariski tangent space at a smooth point is computed by a hypercohomology complex, with expected dimension
\[
\dim_{\mathbb C}T_{[(A,\phi,x,y)]}M_{\overline Q}^{r,d}
=
\sum_{i\in V}\bigl(2r_i^2(g-1)+2r_id_i\bigr)
-
\sum_{a:i\to j}2r_ir_j(g-1).
\]
The one-vertex no-arrow case gives Hitchin’s equations, while a bundle-valued ADHM quiver yields a curve-valued version of the framed-instanton moduli space [2412.05457].

Taken together, these constructions show that extended quiver varieties form a broad research program rather than a single object. Their common role is to preserve the quiver-variety mechanism—moment maps, stability, and quotient geometry—while enlarging the class of moduli spaces to include irregular connections, non-symmetric Kac–Moody symmetries, central deformation families, superalgebraic geometrizations, and bundle-valued gauge-theoretic moduli.

Source: https://www.emergentmind.com/topics/extended-quiver-variety