Eigenvalues of rotations and braids in spherical fusion categories (Q1794060)

Frobenius-Schur indicators and their higher analogues are well-known invariants of an irreducible representation of a finite group. In a series of papers, Ng and Schauenburg extended these notions to pivotal fusion categories (which are particular semisimple abelian rigid monoidal categories) and studied them with the aim of investigating (higher) FS indicators for quasi-Hopf algebras. These categorical FS indicators, which are defined as traces of powers of certain ``rotation operators'', are proving to be a useful invariant in the study of fusion categories. For example, they play a key role in several recent results such as the Cauchy theorem for spherical fusion categories [\textit{P. Bruillard} et al., J. Am. Math. Soc. 29, No. 3, 857--881 (2016; Zbl 1344.18008)], the congruence subgroup theorem [\textit{S.-H. Ng} and \textit{P. Schauenburg}, Adv. Math. 211, No. 1, 34--71 (2007; Zbl 1138.16017)] and Galois symmetry [\textit{C. Dong} et al., Algebra Number Theory 9, No. 9, 2121--2166 (2015; Zbl 1377.17025)] and in the problem of classifying categorifications of a given fusion ring (a fusion ring exhibits the FS indicator rigidity if two spherical categorifications having the same FS indicators are equivalent as fusion categories). \par The main results of the present paper concern some formulas for the multiplicities of the eigenvalues of (generalized) rotation operators in terms of FS indicators and, in general, of as little information as possible on the given category (Propositions 3.4 and 3.7). As applications of these formulas, on the one hand the authors prove a weaker analogue of FS indicator rigidity (namely, that if two categorifications of a singly-generated fusion ring have the same FS indicator data then their associated planar algebras are isomorphic as objects in a certain representation category) and on the other they compute the eigenvalues of the action of the Jucys-Murphy braids (which are particular elements of the braid group) on a ribbon fusion category.