# The Jones quotients of the Temperley-Lieb algebras

## TL;DR

This paper studies the Jones quotients of Temperley-Lieb algebras at roots of unity, providing their dimensions, structure, and connections to known algebraic objects like Clifford algebras and Fibonacci numbers.

## Contribution

It introduces explicit descriptions and formulas for the dimensions and structure of Jones quotients of Temperley-Lieb algebras at roots of unity, including special cases linked to Clifford algebras and Fibonacci numbers.

## Key findings

- Dimensions of simple modules are explicitly computed.
- The algebra at |q^2|=4 is isomorphic to the even part of the Clifford algebra.
- At |q^2|=5, the algebra dimensions follow Fibonacci numbers.

## Abstract

When the parameter $q$ is a root of unity, the Temperley-Lieb algebra $TL_n(q)$ is non-semisimple for almost all $n$. Jones showed that there is a canonical symmetric bilinear form on $TL_n(q)$, whose radical $R_n(q)$ is generated by a certain idempotent $E_\ell\in TL_{\ell-1}(q)\subseteq TL_n(q)$, which is now referred to as the Jones-Wenzl idempotent, for which an explicit formula was subsequently given by Graham and Lehrer. In this work, we study the quotients $Q_n(\ell):=TL_n(q)/R_n(q)$, where $|q^2|=\ell$, which are precisely the algebras generated by Jones' projections. We give the dimensions of their simple modules, as well as $\dim(Q_n(\ell))$; en route we give generating functions and recursions for the dimensions of cell modules and associated combinatorics. When the order $|q^2|=4$, we obtain an isomorphism of $Q_n(\ell)$ with the even part of the Clifford algebra, well known to physicists through the Ising model. When $|q^2|=5$, we obtain a sequence of algebras whose dimensions are the odd-indexed Fibonacci numbers. The general case is described explicitly.