[논문 리뷰] Gröbner-Shirshov bases for some Lie algebras

Yuqun Chen, Li Yu외 1명|arXiv (Cornell University)|2013. 05. 15.

Algebraic structures and combinatorial models참고 문헌 30인용 수 3

한 줄 요약

이 논문은 Drinfeld-Kohno 리 대수 $\mathbf{L}_n$와 반군 $P$에 관련된 Kukin의 리 대수 $A_P$에 대해 Gröbner-Shirshov 기저를 수립하고, $\mathbf{L}_n$이 명시적인 $\mathbb{Z}$-기저를 가진 자유 $\mathbb{Z}$-모듈러임을 증명한다. 또한, Kukin의 정리에 대한 새로운 대수적 증명을 제공한다: 만약 반군 $P$의 단어 문제(Word problem)가 결정 불가능하다면, 관련된 리 대수 $A_P$의 단어 문제 역시 결정 불가능하다. 이 증명은 Gröbner-Shirshov 기저의 대수적 구조를 활용한다.

ABSTRACT

We give Gröbner-Shirshov bases for Drinfeld-Kohno Lie algebra $ extbf{L}_{n}$ in \cite{[Et]} and Kukin Lie algebra $A_P$ in \cite{Kukin}, where $P$ is a semigroup. As applications, we show that as $\mathbb{Z}$-module $ extbf{L}_{n}$ is free and a $\mathbb{Z}$-basis of $ extbf{L}_{n}$ is given. We give another proof of Kukin Theorem: if semigroup $P$ has the undecidable word problem then the Lie algebra $A_P$ has the same property.

연구 동기 및 목표

• Drinfeld-Kohno 리 대수 $\mathbf{L}_n$에 대해 $\mathbb{Z}$ 위에서 Gröbner-Shirshov 기저를 구성하는 것.
• Gröbner-Shirshov 기저를 이용하여 $\mathbf{L}_n$에 대한 $\mathbb{Z}$-기저를 확립하고, 이 기저가 자유 $\mathbb{Z}$-모듈러임을 증명하는 것.
• Kukin의 정리에 대한 새로운 대수적 증명을 제공하는 것: 만약 반군 $P$의 단어 문제가 결정 불가능하다면, 관련된 리 대수 $A_P$의 단어 문제 역시 결정 불가능하다.
• 기저의 구조를 통해 $\mathbf{L}_n$이 자유 리 대수들의 반복적인 반직접곱임을 보이는 것.

제안 방법

• 체 위의 리 대수에 대한 Composition-Diamond 보조정리(lemma)를 적용하여, 차수-사전순서와 Shirshov 특수 괄호 표기법을 사용해 $\mathbf{L}_n$에 대한 Gröbner-Shirshov 기저 $S$를 구성하는 것.
• 기저 $S$에 대해 모든 관계의 조합(compositions)이 $S$에 대해 0으로 감소함을 확인하여, $S$가 Gröbner-Shirshov 기저임을 검증하는 것.
• 기저 $Irr(S)$의 정규 $S$-단어들을 이용해 비결합적 Lyndon-Shirshov 단어로 $\mathbf{L}_n$에 대한 $\mathbb{Z}$-기저를 정의하는 것.
• Gröbner-Shirshov 기저 기법을 통해 $A_P$의 관계를 분석하여, $P$의 단어 문제가 $A_P$로 유전됨을 보이는 것.
• 기저의 구조를 활용하여 $\mathbf{L}_n$이 자유 리 대수들의 반복적인 반직접곱임을 보이는 것.
• 알고리즘적 구조를 유지하면서 $\mathbb{Z}$에서 임의의 항등원을 가진 가환환으로 결과를 확장하는 것.

실험 결과

연구 질문

• RQ1 Drinfeld-Kohno 리 대수 $\mathbf{L}_n$은 $\mathbb{Z}$ 위에서 Gröbner-Shirshov 기저를 갖는가?
• RQ2 Gröbner-Shirshov 기저 이론을 사용하여 $\mathbf{L}_n$에 대한 $\mathbb{Z}$-기저를 명시적으로 구성할 수 있는가?
• RQ3 반군 $P$의 단어 문제가 관련된 리 대수 $A_P$의 단어 문제를 결정하는가?
• RQ4 $\mathbf{L}_n$은 자유 리 대수들의 반복적인 반직접곱과 동형인가?
• RQ5 반군 $P$의 단어 문제의 결정 불가능성이 Gröbner-Shirshov 기저를 통해 $A_P$로 대수적으로 유전되는가?

주요 결과

• 기본 관계 집합 $S$는 $\mathbb{Z}$ 위에서 Gröbner-Shirshov 기저를 형성하며, 모든 조합(compositions)이 0으로 감소함을 통해 검증되었다.
• Drinfeld-Kohno 리 대수 $\mathbf{L}_n$은 $\mathbb{Z}$-기저 $Irr(S) = \{[t_{ik_1}t_{ik_2}\cdots t_{ik_m}] \mid t_{ik_1}t_{ik_2}\cdots t_{ik_m} \text{는 } T^* \text{에서 ALSW이다, } m \in \mathbb{N}\}$를 가진 자유 $\mathbb{Z}$-모듈러이다.
• 논문은 Kukin의 정리에 대한 새로운 증명을 제공한다: 만약 $P$의 단어 문제가 결정 불가능하다면, $A_P$의 단어 문제 역시 결정 불가능하다. 이 증명은 Gröbner-Shirshov 기저의 구조를 활용한다.
• 리 대수 $\mathbf{L}_n$은 자유 리 대수들의 반복적인 반직접곱으로 표현되며, 분해 $\mathbf{L}_n = A_1 \oplus A_2 \oplus \cdots \oplus A_{n-2}$ 및 $A_i \triangleleft A_i + \cdots + A_{n-2}$를 통해 보여진다.
• 모든 결과는 $\mathbb{Z}$를 넘어서 임의의 항등원을 가진 가환환으로 확장되며, Gröbner-Shirshov 기저와 기저의 구조가 유지된다.
• 기저 $S$의 관계 조합은 모든 경우에서 $S$에 대해 자명하게 감소하므로, $\mathbf{L}_n$에 대해 기저가 완전하고 최소임을 확인한다.