[論文レビュー] BCFT: from the boundary to the bulk

V. B. Petkova, Jean-Bernard Zuber|ArXiv.org|Sep 27, 2000

Black Holes and Theoretical Physics参考文献 1被引用数 8

ひとこと要約

本稿は、Ocneanuのグラフに基づく形式的枠組みを通じて、有理的 conformal field theory (RCFT) における境界条件とボリューム理論の量子対称性の間に深い関係を確立する。境界データ—ADE ダイキン図の一般化であるグラフに符号化されたもの—が、3j-記号（Ocneanuのセル）を介して、ボリューム理論の完全な構造、特に弱C*-ホップ代数としての量子対称性代数を決定することを示している。これらの3j-記号は、結合則、モジュラー不変性、およびOPE係数の記述を統合する。

ABSTRACT

The study of boundary conditions in rational conformal field theories is not only physically important. It also reveals a lot on the structure of the theory ``in the bulk''. The same graphs classify both the torus and the cylinder partition functions and provide data on their hidden ``quantum symmetry''. The Ocneanu triangular cells -- the 3j-symbols of these symmetries, admit various interpretations and make a link between different problems.

研究の動機と目的

• 有理的 conformal field theory (RCFT) における境界条件がボリューム理論の構造的情報をどのように符号化するかを理解すること。
• 結合代数の非負整数行列表現を用いて境界条件を体系的に分類すること。
• Ocneanuの三角セル（3j-記号）が、ボリューム量子対称性と境界データの記述を統合することを示すこと。
• グラフ論的境界条件分類と弱C*-ホップ代数の代数的構造との間の対応関係を確立すること。

提案手法

• ADE ダイキン図の一般化であるグラフを用いて境界条件を分類し、隣接行列が結合代数の表現に対応するようにする。
• Ocneanuの三角セル（3j-記号）を境界とボリュームデータを結ぶ基本的構成要素として用いる。
• Ocneanuのグラフから弱C*-ホップ代数を構成し、その構造定数をグラフの隣接行列から導出する。
• 双対代数とfusing行列（F）を定義し、五角形および六角形の恒等式を満たすようにする。これはRCFTの標準的F行列を一般化する。
• グラフに基づく結合則を、トーラスの分配関数のモジュラー不変性および物理的場のOPE係数に関連付ける。
• 対角的ケースにおいて、双対代数が標準的OPE係数の二乗を回復することを示し、sl(2)モデルに対する既知の結果を一般化する。

実験結果

リサーチクエスチョン

• RQ1 RCFTにおける境界条件は、ボリューム理論の隠れた量子対称性に関するどのような情報を明らかにするか？
• RQ2 グラフによる境界条件分類の背後にある代数的構造は何か？
• RQ3 Ocneanuの3j-記号（三角セル）は、結合則、モジュラー不変性、およびOPE係数の記述をどのように統合するか？
• RQ4 弱C*-ホップ代数を用いて、ボリュームと境界データの双対性を代数的に形式化できるか？
• RQ5 非対角的モデルにおける非スカラー場のOPE係数は、グラフ論的データとどのように関係するか？

主な発見

• 境界条件を分類するのと同じグラフが、トーラスの分配関数の分類にも用いられ、モジュラーS行列を通じて境界データとボリュームデータを結びつける。
• Ocneanuの三角セル（3j-記号）は、RCFTの量子対称性を符号化する弱C*-ホップ代数の核を形成する。
• Ocneanuのグラフの双対代数は、構造定数がA、D_odd、E6、E7、E8モデルにおけるOPE係数の二乗と一致する一般化されたPasquier代数を生成する。
• r が奇数のsl(2) D_r 系列において、双対代数は自己双対であり、3j-および6j-記号は標準的ものと同一である。
• E6およびE8モデルにおいて、一般化されたOPE構造定数は M_ij^k * M_ijk^bar_k の形に分解され、既知の分解性と整合する。
• 双対代数のfusing行列 F^(2) は、標準的な五角形関係を非対角的モデルへと拡張する「ビッグ五角形恒等式」を満たす。