[论文解读] Basic concepts of ternary Hopf algebras

A. Borowiec, Wiesław A. Dudek+1 more|ArXiv.org|Jun 12, 2003

Algebraic structures and combinatorial models参考文献 14被引用 17

一句话总结

本文通过范畴论中的箭头反转法，将二元霍普夫代数结构推广至三元运算，建立了三元霍普夫代数的基础框架。研究发现三元复合乘法、双代数与霍普夫代数均存在多种类型——3种共结合类型、3种单位元类型及2种对极元类型，证明三元霍普夫代数可通过自同构与线性映射从二元霍普夫代数导出，并给出了群代数与函数代数上的具体例子。

ABSTRACT

The theory of ternary semigroups, groups and algebras is reformulated in the abstract arrow language. Then using the reversing arrow ansatz we define ternary comultiplication, bialgebras and Hopf algebras and investigate their properties. The main property "to be binary derived" is considered in detail. The co-analog of Post theorem is formulated. It is shown that there exist 3 types of ternary coassociativity, 3 types of ternary counits and 2 types of ternary antipodes. Some examples are also presented.

研究动机与目标

• 通过范畴论的箭头反转方法，将二元霍普夫代数结构推广至三元运算。
• 定义并分类三元复合乘法、双代数与霍普夫代数，识别其多种结构类型。
• 研究“由二元导出”的性质，证明三元霍普夫代数可通过自同构与线性映射从二元霍普夫代数构造而成。
• 通过群代数与函数代数的具体例子，阐明理论的应用。

提出的方法

• 使用抽象箭头记号重构三元半群、群与代数，实现系统化的对偶性。
• 应用箭头反转假设，将三元复合乘法、单位元与对极元定义为乘法的对偶形式。
• 通过涉及三种不同类型的三元复合乘法的共结合性条件，定义三元双代数。
• 利用导出运算构造方法，将三元结构与二元结构关联，证明在特定条件下有 $ m^{(3)} = m^{(2)} \times \text{id} $。
• 建立波斯特定理的对偶形式，通过自同构与商结构将三元霍普夫代数与二元霍普夫代数联系起来。
• 构造群代数 $ k(G) $ 与函数代数 $ \mathcal{F}(G) $ 的例子，证明在适当的共乘法与对极元定义下，二者均为三元双代数与三元霍普夫代数。

实验结果

研究问题

• RQ1 如何通过二元代数结构的对偶性与箭头反转，系统地定义三元霍普夫代数？
• RQ2 三元霍普夫代数中存在哪些不同的共结合类型、单位元类型与对极元类型？它们与二元情形有何区别？
• RQ3 每个三元霍普夫代数是否都能从某个二元霍普夫代数导出？若能，其条件是什么？
• RQ4 由群代数与函数代数构造的三元霍普夫代数具有哪些结构性质？
• RQ5 波斯特定理的对偶形式如何刻画三元与二元霍普夫代数之间的关系？

主要发现

• 存在恰好三种不同的三元共结合类型，源于复合乘法在三元张量积中不同位置的排列。
• 存在三种三元单位元类型，每种对应单位元映射在复合乘法结构中不同位置的配置。
• 识别出两种三元对极元类型，反映了三元结构中不同的对称性与对偶性质。
• 三元霍普夫代数结构可通过自同构 $ \phi $ 与线性映射 $ \lambda $ 从二元霍普夫代数导出，满足 $ \Delta^{(3)} = (\text{id} \otimes \phi \otimes \text{id}) \circ (\Delta^{(2)} \otimes \text{id}) $。
• 波斯特定理的对偶形式成立：对任意三元霍普夫代数 $ (H, \Delta^{(3)}) $，存在一个二元霍普夫代数 $ (H^*, \Delta^{(2)}) $，使得 $ H/H^* \simeq k(\mathbb{Z}_2) $ 且 $ (\text{id} \otimes \text{id} \otimes \text{id}) \circ \Delta^{(3)} = (\text{id} \otimes \Delta^{(2)}) \circ \Delta^{(2)} $。
• 例子表明，群代数 $ k(G) $ 与函数代数 $ \mathcal{F}(G) $ 均可赋予结合的三元乘法与相容的三元复合乘法，使其成为三元双代数，且在适当的对极元定义下，亦为三元霍普夫代数。