Kenichi Shimizu
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We give an explicit description, up to gauge equivalence, of group-theoretical quasi-Hopf algebras. We use this description to compute the Frobenius-Schur indicators for group-theoretical fusion categories.
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.
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.
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.
This note extends Radford's formula for the fourth power of the antipode of a finite dimensional Hopf algebra to co-Frobenius Hopf algebras and studies equivalent conditions to a Hopf algebra being involutory for finite dimensional and co-Frobenius Hopf algebras.
We investigate the transformed Hopf algebras in Hopf Galois extensions. The final goal of this paper is to introduce certain triangular Hopf algebras associated with restricted Frobenius Lie algebras over a field of characteristic $p>0$.
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.
On Frobenius-Schur exponent bounds
本文推广拟Hopf代数表示论中的界，研究球面融合范畴的Frobenius-Schur指数界，证明模融合范畴在素数幂情形下的最优界，并在伪酉条件下给出达到最优界的完全分类及Frobenius-Perron维数$p^5$的显式分类。
The quantum Frobenius map and it splitting are shown to descend to corresponding maps for generalized $q$-Schur algebras at a root of unity. We also define analogs of $q$-Schur algebras for any affine algebra, and prove the corresponding results for them.
We define higher Frobenius-Schur indicators for objects in linear pivotal monoidal categories. We prove that they are category invariants, and take values in the cyclotomic integers. We also define a family of natural endomorphisms of the identity endofunctor on a $k$-linear semisimple rigid monoidal category, which we call the Frobenius-Schur endomorphisms. For a $k$-linear semisimple pivotal monoidal category -- where both notions are defined --, the Frobenius-Schur indicators can be computed as traces of the Frobenius-Schur endomorphisms.
Mason and Ng have given a generalization to semisimple quasi-Hopf algebras of Linchenko and Montgomery's generalization to semisimple Hopf algebras of the classical Frobenius-Schur theorem for group representations. We give a simplified proof, in particular a somewhat conceptual derivation of the appropriate form of the Frobenius-Schur indicator that indicates if and in which of two possible fashions a given simple module is self-dual.
A Lie Correspondence in the Setting of Hopf and Frobenius Algebras
本文在 Hopf 与 Frobenius 代数框架下引入 Hopf-Frobenius 模，构造相应的 Lie 群与 Lie 代数，并证明经典 Lie 对应是该构造的特例。
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 study Frobenius 1-morphisms $ı$ in an additive bicategory $\c$ satisfying the depth 2 condition. We show that the 2-endomorphism rings $\c^2(ı\x\ib,ı\x\ib)$ and $\c^2(\ib\xı,\ib\xı)$ can be equipped with dual Hopf algebroid structures. We prove also that a Hopf algebroid appears as the solution of the above abstract symmetry problem if and only if it possesses a two sided non-degenerate integral.
We propose a detailed systematic study of a group H^2_L(A) associated, by elementary means of lazy 2-cocycles, to any Hopf algebra A. This group was introduced by Schauenburg (with a different name) in order to generalize G.I. Kac's exact sequence. We study the various interplays of lazy cohomology in Hopf algebra theory: Galois and biGalois objects, Brauer groups and projective representations. We obtain a Kac-Schauenburg-type sequence for double crossed products of possibly infinite-dimensional Hopf algebras. Finally the explicit computation of H^2_L(A) for monomial Hopf algebras and for a c…
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 …
Quantum Schur-Weyl duality and q-Frobenius formula related to Reflection Equation algebras
本文建立以 Hecke 代数和 Reflection Equation 代数为核心的量子 Schur-Weyl 对偶性，并构造 Schur 多项式与幂和的类似物，证明经由 Hecke 代数特征标的 q-Frobenius 公式。
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.
Let k be any field. We consider the Hopf-Schur group of k, defined as the subgroup of the Brauer group of k consisting of classes that may be represented by homomorphic images of Hopf algebras over k. We show here that twisted group algebras and abelian extensions of k are quotients of cocommutative and commutative Hopf algebras over k, respectively. As a consequence we prove that any tensor product of cyclic algebras over k is a quotient of a Hopf algebra over k, revealing so that the Hopf-Schur group can be much larger than the Schur group of k.
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 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 extend to the co-Frobenius case a result of Drinfeld and Radford related to the fourth power of the antipode of a finite dimensional (co)quasitriangular Hopf algebra.
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.
We study quasi-Hopf algebras and their subobjects over certain commutative rings from the point of view of Frobenius algebras. We introduce a type of Radford formula involving an anti-automorphism and the Nakayama automorphism of a Frobenius algebra, then view several results in quantum algebras from this vantage-point. In addition, separability and strong separability of quasi-Hopf algebras are studied as Frobenius algebras.
We prove that a Hopf algebra with a finite coradical filtration is co-Frobenius, i. e. there is a non-zero integral on it. As a consequence, we show that algebras of functions on quantum groups at roots of one are co-Frobenius. We also characterize co-Frobenius Hopf algebras with coradical a Hopf subalgebra. This characterization is in the framework of the lifting method due to H.-J. Schneider and the first-named author. Here is our main result. Let H be a Hopf algebra whose coradical is a Hopf subalgebra. Let gr H be the associated graded Hopf algebra and let R be the diagram of H. Then the f…
Let g be a finite dimensional complex semisimple Lie algebra, and let V be a finite dimensional represenation of g. We give a closed formula for the mth Frobenius-Schur indicator, m>1, of V in representation-theoretic terms. We deduce that the indicators take integer values, and that for a large enough m, the mth indicator of V equals the dimension of the zero weight space of V. For the classical Lie algebras sl(n), so(2n), so(2n+1) and sp(2n), this is the case for m greater or equal to 2n-1, 4n-5, 4n-3 and 2n+1, respectively.
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.
Surface Diagrams for Frobenius Algebras and Frobenius-Schur Indicators in Grothendieck-Verdier Categories
该研究为Grothendieck-Verdier范畴建立三维曲面图演算，推广刚性幺半范畴的Frobenius代数性质，引入高阶Frobenius-Schur示性数并证明其等价不变性，配套提供图形证明助手辅助文件。
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 show that a left-rigid monoidal C^*-category with irreducible monoidal unit is also a sovereign and spherical category. Defining a Frobenius-Schur type indicator we obtain selection rules for the fusion coefficients of irreducible objects. As a main result we prove S_4-invariance of 6j-symbols in such a category.
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…
We study the higher Frobenius-Schur indicators of modules over semisimple Hopf algebras, and relate them to other invariants as the exponent, the order, and the index. We prove various divisibility and integrality results for these invariants. In particular, we prove a version of Cauchy's theorem for semisimple Hopf algebras. Furthermore, we give some examples that illustrate the general theory.
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…
Frobenius monoidal functors induced by Frobenius extensions of Hopf algebras
本文研究了由霍普夫代数的弗罗贝尼乌斯扩展诱导的单子函子，证明其在一般情况下为弗罗贝尼乌斯单子函子，并探讨了其在 Yetter-Drinfeld 模拟中的扩展条件。
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 …
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 …
The Young Tableaux Hopf algebra and multiple Schur series
研究引入多重舒尔级数，通过构建杨表格霍普夫代数研究其代数结构，建立多种关系并关联对称函数环，得到多项式约化公式，还恢复了舒尔多重zeta值等并讨论其（拟）模性。
Frobenius--Schur indicators for twisted Real representation theory and two dimensional unoriented topological field theory
本研究基于有限分次群、扭曲2-上循环与特征标，结合扭曲实表示论构建二维无定向开/闭拓扑场论，明确其底层定向理论为扭曲Dijkgraaf-Witten理论，并给出边界条件与交叉帽态的对应关系。
In Section 1 we introduce Frobenius coordinates in the general setting that includes Hopf subalgebras. In Sections 2 and 3 we review briefly the theories of Frobenius algebras and augmented Frobenius algebras with some new material in Section 3. In Section 4 we study the Frobenius structure of an FH-algebra H \cite{Par72} and extend two recent theorems in \cite{EG}. We obtain two Radford formulas for the antipode in H and generalize in Section 7 the results on its order in \cite{FMS}. We study the Frobenius structure on an FH-subalgebra pair in Sections 5 and 6. In Section 8 we show that the q…
We study when induction functors (and their adjoints) between categories of Doi-Hopf modules and, more generally, entwined modules are separable, resp. Frobenius. We present a unified approach, leading to new proofs of old results by the authors, as well as to some new ones. Also our methods provide a categorical explanation for the relationship between separability and Frobenius properties.
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 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…
In this paper, we obtain a canonical central element $ν_H$ for each semi-simple quasi-Hopf algebra $H$ over any field $k$ and prove that $ν_H$ is invariant under gauge transformations. We show that if $k$ is algebraically closed of characteristic zero then for any irreducible representation of $H$ which affords the character $χ$, $χ(ν_H)$ takes only the values 0, 1 or -1, moreover if $H$ is a Hopf algebra or a twisted quantum double of a finite group then $χ(ν_H)$ is the corresponding Frobenius-Schur Indicator. We also prove an analog of a Theorem of Larson-Radford for split semi-simple quasi-…
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…
Frobenius functors and one-sided Hopf algebras in braided monoidal categories
本文在辫子幺半范畴中证明：双幺半群为单侧Hopf幺半群且对映体为反同态，当且仅当自由Hopf模函子是Frobenius的，并给出自由单侧Hopf幺半群的构造及例子。
If G is a finite group and k is a field, there is a natural construction of a Hopf algebra over k associated to G, the Drinfel'd double D(G). We prove that if G is any finite real reflection group with Drinfel'd double D(G) over an algebraically closed field k of characteristic not 2, then every simple D(G)-module has Frobenius-Schur indicator +1. This generalizes the classical results for modules over the group itself. We also prove some new results about Weyl groups. In particular, we prove that any abelian subgroup is inverted by some involution. Also, if E is any elementary abelian 2-subgr…
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.
The Hopf category of Frobenius algebras
本研究证明Frobenius代数间的通用测量余代数与余测量代数可分别使其范畴成为Hopf范畴与Hopf反范畴，推广了相关经典结论，还涉及有限特征下的例子及拓扑量子场论相关思考。
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.
In this paper we show that for an important class of non-trivial Hopf algebras, the Schur indicator is a computable invariant. The Hopf algebras we consider are all abelian extensions; as a special case, they include the Drinfeld double of a group algebra. In addition to finding a general formula for the indicator, we also study when it is always positive. In particular we prove that the indicator is always positive for the Drinfeld double of the symmetric group, generalizing the classical result for the symmetric group itself.
Generalizations of Frobenius-Schur indicators from Kuperberg invariants
本文利用满足容许条件的带梳化 Heegaard 图计算标架三维流形的 Kuperberg 不变量，将其推广为任意有限维 Hopf 代数的规范不变量，并在透镜空间与同调球面上验证其范畴不变性。
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 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.
For a certain kind of tensor functor $F: \mathcal{C} \to \mathcal{D}$, we define the relative modular object $χ_F \in \mathcal{D}$ as the "difference" between a left adjoint and a right adjoint of $F$. Our main result claims that, if $\mathcal{C}$ and $\mathcal{D}$ are finite tensor categories, then $χ_F$ can be written in terms of a categorical analogue of the modular function on a Hopf algebra. Applying this result to the restriction functor associated to an extension $A/B$ of finite-dimensional Hopf algebras, we recover the result of Fischman, Montgomery and Schneider on the Frobenius type …
In this paper, we construct the q-analogue of Poirier-Reutenauer algebras, related deeply with other q-combinatorial Hopf algebras. As an application, we use them to realize the odd Schur functions defined in \cite{EK}, and naturally obtain the odd Littlewood-Richardson rule concerned in \cite{Ell}. Moreover, we construct the refinement of the odd Schur functions, called odd quasisymmetric Schur functions, parallel to the consideration in \cite{HLMW1}. All the q-Hopf algebras we discuss here provide the corresponding q-dual graded graphs in the sense of \cite{BLL}.
The theory of integrals is used to analyse the structure of Hopf algebroids, introduced in math.QA/0302325. We prove that the total algebra of the Hopf algebroid is a separable extension of the base algebra if and only if it is a semi-simple extension and if and only if the Hopf algebroid possesses a normalized integral. The total algebra of a finitely generated and projective Hopf algebroid is a Frobenius extension of the base algebrahe Hopf algebroid possesses anormalized integral. We give also a sufficient and necessary condition in terms of integrals under which it is a quasi-Frobenius ext…
Let $U:\mathcal{C}\rightarrow\mathcal{D}$ be a strong monoidal functor between abelian monoidal categories admitting a right adjoint $R$, such that $R$ is exact, faithful and the adjunction $U\dashv R$ is coHopf. Building on the work of Balan, we show that $R$ is separable (resp., special) Frobenius monoidal if and only if $R(\mathbb{1}_{\mathcal{D}})$ is a separable (resp., special) Frobenius algebra in $\mathcal{C}$. If further, $\mathcal{C},\mathcal{D}$ are pivotal (resp., ribbon) categories and $U$ is a pivotal (resp., braided pivotal) functor, then $R$ is a pivotal (resp., ribbon) functor…
We prove that a quasi-bialgebra admits a preantipode if and only if the associated free quasi-Hopf bimodule functor is Frobenius, if and only if the relative (opmonoidal) monad is a Hopf monad. The same results hold in particular for a bialgebra, tightening the connection between Hopf and Frobenius properties.
Frobenius-Schur Indicators of Dual Fusion Categories and Semisimple Partially Dualized Quasi-Hopf Algebras
本文研究球面融合范畴的对偶范畴中对象的Frobenius-Schur指标，建立特定对象指标间的关系，并推导出半单Hopf代数及其部分对偶化quasi-Hopf代数的指标公式与指数等式。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。