[論文レビュー] Real representations of semisimple Lie algebras have Q-forms

Dave Witte|ArXiv.org|May 28, 2002

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

ひとこと要約

この論文は、任意の実半単純リー代数が、そのすべての実表現がℚ上に実現可能なℚ-形式を持つことを証明している。チェバレー基底とピンとプラサドにインspiredされた数論的技法を用いて、コンパクトな場合への還元またはp進体上での準スプリット性を活用することで、このようなℚ-形式の存在を確立し、ラグナタナンの以前のコンパクトリー代数の場合の結果を一般化している。

ABSTRACT

We prove that each real semisimple Lie algebra G has a Q-form, such that every real representation of G can be realized over the rational numbers Q. This was previously proved by M.S.Raghunathan (and rediscovered by P.Eberlein) in the special case where G is compact.

研究の動機と目的

• コンパクトな実半単純リー代数のℚ-形式に関するラグナタナンの結果を、すべての実半単純リー代数へ一般化すること。
• 任意の実半単純リー代数に対して、そのすべての実表現がℚ-形式を持つようなℚ-形式の存在を確立すること。
• 2つの異なる証明を提供すること：1つは代数群における数論的条件（ピン＝プラサド法）に基づくもの、もう1つはコンパクトな場合への還元に基づくもの。
• すべての実表現がℚ-形式を持つような、ℚ上での半単純リー代数のℚ-形式のクラスを特定し、非スプリットな場合の障害を同定すること。

提案手法

• 複素化のチェバレー基底を用いて、実半単純リー代数のℚ-形式を構成すること。
• ピンとプラサドが提示した基準を適用し、ℝ上での有理表現の既約性を保証する。この基準は、虚二次拡大体上で分裂することと、p進体上で準スプリットであることに基づく。
• 単連結な半単純実代数群が、ピン＝プラサドの仮定を満たすℚ-形式を持つことを利用すること。
• ℚ-群の実形式としてℚ-形式を実現することで、一般の場合をコンパクトな場合に還元し、ラグナタナンのコンパクト群に関する定理を適用すること。
• 最高重量、ワイル群作用、自己双対性を用いた表現論的技法を用いて、既約性と自己準同型環を分析すること。
• 複素スカラーとガロア作用（例：σとσ′）を用いた背理法により、普遍的でない場合のℚ-形式の存在を除外すること。

実験結果

リサーチクエスチョン

• RQ1 任意の実半単純リー代数は、すべての実表現がℚ-形式を持つようなℚ-形式を持つのか？
• RQ2 コンパクトな実半単純リー代数に対して得られた結果を、非コンパクトな場合へ拡張できるか？
• RQ3 ℚ-代数群に対してどのような数論的条件が、すべての実表現がℚに降下することを保証するか？
• RQ4 非スプリットまたは非準スプリットな設定において、実表現のℚ-形式の存在に障害は存在するか？
• RQ5 ℚ上での半単純リー代数のどのℚ-形式が、すべての実表現がℚ上で実現可能であるという性質を持つのか？

主な発見

• 任意の実半単純リー代数𝔤は、すべての実表現がℚ-形式を持つようなℚ-形式𝔤ℚをもつ。
• このようなℚ-形式の存在は、2通りの方法で確立されている：1つはピン＝プラサドの基準による分裂性と準スプリット性の条件に基づくもの、もう1つはコンパクトな場合への還元に基づくもの。
• コンパクトな実半単純リー代数に対しては、標準的なℚ-形式（チェバレー基底から得られるもの）が望ましい性質を満たしており、ラグナタナンの以前の結果を確認している。
• ℝ-普遍的でないℚ-形式が存在する。例えば、特定の𝔰𝔭(n)や𝔰𝔬(5) ⊕ 𝔰𝔬(11)のような直和など、表現がℚに降下しない場合がある。
• ℚ-形式の存在の障害は、最高重量の構造とワイル群作用におけるその挙動に起因する。具体的には、支配的重量の展開における係数の和が半整数である場合、ℝ上での既約性がℚ上に降下しない可能性がある。
• 本論文は、λ(w²) = 1（wはワイル群の長さ最大元の代表元）である条件が、実表現の複素化が既約であることと同値であることを示しており、これは自己双対な場合のℚ-降下に不可欠な条件である。