[논문 리뷰] Leibniz algebras, Lie racks, and digroups

Michael Kinyon|ArXiv.org|2004. 03. 30.

Advanced Topics in Algebra참고 문헌 12인용 수 56

한 줄 요약

이 논문은 리 대수의 제3정리의 일반화인 르이브니츠 대수에 대한 코크리그르 문제를 해결하기 위한 후보로 리 랙과 리 디그룹을 제안한다. 분할 르이브니츠 대수는 선형 리 디그룹의 탄젠트 대수로 나타나며, 이는 쌍대화 유사 연산을 통해 리 랙의 구조를 유도한다. 주요 결과는 분할 르이브니츠 대수에 대해 선형 리 디그룹과 관련된 리 랙을 이용한 리의 제3정리의 유사판을 확립하는 것이다.

ABSTRACT

The "coquecigrue" problem for Leibniz algebras is that of finding an appropriate generalization of Lie's third theorem, that is, of finding a generalization of the notion of group such that Leibniz algebras are the corresponding tangent algebra structures. The difficulty is determining exactly what properties this generalization should have. Here we show that \emph{Lie racks}, smooth left distributive structures, have Leibniz algebra structures on their tangent spaces at certain distinguished points. One way of producing racks is by conjugation in \emph{digroups}, a generalization of group which is essentially due to Loday. Using semigroup theory, we show that every digroup is a product of a group and a trivial digroup. We partially solve the coquecigrue problem by showing that to each Leibniz algebra that splits over its ideal generated by squares, there exists a special type of Lie digroup with tangent algebra isomorphic to the given Leibniz algebra. The general coquecigrue problem remains open, but Lie racks seem to be a promising direction.

연구 동기 및 목표

• 르이브니츠 대수에 대해 리 군의 일반화인 군 유사 구조를 찾는 열린 코크리그르 문제를 해결하기 위해.
• 리 대수에서 자코비 항등식 유도의 핵심 대수적 구조를 밝혀내며, 군의 곱셈이 아닌 쌍대화 유사 연산에 초점을 맞추기 위해.
• 리 랙—매끄러운, 왼쪽 분배 법칙을 만족하는 다양체—이 르이브니츠 대수를 탄젠트 대수로 실현할 수 있음을 보여주기 위해.
• 분할 르이브니츠 대수가 선형 리 디그룹의 탄젠트 대수로 나타남을 보여주어 코크리그르 문제의 부분적 해결을 위해.
• 디그룹—두 개의 호환 가능한 연산을 갖는 군의 일반화—이 자연스럽게 랙의 구조를 유도하며, 이를 미분하면 르이브니츠 대수가 유도됨을 확립하기 위해.

제안 방법

• 리 랙을 매끄러운 다양체에 왼쪽 분배 법칙을 갖는 이항 연산으로 정의하며, 그 탄젠트 공간이 르이브니츠 대수의 구조를 지닌다는 것을 보여준다.
• 선형 리 랙을 리 군과 모듈의 곱으로 정의하며, 쌍대화 유사 연산으로 유도된 특정한 랙 연산을 사용한다.
• 디그룹을 두 개의 이항 연산(좌우 군 유사)을 갖는 집합으로 정의하며, 공통 단위원을 보장하는 호환 조건을 만족시킨다.
• 반군 이론을 사용하여 모든 디그룹이 군과 자명한 디그룹의 곱과 동형임을 증명함으로써 구조 분석을 가능하게 한다.
• 디그룹에서 쌍대화 유사 연산 $ x \triangleright y = x \triangleright y \triangleleft x^{-1} $ 를 정의하며, 이가 랙 공리계를 만족함을 보여준다.
• 리 군 $ H $ 와 $ H $-모듈 $ V $ 에 대해 $ V \times H $ 위에 선형 리 디그룹을 구성하며, 연산은 $ (u,A) \triangleright (v,B) = (Av, ABA^{-1}) $ 로 정의한다.

실험 결과

연구 질문

• RQ1 르이브니츠 대수에 대해 리의 제3정리를 일반화하는 코크리그르 문제는 적절한 군 개념의 일반화를 식별함으로써 해결될 수 있는가?
• RQ2 리 대수에서 자코비 항등식의 유도에 기여하는 핵심 대수적 구조는 무엇이며, 이를 르이브니츠 대수로 일반화할 수 있는가?
• RQ3 리 랙은 분할 케이스에서 르이브니츠 대수를 탄젠트 대수로 실현하는 데 실현 가능한 프레임워크인가?
• RQ4 두 개의 호환 가능한 연산을 갖는 디그룹은 르이브니츠 대수에 대한 원하는 코크리그르 대상으로서 기능할 수 있는가?
• RQ5 주어진 분할 르이브니츠 대수의 항등원에서의 탄젠트 대수가 동형인 선형 리 디그룹이 존재하는가?

주요 결과

• 모든 분할 르이브니츠 대수 $ \mathfrak{g} $ 는 항등원에서의 탄젠트 대수가 $ \mathfrak{g} $ 와 동형이 되는 선형 리 디그룹의 구조를 지닌다. 이는 코크리그르 문제의 부분적 해결을 제공한다.
• 선형 리 디그룹은 쌍대화 유사 연산 $ x \triangleright y = x \triangleright y \triangleleft x^{-1} $ 를 통해 선형 리 랙을 유도하며, 모든 선형 리 랙은 이러한 구조로부터 유도된다.
• 리 디그룹의 항등원에서의 탄젠트 공간은 리 군의 리 대수의 구조를 일반화한 르이브니츠 대수의 구조를 지닌다.
• 모든 디그룹은 반군 이론적 분해를 통해 군과 자명한 디그룹의 곱과 동형임을 보였다.
• 리 디그룹에 의해 유도된 랩 연산은 랩 공리계를 만족하며, 그 항등원에서의 탄젠트 공간은 르이브니츠 대수이다.
• 연산 $ (u,A) \triangleright (v,B) = (Av, ABA^{-1}) $ 를 갖는 $ V \times H $ 위의 선형 리 디그룹 구성은 표준 선형 리 랙의 구조를 실현하며, 선형 리 디그룹과 선형 리 랙 간의 대응관계를 확인한다.