[论文解读] Deformations of Hom-Alternative and Hom-Malcev algebras

Mohamed Elhamdadi, Abdenacer Makhlouf|arXiv (Cornell University)|Jun 12, 2010

Advanced Topics in Algebra参考文献 35被引用 21

一句话总结

本文通过构建形变上同调群并引入基于复合的构造方法，将Gerstenhaber的形式形变理论推广至Hom-交替代数和Hom-Malcev代数。核心贡献是利用代数自同态系统地生成形式形变的程序，通过四维示例的显式计算并经由计算机代数系统验证。

ABSTRACT

The aim of this paper is to extend Gerstenhaber formal deformations of algebras to the case of Hom-Alternative and Hom-Malcev algebras. We construct deformation cohomology groups in low dimensions. Using a composition construction, we give a procedure to provide deformations of alternative algebras (resp. Malcev algebras) into Hom-alternative algebras (resp. Hom-Malcev algebras). Then it is used to supply examples for which we compute some cohomology invariants.

研究动机与目标

• 将Gerstenhaber的形式形变理论推广至Hom-交替代数和Hom-Malcev代数。
• 为这些代数在低维情形下构建形变上同调群。
• 提供一种基于复合的程序，将交替代数和Malcev代数形变为其Hom-结构。
• 通过计算机代数系统计算上同调不变量并推导显式示例。
• 建立代数自同态产生有效Hom-Malcev代数形变的条件。

提出的方法

• 通过形变参数 $ t $ 的幂级数，将Gerstenhaber的形式形变框架适配至Hom-交替代数和Hom-Malcev代数。
• 通过针对Hom-交替代数和Hom-Malcev恒等式的特定链复形定义形变上同调。
• 使用复合构造：给定一个Malcev代数 $ (A, [ , ], \text{id}) $，定义 $ [ , ]_t = \alpha_t \circ [ , ] $ 且 $ \alpha_t = \text{id} + \sum_{i \geq 1} t^i \alpha_i $，其中 $ \alpha_t $ 是一个自同态。
• 应用定理5.2，证明对任意自同态 $ \alpha_t $，$ (A, \alpha_t \circ [ , ], \alpha_t) $ 是一个Hom-Malcev代数。
• 通过 $ [ , ]_t^{(n)} = \alpha_t^{2^n - 1} \circ [ , ]_t $ 和 $ \alpha_t^{2^n} $ 构造类型2的第 $ n $ 个导出Hom-代数，证明其亦为Hom-Malcev代数。
• 使用计算机代数系统计算四维Hom-交替代数中的导子与上循环，验证形式体系。

实验结果

研究问题

• RQ1 形式形变理论如何被推广至Hom-交替代数和Hom-Malcev代数？
• RQ2 在低阶情形下，何种上同调群控制Hom-交替代数和Hom-Malcev代数的形变？
• RQ3 能否通过代数自同态的复合过程，生成交替代数和Malcev代数向其Hom-结构的有效形式形变？
• RQ4 四维Hom-交替代数中的形变具有何种显式形式？其上同调不变量为何？
• RQ5 类型2的导出Hom-代数在形变下如何保持Hom-Malcev恒等式？

主要发现

• 本文为Hom-交替代数和Hom-Malcev代数构建了形变上同调群，将Gerstenhaber的框架推广至非结合的Hom-代数结构。
• 建立了基于复合的形变程序：对于一个Malcev代数 $ (A, [ , ], \text{id}) $，若 $ \alpha_t = \text{id} + \sum_{i \geq 1} t^i \alpha_i $ 是一个自同态，则 $ (A, \alpha_t \circ [ , ], \alpha_t) $ 是一个Hom-Malcev代数的形式形变。
• 第 $ n $ 个类型2导出Hom-代数，定义为 $ [ , ]_t^{(n)} = \alpha_t^{2^n - 1} \circ [ , ]_t $ 与 $ \alpha_t^{2^n} $，被证明是Hom-Malcev代数，从而推广了形变过程。
• 在四维Hom-交替代数中进行了显式计算，包括导子与上循环，使用了计算机代数系统。
• 提供了一个示例，其中 $ \alpha_t $ 是恒等映射的形变，由此得到一个一参数族的Hom-Malcev代数，其括号与扭映射在 $ t^4 $ 阶内具有显式表达式。
• 通过验证 $ [e_0, e_1]_t^{(1)} = [ , ]_t + 2t \alpha_1 \circ [ , ]_t + t^2 \alpha_1^2 \circ [ , ]_t $ 及相应的 $ \alpha_t^2 $，确认了形变结构。