Temperley–Lieb algebra

Temperley–Lieb algebra
Name	Temperley–Lieb algebra
Caption	Diagrammatic element of the Temperley–Lieb algebra
Introduced	1970
Founders	Temperley, Lieb
Fields	Mathematics, Mathematical physics, Statistical mechanics

Temperley–Lieb algebra The Temperley–Lieb algebra is an associative algebra introduced by Temperley and Lieb that arises in the study of lattice models, knot theory, and Representation theory. It provides a unifying algebraic framework linking Pauling-style combinatorial models, Jones's work on link invariants, and constructions in combinatorics and operator algebras. The algebra has rich connections to Hecke algebra, braid groups, quantum groups, and categorification programs associated to Khovanov and Lurie.

Definition and basic properties

The Temperley–Lieb algebra TL_n(δ) for integer n and parameter δ is defined by generators e_1, e_2, ..., e_{n-1} and relations e_i^2 = δ e_i, e_i e_{i±1} e_i = e_i, and e_i e_j = e_j e_i for |i−j|>1, as in the original presentation by Temperley and Lieb. The algebra is finite-dimensional with dimension equal to the Catalan-number-related count given by noncrossing pairings, a combinatorial structure studied by Stanley and Zeilberger. TL_n(δ) admits a cellular structure in the sense of Graham–Lehrer and forms a quotient of the Brauer algebra in specializations studied by Brauer.

Diagrammatic representation

Temperley–Lieb elements admit planar diagram representations using noncrossing pairings of 2n points on a rectangle boundary, a viewpoint pioneered in the work of Jones and applied by Kauffman. Diagrams compose by vertical concatenation with closed loops evaluated to δ, mirroring constructions used by Kauffman in the Kauffman bracket and by Conway in link diagrams. This graphical calculus is closely related to planar algebras introduced by Jones and to the pictorial language used in Temperley's statistical mechanics studies and Freyd–Yetter style ribbon categories.

Relationship to braid groups and Hecke algebras

The Temperley–Lieb algebra arises as a quotient of the Hecke algebra H_n(q) under the specialization q + q^{-1} = δ, connecting to representations of the braid group B_n via the Jones polynomial construction of Jones. This quotient relationship appears in the work of Wenzl and in connections to quantum group representations for U_q(sl_2). The Markov trace on the Hecke algebra descends to a trace on TL_n(δ), relating to invariants developed by Markov and techniques used in Witten's topological field theory interpretations.

Representation theory and modules

Representations of TL_n(δ) decompose into cell modules corresponding to Young-diagram-like combinatorics and link to the Schur–Weyl duality between GL_n actions and TL actions in tensor categories studied by Jimbo and Drinfeld. Semisimplicity criteria were established by Lehrer, Sun, and others in relation to q being not a root of unity, matching phenomena in representations of quantum groups analyzed by Lusztig. Simple modules correspond to standard tableaux analogues and were classified in work connected to Martin and Graham.

Connections to statistical mechanics and knot invariants

Temperley–Lieb algebras originally appeared in statistical mechanics analysis of the Potts model and ice models studied by Lieb and Baxter, linking transfer-matrix techniques used by Baxter to algebraic structures exploited by Temperley. The algebra underlies the construction of the Jones polynomial and the Kauffman bracket invariants via bracket evaluations and trace methods due to Jones, Kauffman, and later interpretations by Witten in Chern–Simons theory. Connections to critical phenomena and conformal field theory were explored by Belavin, Cardy, and Zamolodchikov.

Categorification and TL categories

Categorifications of the Temperley–Lieb algebra feature prominently in the programs of Khovanov and Khovanov–Rozansky, producing homology theories refining the Jones polynomial and linking to 2-categories of diagrams studied by Chuang and Rouquier. The Temperley–Lieb category provides a pivotal example in higher category theory work by Baez, Lurie, and Schommer-Pries, and plays a role in categorified quantum group actions developed by Lauda and Khovanov.

Applications and generalizations

Beyond original applications to the Potts model and ice model, Temperley–Lieb algebras appear in the theory of subfactors initiated by Jones, in topological quantum computation proposals influenced by Freedman, Kitaev, and Freedman, and in categorical frameworks connected to TQFT studied by Atiyah and Segal. Generalizations include the blob algebra, Birman–Murakami–Wenzl algebra associated to Birman and Murakami, and affine or cyclotomic Temperley–Lieb analogues examined by Goodman, Wenzl, and Martin. The algebra continues to influence research areas ranging from conformal field theory to quantum topology in the work of Reshetikhin and Turaev.

Category:Algebras