[論文レビュー] Integrable and Weyl modules for quantum affine sl_2

Vyjayanthi Chari, Andrew Pressley|ArXiv.org|Jul 20, 2000

Algebraic structures and combinatorial models参考文献 11被引用数 10

ひとこと要約

この論文は、量子アフィン $\mathfrak{sl}_2$ に対して、すべての有限次元ウェイユ加群 $W_q(\boldsymbol{\pi})$ が、$q=1$ の極限を介して量子問題を古典的状況に還元することにより、支配的整数的ウェイト $m$ に対し次元が $2^m$ に等しいことを確立している。これらの加群は、テンソル積上のヘッケ代数作用に関する不変量と同型であり、すべての有限次元既約表現はそれらの唯一の既約商であると分類されている。

ABSTRACT

We study the universal integrable modules W_q(m) of level zero for quantum affine sl_2 and a family of maximal finite--dimensional quotients of these modules. We show that these all have dimension 2^m. Using this, we are able to realize W_q(m) as the space of invariants of a reprsentation of the Hecke algebra H_m. We also give a conjecture in the general case.

研究の動機と目的

• 量子アフィン代数 $\mathbf{U}_q(\widehat{\mathfrak{sl}}_2)$ のすべての有限次元既約表現を分類すること。
• 量子アフィン $\mathfrak{sl}_2$ のウェイユ加群 $W_q(\boldsymbol{\pi})$ の次元を決定し、パラメータ $\boldsymbol{\pi}$ に依存しないことを示すこと。
• ウェイユ加群 $W_q(m)$ を、$(V \otimes \mathbf{C}(q)[t,t^{-1}])^{\otimes m}$ 上のヘッケ代数 $\mathcal{H}_m$ の作用に関する不変部分空間として実現すること。
• 量子モジュールの $q=1$ 極限を構成することで、古典的状況からの結果を量子設定に拡張すること。

提案手法

• 量子モジュールの $q=1$ 極限を用いて、$W_q(\boldsymbol{\pi})$ の研究を古典的状況に還元し、[CP4] の結果を適用する。
• $W_q(\boldsymbol{\pi})$ 上に $\mathbf{U}_q(+)$-格子 $W_\mathbf{A}(\boldsymbol{\pi})$ を構成し、$\mathbf{K} = \mathbf{C}(q)$ 上の次元と $q-1$ を法とする還元の次元を関連付ける。
• $S_q(\boldsymbol{\pi})$ を古典的極限における像と定義し、$\mathbf{U}_q(+)$-加群の上昇写像 $\eta_{\boldsymbol{\pi}}: W_q(\boldsymbol{\pi}) \to S_q(\boldsymbol{\pi})$ を構成し、中島の補題と核の消滅を用いてそれが同型であることを証明する。
• $(V \otimes \mathbf{C}(q)[t,t^{-1}])^{\otimes m}$ 上のヘッケ代数 $\mathcal{H}_m$ の作用に関する不変部分空間として $W_q(m)$ を実現する。ここで $V$ は標準的な2次元表現である。
• ねじれ自己同型 $\tau_a$ を用いて、$\overline{\mathbf{A}}^m$ からすべての $\mathbf{F}^m$ への同型を拡張し、同型 $W_q(\boldsymbol{\pi}) \to S_q(\boldsymbol{\pi})$ が普遍的に成り立つように保証する。

実験結果

リサーチクエスチョン

• RQ1 固定された支配的整数的ウェイト $m$ に対して、量子アフィン $\mathfrak{sl}_2$ のすべての有限次元ウェイユ加群 $W_q(\boldsymbol{\pi})$ は同じ次元を持つのか？
• RQ2 古典的極限を用いることで、量子問題を既知の古典的状況に還元し、$W_q(\boldsymbol{\pi})$ の次元を計算できるのか？
• RQ3 $W_q(m)$ は、ヘッケ代数作用に関する不変量として幾何的または表現論的に実現可能なのか？
• RQ4 すべての有限次元既約 $\mathbf{U}_q(\widehat{\mathfrak{sl}}_2)$-加群は、ある $W_q(\boldsymbol{\pi})$ の唯一の既約商 $V_q(\boldsymbol{\pi})$ と同型なのか？

主な発見

• 量子アフィン $\mathfrak{sl}_2$ のレベル $m$ におけるすべてのウェイユ加群 $W_q(\boldsymbol{\pi})$ は、$\boldsymbol{\pi}$ の選択に依存せず、次元が正確に $2^m$ に等しい。
• $W_q(\boldsymbol{\pi})$ の $q=1$ 極限は古典的ウェイユ加群 $W(\boldsymbol{\pi})$ と同型であり、この同型は量子構造のもとでも保たれる。
• 写像 $\eta_{\boldsymbol{\pi}}: W_q(\boldsymbol{\pi}) \to S_q(\boldsymbol{\pi})$ は $\mathbf{U}_q(+)$-加群の同型であり、量子的および古典的構造が極限で一致することを示している。
• $W_q(m)$ は、$(V \otimes \mathbf{C}(q)[t,t^{-1}])^{\otimes m}$ 上の $\mathcal{H}_m$-不変部分空間と同型であり、ウェイユ加群の新しい実現を与える。
• すべての有限次元既約 $\mathbf{U}_q(\widehat{\mathfrak{sl}}_2)$-加群は、あるウェイユ加群 $W_q(\boldsymbol{\pi})$ の唯一の既約商 $V_q(\boldsymbol{\pi})$ として現れる。
• $\mathfrak{sl}_2$ に対して、$\dim_{\mathbf{K}} W_q(\boldsymbol{\pi}) = \prod_{i=1}^n (\dim_{\mathbf{K}} W_q(i))^{\lambda_i}$ という予想が成り立ち、本論文はこれを高ランク代数へ拡張するための枠組みを提供する。