[論文レビュー] E6, the Group: The structure of SL(3,O)

Aaron Wangberg, Tevian Dray|arXiv (Cornell University)|Dec 13, 2012

Advanced Algebra and Geometry参考文献 12被引用数 9

ひとこと要約

この論文は、リー代数 𝔰𝔩(3,𝕆) 及びその関連群 SL(3,𝕆) の明示的構成を提供し、それが例外的リー群 E6(-26) の実形式として同定されることを示している。群レベルの手法を用いて、代数の積表が導出され、SL(2,𝕆) が SO(9,1) として埋め込まれ、安定化部分代数を分析することによって、入れ子になった部分代数および部分群の鎖が構成される。主な貢献は、半単純でない 16 次元のアーベル的イデアル stab(I) の同定であり、これにより 𝔰𝔩(2,𝕆) ⊕ stab(I) のような半単純でない部分代数が生じ、𝔰𝔩(3,𝕆) の新たな分解が明らかになる。

ABSTRACT

We present the subalgebra structure of sl(3,O), a particular real form of e6 chosen for its relevance to particle physics and its close relation to generalized Lorentz groups. We use an explicit representation of the Lie group SL(3,O) to construct the multiplication table of the corresponding Lie algebra sl(3,O). Both the multiplication table and the group are then utilized to find various nested chains of subalgebras of sl(3,O), in which the corresponding Cartan subalgebras are also nested where possible. Because our construction involves the Lie group, we simultaneously obtain an explicit representation of the corresponding nested chains of subgroups of SL(3,O).

研究の動機と目的

• グランド統一理論に関連する E6 の実形式としての SL(3,𝕆) の明示的で群論的な実現を提供すること。
• 群レベルの手法を用いて、その積表を含め、Lie 代数 𝔰𝔩(3,𝕆) を明示的に構成すること。
• 3×3 オクタニオンヒルベルト行列の型構造を保つ部分代数および部分群の入れ子の鎖を構成し、分析すること。
• 特に、Jordan 代数 H3(𝕆) の特定の成分を固定する stab(I) のような安定化部分代数の役割を調査すること。
• E6 を基盤とする素粒子物理学モデルにおける、非半単純部分代数の意味を探索すること。

提案手法

• オクタニオン上の 2×2 ヒルベルト行列に基づき、SL(2,𝕆) を SO(9,1) の二重被覆として構成する。
• ブロック対角行列を用いて SL(2,𝕆) を SL(3,𝕆) に埋め込み、H3(𝕆) の Jordan 代数構造を保つ。
• 群から微小生成子を用いて Lie 代数 𝔰𝔩(3,𝕆) を構成し、その積表を明示的に導出する。
• タイプ 2 およびタイプ 3 の零回転生成子を特定し、Jordan 行列分解におけるタイプ 1 成分を安定化する。
• 括弧積を計算して部分代数構造を分析し、特に stab(I) = b²₊ ⊕ b³₋ のようなアーベル的イデアルを同定する。
• 𝔰𝔩(3,𝕆) を 𝔰𝔩(2,𝕆) ⊕ stab(I) ⊕ stab(I)⊥ ⊕ 𝔲(−1) に分解し、非半単純部分代数を明らかにする。

実験結果

リサーチクエスチョン

• RQ1 SL(3,𝕆) の明示的群および Lie 代数構造は何か？ そして、それがどのように E6(-26) の実形式として実現されるか？
• RQ2 𝔰𝔩(3,𝕆) の部分代数は H3(𝕆) の型分解とどのように関係するか？ どの部分代数が特定の成分を安定化するか？
• RQ3 16 次元のアーベル的部分代数 stab(I) の役割は何か？ なぜ半単純でないのか？
• RQ4 𝔰𝔩(2,𝕆) ⊕ stab(I) および 𝔰𝔲(2)ₕ ⊕ stab(I) が半単純でないのはなぜか？ これはゲージ群構造にどのような含意を持つのか？
• RQ5 粒子物理学の文脈において、𝔰𝔩(3,𝕆) = 𝔰𝔩(2,𝕆) ⊕ stab(I) ⊕ stab(I)⊥ ⊕ 𝔲(−1) の分解が果たす意義は何か？

主な発見

• Lie 代数 𝔰𝔩(3,𝕆) は群レベルの生成子を用いて明示的に構成され、完全な積表が得られた。
• 安定化部分代数 stab(I) = b²₊ ⊕ b³₋ は、Killing 形式に関して 16 次元のアーベル的イデアルであり、Killing 形式がこれに対して恒等的に 0 となる。
• 部分代数 𝔰𝔩(2,𝕆) ⊕ stab(I) は 61 次元であり、stab(I) がイデアルであるため、単純でも半単純でもない。
• 𝔰𝔩(3,𝕆) = 𝔰𝔩(2,𝕆) ⊕ stab(I) ⊕ stab(I)⊥ ⊕ 𝔲(−1) の分解は明示的に検証され、𝔲(−1) は 𝔡₁ の非コンパクト実形式に対応する。
• 𝔰𝔲(2)ₕ ⊕ stab(I) や 𝔰𝔲(3)ₕ ⊕ stab(I) といった部分代数が構成され、これらはタイプ 1 成分におけるケイレンビックおよび複素数部分代数を固定する。
• 52 次元の部分代数 𝔰𝔲(2,𝕆) ⊕ stab(I) および 𝔰𝔬(8,1)ₗ ⊕ stab(I) は、特定の成分の安定化子として同定され、後者は 𝔤₂ を含まない。