Affine Graded Nakajima Quiver Varieties

• Affine graded Nakajima quiver varieties are algebraic varieties associated with Dynkin quivers that incorporate graded filtrations and tensor product structures in a categorical setting.
• They are defined via a universal algebraic description using the singular Nakajima category and mesh relations from the repetition quiver.
• Their framework, including split filtrations and triangular matrix modules, bridges geometric representation theory with quantum affine algebras.

Affine graded Nakajima quiver varieties are a class of algebraic varieties associated with Dynkin quivers, equipped with an added grading that encodes not only the representation-theoretic data of the quiver, but also structures arising from filtrations, tensor products, and categorifications of representations of quantum affine algebras. They admit a universal algebraic description in terms of the singular Nakajima category 𝒮, which is constructed from the repetition quiver and mesh relations. Recent advances have extended the categorical framework to "n-fold affine graded tensor product varieties"—crucial for realizing tensor products of standard modules over quantum affine algebras—by introducing categories of split filtrations and their equivalence to module categories over triangular matrix categories. The resulting n-fold affine graded Nakajima quiver varieties encapsulate deep relationships between geometry, homological algebra, and categorical representation theory (Canesin, 14 Jan 2026).

1. Algebraic Definition and Categorical Framework

The categorical model for affine graded Nakajima quiver varieties begins with a finite acyclic Dynkin quiver $Q = (Q_0, Q_1)$ and a field $k$ (most often $k = \mathbb{C}$). The repetition quiver $ZQ$ is defined with vertices $(i,p)$ (for $i \in Q_0$, $p \in \mathbb{Z}$) and two classes of arrows: horizontal copies of original quiver arrows at each level $p$ and vertical arrows connecting consecutive levels. The path category $P_k(ZQ)$, with mesh ideal generated by "mesh relations" (sums over paths in certain lozenges) leads to the mesh category $R = P_k(ZQ)/\langle r_x\rangle$. All objects are non-frozen, so $R$ itself is the singular Nakajima category $\mathcal{S}$.

Modules over $\mathcal{S}$ with finite support (i.e., representations $M$ where $M(x) = k^{w(x)}$ for some finitely supported function $w:ZQ_0 \to \mathbb{N}$) form affine varieties $M_0(w)$ cut out by the mesh relations. Each such variety is isomorphic to Nakajima's graded quiver variety for specified dimension vector $w$. The arrows of $\mathcal{S}$ correspond to linear maps between components, and the mesh relations impose polynomial constraints among them (Canesin, 14 Jan 2026).

2. Homological and Triangulated Category Structure

The category $\mathcal{S}$ is weakly Gorenstein of dimension $1$. Its finitely generated Gorenstein-projective modules, $\operatorname{gpr}(\mathcal{S})$, constitute a Frobenius category, with projective-injectives identified as the projective $\mathcal{S}$-modules. The stable category $$\underline{\mathcal{S}} = \operatorname{gpr}(\mathcal{S})/(\text{projectives})$$ is canonically triangulated.

The syzygy functor $\Omega$ maps $\operatorname{mod}\mathcal{S}$ into $\underline{\mathcal{S}}$. Keller–Scherotzke proved a triangle equivalence $\underline{\mathcal{S}} \simeq D^b(kQ)$, identifying the triangulated stable Gorenstein projective category with the bounded derived category of the original quiver algebra. The stratification functor $\Phi: \operatorname{mod}\mathcal{S} \to D^b(kQ)$ sends module-theoretic data to objects classifying the geometric strata of the quiver variety (Canesin, 14 Jan 2026).

3. n-Fold Split Filtrations and Triangular Matrix Categories

To geometrically realize $n$-fold tensor products of standard modules over quantum affine algebras, the categorical theory generalizes to split filtrations. Given a $k$-category $A$ and a full subcategory $B$, the split filtration category $\operatorname{Filt}^n_B(A)$ consists of $A$-modules equipped with a filtration $0 \subset M_1 \subset \cdots \subset M_n = M$ and $B$-linear retractions $M_i \to M_{i-1}$.

This filtration category is equivalent to modules over an $n \times n$ lower-triangular matrix category $T$, where individual entries capture kernel constructions involving tensor powers of $A$ over $B$. Applying this to the singular Nakajima category yields a category $\mathcal{S}^{n\text{-filt}}$ whose module varieties parametrize points of $n$-fold tensor product graded Nakajima quiver varieties. There is a robust triangle equivalence $$\underline{\mathcal{S}^{n\text{-filt}}} \simeq D^b(k(A_n \otimes kQ))$$ and a corresponding generalized stratification functor $\Phi^n$ (Canesin, 14 Jan 2026).

4. Explicit Homological Properties and Derived Equivalences

Projective and injective $\mathcal{S}$-modules are described via explicit exact sequences exploiting the translation automorphism $\tau$ on $ZQ$. The category of Gorenstein-projective modules is generated by syzygies and their extensions. The triangle equivalence between the stable Gorenstein projective category and the derived category of the path algebra persists in the split filtration case, extending all syzygy and stratification machinery to $\mathcal{S}^{n\text{-filt}}$ and $D^b(k(A_n \otimes kQ))$.

In particular, for each $n \geq 1$, the stratification functor and stable category construction specialize to recover the classical Katz–Leclerc–Plamondon–Keller–Scherotzke theory for $n=1$ (Canesin, 14 Jan 2026).

5. Canonical Examples: Type A Quivers

For $Q = A_2$ ($1 \to 2$), the repetition quiver $ZQ$ forms an infinite grid; mesh relations make the mesh category equivalent to the infinite equioriented $A$-quiver modulo corresponding relations. The simple $\mathcal{S}$-modules $S_{(1,p)}$, $S_{(2,p)}$ parametrize the strata in the Nakajima variety. For $A_3$ ($1 \to 2 \to 3$), the structure is analogous, with mesh squares and corresponding Gorenstein-projective category explicitly describeable in terms of representable functors and their syzygies (Canesin, 14 Jan 2026).

6. Categorical and Geometric Significance

The affine graded Nakajima quiver varieties, together with their $n$-fold generalizations, furnish a categorical realization of geometric tensor products for modules over quantum affine algebras. The explicit description via singular Nakajima categories and split filtrations provides a direct bridge between geometric invariant theory, quiver representations, and modern triangulated-categorical approaches. The stratification functors, equivalences with derived categories, and the filtration-theoretic perspective enable the systematic study of tensor product phenomena, categorical symmetry, and homological mirror symmetry phenomena in the context of quiver varieties (Canesin, 14 Jan 2026).

This categorical framework also systematically underpins the structure of categories important in categorification programs, representation theory of Kac–Moody and quantum groups, and connections to noncommutative geometry.