[論文レビュー] Affine type A crystal structure on tensor products of rectangles, Demazure characters, and nilpotent varieties

Mark Shimozono|ArXiv.org|Apr 7, 1998

Algebraic structures and combinatorial models参考文献 14被引用数 24

ひとこと要約

本稿は、アフィン型Aのデマールゥ文字と、冪零共軛類の閉包の座標環の同型成分のペアノリエ多項式の間の明確な対応関係を確立する。クリスタル基底理論を用いて、長方形クリスタル（$B^{k,l}$ でラベル付けされた）のテンソル積におけるエネルギー関数が、これらのペアノリエ多項式を計算することを示し、コスタカ＝フラクス多項式を一般化するとともに、キリロフが予想した単調性性質を証明する。

ABSTRACT

Answering a question of Kuniba, Misra, Okado, Takagi, and Uchiyama, it is shown that certain Demazure characters of affine type A, coincide with the graded characters of coordinate rings of closures of conjugacy classes of nilpotent matrices. This entails a translation of the affine type A crystal theory into the language of tableaux following Nakayashiki and Yamada, for the case of tensor products of the classical crystals indexed by rectangular partitions. In particular the explicit action of the zero-th crystal raising operator on the above crystals is given, and its direct connection with the generalized cocyclage on Littlewood-Richardson tableaux is explained.

研究の動機と目的

• クニバらが提起した、アフィン型Aにおけるデマールゥ文字と冪零軌道の閉包との間の関係についての問いを解消すること。
• Kostka-Foulkes多項式とデマールゥ文字との既知の関係を、任意のレベルのデマールゥ加群へと拡張すること。
• 冪零軌道の閉包の座標環における同型成分のペアノリエ多項式が、エネルギーと重量に関するテンソル積長方形クリスタルの生成関数に等しいことを確立すること。
• Kostka-Foulkes多項式に関するハンの結果を一般化した、ペアノリエ多項式 $K_{\lambda;R}(q)$ の一般化された単調性性質を証明すること。
• 一般化されたサイクレージとプロモーションを用いて、長方形クリスタル上での零番目のクリスタル作用素 $\widetilde{e}_0$ の組み合わせ的実現を提供すること。

提案手法

• 長方形クリスタル $B^{k,l}$（$k \times l$ の形）を表す、古典的 $\widehat{sl}_n$-クリスタルに同型なデマールゥクリスタル $\mathcal{B}_{w_\mu}(l\Lambda_0)$ を構成し、$B^{\mu_m,l} \otimes \cdots \otimes B^{\mu_1,l} \otimes u_{l\Lambda_0}$ の形で表す。
• LRテーブルの列に一般化されたチャージ写像を導入し、テンソル積クリスタル上のエネルギー関数 $E_R(b)$ を計算する。これはテーブルのチャージ統計量を一般化する。
• 零番目のクリスタル作用素 $\widetilde{e}_0$ を、LRテーブル上の一般化されたサイクレージと、列優先テーブル上のプロモーションの合成として特定し、その作用に対する明示的な式を導出する。
• 結合自己同型とエネルギー関数を用いて定義される、$B^{k_1,l_1} \otimes B^{k_2,l_2}$ 上の組み合わせ的 $R$-行列を用いて、クリスタル構造を記述する。
• 生成関数 $\sum_{b \in B^R} e^{\mathrm{wt}(b)} q^{E_R(b)}$ が $\sum_{\lambda} \mathrm{ch} V^{\mathrm{wt}_{\mathrm{sl}}(\lambda)} K_{\lambda;R}(q)$ に等しいことを示し、クリスタルの文字とペアノリエ多項式を結びつける。
• テーブルの公式による $K_{\lambda;R}(q)$ が、ウィーマンの再帰関係を満たすことを証明し、これが同型成分のペアノリエ多項式であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 アフィン型Aにおける任意のレベルのデマールゥ文字は、冪零軌道の閉包の座標環における同型成分のペアノリエ多項式と一致するか？
• RQ2 長方形クリスタルのテンソル積におけるエネルギー関数は、テーブルと一般化されたチャージを用いて明示的に記述可能か？
• RQ3 零番目のクリスタル作用素 $\widetilde{e}_0$ は、LRテーブル上の一般化されたサイクレージとプロモーションを用いて実現可能か？
• RQ4 ペアノリエ多項式 $K_{\lambda;R}(q)$ は、Kostka-Foulkes多項式と同様の単調性性質を満たすか？
• RQ5 エネルギーと重量に関する長方形クリスタル上の生成関数は、デマールゥ加群の文字と特定できるか？

主な発見

• レベル $l$ の最低重量 $l\Lambda_0 - \mu$ に対するデマールゥ文字は、$R$ が分割 $\mu$ に対応する長方形の列であるとき、生成関数 $\sum_{b \in B^R} e^{\mathrm{wt}(b)} q^{E_R(b)}$ に等しい。
• テンソル積 $B^{k_1,l_1} \otimes \cdots \otimes B^{k_m,l_m}$ 上のエネルギー関数 $E_R(b)$ は、[24]における一般化されたチャージに等しく、Kostka-Foulkes多項式のモリスの再帰関係に関連する再帰によって計算される。
• 零番目のクリスタル作用素 $\widetilde{e}_0$ は、LRテーブルへの一般化されたサイクレージと、列優先テーブルへのプロモーションを適用することで作用し、すべての一般化されたコサイクルレージ関係が $\widetilde{e}_0$ から生じる。
• 冪零軌道の閉包 $X_\mu$ の座標環における $V^{\mathrm{wt}_{\mathrm{sl}}(\lambda)}$ の同型成分のペアノリエ多項式 $K_{\lambda;R}(q)$ は、クリスタル $B^R$ 上の生成関数として与えられる。
• 任意のドミナントな長方形列 $R$ と長方形 $(k^m)$ に対して、$K_{\lambda;R}(q) \leq K_{\lambda \cup (k^m); R \cup (k^m)}(q)$ という単調性性質が成り立ち、ハンの結果を一般化する。
• 単調性の証明は、エネルギー関数を保存する単射写像 $i_R: \mathrm{LRT}(\lambda;R) \to \mathrm{LRT}(\lambda \cup (k^m); R \cup (k^m))$ に依存し、$E_{R^+}(i_R(Q)) = E_R(Q)$ が成り立つ。