Temperley-Lieb planar algebra modules arising from the ADE planar algebras

A Hilbert module over a planar algebra P is essentially a Hilbert module over a canonically defined algebra spanned by the annular tangles in P. It follows that any planar algebra Q containing P is a module over P, and in particular, any subfactor planar algebra is a module over the Temperley-Lieb planar algebra with the same modulus. We describe a positivity result that allows us to describe irreducible Temperley-Lieb planar algebra modules, and apply the result to decompose the planar algebras determined by the Coxeter graphs A_n (n?3), D_n (n?4), E₆, E₇, and E₈.