[논문 리뷰] Categorification of Pre-Lie Algebras and Solutions of 2-graded Classical Yang-Baxter Equations

Yunhe Sheng|arXiv (Cornell University)|2014. 03. 10.

Advanced Topics in Algebra참고 문헌 20인용 수 10

한 줄 요약

이 논문은 pre-Lie 2대수를 pre-Lie 대수의 분류화로 도입하고, 2-term pre-Lie ∞-대수와의 동치성을 확립한다. 또한 Lie 2대수 위의 O-연산자를 정의하여, 이들이 pre-Lie 2대수와 2-등급 고전 Yang-Baxter 방정식(2-graded CYBE)의 해를 생성함을 보이며, 고전적 결과를 고차원 카테고리적 구조로 확장한다.

ABSTRACT

In this paper, we introduce the notion of a pre-Lie 2-algebra, which is a categorification of a pre-Lie algebra. We prove that the category of pre-Lie 2-algebras and the category of 2-term pre-Lie$_\infty$-algebras are equivalent. We classify skeletal pre-Lie 2-algebras by the third cohomology of a pre-Lie algebra. We prove that crossed modules of pre-Lie algebras are in one-to-one correspondence with strict pre-Lie 2-algebras. $\mathcal O$-operators on Lie 2-algebras are introduced, which can be used to construct pre-Lie 2-algebras. As an application, we give solutions of 2-graded classical Yang-Baxter equations in some semidirect product Lie 2-algebras.

연구 동기 및 목표

• pre-Lie 대수, O-연산자, 고전 Yang-Baxter 방정식(CYBE) 간의 관계를 고차원 카테고리적 구조로 분류화하기 위해 고차원 카테고리적 유사체를 도입한다.
• 2-term pre-Lie ∞-대수와의 동치성을 확립하기 위해 pre-Lie 2대수를 분류화된 pre-Lie 대수로 정의하고, 그 성질을 연구한다.
• pre-Lie 대수의 제3호모로지로 스케일링된 pre-Lie 2대수를 분류한다.
• pre-Lie 대수의 교차 모듈과 엄격한 pre-Lie 2대수 사이의 대응관계를 확립한다.
• Lie 2대수 위의 O-연산자를 통해 반직접곱 Lie 2대수에서 2-등급 고전 Yang-Baxter 방정식의 해를 구성한다.

제안 방법

• 2-항 복합체 위에 정의된, 특정 공리들을 만족하는 곱과 호환되는 구조를 갖춘 pre-Lie 2대수의 개념을 도입한다.
• 대표 표현에 대해 Lie 2대수 위의 O-연산자를 정의하여, 고전적 Lie 대수에서의 O-연산자 개념을 고차원 구조로 일반화한다.
• 2-term pre-Lie ∞-대수에서 하위 인접 Lie 대수와 그 쌍대공간 위의 표현을 이용해 Lie 2대수를 구성한다.
• pre-Lie 대수의 곱과 그 쌍대를 통해 정의된 곱과 Lie 괄호를 이용해 Lie 2대수의 구조를 수립한다.
• 자연적인 구성법을 통해 2-term pre-Lie ∞-대수의 범주와 pre-Lie 2대수의 범주 간의 동치성을 증명한다.
• 반직접곱 Lie 2대수에서 O-연산자의 상을 이용해 2-등급 CYBE의 해를 구성하며, 고전적 구성법을 일반화한다.

실험 결과

연구 질문

• RQ1 고전적 O-연산자, pre-Lie 대수, CYBE 해 간의 관계를 어떻게 고차원 카테고리적 구조로 분류화할 수 있는가?
• RQ2 pre-Lie 2대수의 정확한 정의와 구조는 무엇이며, 2-term pre-Lie ∞-대수와 어떤 관계가 있는가?
• RQ3 pre-Lie 대수의 교차 모듈은 엄격한 pre-Lie 2대수와 어떻게 대응되는가?
• RQ4 pre-Lie 대수의 제3호모로지가 스케일링된 pre-Lie 2대수의 분류에 어떤 역할을 하는가?
• RQ5 O-연산자를 통해 Lie 2대수에서 2-등급 고전 Yang-Baxter 방정식의 해를 구성할 수 있는가?

주요 결과

• pre-Lie 2대수의 범주와 2-term pre-Lie ∞-대수의 범주 간에 동치성이 성립함을 입증하여, 기본적인 구조적 대응관계를 확립한다.
• 스케일링된 pre-Lie 2대수의 분류는 기저 pre-Lie 대수의 제3호모로지 군으로 이루어진다.
• pre-Lie 대수의 교차 모듈은 엄격한 pre-Lie 2대수와 일대일 대응된다.
• Lie 2대수 위의 O-연산자는 고전적 O-연산자 구성법을 일반화하여 pre-Lie 2대수의 구조를 유도한다.
• 반직접곱 Lie 2대수에서 O-연산자를 통해 2-등급 고전 Yang-Baxter 방정식의 해가 구성되며, 고전적 결과가 고차원으로 확장됨을 보였다.
• d가 반대칭이고 곱이 pre-Lie 대수와 그 쌍대를 통해 정의될 경우, 엄격한 Lie 2대수 (g(A), A*, d, l2)에서 2-등급 CYBE의 해 r이 명시적으로 구성된다.