Kernels of representations of Drinfeld doubles of finite groups. (Q2440507): Difference between revisions

Let \(A\) be a semisimple Hopf algebra over the field of complex numbers. In this paper the author considers the fusion category \(\mathrm{Rep}(A)\) of finite dimensional representations of \(A\) and gives a description of the commutator subcategory, as introduced by \textit{S. Gelaki} and \textit{D. Nikshych} [in Adv. Math. 217, No. 3, 1053-1071 (2008; Zbl 1168.18004)], of all fusion subcategories of the form \(\mathrm{Rep}(A//L)\), where \(L\) is a normal Hopf subalgebra of \(A\). He also gives a characterization of all such fusion subcategories in the case where \(A=D(G)\) is the Drinfeld double of a finite group \(G\). The paper also contains a description of the kernels of representations of \(D(G)\) and it is shown that they are normal Hopf subalgebras. Let \(\mathcal C\) be a fusion category. According to the definition given in the paper [Int. Math. Res. Not. 2011, No. 24, 5644-5705 (2011; Zbl 1250.18005)] by \textit{A. Bruguières} and the reviewer, a fusion subcategory \(\mathcal C'\) of \(\mathcal C\) is called normal if there exists a normal dominant functor of fusion categories \(F\colon\mathcal C\to\mathcal C''\) such that \(\mathcal C'\) coincides with the kernel of \(F\). Observe that not every normal fusion subcategory of \(\mathrm{Rep}(A)\) is of the form \(\mathrm{Rep}(A//L)\), where \(L\) is a normal Hopf subalgebra of \(A\). For instance, if \(A\) is one of the nontrivial Hopf algebras constructed by \textit{C. Galindo} and the reviewer [in Math. Res. Lett. 14, No. 5-6, 943-954 (2007; Zbl 1160.16020)], then \(A\) is twist equivalent to a certain finite solvable group \(G\), but \(A\) contains no proper normal Hopf subalgebras. For any normal subgroup \(G'\) of \(G\), \(\mathrm{Rep}(G/G')\) is a normal fusion subcategory of \(\mathrm{Rep}(G)\cong\mathrm{Rep}(A)\), but in general it cannot be of the form \(\mathrm{Rep}(A//L)\) for a normal Hopf subalgebra of \(A\). This example also shows that, for an arbitrary semisimple Hopf algebra, the kernel of an arbitrary representation is not necessarily a normal Hopf subalgebra.