[論文レビュー] Demazure submodules of level-zero extremal weight modules and specializations of Macdonald polynomials

Satoshi Naito, Daisuke Sagaki|arXiv (Cornell University)|Apr 9, 2014

Algebraic structures and combinatorial models参考文献 17被引用数 7

ひとこと要約

本稿は、半無限のラクスマナビ・セシャドリ経路（SiLS経路）を用いて、量子アフィン代数のレベルゼロ極大重みモジュラー内のデマール直和部分モジュラーの結晶基底を特徴づけ、そのような経路の初期方向とデマール部分モジュラーの間の明確な関係を確立する。主な結果は、長さ最大のワイル群元に対応するデマール部分モジュラーの重み付きキャラクターが、対称マクドナルド多項式 $ P_{\lambda}(x;q,t) $ の $ t=0 $ での特殊化として表せることを示しており、$ q $-ホイッターゼ関数の表現論的解釈を提供する。

ABSTRACT

In this paper, we give a characterization of the crystal bases $\mathcal{B}_{x}^{+}(λ)$, $x \in W_{\mathrm{af}}$, of Demazure submodules $V_{x}^{+}(λ)$, $x \in W_{\mathrm{af}}$, of a level-zero extremal weight module $V(λ)$ over a quantum affine algebra $U_{q}$, where $λ$ is an arbitrary level-zero dominant integral weight, and $W_{\mathrm{af}}$ denotes the affine Weyl group. This characterization is given in terms of the initial direction of a semi-infinite Lakshmibai-Seshadri path, and is established under a suitably normalized isomorphism between the crystal basis $\mathcal{B}(λ)$ of the level-zero extremal weight module $V(λ)$ and the crystal $\mathbb{B}^{\frac{\infty}{2}}(λ)$ of semi-infinite Lakshmibai-Seshadri paths of shape $λ$, which is obtained in our previous work. As an application, we obtain a formula expressing the graded character of the Demazure submodule $V_{w_0}^{+}(λ)$ in terms of the specialization at $t=0$ of the symmetric Macdonald polynomial $P_λ(x\,;\,q,\,t)$.

研究の動機と目的

• 量子アフィン代数のレベルゼロ極大重みモジュラー $ V(\lambda) $ 内のデマール部分モジュラー $ V_x^+(\lambda) $ の結晶基底を特徴づけること。
• 半無限のラクスマナビ・セシャドリ（SiLS）経路の初期方向とこれらのデマール部分モジュラーの構造との間の関係を確立すること。
• デマール部分モジュラーの重み付きキャラクターを通じて、$ q $-ホイッターゼ関数の表現論的解釈を提供すること。
• 非可積分的で無限次元のモジュラーに、無限個の連結成分をもつ場合にも結晶理論的技法を拡張すること。

提案手法

• 極大重みモジュラーの結晶基底 $ \mathcal{B}(\lambda) $ と半無限LS経路の結晶 $ \mathbb{B}^{\frac{\infty}{2}}(\lambda) $ の間の適切に正規化された同型写像 $ \Psi_\lambda^\vee: \mathcal{B}(\lambda) \xrightarrow{\sim} \mathbb{B}^{\frac{\infty}{2}}(\lambda) $ を用いる。
• 半無限ブラハット順序に関して $ x \succeq \iota(\eta) $ を満たす初期方向 $ \iota(\eta) $ を持つSiLS経路の集合を $ \mathbb{B}_{x\succeq}^{\frac{\infty}{2}}(\lambda) $ と定義する。
• ペトロフのコセット代表元 $ (W^J)_{\mathrm{af}} $ を用いて、$ \mathbb{B}^{\frac{\infty}{2}}(\lambda) $ の経路の初期方向をパラメトライズする。
• 結晶同型写像を用いて、モジュラー側のデマール部分モジュラー構造を経路側に移し、$ \Psi_\lambda^\vee(\mathcal{B}_x^+(\lambda)) = \mathbb{B}_{x\succeq}^{\frac{\infty}{2}}(\lambda) $ を示す。
• 対称マクドナルド多項式の特殊化 $ P_\lambda(x;q,0) $ を用いて、$ V_{w_0}^+(\lambda) $ の重み付きキャラクターを計算する。
• 事前に確立された $ \mathcal{B}(\lambda) $ と $ \mathbb{B}^{\frac{\infty}{2}}(\lambda) $ 間の結晶同型写像に正規化を施し、無限個の連結成分と非可積分的重みに対応する。

実験結果

リサーチクエスチョン

• RQ1 レベルゼロ極大重みモジュラー内のデマール部分モジュラー $ V_x^+(\lambda) $ の結晶基底は、半無限LS経路を用いてどのように特徴づけられるか？
• RQ2 半無限LS経路の初期方向が、デマール部分モジュラーへの属する条件に果たす役割は何か？
• RQ3 デマール部分モジュラー $ V_{w_0}^+(\lambda) $ の重み付きキャラクターは、対称マクドナルド多項式の特殊化で表現可能か？
• RQ4 結晶同型写像の正規化が、経路モデルにおけるデマールモジュラーの同定に与える影響は何か？
• RQ5 量子アフィン代数の文脈において、特殊化 $ P_\lambda(x;q,0) $ の表現論的意義は何か？

主な発見

• デマール部分モジュラー $ V_x^+(\lambda) $ の結晶基底 $ \mathcal{B}_x^+(\lambda) $ は、同型写像 $ \Psi_\lambda^\vee $ を通じて、初期方向が $ x \succeq \iota(\eta) $ を満たす半無限LS経路の集合 $ \mathbb{B}_{x\succeq}^{\frac{\infty}{2}}(\lambda) $ に同型である。
• 重み付きキャラクターは $ \mathop{\rm gch}\nolimits V_{w_0}^+(\lambda) = \left( \prod_{i\in I} \prod_{r=1}^{m_i} (1 - q^r) \right)^{-1} P_\lambda(x;q,0) $ で与えられ、ここで $ \lambda = \sum_{i\in I} m_i \varpi_i $ である。
• この公式により、$ q $-ホイッターゼ関数がレベルゼロ極大重みモジュラー内のデマール部分モジュラーの重み付きキャラクターとして新たな表現論的解釈が与えられる。
• 証明は、$ \mathcal{B}(\lambda) $ と $ \mathbb{B}^{\frac{\infty}{2}}(\lambda) $ の結晶に無限個の連結成分が存在する場合に生じる曖昧さを解消する正規化された結晶同型写像に依存する。
• 結果は、すべての非-twistedアフィンカック＝ムーディ代数に適用可能であり、以前の結果が単純連結型に限定されていたのを一般化する。
• この特徴づけは、$ V(\lambda) $ の $ \lambda $-重み空間が無限次元であっても成立し、古典的最高重みモジュラーとは顕著に異なる点である。