Quiver Varieties: Moduli & Representation

• Quiver varieties are algebraic moduli spaces constructed from quiver representations that encode rich symplectic and representation-theoretic structures.
• They are built using techniques like geometric invariant theory and moment maps, connecting the geometry of doubled quivers with Kac–Moody algebras and integrable systems.
• Generalizations such as multiplicative, graded, and quantized versions expand their applications to moduli of sheaves, mirror symmetry, and combinatorial enumerative problems.

Quiver varieties are a class of algebraic varieties constructed as moduli spaces of representations of quivers, intimately related to the geometry and representation theory of Kac–Moody algebras, moduli of sheaves, integrable systems, and gauge theory. In their most general form, quiver varieties organize a vast array of geometric and algebraic information—encoding representation-theoretic categories, symplectic and Poisson structures, and connections to combinatorics and topology—via constructions involving geometric invariant theory (GIT), symplectic reductions, and derived categories.

1. Foundational Construction of Quiver Varieties

Quiver varieties originate from a quiver $Q = (Q_0, Q_1)$ with a finite vertex set $Q_0$ and a set $Q_1$ of arrows. To each vertex $i \in Q_0$, one associates a finite-dimensional complex vector space $V_i$, and to each arrow $h : s(h) \to t(h)$, a linear map $B_h : V_{s(h)} \to V_{t(h)}$. To enhance the symplectic structure, the quiver is "doubled": for every $h \in Q_1$, an opposite arrow $\bar{h}$ is added.

The core moduli space for fixed dimension vectors is the affine variety

$$N(V) = \bigoplus_{h \in Q_1} \operatorname{Hom}(V_{s(h)}, V_{t(h)}),$$

which is enlarged, along with its dual, to $M(V) = N(V) \oplus N(V)^*$. The cotangent bundle $T^*N(V)$ admits a symplectic form, and the group $G_V = \prod_{i \in Q_0} GL(V_i)$ acts by base change, preserving this structure.

Nakajima's construction introduces a moment map

$$\mu : M(V) \to \bigoplus_{i \in Q_0} \operatorname{End}(V_i),$$

whose canonical form is

$$\mu_i(B) = \sum_{h, t(h)=i} \varepsilon(h) B_h B_{\bar{h}},$$

with $\varepsilon(h) = +1$ if $h$ is an original arrow, $-1$ otherwise. The (framed) quiver variety is then defined as a GIT quotient

$$\mathfrak{M}(V,W) = \mu^{-1}(0)^{\mathrm{st}} / G_V,$$

where "st" denotes a notion of (semi)stability, possibly involving extra "framing" spaces $W_i$ mapping into or out of the $V_i$.

A critical local property is that the tangent space to the quiver variety at a point $[B]$ is isomorphic to $\operatorname{Ext}^1_{\Pi(Q)}(B, B)$, where $\Pi(Q)$ is the preprojective algebra of $Q$ (Nakajima, 2016).

2. Variations: Multiplicities, Grading, and Generalizations

Several generalizations of the foundational construction have been developed to model additional geometric or algebraic structure.

2.1. Quiver Varieties with Multiplicities

In "Quiver Varieties with Multiplicities, Weyl Groups of Non-Symmetric Kac-Moody Algebras, and Painlevé Equations" (Yamakawa, 2010), a quiver with multiplicities consists of a pair $(Q, d)$, where $d = (d_i)_{i \in Q_0}$ assigns a positive integer multiplicity to each vertex. The representation space is "thickened" by replacing $V_i$ with $V_i \otimes R_{d_i}$, where $R_{d_i} = \mathbb{C}[z]/(z^{d_i})$. The corresponding moment map takes values in truncated "dual" spaces. The resulting moduli space,

$${}_{Q,d}(\lambda, v) = \mu_d^{-1}(-\lambda \cdot \operatorname{Id}_V)^s / G_d(V),$$

generalizes Nakajima varieties and may have a non-reductive group action. The geometry reflects symmetrizable, possibly non-symmetric, Kac-Moody root data, with generalized Cartan matrix

$C = 2I - A D,$

where $A$ is the adjacency matrix and $D$ is diagonal with entries $d_i$. This construction enables a direct geometric realization of moduli spaces for meromorphic connections and the Weyl group symmetries of Painlevé-type equations.

2.2. Multiplicative and Quantized Quiver Varieties

Multiplicity enters the "multiplicative" setting (see (Schedler et al., 2018, Bezrukavnikov et al., 2015)), where the preprojective relations are multiplicative rather than additive, and the moment map is group-valued. Representations of multiplicative preprojective algebras

$$\prod_{h \in Q_1}(1 + a_{h} b_{h}) \prod_{h \in Q_1}(1 + b_{h} a_{h})^{-1} = q_i$$

encode monodromy data for character varieties of surfaces ("crab-shaped" quivers), and their moduli spaces are quasi-Hamiltonian reductions, inheriting holomorphic symplectic structures. Quantized versions (Jordan, 2010) replace function algebras by $q$-deformations of algebras of differential operators, with quantum moment maps and flat deformations capturing noncommutative symplectic geometry.

2.3. Graded, Generalized, and Translation Quiver Varieties

Graded quiver varieties and their associated singular Nakajima categories $S$ (Keller et al., 2013), as well as generalized quiver varieties (Scherotzke, 2014), are constructed by interpreting moduli points as representations of finite-dimensional algebras, often governed by orbit categories of mesh (repetition) quivers or by passage to triangulated/projective categories. Translation quiver varieties (Mozgovoy, 2019) introduce additional symmetry (translation, semitranslation), broadening the class of quivers to include graded and cyclic cases while retaining motivic and cohomological purity.

3. Geometry and Symplectic Structure

Quiver varieties constructed as Hamiltonian reductions are naturally holomorphic symplectic spaces. In "Symplectic Resolutions of Quiver Varieties" (Bellamy et al., 2016), Nakajima varieties are shown to be symplectic singularities in the sense of Beauville, and a complete classification is given for the existence of symplectic resolutions. The existence hinges on the properties of the dimension vector $a$ and its canonical decomposition: an indecomposable ("primitive") $a$ or the exceptional "$(2,2)$-case" admits a resolution, but divisible and anisotropic $a$ in general do not. Étale-local structure is governed by slices isomorphic to smaller quiver varieties, and symplectic leaves coincide with representation type strata. The Namikawa Weyl group, controlling the birational geometry of possible symplectic resolutions, is computable in terms of codimension-two strata.

In the multiplicative and microlocal context (Bezrukavnikov et al., 2015, Schedler et al., 2018), symplectic geometry is constructed via group-valued moment maps and quasi-Hamiltonian (or pseudo-Hamiltonian) reduction, with moduli spaces characterized as symplectic singularities under suitable combinatorial conditions on dimension vectors and parameters.

4. Representation Theoretic and Homological Interpretation

Quiver varieties serve as a geometric model for highest weight representations of Kac–Moody algebras and quantum groups. Nakajima's approach assigns to lagrangian subvarieties $L(V,W)$ an integrable representation whose structure is realized via Borel–Moore homology (Nakajima, 2016). Generators $E_i, F_i, H_i$ of the corresponding Lie algebra act via explicit correspondences/convolution operators.

More categorically, stratification of (generalized) quiver varieties links directly to derived categories and triangulated categories (Keller et al., 2013, Scherotzke, 2014). For example, there is a bijection between strata of graded affine quiver varieties and isomorphism classes in the image of a functor to $\mathcal{D}^b(\operatorname{mod} kQ)$, with geometric degeneration matching degeneration order in the triangulated category.

Hall algebra and quantum Grothendieck ring constructions (Lu et al., 2019) demonstrate that the geometry of (generalized or symmetric) quiver varieties provides a natural home for the dual canonical bases and positivity phenomena appearing in the theory of quantum groups, including quantum symmetric pairs.

5. Applications: Moduli of Sheaves, Character Varieties, and Mirror Symmetry

Important moduli spaces—such as the moduli of framed torsion-free sheaves on stacky compactifications of Kleinian singularities (Gammelgaard, 2023)—are shown to be modeled by (framed) Nakajima quiver varieties. The McKay correspondence and techniques involving descent functors and stack-theoretic compactifications enable a dictionary between sheaf-theoretic data and quiver moduli.

Multiplicative quiver varieties provide a unifying framework for non-abelian Hodge moduli, such as character varieties of Riemann surfaces with punctures (Schedler et al., 2018). Crab- or star-shaped quivers capture the monodromy data of such moduli problems, and the symplectic singularity and resolution properties of these moduli spaces are decoded via combinatorial properties of the underlying quivers.

Quantum and classical cohomological aspects of quiver flag varieties, including explicit computational rules for products of Schur classes (rim-hook rules) and quantum cohomology via Abelian/non-Abelian correspondence and mirror symmetry, have been established (Gu et al., 2020).

6. Symmetries, Dualities, and Automorphisms

Diagram automorphisms and reflection functors extend the symmetry group actions on quiver varieties. In the presence of multiplicities, reflection functors induce explicit symplectomorphisms corresponding to simple reflections in Weyl groups for symmetrizable, potentially non-symmetric, Kac–Moody algebras (Yamakawa, 2010). Fixed-point subvarieties of Nakajima varieties under diagram automorphisms are unions of varieties associated to split-quotient quivers, elucidating the relation between type A and type D geometry and the isomorphism with Slodowy slices in Lie algebras (Henderson et al., 2013).

Further, quiver varieties provide a geometric context for the paper of Yangian and quantum symmetric pairs, including the explicit geometric construction of coproducts and tensor product multiplicities via convolution and perverse sheaves (Nakajima, 2012, Lu et al., 2019).

7. Combinatorics and Enumerative Applications

Quiver varieties have deep connections to enumerative geometry and combinatorics. In particular, they underpin combinatorial descriptions of root multiplicities for Kac–Moody algebras. For example, in rank 3 symmetric case, crystal-theoretic realization via quiver varieties leads to combinatorial upper bounds for multiplicities of imaginary root spaces using rational Dyck path models and local/global inequalities on string data (Chan et al., 6 Aug 2025). For Grassmannian-type quiver flag and Grassmannian quiver varieties, explicit formulas for Poincaré polynomials, Euler characteristics (e.g., median Genocchi numbers), and connections to Motzkin paths and ribbon tableau have been developed (Irelli et al., 2011).

---

In summary, quiver varieties comprise a vast and flexible class of moduli spaces equipped with symplectic and categorical structures, connecting algebraic geometry, representation theory, and mathematical physics. The general framework accommodates numerous variations—multiplicities, graded or multiplicative structures, symmetries and automorphisms—and is central in linking the geometry of moduli spaces to representation-theoretic, combinatorial, and categorical invariants.