Weak Hopf Algebras II: Representation theory, dimensions and the Markov trace [article]

G. Bohm, K. Szlachanyi
1999 arXiv   pre-print
If A is a weak C^*-Hopf algebra then the category of finite dimensional unitary representations of A is a monoidal C^*-category with monoidal unit being the GNS representation D_eps associated to the counit . This category has isomorphic left dual and right dual objects which leads, as usual, to the notion of dimension function. However, if is not pure the dimension function is matrix valued with rows and columns labelled by the irreducibles contained in D_eps. This happens precisely when the
more » ... clusions A^L < A and A^R < A are not connected. Still there exists a trace on A which is the Markov trace for both inclusions. We derive two numerical invariants for each C^*-WHA of trivial hypercenter. These are the common indices I and δ, of the Haar, respectively Markov conditional expectations of either one of the inclusions A^L/R < A and Adual^L/R < Adual. In generic cases I > δ. In the special case of weak Kac algebras we show that I=δ is an integer.
arXiv:math/9906045v1 fatcat:6z5yxbkhengi3bn5w7bglcon6q