[論文レビュー] A simple E8 construction

Sergio L. Cacciatori, Francesco Dalla Piazza+1 more|arXiv (Cornell University)|Jul 16, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 3

ひとこと要約

この論文は、例外的リー群 $E_8$ の明示的一般化エーラーパラメータ化を完成させるプログラムを、その最大部分群 $\mathrm{Ss}(16) = \mathrm{Spin}(16)/\mathbb{Z}_2$ を用いて遂行する。$\mathrm{Spin}(16)$ とその128次元スピンルール表現を介したクラッカー代数的実現により $E_8$ リー代数を構築し、$E_8$ の全領域を一意かつ重複なしにカバーするように、$y^a$ パラメータの正確な範囲を導出する。これにより、数値的および理論的物理学の応用分野における長年の課題が解決される。

ABSTRACT

In this short letter we conclude our program, started in [J. Math. Phys. 46 (2005) 083512], of building up explicit generalized Euler angle parameterizations for all exceptional compact Lie groups. In this last step we solve the problem for E8.

研究の動機と目的

• すべてのコンパクトで単連結な例外的リー群に対する明示的一般化エーラーパラメータ化のプログラムを完成させ、これまで未解決であった $E_8$ の場合を含む。
• パラメータの正確な範囲を指定することで、$E_8$ のグローバルに重複のないパラメータ化を提供し、シミュレーションにおける数値的困難を回避する。
• 先行研究で開発された手法を $E_8$ に拡張し、最大部分群 $\mathrm{Ss}(16)$ と $\mathrm{Spin}(16}$ の $\mathbf{128}$ スピンルール表現を用いる。
• 一般化エーラー座標における $E_8$ の正しいパラメータ範囲を特定する長年の課題を解決し、群多様体の全領域を一対一に対応させる。

提案手法

• コンパクトな実形式 $\mathrm{Spin}(16)$ とその128次元メジャナウ・ヴァイエルススピンルール表現 $\Delta_+$ を用いて $E_8$ リー代数を実現する。
• $\gamma$-行列を含む交換関係を用い、$\mathrm{Spin}(16)$ の生成子 $J_{ij}$ とスピンルール生成子 $Q_\alpha$ を組み合わせることで、$E_8$ の随伴表現 $\mathbf{248}$ を構築する。
• 群 $E_8$ を $E_8[x; y; z] = (S[x]/\mathbb{Z}_2^8) \exp(\sum_a y^a C_a) S[z]$ のパラメータ化により定義する。ここで $S$ は $\mathrm{Ss}(16)$ のパラメータ化である。
• $\mathbb{Z}_2^8$ 商を、$x$ の8つのパラメータの範囲を半周期に制限することで実装し、重複を排除する。
• 単純根 $\alpha^i$ と最長根 $\alpha^L$ を用いて、$y^a$ パラメータの単射範囲を特定する。$i=1,\dots,8$ に対して $0 \leq \sum_a \alpha^i_a y^a < \pi$ および $0 \leq \sum_a \alpha^L_a y^a < \pi$ の制約を課す。
• 選択した単純根と最長根 $\alpha^L = (0,0,0,0,0,0,1,1)$ を代入し、$y^1$ から $y^8$ までのネストされた不等式としてパラメータの境界を明示的に計算する。

実験結果

リサーチクエスチョン

• RQ1 例外的リー群 $E_8$ に対して、グローバルに重複のない一般化エーラーパラメータ化をどのように構築できるか？
• RQ2 カーテン部分代数生成子の正確なパラメータ範囲は何か？ これにより $E_8$ の一対一被覆が保証される。
• RQ3 最大部分群 $\mathrm{Ss}(16)$ の $\mathbb{Z}_2^8$ 商を、パラメータ化において体系的に実装し、重複を除去する方法は？
• RQ4 $\mathrm{Spin}(16}$ とそのスピンルール表現を用いた $E_8$ リー代数の明示的実現は何か？
• RQ5 単純根と最長根は、一般化エーラー構成におけるパラメータ空間にどのように制約を課すか？

主な発見

• 本論文は、単純根から導出された8つの不等式と最長根から導出された1つの不等式に基づく、$E_8$ の完全でグローバルに単射なパラメータ化を提供する。
• $y^1$ のパラメータ範囲は $0 \leq y^1 < \pi/6$ に制限され、これは最初のパラメータが全周期の6分の1しかカバーしないことを保証する。
• $y^2$ から $y^8$ の範囲は逐次的にネストされ、前のパラメータに依存しており、$y^8$ はすべての前の $y^a$ と $y^8$ 自身を含む線形不等式によって境界づけられる。
• 最長根 $\alpha^L = (0,0,0,0,0,0,1,1)$ は制約 $0 \leq y^7 + y^8 < \pi$ を導き、これは単射性にとって極めて重要である。
• この手法により、$E_8$ 群全体が正確に一度だけ被覆される（測度ゼロの集合を除く）ことが保証され、数値シミュレーションにおける主要な課題が解決される。
• この構成は、http://www.dfm.uninsubria.it/E8/ で入手可能な Mathematica プログラムにより明示的に実装可能であり、パラメータ化とカーテン部分代数要素の計算的検証が可能である。