Abstract:Naisse and Vaz defined an extension of KLR algebras to categorify Verma modules. We realise these algebras geometrically as convolution algebras in Borel-Moore homology. For this we introduce Grassmannian-Steinberg quiver flag varieties. They generalize Steinberg quiver flag varieties in a non-obvious way, reflecting the diagrammatics from the Naisse-Vaz construction. Using different kind of stratifications we provide geometric explanations of the rather mysterious algebraic and diagrammatic basis theorems. A geometric categorification of Verma modules was recently found in the special case of $\mathfrak{sl}_2$ by Rouquier. Rouquier's construction uses coherent sheaves on certain quasi-map spaces to flag varieties (zastavas), whereas our construction is implicitly based on perverse sheaves. Both should be seen as parts (on dual sides) of a general geometric framework for the Naisse-Vaz approach. We first treat the (substantially easier) $\mathfrak{sl}_2$ case in detail and construct as a byproduct a geometric dg-model of the nil-Hecke algebras. The extra difficulties we encounter in general require the use of more complicated Grassmannian-Steinberg quiver flag varieties. Their definition arises from combinatorially defined diagram varieties which we assign to each Naisse-Vaz basis diagram. Our explicit analysis here might shed some light on categories of coherent sheaves on more general zastava spaces studied by Feigin-Finkelberg-Kuznetsov-Mirković and Braverman, which we expect to occur in a generalization of Rouquier's construction away from $\mathfrak{sl}_2$.

Coherent Categorification of Quantum Loop Algebras: the SL(2) Case

Geometric categorifications of Verma modules: Grassmannian Quiver Hecke algebras

Categorification of quantum symmetric pairs I. the split case for $SL(2r+1)$

Categorification of quantum symmetric pairs I

An introduction to diagrammatic algebra and categorified quantum sl(2)

Solution of a Problem in Monoidal Categorification by Additive Categorification

Module categories of the generic Virasoro VOA and quantum groups

The Category of Coherent Sheaves over a Weighted Projective Line and Loop Algebras

Geometric realisations of the unipotent enveloping algebra of a quiver

Derived categories of Quot schemes on smooth curves and tautological bundles

Monoidal categorification and quantum affine algebras II

Categorification of integrable representations of quantum groups

A braided monoidal $(\infty,2)$-category of Soergel bimodules

Coherent sheaves and quantum Coulomb branches II: quiver gauge theories and knot homology

Categorical Quantum Groups and Braided Monoidal 2-Categories

Knot Categorification from Mirror Symmetry, Part I: Coherent Sheaves

BPS algebras and generalised Kac-Moody algebras from 2-Calabi-Yau categories

Current algebras and categorified quantum groups

McKay correspondence, cohomological Hall algebras and categorification