[論文レビュー] Modular invariants and subfactors

Jens Boeckenhauer, David Evans|ArXiv.org|Aug 7, 2000

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

ひとこと要約

この論文は、$α$-誘導を用いて、 rational conformal field theory (RCFT) におけるモジュラー不変量と作用素代数におけるブレード付き部分因子の間のきめ細かい関係を確立する。モジュラー不変量がブレード付き自己準同型を通じて部分因子の拡張から自然に生じることを示し、融合規則と統計行列の結果としてA-D-E分類とグラフ不変量を説明する。主な貢献は、RCFTの分配関数と部分因子理論を統合的に結びつける枠組みを提供し、長年の経験的パターンを数学的厳密性で解明することにある。

ABSTRACT

In this lecture we explain the intimate relationship between modular invariants in conformal field theory and braided subfactors in operator algebras. Our analysis is based on an approach to modular invariants using braided sector induction ("$α$-induction") arising from the treatment of conformal field theory in the Doplicher-Haag-Roberts framework. Many properties of modular invariants which have so far been noticed empirically and considered mysterious can be rigorously derived in a very general setting in the subfactor context. For example, the connection between modular invariants and graphs (cf. the A-D-E classification for $SU(2)_k$) finds a natural explanation and interpretation. We try to give an overview on the current state of affairs concerning the expected equivalence between the classifications of braided subfactors and modular invariant two-dimensional conformal field theories.

研究の動機と目的

• rational conformal field theory (RCFT) におけるモジュラー不変量と作用素代数におけるブレード付き部分因子の間の数学的厳密な関係を確立すること。
• α-誘導とブレード付き自己準同型の枠組みを用いて、経験的A-D-E分類を説明すること。
• モジュラー不変量とグラフ（例：D系列）との関係が偶然ではなく、融合規則と統計行列から自然に生じることを示すこと。
• モジュラー不変量の分類が、とりわけ拡張データと標準自己準同型を通じてブレード付き部分因子の分類に対応することを示すこと。
• 対称性と縮退が不変量に果たす役割を明確にすること、特にk=16におけるSU(2)kのE7不変量の四重縮退について

提案手法

• 部分因子 $M_+ \subset M$ から始まり、$α$-誘導を用いてDHR枠組みにおけるブレード付き自己準同型系を構成する。
• 共形スピンと統計の定理を適用し、自己準同型に統計行列SおよびTを割り当て、モジュラー群のユニタリ表現を保証する。
• Rehrenの補題を用いて、$\tau^2 = \text{id}$ かつ $\tau_\nu \tau_\sigma = \tau_\sigma \tau_\nu = \tau_\gamma$ を満たす自己準同型が $\mathbb{Z}_2 \times \mathbb{Z}_2$ 統合規則を生成することを示す。
• $G = \mathbb{Z}_2$ および $G = \mathbb{Z}_2 \times \mathbb{Z}_2$ のためのクロス積拡張 $M_+ \rtimes G$ を構築し、双対標準自己準同型を用いて異なるモジュラー不変量を実現する。
• 結合行列 $Z$ のトレース $\text{tr} Z = \# {}_M \mathcal{X}_N$ を用いて、$M$-$N$ セクターの数を特定し、不変量を分類する。
• SO(8)_1 と SU(3)_3 の特性を比較し、同じグラフ $\mathcal{D}^{(6)}$ が異なる不変量に対して現れることを示し、グラフがCFT拡張を一意に特定しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 RCFTにおけるモジュラー不変量は、部分因子理論から体系的に導出可能か？
• RQ2 なぜモジュラー不変量がA-D-Eのようなグラフに対応するのか、その代数的起源は何か？
• RQ3 特定の不変量（例：k=16におけるE7）の縮重度は、対称性と融合規則によって説明可能か？
• RQ4 $α$-誘導が部分因子拡張からモジュラー不変量を生成する際に果たす正確な役割は何か？
• RQ5 異なる2次元CFTが異なる結合行列を持つにもかかわらず、同じグラフを示すことがあるのはなぜか？これは分類にどのような意味を持つのか？

主な発見

• M_+ \subset M_+ \rtimes \mathbb{Z}_2 から生じるSO(8)_1のモジュラー不変量は転置不変量に対応し、完全な $\mathbb{Z}_2 \times \mathbb{Z}_2$ 拡張では巡回置換不変量が得られる。
• $\mathbb{Z}_2$ 拡張ではグラフ $\mathcal{D}^{(6)*}$ が得られ、完全な $\mathbb{Z}_2 \times \mathbb{Z}_2$ 拡張では $\mathcal{D}^{(6)}$ が得られ、異なるCFT拡張が同じグラフをもたらすことを示している。
• SU(2)_{16} では、対称群 $S_3$ の作用によりE7不変量が四重に縮退しており、$\chi_{k/2}$ と $\chi_2$ の特性に置換が現れる。
• SO(8)_1 における $\mathbb{Z}_2 \times \mathbb{Z}_2$ 統合規則は、自己準同型 $\tau_\nu, \tau_\sigma, \tau_\gamma$ を用いて実現され、$\tau^2 = \text{id}$ かつ $\tau_\nu \tau_\sigma = \tau_\gamma$ を満たし、群構造が確認される。
• Z_2 拡張の結合行列 $Z$ は $Z_{\text{v,s}} = 0 = Z_{\text{v,c}}$ を満たし、これは真空を固定する転置に対応することが確認される。
• Z のトレースは $M$-$N$ セクターの数に等しく、$\mathbb{Z}_2$ 拡張では $\text{tr} Z = 2$、完全な $\mathbb{Z}_2 \times \mathbb{Z}_2$ 拡張では $\text{tr} Z = 1$ となり、期待される不変量タイプと一致する。