[論文レビュー] Lie algebra of an n-Lie algebra

Basile Guy Richard Bossoto, Eugène Okassa+1 more|arXiv (Cornell University)|Oct 9, 2013

Advanced Topics in Algebra参考文献 1被引用数 3

ひとこと要約

この論文は、基底ベクトル空間の $(n-1)$-外積冪上の随伴表現を用いて、$n$-Lie代数からLie代数を構成し、導来作用素を通じて標準的なLie代数構造を確立する。このLie代数作用を用いて$n$-Lie代数のコホモロジーを定義し、0次コホモロジー群が$n$-Lie代数の不変量に一致することを示し、古典的Lie代数コホモロジーを$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-1)$-外積冪上の随伴表現を用いて、$n$-Lie代数からLie代数構造を構成すること。
• 導来Lie代数の作用に基づいて、$n$-Lie代数のコホモロジー理論を定義すること。
• $n$-Lie代数の不変量と0次コホモロジー群との関係を確立すること。
• 古典的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}$ に係数をもつコホモロジーを定義する。
• 表現によって誘導される微分 $d_n$ を持つコホモロジー複体 $\left(\mathcal{L}_{sks}(\Lambda_K^{n-1}(\mathcal{G}) / \mathcal{V}_K(\mathcal{G}), \mathcal{G}), d_n\right)$ を定義する。
• $d_n^2 = 0$ を満たすことを証明し、適切に定義されたコホモロジー理論であることを保証する。
• $H_n^0(\mathcal{G}) = \text{Inv}(\mathcal{G})$ であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 $n \geq 2$ に対して、$n$-Lie代数から自然にLie代数を構成する方法は何か？
• RQ2 $n$-Lie代数のコホモロジー理論とは何か？ そして、導来Lie代数の導来作用素とはどのように関係するか？
• RQ3 古典的Lie代数の概念—イデアル、可解性、カルタン部分代数—は、この構成を通じてどのように$n$-Lie代数の設定へと拡張されるか？
• RQ4 $n$-Lie代数のコホモロジーにおいて、不変部分空間 $\text{Inv}(\mathcal{G})$ の役割は何か？
• RQ5 $n$-Lie代数のコホモロジーは、導来表現のもとで、その関連するLie代数のコホモロジーと同型であるか？

主な発見

• $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次コホモロジー群 $H_n^0(\mathcal{G})$ と同型である。
• コホモロジー複体 $\left(\mathcal{L}_{sks}(\Lambda_K^{n-1}(\mathcal{G}) / \mathcal{V}_K(\mathcal{G}), \mathcal{G}), d_n\right)$ は $d_n^2 = 0$ を満たし、適切に定義されたコホモロジー理論であることが確認された。
• $\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代数上で自明に作用することを示している。