Nakajima quiver varieties

Nakajima quiver varieties
Name	Nakajima quiver varieties
Established	1990s
Founder	Hiraku Nakajima

Nakajima quiver varieties are a family of algebraic varieties introduced by Hiraku Nakajima in the 1990s that connect geometric representation theory, symplectic geometry, and algebraic geometry. They provide geometric realizations of representations of affine Lie algebras, quantum groups, and Hecke algebras, and link to moduli spaces studied in mathematical physics such as instanton moduli on ALE and Hilbert schemes on C^2. Nakajima quiver varieties have been influential across work by figures and institutions including George Lusztig, Victor Kac, Igor Frenkel, Alexander Beilinson, David Kazhdan, and research groups at Institute for Advanced Study, Kavli Institute for the Physics and Mathematics of the Universe, and Mathematical Sciences Research Institute.

Introduction

Nakajima quiver varieties arise from data of a finite quiver and two dimension vectors together with stability parameters. The construction generalizes moduli constructions such as framed instanton moduli on S^4 and moduli of torsion-free sheaves on P^2 and relates to classical objects studied by Atiyah–Drinfeld–Hitchin–Manin, Simon Donaldson, and Michael Atiyah. These varieties provide geometric incarnations of representation-theoretic structures discovered by Lusztig, Kac, Beilinson–Bernstein, and Kazhdan–Lusztig theory and have been applied in contexts explored by Edward Witten, Anton Kapustin, and Nikita Nekrasov.

Definitions and Constructions

Given a finite oriented graph (a quiver) with vertex set indexed by a finite set that appears in work of Gabriel, Nakajima’s construction takes dimension vectors v and w and forms representation spaces of the doubled quiver as in approaches used by Georges Reineke and Kraft–Procesi. One imposes moment map equations from the action of a product of general linear groups GL and takes symplectic quotients in the spirit of Marsden–Weinstein reduction and the hyper-Kähler quotients of Nigel Hitchin, Carlos Simpson, and Simon Donaldson. Stability conditions echo notions in David Mumford’s geometric invariant theory and moduli of framed sheaves developed by Le Potier and Friedrich Hirzebruch. Nakajima introduced perverse sheaf and homology correspondences to extract representation-theoretic data, following methods of Bernstein–Gelfand–Gelfand and Beilinson–Bernstein.

Examples and Special Cases

Important examples include varieties for Dynkin quivers of ADE type connected to the classification of Kac–Moody algebras by Victor Kac and the McKay correspondence of John McKay relating finite subgroups of SU(2) to ADE diagrams studied by Miles Reid. For the Jordan quiver one recovers Hilbert schemes of points on C^2 as in work by Nakajima and Grojnowski; for affine A-type one obtains moduli tied to instantons on ALE spaces investigated by Kronheimer–Nakajima. Quivers related to finite type BCFG appear in treatments by Lusztig and in categorification approaches linked to Khovanov and Rouquier.

Geometry and Symplectic Structure

Nakajima quiver varieties are typically smooth hyper-Kähler manifolds or singular symplectic varieties, depending on stability; this connects to foundational studies by Beauville on symplectic singularities and the Springer resolution of T.A. Springer. The varieties carry holomorphic symplectic forms analogous to those in Hitchin moduli problems and admit Poisson deformations studied in contexts related to Kontsevich’s deformation quantization and the work of Maxim Kontsevich and Dmitry Tamarkin. Stratifications and resolutions relate to results by Borho–MacPherson and to crepant resolutions in the minimal model program studied by Shigefumi Mori and Mark Gross.

Representation-Theoretic Connections

A central achievement is construction of highest-weight representations of Kac–Moody algebras and their quantum deformations via the cohomology and K-theory of these varieties, following Nakajima’s program that builds on work by Drinfeld and Jimbo on quantum groups. Convolution algebras of correspondences recover actions of Yangians and affine quantum groups studied by Vladimir Drinfeld, Masaki Kashiwara, and Hitoshi Murakami; connections to Hecke algebra actions and categorification were developed by Soergel, Chuang–Rouquier, and Stroppel. The geometry realizes crystal bases and canonical bases introduced by Kashiwara and Lusztig and interfaces with categorical representation theory as in the work of Ben Webster and Mikhail Khovanov.

Cohomology, K-theory, and Enumerative Invariants

Equivariant cohomology and equivariant K-theory of Nakajima quiver varieties produce rich algebraic structures, giving vertex operator constructions paralleling results by Frenkel–Kac and producing shuffle algebra and stable envelope formalisms explored by Maulik–Okounkov. These invariants link to partition functions and instanton counting in the Nekrasov program developed by Nekrasov and Losev and to quantum cohomology computations influenced by Givental and Ruan–Tian. Perverse sheaves, intersection cohomology, and elliptic cohomology treatments tie into frameworks studied by Beilinson–Bernstein–Deligne, Mikhail Kapranov, and Andrei Okounkov.

Applications and Related Developments

Applications span mathematical physics, geometric Langlands duality, and categorification. In gauge theory, quiver varieties model moduli of solutions considered by Seiberg–Witten and Witten, while in string theory they appear in D-brane constructions studied by Juan Maldacena and Cumrun Vafa. Relations to mirror symmetry, explored by Kontsevich and Strominger–Yau–Zaslow, and to cluster algebras introduced by Fomin–Zelevinsky have generated cross-disciplinary work. Recent developments include interactions with Coulomb branch constructions by Braverman–Finkelberg–Nakajima, shifted symplectic geometry as in work of Pantev–Toen–Vaquie–Vezzosi, and advances in quantum topology influenced by Witten and Reshetikhin–Turaev.

Category:Algebraic geometry Category:Representation theory Category:Symplectic geometry