Yevgenia Kashina, Yorck Sommerhaeuser, Yongchang Zhu
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
In this note we prove a generalization of the Frobenius-Schur theorem for finite groups for the case of semisimple Hopf algebra over an algebraically closed field of characteristic 0. A similar result holds in characteristic $p > 2$ if the Hopf algebra is also cosemisimple. In fact we show a more general version for any finite-dimensional semisimple algebra with an involution.
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.
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 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.
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 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 $…
Generalizations of Frobenius-Schur indicators from Kuperberg invariants
本文利用满足容许条件的带梳化 Heegaard 图计算标架三维流形的 Kuperberg 不变量，将其推广为任意有限维 Hopf 代数的规范不变量，并在透镜空间与同调球面上验证其范畴不变性。
Frobenius-Schur Indicators of Dual Fusion Categories and Semisimple Partially Dualized Quasi-Hopf Algebras
本文研究球面融合范畴的对偶范畴中对象的Frobenius-Schur指标，建立特定对象指标间的关系，并推导出半单Hopf代数及其部分对偶化quasi-Hopf代数的指标公式与指数等式。
We study the representations and their Frobenius-Schur indicators of two semisimple Hopf algebras related to the symmetric group $S_n$, namely the bismash products $H_n = k^{C_n}# kS_{n-1}$ and its dual $J_n = k^{S_{n-1}}# kC_n = (H_n)^*,$ where $k$ is an algebraically closed field of characteristic 0. Both algebras are constructed using the standard representation of $S_n$ as a factorizable group, that is $S_n = S_{n-1}C_n = C_nS_{n-1}$. We prove that for $H_n$, the indicators of all simple modules are +1. For the dual Hopf algebra $J_n = k^{S_{n_1}}# kC_n$, the indicator can have values eith…
A classical theorem of I. Schur states that the degree of any irreducible complex representation of a finite group $G$ divides the order of $G/\mathscr{Z} G$, where $\mathscr{Z} G$ is the center $G$. This note discusses similar divisibility results for certain classes of Hopf algebras.
Handle element on nearly Frobenius algebras
本研究将Frobenius代数的handle element概念推广到近Frobenius代数，分析其性质并构造实例，同时推广Casimir与Schur元素，明确相关结论在新框架下的成立情况。
We prove that all irreducible representations of the bismash product $H = \mathbb{k} ^G \# \mathbb{k} S_{n-k}$ have Frobenius-Schur indicators +1 or 0 where $\mathbb{k}$ is an algebraically closed field and $S_n = S_{n-k}\cdot G$ is an exact factorization. Moreover, we have an description of those simple modules which are not self-dual. We prove some new results for bismash products in general and make conjectures about bismash products that arise from other exact factorizations of $S_n$.
In this paper, we define the higher Frobenius-Schur (FS-)indicators for finite-dimensional modules $V$ of a semisimple quasi-Hopf algebra $H$ via the categorical counterpart developed in \cite{NS05}. We prove that this definition of higher FS-indicators coincides with the higher indicators introduced by Kashina, Sommerhäuser, and Zhu when $H$ is a Hopf algebra. We also obtain a sequence of canonical central elements of $H$, which is invariant under gauge transformations, whose values, when evaluated by the character of an $H$-module $V$, are the higher Frobenius-Schur indicators of $V$. As an …
In the first part of this paper we present explicit formulas for primitive idempotents in arbitrary Frobenius algebras using the entries of representing matrices coming from projective indecomposable modules with respect to a certain choice of basis. The proofs use a generalisation of the well known Frobenius-Schur relations for semisimple algebras. The second part of this paper considers $\Oh$-free $\Oh$-algebras of finite $\Oh$-rank over a discrete valuation ring $\Oh$ and their decomposition maps under modular reduction modulo the maximal ideal of $\Oh$, thereby studying the modular represe…
We show that there exists cosemisimple Hopf algebras of arbitrary finite even order. We also discuss the Schur indicator for such Hopf algebras.
The V/L recursion for Macdonald's 7th Variation Schur polynomials
本文推广并证明了 Macdonald 为其 Schur 函数“第7变体”猜想的一个递归关系，该变体是有限域上利用 Frobenius 幂模拟（直和斜）Schur 多项式的一族多项式。
The semisimple bismash product Hopf algebra $J_n=k^{S_{n-1}}\#kC_n$ for an algebraically closed field $k$ is constructed using the matched pair actions of $C_n$ and $S_{n-1}$ on each other. In this work, we reinterpret these actions and use an understanding of the involutions of $S_{n-1}$ to derive a new Froebnius-Schur indicator formula for irreps of $J_n$ and show that for $n$ odd, all indicators of $J_n$ are nonnegative. We also derive a variety of counting formulas including Theorem 6.2.2 which fully describes the indicators of all $2$-dimensional irreps of $J_n$ and Theorem 6.1.2 which fu…
We prove that the kernel of the natural action of the modular group on the center of the Drinfel'd double of a semisimple Hopf algebra is a congruence subgroup. To do this, we introduce a class of generalized Frobenius-Schur indicators and endow it with an action of the modular group that is compatible with the original one.
We study the categorical notion of braid gauging and obtain its classical Hopf algebraic description. We demonstrate how braid gauging can provide new insights on certain categorical invariants, such as the fusion rules and the higher Frobenius-Schur indicators. The running example for the paper is the category $\operatorname{Rep}(D(G))\cong \mathcal{Z}(\text{Vec}_G)$, whose braid gaugings are studied in-depth.
We classify Hopf actions of Taft algebras T(n) on path algebras of quivers, in the setting where the quiver is loopless, finite, and Schurian. As a corollary, we see that every quiver admitting a faithful Z_n-action (by directed graph automorphisms) also admits inner faithful actions of a Taft algebra. Several examples for actions of the Sweedler algebra T(2) and for actions of T(3) are presented in detail. We then extend the results on Taft algebra actions on path algebras to actions of the Frobenius-Lusztig kernel u_q(sl_2), and to actions of the Drinfeld double of T(n).
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。