[論文レビュー] Path Model for a Level Zero Extremal Weight Module over a Quantum Affine Algebra

Satoshi Naito, Daisuke Sagaki|ArXiv.org|Oct 30, 2002

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

ひとこと要約

この論文は、量子アフィン代数上のレベルゼロ極大重みモジュールのパスモデルを確立し、そのクリスタル基底と基本的基底重みのラクシュミバイ–セシャドリパスの連結成分との間に同型写像を証明する。さらに、レヴィ部分代数に対する分岐則と、極大重みが最小的（minuscule）である場合のリトルマン型のテンソル積分解体則を証明する。

ABSTRACT

We give a path model for a level zero extremal weight module over a quantum affine algebra. By using this result, we prove a branching rule for an extremal weight module with respect to a Levi subalgebra. Furthermore, we also show a decomposition rule of Littelmann type for the concatenation of path models for an integrable highest weight module and a level zero extremal weight module in the case where the extremal weight is minuscule.

研究の動機と目的

• 量子アフィン代数上のレベルゼロ極大重みモジュールのパスモデルを構成すること。
• 極大重みモジュールのクリスタル基底と、基本的基底重みのラクシュミバイ–セシャドリパスの連結成分との間に同型写像を確立すること。
• 極大重みモジュールに対するレヴィ部分代数に関する分岐則を導出すること。
• 極大重みが最小的である場合に、可積分最高重みモジュールとレベルゼロ極大重みモジュールのパスモデルの連結が、どのように分解するかを証明すること。

提案手法

• 形状 $δ_i$ のラクシュミバイ–セシャドリパスを、鎖条件を満たす区分的線形写像として定義する。
• パスの連結成分 $\mathbb{B}_0(\varpi_i)$ で $\pi_{\varpi_i}(t) = t\varpi_i$ を含むものが、クリスタルとして $\mathcal{B}(\varpi_i)$ に同型であることを証明する。
• ベックと中島のクリスタル埋め込みに関する結果を用いて、一般の極大重み $\lambda = \sum m_i \varpi_i$ への同型写像を拡張する。
• パスモデルの連結によるテンソル積規則を適用し、分解則を導出する。
• クリスタル構造をレヴィ部分代数 $\mathfrak{g}_S$ に制限し、優位性条件を分析することで分岐則を確立する。
• 重み $\varpi_i$ が最小的であることを利用して、$\mathbb{B}(\varpi_i)$ が連結であり、$a$-チェーンが存在しないことを示し、パス構造を単純化する。

実験結果

リサーチクエスチョン

• RQ1 量子アフィン代数上のレベルゼロ極大重みモジュールに対して、パスモデルを構成できるか？
• RQ2 基本的基底重み $\varpi_i$ に対するラクシュミバイ–セシャドリパスの連結成分は、対応する極大重みモジュールのクリスタル基底と同型か？
• RQ3 極大重みモジュールは、レヴィ部分代数への制限によってどのように分解するか？
• RQ4 極大重みが最小的である場合、可積分最高重みモジュールとレベルゼロ極大重みモジュールのパスモデルの連結構造はどのようなものか？
• RQ5 最小的状況における、パスモデルのクリスタル構造は、テンソル積の分解を反映しているか？

主な発見

• 極大重み元 $u_{\varpi_i}$ をパス $\pi_{\varpi_i}$ に写像する一意的なクリスタル同型写像 $\Phi_{\varpi_i}: \mathcal{B}(\varpi_i) \to \mathbb{B}_0(\varpi_i)$ が存在する。
• $\lambda = \sum_{i \in I_0} m_i \varpi_i$ に対して、連結成分 $\mathcal{B}_0(\lambda)$ は、パスモデルの連結 $\mathop{\rm Cat}_{i \in I_0} \mathbb{B}_0(\varpi_i)^{\ast m_i}$ の連結成分 $\mathbb{B}_0(\underline{\lambda})$ に同型であり、$u_\lambda$ は $\pi_{\underline{\lambda}}$ に写像される。
• レヴィ部分代数 $\mathfrak{g}_S$ への制限において、パスモデル $\mathbb{B}(\varpi_i)$ 及びその連結成分 $\mathbb{B}_0(\varpi_i)$ は、$\mathfrak{g}_S$-優位パスモデルの直和に分解する。
• 重み $\varpi_i$ が最小的であるとき、連結 $\mathbb{B}(\lambda) \ast \mathbb{B}(\varpi_i)$ は、$\lambda$-優位パス $\pi \in \mathbb{B}(\varpi_i)$ に関する直和に分解され、各成分は $\mathbb{B}(\lambda + \pi(1))$ に同型である。
• $\varpi_i$ が最小的であるため、$\mathbb{B}(\varpi_i)$ は連結であることが保証される。これは $a$-チェーンが存在しないことによる。
• 分解則は、一般にモジュールレベルのテンソル積分解に持ち上げられない。これは注記 4.3.3 で指摘されている。