arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math/9912068math.QA
收藏

双完全霍普夫代数

Biperfect Hopf Algebras

Pavel Etingof, Shlomo Gelaki, Robert Guralnick, Jan Saxl

摘要:

回想一下,如果有限群没有非平凡的1维表示(在复数C上),则称之为完全群。通过类比,我们说C上的有限维霍普夫代数H是完美的,如果任何一维H-模是平凡的。假设H是双完全的,如果H和H ^* 都是完全的。注意,H是双完美的当且仅当它的量子偶D(H)是双完美的。构造维数大于1的双完美霍普夫代数是不容易的。这篇文章的目的是描述我们所知道的最简单的例子。我们构造的双完全霍普夫代数H是基于24次Mathiew群的,它是半单的.因此,它对前两位作者之前的论文(math. QA/9905168)中的问题7.5给出了否定的答案。也就是说,证明了本文的推论7.4关于C上的三角半单霍普夫代数有非平凡类群元的结论在拟三角情形下是不成立的。反例是量子双D(H)。

英文摘要:

Recall that a finite group is called perfect if it does not have non-trivial 1-dimensional representations (over the field of complex numbers C). By analogy, let us say that a finite dimensional Hopf algebra H over C is perfect if any 1-dimensional H-module is trivial. Let us say that H is biperfect if both H and H^* are perfect. Note that, H is biperfect if and only if its quantum double D(H) is biperfect. It is not easy to construct a biperfect Hopf algebra of dimension >1. The goal of this note is to describe the simplest such example we know. The biperfect Hopf algebra H we construct is based on the Mathiew group of degree 24, and it is semisimple. Therefore, it yields a negative answer to Question 7.5 from a previous paper of the first two authors (math.QA/9905168). Namely, it shows that Corollary 7.4 from this paper stating that a triangular semisimple Hopf algebra over C has a non-trivial group-like element, fails in the quasitriangular case. The counterexample is the quantum double D(H).

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑