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$.

The Category of reduced imaginary Verma modules

REALIZATIONS OF A<sub>1</sub><SUP>(1)</SUP> -MODULES IN CATEGORY (O)over-tilde

Φ-Imaginary Verma Modules and Their Generalizations for the Toroidal Lie Algebras

Realizations of 𝐴₁⁽¹⁾-modules in Category ̃𝒪

A generalisation of the category $\mathcal{O}$ of Bernstein-Bernstein-Gelfand

Category $\mathcal{O}$ for truncated current Lie algebras

Some Properties of Generalized Reduced Verma Modules over ℤ-graded Modular Lie Superalgebras

Semisimplicity of module categories of certain affine vertex operator superalgebras

Category $\mathcal O$ for the Virasoro algebra: Cohomology and Koszulity

Infinite rank module categories over finite dimensional $\mathfrak{sl}_2$-modules in Lie-algebraic context

The Category $\mathcal O$ for Lie Algebras of Vector Fields (I): Tilting Modules and Character Formulas

On modules for double affine Lie algebras

On the reducibility of scalar generalized Verma modules associated to two-step nilpotent parabolic subalgebras

Verma modules over the generalized Heisenberg-Virasoro algebra

Gelfand–Kirillov Dimension and Reducibility of Scalar Generalized Verma Modules for Classical Lie Algebras

On a Certain Category of $\Frak{gl}_{\infty}$-Modules

Geometric categorifications of Verma modules: Grassmannian Quiver Hecke algebras

Category O for the Schrödinger algebra

Lie-Cartan modules and cohomology

Semisimplicity of certain representation categories