[論文レビュー] Representations of Two-parameter Quantum Orthogonal and Symplectic Groups

Nantel Bergeron, Yun Gao+1 more|arXiv (Cornell University)|Oct 6, 2005

Algebraic structures and combinatorial models参考文献 9被引用数 21

ひとこと要約

本稿は、型B、C、D（直交およびシミプレクティック）の二パラメータ量子群の有限次元重み加群の完全可約性を確立する。先行研究の型Aへの拡張として、R行列と量子カシミール作用素を構成することにより、$rs^{-1}$ が単位根でないという条件下で、任意の有限次元加群が単純加群の直和に分解されることを証明する。これは、型Aを超える古典的型への完全可約性定理の一般化である。

ABSTRACT

We investigate the finite-dimensional representation theory of two-parameter quantum orthogonal and symplectic groups that we found in [BGH] under the assumption that $rs^{-1}$ is not a root of unity and extend some results [BW1, BW2] obtained for type $A$ to types $B$, $C$ and $D$. We construct the corresponding $R$-matrices and the quantum Casimir operators, by which we prove that the complete reducibility Theorem also holds for the categories of finite-dimensional weight modules for types $B$, $C$, $D$.

研究の動機と目的

• 二パラメータ量子群の型Aから型B、C、Dへの完全可約性定理の拡張を図ること。
• 古典的型B、C、Dの二パラメータ量子群に対してR行列と量子カシミール作用素を構成すること。
• $rs^{-1}$ が単位根でないという条件下で、二パラメータ量子直交群およびシミプレクティック群の表現論を確立すること。
• [BW1, BW2] で得られた型Aに関する結果を、型B、C、Dの古典的リー型へ一般化すること。

提案手法

• 著者らは、根系のデータに基づく $\frak{g} = \frak{so}_{2n+1}, \frak{sp}_{2n}, \frak{so}_{2n}$ に対して、生成子 $e_i, f_i, \rho_i^{/pm 1}, \rho_i'^{/pm 1}$ とペアリング $\langle \omega_i', \omega_j \rangle$ を用いて二パラメータ量子群 $U_{r,s}(\frak{g})$ を定義する。
• R行列とR行列の対称化積を用いて量子カシミール作用素 $\Omega$ を構成し、$U_{r,s}(\frak{g})$ の作用と可換であることを保証する。
• 最高重み加群における $\Omega \omega$ の固有値が $(rs^{-1})^{\frac{1}{2}}$ のべき乗として現れ、シフトされた最高重み $\lambda + \rho$ に明示的に依存することを示す。
• $rs^{-1}$ が単位根でないという条件を用いて、重みの優越性と固有値の一意性に基づく反証的議論を展開し、ヴェルマ加群の商の単純性を証明する。
• $\Omega \omega$ がすべての生成子 $e_i, f_i, \omega_j, \omega_j'$ と可換であることを検証し、有限次元加群の圏における中心的作用素であることを保証する。
• Kacのアフィンカク・ムーディ代数に対する議論の一般化を用いて、$\Omega \omega$ の中心性とスペクトル的性質に依拠し、有限次元加群の完全可約性を導出する。

実験結果

リサーチクエスチョン

• RQ1 二パラメータ量子群の型B、C、Dの有限次元重み加群に対して、完全可約性定理は成り立つか？
• RQ2 二パラメータ量子直交群およびシミプレクティック群に対してR行列と量子カシミール作用素を構成できるか？
• RQ3 型B、C、Dにおける最高重み加群上での量子カシミール作用素 $\Omega \omega$ の固有値はどのように振る舞うか？
• RQ4 ヴェルマ加群の商の単純性が、二パラメータ設定においてその無限大性を示す条件は何か？
• RQ5 型A量子群の表現論的性質が、二パラメータ枠組みにおいて型B、C、Dへどの程度まで拡張可能か？

主な発見

• 量子カシミール作用素 $\Omega \omega$ は、任意の単純最高重み加群 $L(\lambda)$ 上で恒等作用素のスカラー倍として作用し、固有値は $(rs^{-1})^{\frac{\Delta_{X,B}}{2}(\lambda + \rho, \lambda + \rho)}$ となる。ここで $\Delta_{X,B}$ は根系から導かれる双線形形式である。
• $\Omega \omega$ は、任意の $\mathcal{O}$ 圏の加群上で $U_{r,s}(\frak{g})$ の作用と可換であり、有限次元加群の自己準同型代数における中心的元である。
• 任意の有限次元加群 $M$ に対して、$\Omega \omega|_M$ の固有値は $(rs^{-1})^{\frac{1}{2}}$ の整数乗として現れ、スペクトルの離散性が保証される。
• $rs^{-1}$ が単位根でない限り、ヴェルマ加群の任意の非ゼロ有限次元商は単純であり、すべての $\lambda \in \Lambda^+$ に対して $L'(\lambda) = L(\lambda)$ が成り立つ。
• 同じ条件下で、$U^0$ が半単純に作用する任意の有限次元 $U_{r,s}(\frak{g})$-加群は完全可約である。これは、型Aの結果を型B、C、Dへ一般化するものである。