[论文解读] Bialgebra structures of 2-associative algebras

Khadra Dekkar, Abdenacer Makhlouf|ArXiv.org|Sep 6, 2008

Advanced Topics in Algebra参考文献 14被引用 4

一句话总结

本文通过将卡普兰斯基本构造从结合代数推广，引入并分类了新的双代数结构——2-结合双代数、2-双代数和2-2-双代数。它使用两个结合代数提供了显式构造，并在维度2和3内对所有此类结构进行了分类，识别出13个平凡的2-结合双代数，以及25个类型为(1,1)的2-双代数的同构类，并对低维情形下的非同构例子进行了完整枚举。

ABSTRACT

This work is devoted to study new bialgebra structures related to 2-associative algebras. A 2-associative algebra is a vector space equipped with two associative multiplications. We discuss the notions of 2-associative bialgebras, 2-bialgebras and 2-2-bialgebras. The first structure was revealed by J.-L. Loday and M. Ronco in an analogue of a Cartier-Milnor-Moore theorem, the second was suggested by Loday and the third is a variation of the second one. The main results of this paper are the construction of 2-associative bialgebras, 2-bialgebras and 2-2-bialgebras starting from an associative algebra and the classification of these structures in low dimensions.

研究动机与目标

• 引入并形式化新的双代数结构——2-结合双代数、2-双代数和2-2-双代数，将卡蒂埃-米勒-莫尔定理推广至非余交换情形。
• 将卡普兰斯基的双代数构造推广，从任意两个结合代数生成2-结合双代数及相关结构。
• 对域上维度为2和3的所有单位元2-结合双代数、2-双代数和2-2-双代数进行分类。
• 识别并枚举这些结构的非同构例子，特别关注其与无穷小双代数和罗塔-巴克斯待代数的联系。
• 提供低维情形下余乘法和余单位的显式公式，以支持结构与计算分析。

提出的方法

• 将卡普兰斯基的双代数构造适配于从两个结合代数生成2-结合双代数，使用张量积结构和相容性条件。
• 将2-结合双代数定义为带有两个结合乘法的向量空间，其余乘法和余单位满足代数同态条件的相容性。
• 应用余自由余代数的普遍性质，从结合代数构造双代数，确保乘法与余乘法之间的相容性。
• 通过在维度2和3的基下使用余乘法和余单位的显式矩阵表示，利用案例分析对结构进行分类。
• 施加单位元性和无穷小双代数条件，以限制可能双代数的空间，并识别罗塔-巴克斯待代数候选者。
• 使用同构不变量和结构约束，枚举2-双代数和2-2-双代数的非同构类。

实验结果

研究问题

• RQ1 如何将双代数结构推广，以包含两个相容的结合乘法和两个相容的余乘法？
• RQ2 在何种条件下，两个结合代数可通过卡普兰斯基构造生成2-结合双代数？
• RQ3 在维度2和3中，存在多少个非同构的2-结合双代数、2-双代数和2-2-双代数？
• RQ4 其中哪些双代数具有无穷小双代数结构，它们与罗塔-巴克斯待代数有何关系？
• RQ5 2-2-双代数的分类是什么？在维度3中是否存在唯一的一个？

主要发现

• 存在13个非同构的3维平凡2-结合双代数（两个运算上的乘法相同）。
• 在维度3中，类型为(1,1)的2-双代数有25个同构类，类型为(1,2)的有159个，类型为(2,1)的有1个，类型为(2,2)的有3个。
• 在维度3中仅存在一个2-2-双代数，其由乘法对μ₁³和μ₂³以及特定的余乘法Δ₁,₅³和Δ₂,₁³明确给出。
• 单位元无穷小双代数已被枚举：μ₁³有8个，μ₂³有2个，μ₃³有2个，μ₅³有1个，μ₄³有0个。
• 对于乘法μ₄³，不存在任何双代数结构，表明该情况下存在结构性障碍。
• 乘法对(μ₁³, μ₂³)与余乘法Δ₁,₅³和Δ₂,₁³构成唯一的3维2-2-双代数，证实了其唯一性。