[論文レビュー] Moufang symmetry I. Generalized Lie and Maurer-Cartan equations

Eugen Paal|arXiv (Cornell University)|Feb 25, 2008

Mathematics and Applications参考文献 4被引用数 9

ひとこと要約

本稿では、連続的ムーファン環球の結合性からの最小限のずれを1階偏微分方程式によって特徴付けることにより、一般化されたリーおよびモーラー＝カルタン方程式を導入する。主な貢献は、古典的なリー群のモーラー＝カルタン方程式を一般化する、左および右不変ベクトル場による接マルツェフ代数の双表現であり、これらは新たな交換関係を満たす。

ABSTRACT

The continuous Moufang loops are characterized as the algebraic systems where the associativity law is perturbed minimally. The minimal perturbation of associativity is characterized by the first- order partial differential equations, which in a natural way generalize the Lie and Maurer-Cartan equations from the theory of Lie groups.

研究の動機と目的

• 代数的系における結合性からの最小摂動として連続的ムーファン環球を特徴付けること。
• 古典的なリーおよびモーラー＝カルタン方程式をリー群から非結合的ムーファン環球へ一般化すること。
• テイラー展開と対称性制約を用いて、局所解析的ムーファン環球の構造を記述する微分方程式を導出すること。
• 左および右不変ベクトル場を用いた接マルツェフ代数の双表現を確立すること。
• ムーファン環球の3次結合子が完全反対称的であることを示し、一般化されたアキヴィス恒等式を導出すること。

提案手法

• 恒等元の近傍における局所解析的ムーファン環球の積を、補助関数 $ u^i_j, v^i_j, u^i_{jk}, v^i_{jk} $ を用いてテイラー展開でパrameter化する。
• 2次項から構造定数 $ c^i_{jk} = a^i_{jk} - a^i_{kj} $ を定義し、非結合性を捉える。
• ムーファン恒等式を微分し、結合性の摂動に対する最小性条件を課すことにより、1階微分制約を導出する。
• 一般化されたモーラー＝カルタン方程式 (6.2a,b) を、1階関数 $ u^i_j $ および $ v^i_j $ の微分方程式として導入し、微分と構造定数を含む。
• 左および右不変ベクトル場 $ L_x, R_x $ を用いて一般化されたモーラー＝カルタン方程式を表現し、接マルツェフ代数の双表現を導く。
• 3次最小性条件を導出し、3次結合子が完全反対称的であることを示し、アキヴィス恒等式 $ J(x,y,z) = 6(x,y,z) $ を得る。

実験結果

リサーチクエスチョン

• RQ1 連続的ムーファン環球における結合性からの最小ずれは、どのように1階偏微分方程式によって特徴付けられるか？
• RQ2 非結合的ムーファン環球の文脈において、古典的なモーラー＝カルタン方程式はどのように一般化されるか？
• RQ3 ムーファン環球上の左および右不変ベクトル場は、どのように一般化された交換関係を満たすか？
• RQ4 接マルツェフ代数は、ムーファン環球の非結合的構造をどのように符号化するか？
• RQ5 3次結合子の完全反対称性は、接代数における一般化されたアキヴィス恒等式をどのように導くか？

主な発見

• 一般化されたモーラー＝カルタン方程式 (6.2a,b) は、構造関数の混合微分を含むことで、非結合性を組み込んだ古典的モーラー＝カルタン方程式の最小摂動を提供する。
• 左および右不変ベクトル場 $ L_x $ および $ R_x $ は、$ [L_x, L_y] = L_{[x,y]} - 2[L_x, R_y] $ などの双表現関係を満たし、これはリー代数の交換関係を一般化する。
• 局所解析的ムーファン環球の3次結合子は、その下付き添え字に関して完全反対称的であり、$ l^i_{jkl} = -l^i_{klj} = -l^i_{lkj} $ などが成り立つ。
• 接マルツェフ代数におけるアキヴィス恒等式は $ J(x,y,z) = 6(x,y,z) $ で与えられ、ここで $ J $ はジャコビャトリクス、$ (x,y,z) $ は結合子である。
• 構造定数 $ c^i_{jk} $ はマルツェフ代数を定義し、これはジャコビ恒等式を満たさないがマルツェフ恒等式を満たす非リー代数である。
• 結合的極限（すなわちリー群）において、一般化されたモーラー＝カルタン方程式は $ [L_x, R_y] = 0 $ を満たし、古典的ケースに回復する。