[论文解读] Notes on Cohomologies of Ternary Algebras of Associative Type

H. Ataguema, Abdenacer Makhlouf|arXiv (Cornell University)|Dec 3, 2008

Advanced Topics in Algebra参考文献 37被引用 5

一句话总结

本文研究了结合型三元代数的上同调理论，重点关注部分结合与弱完全结合三元代数。研究证明，由于不存在3-上边界算子，无法为部分结合三元代数构建形变上同调，这意味着其操作子不是Koszul型的。研究还表明，Takhtajan的上同调构造在结合型三元代数中不成立，并将类似结果推广至斜结合二元代数。

ABSTRACT

The aim of this paper is to investigate the cohomologies for ternary algebras of associative type. We study in particular the cases of partially associative ternary algebras and weak totally associative ternary algebras. Also, we consider the Takhtajan's construction, which was used to construct a cohomology of ternary Nambu-Lie algebras using Chevalley-Eilenberg cohomology of Lie algebras, and discuss it in the case of ternary algebras of associative type. One of the main results of this paper states that a deformation cohomology does not exist for partially associative ternary algebras which implies that their operad is not a Koszul operad.

研究动机与目标

• 为结合型三元代数开发一种与形变理论相容的上同调理论。
• 研究部分结合三元代数是否存在3-上边界算子，这是构建形变上同调所必需的。
• 分析Takhtajan构造（最初用于Nambu-Lie代数）在结合型三元代数背景下的适用性。
• 将分析扩展至斜结合二元代数，确定其是否具有形变相容的上同调。
• 基于上同调复形无法超越度2的失败，确立部分结合三元代数的操作子不是Koszul型。

提出的方法

• 使用形式形变理论，为部分结合三元代数构造1-和2-上循环映射。
• 以一般形式定义3-上循环算子，并通过条件 δ³∘δ² = 0 测试其一致性。
• 应用斜结合性条件 μ(μ(x₁⊗x₂)⊗x₃) = -μ(x₁⊗μ(x₂⊗x₃)) 来约束3-上循环算子的系数。
• 使用操作子框架，分析上同调复形是否能超越度2被扩展。
• 将相同方法应用于斜结合二元代数，推导1-和2-上循环映射，并测试3-上循环的存在性。
• 证明一致性条件的唯一解是平凡解，意味着不存在非平凡3-上循环。

实验结果

研究问题

• RQ1 能否通过一致的3-上循环算子，为部分结合三元代数定义形变上同调？
• RQ2 Takhtajan对Nambu-Lie代数上同调的构造是否可推广至结合型三元代数？
• RQ3 鉴于上同调复形无法超越度2，部分结合三元代数的操作子是否为Koszul型？
• RQ4 在相同的形变理论框架下，能否为斜结合二元代数构造一致的3-上循环？
• RQ5 斜结合括号在阻碍上同调向更高度扩展中起什么作用？

主要发现

• 部分结合三元代数的3-上循环算子无法被一致定义，因为系数系统仅导致平凡解。
• 上同调复形无法超越度2的失败，意味着部分结合三元代数的操作子不是Koszul型。
• Takhtajan对Nambu-Lie代数上同调的构造无法推广至结合型三元代数。
• 通过使用p-上循环算子，弱完全结合三元代数的上同调可一致地扩展至所有度。
• 对于斜结合二元代数，不存在非平凡3-上循环，证明其形变上同调不存在，且其操作子不是Koszul型。
• 上同调扩展的障碍源于在斜结合性约束下，特定系数组合的非零性。