The monoidal center and the character algebra

Abstract: For a pivotal finite tensor category

m a t h c a l C

over an algebraically closed field

k

, we define the algebra

m a t h s f C F (m a t h c a l C)

of class functions and the internal character

m a t h s f c h (X) i n m a t h s f C F (m a t h c a l C)

for an object

X i n m a t h c a l C

by using an adjunction between

m a t h c a l C

and its monoidal center

m a t h c a l Z (m a t h c a l 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

m a t h s f c h : m a t h s f {G r}_{k} (m a t h c a l C) o m a t h s f C F (m a t h c a l C)

given by taking the internal character is a well-defined injective algebra map, where

m a t h s f {G r}_{k} (m a t h c a l C)

is the scalar extension of the Grothendieck ring of

m a t h c a l C

to

k

. Moreover, under the assumption that

m a t h c a l C

is unimodular, the map

m a t h s f c h

is an isomorphism if and only if

m a t h c a l C

is semisimple. As an application, we show that the algebra

m a t h s f {G r}_{k} (m a t h c a l C)

is semisimple if

m a t h c a l C

is a non-degenerate pivotal fusion category. If, moreover,

m a t h s f {G r}_{k} (m a t h c a l C)

is commutative, then the character table of

m a t h c a l C

is defined based on the integral theory. It turns out that the character table is obtained from the

S

-matrix if

m a t h c a l C

is a modular tensor category. Generalizing corresponding results in the finite group theory, we prove the orthogonality relations and the integrality.

Review text

As the author says in the Introduction, many results on Hopf algebras have been generalized in the setting of tensor categories. The paper under review is a new contribution in this way, giving a category-theoretical counterpart of the character theory. In order to do that, after a section of preliminaries, in Section \(3\) the author recalls the construction of the central Hopf (co)monad on a rigid monoidal category. In Section \(4\) he shows the first main result (Theorem 4.1 and its corollary), which states the injectivity of the linear map \[ \mathrm{ch}:G_{r_{k}}(\mathcal {C})\rightarrow CF(\mathcal {C}), [X]\mapsto \mathrm{ch}(X) (X\in \mathcal {C}), \] where \(\mathcal {C}\) is a pivotal finite tensor category over an algebraically closed field \(k\), \(G_{r_{k}}(\mathcal {C}):=k\otimes_Z G_r(\mathcal {C})\), being \(G_r(\mathcal {C})\) the Grothendieck ring of \(\mathcal {C}\), and \(CF(\mathcal {C})\) denotes the algebra of class functions. In Section \(5\), under the assumption that \(\mathcal {C}\) is unimodular, the author shows (Theorem 5.9) that the map \(\mathrm{ch}\) is an isomorphism if and only if \(\mathcal {C}\) is semisimple. Moreover, he obtains a Maschke-type theorem and a Radford-type trace formula. Finally, the last section is devoted to give applications of these results to fusion categories.

Recommendations

Cites work

Cited in

(43)

This page was built for publication: The monoidal center and the character algebra

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