On generalized category $\mathcal{O}$ for a quiver variety

TL;DR

This paper develops a method to relate generalized category  for quiver varieties to explicit algebras, enabling combinatorial descriptions, geometric constructions of bases, and insights into Koszul properties and dualities.

Contribution

It introduces a new approach connecting category  to finitely presented algebras, facilitating explicit combinatorial and geometric analysis of these categories for quiver varieties.

Findings

Describes combinatorial structure of category  for quiver varieties.

Provides geometric construction of canonical bases for representations.

Shows categories are Koszul and identifies their duals.

Abstract

In this paper, we give a method for relating the generalized category $\mathcal{O}$ defined by the author and collaborators to explicit finitely presented algebras, and apply this to quiver varieties. This allows us to describe combinatorially not just the structure of these category $\mathcal{O}$'s but also how certain interesting families of derived equivalences, the shuffling and twisting functors, act on them. In the case of Nakajima quiver varieties, the algebras that appear are weighted KLR algebras and their steadied quotients, defined by the author in earlier work. In particular, these give a geometric construction of canonical bases for simple representations, tensor products and Fock spaces. If the $\mathbb{C}^*$-action used to define the category $\mathcal{O}$ is a "tensor product action" in the sense of Nakajima, then we arrive at the unique categorifications of tensor products; in particular, we obtain a geometric description of the braid group actions used by the author in defining categorifications of Reshetikhin-Turaev invariants. Similarly, in affine type A, an arbitrary action results in the diagrammatic algebra equivalent to blocks of category $\mathcal{O}$ for cyclotomic Cherednik algebras. This approach also allows us to show that these categories are Koszul and understand their Koszul duals; in particular, we can show that categorifications of minuscule tensor products in types ADE are Koszul. In the affine case, this shows that our category $\mathcal{O}$'s are Koszul and their Koszul duals are given by category $\mathcal{O}$'s with rank-level dual dimension data, and that this duality switches shuffling and twisting functors.