[論文レビュー] On Mirković-Vilonen cycles and crystals combinatorics

Pierre Baumann, Stéphane Gaussent|ArXiv.org|Jun 28, 2006

Advanced Algebra and Geometry被引用数 5

ひとこと要約

この論文は、量子群の正規基底のストリングパrameterizationとアフィングラスマンニアンにおけるミルコヴィッチ＝ヴィロネン（MV）サイクルの間の明確な関係を確立する。著者たちは、MVサイクル上のクリスタル作用素の明示的な代数的公式を提示し、ガウッセンとリッテルマンのLSパスからMVサイクルへの対応がクリスタル同型写像であることを証明するとともに、ルスティグの代数的幾何的基底パラメータ化がMVサイクルと深く関連していることを示している。

ABSTRACT

Let $G$ be a complex reductive group and let $G^\vee$ be its Langlands dual. Let us choose a triangular decomposition $\mathfrak g^\vee=\mathfrak n^\vee_-\oplus\mathfrak h^\vee\oplus\mathfrak n^\vee_+$ of the Lie algebra $G^\vee$. Braverman, Finkelberg and Gaitsgory show that the set of all Mirković-Vilonen cycles in the affine grassmannian $\mathscr G=G\bigl(\mathbb C((t))\bigr)/G\bigl(\mathbb C[[t]]\bigr)$ is a crystal isomorphic to the crystal of the canonical basis of $U(\mathfrak n^\vee_+)$. Starting from the string parameter of an element of the canonical basis, we give an explicit description of a dense subset of the associated MV cycle. As a corollary, we show that any MV cycle can be obtained as the closure of one of the varieties involved in Lusztig's algebraic-geometric parametrization of the canonical basis. In addition, we prove that the bijection between LS paths and MV cycles constructed by Gaussent and Littelmann is an isomorphism of crystals.

研究の動機と目的

• MVサイクルを用いた正規基底の明確な幾何的実現を確立すること。
• ルスティグの代数的幾何的基底パラメータ化とMVサイクルの関係を明確にすること。
• ガウッセン＝リッテルマンのLSパスとMVサイクルの間の双対写像がクリスタル同型写像であることを証明すること。
• 正規基底のストリングパラメータから出発して、MVサイクルの明示的な代数的記述を提供すること。

提案手法

• 幾何的定義に基づき、MVサイクル上のクリスタル作用素（e_i, f_i）の明示的な代数的公式を導出する。
• アフィングラスマンニアンの構造とラングランズ双対群の作用を用いて、MVサイクルを部分多様体として定義する。
• 幾何的サタケ対応を用い、MVサイクルの交差コホロロジーとG∨の不可約表現を関連付ける。
• LSギャラリーからMVサイクルへの写像を構成し、明示的な計算によりクリスタル作用素と整合することを証明する。
• B(−∞)の要素のストリングパラメータを用いてMVサイクルをパラメータ化し、その像が稠密な部分集合であることを示す。
• 安定化部分群の条件と群作用を用いて、MVサイクル写像がクリスタル作用素と整合することを、公理の検証により確認する。

実験結果

リサーチクエスチョン

• RQ1 ガウッセン＝リッテルマンのLSパスとMVサイクルの間の双対写像は、クリスタルの同型写像か？
• RQ2 正規基底の要素のストリングパラメータを用いて、関連するMVサイクルを明示的に記述できるか？
• RQ3 ルスティグの代数的幾何的基底パラメータ化とMVサイクルの関係は何か？
• RQ4 群論的データを用いて、MVサイクル上のクリスタル作用素の明確な代数的表現は何か？
• RQ5 ストリングパラメータに対応するMVサイクルは、明示的に記述可能な稠密な開部分集合を有するか？

主な発見

• ガウッセンとリッテルマンが構成したLSギャラリーからMVサイクルへの写像は、クリスタルの同型写像である。
• LSパスクリスタルとMVサイクル写像の合成は、ブレイマング、フィンケルバーグ、ゲイツゴリーのクリスタル同型写像と一致する。
• 幾何的定義に基づいて、MVサイクル上のクリスタル作用素の明示的な代数的公式が与えられる。
• B(−∞)の要素のストリングパラメータは、関連するMVサイクルの稠密な開部分集合を決定する。
• ルスティグの代数的幾何的基底パラメータ化がMVサイクルと本質的に関連していることが示された。
• ストリングパラメータに対応するMVサイクルは、群の元の列とルート群作用を用いて記述され、安定化部分群に関する明確な条件が満たされる。