Extensions of tensor categories by finite group fusion categories

TL;DR

This paper characterizes extensions of finite tensor categories by finite group fusion categories using matched pairs and crossed actions, and shows their relation to weakly group-theoretical fusion categories and semisolvable semisimple Hopf algebras.

Contribution

It provides a classification of tensor category extensions via matched pairs and crossed actions, linking their properties to weakly group-theoretical categories.

Findings

Extensions are equivalent to crossed extensions involving matched pairs.

Weakly group-theoretical property is preserved under such extensions.

Semisolvable semisimple Hopf algebras are weakly group-theoretical.

Abstract

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 $\Gamma$ and mutual actions by permutations $\rhd: \Gamma \times G \to G$ and $\lhd: \Gamma \times G \to \Gamma$ that make $(G, \Gamma)$ 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, \Gamma)}$ 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), \Gamma)$-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.