[论文解读] Some characterizations of Hom-Leibniz algebras

A. Nourou Issa|arXiv (Cornell University)|Nov 8, 2010

Advanced Topics in Algebra参考文献 15被引用 6

一句话总结

该论文通过引入Hom-Akivis代数并分析Hom-幂结合性，建立了Hom-Leibniz代数中Leibniz代数性质的Hom-类比刻画。证明了左Hom-Leibniz代数当且仅当对所有 $x$ 有 $α(x)x^2 = 0$ 时是Hom-幂结合的，并表明当 $n \geq 3$ 时 $x^n = 0$，通过 $α$-扭曲左幂将Barnes关于Leibniz代数的结果推广到Hom情形。

ABSTRACT

Some basic properties of Hom-Leibniz algebras are found. These properties are the Hom-analogue of corresponding well-known properties of Leibniz algebras. Considering the Hom-Akivis algebra associated to a given Hom-Leibniz algebra, it is observed that the Hom-Akivis identity leads to an additional property of Hom-Leibniz algebras, which in turn gives a necessary and sufficient condition for Hom-Lie admissibility of Hom-Leibniz algebras. A necessary and sufficient condition for Hom-power associativity of Hom-Leibniz algebras is also found.

研究动机与目标

• 将Leibniz代数已知性质推广至Hom代数框架。
• 研究Hom-Leibniz代数中的Hom-李适性与Hom-幂结合性。
• 通过 $α$-扭曲左幂，将Barnes对左Leibniz代数的刻画推广至Hom情形。
• 以 $α(x)x^2 = 0$ 的形式建立Hom-幂结合性的必要与充分条件。

提出的方法

• 引入与Hom-Leibniz代数相关的Hom-Akivis代数，以导出Hom-Akivis恒等式。
• 利用Hom-结合子与定义的Hom-Leibniz恒等式 $α(x)\cdot yz = xy\cdotα(z) + α(y)\cdot xz$ 推导结构性质。
• 应用 $n$ 阶左Hom-幂 $a^n = α^{n-2}(a)a^{n-1}$（$n \geq 2$）以推广幂结合性。
• 依赖Yau（2010）的推论5.2，将Hom-幂结合性与条件 $x^2\alpha(x) = α(x)x^2$ 和 $x^4 = α(x^2)^2$ 联系起来。
• 通过归纳法与 $α$ 的乘法性，证明在左Hom-Leibniz代数中 $x^n = 0$ 对 $n \geq 3$ 成立。
• 通过反复应用恒等式 $a^n \alpha(z) = 0$，推导出关键结果 $L_{a^n} \circ \u03b1 = 0$（$n \geq 2$）。

实验结果

研究问题

• RQ1 Hom-Leibniz代数中Leibniz恒等式的Hom-类比是什么？它与Hom-Akivis恒等式有何关系？
• RQ2 何种条件可确保Hom-Leibniz代数的Hom-李适性？
• RQ3 何种条件可使Hom-Leibniz代数成为Hom-幂结合的？
• RQ4 在Hom-Leibniz代数中，$α$-扭曲左幂 $a^n$ 的行为如何？
• RQ5 Barnes对左Leibniz代数的刻画能否推广至Hom情形？

主要发现

• 对左Hom-Leibniz代数中的任意 $x$，有 $x^n = 0$ 对所有 $n \geq 3$ 成立，其证明基于恒等式 $x^{n+1} = x^n \u03b1^{n-1}(x)$ 的归纳法。
• 左Hom-Leibniz代数 $(L, \cdot, \u03b1)$ 是Hom-幂结合的，当且仅当对所有 $x \in L$ 有 $α(x)x^2 = 0$，此结论基于Yau（2010）的推论5.2。
• 条件 $α(x)x^2 = 0$ 确保了Hom-幂结合性所需的两个条件——$x^2\alpha(x) = α(x)x^2$ 与 $x^4 = α(x^2)^2$——均成立。
• 对所有 $n \geq 2$ 及所有 $a \in L$，左乘算子满足 $L_{a^n} \circ \u03b1 = 0$，这将Barnes的结果推广至Hom情形。
• 当 $α = \text{Id}$ 时，结果退化为左Leibniz代数的已知刻画，如 $x^n = 0$（$n \geq 3$）及 $xx^2 = 0$ 作为幂结合性的条件。
• 关联Hom-Akivis代数中的Hom-Akivis恒等式对应于性质 $α(x)\cdot yz = xy\cdotα(z) + α(y)\cdot xz$，从而确认Hom-Leibniz恒等式是Leibniz恒等式的Hom-类比。