Traces on module categories over fusion categories (Q376046): Difference between revisions

Let \(\mathcal{C}\) be a pivotal fusion category over \(\mathbb{C}\). The main aim of the paper is to show that the following structures are equivalent: (i) An indecomposable module category \(_{\mathcal C}{\mathcal M}\) with module trace; (ii) An indecomposable module category \(_{\mathcal C}{\mathcal M}\) together with a \(\mathcal C\)-balanced natural isomorphism between \(\mathrm{Hom}(n,m)\) and the dual space of \(\mathrm{Hom}(m,n)\), for each pair of objects \(m,n\in {\mathcal M}\); (iii) A Morita class of a special haploid Frobenius algebra in \(\mathcal C\). In the particular case where \(\mathcal C\) is considered as a left module category over itself, it is obtained that for each pivotal structure \(a\) on a fusion category \(\mathcal C\) there exists a conjugate pivotal structure \(\overline{a}\) such that the right dimensions of objects with respect to \(\overline{a}\) are complex conjugate to the right dimensions with respect to \(a\).