English

On unimodular module categories

Quantum Algebra 2023-08-08 v2 Category Theory Representation Theory

Abstract

Let C\mathcal{C} be a finite tensor category and M\mathcal{M} an exact left C\mathcal{C}-module category. We call M\mathcal{M} unimodular if the finite multitensor category RexC(M){\sf Rex}_{\mathcal{C}}(\mathcal{M}) of right exact C\mathcal{C}-module endofunctors of M\mathcal{M} 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 C\mathcal{C} is a pivotal category, and M\mathcal{M} is a unimodular, pivotal left C\mathcal{C}-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.

Keywords

Cite

@article{arxiv.2302.06192,
  title  = {On unimodular module categories},
  author = {Harshit Yadav},
  journal= {arXiv preprint arXiv:2302.06192},
  year   = {2023}
}

Comments

v2: 32 pages. Final version to appear in Advances in Mathematics

R2 v1 2026-06-28T08:38:31.045Z