[논문 리뷰] Leibniz superalgebras and central extensions

Dong Liu, Naihong Hu|arXiv (Cornell University)|2005. 10. 26.

Advanced Topics in Algebra참고 문헌 11인용 수 7

한 줄 요약

이 논문은 초다이알제브라와 리브니츠 초대수를 다이알제브라와 리브니츠 대수의 $Χ_2$-중복된 일반화로 도입하고, 단위 결합 다이알제브라와 곱한 기본 고전적 리 초대수에 대한 보편 중심 확장을 수립한다. 주요 결과는 리브니츠 초대수의 범주에서 ${} \mathfrak{g} \otimes D$의 보편 중심 확장 $ \tilde{\mathfrak{g}}$가 $ \bar{\mathfrak{g}} \otimes D \oplus \Omega_D^1$임을 보여주며, 여기서 $ \Omega_D^1$는 카허 미분형식의 모듈로 일반화된 기존 리 초대수 이론의 결과를 확장한다.

ABSTRACT

Dialgebras are generalizations of associative algebras which give rise to Leibniz algebras instead of Lie algebras. In this paper we study super dialgebras and Leibniz superalgebras, which are $\z_2$-graded dialgebras and Leibniz algebras. We also study universal central extesions of Leibniz superalgebras and obtain some results as in the case of Lie superalgebras. We determine universal central extensions of basic classical Lie superalgebras in the category of Leibniz superalgebras. They play a key role in studying Leibniz superalgebras graded by finite root systems.

연구 동기 및 목표

• 리 초대수 이론에서 보편 중심 확장을 리브니츠 초대수로 확장하기 위해.
• 다이알제브라와 리브니츠 대수의 $Χ_2$-중복 일반화로 초다이알제브라와 리브니츠 초대수를 정의하기 위해.
• ${\bf\mathfrak{g}}$가 기본 고전적 단순 리 초대수이고 $D$가 단위 결합 다이알제브라일 때, ${\bf\mathfrak{g}} \otimes D$의 보편 중심 확장의 구조를 규명하기 위해.
• 리브니츠 초대수 코homology와 카허 미분형식 $ \Omega_D^1$ 간의 관계를 설정하기 위해.
• 유한 근계에 따라 분할된 리브니츠 초대수를 연구하기 위한 기초 도구를 제공하기 위해.

제안 방법

• 다이알제브라 공리계를 만족하는 왼쪽과 오른쪽 곱이 호환되는 $Χ_2$-중복 다이알제브라로 초다이알제브라를 정의하기 위해.
• 동차 원소에 대해 리브니츠 항등식 $[[x,y],z] = [[x,z],y] + [x,[y,z]]$를 만족하는 $Χ_2$-중복 대수로 리브니츠 초대수를 도입하기 위해.
• ${\bf\mathfrak{g}} \otimes D$의 보편 중심 확장 $ \tilde{\mathfrak{g}}$를 $\bar{\mathfrak{g}} \otimes D \oplus \Omega_D^1$로 구성하기 위해, 여기서 $ \Omega_D^1$는 $D$ 위의 카허 미분형식의 모듈로 한다.
• 리브니츠 초대수의 코homology 프레임워크와 콘네스 연산자를 사용하여 확장된 대수의 도함수와 자기동형사상을 분석하기 위해.
• [IK]와 [HL]의 결과를 적용하여 보편 중심 확장의 핵이 $D$의 대수적 구조에 따라 $ \Omega_D^1$ 또는 $HHL_1(D)$와 관련됨을 규명하기 위해.
• 특히 비-타입 $A(n,n)$의 경우 $HL^2({\bf\mathfrak{g}} \otimes D) \cong \Omega_D^1$로, 코homology 군과 미분형식 모듈 간의 동형관계를 확립하기 위해.

실험 결과

연구 질문

• RQ1 기본 고전적 리 초대수와 단위 결합 다이알제브라의 곱에 대한 보편 중심 확장의 구조는 무엇인가? 리브니츠 초대수의 범주에서.
• RQ2 보편 중심 확장 ${\bf\mathfrak{g}} \otimes D$의 핵은 카허 미분형식 $ \Omega_D^1$과 어떻게 관련이 있는가?
• RQ3 초다이알제브라와 리브니츠 초대수는 다이알제브라와 리브니츠 대수의 이론을 어떤 방식으로 중복 초대수 설정으로 일반화하는가?
• RQ4 보편 중심 확장 $ \tilde{\mathfrak{g}}$의 도함수 대수와 자기동형사상 군은 원래 대수와 다이알제브라 $D$의 관계로 어떻게 분해되는가?
• RQ5 다양한 타입의 기본 고전적 리 초대수에 대해, 코homology $HL^2({\bf\mathfrak{g}} \otimes D)$와 미분형식 모듈 $ \Omega_D^1$ 간의 관계는 어떠한가?

주요 결과

• ${\bf\mathfrak{g}} \otimes D$의 리브니츠 초대수 범주에서의 보편 중심 확장 $ \tilde{\mathfrak{g}}$는 $ \bar{\mathfrak{g}} \otimes D \oplus \Omega_D^1$이며, 여기서 $ \Omega_D^1$는 단위 결합 다이알제브라 $D$ 위의 카허 미분형식의 모듈로 한다.
• 타입 $A(n,n)$가 아닌 기본 고전적 리 초대수의 경우, 두 번째 코homology 군은 $HL^2({\bf\mathfrak{g}} \otimes D) \cong \Omega_D^1$를 만족하며, 이는 보편 중심 확장의 핵이 $ \Omega_D^1$와 동형임을 확인한다.
• 타입 $A(n,n)$이면서 $n > 1$인 경우, 두 번째 코homology 군은 $HL^2({\bf\mathfrak{g}} \otimes D) \cong \Omega_D^1 \oplus D$로 표현되어 비-타입 $A(n,n)$의 경우보다 더 큰 핵을 가짐을 나타낸다.
• 타입 $A(1,1)$의 경우, 코homology는 $HL^2({\bf\mathfrak{g}} \otimes D) \cong \Omega_D^1 \oplus D^{\oplus 3}$로 표현되어 상당히 더 복잡한 구조를 가짐을 보여준다.
• $\tilde{\mathfrak{g}}$의 도함수 대수는 $\hbox{Der}(A) \ltimes \hbox{Inn}({\bf\mathfrak{g}})$로 표현되며, 여기서 $\hbox{Der}(A) = \sum_{i=1}^\nu A \frac{\partial}{\partial t_i}$로, 기저 대수 $A$의 도함수 구조를 반영한다.
• $\tilde{\mathfrak{g}}$의 자기동형사상 군은 $\hbox{Aut}({\bf\mathfrak{g}} \otimes D)$와 동형이며, 원래 리 초대수와 다이알제브라의 텐서곱의 구조를 유지한다.