[論文レビュー] Semi-infinite Lakshmibai-Seshadri path model for level-zero extremal weight modules over quantum affine algebras

Motohiro Ishii, Satoshi Naito+1 more|arXiv (Cornell University)|Feb 17, 2014

Algebraic structures and combinatorial models参考文献 16被引用数 4

ひとこと要約

本稿は、アフィンワイル群上の半無限ブラハット順序を用いて、半無限ラクシュミバイ・セシャドリ（LS）パスモデルを導入し、量子アフィン代数のレベルゼロ極大重みモジュールのクリスタル基底を完全に組み合わせ的に実現する。従来の結果は基本重みの正整数倍に依存するという制限を克服し、ルスティグの一般化ブラハット順序と同等の半無限ブラハット順序を用いて、任意のレベルゼロのドミナント整数重みに対して完全な記述を達成する。

ABSTRACT

We introduce semi-infinite Lakshmibai-Seshadri paths by using the semi-infinite Bruhat order (or equivalently, Lusztig's generic Bruhat order) on affine Weyl groups in place of the usual Bruhat order. These paths enable us to give an explicit realization of the crystal basis of an extremal weight module of an arbitrary level-zero dominant integral extremal weight over a quantum affine algebra. This result can be thought of as a full generalization of our previous result (which uses Littelmann's Lakshmibai-Seshadri paths), in which the level-zero dominant integral weight is assumed to be a positive-integer multiple of a level-zero fundamental weight.

研究の動機と目的

• レベルゼロの重みが基本重みの正整数倍に限られていた従来のLSパスモデルの制限を克服すること。
• 任意のレベルゼロドミナント整数重みに対する極大重みモジュールのクリスタル基底を完全に組み合わせ的に実現すること。
• アフィンワイル群上の半無限ブラハット順序（等価にはルスティグの一般化ブラハット順序）を用いた一般枠組みを確立すること。
• クリスタル同型性結果 $\mathcal{B}(\lambda) \cong \bigotimes_{i\in I} \mathcal{B}(m_i\varpi_i)$ を、$\lambda = \sum m_i\varpi_i$ である任意のレベルゼロドミナント整数重みにまで拡張すること。
• 量子アフィン代数の文脈において、極大モジュールのクリスタル基底に関する従来のパスモデルの結果を統一的かつ一般化すること。

提案手法

• 本稿は、アフィンワイル群 $W_{\mathrm{af}}$ 上の半無限ブラハット順序を用いて、リトルマンのLSパスモデルで用いられる標準的ブラハット順序に置き換えることで、半無限LSパスを定義する。
• 大規模な $n$ に対する $t_{n\xi}$ による平行移動における漸近的挙動を特徴付ける長さ関数 $\ell^{\frac{\infty}{2}}_J(x)$ を導入し、これにより半無限ブラハット順序を特徴付ける。
• 分解 $x = wz_\xi t_\xi$（$w \in W^J$, $\xi \in Q^{\vee,\text{J-ad}}$）に依存し、順序構造を定義するための射影 $\Pi^J(x)$ を用いる。
• 半無限ブラハット順序に基づいて、半無限LSパスの集合へのクリスタル構造を定義し、エッジ関係は $x \xrightarrow{\beta} y$ が $y = \Pi^J(r_\beta x)$、$\ell^{\frac{\infty}{2}}_J(r_\beta x) = \ell^{\frac{\infty}{2}}_J(x)+1$、および $\beta = w\gamma + n\delta$（$n \in \{0,1\}$）を満たすことで特徴づける。
• 本稿は、$\lambda = \sum m_i\varpi_i$ の形状を持つ半無限LSパスの集合が、$\mathcal{B}(\lambda)$ に同型であることを証明し、同型性 $\mathcal{B}(\lambda) \cong \bigotimes_{i\in I} \mathcal{B}(m_i\varpi_i)$ を用いる。
• 半無限ブラハット順序とルスティグの一般化ブラハット順序の同値性を、双対性 $x \leq_{\frac{\infty}{2}} y \Leftrightarrow y^{-1} \leq_L x^{-1}$ により確立する。

実験結果

リサーチクエスチョン

• RQ1 任意のレベルゼロドミナント整数重みの極大重みモジュールのクリスタル基底は、パスモデルを用いて組み合わせ的に実現可能か？
• RQ2 リトルマンのLSパスモデルが、一般のレベルゼロドミナント整数重みに対してクリスタル基底を実現できないのはなぜか？
• RQ3 アフィンワイル群上の半無限ブラハット順序は、極大モジュールの一般化パスモデルを定義するためにどのように利用可能か？
• RQ4 一つのパスモデルフレームワークを用いて、レベルゼロ重みの極大モジュールのクリスタル構造を統一的に扱う方法はあるか？
• RQ5 アフィンワイル群の文脈において、半無限ブラハット順序とルスティグの一般化ブラハット順序の正確な関係は何か？

主な発見

• 本稿は、アフィンワイル群上の半無限ブラハット順序を用いて、任意のレベルゼロドミナント整数重みに一般化されたLSパスモデルの新規構成を実現する。
• 形状 $\lambda = \sum_{i\in I} m_i\varpi_i$ の半無限LSパスの集合が、$\mathcal{B}(\lambda)$ に同型であることを証明し、任意のレベルゼロ極大重みモジュールのクリスタル基底を完全に組み合わせ的に実現する。
• 同型性 $\mathcal{B}(\lambda) \cong \bigotimes_{i\in I} \mathcal{B}(m_i\varpi_i)$ がパスモデルを通じて実現され、$m_i \in \mathbb{Z}_{\geq 1}$ に制限されていた従来の結果を拡張する。
• 半無限ブラハット順序とルスティグの一般化ブラハット順序の間の双対性 $x \leq_{\frac{\infty}{2}} y$ if and only if $y^{-1} \leq_L x^{-1}$ を確立し、両順序を逆元によって結びつける。
• クリスタルグラフのエッジ関係は、三つの条件 $y = \Pi^J(r_\beta x)$、$\ell^{\frac{\infty}{2}}_J(r_\beta x) = \ell^{\frac{\infty}{2}}_J(x)+1$、および $\beta = w\gamma + n\delta$（$n \in \{0,1\}$）によって特徴づけられ、クリスタル構造の明示的アルゴリズム的記述を提供する。
• この構成は非-twistedアフィンリー代数に対して有効であり、かつ、基本重みの正整数倍に限られていた従来の結果を完全に一般化する。