[論文レビュー] Toward Berenstein-Zelevinsky data in affine type $A$, I: Construction of affine analogs

Satoshi Naito, Daisuke Sagaki+1 more|arXiv (Cornell University)|Sep 23, 2010

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

ひとこと要約

本稿は、無限型 $A_\infty$ の極限を通じて、有限型 $A_n$ のBerntstein-Zelevinsky（BZ）データの射影極限として、型 $A_{\mathrm{aff}}$ のアフィンリー代数に対する推測的なアフィンBZデータを構成する。このアフィンBZデータを用いて、アフィン型 $A$ のラングランズ双対の量子化普遍包あくり代数の負部分のクリスタル基底を実現し、アフィン設定におけるMVポリトープの組合せ的枠組みを確立する。

ABSTRACT

We give (conjectural) analogs of Berenstein-Zelevinsky data for affine type $A$. Moreover, by using these affine analogs of Berenstein-Zelevinsky data, we realize the crystal basis of the negative part of the quantized universal enveloping algebra of the (Langlands dual) Lie algebra of affine type $A$.

研究の動機と目的

• アフィン設定におけるミルコビッチ＝ヴィロネン（MV）ポリトープの組合せ的枠組みを、特にアフィン型 $A$ に対して開発すること。
• 元来有限次元リー代数に対して定義されたBerntstein-Zelevinsky（BZ）データを、射影極限の構成を用いてアフィン設定へ拡張すること。
• アフィン型 $A$ のラングランズ双対の量子化普遍包あくり代数の負部分のクリスタル基底を、これらのアフィンBZデータを用いて実現すること。
• アフィン型 $A_{\ell}^{(1)}$ を得るために、$A_\infty$ 型BZデータをディンキン図の自己同型による折りたたみによって、得られるアフィンBZデータ集合にクリスタル構造を自然に導入すること。

提案手法

• 無限次元リー代数 $\mathfrak{sl}_{\infty}(\mathbb{C})$ のBZデータの集合 $\mathcal{BZ}_{\mathbb{Z}}$ を、安定性制約を課えた有限型 $A_n$ BZデータの射影極限として構成する。
• アフィン型 $A_{\ell}^{(1)}$ を得るために、$A_\infty$ のディンキン図の自己同型 $\sigma(i) = i + \ell - 1$ による固定点集合として、集合 $\mathcal{BZ}_{\mathbb{Z}}^\sigma$ を定義する。
• $\mathcal{BZ}_{\mathbb{Z}}$ の $A_\infty$ クリスタル構造から自然に誘導されるクリスタル構造を $\mathcal{BZ}_{\mathbb{Z}}^\sigma$ に導入し、量子化普遍包あくり代数 $U_q(\widehat{\mathfrak{g}}^\vee)$ と整合するようにする。
• 得られたアフィンBZデータを用いて、$\widehat{\mathfrak{g}}$ が型 $A_{\ell}^{(1)}$ のアフィンリー代数であるときの $U_q(\widehat{\mathfrak{g}}^\vee)$ の負部分のクリスタル基底を実現する。
• $\mathcal{BZ}_{\mathbb{Z}}^\sigma$ に導入されたクリスタル構造が、クリスタルの公理を満たすことを確認する。特に、Kashiwara作用素 $e_p$, $f_p$ と重み関数 $\varepsilon_p$, $\varphi_p$ 間の基本的関係を満たす。
• 最高重みベクトル $x_0$ が $e_p x_0 = \mathbf{0}$ および $\varphi_p(x_0) = \langle h_p, \lambda \rangle$ を満たすという事実を用いて、クリスタル $\mathcal{BZ}_{\mathbb{Z}}^\sigma$ と最高重み表現のクリスタル基底 $\mathcal{B}(\lambda)$ の間に同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 Berenstein-Zelevinskyデータは、特にアフィン型 $A$ に対してアフィン設定へ一般化可能か？
• RQ2 有限型BZデータの射影極限は、$A_\infty$ に対して整合的な組合せ的対象を定義するために、どのように安定化可能か？
• RQ3 ディンキン図の自己同型 $\sigma(i) = i + \ell - 1$ は、$A_\infty$ データからアフィン型 $A_{\ell}^{(1)}$ データを得るための折りたたみに果たす役割は何か？
• RQ4 得られたアフィンBZデータ集合は、アフィン型 $A$ のラングランズ双対の量子化普遍包あくり代数と整合するクリスタル構造を有するか？
• RQ5 負部分の $U_q(\widehat{\mathfrak{g}}^\vee)$ のクリスタル基底は、折りたたみによって構成されたアフィンBZデータ集合と同型か？

主な発見

• $A_\infty$ のBZデータの集合 $\mathcal{BZ}_{\mathbb{Z}}$ は、安定性条件を課えた有限型 $A_n$ BZデータの射影極限として定義され、入れ子になった区間間の整合性が保証される。
• 自己同型 $\sigma(i) = i + \ell - 1$ による固定点集合 $\mathcal{BZ}_{\mathbb{Z}}^\sigma$ は、型 $A_{\ell}^{(1)}$ のアフィンBZデータの候補を提供し、$\mathcal{BZ}_{\mathbb{Z}}$ から自然に誘導される明確なクリスタル構造を有する。
• クリスタル $\mathcal{BZ}_{\mathbb{Z}}^\sigma$ は、最高重み表現のクリスタル基底 $\mathcal{B}(\lambda)$ と同型であり、最高重みベクトル $x_0$ がすべての $p \in \widehat{I}$ に対して $e_p x_0 = \mathbf{0}$ および $\varphi_p(x_0) = \langle h_p, \lambda \rangle$ を満たす。
• $\mathcal{BZ}_{\mathbb{Z}}^\sigma$ に導入されたクリスタル構造は、Kashiwara作用素 $e_p$, $f_p$ と関数 $\varepsilon_p$, $\varphi_p$ 間の基本的関係を含む、標準的なクリスタルの公理を満たし、量子群理論と整合することが保証される。
• この構成により、$\widehat{\mathfrak{g}}$ が型 $A_{\ell}^{(1)}$ のアフィンリー代数であるとき、$U_q(\widehat{\mathfrak{g}}^\vee)$ の負部分のクリスタル基底がアフィンBZデータを用いて実現される。
• この枠組みは、有限型のMVポリトープ構成をアフィンケースに拡張する、アフィン設定におけるMVポリトープの組合せ的モデルを提供する。