[논문 리뷰] Some characterizations of Hom-Leibniz algebras

A. Nourou Issa|arXiv (Cornell University)|2010. 11. 08.

Advanced Topics in Algebra참고 문헌 15인용 수 6

한 줄 요약

이 논문은 Hom-Leibniz 대수에서 Leibniz 대수 성질의 Hom-해석을 도입하고 분석함으로써 Hom-Akivis 대수를 제안함으로써 성립시킨다. Hom-강력 결합성의 성립 조건을 규명하고, 모든 $x$에 대해 $α(x)x^2 = 0$ 이면 왼쪽 Hom-Leibniz 대수는 Hom-강력 결합성을 갖는다. 또한, $x^n = 0$ 이 $n \geq 3$ 일 때 성립함을 보이며, $α$-왜곡된 왼쪽 거듭제곱을 통해 Leibniz 대수의 Barnes 결과를 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-Lie 적합성과 Hom-강력 결합성의 성질을 조사하기.
• $\alpha$-왜곡된 왼쪽 거듭제곱을 사용하여 Barnes의 왼쪽 Leibniz 대수 특성화 결과를 Hom 맥락으로 일반화하기.
• $\alpha(x)x^2 = 0$ 를 조건으로 하여 Hom-강력 결합성의 필요 및 충분 조건을 설정하기.

제안 방법

• Hom-Leibniz 대수와 관련된 Hom-Akivis 대수를 도입하여 Hom-Akivis 항등식을 유도함.
• Hom-결합자와 정의된 Hom-Leibniz 항등식 $\alpha(x)\cdot yz = xy\cdot\alpha(z) + \alpha(y)\cdot xz$ 를 사용하여 구조적 성질을 유도함.
• 모든 $n \geq 2$ 에 대해 $a^n = \alpha^{n-2}(a)a^{n-1}$ 로 정의된 $n$번째 왼쪽 Hom-거듭제곱을 적용하여 강력 결합성의 일반화를 시도함.
• Yau (2010)의 보조정리 5.2를 활용하여 Hom-강력 결합성과 조건 $x^2\alpha(x) = \alpha(x)x^2$ 및 $x^4 = \alpha(x^2)^2$ 를 연결함.
• 귀납법과 $\alpha$ 의 다중성 조건을 활용하여 왼쪽 Hom-Leibniz 대수에서 $n \geq 3$ 일 때 $x^n = 0$ 이 성립함을 증명함.
• 반복적인 항등식 $a^n \alpha(z) = 0$ 의 적용을 통해 핵심 결과인 $L_{a^n} \circ \alpha = 0$ ($n \geq 2$) 를 도출함.

실험 결과

연구 질문

• RQ1 Hom-Leibniz 대수에서 Leibniz 항등식의 Hom-해석은 무엇이며, Hom-Akivis 항등식과 어떻게 관련이 있는가?
• RQ2 어떤 조건이 Hom-Leibniz 대수의 Hom-Lie 적합성을 보장하는가?
• RQ3 어떤 조건이 Hom-Leibniz 대수의 Hom-강력 결합성을 보장하는가?
• RQ4 Hom-Leibniz 대수에서 $\alpha$-왜곡된 왼쪽 거듭제곱 $a^n$ 은 어떻게 행동하는가?
• RQ5 Barnes의 왼쪽 Leibniz 대수 특성화 결과는 Hom 설정으로 일반화될 수 있는가?

주요 결과

• 모든 $n \geq 3$ 에 대해 $x^n = 0$ 이 성립함을, 항등식 $x^{n+1} = x^n \alpha^{n-1}(x)$ 를 사용한 귀납법으로 증명함.
• 왼쪽 Hom-Leibniz 대수 $(L, \cdot, \alpha)$ 는 모든 $x \in L$ 에 대해 $α(x)x^2 = 0$ 이면 Hom-강력 결합성을 갖는다. 이는 Yau (2010)의 보조정리 5.2에 기반함.
• $\alpha(x)x^2 = 0$ 조건은 Hom-강력 결합성에 필요한 두 조건—$x^2\alpha(x) = \alpha(x)x^2$ 와 $x^4 = \alpha(x^2)^2$—를 모두 충족시킴을 보여줌.
• 모든 $n \geq 2$ 와 모든 $a \in L$ 에 대해 왼쪽 곱셈 연산자 $L_{a^n} \circ \alpha = 0$ 이 성립함으로써 Barnes의 결과가 Hom 설정으로 일반화됨.
• $\alpha = \text{Id}$ 일 때, 결과는 기존의 왼쪽 Leibniz 대수 특성화로 축소되며, $x^n = 0$ ($n \geq 3$) 과 $xx^2 = 0$ 이 강력 결합성의 조건임을 보여줌.
• 관련된 Hom-Akivis 대수에서의 Hom-Akivis 항등식은 성질 $\alpha(x)\cdot yz = xy\cdot\alpha(z) + \alpha(y)\cdot xz$ 와 대응되며, 이는 Hom-Leibniz 항등식이 Leibniz 항등식의 Hom-해석임을 확인함.