[論文レビュー] On exceptional nilpotents in semisimple Lie algebras

A. G. Élashvili, Victor G. Kač+1 more|arXiv (Cornell University)|Dec 8, 2008

Advanced Topics in Algebra参考文献 10被引用数 11

ひとこと要約

この論文は、半単純リー代数における例外的冪零元を、KacとWakimotoがW代数および有理頂点代数の文脈で導入した例外的対 (m, e) の定義を単純化・拡張することによって分類する。ここで m は正の整数、e は h(e) ≤ m かつ dim Z(e) = d(m) を満たす冪零元である。主な結果は、任意の半単純リー代数に対して、与えられた m に対して、同型を除いて高々一つのこのような冪零元 e が存在することであり、指数と根高さデータを用いた d(m) の明示的計算により、すべての単純リー代数（例外型を含む）に対して分類が完全に得られ、ハッセ図においてすべての例外的軌道が特定されている。

ABSTRACT

We classify all pairs (m,e), where m is a positive integer and e is a nilpotent element of a semisimple Lie algebra, which arise in the classification of simple rational W-algebras.

研究の動機と目的

• W代数および有理頂点代数の文脈で Kac と Wakimoto が導入した半単純リー代数における例外的対 (m, e) の定義を単純化・明確化すること。
• すべての半単純リー代数におけるすべての例外的対 (m, e) を分類し、任意の m および半単純 g に対して、(m, e) が例外的であるような冪零元 e が同型を除いて高々一つであることを証明すること。
• A_n 型にとどまらず、すべての古典的および例外型リー代数（E6, E7, E8, F4, G2 を含む）にまで分類を拡張すること。そのために根系データと自己同型作用を用いる。
• 中心化子 dim Z(e) と位数 m の主自己同型の固定点次元 d(m) を結びつけることで、概念的かつ計算的枠組みを提供し、例外的冪零元を特定する。

提案手法

• d(m) = dim g^{σ_m} として定義する。ここで σ_m は位数 m の主自己同型であり、d(m) は根高さと根ベクトル上での固有値 ε_m^{ht(α)} を用いて計算される。
• d(m) = n + 2∑[m_i/m] という公式を用い、すべての古典的および例外型リー代数に対して d(m) を計算する。ここで m_i はリー代数の指数、n はランクである。
• sl₂-三重対とレヴィ部分代数を用いた冪零軌道の分類を適用し、各冪零元 e に対して、中心化子 L(e) のコクセター数 h(e) および dim Z(e) を決定する。
• G2, F4, E6, E7, E8 の各例外型リー代数についてハッセ図を構築し、コクセター数 m と dim Z(e) = d(m) を満たす軌道に印を付け、視覚的に例外的冪零元を特定する。
• d(m) の値と先行研究（例：[4], [11]）で知られている中心化子の次元を比較することで、dim Z(e) = d(m) が特定の冪零軌道でのみ成り立つことを検証する。
• 中心化子の構造的性質と自己同型作用を用いて、任意の例外的冪零元 e が主型である、すなわちその中心化レヴィ部分代数 L(e) において正則であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 与えられた半単純リー代数 g と正の整数 m に対して、h(e) ≤ m かつ dim Z(e) = d(m) を満たす冪零元 e は同型を除いて何個存在するか？
• RQ2 すべての単純リー代数（E6, E7, E8, F4, G2 を含む例外型を含む）における例外的対 (m, e) の完全な分類は何か？
• RQ3 主自己同型 σ_m による固定点部分代数の次元 d(m) は、冪零軌道およびその中心化子の構造とどのように関係するか？
• RQ4 例外的対の定義を単純化し、物理的および代数的意義を保ったまま、概念的に明確にできるか？
• RQ5 主型でない例外的冪零元は存在するか？もしあるならば、分類にどのように影響を与えるか？

主な発見

• 任意の半単純リー代数 g と正の整数 m に対して、(m, e) が例外的であるような冪零元 e は同型を除いて高々一つである。
• 例外的対の分類は単純リー代数に還元され、各単純 g に対して、根系データと d(m) の計算によりすべての例外的対が明示的に特定される。
• すべてのケースにおいて、例外的冪零元は dim Z(e) = d(m) かつ h(e) ≤ m を満たすものに限られ、これらは G2, F4, E6, E7, E8 に対するハッセ図で特定されている。
• m ≥ h(g) の場合、唯一の例外的対は e が正則であるような (m, e) であり、これらは自明な例外的対と呼ばれる。
• 例外的冪零元はすべて主型である。すなわち、それらは中心化レヴィ部分代数 L(e) において正則である。
• 例外的冪零軌道の完全なリストはハッセ図（図2〜6）にフレーム化されており、各軌道は L(e) の型と Z(e) の次元でラベル付けされている。