Given a pair of finite groups $F, G$ and a normalized 3-cocycle $omega$ of $G$, where $F$ acts on $G$ as automorphisms, we consider quasi-Hopf algebras defined as a cleft extension $Bbbk^G_omega#_c,Bbbk F$ where $c$ denotes some suitable cohomologica
l data. When $Frightarrow overline{F}:=F/A$ is a quotient of $F$ by a central subgroup $A$ acting trivially on $G$, we give necessary and sufficient conditions for the existence of a surjection of quasi-Hopf algebras and cleft extensions of the type $Bbbk^G_omega#_c, Bbbk Frightarrow Bbbk^G_omega#_{overline{c}} , Bbbk overline{F}$. Our construction is particularly natural when $F=G$ acts on $G$ by conjugation, and $Bbbk^G_omega#_c Bbbk G$ is a twisted quantum double $D^{omega}(G)$. In this case, we give necessary and sufficient conditions that Rep($Bbbk^G_omega#_{overline{c}} , Bbbk overline{G}$) is a modular tensor category.
We define total Frobenius-Schur indicator for each object in a spherical fusion category $C$ as a certain canonical sum of its higher indicators. The total indicators are invariants of spherical fusion categories. If $C$ is the representation categor
y of a semisimple quasi-Hopf algebra $H$, we prove that the total indicators are non-negative integers which satisfy a certain divisibility condition. In addition, if $H$ is a Hopf algebra, then all the total indicators are positive. Consequently, the positivity of total indicators is a necessary condition for a quasi-Hopf algebra being gauge equivalent to a Hopf algebra. Certain twisted quantum doubles of finite groups and some examples of Tambara-Yamagami categories are discussed for the sufficiency of this positivity condition.
We introduce generalized Frobenius-Schur indicators for pivotal categories. In a spherical fusion category C, an equivariant indicator of an object in C is defined as a functional on the Grothendieck algebra of the quantum double Z(C) via generalized
Frobenius-Schur indicators. The set of all equivariant indicators admits a natural action of the modular group. Using the properties of equivariant indicators, we prove a congruence subgroup theorem for modular categories. As a consequence, all modular representations of a modular category have finite images, and they satisfy a conjecture of Eholzer. In addition, we obtain two formulae for the generalized indicators, one of them a generalization of Bantays second indicator formula for a rational conformal field theory. This formula implies a conjecture of Pradisi-Sagnotti-Stanev, as well as a conjecture of Borisov-Halpern-Schweigert.
In this paper, we prove that a non-semisimple Hopf algebra H of dimension 4p with p an odd prime over an algebraically closed field of characteristic zero is pointed provided H contains more than two group-like elements. In particular, we prove that
non-semisimple Hopf algebras of dimensions 20, 28 and 44 are pointed or their duals are pointed, and this completes the classification of Hopf algebras in these dimensions.
We introduce two kinds of gauge invariants for any finite-dimensional Hopf algebra H. When H is semisimple over C, these invariants are respectively, the trace of the map induced by the antipode on the endomorphism ring of a self-dual simple module,
and the higher Frobenius-Schur indicators of the regular representation. We further study the values of these higher indicators in the context of complex semisimple quasi-Hopf algebras H. We prove that these indicators are non-negative provided the module category over H is modular, and that for a prime p, the p-th indicator is equal to 1 if, and only if, p is a factor of dim H. As an application, we show the existence of a non-trivial self-dual simple H-module with bounded dimension which is determined by the value of the second indicator.
Let H be a non-semisimple Hopf algebra of dimension 2p^2 over an algebraically closed field of characteristic zero, where p is an odd prime. We prove that H or H^* is pointed, which completes the classification for Hopf algebras of these dimensions.
