On unimodular module categories

DOI10.1016/J.AIM.2023.109264MaRDI QIDQ6049883zbMATH OpenOpenAlexFDO

Authors Harshit Yadav

Publication date 11 October 2023

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2302.06192

zbMATH Keywords

finite tensor categoryFrobenius algebraHopf algebraunimodular module category

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Braided monoidal categories and ribbon categories (18M15) Fusion categories, modular tensor categories, modular functors (18M20)

Abstract: Let $mathcalC$ be a finite tensor category and $mathcalM$ an exact left $mathcalC$-module category. We call $mathcalM$ unimodular if the finite multitensor category ${sfRex}_{mathcalC}(mathcalM)$ of right exact $mathcalC$-module endofunctors of $mathcalM$ is unimodular. In this article, we provide various characterizations, properties, and examples of unimodular module categories. As our first application, we employ unimodular module categories to construct (commutative) Frobenius algebra objects in the Drinfeld center of any finite tensor category. When $mathcalC$ is a pivotal category, and $mathcalM$ is a unimodular, pivotal left $mathcalC$-module category, the Frobenius algebra objects are symmetric as well. Our second application is a classification of unimodular module categories over the category of finite dimensional representations of a finite dimensional Hopf algebra; this answers a question of Shimizu. Using this, we provide an example of a finite tensor category whose categorical Morita equivalence class does not contain any unimodular tensor category.

Review text

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.

Recommendations

• scientific article; zbMATH DE number 2150986
• Representations of tensor categories coming from quantum linear spaces.
• On Unimodular Finite Tensor Categories
• Frobenius properties of tensor functors
• The character algebra for module categories over Hopf algebras
• A modular functor from state sums for finite tensor categories and their bimodules
• On Vafa's theorem for tensor categories.
• Extending the trace of a pivotal monoidal functor
• On module categories over finite-dimensional Hopf algebras.
• The relative modular object and Frobenius extensions of finite Hopf algebras

Cites work

• 3-dimensional TQFTs from non-semisimple modular categories
• An Associative Orthogonal Bilinear Form for Hopf Algebras
• Bulk from boundary in finite CFT by means of pivotal module categories
• Consistent systems of correlators in non-semisimple conformal field theory
• Correction to: Kerler–Lyubashenko Functors on 4-Dimensional 2-Handlebodies
• Correspondences of ribbon categories
• Dualizable tensor categories
• Eilenberg-Watts calculus for finite categories and a bimodule Radford \(S^4\) theorem
• Exact sequences of tensor categories
• Further results on the structure of (co)ends in finite tensor categories
• Higher Frobenius-Schur indicators for pivotal categories
• scientific article; zbMATH DE number 2147299 (Why is no real title available?)
• scientific article; zbMATH DE number 2150986 (Why is no real title available?)
• Integrals for Hopf algebras
• Invariants of 3-manifolds via link polynomials and quantum groups
• MODULAR CATEGORIES AND 3-MANIFOLD INVARIANTS
• Module categories over pointed Hopf algebras.
• Monoidal categories and topological field theory
• Non-semisimple topological quantum field theories for 3-manifolds with corners
• Note on Frobenius monoidal functors
• On a \(q\)-analogue of the McKay correspondence and the ADE classification of \(\mathfrak{sl}_{2}\) conformal field theories
• On braiding and dyslexia
• On fusion categories.
• On module categories over finite-dimensional Hopf algebras.
• On Unimodular Finite Tensor Categories
• Pivotal tricategories and a categorification of inner-product modules
• Projectivity and freeness over comodule algebras
• Relative Serre functor for comodule algebras
• State sum invariants of 3-manifolds and quantum \(6j\)-symbols
• TFT construction of RCFT correlators. I: Partition functions
• The monoidal center construction and bimodules
• The Order of the Antipode of a Finite Dimensional Hopf Algebra is Finite
• The pivotal cover and Frobenius-Schur indicators
• The trace function and Hopf algebras

Cited in

(10)

• On the uniqueness of stratifications of derived module categories.
• On Unimodular Finite Tensor Categories
• scientific article; zbMATH DE number 817402 (Why is no real title available?)
• Constructing non-semisimple modular categories with local modules
• Frobenius monoidal functors from (co)Hopf adjunctions
• Spherical Morita contexts and relative Serre functors
• Nakayama functor for coalgebras and a categorical perspective of the integral theory for Hopf algebras
• On finite group scheme-theoretical categories. I
• -Frobenius functors and exact module categories
• On a category of module bundles

This page was built for publication: On unimodular module categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6049883)