[論文レビュー] Good Gradings of Simple Lie Algebras

A. G. Élashvili, Victor G. Kač|arXiv (Cornell University)|Dec 10, 2003

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

ひとこと要約

本稿は、特性が0の代数的に閉じた体上のすべての単純な有限次元リー代数について、良い $Χ$-重層の完全な分類を提供する。$\mathfrak{sl}_2$-三つ組の理論と中心化子解析を用いて、良い元 $e$（$\mathrm{ad}\,e$ が $j \leq -1$ で単射かつ $j \geq -1$ で全射である-nilpotent 要素）をもつすべての $\mathbb{Z}$-重層を同定し、非ディンキン型の良い重層が $E_6$、$E_7$、$E_8$ の特定の冪等軌道でのみ存在することを示す。ここで、$e$ の中心化子の重み制約を用いて明示的な分類がなされている。主な貢献は、すべての単純リー代数について、非ディンキン型を含む、このような重層の完全なリストの提供である。

ABSTRACT

We study and give a complete classification of good $\ZZ$-gradings of all simple finite-dimensional Lie algebras. This problem arose in the quantum Hamiltonian reduction for affine Lie algebras.

研究の動機と目的

• 特性が0の代数的に閉じた体上の単純な有限次元リー代数のすべての良い $\mathbb{Z}$-重層を分類すること。
• 各冪等元 $e$ に対して、$e$ が良い元（すなわち、$\mathrm{ad}\,e: \mathfrak{g}_j \to \mathfrak{g}_{j+2}$ が $j \leq -1$ で単射かつ $j \geq -1$ で全射）であるようなすべての $\mathbb{Z}$-重層を特定すること。
• $\mathfrak{sl}_2$-三つ組によって誘導されるディンキン重層を超えて、非ディンキン型の良い重層を含む分類を拡張すること、特に例外的リー代数 $E_6$、$E_7$、$E_8$ における非ディンキン型に焦点を当てる。
• 半単純元 $h(e)$ 及びそのトーラス成分の重み解析を用いて、中心化子 $\mathfrak{g}^e$ を用いた良い重層の特定の体系的メソッドを提供すること。
• アフィンリー代数における量子ハミルトニアン還元の文脈で生じる未解決問題を、良い重層の完全な集合の特徴付けによって解決すること。

提案手法

• ジャコブソン–モロツォフの定理を用いて、$\mathfrak{g}_2$ 内の冪等元 $e$ を $\mathfrak{sl}_2$-三つ組 $\{e, h, f\}$ に上昇させ、半単純元 $h \in \mathfrak{g}_0$ 及び $f \in \mathfrak{g}_{-1}$ の存在を保証する。
• 各 $a \in \mathfrak{g}_j$ に対して $[H, a] = j a$ を満たす重層元 $H \in \mathfrak{g}_0$ を定義し、$z = H - h$ が $\mathfrak{sl}_2$-三つ組の中心化子 $\mathfrak{g}^\mathfrak{s}$ の中心に属することを示す。
• $e$ の中心化子 $\mathfrak{g}^e$ を解析し、$h(e) + T_1$ の作用による重み空間への分解を行う。ここで $T_1$ は $\mathfrak{g}^e$ が半単純でない場合の1次元トーラスである。
• 重みの整数性および非負性制約を用いて、トーラス $T_1$ のパrameter $t$ の可能な値を制限し、候補となる良い重層の有限集合を得る。
• ディンキン図の対称性を適用して同値な重層を特定し、分類をウェイル群の作用による軌道に還元する。
• 明示的な根空間分解とコンピュータ支援計算（例：GAPを用いて）を用いて、すべての候補重層を検証し、重みの重複度および重層の一貫性を確認する。

実験結果

リサーチクエスチョン

• RQ1 単純リー代数のどの $\mathbb{Z}$-重層が、$\mathfrak{g}_2$ 内の良い元 $e$ を持ち、$\mathrm{ad}\,e$ の単射性および全射性の条件を満たすか？
• RQ2 与えられた冪等軌道に対して、何個の異なる良い $\mathbb{Z}$-重層が存在するか？ また、ウェイル群作用による同型はどのようになるか？
• RQ3 $\mathfrak{sl}_2$-三つ組によって誘導されない（すなわち非ディンキン型の）良い $\mathbb{Z}$-重層は存在するか？ もし存在するならば、どのリー代数で発生するか？
• RQ4 中心化子 $\mathfrak{g}^e$ 及びその重み空間にどのような制約が、与えられた $e$ に対して良い重層の存在を決定づけるか？
• RQ5 中心化子 $\mathfrak{g}^e$ が半単純でない場合、半単純元 $h(e) + T_1$ の $\mathfrak{g}^e$ 上の重みが、可能な良い重層をどの程度制限するか？

主な発見

• すべての $E_6$、$E_7$、$E_8$ の良い $\mathbb{Z}$-重層が分類され、非ディンキン型は表 $E_6$、$E_7$、$E_8$ に明示的に記載されている。
• $E_6$ における型 $A_2 + A_1$ の冪等軌道では、中心化子が非半単純な再帰的部品を持つにもかかわらず、ディンキン重層が唯一の良い重層である。
• $E_6$ において、型 $A_4$ の冪度軌道は5つの良い $\mathbb{Z}$-重層を持つ：1つのディンキン重層と4つの非ディンキン重層で、トーラスパrameter化において $t = 0, \pm \frac{1}{3}, \pm \frac{2}{3}$ に対応する。
• $E_6$ の $A_4$ 軌道に対して、$h(e) + T_1$ の $\mathfrak{g}^e$ 上の重み空間には $2 \pm 3t$、$4 \pm 6t$、$6 \pm 3t$、および $8$ が含まれ、$3t \in \mathbb{Z}$ かつ $|3t| \leq 2$ を満たすため、ちょうど5つの良い重層が得られる。
• 分類により、非ディンキン型の良い重層は $E_6$、$E_7$、$E_8$ の特定の冪度軌道でのみ存在し、重み制約およびウェイル群の対称性によって完全に決定されることが示された。
• この方法により、$E_6$ における $e$ の型 $A_4$ に対して、ディンキン重層は $t = 0$ に対応し、$t = \pm \frac{1}{3}, \pm \frac{2}{3}$ は非ディンキン型の良い重層をもたらすことが確認された。負の $t$ 値は図の自己同型により関連づけられる。