[論文レビュー] Mirkovic-Vilonen cycles and polytopes

Joel Kamnitzer|ArXiv.org|Jan 22, 2005

Algebraic structures and combinatorial models参考文献 15被引用数 13

ひとこと要約

この論文は、任意の複素再帰的群におけるミルコヴィッチ＝ヴィロネン（MV）サイクルおよび多面体の完全な組合せ的記述を提供し、格子多面体がMV多面体であるための必要十分条件として、その定義超平面がワイル多面体のものと平行であり、2次元面がランク2のMV多面体であることを示している。主な貢献は、トロピカル・プリュッカー関係式によるMV多面体の特徴付けと、ルシュチグの自己同型基底とMV多面体の集合との間の全単射の確立である。

ABSTRACT

We give an explicit description of the Mirkovic-Vilonen cycles on the affine Grassmannian for arbitrary complex reductive groups. We also give a combinatorial characterization of the MV polytopes. We prove that a polytope is an MV polytope if and only if it a lattice polytope whose defining hyperplanes are parallel to those of the Weyl polytopes and whose 2-faces are rank 2 MV polytopes. As an application, we give a bijection between Lusztig's canonical basis and the set of MV polytopes.

研究の動機と目的

• 任意の複素再帰的群に対して、ミルコヴィッチ＝ヴィロネンのサイクルおよび多面体の明示的かつ一様な組合せ的記述を提供すること。
• MV多面体を、ワイル多面体の面に平行な超平面を持つ格子多面体であり、その2次元面がランク2のMV多面体であるものとして特徴付けること。
• 一般化された小標記とトロピカル・プリュッカー関係式の組合せ論的性質を用いて、ルシュチグの自己同型基底とMV多面体の集合との間の全単射を確立すること。
• サイクルの幾何的構成に依存しない、MV多面体の特徴付けという長年の問題を解決すること。

提案手法

• 部屋の重みを用いてその支持超平面をパラメトライズする方法により、ワイル多面体の超平面に平行な超平面を持つ格子多面体として擬似ワイル多面体を定義する。
• 半無限細胞の交わりとして定義されるGGMSストラトムを、部屋の重み上の整数値関数によってパラメトライズし、構成可能関数 $ D_ u $ を用いる。
• ベレンシュタイン＝ツェレヴィンスキーが導入した一般化された小標記におけるトロピカル・プリュッカー関係式を用いて、有効なMV多面体データを特徴付ける辺不等式を導出する。
• GGMSストラトムがMVサイクルであるための必要十分条件として、関連する関数 $ \psi_{M_\bullet} $ が凹関数であること、すなわちMVサイクルとMV多面体の間の全単射を確立する。
• Minkowski和の支持関数が個々の支持関数の和に一致することを示し、二つのMV多面体のMinkowski和が再びMV多面体であることを証明する。
• ワイルファンと頂点データを用いて、超平面データ $ M_{\bullet} $ と頂点 $ \mu_w $ を関連させ、すべての $ w $ に対して $ M_{\gamma} \in \mathbb{Z} $ であることと $ \mu_w \in X_* $ であることが同値であることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の再帰的群に対して、アフィングラスマンニアン上でのミルコヴィッチ＝ヴィロネンのサイクルの完全な組合せ的特徴付けは何か？
• RQ2 どのような格子多面体がMVサイクルのモーメント写像として現れ、それがMV多面体であるための条件は何か？
• RQ3 ルシュチグの自己同型基底はMV多面体を用いてどのようにパラメトライズ可能であり、その背後にある組合せ的構造は何か？
• RQ4 トロピカル・プリュッカー関係式は、MV多面体およびその超平面データを特徴付ける上で果たす役割は何か？

主な発見

• 多面体がMV多面体であるための必要十分条件は、それが格子多面体であり、定義超平面がワイル多面体の超平面に平行で、2次元面がランク2のMV多面体であることである。
• MV多面体に付随する支持関数 $ \psi_{M_\bullet} $ が凹関数であることは、データ $ M_\bullet $ がトロピカル・プリュッカー関係式（辺不等式）を満たすことと同値である。
• 二つのMV多面体のMinkowski和は再びMV多面体であり、その支持関数は個々の支持関数の和に一致する。
• MV多面体の集合と、$ G^\vee $ の普遍包あらゆる代数の自己同型基底との間に、自然な全単射が存在する。
• MV多面体の頂点データ $ \mu_w $ がコキャラクタ格子 $ X_* $ に属するための必要十分条件は、超平面データ $ M_{w \cdot \Lambda_i} $ がすべて整数であることである。
• この構成はすべての複素再帰的群に一様に適用可能であり、部屋の重みに関する組合せ的データによってMVサイクルを完全に記述する。