Paper detail

Extensions of tensor categories by finite group fusion categories

We study exact sequences of finite tensor categories of the form $\Rep G \to \C \to \D$, where $G$ is a finite group. We show that, under suitable assumptions, there exists a group $Γ$ and mutual actions by permutations $\rhd: Γ\times G \to G$ and $\lhd: Γ\times G \to Γ$ that make $(G, Γ)$ into matched pair of groups endowed with a natural crossed action on $\D$ such that $\C$ is equivalent to a certain associated crossed extension $\D^{(G, Γ)}$ of $\D$. Dually, we show that an exact sequence of finite tensor categories $\vect_G \to \C \to \D$ induces an $\Aut(G)$-grading on $\C$ whose neutral homogeneous component is a $(Z(G), Γ)$-crossed extension of a tensor subcategory of $\D$. As an application we prove that such extensions $\C$ of $\D$ are weakly group-theoretical fusion categories if and only if $\D$ is a weakly group-theoretical fusion category. In particular, we conclude that every semisolvable semisimple Hopf algebra is weakly group-theoretical.