## Data

• Title: Diagram categories for $$\textbf{U}_q$$-tilting modules at roots of unity
• Authors: Henning Haahr Andersen and Daniel Tubbenhauer
• Status: Transform. Groups 22 (2017), no. 1, 29-89. Last update: Thu, 31 Dec 2015 09:24:33 GMT
In this paper we give a diagrammatic category (inspired by Elias' dihedral cathedral) that is a diagrammatic presentation of the category of $$\textbf{U}_q(\mathfrak{sl}_2)$$-tilting modules $$\mathfrak{T}$$ for q being an l-th root of unity. Moreover, we, following an approach of Soergel and Stroppel, introduce a grading turning $$\mathfrak{T}$$ into a graded category $$\mathfrak{T}^{\mathrm{gr}}$$. This grading is a purely “root of unity” phenomena and might lead to new insights about the link, tangle and 3-manifold invariants deduced from $$\mathfrak{T}$$.
In addition, we also give a diagrammatic category for the (now graded) projective endofunctors $$p\textbf{Endo}(\mathfrak{T}^{\mathrm{gr}})$$, indicate how our results could generalize to $$\textbf{U}_q(\mathfrak{sl}_n)$$ and maybe other types and recall/collect some “well-known” facts to give a reasonably self-contained exposition.
Khovanov and Lauda have categorified $$\textbf{U}_v(\mathfrak{sl}_k)$$ (for an indeterminate v). Their approach was to use diagrammatic categorification: They defined a certain 2-category $$\mathcal U(\mathfrak{sl}_k)$$ consisting of a certain type of so-called string diagrams whose (split) Grothendieck group $$K_0^{\oplus}(\mathcal U(\mathfrak{sl}_k))$$ (roughly) gives the quantum group back. One of their main observations was that the E's and F's of the quantum group behave like biadjoint(!) induction and restriction functors on certain categories. It is “folklore knowledge” that biadjoint functors have a “built-in topology” since, roughly, biadjointness means that we can straighten out diagrams.
Thus, since certain functors on $$\mathfrak{T}$$ (for the experts: the translation functors) have this biadjoint property, it was only natural to look for a diagram category that describes the tilting story. That is in fact what we do in the paper. Below there is such a diagram: Some manipulations are combinatorial and some are topological (and, at least in the opinion of the authors, way simpler that to work with fancy intertwiners and higher stuff connected to them).