[論文レビュー] Representations of Lie algebras arising from polytopes

R. M. Green|ArXiv.org|Apr 18, 2007

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

ひとこと要約

本稿では、超立方体、超正八面体、$2_{21}$、$3_{21}$ などの格子多面体の頂点を用いて、複素単純リー代数の最小単表現を、新規かつ初等的な方法で構成する。最小単系フレームワークを介して、これらの多面体の幾何学的性質から直接線形作用素を定義することで、リー理論の事前知識なしにリー代数のチェバレー生成子を構成し、純粋に組合せ論的かつ幾何学的手段によって、スピン表現や自然表現を含むすべての最小単表現を構成する。

ABSTRACT

We present an extremely elementary construction of the simple Lie algebras over the complex numbers in all of their minuscule representations, using the vertices of various polytopes. The construction itself requires no complicated combinatorics and essentially no Lie theory other than the definition of a Lie algebra; in fact, the Lie algebras themselves appear as by-products of the construction.

研究の動機と目的

• 対称的格子多面体の頂点のみを用いて、複素単純リー代数の最小単表現を単純かつ初等的に構成すること。
• リー代数理論の高度な組合せ論や事前知識を排除し、幾何的構成の副産物としてリー代数構造を導出すること。
• 古典的および例外型（$E_6$、$E_7$、$B_n$、$D_n$、$C_n$、$A_{n-1}$）のすべての最小単表現を、一つの幾何的枠組みで統一的に記述すること。
• 各表現のクリスタルグラフと重み格子が、多面体の頂点構造と辺ラベル付けから直接実現可能であることを示すこと。
• 重みの部分順序が、多面体の幾何学から実現可能な分配的ラティス構造に対応することを示すこと。

提案手法

• 定義2.1で示される2つの有限集合 $\Psi$（格子多面体の頂点）と $\Delta$（$\mathbb{R}^n$ 内のベクトルの集合）からなる「最小単系」を定義し、2つの初等的な幾何的条件を満たす。
• 定義2.2で、$|\Psi|$ 次元のベクトル空間上に、$\Delta$ の要素から対応する根ベクトルに対応する線形作用素を構成する。
• $\Delta$ が単純根または拡張されたディンキン根（$\alpha_0 = -\theta$ を含む）に対応する場合、これらの作用素が複素単純リー代数のチェバレー生成子の定義的関係を満たすことを示す。
• 多面体の頂点間の幾何的距離および直交性の性質を用いて、作用素の作用が根による重みシフトに対応することを検証する。
• 多面体の対称性（例：$E_7$ に対して $3_{21}$、$E_6$ に対して $2_{21}$）を活用し、56次元および27次元の最小単表現を、それぞれの頂点上の置換モジュラーとして実現する。
• アフィンカク＝ムーディ代数への接続を通じて、部分代数への制限におけるモジュールの振る舞いを説明する。たとえば、$56$次元の $E_7$ モジュールは、二つの $28$ 次元の $A_7$-モジュールに制限される。

実験結果

リサーチクエスチョン

• RQ1 複素単純リー代数の最小単表現は、リー代数を事前に構成することなく、対称的格子多面体の頂点のみを用いて構成可能か？
• RQ2 すべての最小単表現（$E_6$ や $E_7$ のような例外型を含む）を、多面体の頂点と根ベクトルを用いて、一様かつ初等的な幾何的方法で実現可能か？
• RQ3 クリスタルグラフは、多面体の頂点および辺構造から直接可視化可能か？
• RQ4 根の組み合わせによって誘導される重みの部分順序は、多面体の幾何学から導出可能な分配的ラティス構造に対応するか？
• RQ5 多面体から構成された表現は、部分代数への制限においてどのように振る舞い、これはアフィンリー代数の拡張によって説明可能か？

主な発見

• すべての複素単純リー代数の最小単表現（$E_7$ の56次元表現、$E_6$ の27次元表現を含む）が、それぞれ $3_{21}$ および $2_{21}$ 多面体の頂点から直接構成される。
• $\mathfrak{e}_7$ の56次元表現は、$3_{21}$ 多面体の56個の頂点から生じ、根ベクトルは長さ $\sqrt{32}$ の差を示す頂点間のシフトとして作用する。
• $\mathfrak{b}_n$ および $\mathfrak{d}_n$ のスピン表現は、$n$ 次元超立方体の頂点上の置換モジュラーとして実現され、$A_{n-1}$ の最小単表現は制限によって得られる。
• $\mathfrak{c}_n$ および $\mathfrak{d}_n$ の自然表現は、$n$ 次元超正八面体の頂点から構成され、作用は根空間のシフトに対応する。
• 各最小単表現のクリスタルグラフは、多面体の頂点上にラベル付きグラフとして直接実現され、$\mathbb{a} \in \Delta$ でラベル付けされた辺は、$\mathbb{a}$ の差を示す頂点を結ぶ。
• $\Psi$ 上の重みの順序集合は、交わりと結びの演算に関して分配的ラティスを形成し、その構造は多面体の幾何学および最小単系の条件から自然に誘導される。