[論文レビュー] Extremal weight modules of quantum affine algebras

Hiraku Nakajima|ArXiv.org|Apr 14, 2002

Algebraic structures and combinatorial models参考文献 3被引用数 10

ひとこと要約

本稿は、A型、D型、E型の量子アフィン代数に対する極端な重みモジュラー構造に関するKashiwaraの予想を証明し、このようなモジュラーが基本モジュラーのテンソル積と同型であり、ほぼ直交性を満たすグローバルなクリスタル基底を持つことを示している。主な結果として、極端な重みモジュラーとクーヴァー多様体を用いて定義された普遍標準モジュラーの間の自然な同型写像を確立し、Varagnolo-VasserotとChari-Pressleyの予想を正確な形で裏付けた。

ABSTRACT

Let $\ag$ be an affine Lie algebra, and let $\Ua$ be the quantum affine algebra introduced by Drinfeld and Jimbo. In [Kas94] Kashiwara introduced a $\Ua$-module $V(λ)$, having a global crystal base for an integrable weight $λ$ of level 0. We call it an {\it extremal weight module}. In [\S13]{Kas00} Kashiwara gave a conjecture on the structure of extremal weight modules. We prove his conjecture when $\ag$ is an untwisted affine Lie algebra of a simple Lie algebra $\g$ of type $ADE$, using a result of Beck-Chari-Pressley [BCP].

研究の動機と目的

• 未歪なアフィンリー代数A型、D型、E型に対する極端な重みモジュラー構造に関するKashiwaraの予想を証明すること。
• クーヴァー多様体を用いて構成された極端な重みモジュラーと普遍標準モジュラーとの間の同型を確立すること。
• 極端な重みモジュラーのグローバルなクリスタル基底を、最高重みモジュラーと類似したほぼ直交性の性質を用いて特徴づけること。
• Varagnolo-VasserotとChari-Pressleyによる極端な重みモジュラーと標準モジュラーの同型に関する予想を正確な形で確認すること。

提案手法

• 固定された添字集合 $I$ の順序付けのもとで、基本的な極端な重みモジュラー $V(\varpi_i)^{\otimes m_i}$ のテンソル積としてモジュラー $\widetilde{V}(\lambda)$ を構成する。
• 極端な重みモジュラー $V(\lambda)$ に対して、グローバルなクリスタル基底 $({\mathscr{L}}(\lambda), \mathcal{B}(\lambda), V^\mathbb{Z}(\lambda))$ を定義する。
• ${\mathbf{U}}_q(\widehat{{\mathfrak{g}}})$-線形な準同型写像 $\Phi_\lambda: V(\lambda) \to \widetilde{V}(\lambda)$ を定義し、最高重みベクトル $u_\lambda$ を $\widetilde{u}_\lambda = \bigotimes_i u_{\varpi_i}^{\otimes m_i}$ に写像する。
• Beck-Chari-Pressleyの基本モジュラーのテンソル積の構造に関する結果を用いて、$\Phi_\lambda$ の像を分析し、単射性と基底の保存性を証明する。
• シュール関数 $s(z)$ の作用による $\widetilde{\mathcal{B}}_0(\lambda)$ の軌道としてクリスタル基底 $\widetilde{\mathcal{B}}(\lambda)$ を定義し、$\Phi_\lambda^0$ が $\mathcal{B}(\lambda)$ と $\widetilde{\mathcal{B}}(\lambda)$ の間の全単射を誘導することを示す。
• グローバルなクリスタル基底 $\{G(b)\}_{b \in \mathcal{B}(\lambda)}$ が、幾何的双一次形式に関してほぼ正規直交的であることを証明し、$(G(b), G(b')) \equiv \delta_{bb'} \mod q\mathbb{Z}[q]$ を満たす。

実験結果

リサーチクエスチョン

• RQ1 極端な重みモジュラー $V(\lambda)$ は、基本的な極端な重みモジュラー $V(\varpi_i)^{\otimes m_i}$ のテンソル積と同型であるか？
• RQ2 極端な重みモジュラーのグローバルなクリスタル基底は、幾何的双一次形式に関してほぼ直交性を満たすか？
• RQ3 極端な重みモジュラーは、クーヴァー多様体を用いて構成された普遍標準モジュラーと同一視できるか？
• RQ4 ${\mathbf{U}}_q(\widehat{{\mathfrak{g}}})$-線形写像 $\Phi_\lambda$ はクリスタル基底に全単射を誘導し、グローバルなクリスタル基底構造を保存するか？
• RQ5 極端な重みモジュラーと普遍標準モジュラーの同型は、幾何的双一次形式およびバー対合と両立するか？

主な発見

• 準同型写像 $\Phi_\lambda: V(\lambda) \to \widetilde{V}(\lambda)$ は単射であり、$\Phi_\lambda({\mathscr{L}}(\lambda)) \subset \widetilde{\mathscr{L}}(\lambda)$ を満たす。
• $\Phi_\lambda^0$ がクリスタル基底に誘導する写像は、$\mathcal{B}(\lambda)$ と $\widetilde{\mathcal{B}}(\lambda)$ の間の全単射を与える。
• 極端な重みモジュラー $V(\lambda)$ のグローバルなクリスタル基底 $\{G(b)\}_{b \in \mathcal{B}(\lambda)}$ は、$\{s(z)G(b)\}_{b \in \widetilde{\mathcal{B}}_0(\lambda)}$ に写像され、グローバル基底構造が保存される。
• 極端な重みモジュラーのグローバルなクリスタル基底はほぼ正規直交的である：$(G(b), G(b')) \equiv \delta_{bb'} \mod q\mathbb{Z}[q]$。
• 集合 $\{\pm G(b) \mid b \in \mathcal{B}(\lambda)\}$ は、$\overline{u} = u$ かつ $(u,u) \equiv 1 \mod q\mathbb{Z}[q]$ を満たす $V^\mathbb{Z}(\lambda)$ の元 $u$ の集合と一致する。
• 極端な重みモジュラー $V(\lambda)$ は、クーヴァー多様体を用いて定義された普遍標準モジュラーと同型であり、Varagnolo-VasserotとChari-Pressleyの予想を確認した。