[論文レビュー] Representation Theory of Twisted Group Double

Daniel R. Altschuler, Antoine Coste+1 more|ArXiv.org|Sep 29, 2003

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

ひとこと要約

本稿は、有限群 $G$ と $U(1)$ に値をとる正規化された3次コサイクル $\omega$ から構成される、準ホップ代数 $D^\omega(G)$ の表現理論を展開する。$D^\omega(G)$ の半単純性を確立し、一般化された特徴指標理論を用いてその既約表現を分類し、リボン関手とリンクの手術を用いたトップولوجカル不変量（例えばヴェルリンド $S$-行列）の計算フレームワークを提供する。非コボルディズムな3次コサイクルに起因する非自明な位相が生じる。

ABSTRACT

This text collects useful results concerning the quasi-Hopf algebra $\D $. We give a review of issues related to its use in conformal theories and physical mathematics. Existence of such algebras based on 3-cocycles with values in $ {R} / {Z} $ which mimic for finite groups Chern-Simons terms of gauge theories, open wide perspectives in the so called "classification program". The modularisation theorem proved for quasi-Hopf algebras by two authors some years ago makes the computation of topological invariants possible. An updated, although partial, bibliography of recent developments is provided.

研究の動機と目的

• ドリンフェルトの量子ダブルの表現理論を、準ホップ代数構造を用いてねじれ群ダブル $D^\omega(G)$ に拡張すること。
• 正規化された表現と一般化された特徴指標理論を用いて、$D^\omega(G)$ の既約表現を分類すること。
• コンformal field theories におけるヴェルリンド $S$-行列のようなトップロジカル不変量の計算フレームワークを提供すること。
• 3次コサイクル $\omega$ が、有理的 conformal field theories を分類するために不可欠な非自明な位相を符号化する役割を確立すること。
• 手術、リンク不変量、ヘガード分割を介して、代数的構造 $D^\omega(G)$ とトップロジカル不変量を結びつけること。

提案手法

• 有限群 $G$ と正規化された3次コサイクル $\omega \in Z^3(G, U(1))$ を用いて、$D^\omega(G)$ を準三角的準ホップ代数として構成する。
• 双対ホップ代数と通常順序を用いて、余乗法と $R$-行列構造を定義し、ヤン・バクスター方程式と整合性を持つようにする。
• 一般化された特徴指標理論を用いて既約表現を分類し、群の元の共役類と中心化部分群にラベルを結びつける。
• カラーリングされたホップリンクにリボン関手を適用してヴェルリンド $S$-行列を計算し、$\omega$ に起因する非自明な位相を組み込む。
• $\theta_g$ と $\omega$ を含む群コホモロジーの恒等式を導出し、代数的構造と表現理論の整合性を保証する。
• マークフ・トレースを介して、三角形分割とデーン手術の不変量の同値性を確立し、トポロジカル量子場理論と代数的不変量を結びつける。

実験結果

リサーチクエスチョン

• RQ1 任意の有限群と3次コサイクル $\omega$ に対して、ねじれ群ダブル $D^\omega(G)$ の表現理論を体系的に展開する方法は何か？
• RQ2 $D^\omega(G)$ の既約表現の構造は何か？ そして、標準的な特徴指標理論をどのように一般化するか？
• RQ3 非自明な3次コサイクル $\omega$ は、ヴェルリンド $S$-行列のようなトップロジカル不変量の計算にどのように影響を与えるか？
• RQ4 $\omega$ に起因する位相は、有理的 conformal field theories の分類にどのように影響を与えるか？
• RQ5 $D^\omega(G)$ を用いたトポロジカル量子場理論の文脈において、マークフ・トレースや手術不変量といった代数的構成はどのように関係するか？

主な発見

• $D^\omega(G)$ は任意の有限群 $G$ と正規化された3次コサイクル $\omega$ に対して半単純であり、表現カテゴリが良好に振る舞うことを保証する。
• $D^\omega(G)$ の既約表現は、共役類 $C_A$ と中心化部分群 $N_{g_A}$ の元によって分類され、ラベルは $\chi_A \times (x_j, h)$ で表される。
• ヴェルリンド $S$-行列は、カラーリングされたホップリンクにリボン関手を適用することで計算され、非自明な位相は3次コサイクル $\omega$ に符号化されており、特に $\theta_g$ を通じて現れる。
• 準ホップ代数のモジュライゼーション定理により、手術や3次元多様体の三角形分割からのトップロジカル不変量の計算が可能になる。
• 群コホモロジーの恒等式（特に (21) と (23)）により、代数的構造の整合性が保証され、$g^{p_A} = e$ のとき $\prod_{n=0}^{p_A-1} \omega(g, g^n, g) = \omega_A$ が成り立つことが確認され、局所的なコサイクルデータがグローバル不変量と結びつく。
• 本稿は、マークフ・トレースの構成が、ダイクグラーフ＝ウィッテンのトポロジカル場理論からの不変量を回復することを確認し、レンズ空間における三角形分割とデーン手術の不変量の同値性を確立した。