[논문 리뷰] Representations of Bihom-Lie algebras

Yongsheng Cheng, Huange Qi|arXiv (Cornell University)|2016. 10. 14.

Advanced Topics in Algebra참고 문헌 8인용 수 26

한 줄 요약

이 논문은 두 개의 가환 곱셈 구조 사상으로 구성된 호모-리 대수의 일반화인 비호모-리 대수의 코homology 이론과 표현 이론을 개발한다. 고정된 표현과 자명한 표현을 도입하고, 비틀린 고정된 작용을 통해 코homology 복합체를 정의하며, 1-코사이클이 고정된 표현에서 정확히 일반화된 도함수에 대응함을 증명하여, 고전적인 리 대수 결과를 비호모 설정으로 확장한다.

ABSTRACT

Bihom-Lie algebra is a generalized Hom-Lie algebra endowed with two commuting multiplicative linear maps. In this paper, we study cohomology and representations of Bihom-Lie algebras. In particular, derivations, central extensions, derivation extensions, the trivial representation and the adjoint representation of Bihom-Lie algebras are studied in detail.

연구 동기 및 목표

• 호모-리 대수의 표현 이론과 코homology 이론을 더 일반적인 비호모-리 대수 설정으로 확장하기 위해.
• 정규 비호모-리 대수의 고정된 표현과 자명한 표현을 정의하고 연구하기 위해.
• 중심 확장이 자명한 표현에서의 두 번째 코homology 군에 의해 분류됨을 확립하기 위해.
• 고정된 표현에서의 1-코사이클이 형태 $\alpha^{s+2}\beta^{t-1}$-도함수에 정확히 대응함을 보여주기 위해.
• $\alpha^s\beta^t$-고정된 표현과 관련된 코homology 복합체를 개발하고 그 정의가 타당함을 증명하기 위해.

제안 방법

• 비호모-리 대수에서 $\alpha$ 및 $\beta$ 사상에 의한 비틀린 작용을 사용하여 정규 비호모-리 대수 위의 $\alpha^s\beta^t$-고정된 표현을 도입하기 위해.
• $\alpha$ 및 $\beta$ 에 대해 불변인 코체인들로 이루어진 비호모-코체인 복합체 $C_{\alpha,\beta}^k(L;L)$ 를 정의하며, $C_{\alpha,\beta}^0(L;L)$ 는 $\alpha$ 및 $\beta$-고정점들로 구성된다.
• $\alpha^s\beta^t$-고정된 표현을 위한 코경계 연산자 $d_{s,t}$ 를 구성하며, 이는 괄호 항들과 쌍에 대한 비틀린 평가를 조합한다.
• $\alpha^s\beta^t$-고정된 복합체를 사용하여 코homology 군 $H^k(L;\text{ad}_{s,t}) = Z^k(L;\text{ad}_{s,t})/B^k(L;\text{ad}_{s,t})$ 를 정의하기 위해.
• $\alpha$ 및 $\beta$ 에 대한 불변성과 비호모-자코비 항등식을 이용하여 $\alpha^s\beta^t$-고정된 표현이 잘 정의됨을 증명하기 위해.
• $d_{s,t}(D) = 0$ 이고 오직 그 때에만 $D$ 가 $\alpha^{s+2}\beta^{t-1}$-도함수임을 보여줌으로써 1-코사이클과 일반화된 도함수 사이의 연결 고리를 확립하기 위해.

실험 결과

연구 질문

• RQ1 비호모-리 대수의 표현 이론은 어떻게 체계적으로 발전시킬 수 있으며, 특히 고정된 표현과 자명한 표현에 대해 어떻게 접근할 수 있는가?
• RQ2 $\alpha^s\beta^t$-비틀린 고정된 작용은 비호모-리 대수의 코homology 정의에 어떤 역할을 하는가?
• RQ3 비호모-리 대수의 중심 확장들은 자명한 표현에서의 두 번째 코homology 군과 어떻게 관련이 있는가?
• RQ4 고정된 표현에서의 1-코사이클의 정확한 특성은 무엇이며, 도함수와의 관계는 어떻게 되는가?
• RQ5 $H^0(L;\text{ad}_{s,t})$ 와 $H^1(L;\text{ad}_{s,t})$ 의 코homology 군들은 대수의 중심과 도함수 구조와 어떻게 관련이 있는가?

주요 결과

• $\alpha$ 및 $\beta$ 에 대해 불변성과 비호모-자코비 항등식에 의한 닫힘을 검증함으로써, 정규 비호모-리 대수 위에서 $\alpha^s\beta^t$-고정된 표현이 잘 정의됨을 보였다.
• 고정된 표현에서의 1-코사이클 $D$ 는 $D$ 가 $\alpha^{s+2}\beta^{t-1}$-도함수임과 정확히 동치이며, 이는 고전적인 리 대수 결과를 일반화한다.
• 영차 코homology 군 $H^0(L;\text{ad}_{s,t})$ 는 $\alpha$ 및 $\beta$ 에 대해 고정된 원소 $u$ 로 이루어져 있으며, 이는 괄호에서 모든 원소와 가환함을 의미한다. 즉, 모든 $v\in L$ 에 대해 $[u,v]=0$ 이다.
• 일차 코homology 군 $H^1(L;\text{ad}_{s,t})$ 는 $\alpha^{s+2}\beta^{t-1}$-도함수 군과 내부 도함수 군의 몫과 동형이다. 즉, $Der_{\alpha^{s+2}\beta^{t-1}}(L)/Inn_{\alpha^{s+2}\beta^{t-1}}(L)$ 와 동형이다.
• 비호모-리 대수의 중심 확장들은 자명한 표현에서의 두 번째 코homology 군에 의해 분류되며, 이는 고전적인 리 대수 이론에서의 분류를 확장한다.
• $\alpha^s\beta^t$-고정된 표현과 관련된 코homology 복합체는 코경계 연산자 $d_{s,t}$ 에 대해 닫혀 있으며, 이는 코homology 이론의 타당성을 보장한다.