[論文レビュー] Abelian ideals of a Borel subalgebra and long positive roots

Dmitri I. Panyushev|ArXiv.org|Oct 28, 2002

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

ひとこと要約

本稿は、簡約 Lie 代数のボレル部分代数の非自明なアーベルイデアルと長根の正根の間の自然な対応を確立し、各長根ごとのファイバーが最小元と最大元をもつposetをなすことを証明する。これらのファイバーの構造は、ラングランズ双対 Lie 代数の最小単体表現の重みposetへの同型を通して完全に記述され、これまでの個別ケースによる観察——最大アーベルイデアルとその根型の間の対応——に対する一様で概念的な説明を提供する。

ABSTRACT

Let $\b$ be a Borel subalgebra of a simple Lie algebra $\g$ and let $\Ab$ denote the set of all Abelian ideals of $\b$. We consider $\Ab$ as poset with respect to inclusion, the zero ideal being the unique minimal element of $\Ab$. It was shown in my paper with G.Roehrle (Adv. Math. v.159 (2001)) that there is a one-to-one correspondence between the maximal Abelian ideals and the long simple roots of $\g$. But the very existence of it was demonstrated in a case-by-case fashion. Here a conceptual explanation for that empirical observation is given. The main results are: 1) there is a natural mapping $τ$ from the set of all nontrivial Abelian ideals to the set of long positive roots; 2) If $I$ is a maximal Abelian ideal, then $τ(I)$ is a long simple root. Restricting $τ$ to the set of maximal Abelian ideals yields the above-mentioned correspondence; 3) Each fibre of $τ$ is a poset in its own right, and we prove that this fibre has a unique maximal and a unique minimal element. 4) An explicit description of the minimal and the maximal ideal corresponding to a long root is given.

研究の動機と目的

• 最大アーベルイデアルと長単純根の間の経験的対応を、これまでの個別ケース分析に依存せずに概念的に説明すること。
• 根の類（根の写像による像）ごとにグループ化されたアーベルイデアルのposet構造を定義し、それらを研究すること。
• この写像の各ファイバー内での最小・最大元を特徴づけ、それらの代数的・組合せ的性質を記述すること。
• 各長正根に対応するアーベルイデアルのposetについて、ケースに依存しない一様な記述を確立し、最小単体表現およびラングランズ双対のブリュアposetと関連付けること。

提案手法

• 非自明なアーベルイデアルの集合から長正根の集合への自然な写像 τ を導入し、各イデアルにその根の類（rootlet）を割り当てる。
• 各長正根 μ に対して、ファイバー τ⁻¹(μ) が最小元と最大元をもつposetをなすことを証明する。
• 根系の組合せ論を用いて各ファイバー内の最小イデアルを明示的に記述し、最高根 θ に対して直交しないことによって特徴づけられることを示す。
• アフィンワイル群内の最小単体的要素とアーベルイデアルの対応を用いて構造的結果を導出し、拡張手続きによるイデアルの構成を行う。
• 各ファイバー Ab_μ と、最大パラボリック部分代数の極小部分代数内のアーベルイデアルのposetとの同型を確立する。このposetは、ラングランズ双対 Lie 代数の基本的最小単体表現の重みposetに同型である。
• 古典的および例外的 Lie 代数（sl_n, sp_2n, G_2, F_4, E_6, E_7, E_8）について、明示的計算により構造を検証する。

実験結果

リサーチクエスチョン

• RQ1 なぜ最大アーベルイデアルが長単純根に正確に対応するのか。個別ケースの検証を超えて、一様な説明は存在するか？
• RQ2 同じ根の類 μ を持つアーベルイデアルの集合の内部poset構造は何か？
• RQ3 各ファイバー τ⁻¹(μ) 内の最小および最大アーベルイデアルは、根系データの観点から明示的に記述可能か？
• RQ4 ファイバー Ab_μ のサイズは何かによって決まり、|Ab_μ| > 1 または |Ab_μ| > 2 となるのはいつか？
• RQ5 Ab_μ のposetについて、一様でケースに依存しない記述が可能か。また、表現論とどのように関連するか？

主な発見

• 各非自明なアーベルイデアルに根の類を割り当てる写像 τ: Ab_o → Δ⁺_l は、定義され、全射であり、ファイバーが最小元と最大元をもつposetをなす。
• 各長正根 μ に対して、Ab_μ 内の最小イデアルは、すべての根が最高根 θ に対して直交しないという条件によって特徴づけられる。
• 最大アーベルイデアルは、長単純根と一対一に対応し、これまでの個別ケースによる結果を確認・一般化する。
• Ab_μ のサイズが 1 より大きいのは、(μ, θ) = 0 であることと同値であり、|Ab_μ| > 2 であるのは、対応する根系データが特定の組合せ的条件を満たすときである。
• 各ファイバー Ab_μ は、最大パラボリック部分代数の極小部分代数内のアーベルイデアルのposetと同型であり、さらにそれはラングランズ双対 Lie 代数の最小単体表現のブリュアposet W^(μ)/W^(μ)_φ に同型である。
• E_6, E_7, E_8 についての明示的計算により、|Ab_μ| = i であるアーベルイデアルの数は、根の高さと係数条件によって完全に決定され、∑i·m_i = 2^{rk g} − 1 を満たすことが確認され、総数が正当化された。