[論文レビュー] An explicit rational structure for real semisimple Lie algebras

Holger Kammeyer|arXiv (Cornell University)|Feb 2, 2012

Finite Group Theory Research参考文献 7被引用数 7

ひとこと要約

本稿は、複素化された半単純リー代数の適応されたチェヴァレーベースを用いて、すべての実半単純リー代数に対する明示的な有理基底を構成する。複素共役作用を構造定数への符号割り当てによって制御することにより、半整数の構造定数を、根系と実構造の対合によって完全に決定可能にし、有理数係数を持つ一様で計算可能なℝ上での乗法表を実現する。

ABSTRACT

We construct a convenient basis for all real semisimple Lie algebras by means of an adapted Chevalley basis of the complexification. It determines rational and in fact half-integer structure constants which we express only in terms of the root system and the involution that defines the real structure.

研究の動機と目的

• すべての実半単純リー代数に対して、有理数構造定数を有する一様で明示的な基底を提供すること。
• 複素数上でのチエヴァレの整数構造定数を、ℝ上での有理数（特に半整数）構造定数へ拡張すること。
• 実半単純リー代数の乗法表全体を、根系と実形式を定義する対合のみを用いて完全に表現すること。
• イワサワ分解および関連するリー代数基底の体系的構成を可能にする、制御された有理構造定数を持つもの。

提案手法

• 実形式に関連するカルタン対合τと複素共役σとを一貫して可換にするように、複素化のチェヴァレーベースを適応する。
• 根ベクトルxαに対して、実基底元をXα = xα + σ(xα)およびYα = i(xα − σ(xα))と定義し、実構造に関して閉じていることを保証する。
• 符号割り当てを精緻化することでσ(xα) = ±xασを示し、基底が実形式の対称性と整合することを証明する。
• 正根に対してXα、Yα、Zβを用いてイワサワ分解𝔤⁰ = 𝔨 ⊕ 𝔞 ⊕ 𝔫の基底を構成し、構造定数が½ℤに留まることを保証する。
• 構成された基底と標準的イワサワ基底との間の基底変換行列が整数成分と行列式±1を持つことを検証し、整数性を保存することを確認する。
• 根ストリング長さの上限（≤4）を用いて、構造定数の絶対値が4以下であり、G₂型成分を含む場合にのみ±3が現れることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての実半単純リー代数に対して、根系と実構造の対合のみに依存して表現可能な一様で有理数基底を構成可能か？
• RQ2 このような基底における構造定数の明確な形は何か？また、それらを有理数（特に半整数）にできるか？
• RQ3 構造定数が有理数かつ有界であるような基底を用いて、イワサワ分解をどのように実現できるか？
• RQ4 構造定数が整数を超える条件は何か？このような場合を完全に分類可能か？

主な発見

• 本稿は、任意の実半単純リー代数に対して、構造定数が½ℤに属する基底を構成する。この構造定数は、実形式を定義する根系と対合によって明示的に決定される。
• 構造定数は、チエヴァレの定理における同じ根ストリング公式に基づくが、σ(xα)における符号制御を介して実設定に適応されたものである。
• イワサワ代数𝔫においては、すべての構造定数の絶対値は4以下であり、代数にG₂型成分を含む場合にのみ±3が現れる。
• イワサワ分解𝔨 ⊕ 𝔞 ⊕ 𝔫の基底は構造定数が½ℤに属し、標準的イワサワ基底への基底変換行列の行列式は±1、成分はすべて整数である。
• 半整数係数は、ある根γに対してω(γ) = γが成り立つ場合にのみ生じ、これはH₀γ = −½∑mβγH₀βを引き起こし、非整数構造定数の唯一の原因である。
• 本手法により、すべての構造定数が有理数であり、根系と対合の作用からの計算が可能となり、有理構造定数を持つ実半単純リー代数のアルゴリズム的構成が可能になる。