[论文解读] 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

一句话总结

本文提出了一种新颖的范畴框架——'para-融合范畴'——用于描述二维 $Χ_N$-任意统计共形场论（CFT）中的拓扑缺陷线（TDLs），该框架将费米子系统中使用的超-融合范畴推广至任意统计情形。文中识别出 $q_M$-型对象（$M|N$）及任意统计缺陷算符作为特殊的1-态射，并通过广义任意子 condensation 构造了一个从玻色子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.

研究动机与目标

• 为具有分数统计和非可逆对称性的二维 $Χ_N$-任意统计共形场论中的拓扑缺陷线（TDLs）建立范畴框架。
• 将费米子CFT中使用的超-融合范畴结构推广，以容纳任意统计行为和分级自同态代数。
• 通过广义任意子 condensation，建立从玻色子TDL融合范畴到任意统计CFT中新型 para-融合范畴的函子。
• 对由Tambara-Yamagami $Χ_N$ 融合范畴的任意统计 condensation 所产生的普遍 para-融合范畴进行完整分类。

提出的方法

• 提出一种'para-融合范畴'作为超-融合范畴的推广，包含对每个整除 $N$ 的 $M$ 的 $q_M$-型对象，其自同态代数同构于 $\mathbb{C}[\mathbb{Z}_M]$。
• 将任意统计缺陷算符定义为TDL上的特殊1-态射，其满足分数统计，并受 $\mathbb{Z}_N$-分次结构的约束。
• 采用三维任意子 condensation 视角，定义广义的任意统计任意子 condensation 过程，构造从玻色子TDL融合范畴到任意统计 para-融合范畴的函子。
• 利用模矩阵 $S_{m,n}$ 和 $T_{m,n}$ 进行模数据与双特征分析，以确定模条件，其中 $\gcd(k,N)=1$ 确保 $\mathcal{C}(\mathbb{Z}_N, q_k)$ 的模性。
• 运用 $\mathbb{Z}_N$-分次除环的分类定理，识别出 $q_M$-型简单对象（$M|N$），并将其与自同态代数 $\mathrm{End}(X) \cong \mathbb{C}[\mathbb{Z}_M]$ 关联。
• 推导出单色矩阵为 $b(m,n) = (\omega_{N,k})^{2mn}$，并将其与模 $S$-矩阵关联，从而确认任意子的辫统计性质。

实验结果

研究问题

• RQ1 在存在具有分数统计的任意统计缺陷算符的情况下，如何系统地对 $Χ_N$-任意统计共形场论中的拓扑缺陷线进行分类？
• RQ2 何种超-融合范畴的推广能够捕捉任意统计CFT中TDL的更丰富结构，包括 $q_M$-型对象与任意统计1-态射？
• RQ3 如何形式化玻色子TDL融合范畴与任意统计 para-融合范畴之间的关系，特别是通过任意子 condensation 所诱导的函子？
• RQ4 由Tambara-Yamagami $Χ_N$ 融合范畴的任意统计 condensation 所得的普遍 para-融合范畴的完整分类是什么？
• RQ5 在何种条件下，预模范畴 $\mathcal{C}(\mathbb{Z}_N, q_k)$ 是模的，这又如何影响对 $Χ_N$ 对称性的对称性轨道化或规范化？

主要发现

• para-融合范畴通过为每个整除 $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$ 时，该范畴是模的。
• 定义了广义的任意统计任意子 condensation 过程，该过程诱导出从母体玻色子融合范畴到 para-融合范畴的函子，从而实现任意统计理论中TDL的构造。
• 对Tambara-Yamagami $\mathbb{Z}_N$ 范畴的任意统计 condensation 所得的普遍 para-融合范畴已实现完全分类，其结构由除数函数 $\tau(N)$ 和 $q_M$-型对象分类决定。
• 当 $N=2$ 时，para-融合范畴包含两类 $q_M$-型对象：$q_1$-型（同构于 $\mathbb{C}$）和 $q_2$-型（同构于 $\mathbb{C}^{1|1}$），分别对应于超-融合范畴中的 $m$-型与 $q$-型对象。