A categorification of quantum \(\mathfrak{sl}(2)\) (Q607348)

The author categorifies Lusztig's algebra \(\dot{\mathbf U}\) -- a version of the quantized enveloping algebra \({\mathbf U}_q(\mathfrak{sl}_2)\). He constructs a 2-category \(\dot{\mathcal U}\) such that the split Grothendieck ring \(K_0(\dot{\mathcal U})\) is isomorphic to \(\dot{\mathbf U}\) and shows that the indecomposable 1-morphisms of \(\dot{\mathcal U}\) with no shift correspond to elements in Lusztig's canonical basis. The Homs between 1-morphisms are graded lifts of a semilinear form defined on \(\dot{\mathbf U}\). For each positive integer \(N\) a representation of \(\dot{\mathcal U}\) is constructed using iterated flag varieties that categorifies the irreducible \((N+1)\)-dimensional representation of \(\dot{\mathbf U}\).