[论文解读] Braided Hopf algebras over non abelian finite groups

Nicolás Andruskiewitsch, M. Graña|ArXiv.org|Feb 16, 1998

Algebraic structures and combinatorial models参考文献 24被引用 79

一句话总结

本文研究了非交换有限群的群代数上的Yetter–Drinfeld范畴中辫子Hopf代数的理论，重点关注具有平凡余根基的有限维分次Hopf代数（TOBAs）。文章从Yetter–Drinfeld模出发，提出了三种此类代数的构造方法，建立了其由本原元素空间分类的理论，并给出了二面体群与对称群上的显式例子，包括从$D}_4$上的4维模构造出的64维代数。主要贡献在于构建了一个系统框架，通过玻色化将辫子Hopf代数与指向Hopf代数联系起来。

ABSTRACT

This is a survey of general aspects of the theory of braided Hopf algebras with emphasis on a special class of braided graded Hopf algebras named tobas. The interest on tobas arises from problems of classification of pointed Hopf algebras. We discuss tobas from different points of view following ideas of Lusztig, Nichols and Schauenburg. We then concentrate on braided Hopf algebras in the Yetter-Drinfeld category over H, where H is the group algebra of a non abelian finite group. We present some finite dimensional examples arising in an unpublished work by Milinski and Schneider.

研究动机与目标

• 发展非交换有限群的群代数上的Yetter–Drinfeld范畴中辫子Hopf代数的理论。
• 通过其本原元素空间对有限维分次辫子Hopf代数（TOBAs）进行分类。
• 从给定的Yetter–Drinfeld模出发，通过量子shuffle、普遍性质以及一种新双线性形式，提供多种TOBA的构造方法。
• 呈现来自Milinski与Schneider未发表工作的显式有限维例子，特别是关于$S}_3$与$D}_4$的例子。
• 确立这些代数的玻色化形式为具有已知余根基结构的指向Hopf代数。

提出的方法

• 以有限非交换群$\Gamma$的群代数$H = \mathbb{k}\Gamma$为基，使用Yetter–Drinfeld范畴${}^{H}_{H}{\cal YD}$作为辫子Hopf代数的环境范畴。
• 应用玻色化（或双积）构造，将辫子Hopf代数与指向Hopf代数联系起来。
• 利用量子shuffle代数与普遍性质，从Yetter–Drinfeld模$V$构造TOBA，确保$R(1) \cong V$。
• 引入一种新构造方法，通过双线性形式定义TOBA$\mathfrak{t}(V)$，受Lusztig与Schauenburg的启发。
• 利用Diamond引理计算所得代数的维数，特别是$D}_4$例子。
• 通过显式生成元与关系表示，验证玻色化代数中的关系，包括群-型与本原-型元素。

实验结果

研究问题

• RQ1 如何系统地构造并分类非交换有限群上的Yetter–Drinfeld范畴中的辫子Hopf代数？
• RQ2 TOBA的本原元素空间与其底层Yetter–Drinfeld模之间有何关系？
• RQ3 能否通过双线性形式定义一种新的TOBA构造方法？其与现有基于量子shuffle的方法相比如何？
• RQ4 对称群与二面体群上的显式有限维TOBA的维数与定义关系为何？
• RQ5 当$n > 4$或$p > 4$时，代数$R^n_p$在多大程度上仍为有限维？

主要发现

• TOBA$\mathfrak{t}(V)$由其本原元素空间$V = \mathcal{P}(R)$唯一确定（模同构），建立了分类结果。
• 当$\Gamma = \mathbb{S}_3$时，玻色化代数的维数为72，余根基同构于$\mathbb{k}\mathbb{S}_3$，其显式生成元与关系包括$g_i^2 = 1$，$g_1g_0g_1 = g_0g_1g_0$，以及$y_i^2 = 0$。
• 在$\mathbb{D}_4$上，通过将4维Yetter–Drinfeld模上的张量代数模去关系$z_i^2 = 0$，$z_iz_j + z_jz_i = 0$（当$i,j$同奇偶时），以及关于$a = z_1z_2 + z_0z_1$与$b = z_1z_0 + z_2z_1$的附加二次关系，构造出一个64维的TOBA，该结果经由Diamond引理确认。
• 证明了代数$R^1_4$为有限维，但$R^1_n$在$n > 4$时的有限维性仍为开放问题。
• 有限辫子Hopf代数中的积分空间被证明为可逆对象，从而导出了标准结果的辫子类比，例如对合反演算子的双射性。