Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

This question is a spin-off from Sammy Black's question on super Temperley-Lieb. Please see there for the background. The short version is that Sammy defines the Temperley-Lieb at index d as the algebra of sl(2) intertwiners of d copies of the defining rep of sl(2) (and then asks about a supersymmetric version).

My question: in what ways does Sammy's story extend to other simple Lie groups, e.g. sl(3)? For example, I think that the Schur-Weyl duality still holds, so that HomUsl(3)(V⊗d) is a quotient of the group algebra of the symmetric group Sd (here V is the defining representation of sl(3)). Is it something like the Young Tableaux with three rows? And is there a diagrammatic description of this algebra?

share|improve this question

5 Answers 5

up vote 3 down vote accepted

Cvitanovic is great for the groups themselves. But if you care about the quantum group (and this is really where TL shines) some good references are Kuperberg's work on Spiders and Scott Morrison's thesis.

share|improve this answer

Yes... I saw it first in Stedman's work (Diagram Techniques in Group Theory, G. E. Stedman, Cambridge University Press, 1990), but it may also exist elsewhere. The basic idea is to combine symmetrization and anti-symmetrization across different sets of strands, roughly in correspondence with the Young tableaux.

The other place to look for more general diagrams for general Lie algebras is Cvitanovic (Group Theory: Birdtracks, Lie's, and Exceptional Groups, Predrag Cvitanović, Princeton University Press, 2008, http://birdtracks.eu/). The text is available online and it is extremely impressive.

share|improve this answer

You should be careful saying "Temperley-Lieb at index d". You're better off saying "the d-strand Temperley-Lieb algebra". The problem is that Temperley-Lieb algebras are intimately related to subfactors (in fact, there's a map from the Temperley-Lieb algebra to the standard invariant of any subfactor), and there the paramater q is related to the index of the subfactor, via [N:M] = (q+q^{-1})^2.

share|improve this answer
Oops, sorry! Yeah, I had a sneaky suspicion that the word "index" was wrong. –  Theo Johnson-Freyd Oct 30 '09 at 22:29

See the paper

Schur–Weyl Reciprocity between the Quantum Superalgebra and the Iwahori–Hecke Algebra

by Hideo Mitsuhashi.

share|improve this answer

The short answer is yes. The map to sl(m) kills exactly the representations with more than m rows. Unfortunately, the resulting algebra has no nice general presentation I know of.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.