[论文解读] Hom-Lie admissible Hom-coalgebras and Hom-Hopf algebras

Abdenacer Makhlouf, Sergei Silvestrov|ArXiv.org|Sep 15, 2007

Advanced Topics in Algebra参考文献 8被引用 22

一句话总结

本文引入了同态李可适同态余代数与同态霍普夫代数，作为经典李可适余代数与霍普夫代数的扭曲推广，通过扭曲结合律与余结合律扩展同态代数结构。建立了 $G$-同态余代数与 $G$-同态代数之间的对偶性，定义了带有反积的同态霍普夫代数，并证明了反积的唯一性以及关键恒等式如 $ε \circ S = \u03b5$，为非结合代数系统中的形变理论提供了基础结构。

ABSTRACT

The aim of this paper is to generalize the concept of Lie-admissible coalgebra introduced by Goze and Remm to Hom-coalgebras and to introduce Hom-Hopf algebras with some properties. These structures are based on the Hom-algebra structures introduced by the authors.

研究动机与目标

• 通过引入同态李可适同态余代数，将李可适余代数推广至同态代数框架。
• 将同态霍普夫代数定义为经典霍普夫代数的扭曲类比，包括反积及模/余模结构。
• 为子群 $G \subset S_3$ 建立 $G$-同态余代数与 $G$-同态代数之间的对偶性，将李可适框架扩展至余代数。
• 为同态结合代数、同态余结合余代数及其模/余模结构提供基础定义与性质。
• 对低维同态双代数进行分类，并识别哪些结构可赋予同态霍普夫代数结构，尤其关注二维情形。

提出的方法

• 通过扭曲结合律条件定义同态结合代数：$\mu(\alpha(x) \otimes \mu(y \otimes z)) = \mu(\mu(x \otimes y) \otimes \alpha(z))$。
• 将同态结合代数对偶化，通过在余乘法 $\Delta$ 上施加扭曲余结合律条件，定义同态余结合余代数。
• 通过推广余交换子与 $\beta$-扭曲余雅克比和，引入同态李可适同态余代数，以捕捉扭曲的反对称性与余雅克比恒等式。
• 为子群 $G \subset S_3$ 引入 $G$-同态余代数，以在余代数框架中建模置换对称性，并证明其为同态李可适结构。
• 通过添加满足 $S \star \mathrm{id} \star S = \eta \circ \varepsilon$ 的反积 $S$ 来构造同态霍普夫代数，并证明其唯一性及关键恒等式如 $\varepsilon \circ S = \varepsilon$。
• 通过相容线性映射与扭曲交换图，定义同态结合代数与同态余结合余代数上的模与余模结构。

实验结果

研究问题

• RQ1 如何将李可适余代数的概念推广至具有扭曲结构映射的同态代数框架？
• RQ2 同态余代数要具备具有良好定义的反积的同态霍普夫代数结构，其必要且充分条件是什么？
• RQ3 子群 $G \subset S_3$ 的 $G$-同态余代数与 $G$-同态代数之间如何通过对偶性关联？它们满足哪些性质？
• RQ4 同态霍普夫代数中反积的结构性质是什么？它们如何推广经典霍普夫代数恒等式？
• RQ5 哪些二维同态结合代数可赋予同态双代数或同态霍普夫代数结构？其余乘法与反积性质如何？

主要发现

• 本文从乘法为 $\mu_1$ 且具有特定自同态 $\alpha_1$ 的同态结合代数出发，构造了一个二维同态霍普夫代数，其中余乘法为 $\Delta(e_1) = e_1 \otimes e_1$，$\Delta(e_2) = e_2 \otimes e_2$，反积由单位矩阵给出。
• 在分类中，仅同态双代数 (2) 具有同态霍普夫代数结构，满足 $\varepsilon(e_2) = 0$，$\Delta(e_2) = e_1 \otimes e_2 + e_2 \otimes e_1 - 2e_2 \otimes e_2$，且反积 $S(e_2) = e_2$，满足 $S \star \mathrm{id} \star S = \eta \circ \varepsilon$。
• 同态霍普夫代数中的反积是唯一的，并满足 $\varepsilon \circ S = \varepsilon$，推广了经典霍普夫代数恒等式。
• 对于由 $\mu_2$ 定义的同态结合代数，无论 $\alpha_2$ 如何选择，均不存在同态双代数结构，表明存在阻碍其扩展为同态霍普夫代数的结构性障碍。
• 建立了 $G$-同态余代数与 $G$-同态代数之间的对偶性，表明 $G$-同态余代数为同态李可适结构，并继承自其代数对偶的结构性质。
• 通过满足扭曲交换图的相容线性映射，定义了同态结合代数与同态余结合余代数上的模与余模结构，且代数在自身上的自然作用是典型示例。