Conjugacy classes and centralizers for pivotal fusion categories (Q783997)

Many results in the theory of finite groups, or more generally semisimple Hopf algebras, can be extended to results about fusion categories in the sense of [\textit{P. Etingof} et al., Ann. Math. (2) 162, No. 2, 581--642 (2005; Zbl 1125.16025)]. For example, fusion subcategories of braided fusion categories have an associated centralizer fusion subcategory analogous to the centralizer subgroup of a subgroup of a finite group. The author's main result (Theorem 1.1) is a novel characterization of centralizer fusion subcategories of braided fusion categories with the additional assumption of a spherical structure. Sphericality is regarded as a mild assumption; at the time of this review, there is no known example of a fusion category which does not possess a spherical structure. The author's characterization relies heavily on tools generalized from the theory of Hopf algebras by \textit{K. Shimizu} in [J. Pure Appl. Algebra 221, No. 9, 2338--2371 (2017; Zbl 1375.18045); Algebr. Represent. Theory 22, No. 2, 459--493 (2019; Zbl 1411.18012)]. Subsequently, the author studies conjugacy classes of modular tensor categories, i.e. spherical nondegenerately braided fusion categories, and provides an explicit formula for the product of conjugacy class sums (Proposition 6.1) in this case. An appendix is included which proves necessary technical results on a general categorical construction known as an \textit{end} of the induction functor \(\mathcal{C}\to\mathcal{Z}(\mathcal{C})\) where \(\mathcal{Z}(\mathcal{C})\) is the Drinfeld center of a finite tensor category \(\mathcal{C}\), e.g. a fusion category.