Temperley-Lieb algebras at roots of unity, a fusion category and the Jones quotient

DOI10.4310/MRL.2019.V26.N1.A8MaRDI QIDQ2001004zbMATH OpenWikidataFDO

Authors Kenji Iohara, Gus I. Lehrer, R. B. Zhang

Publication date 1 July 2019

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1707.01196

zbMATH Keywords

Temperley-Lieb algebra

Mathematics Subject Classification ID

Quantum groups (quantized enveloping algebras) and related deformations (17B37) Lie algebras and Lie superalgebras (17B99) Representation theory of groups (20C99)

Abstract: When the parameter $q$ is a root of unity, the Temperley-Lieb algebra $T{L}_n(q)$ is non-semisimple for almost all $n$. In this work, using cellular methods, we give explicit generating functions for the dimensions of all the simple $T{L}_n(q)$-modules. Jones showed that if the order $|q^2|=ell$ there is a canonical symmetric bilinear form on $T{L}_n(q)$, whose radical $R_n(q)$ is generated by a certain idempotent $E_{e}llinT{L}_{ell-1}(q)subseteqT{L}_n(q)$, which is now referred to as the Jones-Wenzl idempotent, for which an explicit formula was subsequently given by Graham and Lehrer. Although the algebras $Q_n(ell):=T{L}_n(q)/R_n(q)$, which we refer to as the Jones algebras (or quotients), are not the largest semisimple quotients of the $T{L}_n(q)$, our results include dimension formulae for all the simple $Q_n(ell)$-modules. This work could therefore be thought of as generalising that of Jones et al. on the algebras $Q_n(ell)$. We also treat a fusion category $mathcal{C}_{mred}$ introduced by Reshitikhin, Turaev and Andersen, whose objects are the quantum $mathfrak{sl}_2$-tilting modules with non-zero quantum dimension, and which has an associative truncated tensor product (the fusion product). We show $Q_n(ell)$ is the endomorphism algebra of a certain module in $mathcal{C}_{mred}$ and use this fact to recover a dimension formula for $Q_n(ell)$. We also show how to construct a "stable limit" $K(Q_{i}nfty)$ of the corresponding fusion category of the $Q_n(ell)$, whose structure is determined by the fusion rule of $mathcal{C}_{mred}$, and observe a connection with a fusion category of affine $mathfrak{sl}_2$ and the Virosoro algebra.

Recommendations

• Simple modules for Temperley-Lieb algebras and related algebras
• (, p)-Jones-Wenzl idempotents
• Temperley-Lieb algebras.
• Standard modules, induction and the structure of the Temperley-Lieb algebra
• On representations of affine Temperley-Lieb algebras. II

Cited in

(9)

• The Temperley-Lieb algebra at roots of unity
• Simple modules for Temperley-Lieb algebras and related algebras
• Higher Jones algebras and their simple modules
• Realizing the braided Temperley-Lieb-Jones C*-tensor categories as Hilbert C*-modules
• Equivalence of a tangle category and a category of infinite dimensional \(\text{U}_q(\mathfrak{sl}_2)\)-modules
• The idempotents of the TL\(_n\)-module \(\otimes^n\mathbb C2\) in terms of elements of \(\mathrm{U}_q\mathfrak{sl}_2\)
• Limits of traces of Temperley-Lieb algebras
• Cellular subalgebras of the partition algebra
• Homological representations of braid groups at roots of unity and the space of conformal blocks

This page was built for publication: Temperley-Lieb algebras at roots of unity, a fusion category and the Jones quotient

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2001004)