[論文レビュー] Para-fusion Category and Topological Defect Lines in $\mathbb Z_N$-parafermionic CFTs

Jin Chen, Babak Haghighat+1 more|arXiv (Cornell University)|Sep 5, 2023

Topological and Geometric Data Analysis被引用数 4

ひとこと要約

本稿は、2次元 $Χ_N$-パラフェルミオン的 conformal field theories (CFT) におけるトポロジカル障害線 (TDL) を記述するための新しいカテゴリー的枠組み—'パラ融合カテゴリ'—を導入する。これはフェルミオン系に用いられるスーパーフュージョンカテゴリを一般化したものであり、$M|N$ であるような $q_M$-型の対象と、パラフェルミオン的障害演算子を特殊化された1-自己準同型として特定する。また、任意の子凝縮を用いた一般化された任意の子凝縮を通じて、ボソン的TDLの融合カテゴリからパラフェルミオン的カテゴリへの関手を構築し、Tambara-Yamagami $Χ_N$ カテゴリの完全分類を提供する。

ABSTRACT

We study topological defect lines (TDLs) in two-dimensional $\mathbb Z_N$-parafermoinic CFTs. Different from the bosonic case, in the 2d parafermionic CFTs, there exist parafermionic defect operators that can live on the TDLs and satisfy interesting fractional statistics. We propose a categorical description for these TDLs, dubbed as ``para-fusion category", which contains various novel features, including $\mathbb Z_M$ $q$-type objects for $M\vert N$, and parafermoinic defect operators as a type of specialized 1-morphisms of the TDLs. The para-fusion category in parafermionic CFTs can be regarded as a natural generalization of the super-fusion category for the description of TDLs in 2d fermionic CFTs. We investigate these distinguishing features in para-fusion category from both a 2d pure CFT perspective, and also a 3d anyon condensation viewpoint. In the latter approach, we introduce a generalized parafermionic anyon condensation, and use it to establish a functor from the parent fusion category for TDLs in bosonic CFTs to the para-fusion category for TDLs in the parafermionized ones. At last, we provide many examples to illustrate the properties of the proposed para-fusion category, and also give a full classification for a universal para-fusion category obtained from parafermionic condensation of Tambara-Yamagami $\mathbb Z_N$ fusion category.

研究の動機と目的

• 2次元 $Χ_N$-パラフェルミオン的CFTにおけるトポロジカル障害線 (TDL) を体系的に記述するカテゴリー的枠組みを構築すること。
• フェルミオン的CFTで用いられるスーパーフュージョンカテゴリ構造を、パラフェルミオン的統計と階数付き自己準同型代数を扱えるように一般化すること。
• 任意の子凝縮を用いた一般化された任意の子凝縮プロセスを通じて、ボソン的TDLの融合カテゴリからパラフェルミオン的パラ融合カテゴリへの関手を確立すること。
• Tambara-Yamagami $Χ_N$ 統合カテゴリからのパラフェルミオン的凝縮によって生じる普遍的パラ融合カテゴリの完全分類を達成すること。

提案手法

• 各 $N$ の約数 $M$ に対して $q_M$-型の対象を含み、自己準同型代数が $\mathbb{C}[\mathbb{Z}_M]$ に同型であるような、スーパーフュージョンカテゴリの一般化としての'パラ融合カテゴリ'を提唱する。
• パラフェルミオン的障害演算子を、TDL上での特殊化された1-自己準同型として導入し、$\mathbb{Z}_N$-階数付けに従って分数統計を満たすように制約を課す。
• 3次元の任意の子凝縮の視点を用いて、一般化されたパラフェルミオン的任意の子凝縮プロセスを定義し、ボソン的TDL融合カテゴリからパラフェルミオン的パラ融合カテゴリへの関手を構築する。
• モジュラー行列 $S_{m,n}$ と $T_{m,n}$ を用いたモジュラーデータと双線形形式解析により、モジュラリティ条件を特定し、$\gcd(k,N)=1$ が $\mathcal{C}(\mathbb{Z}_N, q_k)$ のモジュラリティを保証することを示す。
• $\mathbb{Z}_N$-階数付き単純代数の分類定理を用いて、$M|N$ であるような $q_M$-型の単純対象を特定し、それらを自己準同型代数 $\mathrm{End}(X) \cong \mathbb{C}[\mathbb{Z}_M]$ と関連付ける。
• モノドロミー行列を $b(m,n) = (\omega_{N,k})^{2mn}$ として導出し、これによりモジュラー $S$-行列と関連づけ、任意の子のブレード統計を確認する。

実験結果

リサーチクエスチョン

• RQ1 パラフェルミオン的障害演算子が分数統計を示す中で、$Χ_N$-パラフェルミオン的CFTにおけるトポロジカル障害線をどのように体系的に分類できるか？
• RQ2 パラフェルミオン的CFTにおけるTDLのより豊かな構造—$q_M$-型の対象とパラフェルミオン的1-自己準同型—を捉えるために、スーパーフュージョンカテゴリの適切な一般化は何か？
• RQ3 ボソン的TDL融合カテゴリとパラフェルミオン的パラ融合カテゴリの関係を、特に任意の子凝縮によって誘導される関手を通じてどのように形式化できるか？
• RQ4 Tambara-Yamagami $Χ_N$ 統合カテゴリからのパラフェルミオン的凝縮によって得られる普遍的パラ融合カテゴリの完全分類は何か？
• RQ5 $\mathcal{C}(\mathbb{Z}_N, q_k)$ がモジュラーであるための条件は何か？また、この条件は $Χ_N$ 対称性のオルビフォールディングやゲージ化の可能性にどのように影響を与えるか？

主な発見

• パラ融合カテゴリは、$N$ の各約数 $M$ に対して $q_M$-型の対象を導入することでスーパーフュージョンカテゴリを一般化し、合計で $\tau(N)$ 種類のこのようなタイプが存在する。
• パラフェルミオン的障害演算子は、TDL上での特殊化された1-自己準同型として実現され、双線形形式 $b(m,n) = (\omega_{N,k})^{2mn}$ に埋め込まれた分数統計を担う。
• モジュラー $S$-行列は $S_{m,n} = \frac{1}{\sqrt{N}} (\omega_{N,k})^{2mn}$ で与えられ、$\omega_{N,k} = e^{2\pi i k / N}$ であり、カテゴリがモジュラーであるための必要十分条件は $\gcd(k,N) = 1$ である。
• 一般化されたパラフェルミオン的任意の子凝縮プロセスを定義し、親のボソン的融合カテゴリからパラ融合カテゴリへの関手を誘導する。これにより、パラフェルミオン的理論におけるTDLの構築が可能になる。
• Tambara-Yamagami $\mathbb{Z}_N$ カテゴリからのパラフェルミオン的凝縮によって得られる普遍的パラ融合カテゴリは完全に分類されており、その構造は約数関数 $\tau(N)$ と $q_M$-型対象の分類によって決定される。
• N=2 の場合、パラ融合カテゴリには2種類の $q_M$-型対象が存在する：$q_1$-型（$\mathbb{C}$ に同型）と $q_2$-型（$\mathbb{C}^{1|1}$ に同型）であり、それぞれスーパーフュージョンカテゴリにおける $m$-型および $q$-型対象に対応する。