Let be a finite quantum group described by with an involutive antipode (I know this is true is the commutative or cocommutative case. I am not sure at this point how restrictive it is in general. The compact matrix quantum groups have this property so it isn’t a terrible restriction.) . Under the assumption of finiteness, there is a unique Haar state, on .
A representation of is a linear map that satisfies
The dimension of is given by . If has basis then we can define the matrix elements of by
One property of these that we will use it that .
Two representations and are said to be equivalent, , if there is an invertible intertwiner between them. An intertwiner between and is a map such that
We can show that every representation is equivalent to a unitary representation.
Timmermann shows that if is a maximal family of pairwise inequivalent irreducible representation that is a basis of . When we refer to “the matrix elements” we always refer to such a family. We define the span of as , the space of matrix elements of .
Given a representation , we define its conjugate, , where is the conjugate vector space of , by
so that the matrix elements of are .
Timmermann shows that the matrix elements have the following orthogonality relations:
- If and are inequivalent then for all and .
- If is such that the conjugate, , is equivalent to a unitary matrix (this is the case in the finite dimensional case), then we have
This second relation is more complicated without the assumption and refers to the entries and trace of an intertwiner from to the coreprepresention with matrix elements . If , then this intertwiner is simply the identity on and so the the entries and the trace is .
Denote by the set of unitary equivalence classes of irreducible unitary representations of . For each , let be a representative of the class where is the finite dimensional vector space on which acts.