[論文レビュー] Categorification and correlation functions in conformal field theory

Ingo Runkel, Jürgen Fuchs+1 more|ArXiv.org|Feb 5, 2006

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

ひとこと要約

この論文は、モジュラーテンソルカテゴリにおける対称特別Frobenius代数とそのbimoduleに基づく2カテゴリカル枠組みを導入し、有理的 conformal field theories (RCFTs) をカテゴリ化する。bimoduleをチャーラルデータ、境界条件、および欠陥線として解釈することで、RCFTにおけるすべての相関関数を体系的かつ代数的に計算する手法を提供する。分配関数とOPE係数は2準同型空間の次元として現れ、整数性および整合性条件（例：NIMrep性質）を満たす。

ABSTRACT

A modular tensor category provides the appropriate data for the construction of a three-dimensional topological field theory. We describe the following analogue for two-dimensional conformal field theories: a 2-category whose objects are symmetric special Frobenius algebras in a modular tensor category and whose morphisms are categories of bimodules. This 2-category provides sufficient ingredients for constructing all correlation functions of a two-dimensional rational conformal field theory. The bimodules have the physical interpretation of chiral data, boundary conditions, and topological defect lines of this theory.

研究の動機と目的

• 有理的 conformal field theories (RCFTs) におけるすべての相関関数を構成する統一的な代数的枠組みを提供すること。
• 特に、モジュラーテンソルカテゴリにおけるFrobenius代数とbimoduleから構成される2カテゴリカル構造を用いて、RCFTデータをカテゴリ化すること。
• 代数的不変量（例：準同型空間の次元）と物理的量（例：分配関数、OPE係数）との間の明確な対応を確立すること。
• Jandl構造を用いて、境界条件、欠陥線、非可換表面を含むTFTアプローチをRCFTに一般化すること。
• 分配関数係数の整数性やNIMrep性質といった、重要な物理的制約がカテゴリカル構成から自然に導かれるかどうかを示すこと。

提案手法

• モジュラーテンソルカテゴリ $\mathcal{C}$ 内の対称特別Frobenius代数を対象とし、それらの代数上のbimoduleの圏を射とする2カテゴリカル構造を構築する。
• この2カテゴリカル構造を用いて、リンクを伴う3次元多様体の位相的不変量を定義し、それらがRCFTの相関関数を符号化することを示す。
• リーマン面のマークド点（場の挿入）および欠陥線の幾何的データを、代数的装飾を施したcobordism圏に統合することで、2カテゴリカル構造との関係を確立する。
• モジュラー関手および射影的平坦接続の形式的枠組みを用い、表面にベクトル空間、cobordismに線形写像を対応付ける。
• Eilenberg-Mac Laneコホモロジーを用いて、すべての単純部分対象が可逆である単純電流の場合を分析する。
• Frobenius代数にJandl構造を導入することで、メービウスの帯やクラインの botte などの非可換表面への拡張を可能にする。

実験結果

リサーチクエスチョン

• RQ1 モジュラーテンソルカテゴリにおけるFrobenius代数とbimoduleから構成される2カテゴリカル構造は、有理的 conformal field theories における相関関数を完全に記述できるか？
• RQ2 RCFTにおける分配関数係数の整数性の代数的起源は何か？また、2準同型空間の次元とどのように関係するか？
• RQ3 TFTアプローチを、非可換表面および欠陥線を含むRCFTにどのように拡張できるか？その拡張を制御する代数的構造は何か？
• RQ4 完全CFTの融合則と対称性は、自己準同型圏 $\mathcal{H}\mathrm{om}(A,A)$ のカテゴリカルデータからどのように導かれるか？
• RQ5 OPE係数は、球面および実射影平面上の3点の conformal block と2カテゴリカル構造の構造からどのように導かれるか？

主な発見

• 特徴的なキャラクターの基底におけるトーラス分配関数の係数は、2カテゴリカル構造 $\mathcal{F}\mathrm{rob}_{\mathcal{C}}$ 内の2準同型空間の次元に等しく、したがって非負整数である。
• これらの係数はNIMrep性質を満たしており、モジュラーS行列およびモジュラー不変性と整合する、融合環の表現を形成する。
• メービウスの帯やクラインのボトルなどの非可換表面に対しては、Frobenius代数にJandl構造を用いて構築した分配関数も整数値であり、タイプIのストリング理論モデルにおいてトーラスおよびアンナラス振幅と一貫して結合する。
• ボリューム、境界、欠陥場のOPE係数の明示的表現は、球面および実射影平面上の3点の conformal block から導出される。
• $\mathcal{H}\mathrm{om}(A,A)$ のPicard群は、代数 $A$ に関連する完全CFTにおける対称性群として作用するが、その融合環はKramers–Wannier型双対性を符号化する。
• ペア $(\mathcal{C}, \mathcal{C}_A)$ のDavydov–Yetterコホモロジーは、完全CFTの変形を制御し、RCFTのモジュライ空間を研究するための代数的枠組みを提供する。