$C^{\ast }$-Tensor Categories in the Theory of $I{I}_1$-Subfactors

The article contains a detailed description of the connection between finite depth inclusions of $I{I}_1$-subfactors and finite $C^{\ast }$-tensor categories (i.e. $C^{\ast }$-tensor categories with dimension function for which the number of equivalence classes of irreducible objects is finite). The $(N,N)$-bimodules belonging to a $I{I}_1$-subfactor $N\subset M$ with finite Jones index form a $C^{\ast }$-tensor category with dimension function. Conversely, taking an object of a finite $C^{\ast }$-tensor category C we construct a subfactor $A\subset R$ of the hyperfinite $I{I}_1$-factor R with finite index and finite depth. For this subfactor we compute the standard invariant and show that the $C^{\ast }$-tensor category of the corresponding $(A,A)$-bimodules is equivalent to a subcategory of C. We illustrate the results for the $C^{\ast }$-tensor category of the unitary finite dimensional corepresentations of a finite dimensional Hopf-*-algebra.