On Ocneanu's theory of double triangle algebras for subfactors and classification of irreducible connections on the Dynkin diagrams

We give an exposition of Ocneanu's theory of double triangle algebras for subfactors and its application to the classification of irreducible bi-unitary connections on the Dynkin diagrams _An$A_n$, _Dn$D_n$, _E6$E_6$, _E7$E_7$ and _E8$E_8$. More precisely, we give a detailed proof of the complete classification of irreducible K–L$K–L$ bi-unitary connections up to gauge choice, where K and L   represent the two horizontal graphs which are among the A–D–E$A–D–E$ Dynkin diagrams. The result also provides a simple proof of the flatness of _D2n$D_{2n}$, _E6$E_6$ and _E8$E_8$ connections as well as an easy computation of the flat part of _E7$E_7$ as an application.