[論文レビュー] A Grassmann and graded approach to coboundary Lie bialgebras, their classification, and Yang-Baxter equations

Javier de Lucas, D. Wysocki|arXiv (Cornell University)|Oct 13, 2017

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

ひとこと要約

本稿は、$\frak{g}$-不変な多重線形写像、Lie代数における$G$-順序付け、代数的Schouten括弧を用いて、有限次元のcoboundary Lie bialgebraを分類するための新しいGrassmannおよび階数付き代数の枠組みを導入する。実3次元coboundary Lie bialgebraのアルゴリズム的分類を提供し、$\frak{so}(2,2)$および$\frak{so}(3,2)$の$r$-行列を特定する。自動同型に基づく同値性の確認を明示的な自動同型計算なしに簡略化する。

ABSTRACT

This work pioneers the systematic study and classification (up to Lie algebra automorphisms) of finite-dimensional coboundary Lie bialgebras through Grassmann algebras. Several mathematical structures on Lie algebras, e.g. Killing forms or root decompositions, are extended to the Grassmann algebras of Lie algebras. This simplifies the description of the procedures and tools appearing in the theory of Lie bialgebras and originates novel techniques for its study and classification up to Lie algebra automorphisms. As a particular case, the classification of real three-dimensional coboundary Lie bialgebras is retrieved.

研究の動機と目的

• 従来の代数的手法を超えて、coboundary Lie bialgebraを分類するための幾何学的・代数的道具を開発すること。
• Killing形式、根分解、順序付けといった構造をLie代数のGrassmann代数へと拡張すること。
• Lie代数の自己同型による同値関係の下でのcoboundary Lie bialgebraのアルゴリズム的分類を提供すること。
• 非単純かつ高次元のLie代数上で、修正古典的Yang-Baxter方程式（mCYBE）を満たす$r$-行列を特定すること。
• 自己同型群の計算を回避するため、$\tfrak{g}$-不変な多重ベクトルおよび縮約された多重ベクトル空間を用いて、自己同型依存分類の複雑さを低減すること。

提案手法

• $\tfrak{g}$-不変な多重線形写像を$\tfrak{g}$-加群に導入し、Grassmann代数へのKilling形式やCasimir不変量の一般化を行う。
• Lie代数に$G$-順序付け（$\tfrak{g} = \bigoplus_{\talpha \in G} \tfrak{g}^{(\talpha)}$）を導入し、$\tLambda^k \tfrak{g}$上に整合性のある分解を誘導する。
• 代数的Schouten括弧が$G$-順序付けを保存することを証明する：$[(\tLambda^m \tfrak{g})^{(\talpha)}, (\tLambda^l \tfrak{g})^{(\tbeta)}]_S \subset (\tLambda^{m+l-1} \tfrak{g})^{(\talpha \star \tbeta)}$。
• 同値関係による$r$-行列の分類を可能にするために、縮約された多重ベクトル空間$\tLambda^m_R \tfrak{g} := \tLambda^m \tfrak{g} / (\tLambda^m \tfrak{g})^{\tfrak{g}}$を定義する。
• $\tfrak{g}$-不変構造を用いて、内部自己同型の下でのcoboundary Lie bialgebraの同値性を検出し、完全な自己同型群の計算を回避する。
• この枠組みを$\tfrak{r}_{3,0}$および$\tfrak{r}'_{3,\lambda}$の$r$-行列分類に適用し、自己同型の作用の軌道解析により非同値な解を同定する。

実験結果

リサーチクエスチョン

• RQ1 Lie代数における$G$-順序付けを、coboundary Lie bialgebraを体系的に分類するためにどのように利用できるか？
• RQ2 代数的Schouten括弧が階数構造を保存する役割と、mCYBEの解法における役割は何か？
• RQ3 Grassmann代数上の$\tfrak{g}$-不変な多重線形写像が、$r$-行列の分類をどのように簡略化するか？
• RQ4 基礎となるLie代数の自己同型群を明示的に計算せずに、coboundary Lie bialgebraの分類を達成できるか？
• RQ5 $\tfrak{so}(2,2)$および$\tfrak{so}(3,2)$の完全な非同値$r$-行列の集合は何か？また、それらはどのように順序付けに起因する分解と関係しているか？

主な発見

• 提案されたGrassmannおよび階数付き代数の手法を用いて、実3次元coboundary Lie bialgebraの分類が再現され、非自明な非同値$r$-行列が3つ特定された：$r_0 = e_{12}$、$r_y = e_{23}$、$r_z = e_{13}$。
• $\tfrak{r}_{3,0}$に対して、内部自己同型の作用による$r$-行列の軌道は3つの異なる類をもたらし、順序付けに起因する分解を用いてmCYBEおよびCYBEの解が確認された。
• $(\tLambda^2 \tfrak{r}_{3,0})^{\tfrak{r}_{3,0}}$は非自明であり、$\tfrak{r}_{3,0}$-不変な要素を張り、完全な自己同型群の計算なしに分類が可能であることを示している。
• $\tfrak{r}'_{3,\lambda}$（$\lambda \neq 0$）に対しては、mCYBEを満たす$r$-行列は$\pm e_{12}$および$0$のみであり、$(\tLambda^3 \tfrak{r}'_{3,\lambda})^{\tfrak{r}'_{3,\lambda}} = 0$および$(\tLambda^2 \tfrak{r}'_{3,\lambda})^{\tfrak{r}'_{3,\lambda}} = 0$であるためである。
• $\tfrak{r}'_{3,\lambda}$の自己同型群は、$T_\alpha(e_1) = \alpha e_1$、$T_\alpha(e_2) = \alpha e_2$、$T_\alpha(e_3) = e_3$を満たす$T_\alpha$により生成され、$\Lambda^2 T_\alpha(e_{12}) = \alpha^2 e_{12}$を満たす。これにより、$r$-行列の3つの異なる類が確認された。
• この枠組みは、$\tfrak{so}(2,2)$および$\tfrak{so}(3,2)$の$r$-行列を効果的に特定でき、順序付けに整合する構造およびSchouten括弧の解析から解が得られた。