Extended graphical calculus for categorified quantum sl(2)

Abstract

A categorification of the Beilinson-Lusztig-MacPherson form of the quantum sl(2) was constructed in the paper arXiv:0803.3652 by the second author. Here we enhance the graphical calculus introduced and developed in that paper to include two-morphisms between divided powers one-morphisms and their compositions. We obtain explicit diagrammatical formulas for the decomposition of products of divided powers one-morphisms as direct sums of indecomposable one-morphisms; the latter are in a bijection with the Lusztig canonical basis elements. These formulas have integral coefficients and imply that one of the main results of Lauda's paper---identification of the Grothendieck ring of his 2-category with the idempotented quantum sl(2)---also holds when the 2-category is defined over the ring of integers rather than over a field.

72 pages, LaTeX2e with xypic and pstricks macros

Cited by in corpus (18)

• Deformations of colored sl(N) link homologies via foams
• The sl_3 web algebra
• Trace decategorification of categorified quantum sl(2)
• Diagram categories for ${\text{U}}_q$-tilting modules at roots of unity
• Trace as an alternative decategorification functor
• Oddification of the cohomology of type A Springer varieties
• Categorified sl(N) invariants of colored rational tangles
• Skein Modules from Skew Howe Duality and Affine Extensions
• On the structure of cyclotomic nilHecke algebras
• p-DG cyclotomic nilHecke algebras
• A diagrammatic categorification of the affine q-Schur algebra S(n,n) for n > 2
• Braid group actions from categorical symmetric Howe duality on deformed Webster algebras
• p-DG cyclotomic nilHecke algebras II
• Curved Rickard complexes and link homologies
• Categorifying Hecke algebras at prime roots of unity, part I
• Not even Khovanov homology
• Categorification of the internal braid group action for quantum groups I: 2-functoriality
• A formula to evaluate type A webs and link polynomials