[論文レビュー] Quantum Double for QuasiHopf Algebras

Shahn Majid|ArXiv.org|Jan 1, 1997

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

ひとこと要約

この論文は、2次コycleを用いたコycle二重交叉積を介して、新しい準三角的 quasi-Hopf代数 $D(H)$ を定義することで、quasi-Hopf代数に対する量子二重の構成を導入する。カテゴリカル再構成法を用いることで、従来の Hopf代数に限らない一般化された量子二重を実現し、$H = D^\phi(G)$（有限群 $G$ と3次コycle $\phi$）の場合に Dijkgraaf-Pasquier-Roche の quasi-Hopf代数が特別な場合として回復されることを示し、標準的 Hopf代数を超えた量子対称性の枠組みを拡張する。

ABSTRACT

We introduce a quantum double quasitriangular quasi-Hopf algebra $D(H)$ associated to any quasi-Hopf algebra $H$. The algebra structure is a cocycle double cross product. We use categorical reconstruction methods. As an example, we recover the quasi-Hopf algebra of Dijkgraaf, Pasquier and Roche as the quantum double $D^ϕ(G)$ associated to a finite group $G$ and group 3-cocycle $ϕ$.

研究の動機と目的

• Hopf代数からより広いクラスの quasi-Hopf代数へ量子二重構成を拡張すること。
• 非厳密なコアソシエーションを有する quasi-Hopf設定において、一般化された量子二重構成が存在しないという欠如を解消し、準三角的構造を構築することの重要性。
• 量子二重を準三角的 quasi-Hopf代数として再構成するカテゴリカルフレームワークを提供すること。
• Dijkgraaf-Pasquier-Roche の quasi-Hopf代数などの既知の例を、この構成の特別な場合として回復すること。
• 3次コycleを介して非自明な結合則を有する理論を、量子対称性の理論に拡張すること。

提案手法

• 与えられた quasi-Hopf代数 $H$ に対して、量子二重 $D(H)$ の代数的構造をコycle二重交叉積を用いて定義する。
• 得られた $D(H)$ が準三角的構造を引き継ぐように、カテゴリカル再構成技法を用いる。
• 群の3次コycle $\phi$ を組み込むことで、$H$-モジュールのテンソルカテゴリにおける非自明な結合則を符号化する。
• 通常の交叉積に代えて、2次コycleを含む変形されたバージョンを用いることで、標準的量子二重の一般化を実現する。
• 結果として得られる $D(H)$ が、明示的な R行列と非自明なアソシエータを満たす、準三角的 quasi-Hopf代数であることが示される。
• このアプローチにより、Drinfeldのねじれと整合性が保たれ、非伝統的 Hopf代数への双対理論への拡張が可能になる。

実験結果

リサーチクエスチョン

• RQ1 非厳密なコアソシエーションを有する quasi-Hopf代数に対して、量子二重構成をどのように一般化できるか？
• RQ2 quasi-Hopf代数に量子二重構成を適用したときに、どのような代数的構造が生じるか？
• RQ3 Dijkgraaf-Pasquier-Roche の quasi-Hopf代数は、3次コycleを有する有限群の量子二重として導出可能か？
• RQ4 コycleは、$D(H)$ の代数的構造と準三角的構造を定義する上で果たす役割は何か？
• RQ5 カテゴリカル手法は、quasi-Hopf設定における量子二重の再構成をどのように支援するか？

主な発見

• 量子二重 $D(H)$ は、コycle二重交叉積として構成され、標準的構成を quasi-Hopf代数へ一般化する。
• 得られた $D(H)$ は、普遍的 R行列と非自明なアソシエータを備えた、準三角的 quasi-Hopf代数である。
• この構成により、有限群 $G$ と3次コycle $\phi$ を持つ群代数 $H$ の場合、Dijkgraaf-Pasquier-Roche の quasi-Hopf代数 $D^\phi(G)$ が $D(H)$ として回復される。
• カテゴリカル再構成を用いることで、任意の quasi-Hopf代数から準三角的構造を体系的に生成する方法が提供される。
• $D(H)$ の代数的構造は、$H$ の表現理論と関連するbraidedテンソルカテゴリと整合性を保つ。
• 二重交叉積における2次コycleの使用により、$H$-モジュールのテンソル積における正しい非結合的変形が保証される。