[論文レビュー] A polytope combinatorics for semisimple groups

Jared E. Anderson|ArXiv.org|Oct 19, 2001

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

ひとこと要約

この論文は、ループグラスマンニアン内のミルコビッチ＝ヴィロネンサイクルのモーメント写像像として定義されるMV-ポリトープを導入し、半単純群の既約表現における重複度およびテンソル積の重複度を計算する組合せ論的道具として提示する。主な結果は、これらの重複度が、ウェイル群の軌道の凸包内に特定の幾何的包含条件を満たすMV-ポリトープの数として数えられることである。

ABSTRACT

Mirkovic and Vilonen discovered a canonical basis of algebraic cycles for the intersection homology of (the closures of the strata of) the loop Grassmannian. The moment map images of these varieties are a collection of polytopes, and they may be used to compute weight multiplicities and tensor product multiplicities for representations of a semisimple group. The polytopes are explicitly described for a few low rank groups.

研究の動機と目的

• 半単純群の表現における重複度およびテンソル積重複度を計算するためのポリトープに基づく組合せ論的フレームワークを提供すること。
• ミルコビッチとヴィロネンのMVサイクルの幾何的構成を、完全にポリトープ的な言語に翻訳すること。
• ポリトープの包含関係とミンコフスキー和を用いて、リトルウッド＝リチャードソン係数を明示的かつ計算可能な方法で提示すること。
• モーメント写像像を通じて、MVサイクル、交線ホモロジー、および表現論的不変量の間の関係を確立すること。
• MV-ポリトープの代数に、ボレル部分群のユニポテンツ部分の関数と同型なホップ代数構造を予想すること。

提案手法

• 最大トーラスの実リーレイの双対を用いて、ループグラスマンニアン内のMVサイクルのモーメント写像像としてMV-ポリトープを定義する。
• 負のルートに対応する生成子のミンコフスキー和と、代数幾何学から導かれる追加の関係式を用いて、MV-ポリトープの集合を構成する。
• 負ルート格子でインデックス付けられた基底によるMV-ポリトープの単射パrametrizationを用いて、重複度を数える。
• 定理1を適用：Vλにおけるνの重複度は、Pφ + λ ⊆ conv(W·λ) を満たすφ ∈ Bν−λ の数に等しい。
• Vλ ⊗ VμにおけるVνのテンソル積重複度は、Pφ + λ ⊆ conv(W·λ) ∩ (conv(W·(−μ)) + ν) を満たすφ ∈ Bν−μ−λ の数に等しい。
• 可換代数（生成子と関係式を用いて）を用いて、低ランク群（Sl₂, Sl₃, Sp₄, Sl₄）におけるMV-ポリトープを明示的に記述し、単項式がミンコフスキー和のポリトープに対応する。

実験結果

リサーチクエスチョン

• RQ1 ループグラスマンニアン内のMVサイクルの幾何は、表現論的不変量のための組合せ論的ポリトープモデルにどのように翻訳できるか？
• RQ2 MV-ポリトープと半単純群の既約表現における重複度の正確な関係は何か？
• RQ3 テンソル積重複度（リトルウッド＝リチャードソン係数）は、凸包との特定の交差条件を満たすMV-ポリトープの数として計算可能か？
• RQ4 MV-ポリトープで張られる空間の代数的構造は何か？また、ボレル部分群のユニポテンツ部分とはどのように関係するか？
• RQ5 MV代数のコプロダクトにおける係数が正の整数となるのはなぜか？その幾何的またはホモロジー論的意味は何か？

主な発見

• Vλにおけるνの重複度は、Pφ + λ がλのウェイル群軌道の凸包内にあるようなMV-ポリトープPφの数に等しい。
• Vλ ⊗ VμにおけるVνのテンソル積重複度は、Pφ + λ がconv(W·λ) と (conv(W·(−μ)) + ν) の共通部分内にあるようなMV-ポリトープPφの数に等しい。
• Sl₂では、MV-ポリトープは単項式akに対応する区間[kα, 0]（αは負のルート）として表れる。
• Sl₃では、4つの生成子と1つの関係式a₁a₂ = b₁ + b₂を持つ。単項式がa₁とa₂の両方を含まないようなミンコフスキー和から得られるポリトープが現れる。
• Vλ ⊗ VμにおけるVλ+μ−δの重複度は、正ルートの和としてδを書く方法の数によって上から抑えられ、λとμが十分に大きいときこの上限は達成される。
• 予想されるMV代数のホップ代数におけるコプロダクトは、共通の重みでのみ交わる部分ポリトープのペアへのポリトープの分解として解釈され、正の整数係数は交差重複度を反映する。