[論文レビュー] Fusion products of Kirillov-Reshetikhin modules and the X = M conjecture

Katsuyuki Naoi|arXiv (Cornell University)|Sep 12, 2011

Algebraic structures and combinatorial models参考文献 22被引用数 3

ひとこと要約

この論文は、キリロフ＝レシティヒキン（KR）モジュールの融合積とデマール演算子を含むフェルミオン的形の恒等式を証明することで、型 $A_n^{(1)}$ および $D_n^{(1)}$ のアフィンリー代数に対する X = M 予想を確立した。ジョゼフ関手を用いて、1次元モジュールから融合積を構成し、デマール演算子を介してその表現の特徴がフェルミオン的形と一致することを示した。これにより、これらのケースにおける予想が確認された。

ABSTRACT

In this article, we show in the ADE case that the fusion product of Kirillov-Reshetikhin modules for a current algebra, whose character is expressed in terms of fermionic forms, can be constructed from one-dimensional modules by using Joseph functors. As a consequence, we obtain some identity between fermionic forms and Demazure operators. Since the same identity is also known to hold for one-dimensional sums of nonexceptional type, we can show from these results the X = M conjecture for type $A_n^{(1)}$ and $D_n^{(1)}$.

研究の動機と目的

• アフィンリー代数の型 $A_n^{(1)}$ および $D_n^{(1)}$ に対して X = M 予想を証明すること。
• キリロフ＝レシティヒキンモジュールの融合積を通じて、フェルミオン的形とデマール演算子との間に関係を確立すること。
• 現在代数 ${\mathfrak{g}}_0 \otimes \mathbb{C}[t]$ のキリロフ＝レシティヒキンモジュールの融合積が、ジョゼフ関手を用いて1次元モジュールから構成できることを示すこと。

提案手法

• 現在代数 ${\mathfrak{g}}_0 \otimes \mathbb{C}[t]$ のキリロフ＝レシティヒキンモジュールの融合積を生成子と関係式を用いて構成する。
• ジョゼフ関手を適用して、1次元モジュールから構成されたモジュールの商として融合積を実現する。
• デマール演算子を用いて、融合積の特徴を指数的重みとワイル群作用の形で表現する。
• 融合積がデマール旗を持つことを利用して、その特徴を重み格子上のデマール演算子作用と関連付ける。
• 融合積の特徴が $D_{t_{w_0(\varpi_{r_j})}}$ 演算子を含む恒等式を通じてフェルミオン的形と一致することを証明する。
• 融合積と繰り返し適用されたデマール演算子によって構成されたモジュールとの同型を確立することで、核心的な恒等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 型 $A_n^{(1)}$ および $D_n^{(1)}$ のキリロフ＝レシティヒキンクリスタルの1次元和のフェルミオン的形が、デマール演算子によって定義されたモジュールの特徴と一致するか？
• RQ2 キリロフ＝レシティヒキンモジュールの融合積が、ジョゼフ関手を介して1次元モジュールから構成されたモジュールの商として実現可能か？
• RQ3 ADE 型において、キリロフ＝レシティヒキンモジュールの融合積と繰り返し適用されたデマール演算子によって構成されたモジュールとの間に自然な同型が存在するか？
• RQ4 1次元和とデマール演算子の間の恒等式が、$A_n^{(1)}$ および $D_n^{(1)}$ の場合にフェルミオン的形へ拡張可能か？
• RQ5 この融合積とデマール演算子の構成を用いて、$A_n^{(1)}$ および $D_n^{(1)}$ に対して X = M 予想を完全に確認できるか？

主な発見

• フェルミオン的形とデマール演算子の間の恒等式を証明することで、型 $A_n^{(1)}$ および $D_n^{(1)}$ のアフィンリー代数に対する X = M 予想が確認された。
• 現在代数 ${\mathfrak{g}}_0 \otimes \mathbb{C}[t]$ のキリロフ＝レシティヒキンモジュールの融合積は、繰り返し適用されたデマール演算子によって構成されたモジュールと同型である。
• 融合積の特徴が定数倍を除いて $D_{t_{w_0(\varpi_{r_p})}} \cdots D_{t_{w_0(\varpi_{r_1})}}(e^{\ell_1\Lambda_0})$ に等しいことが示された。
• 融合積が1次元モジュールからジョゼフ関手を用いて構成されることにより、自然な同型が確立された。
• フェルミオン的形に対してもデマール演算子の恒等式が成り立ち、従来の1次元和からの結果をフェルミオン的表現全般へ拡張した。
• この結果は、ジョゼフの定理が非単純根系型に拡張可能であるならば、型 $B_n^{(1)}$ および $C_n^{(1)}$ の完全なキリロフ＝レシティヒキンクリスタルに対しても X = M 予想が成り立つことを示唆する。