[論文レビュー] Differential Calculus on Quantum Spaces and Quantum Groups

Bruno Zumino|ArXiv.org|Dec 15, 1992

Advanced Algebra and Geometry被引用数 17

ひとこと要約

本稿では、量子平面の明示的交換関係を用いて、GLq(n)、SLq(n)、SOq(n)に注目し、微分的計算を量子群に適用する。R行列と一貫性条件（例えば、ヤン・バクスター方程式および直交性関係）に基づく体系的な枠組みを導入し、双不変微分形式は古典的状況よりも多くの1形式を必要とすることを示した。また、GLq(n)を超える量子群では、不変1形式ξが非古典的かつ不可欠な役割を果たすことを明らかにした。

ABSTRACT

A review of recent developments in the quantum differential calculus. The quantum group $GL_q(n)$ is treated by considering it as a particular quantum space. Functions on $SL_q(n)$ are defined as a subclass of functions on $GL_q(n)$. The case of $SO_q(n)$ is also briefly considered. These notes cover part of a lecture given at the XIX International Conference on Group Theoretic Methods in Physics, Salamanca, Spain 1992.

研究の動機と目的

• 非可換座標と微分形式を有する量子空間および量子群における体系的かつ明示的な微分的計算の構築。
• R行列およびヤン・バクスター方程式が一貫した微分的計算を構築する上での役割の明確化。
• 特にSLq(n)およびSOq(n)において、双不変微分形式のリー微分と1形式の数の乖離を調査。
• 古典的極限で消えるが、量子群では本質的かつ冗長でない不変1形式ξが、量子群において不可欠であることを示す。
• 多項式的制約（例：DetZ=1）が、双不変微分形式において独立な1形式の数を減少させないことを示す。これは古典的期待とは対照的である。

提案手法

• 変数と微分形式の間の双線形交換関係を用いて、量子平面における微分的計算を形式化：x^k(dx^ℓ) = C^{kℓ}_{mn}(dx^m)x^n。
• df = dx^k ∂_k f を用いて微分作用素 ∂_k を導入し、非標準的なライプニッツ則は交換関係 ∂_ℓx^k = δ^k_ℓ + C^{km}_{ℓn}x^n∂_m に埋め込まれている。
• 微分の閉包性（d²=0）とライプニッツ則から一貫性条件を導出し、B_{12}(I + C)_{12} = 0 および C_{12}C_{23}C_{12} = C_{23}C_{12}C_{23} などの関係を得た。
• 構造行列B, C, D, Fを、ヤン・バクスター方程式を満たす1つのR行列とその固有多項式を用いて表現した。
• GLq(n)を量子空間として形式化し、その後、DetZ=1の条件を課してSLq(n)に制限し、n²個の独立な1形式が保存されることを示した。
• SOq(N)については、q^{N-1}TZ が直交することを用いて解析し、多項式的制約下でも全n²個の1形式が独立であることを示した。

実験結果

リサーチクエスチョン

• RQ1 非可換座標と微分形式を有する量子空間において、一貫した微分的計算をどのように構築できるか？
• RQ2 SLq(n) や SOq(N) のような量子群の双不変微分形式では、ランクの低下にもかかわらず、古典的期待よりも多くの1形式を必要とする理由は何か？
• RQ3 不変1形式ξは量子群においてどのような役割を果たし、なぜ量子領域では消えないのか？
• RQ4 R行列形式はGLq(n)、SLq(n)、SOq(N)の微分的構造を統一的に扱えるか？また、一貫性を保証する制約条件は何か？
• RQ5 n>2のとき、SLq(n)においてリー微分の数をn²−1に減少させることは可能か？しかし、双不変かつ二次代数的構造を保つ限り不可能である。

主な発見

• 量子平面における微分的計算は、R行列とその固有値によって完全に決定され、C = −R/μ_α および B = F = ∏_{β≠α}(R − μ_β) （選択された固有値μ_αに対応）となる。
• 微分的計算の一貫性は、Cのヤン・バクスター方程式および (I + C)F = 0 などの直交性関係を要請することで確保され、d² = 0 およびライプニッツ則の閉包性が保証される。
• GLq(n)では、独立な1形式およびリー微分の数はn²であり、これは量子平面形式の特別な場合である。
• SLq(n)では、制約DetZ = 1によりリー微分の独立数はn²−1に減少するが、不変形式ξが非ゼロであるため、1形式の独立数はn²のまま維持される。
• SOq(N)では、多項式的関係によりリー微分の独立数はn(n−1)/2に減少するが、1形式の数はn²のままであり、古典的極限を超えてn(n+1)/2−1個の追加の消去不能な1形式が存在する。
• カルタン＝モイラー形式を用いて定義される不変1形式ξは、q→1の極限で消えるが、量子領域では非自明であり、双不変微分形式では取り除くことはできない。