[論文レビュー] Correlation functions and boundary conditions in RCFT and three-dimensional topology

Giovanni Felder, Jürg Fröhlich+2 more|ArXiv.org|Dec 23, 1999

Black Holes and Theoretical Physics参考文献 6被引用数 26

ひとこと要約

本稿では、3次元トポロジカル量子場理論（TFT）を用いて、境界を持つ曲面上の有理的 conformal field theory（RCFT）における相関関数を構成する。接続する3次元多様体とリボングラフを介して、ラベル付き曲面と conformal block 空間内のベクトルとの間の対応を確立する。主な結果は、モジュラーカテゴリのデータから、一貫性があり、モジュラー不変かつ因子分解を保存する相関関数の体系的構成であり、構造定数はカテゴリの不変量から導かれる。

ABSTRACT

We give a general construction of correlation functions in rational conformal field theory on a possibly non-orientable surface with boundary in terms of 3-dimensional topological quantum field theory. The construction applies to any modular category. It is proved that these correlation functions obey modular and factorization rules. Structure constants are calculated and expressed in terms of the data of the modular category.

研究の動機と目的

• 境界付き曲面上の有理的 conformal field theory における相関関数を、3次元TFTに基づく厳密な構成を提供すること。
• 標準的な conformal block フレームワークを、モジュラーカテゴリからのラベル付き境界条件およびマークド点を含むように拡張すること。
• 構成された相関関数が、曲面の貼り合わせ操作におけるモジュラー不変性および因子分解則を満たすようにすること。
• 二重構成と接続する3次元多様体を用いて、ラベル付き曲面への相関関数の普遍的割り当てを定義すること。
• 構造定数を、量子次元やS行列成分を含むモジュラーカテゴリの不変量の言語で表現すること。

提案手法

• 各ラベル付き曲面 $X$ に対して、その境界が $X$ の二重 $\hat{X}$ であるような3次元多様体 $M_X$ とリボングラフを対応させ、相関関数として $ \mathcal{H}(\hat{X})$ 内のベクトル $Z(M_X) \in \mathcal{H}(\hat{X})$ を割り当てる。
• リボングラフの頂点の彩色空間は、重複度空間 $W_{\partial X}$ と同一視され、線形写像 $C(X) \in \mathrm{Hom}_{\mathbb{C}}(W_{\partial X}, \mathcal{H}(\hat{X}))$ が得られる。
• 接続する3次元多様体 $M_X$ は、$S^3$ 内のフレームドリンクの surgery を用いて構築され、特にレンズ空間の $\mathbb{Z}_n$-軌道体構造を活用する。
• Reshetikhin–Turaevの公式を用いて、$S^3_{(L,n)}$ 内のリボングラフの不変量を計算し、カテゴリの対象の和集合上での和分により、元の $S^3$ 不変量と関連付ける。
• TuraevのTFT公理の適用を可能にするために、非可縮または境界付き曲面を、閉じて向き付けられた拡張曲面に持ち上げるために二重構成 $\hat{X}$ が用いられる。
• フレーミングおよび向き付けデータを正確に追跡し、$S$-行列や $T$-行列を含むモジュラーカテゴリの構造と整合性を保つ。

実験結果

リサーチクエスチョン

• RQ1 境界条件を伴うRCFTにおける相関関数は、どのように3次元TFTデータから体系的に構成できるか？
• RQ2 与えられた境界付きラベル付き曲面に対応する相関関数を符号化する、正確な3次元多様体およびリボングラフ構造は何か？
• RQ3 3次元TFTの構成から、どのようにモジュラー不変性および因子分解性が生じるか？
• RQ4 構造定数の明示的表現は、モジュラーカテゴリの不変量を用いてどのように表されるか？
• RQ5 二重構成は、TFTフレームワークで用いられる拡張曲面と元の曲面との間にどのような関係をもつのか？

主な発見

• 相関関数 $C(X)$ は、リボングラフを備えた接続3次元多様体 $M_X$ に対応するTFTベクトル $Z(M_X) \in \mathcal{H}(\hat{X})$ として実現され、グラフの頂点彩色が重複度空間 $W_{\partial X}$ に対応する。
• 構成はモジュラー不変性を満たす：相関関数は、二重 $\hat{X}$ 上でのモジュラー群作用に関して共変的に変化し、RCFTの公理が要請するものと一致する。
• 因子分解則は自然に満たされる：曲面 $X$ 上の貼り合わせ操作は、$\mathcal{H}(\hat{X})$ 上の整合性のあるホモーレフィズムを誘導し、$C(X)$ はこれらの写像と可換である。
• 構造定数は $\Delta \sum_{j \in I} \dim(j) \cdot Z(S^3, \Gamma_j)$ として計算され、ここで $\Delta = \sum_{i \in I} v_i^{-1} \dim(i)^2$ であり、相関関数がReshetikhin–Turaev不変量と関連づけられる。
• ディスクに $n$ 個の内部マークド点と $m$ 個の境界点がある場合、接続多様体 $M_X$ は3次元球面であり、相関関数はフレーミング $n = -2$ の $S^3$ 内のリボングラフによって決定される。
• $S^3_{(L,n)}$ からレンズ空間 $S^3 / \mathbb{Z}_{|n|}$ への同相写像 $i_n$ は、$n < 0$ のとき向きを保ち、その写像の次数は $-\mathrm{sign}(n)$ である。これはTFT不変量における符号の一貫性にとって重要である。