[論文レビュー] Quantum Lie algebras via modified Reflection Equation Algebra

Dimitri Gurevich, Pavel Saponov|ArXiv.org|May 29, 2007

Algebraic structures and combinatorial models参考文献 6被引用数 5

ひとこと要約

本稿は、修正反射方程式代数（mREA）を用いた新しい量子（braided）リー代数の構成を提示し、$A_n$ 系列の量子群の変形理論的枠組みを提供する。mREAの構造を用いてリー括弧を定義し、ヘッケ対称性と整合性を保つことで、良い変形性を有する包あらわし代数と非古典的余乗法を備えた量子リー代数を確立し、braided（余）随伴ベクトル場の定義を可能にする。

ABSTRACT

We discuss the consistency of the axioms which the definition of quantum Lie algebras is usually based on.

研究の動機と目的

• 古典的または超リー代数の枠組みを超えた、一貫性があり変形に適合する量子リー代数の定義を構築すること。
• 非自己対称な対称性設定、特に$B_n, C_n, D_n$ 系列において、一般で構造的に整合性のある量子リー代数の定義が欠如している問題を解決すること。
• 修正反射方程式代数（mREA）を用いて、$A_n$ 系列の量子群に適した量子リー代数構造を構築すること。
• 包あらわし代数に非古典的余乗法を定義し、（余）随伴ベクトル場のbraided版を可能にする。
• 歪み可逆なヘッケ対称性（特に$A_n$）の範囲でのみ、物理的・代数的に意味のある量子リー代数が良い変形性を有することを示すこと。

提案手法

• 量子リー代数の構築の基盤として、修正反射方程式代数（mREA）を用いる。
• 方程式 (24) の左辺を用いて、生成子$f_i^j$ の張る空間上にリー括弧を定義し、トレースゼロ部分空間に制限する。
• スレーブ型構造を保証するため、条件$\operatorname{Tr}_R F = 0$を課す。これは古典的トレースゼロ条件に類似している。
• mREAの生成子と中心的元$\ell$を用いて、$V \otimes V^*$ 上の表現$\rho_{V\otimes V^*}$ を導入し、随伴作用をモデル化する。
• 中心的元$\ell$を因数として除くことにより、$\mathcal{L}(R_q,1)$ から商代数$\mathcal{SL}(R_q)$ を構成し、well-defined な$sl$-型量子リー代数を実現する。
• mREAにおける余乗法構造を用いて、随伴作用を対称代数へ拡張し、braided（余）随伴ベクトル場の定義を可能にする。

実験結果

リサーチクエスチョン

• RQ1 量子群の$A_n$ 系列において、古典的リー代数の極限を超えて、一貫性があり変形に適合する量子リー代数を定義できるか？
• RQ2 なぜ$B_n, C_n, D_n$ 系列の量子リー代数は良い変形性を有しないのか。$A_n$ 系列が本質的に異なるのはなぜか？
• RQ3 包あらわし代数に非古典的余乗法を定義することで、随伴表現のbraided版および（余）随伴ベクトル場をどのように実現できるか？
• RQ4 修正反射方程式代数（mREA）は、ヘッケ対称性と整合する量子リー代数構造を実現するために果たす役割は何か？
• RQ5 量子リー代数の一般な公理的枠組みは存在するのか。それとも、このような枠組みは歪み可逆なヘッケ対称性の範囲でのみ可能なのか？

主な発見

• $sl$-型量子リー代数は$({\rm span\,}(f_i^j), Q, [\,,\,])$として構成され、括弧は方程式 (24) の左辺により定義され、トレースゼロ生成子に制限される。
• 構築された量子リー代数の包あらわし代数は、標準的量子群の余乗法とは異なる非古典的余乗法を備えたbraidedホップ構造を有する。
• $V \otimes V^*$ 上の表現$\rho_{V\otimes V^*}$ は随伴作用を実現し、$\ell$ が$f_i^j$ に非自明に作用することを示しており、$q$-随伴表現が括弧のみでは表現できないことを示している。
• $\mathcal{SL}(R_q)$ に対して、$\tilde{\rho}(f_i^j) = \frac{1}{\xi}(\rho(l_i^j) - ({\rm Tr}(C))^{-1}\rho(\ell)\delta_i^j)$ により表現$\tilde{\rho}$ が明示的に構成され、$\tilde{\rho}(\ell) = 0$ を満たす。これにより、$\mathcal{L}(R_q,1)$ からの表現を$\mathcal{SL}(R_q)$ へ持ち上げることが可能になる。
• $q$-ジャコビ恒等式は、関係式に$\ell$ が存在するため、$sl$-型括弧では成立しないが、これは$q$-変形の結果であり、構成自体を無効にしない。
• mREAにおける余乗法は、$\mathcal{L}_1$ の対称代数への随伴作用の拡張を可能にし、braided（余）随伴ベクトル場の定義を可能にする。これは提案された量子リー代数の主要な構造的特徴である。