English

The monoidal center and the character algebra

Quantum Algebra 2016-12-28 v3 Category Theory

Abstract

For a pivotal finite tensor category C\mathcal{C} over an algebraically closed field kk, we define the algebra CF(C)\mathsf{CF}(\mathcal{C}) of class functions and the internal character ch(X)CF(C)\mathsf{ch}(X) \in \mathsf{CF}(\mathcal{C}) for an object XCX \in \mathcal{C} by using an adjunction between C\mathcal{C} and its monoidal center Z(C)\mathcal{Z}(\mathcal{C}). We also develop the integral theory in a unimodular finite tensor category by using the same adjunction. By utilizing these tools, we extend some results in the character theory of finite-dimensional Hopf algebras to this category-theoretical setting. Our main result is that the map ch:Grk(C)CF(C)\mathsf{ch}: \mathsf{Gr}_k(\mathcal{C}) \to \mathsf{CF}(\mathcal{C}) given by taking the internal character is a well-defined injective algebra map, where Grk(C)\mathsf{Gr}_k(\mathcal{C}) is the scalar extension of the Grothendieck ring of C\mathcal{C} to kk. Moreover, under the assumption that C\mathcal{C} is unimodular, the map ch\mathsf{ch} is an isomorphism if and only if C\mathcal{C} is semisimple. As an application, we show that the algebra Grk(C)\mathsf{Gr}_{k}(\mathcal{C}) is semisimple if C\mathcal{C} is a non-degenerate pivotal fusion category. If, moreover, Grk(C)\mathsf{Gr}_k(\mathcal{C}) is commutative, then the character table of C\mathcal{C} is defined based on the integral theory. It turns out that the character table is obtained from the SS-matrix if C\mathcal{C} is a modular tensor category. Generalizing corresponding results in the finite group theory, we prove the orthogonality relations and the integrality.

Keywords

Cite

@article{arxiv.1504.01178,
  title  = {The monoidal center and the character algebra},
  author = {Kenichi Shimizu},
  journal= {arXiv preprint arXiv:1504.01178},
  year   = {2016}
}

Comments

32 pages. Accepted for publication in Journal of Pure and Applied Algebra. Changes from v2: The author gave new and shorter proof of Proposition 5.2 and removed Lemmas 5.3, 5.5 and 5.6. The content of Lemma 5.5 can be found at the end of Section 4 of the present version

R2 v1 2026-06-22T09:10:28.522Z