[论文解读] Non-commutative Hom-Poisson algebras

Donald Yau|arXiv (Cornell University)|Oct 17, 2010

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

一句话总结

本文引入了非交换 Hom-Poisson 代数作为非交换 Poisson 代数的扭曲推广，其中结合积与李括号通过自同态 α 进行变形。研究证明 Hom-Poisson 代数与仅含一个运算的可适配 Hom-Poisson 代数等价，并证明了可乘可适配 Hom-Poisson 代数满足 Hom-幂结合性，将经典幂结合性推广至 Hom-代数框架。

ABSTRACT

A Hom-type generalization of non-commutative Poisson algebras, called non-commutative Hom-Poisson algebras, are studied. They are closed under twisting by suitable self-maps. Hom-Poisson algebras, in which the Hom-associative product is commutative, are closed under tensor products. Through (de)polarization Hom-Poisson algebras are equivalent to admissible Hom-Poisson algebras, each of which has only one binary operation. Multiplicative admissible Hom-Poisson algebras are Hom-power associative.

研究动机与目标

• 定义并研究非交换 Hom-Poisson 代数，作为非交换 Poisson 代数的 Hom-型推广。
• 研究在张量积与弱同态扭曲下的封闭性质。
• 建立 Hom-Poisson 代数与仅含一个二元运算的可适配 Hom-Poisson 代数之间的等价性。
• 证明可乘可适配 Hom-Poisson 代数满足 Hom-幂结合性，将经典幂结合性推广至 Hom-代数背景。

提出的方法

• 将非交换 Hom-Poisson 代数定义为四元组 (A, {,}, μ, α)，其中 (A, μ, α) 为 Hom-结合代数，(A, {,}, α) 为 Hom-李代数。
• 利用 Hom-Jacobi 恒等式与 α-扭曲 Leibniz 恒等式推广 Poisson 恒等式。
• 通过极化引入可适配 Hom-Poisson 代数的概念，利用单一扭曲映射将两个运算简化为一个。
• 应用（去）极化技术，证明 Hom-Poisson 代数与可适配 Hom-Poisson 代数之间的等价性。
• 通过扭曲映射 α 递归定义 Hom-幂 x^n，并利用 Hom-灵活性推导恒等式。
• 通过验证第三和第四条 Hom-幂结合性条件：x²α(x) = α(x)x² 与 x⁴ = α(x²)α(x²)，证明 Hom-幂结合性。

实验结果

研究问题

• RQ1 如何将非交换 Poisson 代数推广以包含一个扭曲映射 α，从而形成 Hom-型结构？
• RQ2 Hom-Poisson 代数在张量积下是否封闭？若封闭，其条件为何？
• RQ3 能否通过极化技术，将 Hom-Poisson 代数等价地描述为仅含一个二元运算的形式，类似于经典 Poisson 代数的情形？
• RQ4 可乘可适配 Hom-Poisson 代数是否满足 Hom-幂结合性？若满足，其证明方法为何？
• RQ5 在可乘可适配 Hom-Poisson 代数背景下，Hom-幂结合性的必要与充分条件是什么？

主要发现

• Hom-Poisson 代数通过非平凡构造在张量积下封闭，而 Hom-李代数则不然。
• 非交换 Hom-Poisson 代数在弱同态扭曲下封闭，这是非交换 Poisson 代数所不具备的特性。
• 通过极化构造，Hom-Poisson 代数与可适配 Hom-Poisson 代数等价，该构造将两个运算简化为一个。
• 可乘可适配 Hom-Poisson 代数满足 Hom-幂结合性，其条件为 x²α(x) = α(x)x² 与 x⁴ = α(x²)α(x²)。
• Hom-幂结合性的证明依赖于 Hom-灵活性与 α-扭曲 Leibniz 恒等式，关键恒等式由结合子与雅可比子导出。
• Hom-Poisson 代数与可适配 Hom-Poisson 代数之间的等价性，推广了经典 Poisson 代数与可适配 Poisson 代数之间的对应关系。