Computing higher Frobenius-Schur indicators in fusion categories constructed from inclusions of finite groups (Q901324)

Let \(G\) be a group, \(H\) be a subgroup. In this work, the author introduces a new formula for the higher Frobenius-Schur indicators of the simple objects of the category of \(G\)-graded vector spaces with a two-sided \(H\)-action compatible with the grading. We recall that higher Frobenius--Schur indicators on a pivotal category \(C\) are invariants of \(C\) that generalize the well-known degree two Frobenius-Schur indicator for finite groups. One of the main tools in the present approach is a previous work of the author, joint with \textit{S.-H. Ng} [Adv. Math. 211, No. 1, 34--71 (2007; Zbl 1138.16017)], which links higher Frobenius-Schur indicators in a spherical fusion category \(C\) to the ribbon structure of the Drinfeld center \(Z(C)\) and the Müger's adjoint to the underlying functor \(Z(C)\to C\). On the one hand, the formula obtained involves only the traces of the ribbon structure on the images under the adjoint, hence a complete information about the adjoint is not needed. On the other, in the author's setting, the Drinfeld center involved is equivalent to the category of modules over the Drinfeld double of the group \(G\). Hence computations become simpler than in other, more general, approaches in the literature (e.~g., by Montgomery, Kashina, Natale et al.) Some examples are explicitly computed for inclusions of small symmetric groups.