[논문 리뷰] Pre-alternative algebras and pre-alternative bialgebras

Xiang Ni, Chengming Bai|arXiv (Cornell University)|2009. 07. 20.

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

한 줄 요약

이 논문은 덴드리포르멀 다이알제브라와 프리-리 대수의 '알터너티브(alternative)' 대응체로 프리-알터너티브 대수를 도입하며, 여기서 곱은 두 개의 호환 가능한 연산으로 분해된다. 이 대수들에 대해 코버던시 양대수 이론을 수립하여, 프리-알터너티브 양대수는 알터너티브 대수의 단계 공간(phase space)과 동치임을 보이고, 고전적 양-버터스터 방정식의 대응체로 $PA$-방정식을 도입한다.

ABSTRACT

We introduce a notion of pre-alternative algebra which may be seen as an alternative algebra whose product can be decomposed into two pieces which are compatible in a certain way. It is also the "alternative" analogue of a dendriform dialgebra or a pre-Lie algebra. The left and right multiplication operators of a pre-alternative algebra give a bimodule structure of the associated alternative algebra. There exists a (coboundary) bialgebra theory for pre-alternative algebras, namely, pre-alternative bialgebras, which exhibits all the familiar properties of the famous Lie bialgebra theory. In particular, a pre-alternative bialgebra is equivalent to a phase space of an alternative algebra and our study leads to what we called $PA$-equations in a pre-alternative algebra, which are analogues of the classical Yang-Baxter equation.

연구 동기 및 목표

• 프리-알터너티브 대수를 덴드리포르멀 다이알제브라와 프리-리 대수의 비결합 대체체로 정의하고 연구하는 것.
• 프리-알터너티브 대수에 대해 리 양대수 이론과 유사한 양대수 이론을 개발하는 것.
• 프리-알터너티브 양대수와 알터너티브 대수의 단계 공간 사이의 동치성을 확립하는 것.
• $PA$-방정식을 고전적 양-버터스터 방정식의 알터너티브 대수 버전으로서 도입하고 분석하는 것.
• 프리-알터너티브 대수의 막힘 모듈러 구조와 매칭된 쌍(matched pair)의 구조를 탐구하는 것.

제안 방법

• 두 이항 연산 $\prec$ 와 $\succ$ 를 통해 프리-알터너티브 대수를 정의하고, 이들의 결합자(associator)가 모두 0이 되도록 하여, 덴드리포르멀 다이알제브라를 알터너티브 설정으로 일반화한다.
• 프리-알터너티브 대수에서의 왼쪽과 오른쪽 곱 연산자들을 정의하고, 이들이 관련된 알터너티브 대수 위의 이중모듈러(bimodule)를 이룬다는 것을 보인다.
• 해당 대수의 구조를 정의하는 데 사용되는 $r \in A \otimes A$ 를 이용해 코버던시 양대수를 구성하며, 이 $r$ 이 $PA$-방정식을 만족하도록 한다.
• 프리-알터너티브 양대수와 알터너티브 대수의 단계 공간 사이의 동치성을 확립하여, 드리플린 듀얼리티의 일반화로 간주할 수 있도록 한다.
• $PA$-방정식을 $A \otimes A \otimes A$ 에서의 텐서 방정식 시스템으로 유도하며, 고전적 양-버터스터 방정식과 유사하게 한다.
• 알터너티브 대수의 표현 이론을 기반으로 하여, 양대수의 구조를 구성하고 대칭성 성질을 증명하는 데 활용한다.

실험 결과

연구 질문

• RQ1 어떻게 덴드리포르멀 다이알제브라의 개념을 알터너티브 대수 설정으로 일반화하여 새로운 비결합 대수의 클래스를 도출할 수 있는가?
• RQ2 프리-알터너티브 대수에 대한 양대수 이론은 무엇이며, 리 양대수의 구조와 어떻게 유사한가?
• RQ3 프리-알터너티브 양대수와 알터너티브 대수의 단계 공간 사이의 정확한 관계는 무엇인가?
• RQ4 $PA$-방정식은 무엇이며, 고전적 양-버터스터 방정식의 알터너티브 대체체로 어떻게 작용하는가?
• RQ5 프리-알터너티브 대수의 이중모듈러 및 매칭된 쌍의 구조는 양대수의 구성에 어떻게 기여하는가?

주요 결과

• 프리-알터너티브 대수는 두 개의 이항 연산 $\prec$ 와 $\succ$ 를 가진 벡터 공간으로, 왼쪽, 중간, 오른쪽 결합자가 모두 0이 되도록 정의되며, 이는 덴드리포르멀 다이알제브라의 알터너티브 설정으로의 일반화이다.
• 프리-알터너티브 대수에서의 왼쪽과 오른쪽 곱 연산자는 관련된 알터너티브 대수 위의 이중모듈러를 이룬다.
• 프리-알터너티브 양대수는 알터너티브 대수의 단계 공간과 동치이며, 이는 맨린 트리플릿의 개념을 알터너티브 설정으로 확장한 것이다.
• 스키우-대칭인 해 $r \in A \otimes A$ 를 가진 코버던시 프리-알터너티브 양대수는 $PA$-방정식을 만족하는 $r$ 에 의해 구성된다.
• $PA$-방정식은 $A_1 = r_{23} \circ r_{12} - r_{13} \circ r_{23} - r_{12} \circ r_{13} = 0$ 과 $A_2 = r_{12} \circ r_{23} - r_{23} \circ r_{13} - r_{13} \circ r_{12} = 0$ 으로 정의되며, 이는 고전적 양-버터스터 방정식을 일반화한다.
• 스키우-대칭인 $r$ 에 대해 $PA$-방정식 $A_1$ 과 $A_2$ 는 서로 동치이며, 이들의 해는 코버던시 공식 $\Delta(x) = (\mathfrak{r}_\circ(x) \otimes 1 - 1 \otimes \mathfrak{l}_\circ(x))r$ 을 통해 잘 정의된 프리-알터너티브 양대수의 구조를 유도한다.