[論文レビュー] Faithful representations of Lie algebras and Homogeneous Spaces

Petros A. Terzis|arXiv (Cornell University)|Apr 30, 2013

Nonlinear Waves and Solitons参考文献 30被引用数 4

ひとこと要約

本稿では、理想の普遍被覆代数の双対空間に作用する、完全に代数的なアルゴリズム的手法を用いて、次元 ≤4 の実リー代数の忠実な表現を計算する。構造定数を用いて、左不変ベクトル場（キリング場）、右不変ベクトル場、左不変1形式、および群の合成関数を行列指数関数を用いて計算することで、微分方程式を解く必要なく、同次多様体を完全に特徴付けることが可能になる。

ABSTRACT

The faithful representations of real Lie algebras g with dimensions $n\leq 4$ acting on the dual space of the universal covering algebra of an ideal s of g, are calculated. With the help of left and right translations of the Lie group, we define the homogeneous manifolds of dimension n and we calculate the Killing fields (generators of left translations), the invariant fields (generators of right translations) and the left invariant 1-forms.

研究の動機と目的

• 次元 ≤4 の実リー代数の忠実な表現を、その理想の普遍被覆代数の双対空間に作用させることで体系的に計算すること。
• これらのリー代数に関連する同次多様体に対して、左不変ベクトル場（キリング場）、右不変ベクトル場、および左不変1形式を導出すること。
• 構造定数に基づいて行列指数関数を用いて群の合成関数を計算し、偏微分方程式を解く必要を回避すること。
• コンピュータ代数システムで実装可能な、完全に代数的でアルゴリズム的な枠組みを提供し、リー群上の幾何的構造を明示的に計算すること。
• 構造定数と代数的操作のみを用いて、低次元リー群の同次空間を自己完結的かつ構成的に行う方法を提供すること。

提案手法

• リー代数の理想における普遍被覆代数の双対空間に作用させることで、リー代数の忠実な表現を構築する。
• リー代数の構造定数を用いて表現行列を定義し、これを指数関数化することで有限群元を生成する。
• 群の合成関数を単位元の周りでテイラー展開することで、左および右移動生成子を導出する。
• 合成関数の微分を用いて、左移動の生成子としてキリング場を、右移動の生成子として不変ベクトル場を導出する。
• 左移動写像のヤコビ行列の逆行列を用いて、左不変1形式を計算する。
• ラグランジュ＝シルベスター補間法を用いて行列指数関数を計算し、群の合成関数を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 構造定数のみを用いて、次元 ≤4 の実リー代数の忠実な表現をどのようにアルゴリズム的に計算できるか。
• RQ2 偏微分方程式を解かずに、同次多様体上でのキリング場および不変ベクトル場を明示的な代数的手続きで導出する方法は何か。
• RQ3 リー代数の構造定数から、リー群の合成関数を代数的にどのように計算できるか。
• RQ4 理想の普遍被覆代数の双対空間と、リー代数の忠実な表現との間の関係は何か。
• RQ5 左不変1形式および同次多様体の不変基底を、代数的演算と行列指数関数のみを用いて体系的に導出できるか。

主な発見

• 本手法は、理想の普遍被覆代数の双対空間に作用させることで、次元 ≤4 のすべての実リー代数の忠実な表現を成功裏に計算した。
• キリング場および不変ベクトル場は、合成関数の微分を用いた代数的導出により得られ、偏微分方程式を解く必要がなかった。
• 左不変1形式は、左移動写像のヤコビ行列の逆行列を用いて、左不変ベクトル場の双対基底として計算された。
• リー群の合成関数は、ラグランジュ＝シルベスター補間法に基づく行列指数関数を用いて明示的に計算された。
• 代数 $A_{4,10}$ に対して、行列指数関数 $\exp(\theta^\mu \Omega_\mu)$ が計算され、固有値として $\lambda_1=0$（重複度2）、$\lambda_{2,3}=\pm i\theta^4$（重複度1）、$\lambda_{4,5}=\pm 2i\theta^4$（重複度1）が得られ、補間多項式の係数 $c_k$ が明示的に得られた。
• 最終的な群元は、元の群パラメータ $\alpha^1, \alpha^2, \alpha^3, \alpha^4$ を用いて再定義された座標 $\theta^1, \theta^2, \theta^3$ で表現され、同次多様体の明示的パラメータ表示が可能になった。