[論文レビュー] Generalized Weyl modules and Demazure submodules of level-zero extremal weight modules

Fumihiko Nomoto|arXiv (Cornell University)|Jan 29, 2017

Algebraic structures and combinatorial models参考文献 11被引用数 5

ひとこと要約

本稿は、アフィンリー代数の正部分代数上の一般化されたウェイル加群 $W_{w\tilde{\nu}}$ の重み付き特徴と、量子アフィン代数の極値重量モジュールのデマール直和部分モジュールから得られる商モジュール $V_{w}^{-}(\lambda)/X_{w}^{-}(\lambda)$ の重み付き特徴の間の明確な対応関係を確立する。量子アルコーブパスとQLSパスの一般化された双対性を用いて、Weyl群作用および $q \mapsto q^{-1}$ の下で、$W_{w\tilde{\nu}}$ の重み付き特徴が、$V_{w_{\circ}ww_{\circ}}^{-}(\lambda)/X_{w_{\circ}ww_{\circ}}^{-}(\lambda)$ の重み付き特徴と一致することを証明し、マクドナルド多項式の特殊化に関する先行結果を拡張する。

ABSTRACT

We study a relationship between the graded characters of generalized Weyl modules $W_{w λ}$, $w \in W$, over the positive part of the affine Lie algebra and those of specific quotients $V_{w}^- (λ) / X_{w}^- (λ)$, $w \in W$, of the Demazure submodules $V_{w}^- (λ)$ of the extremal weight modules $V(λ)$ over the quantum affine algebra, where $W$ is the finite Weyl group and $λ$ is a dominant weight. More precisely, we prove that a specific quotient of the Demazure submodule is a quantum analog of a generalized Weyl module.

研究の動機と目的

• アフィンリー代数の正部分代数上の一般化されたウェイル加群と、極値重量モジュール内のデマール部分モジュールの商モジュールの間の特徴的対応関係を確立すること。
• 単位元に限られていた量子アルコーブパスとQLSパスの双対性を、任意のWeyl群元 $w \in W$ に一般化すること。
• $W_{w\tilde{\nu}}$ の重み付き特徴が $q \mapsto q^{-1}$ およびWeyl群作用 $w_{\circ}$ で変換されたとき、$V_{w_{\circ}ww_{\circ}}^{-}(\lambda)/X_{w_{\circ}ww_{\circ}}^{-}(\lambda)$ の重み付き特徴と一致することを証明すること。
• マクドナルド多項式の特殊化に関する先行結果（$t=0$ および $t=\infty$ におけるもの）を、パスモデルを用いて統一的な枠組みに拡張すること。

提案手法

• 重みと次数を保存するように、集合 $\mathcal{QB}(w; t(w_{\circ}\lambda))$（量子アルコーブパスの集合）と $\mathrm{QLS}(\lambda)$（QLSパスの集合）の間の一般化された双対写像 $\Xi_w$ を構成する。
• 量子アルコーブパスの重み付き特徴 $C_w^{t(w_{\circ}\lambda)}$ と、$ww_{\circ}$-歪み次数関数に関するQLSパスの重み付き特徴 $\mathrm{gch}^{ww_{\circ}}\mathrm{QLS}(\lambda)$ を定義する。
• $\mathbb{Q}(q)[P]$ 上の対合 $\overline{\cdot}$ を用いる。ここで $q \mapsto q^{-1}$ であり、$e^\mu$ は固定される。これに加えて、Weyl群作用 $w \cdot e^\mu = e^{w\mu}$ を用いる。
• $W_{w\tilde{\nu}}$ の重み付き特徴が $w_{\circ}(\overline{C_w^{t(w_{\circ}\lambda})}})$ として変換され、それが商モジュールの歪み重み付き特徴と一致することを証明する。
• 帰納的議論と量子ブリュア図の性質を活用して、双対写像 $\Xi_w$ が重みと次数を保存することを検証し、特徴の一致を保証する。
• 既知のマクドナルド多項式の特殊化に関する結果（特に $E_{w\lambda}(q,0)$ と $E_{w\lambda}(q,\infty)$）を用いて、特徴の恒等式を文脈づける。

実験結果

リサーチクエスチョン

• RQ1 一般化されたウェイル加群 $W_{w\tilde{\nu}}$ の重み付き特徴と、極値重量モジュール内の商モジュール $V_w^{-}(\lambda)/X_w^{-}(\lambda)$ の重み付き特徴とは、どのように関係しているか？
• RQ2 以前は $w = e$ の場合にのみ知られていた、量子アルコーブパスとQLSパスの双対性を、任意の $w \in W$ に一般化できるか？
• RQ3 $W_{w\tilde{\nu}}$ の重み付き特徴が $q \mapsto q^{-1}$ およびWeyl群作用 $w_{\circ}$ で変換されたとき、$V_{w_{\circ}ww_{\circ}}^{-}(\lambda)/X_{w_{\circ}ww_{\circ}}^{-}(\lambda)$ の重み付き特徴と一致するか？
• RQ4 量子アルコーブパス上の次数関数と重み関数は、QLSパス上の歪み次数関数および重み関数とどのように関係しているか？

主な発見

• $W_{w\tilde{\nu}}$ の重み付き特徴は、$w_{\circ}(\overline{C_w^{t(w_{\circ}\lambda})}}) = \mathrm{gch}^{w_{\circ}ww_{\circ}}\mathrm{QLS}(\lambda)$ を満たし、明確な特徴の恒等式を確立する。
• $\mathcal{QB}(w; t(w_{\circ}\lambda)) \to \mathrm{QLS}(\lambda)$ の重みと次数を保存する双対写像 $\Xi_w$ が構成され、$w = e$ の場合の結果を一般化する。
• 量子アルコーブパスにおける量子重み $\mathrm{qwt}(p_J)$ の次数は、QLSパスにおける歪み次数 $\mathrm{Deg}^{ww_{\circ}}(\Xi_w(p_J))$ と一致し、特徴の整合性が保証される。
• 終点の重み $\mathrm{wt}(\mathrm{end}(p_J))$ は、画像パスの重み $\mathrm{wt}(\Xi_w(p_J))$ と等しく、重みの保存が確認される。
• $\mathcal{QB}(w; t(\lambda_-))$ の濃度は $w \in W$ に依存せず、双対写像の存在の結果である。
• 本結果は、先行の特徴恒等式を一般化する：$w = e$ のとき、特徴 $\mathrm{gch}^{w_{\circ}}\mathrm{QLS}(\lambda)$ は $E_{w_{\circ}\lambda}(q,0)$ に等しく、$w = w_{\circ}$ のときには $E_{w_{\circ}\lambda}(q,\infty)$ に等しい。