[論文レビュー] Crystal graphs of irreducible $U_v(\hat{sl}_e)$-modules of level two and Uglov bipartitions

Nicolas Jacon|ArXiv.org|Jul 11, 2006

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

ひとこと要約

本稿は、レベル2の $\mathcal{U}_v(\widehat{\mathfrak{sl}}_e)$-加群のクリスタルグラフをラベルづけるウグロフ双分割の非再帰的で組合せ的な特徴付けを、$\ mathcal{U}_v(\mathfrak{sl}_\infty)$-加群の正規基底理論を用いて、異なるウグロフパrameterization間の自然な全単射を確立することによって提供する。主な結果は、写像 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ が正規基底展開における最高次数の項に正確に対応することであり、表現論とクリスタルグラフの組合せ論を結びつける。

ABSTRACT

We give a simple description of the natural bijection between the set of FLOTW bipartitions and the set of Uglov bipartitions (which generalizes the set of Kleshchev bipartitions). These bipartitions, which label the crystal graphs of irreducible $\mathcal{U}\_v({\hat{\mathfrak{sl}}\_e})$-modules of level two, naturally appear in the context of the modular representation theory of Hecke algebras of type $B\_n$.

研究の動機と目的

• レベル2の $\ mathcal{U}_v(\widehat{\mathfrak{sl}}_e)$-加群のクリスタルグラフをラベルづけるウグロフ双分割の非再帰的かつ明示的な特徴付けを提供すること。
• 漸近的または FLOTW の場合を除くウグロフ双分割の特徴付けという未解決問題を、パrameterizationにおける対称性を活用することで解決すること。
• 写像 $\Psi_{(s_0,s_1)}^{(s_0',s_1')}$ と $\ mathcal{U}_v(\mathfrak{sl}_\infty)$-加群の正規基底との間の明確な関係を確立すること。
• Kleshchev および FLOTW 双分割に関する既知の結果を一般化し、それらがすべて $\ mathcal{U}_v(\mathfrak{sl}_\infty)$-正規基底を通じて統一的に記述できることを示すこと。

提案手法

• 本稿は、特に $\ mathcal{U}_v(\mathfrak{sl}_\infty)$ を用いた量子群のクリスタルグラフおよび正規基底の理論を用い、レベル2の可約加群の構造を分析する。
• Fock空間への量子群の作用を用いて、パrameterがずれた場合のウグロフ双分割集合間の写像 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ を確立する。
• この方法は、$\ mathcal{U}_v(\mathfrak{sl}_\infty)$-加群における正規基底を定義する、すべての $i \geq 1$ に対して $\lambda_i^{(0)} \geq \lambda_{i+s_1-s_0}^{(1)}$ を満たす双分割の集合 $\Phi_{\infty,n}^{\mathbf{s}}$ の特徴づけに依存する。
• Leclerc および Miyachi の定理を適用し、正規基底元 $b(\boldsymbol{\lambda})$ が $\sum_{{\boldsymbol{\mu}} \in C(\boldsymbol{\lambda})} v^{l(\boldsymbol{\mu})} \boldsymbol{\mu}$ で与えられることを用いる。ここで $l(\boldsymbol{\mu})$ は記号内の対の入れ替え数を数える。
• 主な技術は、写像 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ の像を、正規基底展開における $c_{\boldsymbol{\lambda},\boldsymbol{\mu}}(v)$ の次数が最大となる唯一の $\boldsymbol{\mu}$ として特定することにある。
• 写像の組合せ的構造を定義するために、双分割の記号とその対の入れ替えを用いる。

実験結果

リサーチクエスチョン

• RQ1 FLOTW および Kleshchev の場合を除き、ウグロフ双分割を再帰的でない方法でどのように特徴づけられるか。
• RQ2 異なるウグロフパrameterization間の写像 $\Psi_{(s_0,s_1)}^{(s_0',s_1')}$ の正確な組合せ的性質は何か。
• RQ3 $\ mathcal{U}_v(\mathfrak{sl}_\infty)$-加群の正規基底は、レベル2の $\ mathcal{U}_v(\widehat{\mathfrak{sl}}_e)$-加群のクリスタルグラフ構造とどのように関係するか。
• RQ4 写像 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ は、正規基底における記号と対の入れ替えの組合せ論を用いて完全に記述可能か。
• RQ5 構造定数 $c_{\boldsymbol{\lambda},\boldsymbol{\mu}}(v)$ の次数が写像の像を決定する役割は何か。

主な発見

• 写像 $\Psi_{(s_0,s_1)}^{(s_0,s_1+e)}$ は、正規基底展開における $b(\boldsymbol{\lambda})$ の係数 $c_{\boldsymbol{\lambda},\boldsymbol{\mu}}(v)$ が最大次数を持つ唯一の $\boldsymbol{\mu}$ にウグロフ双分割 $\boldsymbol{\lambda}$ を写像する。
• この最大次数の項は、$s_1 \mapsto s_1 + e$ によるパrameterシフトに正確に対応し、写像の完全な非再帰的記述を提供する。
• 最高重量 $\Lambda_{s_0} + \Lambda_{s_1}$ を持つ $\ mathcal{U}_v(\mathfrak{sl}_\infty)$-加群 $L_{\mathbf{s}}$ の正規基底は、明示的に $\sum_{{\boldsymbol{\mu}} \in C(\boldsymbol{\lambda})} v^{l(\boldsymbol{\mu})} \boldsymbol{\mu}$ で与えられ、ここで $l(\boldsymbol{\mu})$ は記号内の入れ替えられた対の数を数える。
• すべての $i \geq 1$ に対して $\lambda_i^{(0)} \geq \lambda_{i+s_1-s_0}^{(1)}$ を満たす双分割の集合 $\Phi_{\infty,n}^{\mathbf{s}}$ は、$L_{\mathbf{s}}$ の正規基底をラベルづける集合であり、この集合はすべてのレベル2の $\ mathcal{U}_v(\widehat{\mathfrak{sl}}_e)$-加群のウグロフ双分割を含む。
• FLOTW 双分割は $0 \leq s_0 \leq s_1 < e$ の特別な場合として得られ、Kleshchev 双分割は $s_0 - s_1 > n - 1 - e$ のときであり、両者とも同じ正規基底枠組み内に埋め込まれる。
• 本稿は、ウグロフ双分割の全系列が $\ mathcal{U}_v(\mathfrak{sl}_\infty)$ の正規基底によって支配されることを確立し、以前は別個に特徴づけられていた記述を、一つの代数的メカニズムで統一した。