[論文レビュー] A combinatorial decomposition of higher level Fock spaces

Nicolas Jacon, Cédric Lecouvey|Osaka City University (Osaka City University)|Feb 13, 2012

Algebraic structures and combinatorial models参考文献 14被引用数 13

ひとこと要約

本稿は、完全周期的記号を用いて、レベル-$l$ フォック空間のクリスタルグラフにおける最高重量頂点の組合せ的特徴付けを提供する。完全周期的記号は、テンソル積分解における逆ラティス語のアフィン類似物である。本稿は、$\mathcal{U}_q(\mathfrak{sl}_\infty)$ および $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$ の両方のモジュールに対して、フォック空間の既約成分への分解を確立し、スケイワーテーブルを用いたこのような頂点の数え上げを通じて、$\mathcal{U}_q(\mathfrak{sl}_\infty)$-モジュールから $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-モジュールへの制限の分岐則を導出する。

ABSTRACT

We give a simple characterization of the highest weight vertices in the crystal graph of the level l Fock spaces. This characterization is based on the notion of totally periodic symbols viewed as affine analogues of reverse lattice words classically used in the decomposition of tensor products of fundamental $\mathfrak{sl}_{n}$-modules. This yields a combinatorial decomposition of the Fock spaces in their irreducible components and the branching law for the restriction of the irreducible highest weight $\mathfrak{sl}_{\infty}$-modules to $\hat{\mathfrak{sl}_{e}}$.

研究の動機と目的

• レベル-$l$ フォック空間のクリスタルグラフにおける最高重量頂点の組合せ的特徴付けを提供すること。
• $\mathcal{U}_q(\mathfrak{sl}_\infty)$ および $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-モジュールの両方に対して、フォック空間の既約成分への分解を確立すること。
• $\mathcal{U}_q(\mathfrak{sl}_\infty)$-モジュールから $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-モジュールへの制限の分岐則を導出すること。
• 最高重量頂点の数が完全周期的記号でラベル付けされたスケイワーテーブルに関連することを示すこと。

提案手法

• 著者らは、テンソル積分解における逆ラティス語のアフィン類似物として、完全周期的記号の概念を導入する。
• 記号のピーリング手続きを用いて周期的成分を抽出し、クリスタルグラフ内の最高重量頂点を同定する。
• フォック空間 $\mathcal{F}_{\mathbf{s}}$ のクリスタルグラフは、$\mathcal{U}_q(\mathfrak{sl}_\infty)$ 用と $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$ 用の二つの構造によって分析され、後者は前者の部分グラフとして埋め込まれる。
• 記号の周期的構造を用いて、固定された $\mathcal{U}_q(\mathfrak{sl}_\infty)$-重みを持つ記号と、特定の形状と重みを持つテーブュールの間の双対写像を構成する。
• 固定された $\mathcal{U}_q(\mathfrak{sl}_\infty)$-重み $\nu$ を持つ最高重量頂点の数は、集合 $\mathrm{Tab}_{\mathbf{s}\setminus\mathbf{t}(\nu),\gamma(\nu)}$ の濃度によって与えられる。
• 重み集合 $P_{e,\infty}$ と重み関数 $m_{\mathbf{s},\nu}^e$ および $M_{\mathbf{s},\nu}^e$ の使用を通じて、分解が形式化される。

実験結果

リサーチクエスチョン

• RQ1 レベル-$l$ フォック空間のクリスタルグラフにおける最高重量頂点をどのように組合せ的に特徴付けられるか。
• RQ2 完全周期的記号と $\mathcal{U}_q(\mathfrak{sl}_\infty)$ および $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$ の両方のモジュールに対するフォック空間の既約成分への分解との関係は何か。
• RQ3 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-モジュールから $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-モジュールへの制限の分岐則は、クリスタル構造からどのように導かれるか。
• RQ4 固定された $\mathcal{U}_q(\mathfrak{sl}_\infty)$-重みを持つ最高重量頂点の数を数える組合せ的対象は何か。
• RQ5 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-成分の重複度は、スケイワーテーブルを用いて表現可能か。

主な発見

• フォック空間 $\mathcal{F}_{\mathbf{s}}$ のクリスタルグラフにおける最高重量頂点は、完全周期的記号でラベル付けされたものに限りない。
• $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-成分へのフォック空間の分解は、集合 $P_{e,\infty}$ 内の $\mathcal{U}_q(\mathfrak{sl}_\infty)$-重みによって支配される。
• $\mathcal{U}_q(\mathfrak{sl}_\infty)$-最高重量 $\nu$ を持つ $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-最高重量頂点の数は有限であり、$m_{\mathbf{s},\nu}^e = \left|\mathrm{Tab}_{\mathbf{s}\setminus\mathbf{t}(\nu),\gamma(\nu)}\right|$ に等しい。
• $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$ への $V_\infty(\mathbf{s})$ の制限の分岐則は、クリスタルグラフを $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-連結成分に分解することによって実現される。
• $\mathcal{F}_{\mathbf{s},e}$ 内の $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-既約成分の重複度 $M_{\mathbf{s},\nu}^e$ は、$\mathbf{v} \in \mathcal{T}_{l,\infty}$ における $K_{\lambda(\mathbf{v}),\mu(\mathbf{v})} m_{\mathbf{v},\nu}^e$ の和として与えられる。ここで $K_{\lambda,\mu}$ はコスタカ数である。
• ピーリング手続きは記号の半標準性を保ち、最高重量頂点を数えるために用いられる組合せ的双対写像の有効性を保証する。