Slightly trivial extensions of a fusion category (Q2285059): Difference between revisions

To explain the result of this paper, we need some definitions at first. A fusion category \(\mathcal{C}\) is called \(G\)-graded if there is a decomposition \(\mathcal{C} = \bigoplus_{g\in G}\mathcal{C}_g\) of full abelian subcategories such that \(\mathcal{C}^{\ast}=\mathcal{C}_{g^{-1}}\) and \(\mathcal{C}_{g}\mathcal{C}_h\subseteq\mathcal{C}_{gh}\) for \(G\) a group and \(g,h\in G\). A \(G\)-grading \(\mathcal{C} = \bigoplus_{g\in G}\mathcal{C}_g\) is called faithful if \(\mathcal{C}_{g}\neq 0\) for all \(g\in G\) and is called a \(G\)-extension of another fusion category \(\mathcal{D}\) if this grading is faithful and \(\mathcal{C}_{e}\) is equivalent to \(\mathcal{D}\) as tensor categories. Now let \(\mathcal{C} = \bigoplus_{g\in G}\mathcal{C}_g\) be an extension of \(\mathcal{D}\) and denote the class of irreducible objects (up to isomorphisms) of \(\mathcal{D}\) by \(\mathrm{Irr}(\mathcal{D})=\{X_1,\ldots,X_n\}\). We say that the component \(\mathcal{C}_{g}\) is similar to \(\mathcal{D}\) if there exists an invertible simple object \(\delta_{g}\in \mathcal{C}_g\) such that \(\mathrm{Irr}(\mathcal{C}_{g})=\{\delta_{g}\otimes X_1,\ldots,\delta_{g}\otimes X_n\}\). If all components are similar to \(\mathcal{D}\), then \(\mathcal{C}\) is called a slightly trivial extension of \(\mathcal{D}\) as the title said. The paper under reviewed gave a necessary and sufficient condition for \(\mathcal{C}\) to be a slightly trivial extension of \(\mathcal{D}\) which is every component contains an invertible simple object. The author also provided two examples of slightly trivial extension.