On Müger's centralizer in braided equivariantized fusion categories (Q308104)

Let \(\mathbb C\) be a braided fusion category, with braiding \(c=(c_{X,Y})_{X,Y}\). If \(\mathcal D\subset \mathbb C\) is a braided fusion subcategory, then the Müger centralizer \(\mathcal D'\subset \mathbb C\) is the braided subcategory generated by all simple objects \(X\in \mathbb C\) such that \(c_{X,Y}c_{Y,X}=\mathrm{id}_{X\otimes Y}\). Let \(G\) be a finite group. A braided \(G\)-crossed fusion category is a \(G\)-graded braided fusion category \(\mathbb C=\bigoplus_{g\in G}\mathbb C_g\) with an action of \(G\) by braided autoequivalences \((t_g\in\mathrm{Aut}_{\otimes}(\mathbb C))_{g\in G}\) satisfying \(X\otimes Y\simeq t^g(Y)\otimes X\), for \(X\in\mathbb C_g\), \(Y\in \mathbb C\), subject to certain compatibility axioms. This guarantees that the equivariantization \(\mathbb C^G\) inherits a structure of braided fusion category. Moreover, any braided fusion category containing a non-trivial Tannakian subcategory arises as \(\mathbb C^G\) for some \(\mathbb C\) as above. In this article the author studies some necessary conditions for two given fusion subcategories \(\mathcal D_1, \mathcal D_2\subset \mathbb C^G\) to have the same Müger centralizer, thus giving a partial characterization of these subcategories. This is done in terms of the co-called \(C\)-fusion data \((\mathcal S, H, \lambda)\) that classify such subcategories, using results of \textit{S. Natale} and the same author [J. Math. Phys. 54, No. 1, 013511, 21 p. (2013; Zbl 1284.18014)]. In particular, this result applies to a braided group-theoretical categories, by results of \textit{D. Naidu} [Pac. J. Math. 247, No. 2, 477--496 (2010; Zbl 1210.18007)], which show any such category is equivalent to \(\mathbb C(\xi)^G\), for some pointed \(G\)-crossed category \(\mathbb C(\xi)\). The article also serves as a good reference on the subject as it presents basic definitions and computations in detail.