[論文レビュー] Triangular quasi-Hopf algebra structures on certain non-semisimple quantum groups

Charles A. S. Young, Robin Zegers|arXiv (Cornell University)|Dec 17, 2008

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

ひとこと要約

本稿では、半単純でない量子群—具体的には、半単純リーリー代数のInönu-Wigner縮約によって得られる縮約された普遍量子包あらゆる代数（QUEA）—が三角的 quasi-Hopf 代数構造を備えることを確立している。著者らは、Drinfel'dの標準的ねじれの縮約版を用いて、これらのQUEAが元の非変形普遍包あらゆる代数の共変ねじれであることを示し、三角的 quasi-Hopf 構造の存在を証明した。3次元および4次元の $\kappa$-Poincaré対称性における明示的例が提示されている。

ABSTRACT

One way to obtain Quantized Universal Enveloping Algebras (QUEAs) of non-semisimple Lie algebras is by contracting QUEAs of semisimple Lie algebras. We prove that every contracted QUEA in a certain class is a cochain twist of the corresponding undeformed universal envelope. Consequently, these contracted QUEAs possess a triangular quasi-Hopf algebra structure. As examples, we consider kappa-Poincare in 3 and 4 spacetime dimensions.

研究の動機と目的

• 半単純リーリー代数の縮約によって得られる非半単純な量子群に、三角的 quasi-Hopf 代数構造が存在することを確立すること。
• 通常のコホモロジー的障害が、半単純から非半単純なリーリー代数への Drinfel'd のねじれ理論的同型を拡張するのを妨げる状況において、その障害を克服すること。
• 標準的 Drinfel'd ねじれが、縮約された状況においても有効な共変ねじれを生成することを示すこと。
• 特に $\kappa$-Poincaré 対称性の文脈において、非半単純な量子群に三角的 quasi-Hopf 構造を体系的に構成すること。
• そのようなねじれ構造の存在を保証する制限性質を満たす対称リーリー代数（例：型 AII、BDI）のクラスを同定すること。

提案手法

• 半単純リーリー代数を非半単純なものへと Inönu-Wigner 縮約する手続きを用い、極限において QUEA 構造が保存されることを保証する。
• 半単純 QUEA からの標準的 Drinfel'd ねじれ ${\mathscr{F}}_{\text{D}}$ を、非半単純な設定に適用し、新たなねじれ ${\mathscr{F}}_{0}$ を得る。
• 可縮可能な Chevalley-Eilenberg コホモロジーを用いて、適切に定義された共変ねじれの存在を証明し、制限性質の下で第一コホモロジー加群が消えることに依拠する。
• 非半単純な QUEA に、単なる構造 $(1 \otimes 1, 1 \otimes 1 \otimes 1)$ を縮約ねじれ ${\mathscr{F}}_{0}$ でねじることで、三角的 quasi-Hopf 構造 $({\mathcal{R}}_{\kappa}, \Phi_{\kappa})$ を構成する。
• 不変量の第一基本定理を適用し、対称空間 ${\mathfrak{p}}$ 上の $\mathfrak{h}$-不変多項式が $\mathfrak{g}$-不変多項式の制限として得られることを示し、ねじれの整合性を保証する。
• 具体的な例として、3次元および4次元の $\kappa$-Poincaré を検証する。これらはそれぞれ $\mathfrak{su}(2)$ および $\mathfrak{so}(4)$ の縮約から生じる。

実験結果

リサーチクエスチョン

• RQ1 半単純リーリー代数の縮約によって得られる非半単純な量子群に、三角的 quasi-Hopf 代数構造を構成できるか？
• RQ2 半単純 QUEA からの標準的 Drinfel'd ねじれが、縮約プロセスを経ても、非半単純な状況において有効な共変ねじれを生成するか？
• RQ3 対称分解 $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{p}$ において、制限性質がそのようなねじれ構造の存在を保証する条件は何か？
• RQ4 3次元および4次元時空における $\kappa$-Poincaré代数が、この方法によって三角的 quasi-Hopf 代数構造を備えているか？
• RQ5 第一可縮 Chevalley-Eilenberg コホモロジーの消えることが、共変ねじれの存在を可能にする役割は何か？

主な発見

• 考察対象のクラスに属するすべての縮約 QUEA は、縮約された Drinfel'd ねじれによる非変形普遍包あらゆる代数の共変ねじれと同型である。
• 得られた非半単純 QUEA $\mathcal{U}_{\kappa}({\mathfrak{g}}_{0})$ は、縮約ねじれ ${\mathscr{F}}_{0}$ を用いて、単なる構造をねじることで得られる三角的 quasi-Hopf 代数構造 $({\mathcal{R}}_{\kappa}, \Phi_{\kappa})$ を備える。
• この構成は、制限性質を満たす対称半単純リーリー代数における第一可縮 Chevalley-Eilenberg コホモロジー加群の消滅に依拠しており、ねじれが適切に定義されることを保証する。
• 型 AII および BDI の対称リーリー代数では、$\mathfrak{p} \times \mathfrak{p}$ 上の $\mathfrak{h}$-不変多項式が $\mathfrak{g}$-不変多項式の制限として得られることを示し、これらのケースにおけるねじれの妥当性を検証した。
• $\kappa$-Poincaré代数は、3次元および4次元で明示的に三角的 quasi-Hopf 構造を備えていることが示され、この構成の具体的な物理的実現が得られた。
• この方法により、通常のコホモロジー的障害が構造の存在を妨げる場合でも、Drinfel'd のねじれ理論的同型を半単純から非半単純な量子群へ体系的に拡張する手段が得られた。