[論文レビュー] A uniform model for Kirillov-Reshetikhin crystals. Extended abstract

Cristian Lenart, Satoshi Naito+3 more|arXiv (Cornell University)|Nov 26, 2012

Algebraic structures and combinatorial models参考文献 29被引用数 4

ひとこと要約

本稿では、パラボリック量子ブライヤー・グラフに基づく一般化されたラクシュミバライ–セシャドリパス・モデルを用いて、すべての非-twistアフィン型における1列 kirillov–reshetikhin (KR) 結晶のテンソル積の均一的・型フリーな構成を提示する。この構成により、エネルギー関数の組合せ的公式が得られ、$ t=0 $ に特異化されたマクドナルド多項式と KR 加群の重み付きキャラクターの等価性が確立される。

ABSTRACT

We present a uniform construction of tensor products of one-column Kirillov-Reshetikhin (KR) crystals in all untwisted affine types, which uses a generalization of the Lakshmibai-Seshadri paths (in the theory of the Littelmann path model). This generalization is based on the graph on parabolic cosets of a Weyl group known as the parabolic quantum Bruhat graph. A related model is the so-called quantum alcove model. The proof is based on two lifts of the parabolic quantum Bruhat graph: to the Bruhat order on the affine Weyl group and to Littelmann's poset on level-zero weights. Our construction leads to a simple calculation of the energy function. It also implies the equality between a Macdonald polynomial specialized at t=0 and the graded character of a tensor product of KR modules.

研究の動機と目的

• すべての非-twistアフィンリー型にわたる1列 kirillov–reshetikhin (KR) 結晶のテンソル積の均一的・型フリーなモデルの開発。
• パラボリック量子ブライヤー・グラフ (PQBG) を用いて、量子アルコーブモデルと射影されたレベルゼロラクシュミバライ–セシャドリ (LS) パスの間の組合せ的双対性の確立。
• アドミッサブルな部分集合上のレベル統計量を用いて、KR 結晶上のエネルギー関数の単純で均一な公式の提供。
• マクドナルド多項式 $ P_\lambda $ を $ t=0 $ に特異化した場合と、KR モジュールの重み付きキャラクター $ X_\lambda $ との等価性 $ P_\lambda(q,0) = X_\lambda(q) $ の証明。
• PQBG をアフィンワイル群およびレベルゼロ重み上のリッテルマンの順序に持ち上げることで、結晶構造とデマールローの矢印を均一に取り扱えるようにする。

提案手法

• ワイル群のパラボリックコセット上で定義されるパラボリック量子ブライヤー・グラフ (PQBG) を導入し、量子ブライヤー・グラフの一般化として位置付ける。
• PQBG の2つの持ち上げを構成する：1つはアフィンワイル群上のブライヤー順序への持ち上げ、もう1つはレベルゼロ重み上のリッテルマンの順序への持ち上げ。
• アフィンワイル群から導かれるダイアモンド補題を用いて、PQBG 及びその持ち上げの局所的構造を特徴付ける。
• lex $ \lambda $-チェーン $ \Gamma_{\mathrm{lex}} $ を用いて、レベルゼロLSパスの射影として量子LSパスを定義し、結晶同型写像 $ \Xi: \mathcal{A}^{\Gamma_{\mathrm{lex}}}(\lambda) \to \mathrm{QLS}(\lambda) $ を確立する。
• $ \Gamma $-アドミッサブルな部分集合 $ J \in \mathcal{A}^\Gamma(\lambda) $ におけるレベル統計量を定義し、これはデグ統計量に対応し、エネルギー関数を計算する。
• マクドナルド多項式の $ t=0 $ におけるRam–Yip公式を適用し、$ P_\lambda(x;q,0) = \sum_{J \in \mathcal{A}^{\Gamma}(\lambda)} q^{\mathrm{level}(J)} x^{\mathrm{wt}(J)} $ と表現し、この和を重み付きキャラクター $ X_\lambda(q) $ と特定する。

実験結果

リサーチクエスチョン

• RQ1 1列のKR結晶の均一的モデルは、1つの組合せ的枠組みを用いて、すべての非-twistアフィン型にわたって構成可能だろうか？
• RQ2 $ \lambda $-チェーンのアドミッサブルな部分集合上の統計量を用いて、KR結晶上のエネルギー関数を均一にどのように計算できるか？
• RQ3 KR結晶の文脈において、量子アルコーブモデルと射影されたレベルゼロLSパス・モデルの関係は何か？
• RQ4 パラボリック量子ブライヤー・グラフは、$ t=0 $ におけるKR結晶とマクドナルド多項式の組合せ的構造をどのように統一するか？
• RQ5 この枠組みを用いて、すべての非-twistアフィン型にわたって $ P_\lambda(q,0) = X_\lambda(q) $ の等価性を均一に確立できるか？

主な発見

• パラボリック量子ブライヤー・グラフを用いて、すべての非-twistアフィン型における1列 kirillov–reshetikhin 結晶のテンソル積の均一的モデルが構成された。
• KR 結晶上のエネルギー関数は、$ \Gamma $-アドミッサブルな部分集合 $ J \in \mathcal{A}^\Gamma(\lambda) $ におけるレベル統計量として計算され、単純で均一な公式が得られた。
• 量子アルコーブモデルと射影されたレベルゼロLSパス・モデルは、忘却写像 $ \Xi $ を通じて同型であることが示され、KR 結晶の均一的実現が確立された。
• KRモジュールのテンソル積の重み付きキャラクター $ X_\lambda(q) $ が、マクドナルド多項式 $ P_\lambda(x;q,0) $ と等価であることが証明され、和 $ \mathcal{A}^{\Gamma_{\mathrm{lex}}}(\lambda) $ がキャラクターを生成することが示された。
• 非対称マクドナルド多項式 $ E_{w\lambda}(x;q,0) $ は、ブライヤー順序において $ \kappa(J) \leq w $ を満たす $ \Gamma $-アドミッサブルな部分集合 $ J $ における和として表現され、非対称の場合への拡張が達成された。
• アフィン結晶構造 $ \mathcal{A}^{\Gamma_{\mathrm{lex}}}(\lambda) $ が、$ f_0 $-矢印を除いた場合にKR結晶と同型であることが示され、これはアフィンデマールクリスタルにおけるデマールロー矢印に対応する。