[論文レビュー] Weyl modules, Demazure modules and finite crystals for non-simply laced type

Katsuyuki Naoi|arXiv (Cornell University)|Dec 25, 2010

Algebraic structures and combinatorial models参考文献 18被引用数 8

ひとこと要約

この論文は、非単純根系型のリー代数のカレント代数に対するウェイル加群が、その連続的商がデマールゥ加群に同型であるフィルトレーションを持つことを確立し、またレベルゼロの基本的表現のテンソル積のパスモデルが、デマールゥクリスタルの直和に同型であることを示している。主な貢献は、両構造に現れるデマールゥ加群が完全に一致することを証明し、既知の単純根系型の結果を B_n、C_n、F_4、G_2 などの非単純根系型に一般化したことにある。

ABSTRACT

We show that every Weyl module for a current algebra has a filtration whose successive quotients are isomorphic to Demazure modules, and that the path model for a tensor product of level zero fundamental representations is isomorphic to a disjoint union of Demazure crystals. Moreover, we show that the Demazure modules appearing in these two objects coincide exactly. Though these results have been previously known in the simply laced case, they are new in the non-simply laced case.

研究の動機と目的

• 単純根系型から非単純根系型のリー代数へのウェイル加群とデマールゥ加群の既知の同型を一般化すること。
• 非単純根系型の設定において、その連続的商がデマールゥ加群であるウェイル加群のフィルトレーションを確立すること。
• レベルゼロの基本的表現のテンソル積のパスモデルが、非単純根系型の設定において、デマールゥクリスタルの直和に同型であることの証明。
• ウェイル加群のフィルトレーションに現れるデマールゥ加群とパスモデルに現れるものが完全に一致することの証明。
• フェルミオン的形と1次元和の関係を通じて、非単純根系型カレント代数の文脈における $X=M$ 予想に証拠を提供すること。

提案手法

• 短根系部分代数 $\mathfrak{g}^{\mathrm{sh}}$ のデマールゥ加群の構造を用いて、$\mathcal{C}\mathfrak{g}_d$-加群としてウェイル加群 $W(\lambda)$ のフィルトレーションを構成する。
• Joseph の結果 $\mathcal{D}^{\mathrm{sh}}(1,\overline{\lambda})[0]$ が $\mathcal{D}^{\mathrm{sh}}(r,\nu_i)[m_i]$ のフィルトレーションを持つことを利用して、そのフィルトレーションを全カレント代数へと持ち上げる。
• クリスタル理論、特にパスモデルとデマールゥクリスタルを用いて、連続的商とデマールゥ加群の同型を検証する。
• ウェイル加群のクリスタル基底とパスモデル $\mathbb{B}(\lambda)_{\mathrm{cl}}$ の同型を根拠として、重複度生成関数を関連付ける。
• 等式 $W(\varpi_i) \cong \mathrm{KR}(\varpi_i)$ を用いて、ウェイル加群をキリロフ＝レシェティヒン加群と同一視し、フェルミオン的形と結びつける。
• クリスタルの次数関数と次数付き特徴の結果を統合し、恒等式 $[W(\lambda):V_{\mathfrak{g}}(\mu)]_{q^{-1}} = \sum_{\eta} q^{\mathrm{Deg}(\eta)}$ を extremal パス $\eta$ に対して証明することで、$X=M$ 予想の特殊ケースを確認する。

実験結果

リサーチクエスチョン

• RQ1 非単純根系型カレント代数に対するウェイル加群は、単純根系型の既知の同型を一般化して、デマールゥ加群によるフィルトレーションを持つことができるか？
• RQ2 ウェイル加群のフィルトレーションに現れるデマールゥ加群は、レベルゼロの基本的表現のテンソル積のパスモデルに現れるものと一致するか？
• RQ3 非単純根系型の設定において、レベルゼロの基本的表現のテンソル積のパスモデルは、デマールゥクリスタルの直和に同型であるか？
• RQ4 フェルミオン的形と1次元和の関係を通じて、非単純根系型の特殊ケースにおいて $X=M$ 予想を検証できるか？
• RQ5 非単純根系型の代数におけるウェイル加群の構造は、単純根系型とどのように異なるか、特にフィルトレーションとデマールゥ加群の構成に関して。

主な発見

• 非単純根系型カレント代数 $\mathcal{C}\mathfrak{g}_d$ のウェイル加群 $W(\lambda)$ は、$\mathcal{C}\mathfrak{g}_d$-加群としてのフィルトレーションを持ち、その連続的商はデマールゥ加群 $\mathcal{D}(1,\mu_i)[m_i]$ に同型である。
• ウェイル加群のフィルトレーションに現れるデマールゥ加群は、レベルゼロの基本的表現のテンソル積のパスモデルに現れるものと完全に一致する。
• パスモデル $\mathbb{B}(\lambda)_{\mathrm{cl}}$ は、デマールゥクリスタルの直和に同型であり、表現論とクリスタルの組合せ論の間の構造的関係を確認する。
• フェルミオン的形 $M(W_{\mathbf{i}},\mu,q)$ は、1次元和 $X(\mathcal{B}_{\mathbf{i}},\mu,q)$ に次数シフトを除いて一致し、両者とも次数付き重複度 $[W(\lambda):V_{\mathfrak{g}}(\mu)]_{q^{-1}}$ に等しい。これにより、$X=M$ 予想の特殊ケースが検証される。
• $\lambda = \sum \varpi_{i_j}$ のとき、ウェイル加群 $W(\lambda)$ は、融合積 $\mathrm{KR}(\varpi_{i_1})_{c_1} * \cdots * \mathrm{KR}(\varpi_{i_\ell})_{c_\ell}$ に同型であり、ウェイル加群とキリロフ＝レシェティヒン加群を結びつける。
• extremal パス $\eta$ に対して、$\tilde{e}_j\eta = \mathbf{0}$ かつ $\eta(1) = \mathrm{cl}(\mu)$ を満たすものについて、恒等式 $[W(\lambda):V_{\mathfrak{g}}(\mu)]_{q^{-1}} = \sum_{\eta} q^{\mathrm{Deg}(\eta)}$ が成り立つ。これは、クリスタルの次数関数による特徴のレベルでの恒等式を確立する。