\(\mathrm{SL}_2\) tilting modules in the mixed case (Q6103427): Difference between revisions

Let \(\mathbf{k}\) be a field of characteristic \(\mathsf{p}\). Fix a nonzero invertible element \(q\in \mathbf{k}\). Let \(\mathbf{K}\supset \mathbf{k}\) be an algebraically closed field. Tilting modules for \(\mathrm{SL}_2\), the reductive group \(\mathrm{SL}_2(\mathbf{K})\) if \(q=\pm 1\) or Lusztig's divided power quantum group for \(\mathfrak{sl}_2\) if \(q\not= \pm 1\) are some of the most well-studied objects in representation theory. L. Sutton, D. Tubbenhauer, P. Wedrich, and J. Zhu use diagrammatic methods to study monoidal categories of tilting modules in the mixed case, i.e. for arbitrary \(\mathbf{k}\) and \(q\). More precisely, using the non-semisimple Temperley-Lieb calculus, the authors study the additive and monoidal structure of the category of tilting modules for \(\mathrm{SL}_2\) in the mixed case. This simultaneously generalizes the semisimple situation, the case of the complex quantum group at a root of unity, and the algebraic group case in positive characteristic. They describe character formulas and give a presentation of the category of tilting modules as an additive category via a quiver with relations. Turning to the monoidal structure, the authors describe fusion rules and obtain an explicit recursive description of the appropriate analog of Jones-Wenzl projectors. They also discuss certain theta values, the tensor ideals, mixed Verlinde quotients and the nondegeneracy of the braiding.