[论文解读] Kaplansky's Construction Type and Classification of Weak bialgebras and Weak Hopf algebras

Zoheir Chebel, Abdenacer Makhlouf|arXiv (Cornell University)|Jan 13, 2010

Algebraic structures and combinatorial models参考文献 19被引用 3

一句话总结

本文引入了Kaplansky型构造方法，从普通代数或双代数生成弱双代数和弱霍普夫代数，并对所有2维和3维的弱双代数与弱霍普夫代数进行了同构分类。研究识别了这些代数在一般线性群作用下的稳定子子群，揭示了不同同构类具有不同的自同构群，包括阶为2和6的群，以及由复参数参数化的族。

ABSTRACT

In this paper, we study weak bialgebras and weak Hopf algebras. These algebras form a class wider than bialgebras respectively Hopf algebras. The main results of this paper are Kaplansky's constructions type which lead to weak bialgebras or weak Hopf algebras starting from a regular algebra or a bialgebra. Also we provide a classification of 2-dimensional and 3-dimensional weak bialgebras and weak Hopf algebras. We determine then the stabilizer group and the representative of these classes, the action being that of the linear group.

研究动机与目标

• 将Kaplansky的双代数构造方法扩展至弱双代数与弱霍普夫代数。
• 对2维和3维有限维弱双代数与弱霍普夫代数的所有同构类进行分类。
• 计算这些代数在一般线性群作用下的稳定子子群。
• 证明弱双代数与弱霍普夫代数的集合构成一个纤维化于线性群作用的代数簇，其轨道对应于同构类。

提出的方法

• 将Kaplansky的构造技术适配于从任意代数或双代数生成弱双代数与弱霍普夫代数。
• 使用Sweedler的余乘法记号，并通过三个关键恒等式定义兼容性条件：余乘法作为代数同态、弱单位保持性，以及弱余单位乘法性。
• 通过一般线性群GL(V)在弱双代数结构空间上的作用，利用轨道定义同构类。
• 推导出两个弱双代数之间同构的显式矩阵条件（公式4.1–4.3），以结构常数和线性变换矩阵表示。
• 在特定基假设下，通过逐案求解方程组，对2维和3维代数进行分类。
• 通过将同构条件代入恒等变换求解，计算自同构群，结果根据代数结构呈现离散或连续群。

实验结果

研究问题

• RQ1 Kaplansky的构造方法如何推广以从普通代数或双代数生成弱双代数与弱霍普夫代数？
• RQ2 在特征为零的代数闭域上，2维和3维弱双代数与弱霍普夫代数的完整同构类是什么？
• RQ3 这些代数在一般线性群GL(V)作用下的稳定子子群是什么？
• RQ4 在低维情形下，弱双代数与弱霍普夫代数的自同构群在不同同构类中如何变化？
• RQ5 弱双代数与弱霍普夫代数的空间能否被描述为纤维化于GL(V)-轨道的代数簇？

主要发现

• 共有11个同构类的3维弱双代数，其中10个的自同构群阶为6，而第18类具有由复参数参数化的连续自同构群。
• 2维弱双代数的自同构群阶为2，由一个矩阵（1,1; 0,-1）生成。
• 对于3维弱双代数，第(1)至(11)类的自同构群同构于对称群S3，由两个特定的3×3矩阵生成。
• 第(18)类的自同构群同构于一个含复参数r和e（满足4e - r² ≠ 0）的一族矩阵。
• 第(20)类的自同构群由参数r和e（满足4e + r² ≠ 0）参数化，同样构成一族一维参数群。
• 所有3维弱霍普夫代数的自同构群阶均为6，同构于S3，与弱双代数中第(1)至(11)类的群结构一致。