Quiver Varieties with Framing

• Quiver varieties with framing are moduli spaces constructed from quivers augmented by additional flavor nodes, encoding boundary data and enriching their geometric structure.
• They employ hyperkähler and GIT quotients with stability conditions to model moduli of instantons, framed sheaves, and gauge theory defects.
• Extensions include orthosymplectic subtraction, cohomological Hall algebras, and mirror symmetry, offering new insights into enumerative geometry and quantum invariants.

A quiver variety with framing is a moduli space associated to a quiver whose vertices are augmented by framing nodes and arrows, encoding additional “flavour” or boundary data. Originating from the representation theory of Kac–Moody algebras and gauge theory, these varieties generalize moduli spaces of instantons, framed sheaves, and singularities. The classical foundational framework, due to Nakajima, realizes these as hyperkähler or GIT quotients of representation spaces of doubled quivers with specified stability conditions and dimension vectors. The addition of framing crucially alters both the geometric and algebraic properties, enriching the structure of symplectic singularities, cohomology, quantum invariants, and physical correspondences.

1. Structural Foundations of Framed Quiver Varieties

A framed quiver consists of a base quiver $Q = (Q_0, Q_1)$ and additional framing vertices (“flavour” nodes). In Nakajima’s paradigm, for each vertex $i \in Q_0$, one introduces a framing vertex $i'$ and arrows $i \to i'$ (and optionally $i' \to i$). The dimension vector $(v, w)$, with $v_i$ for “gauge” nodes and $w_i$ for framing nodes, specifies the isomorphism type of vector spaces ($V_i, W_i$) attached to these nodes.

Representations are specified by tuples of linear maps associated to arrows, with framing maps $I_i\colon W_i\to V_i$ and $i \in Q_0$0. The affine space of such representations is equipped with a natural holomorphic symplectic structure; symplectic (or hyperkähler) quotients by $i \in Q_0$1 yield the quiver varieties

$i \in Q_0$2

where $i \in Q_0$3 is the complex moment map, and $i \in Q_0$4 is a stability parameter ensuring good moduli behavior. The stability condition, generalizing King’s $i \in Q_0$5-stability, excludes destabilizing subrepresentations arising from improper subspaces intersecting the image of the framing.

The geometry of these spaces often reflects moduli interpretations: framed instanton bundles on surfaces (e.g., ADHM data for framed sheaves on $i \in Q_0$6), Hilbert schemes, or moduli of objects on stacky or singular surfaces (Bartocci et al., 2016, Gammelgaard, 2023).

2. Orthosymplectic Quiver Varieties with Framing and Quotient Subtraction

Recent developments extend framed quiver varieties to non-unitary gauge symmetry types, involving orthosymplectic (SO/Sp) gauge nodes labeled by Dynkin types (e.g., D for SO(2n), B for SO(2n+1), C for Sp(n)), and corresponding framed flavor nodes (Bennett et al., 25 Mar 2025). In this context, framed orthosymplectic quivers allow for a uniform diagrammatic method to gauge SO(n) or Sp(n) subgroups of a Coulomb-branch global symmetry in 3d $i \in Q_0$7 quiver gauge theories.

A central new technique is “orthosymplectic quotient quiver subtraction,” where a quotient quiver $i \in Q_0$8 (itself realized as a “magnetic quiver” for class $i \in Q_0$9 theories on cylinders with maximal or twisted punctures) is aligned and subtracted node-wise along a “long leg” in the target quiver $i'$0 of matching length. Subtraction rules depend on Dynkin types: D–B and B–D swaps (“gauge-algebra swaps”), and C–C subtraction for Sp sectors. Any underbalanced gauge nodes after subtraction require rebalancing by attaching appropriate framing (square nodes).

The procedure yields new magnetic quivers for hyperkähler quotients $i'$1, providing explicit hyperkähler and Hilbert-series descriptions for moduli previously requiring nonperturbative analysis. Framed and unframed subtraction are fundamentally different for SO/Sp: the framed case introduces external flavor squares, while unframed subtraction employs internal gauge nodes. These techniques systematically enlarge the known families of framed orthosymplectic quiver varieties and clarify mirror symmetry correspondences (Bennett et al., 25 Mar 2025).

3. Cohomological and Enumerative Structures

The cohomology and $i'$2-theory of framed quiver varieties encode rich algebraic structures. The equivariant cohomology $i'$3 forms a subalgebra of the framed cohomological Hall algebra (CoHA), with multiplication governed by pull–push correspondences and stable envelope maps (Botta, 2022). The stable envelope admits an explicit inductive (shuffle) formula that organizes the tautological classes and recovers crucial representation-theoretic and quantum group structures.

In quantum $i'$4-theory, vertex and descendant functions built from quasimaps to framed quiver varieties satisfy recurrence relations determined by quantum integrable systems (e.g., trigonometric/elliptic Ruijsenaars–Schneider), with large $i'$5 limits connecting $i'$6-type quiver varieties to the Hilbert scheme and colored Macdonald polynomials (Koroteev, 2018, Ayers et al., 2024). The K-theory of cyclic quiver varieties with framing can be described by wreath Macdonald polynomials and is acted upon by the quantum toroidal $i'$7 algebra.

Equivariant localization techniques provide explicit recursions and residue formulas for generating functions (partition functions, Euler class integrals), leading to explicit wall-crossing formulas for the change of integrals across stability chambers (Ohkawa, 2023).

4. Geometric, Sheaf-Theoretic, and Physical Realizations

Framed quiver varieties appear as fine moduli spaces of framed torsion-free sheaves on surfaces ($i'$8, Hirzebruch surfaces $i'$9), compactified or stacky Kleinian singularities, and as moduli of microlocal sheaves on singular curves (Bartocci et al., 2016, Bartocci et al., 2015, Gammelgaard, 2023, Bezrukavnikov et al., 2015). The construction often passes through monad or ADHM/Beilinson-type data, with the framing encoded via additional vertices and morphisms matching sheaf trivializations (“framings”) along divisors.

In the context of gauge theory and string theory (notably 3d/4d $i \to i'$0 SQFTs), framings encode defect data—line, surface, or divisor defects—leading to moduli spaces of BPS states, Donaldson–Thomas (DT) invariants, and their wall-crossing, with framing corresponding to coupling to external flavor symmetry or background (Cirafici, 2018, Cirafici, 2017).

Recent mirror symmetry perspectives establish equivalences between moduli of framed Lagrangian branes and framed Nakajima quiver varieties, with the (complex) moment map equations realizing the Maurer–Cartan obstruction equations for deformations of Lagrangian immersions (Hu et al., 2024). The formalism globalizes to quiver bundles over Riemann surfaces, incorporating stability à la Hitchin–Kobayashi and producing new families of framed quiver varieties with bundle-theoretic and analytic structures (Jeffrey et al., 2024).

5. Representation-Theoretic and Algebraic Aspects

At the representation-theoretic level, framed quiver varieties realize highest weight representations of Kac–Moody algebras, Fock spaces, and tensor products of Schur and Heisenberg algebras (Li, 2012). The perverse sheaf and convolution algebra frameworks capture Weyl group actions, Springer-type correspondences, and geometric Satake equivalences.

The construction of double framing, as in the admissible embedding formalism (Belmans et al., 2023), enables cohomological computations and Fourier–Mukai functors connecting derived categories of quiver modules and coherent sheaves on quiver moduli, with vector fields identified with Hochschild cohomology.

Translation quiver variety formalism offers a unified approach encompassing classical, framed, graded, and cyclic Nakajima quiver varieties, guaranteeing smoothness, purity, and Tate-type motivic classes, and providing effective methods for fixed point and wall-crossing analysis (Mozgovoy, 2019).

6. Explicit Examples and Classification Tables

A selection of explicit model cases and constructions:

Example / Class	Quiver / Framing Structure	Moduli Interpretation
Framed Jordan quiver	1 loop + 1 framing node	Hilbert scheme of points on $i \to i'$1
A-type with framing	Line quiver + attached frames	Moduli of parabolic sheaves, flag spaces
Orthosymplectic subtraction	SO/Sp gauge nodes, flavor squares	T*G///G hyperkähler quotients, nilpotent orbits
Hilbert scheme on $i \to i'$2	Special McKay quiver with framing	Resolution of cyclic quotient singularities
Moduli of microlocal sheaves	Curve singularities + frame points	Multiplicative framed quiver varieties
Quiver bundles (Nakajima)	Framed/doubled quiver, bundles on curves	Hitchin–Kobayashi moduli spaces

In all instances, the essential features are the augmentation of the quiver by framing vertices/arrows, the selection of stability parameters, the formulation via GIT/hyperkähler quotients, and the resulting moduli space’s role in geometric representation theory, gauge theory, and enumerative geometry (Bennett et al., 25 Mar 2025, Bartocci et al., 2016, Botta, 2022, Koroteev, 2018, Ayers et al., 2024, Hu et al., 2024, Ohkawa, 2023, Cirafici, 2018, Belmans et al., 2023, Jeffrey et al., 2024, Mozgovoy, 2019).

7. Extensions and New Directions

The theory of quiver varieties with framing continues to evolve along several axes: incorporation of orthosymplectic and exceptional gauge types, generalizations to higher structures (quiver stacks, bundle-valued representations), quantum and categorified enhancements (framed CoHA, elliptic Hall and quantum toroidal algebras), and mirror and symplectic duality (K-theoretic/cohomological self-duality and mirror symmetry). The construction of wall-crossing structures, explicit stratifications, and connections with moduli of sheaves and perverse/microlocal sheaf theory underpin much ongoing research. The systematic diagrammatic and algebraic framework provided by framed orthosymplectic subtraction and generalized quotient procedures is rapidly expanding the library of explicit magnetic quivers, with impacts on 3d/4d duality, Coulomb/Higgs moduli, and beyond (Bennett et al., 25 Mar 2025).