[논문 리뷰] Lie algebra of an n-Lie algebra

Basile Guy Richard Bossoto, Eugène Okassa외 1명|arXiv (Cornell University)|2013. 10. 09.

Advanced Topics in Algebra참고 문헌 1인용 수 3

한 줄 요약

이 논문은 주어진 $n$-Lie 대수에서 $(n-1)$-외적 힘의 공간 위에서의 수반 표현을 사용하여 Lie 대수를 구성한다. 이로써 유도된 도수의 작용을 통해 자연스러운 Lie 대수의 구조를 수립한다. 이 Lie 대수 작용을 기반으로 $n$-Lie 대수의 코homology를 정의하며, 0차 코homology 군이 $n$-Lie 대수의 불변량과 일치함을 증명함으로써 고전적 Lie 대수의 코homology를 $n$-항으로 일반화한다.

ABSTRACT

We construct the Lie algebra of an n-Lie algebra and we also define the notion of cohomology of an n-Lie algebra.

연구 동기 및 목표

• 주어진 $n$-Lie 대수에서 기저 벡터 공간의 $(n-1)$-외적 힘 위에서의 수반 표현을 사용하여 Lie 대수의 구조를 구성하는 것.
• 유도된 Lie 대수의 도수 작용을 기반으로 $n$-Lie 대수의 코homology 이론을 정의하는 것.
• 주어진 $n$-Lie 대수의 불변량과 0차 코homology 군 간의 관계를 확립하는 것.
• 이 구성된 Lie 대수를 통해 고전적 Lie 대수 개념—이데알, 가환성, 노름성, 카르탕 부분대수—를 $n$-Lie 대수의 맥락으로 일반화하는 것.

제안 방법

• 수반 사상 $ad_{\mathcal{G}}: \Lambda_K^{n-1}(\mathcal{G}) \to \text{Der}_K(\mathcal{G})$ 를 $ad_{\mathcal{G}}(x_1 \wedge \cdots \wedge x_{n-1})(y) = \{x_1, \dots, x_{n-1}, y\}$ 로 정의한다.
• $ad_{\mathcal{G}}$ 가 $\Lambda_K^{n-1}(\mathcal{G})$ 에서 $\text{Der}_K(\mathcal{G})$ 로 가는 Lie 대수의 준동형임을 보이며, 이는 $\Lambda_K^{n-1}(\mathcal{G}) / \mathcal{V}_K(\mathcal{G})$ 의 몫을 통과함을 증명한다.
• 유도된 표현 $\widetilde{ad_{\mathcal{G}}}: \Lambda_K^{n-1}(\mathcal{G}) / \mathcal{V}_K(\mathcal{G}) \to \text{Der}_K(\mathcal{G})$ 를 사용하여 $\mathcal{G}$ 에 계수를 갖는 코homology를 정의한다.
• 표현에 의해 유도된 미분 $d_n$ 을 갖는 코homology 복합체 $\left(\mathcal{L}_{sks}(\Lambda_K^{n-1}(\mathcal{G}) / \mathcal{V}_K(\mathcal{G}), \mathcal{G}), d_n\right)$ 를 정의한다.
• $d_n^2 = 0$ 이 성립함을 증명하여 잘 정의된 코homology 이론임을 보장한다.
• $H_n^0(\mathcal{G}) = \text{Inv}(\mathcal{G})$ 를 확립하며, 이는 $n$-Lie 대수의 불변량 공간임을 의미한다.

실험 결과

연구 질문

• RQ1 어떻게 $n \geq 2$ 인 $n$-Lie 대수로부터 자연스럽게 Lie 대수를 구성할 수 있는가?
• RQ2 $n$-Lie 대수의 코homology 이론은 무엇이며, 유도된 도수의 Lie 대수와의 관계는 어떠한가?
• RQ3 이 구성에 의해 고전적 Lie 대수 개념—이데알, 가환성, 노름성, 카르탕 부분대수—는 $n$-Lie 대수로 어떻게 일반화되는가?
• RQ4 $n$-Lie 대수의 코homology에서 불변 부분공간 $\text{Inv}(\mathcal{G})$ 의 역할은 무엇인가?
• RQ5 $n$-Lie 대수의 코homology는 유도 표현에 의해 유도된 대수의 코homology와 동형인가?

주요 결과

• $ad_{\mathcal{G}}: \Lambda_K^{n-1}(\mathcal{G}) \to \text{Der}_K(\mathcal{G})$ 는 Lie 대수 준동형이며, 이는 $n$-Lie 대수로부터 Lie 대수를 구성할 수 있음을 보여준다.
• $\Lambda_K^{n-1}(\mathcal{G}) / \mathcal{V}_K(\mathcal{G})$ 는 자연스러운 Lie 대수의 구조를 지니며, $\widetilde{ad_{\mathcal{G}}}$ 의 상은 $\text{Der}_K(\mathcal{G})$ 의 Lie 부분대수이다.
• $n$-Lie 대수의 불변량 공간 $\text{Inv}(\mathcal{G})$ 는 0차 코homology 군 $H_n^0(\mathcal{G})$ 와 동형이다.
• 코homology 복합체 $\left(\mathcal{L}_{sks}(\Lambda_K^{n-1}(\mathcal{G}) / \mathcal{V}_K(\mathcal{G}), \mathcal{G}), d_n\right)$ 는 $d_n^2 = 0$ 을 만족하여 잘 정의된 코homology 이론임을 확인한다.
• $\widetilde{ad_{\mathcal{G}}}$ 에 대해 안정한 부분공간은 $n$-Lie 대수의 이데알과 대응되며, 표현 이론과 이데알의 구조를 연결한다.
• $\Lambda_K^{n-1}(\mathcal{G}) / \mathcal{V}_K(\mathcal{G})$ 의 중심은 $\Lambda_K^{n-1}(\text{Inv}(\mathcal{G}))$ 의 상을 포함하며, 이는 불변량이 유도된 Lie 대수에 자명하게 작용함을 보여준다.