On unimodular module categories (Q6049883): Difference between revisions

In the work under review, the author introduces the class of ``unimodular exact module categories'' and study them in depth. Explicitly, let \(\mathcal{C}\) be a finite tensor category and \(\mathcal{M}\) an exact left \(\mathcal{C}\)-module category, then \(\mathcal{M}\) is unimodular if the finite multitensor category \(\operatorname{Rex}_{\mathcal{C}}(\mathcal{M})\) of right exact \(\mathcal{C}\)-module endofunctors is unimodular. The author gives various equivalent definitions and examples, and proves some properties of these categories. As a notable application, the author provides a systematic method to constructs (commutative, special, symmetric) Frobenius algebras in the Drinfeld center of any finite tensor category. Such algebras are useful in \(2\)-dimensional rational Conformal Field Theories [\textit{J. Fuchs} et al., Nucl. Phys., B 646, No. 3, 353--497 (2002; Zbl 0999.81079)] and in 3-dimensional Topological Quantum Field Theories [\textit{N. Reshetikhin} and \textit{V. G. Turaev}, Invent. Math. 103, No. 3, 547--597 (1991; Zbl 0725.57007)]. The author explores in details the case \(C=\operatorname{Rep}(H)\), the category of representation of a finite-dimensional Hopf algebra \(H\). He classifies all its unimodular module categories. He uses at this point that every \(\operatorname{Rep}(H)\)-module category is equivalent to the category of representations of a left \(H\)-comodule algebra [\textit{N. Andruskiewitsch} and \textit{J. M. Mombelli}, J. Algebra 314, No. 1, 383--418 (2007; Zbl 1141.16024)]. As an example, he deduces that \(\operatorname{Rep}(T(\omega))\) does not admit unimodular module categories, where \(T(\omega)\) denotes a Taft algebra. It is worth noting that the author shows that tensor categories that are not unimodular can admit unimodular module categories.