[논문 리뷰] BiHom-pre-Lie algebras, BiHom-Leibniz algebras and Rota-Baxter operators on BiHom-Lie algebras

Ling Liu, Abdenacer Makhlouf외 2명|arXiv (Cornell University)|2017. 06. 01.

Advanced Topics in Algebra참고 문헌 17인용 수 16

한 줄 요약

이 논문은 BiHom-Lie 대수의 자연스러운 일반화인 왼쪽 BiHom-Lie 대수를 도입하여 Aguiar의 정리에 대한 BiHom 대응을 가능하게 한다: 왼쪽 BiHom-Lie 대수에서의 무게 0인 Rota-Baxter 연산자는 $ x \cdot y = [R(x), y] $를 통해 왼쪽 BiHom-pre-Lie 대수를 유도한다. 또한 BiHom-Lie 대수에서 구조 사상들이 서로 가환하는 Rota-Baxter 연산자(무게 $ \lambda $)는 수정된 곱을 통해 새로운 BiHom-Lie 대수를 생성하며, 이는 이전의 BiHom-결합대수에 대한 결과를 일반화한다.

ABSTRACT

We investigate some properties of Rota-Baxter operators on BiHom-Lie algebras. Along the way, we introduce BiHom analogues of pre-Lie and Leibniz algebras.

연구 동기 및 목표

• Rota-Baxter 연산자 이론을 결합대수와 리대수를 초월해 BiHom 유형 대수로 확장하기.
• BiHom-Lie 대수 환경에서 Aguiar의 고전적 pre-Lie 구성법이 실패하는 이유를 밝히고, 이를 가능하게 하는 새로운 대수적 구조를 제안하기.
• BiHom-pre-Lie 및 BiHom-PostLie 대수의 BiHom 대응을 위해 왼쪽 BiHom-Lie 대수를 정의하고 특성화하기.
• BiHom-결합대수에서의 Rota-Baxter 구성법을 BiHom-Lie 대수로 일반화하여, 새로운 곱에 대해 닫힘을 증명하기.

제안 방법

• Leibniz 대수의 BiHom 대응으로서 왼쪽 BiHom-Leibniz 대수를 도입한 후, BiHom-비대칭 조건을 통해 왼쪽 BiHom-Lie 대수를 정의한다.
• 구조 사상 $ \alpha $와 $ \beta $와 가환하는 BiHom-Lie 대수에서의 무게 $ \lambda $ Rota-Baxter 연산자를 정의한다.
• BiHom-Lie 대수 $ (L, \cdot, \alpha, \beta) $에 대해 새로운 곱 $ a * b = R(a) \cdot b + a \cdot R(b) + \lambda a \cdot b $를 구성하고, 이것이 새로운 BiHom-Lie 대수를 만든다는 것을 증명한다.
• 만약 $ R $이 왼쪽 BiHom-Lie 대수에서의 무게 0 Rota-Baxter 연산자이면, $ x \cdot y = [R(x), y] $는 $ L $에 왼쪽 BiHom-pre-Lie 대수의 구조를 부여함을 증명한다.
• BiHom-PostLie 대수를 통해 공통 일반화를 확립하고, Yau 변환과 그 역 구조가 pre-Lie 및 Lie 대수의 구성법을 모두 복원함을 보인다.
• 범주론적 및 대수적 기법을 사용하여 새로운 연산이 요구되는 BiHom-결합성, BiHom-비대칭성, BiHom-Jacobi 항등식을 만족함을 검증한다.

실험 결과

연구 질문

• RQ1 Aguiar의 고전적 결과—리대수에서의 무게 0 Rota-Baxter 연산자가 pre-Lie 대수를 유도하는 것—은 BiHom 환경으로 확장될 수 있는가?
• RQ2 표준 BiHom-Lie 대수의 구조는 왜 이 구성법을 지지하지 못하며, 무엇이 이를 가능하게 하는가?
• RQ3 BiHom-결합대수에서 성공한 Rota-Baxter 구성법이 BiHom-Lie 대수로 무게 $ \lambda $로 확장될 수 있는가?
• RQ4 정확한 BiHom-PostLie 대수의 대응은 무엇이며, 어떻게 pre-Lie 및 Lie 구성법을 통합하는가?
• RQ5 구조 사상 $ \alpha $와 $ \beta $는 Rota-Baxter 구성법이 새로운 곱에 대해 닫혀 있는 데 어떤 영향을 미치는가?

주요 결과

• 표준 BiHom-Lie 대수는 Rota-Baxter에서 pre-Lie로의 구성법을 지지하지 못하며, 이를 위해 새로운 구조인 왼쪽 BiHom-Lie 대수가 필요하다.
• 왼쪽 BiHom-Lie 대수에서의 무게 0 Rota-Baxter 연산자는 $ x \cdot y = [R(x), y] $를 통해 왼쪽 BiHom-pre-Lie 대수의 구조를 유도하며, Aguiar의 정리를 일반화한다.
• 구조 사상들이 서로 가환하는 BiHom-Lie 대수에서의 무게 $ \lambda $ Rota-Baxter 연산자 $ R $에 대해, 새로운 곱 $ a * b = R(a) \cdot b + a \cdot R(b) + \lambda a \cdot b $는 새로운 BiHom-Lie 대수를 생성한다.
• 구조 사상 $ \alpha $와 $ \beta $가 전단사일 경우, BiHom-Lie 대수와 왼쪽 BiHom-Lie 대수의 개념은 일치한다.
• Rota-Baxter 연산자를 통한 새로운 BiHom-Lie 대수의 구성은 BiHom-결합대수의 경우를 일반화하며, 새로운 연산에 대해 닫힘을 확인한다.
• BiHom-PostLie 대수는 Rota-Baxter 및 pre-Lie 구성법을 통합한다: 역 구조를 적용하면 PostLie 대수에서 원래의 BiHom-Lie 대수의 구조를 복원할 수 있다.