[論文レビュー] PostLie algebra structures on the Lie algebra sl(2,C)

Yu Pan, Qing Liu+2 more|arXiv (Cornell University)|Nov 26, 2011

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

ひとこと要約

この論文は、複素数体上のリー代数 $ \mathrm{sl}(2,\mathbb{C}) $ におけるPostLie代数構造を同型を除いて完全に分類し、直交群による合同作用の下での対称行列に関する行列方程式の解の分類に問題を還元する。主な結果として、構造定数を明示的に与えた5つの異なる同型類のリストが得られ、分類は複素対称行列の標準形とリー代数の自己同型に依拠している。

ABSTRACT

The PostLie algebra is an enriched structure of the Lie algebra that has recently arisen from operadic study. It is closely related to pre-Lie algebra, Rota-Baxter algebra, dendriform trialgebra, modified classical Yang-Baxter equations and integrable systems. We give a complete classification of PostLie algebra structures on the Lie algebra sl(2,C) up to isomorphism. We first reduce the classification problem to solving an equation of 3 x 3 matrices. To solve the latter problem, we make use of the classification of complex symmetric matrices up to the congruent action of orthogonal groups.

研究の動機と目的

• リー代数 $ \mathrm{sl}(2,\mathbb{C}) $ 上のすべての同型類のPostLie代数構造を分類すること。
• 分類問題を $ 3\times3 $ 複素行列を含む行列方程式の解法に還元すること。
• 複素数体上の $ \mathrm{SO}(3,\mathbb{C}) $ の合同作用の下での複素対称行列の分類を用いて、行列方程式を解くこと。
• 構造定数を明示的に記述した同型類の代表元を提供すること。
• PostLie代数の同型類と、行列方程式の解の合同類との間に一対一対応を確立すること。

提案手法

• $ \mathrm{sl}(2,\mathbb{C}) $ 上のPostLie代数構造を、反対称性、ジャコビ恒等式、および2つのPostLie関係を満たす二項演算 $ \circ $ を用いて定義する。
• 半単純リー代数上での任意のPostLie構造は、$ \mathfrak{g} $ 上の線形作用素 $ f $ を用いて $ x\circ y = [f(x), y] $ と表せることを応用する。
• 作用素 $ f $ を基底 $ \{e_1, e_2, e_3\} $ に関して $ 3\times3 $ 行列 $ A $ として表現し、有効なPostLie構造を特徴付ける行列方程式 (11) を得る。
• 同型類の分類を、$ \mathrm{SO}(3,\mathbb{C}) $ の作用の下でのこの行列方程式の解 $ A $ の合同類の分類に還元する。
• 複素対称行列の合同による標準形分類を用いて、フルランク解を分類する。
• フルランクでない解については、$ A + A^\prime $ や $ A^\prime A $ のような対称化された形を分析し、同じ標準形技法を用いて分類を拡張する。

実験結果

リサーチクエスチョン

• RQ1 リー代数 $ \mathrm{sl}(2,\mathbb{C}) $ 上のPostLie代数構造のすべての同型類は何か？
• RQ2 リー代数 $ \mathrm{sl}(2,\mathbb{C}) $ 上のPostLie構造の分類は、どのように行列論的問題に還元できるか？
• RQ3 対称行列と $ \mathrm{SO}(3,\mathbb{C}) $ による合同類は、PostLie代数の分類において果たす役割は何か？
• RQ4 $ \mathrm{sl}(2,\mathbb{C}) $ の自己同型はPostLie構造にどのように作用するか？また、同型を定義するためにどのように利用できるか？
• RQ5 すべての可能な構造定数を計算することで、分類を明示的に可能にすることができるか？

主な発見

• リー代数 $ \mathrm{sl}(2,\mathbb{C}) $ 上のPostLie代数構造には、正確に5つの同型類が存在し、定理2に明示的にリストされている。
• すべての $ i,j $ に対して $ e_i \circ e_j = 0 $ と定義される自明なPostLie構造は、その5つのクラスの1つである。
• 2番目のクラスは $ e_i \circ e_j = [-e_i, e_j] $ に対応し、定数作用素 $ f = -\mathrm{id} $ から導かれる。
• 3番目のクラスは、複素固有値をもつ非対称作用素 $ f $ から生じ、$ \frac{1\pm\sqrt{-1}}{2} $ の係数を含む非自明なPostLie積をもつ。
• 4番目のクラスは、非ゼロの $ f $-作用素で、複素数成分を持ち、$ e_3 $ に対して作用をもたないため、特徴的な構造を持つ。
• 5番目のクラスは、$ k \in \mathbb{C} $ をパrameterとする1パラメータ族の解を含み、$ e_1 \circ e_i = [k e_1, e_i] $ であり、$ e_2 $ および $ e_3 $ に対して特定の非自明な作用をもつ。