Normal Hopf subalgebras of semisimple Drinfeld doubles. (Q392453)

A Hopf subalgebra of a semisimple Hopf algebra is called normal if it is invariant under the (left or right) adjoint action. Let \(A\) be a semisimple Hopf algebra over an algebraically closed field of characteristic zero. In this paper the author gives a categorical description of all Hopf subalgebras of the Drinfeld double \(D(A)\). This description relies on a quantum analogue of Goursat's lemma for the direct product of two groups, due to V. G. Drinfeld, S. Gelaki, D. Nikshych and V. Ostrik, that describes all fusion subcategories in Deligne's tensor product of two fusion categories. This is used to give a classification of all Hopf subalgebras of \(D(A)\) which have normal intersection with both \(A\) and \(A^*\). As an application the author gives a description of all minimal normal Hopf subalgebras of \(D(A)\), and shows that the Drinfeld double of an Abelian extension is also an Abelian extension.