[論文レビュー] Structures Preserved by Exceptional Lie Algebras

T. A. Larsson|ArXiv.org|Jan 7, 2003

Algebraic structures and combinatorial models参考文献 3被引用数 3

ひとこと要約

本稿では、例外的リー代数 $\mathfrak{e}_7$、$\mathfrak{e}_6$、$\mathfrak{f}_4$、$\mathfrak{g}_2$ を、接触形式と双線形形式を保存する $\mathfrak{sp}(n+2)$ のために、光錐計量とベクトル値2形式を保存する $\mathfrak{e}_7$ と $\mathfrak{e}_6$ のために、複素多様体上のベクトル場の部分代数として統一的に幾何学的に実現する。主な貢献は、これらの代数が単純かつ不変な構造を保存するベクトル場の代数として自然に生じることを示したことにより、その存在が直感的で避けがたいものであることを明らかにしたことである。

ABSTRACT

For sp(n+2) and each exceptional Lie algebra a realization of depth 2 preserving the spaces spanned by a contact one-form and a bilinear form is given. For e_7 and e_6 a realization of depth 1 preserving a lightcone and the space spanned by a bilinear form is also presented. This makes the origin of the exceptions clear.

研究の動機と目的

• 例外的リー代数の起源を、自然な幾何的構造を保存するベクトル場の部分代数として埋め込むことにより明確化すること。
• 例外的リー代数 $\mathfrak{e}_7$、$\mathfrak{e}_6$、$\mathfrak{f}_4$、$\mathfrak{g}_2$ が特定の不変テンソルを保存するベクトル場の代数として生じることを示すこと。
• カルタンの延長法を用いて、有限次元の例外的リー代数と無限次元の古典的リー代数を統一的に記述すること。
• これらの代数の深さ1および深さ2の階化構造が、計量や微分形式などの保存される幾何的対象に対応することを示すこと。
• 例外的リー代数の存在が自然で避けがたいものに見える、幾何的かつ不変理論的枠組みを提供すること。

提案手法

• 先行研究からの既知の構成を用いて、リー代数の負の階とゼロの階成分 $\mathfrak{g}_{-2} + \mathfrak{g}_{-1} + \mathfrak{g}_0$ を $\mathbb{C}^n$ 上に実現する。
• カルタンの延長技術を用いて、これらのベクトル場が保存する幾何的構造（例：接触形式、双線形形式、計量）を同定する。
• 同じ構造を保存する $\mathfrak{vect}(n)$ の部分代数として全リー代数 $\mathfrak{g}$ を定義し、閉包性と正しさを保証する。
• 暗黙の和、対称化、反対称化を用いたテンソル計算により、保存される構造とそれらのリー微分による変換法則を表現する。
• 部分微分と構造定数を用いて $\mathfrak{g}_{-1} + \mathfrak{g}_0$ の明示的生成子を構成し、リー微分による不変性を検証する。
• 保存される構造（例：$ds^2$、$\beta^{ijkl}$、$\alpha$）が、$\mathfrak{g}$ に属するベクトル場の作用でスカラー関数およびテンソル値関数として変換されることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにして例外的リー代数 $\mathfrak{e}_7$ と $\mathfrak{e}_6$ を、幾何的構造を保存するベクトル場の部分代数として実現できるか？
• RQ2 深さ1の実現において、$\mathfrak{e}_7$ と $\mathfrak{e}_6$ を生成するベクトル場が保存する具体的な幾何的構造は何か？
• RQ3 なぜ例外的リー代数が特定の不変テンソルを保存するベクトル場の代数として自然に生じるのか、そしてこれはその存在をどのように説明するのか？
• RQ4 例外的リー代数の深さ1および深さ2の階化構造を、保存される幾何的対象から体系的に導出できるか？
• RQ5 カルタンの延長法を用いて、保存される幾何的不変量を通じて、例外的リー代数の構造を構築および検証するにはどの程度有効か？

主な発見

• 例外的リー代数 $\mathfrak{e}_7$ は、光錐計量 $ds^2$ とベクトル値2形式 $\beta^{ijkl}$ を保存する $\mathfrak{vect}(27)$ の部分代数として実現され、深さ1の実現である。
• 例外的リー代数 $\mathfrak{e}_6$ は、光錐計量 $ds^2$ とベクトル値2形式 $\beta^{ij}_{ab}$ を保存する $\mathfrak{vect}(16)$ の部分代数として実現され、深さ1の実現である。
• $\mathfrak{sp}(n+2)$ の場合、接触1形式と双線形形式を保存する深さ2の実現を構成し、構造を族に一般化した。
• $\mathfrak{e}_7$ および $\mathfrak{e}_6$ の $\mathfrak{g}_{-1} + \mathfrak{g}_0$ の生成子は、部分微分と構造定数を用いて明示的に与えられ、代数的閉包性が確認された。
• 保存される構造のリー微分は $\mathcal{L}_X ds^2 = f ds^2$ および $\mathcal{L}_X \beta = g \beta$ のように変換され、$f$ および $g$ はベクトル場 $X$ に依存する。これにより、代数作用における不変性が確認された。
• この方法により、保存される構造が代数の自然かつ不変な特徴付けを提供するため、例外的リー代数が $\mathfrak{vect}(n)$ の閉じた部分代数として成功裏に構成された。