Classically, the exponent of a group is the least common multiple of the orders of its elements. This notion was generalized by Etingof and Gelaki to the context of Hopf algebras. Kashina, Sommerhauser and Zhu later observed that there is a strong connection between exponents and Frobenius-Schur indicators. In this paper, we introduce the notion of twisted exponents and show that there is a similar relationship between the twisted exponent and the twisted Frobenius-Schur indicators defined in previous work of the authors. In particular, we exhibit a new formula for the twisted Frobenius-Schur indicators and use it to prove periodicity and rationality statements for the twisted indicators.
We introduce formulae of Frobenius-Schur indicators of simple objects of Tambara-Yamagami categories. By using techniques of the Fourier transform on finite abelian groups, we study some arithmetic properties of indicators.
The classical Frobenius-Schur indicators for finite groups are character sums defined for any representation and any integer m greater or equal to 2. In the familiar case m=2, the Frobenius-Schur indicator partitions the irreducible representations over the complex numbers into real, complex, and quaternionic representations. In recent years, several generalizations of these invariants have been introduced. Bump and Ginzburg, building on earlier work of Mackey, have defined versions of these indicators which are twisted by an automorphism of the group. In another direction, Linchenko and Montg…
We generalize the Frobenius-Schur theorem to $C^*$-categories. From this category-theoretical point of view, we introduce the notions of real, complex and quaternionic representations of Hopf $C^*$-algebras. Based on these definitions, we give another type of the Hopf-algebraic analogue of the Frobenius-Schur theorem, originally due to Linchenko and Montgomery. Also given are similar results for weak Hopf $C^*$-algebras, table algebras and compact quantum groups.
In this paper, we propose a new approach towards the classification of spherical fusion categories by their Frobenius-Schur exponents. We classify spherical fusion categories of Frobenius-Schur exponent 2 up to monoidal equivalence. We also classify modular categories of Frobenius-Schur exponent 2 up to braided monoidal equivalence. It turns out that the Gauss sum is a complete invariant for modular categories of Frobenius-Schur exponent 2. This result can be viewed as a categorical analog of Arf's theorem on the classification of non-degenerate quadratic forms over fields of characteristic 2.
We study Frobenius-Schur indicators of the regular representations of finite-dimensional semisimple Hopf algebras, especially group-theoretical ones. Those of various Hopf algebras are computed explicitly. In view of our computational results, we formulate the theorem of Frobenius for semisimple Hopf algebras and give some partial results on this problem.
The Turaev-Viro state sum invariant can be extended to 3-manifolds with free boundaries. We use this fact to describe generalized Frobenius-Schur indicators as Turaev-Viro invariants of solid tori. This provides a geometric understanding of the $\mathrm{SL}(2,\mathbb{Z})$-equivariance of these indicators.
Ng and Schauenburg generalized higher Frobenius-Schur indicators to pivotal fusion categories and showed that these indicators may be computed utilizing the modular data of the Drinfel'd center of the given category. We consider two classes of fusion categories generated by a single non-invertible simple object: near groups, those fusion categories with one non-invertible simple object, and Haagerup-Izumi categories, those with one non-invertible simple object for every invertible object. Examples of both types arise as representations of finite or quantum groups or as Jones standard invariant…
We present characterizations of braided co-Frobenius Hopf algebras in the braided tensor category of Yetter-Drinfeld modules over a Hopf algebra extending those already known for co-Frobenius Hopf algebras.
We introduce a new filtration on Hopf algebras, the standard filtration, generalizing the coradical filtration. Its zeroth term, called the Hopf coradical, is the subalgebra generated by the coradical. We give a structure theorem: any Hopf algebra with injective antipode is a deformation of the bosonization of the Hopf coradical by its diagram, a connected graded Hopf algebra in the category of Yetter-Drinfeld modules over the latter. We discuss the steps needed to classify Hopf algebras in suitable classes accordingly. For the class of co-Frobenius Hopf algebras, we prove that a Hopf algebra …
We give some applications of a Hopf algebra constructed from a group acting on another Hopf algebra A as Hopf automorphisms, namely Molnar's smash coproduct Hopf algebra. We find connections between the exponent and Frobenius-Schur indicators of a smash coproduct and the twisted exponents and twisted Frobenius-Schur indicators of the original Hopf algebra A. We study the category of modules of the smash coproduct.
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 category 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 equiv…
The zx-calculus and related theories are based on so-called interacting Frobenius algebras, where a pair of dagger-special commutative Frobenius algebras jointly form a pair of Hopf algebras. In this setting we introduce a generalisation of this structure, Hopf-Frobenius algebras, starting from a single Hopf algebra which is not necessarily commutative or cocommutative. We provide a few necessary and sufficient conditions for a Hopf algebra to be a Hopf-Frobenius algebra, and show that every Hopf algebra in the category of finite dimensional vector spaces is a Hopf-Frobenius algebra. In additi…
We consider a subclass of the class of group-theoretical fusion categories: To every finite group $G$ and subgroup $H$ one can associate the category of $G$-graded vector spaces with a two-sided $H$-action compatible with the grading. We derive a formula that computes higher Frobenius-Schur indicators for the objects in such a category using the combinatorics and representation theory of the groups involved in their construction. We calculate some explicit examples for inclusions of symmetric groups.
In this paper, we study the Green ring and the stable Green ring of a Hopf algebra $H$ by means of bilinear forms. We show that the Green ring of a Hopf algebra of finite representation type is a Frobenius algebra over $\mathbb{Z}$ with a dual basis associated to almost split sequences. On the stable Green ring we define a new bilinear form which is more accurate to determine the bi-Frobenius property of the stable Green ring. We show that the complexified stable Green ring (or algebra) is a group-like algebra, and hence a bi-Frobenius algebra, if the bilinear form on the stable Green ring is …
We calculate Frobenius-Schur indicator values for some fusion categories obtained from inclusions of finite groups $H\subset G$, where more concretely $G$ is symmetric or alternating, and $H$ is a symmetric, alternating or cyclic group. Our work is strongly related to earlier results by Kashina-Mason-Montgomery, Jedwab-Montgomery, and Timmer for bismash product Hopf algebras obtained from exact factorizations of groups. We can generalize some of their results, settle some open questions and offer shorter proofs; this already pertains to the Hopf algebra case, while our results also cover fusio…
We study the higher Frobenius-Schur indicators of the representations of the Drinfel'd double of a finite group G, in particular the question as to when all the indicators are integers. This turns out to be an interesting group-theoretic question. We show that many groups have this property, such as alternating and symmetric groups, PSL_2(q), M_{11}, M_{12} and regular nilpotent groups. However we show there is an irregular nilpotent group of order 5^6 with non-integer indicators.
We investigate when a weak Hopf algebra H is Frobenius; we show this is not always true, but it is true if the semisimple base algebra A has all its matrix blocks of the same dimension. However, if A is a semisimple algebra not having this property, there is a weak Hopf algebra H with base A which is not Frobenius (and consequently, it is not Frobenius "over" A either). We give, moreover, a categorical counterpart of the result that a Hopf algebra is a Frobenius algebra for a noncoassociative generalization of weak Hopf algebra.
A Hopf algebra is co-Frobenius when it has a nonzero integral. It is proved that the composition length of the indecomposable injective comodules over a co-Frobenius Hopf algebra is bounded. As a consequence, the coradical filtration of a co-Frobenius Hopf algebra is finite; this confirms a conjecture by Sorin Dăscălescu and the first author. The proof is of categorical nature and the same result is obtained for Frobenius tensor categories of subexponential growth. A family of co-Frobenius Hopf algebras that are not of finite type over their Hopf socles is constructed, answering so in the nega…
We present a new approach to calculating the higher Frobenius-Schur indicators for the simple modules over the Drinfeld double of a finite group. In contrast to the formula by Kashina-Sommerh{ä}user-Zhu that involves a sum over all group elements satisfying a certain condition, our formula operates on the level of conjugacy classes and character tables. It can be implemented in the computer algebra system GAP, efficiently enough to deal, on a laptop, with symmetric groups up to $S_{18}$ (providing further evidence that indicators are non-negative in this case) or simple groups of order up to $…
We show that every central simple algebra A over a field k is Brauer equivalent to a quotient of a finite dimensional Hopf algebra over the same field (that is- A is Hopf Schur). If the characteristic of the field is zero, or if the algebra has a Galois splitting field of degree prime to the characteristic of k, we can take this Hopf algebra to be semisimple. We also show that if F is any finite extension of k, then F is a quotient of a finite dimensional Hopf algebra over k. We use it in order to show why the algebric closeness assumption is necessary in a weak form of Kaplansky's tenth conje…
Group-theoretical fusion categories are defined by data concerning finite groups and their cohomology: A finite group $G$ endowed with a three-cocycle $ω$, and a subgroup $H\subset G$ endowed with a two-cochain whose coboundary is the restriction of $ω$. The objects of the category are $G$-graded vector spaces with suitably twisted $H$-actions; the associativity of tensor products is controlled by $ω$. Simple objects are parametrized in terms of projective representations of finite groups, namely of the stabilizers in $H$ of right $H$-cosets in $G$, with respect to two-cocycles defined by the …
"Co-Frobenius" coalgebras were introduced as dualizations of Frobenius algebras. Recently, it was shown in \cite{I} that they admit left-right symmetric characterizations analogue to those of Frobenius algebras: a coalgebra $C$ is co-Frobenius if and only if it is isomorphic to its rational dual. We consider the more general quasi-co-Frobenius (QcF) coalgebras; in the first main result we show that these also admit symmetric characterizations: a coalgebra is QcF if it is weakly isomorphic to its (left, or equivalently right) rational dual $Rat(C^*)$, in the sense that certain coproduct or prod…
In this paper, we introduce the notion of the pivotal cover $\mathcal{C}^{\mathsf{piv}}$ of a left rigid monoidal category $\mathcal{C}$ to develop a theoretical foundation for the theory of Frobenius-Schur (FS) indicators in "non-pivotal" settings. For an object $\mathbf{V} \in \mathcal{C}^{\mathsf{piv}}$, the $(n, r)$-th FS indicator $ν_{n, r}(\mathbf{V})$ is defined by generalizing that of an object of a pivotal monoidal category. This notion gives a categorical viewpoint to some recent results on generalizations of FS indicators. Based on our framework, we also study the FS indicators of t…
Let $U$ be a strong monoidal functor between monoidal categories. If it has both a left adjoint $L$ and a right adjoint $R$, we show that the pair $(R,L)$ is a linearly distributive functor and $(U,U)\dashv (R,L)$ is a linearly distributive adjunction, if and only if $L\dashv U$ is a Hopf adjunction and $U\dashv R$ is a coHopf adjunction. We give sufficient conditions for a strong monoidal $U$ which is part of a (left) Hopf adjunction $L\dashv U$, to have as right adjoint a twisted version of the left adjoint $L$. In particular, the resulting adjunction will be (left) coHopf. One step further,…
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 Eholz…
We study monoidal comonads on a naturally Frobenius map-monoidale $M$ in a monoidal bicategory $\mathcal M$. We regard them as bimonoids in the duoidal hom-category $\mathcal M(M,M)$, and generalize to that setting various conditions distinguishing classical Hopf algebras among bialgebras; in particular, we define a notion of antipode in that context. Assuming the existence of certain conservative functors and the splitting of idempotent 2-cells in $\mathcal M$, we show all these Hopf-like conditions to be equivalent. Our results imply in particular several equivalent characterizations of Hopf…
We discuss algebraic and representation theoretic structures in braided tensor categories C which obey certain finiteness conditions. Much interesting structure of such a category is encoded in a Hopf algebra H in C. In particular, the Hopf algebra H gives rise to representations of the modular group SL(2,Z) on various morphism spaces. We also explain how every symmetric special Frobenius algebra in a semisimple modular category provides additional structure related to these representations.
We prove a super Frobenius formula for the characters of the cyclotomic Hecke algebras by applying the super Schur-Weyl reciprocity between the quantum superalgebras and cyclotomic Hecke algebras, which is a super analogue of the Frobenius formula in (T. Shoji, J. Algebra 226: 2000, 818--856) and a cyclotomic analogue of the super Frobeinus formula in (H. Mitsuhashi, Linear Multilinear Algebra 58: 2010, 941--955).
We consider Frobenius algebras in the monoidal category of right comodules over a Hopf algebra $H$. If $H$ is a group Hopf algebra, we study a more general Frobenius type property and uncover the structure of graded Frobenius algebras. Graded symmetric algebras are also investigated.
