TY - JOUR

T1 - The monoidal center and the character algebra

AU - Shimizu, Kenichi

N1 - Funding Information:
The author thanks Victor Ostrik and Makoto Yamashita for letting him know about [26] and [25], respectively, and giving him some valuable comments. The author also thanks Takahiro Hayashi for valuable comments and suggestions. The author appreciates the referee for careful reading of the manuscript. The author is currently supported by JSPS KAKENHI Grant Number JP16K17568.
Publisher Copyright:
© 2016 Elsevier B.V.

PY - 2017/9/1

Y1 - 2017/9/1

N2 - For a pivotal finite tensor category C over an algebraically closed field k, we define the algebra CF(C) of class functions and the internal character ch(X)∈CF(C) for an object X∈C by using an adjunction between C and its monoidal center Z(C). We also develop the theory of integrals and the Fourier transform in a unimodular finite tensor category by using the same adjunction. Our main result is that the map ch:Grk(C)→CF(C) given by taking the internal character is a well-defined injective homomorphism of k-algebras, where Grk(C) is the scalar extension of the Grothendieck ring of C to k. Moreover, under the assumption that C is unimodular, the map ch is an isomorphism if and only if C is semisimple. As an application, we show that the algebra Grk(C) is semisimple if C is a non-degenerate pivotal fusion category. If, moreover, Grk(C) is commutative, then we define the character table of C based on the integral theory. It turns out that the character table is obtained from the S-matrix if C is a modular tensor category. Generalizing corresponding results in the finite group theory, we prove the orthogonality relations and the integrality of the character table.

AB - For a pivotal finite tensor category C over an algebraically closed field k, we define the algebra CF(C) of class functions and the internal character ch(X)∈CF(C) for an object X∈C by using an adjunction between C and its monoidal center Z(C). We also develop the theory of integrals and the Fourier transform in a unimodular finite tensor category by using the same adjunction. Our main result is that the map ch:Grk(C)→CF(C) given by taking the internal character is a well-defined injective homomorphism of k-algebras, where Grk(C) is the scalar extension of the Grothendieck ring of C to k. Moreover, under the assumption that C is unimodular, the map ch is an isomorphism if and only if C is semisimple. As an application, we show that the algebra Grk(C) is semisimple if C is a non-degenerate pivotal fusion category. If, moreover, Grk(C) is commutative, then we define the character table of C based on the integral theory. It turns out that the character table is obtained from the S-matrix if C is a modular tensor category. Generalizing corresponding results in the finite group theory, we prove the orthogonality relations and the integrality of the character table.

UR - http://www.scopus.com/inward/record.url?scp=85009200747&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85009200747&partnerID=8YFLogxK

U2 - 10.1016/j.jpaa.2016.12.037

DO - 10.1016/j.jpaa.2016.12.037

M3 - Article

AN - SCOPUS:85009200747

VL - 221

SP - 2338

EP - 2371

JO - Journal of Pure and Applied Algebra

JF - Journal of Pure and Applied Algebra

SN - 0022-4049

IS - 9

ER -