The coherent KLR sheaf
We construct the KLR algebra (in type $A$) as affine sections of a coherent sheaf $\mathcal{E}$ on a product of projective spaces $\mathbb{P}^n$. It was shown by Elias-Qi that the Lie algebra $\mathfrak{sl}_2$ acts on such KLR algebras; our construction geometrically explains this action as stemming from the $\mathfrak{sl}_2$-action...