[论文解读] Distinguish modular categories and 2+1D topological orders beyond modular data: Mapping class group of higher genus manifold

Xueda Wen, Xiao-Gang Wen|arXiv (Cornell University)|Aug 27, 2019

Algebraic structures and combinatorial models参考文献 3被引用 6

一句话总结

本文表明，仅通过模数据无法区分的模范畴与2+1D拓扑序，可通过高亏格曲面（特别是穿孔环面和亏格2流形）上的映射类群（MCG）表示加以区分。作者证明，MCG群元素的迹以及由此类表示导出的纽结不变量，可解决Mignard与Schauenburg发现的反例中的歧义。

ABSTRACT

It was believed that modular data are enough to distinguish different modular categories (and topological orders in 2+1-dimensions). Then counterexamples to this conjecture were found by Mignard and Schauenburg in 2017. In this work, we show that the simplest counterexamples can be distinguished by studying the representations of mapping class groups of a punctured torus or a genus-2 closed manifold.

研究动机与目标

• 解决具有相同模数据的2+1D拓扑序分类中的歧义。
• 研究高亏格流形上的映射类群（MCG）表示是否能区分仅通过模数据无法区分的模张量范畴（MTCs）。
• 基于穿孔曲面与亏格2 MCG表示，构建一个框架，以提取超出标准S和T矩阵的额外拓扑不变量。
• 确立MCG表示在亏格2与穿孔环面曲面上对某些MTCs构成完备不变量，从而扩展拓扑序的分类。

提出的方法

• 利用穿孔环面与亏格2闭曲面的映射类群（MCG）表示，提取拓扑不变量。
• 在任意Anyon基中构造穿孔S和T矩阵作为规范不变可观测量，以探测超越模数据的MTC结构。
• 应用Verlinde公式与拓扑自旋信息，计算穿孔设置下的融合规则与任意统计。
• 导出纽结不变量与MCG群元素（如S和T的字）的迹作为可区分MTC的物理可观测量。
• 采用拓扑晶格 gauge 理论（TLGT）实现MTCs，并在高亏格曲面上计算模变换。
• 使用非阿贝尔群G = Z₁₁ ⋊ Z₅的扭曲量子双模型，构造显式反例并分析其MCG表示。

实验结果

研究问题

• RQ1 高亏格曲面的映射类群（MCG）表示能否区分仅通过模数据无法区分的模张量范畴（MTCs）？
• RQ2 从穿孔环面与亏格2流形中可提取哪些拓扑不变量（如MCG群元素的迹或纽结不变量），以解决此类歧义？
• RQ3 穿孔S和T矩阵在规范基中如何编码超越标准模S和T矩阵的额外信息？
• RQ4 MCG表示在亏格2曲面上在多大程度上构成2+1D拓扑序的完备不变量？
• RQ5 拓扑晶格 gauge 理论能否用于在精确可解模型中计算并验证这些不变量？

主要发现

• 亏格2曲面上的MCG表示成功区分了Mignard-Schauenburg反例，这些反例仅凭模数据与中心荷无法区分。
• 在亏格2曲面上，MCG生成元字（如ST、(ST)^3）的迹提供了可区分MTC的独立不变量。
• 穿孔环面的MCG表示通过穿孔S和T矩阵产生额外不变量，这些矩阵是规范不变的，且对非阿贝尔任意子统计敏感。
• 从亏格2 MCG表示导出的纽结不变量可检测标准模数据中不可见的任意子编织与融合差异。
• 本研究证实，完整的MCG表示（尤其是高亏格曲面上的表示）是分类2+1D拓扑序的更强不变量，优于模数据。
• 在G = Z₁₁ ⋊ Z₅的扭曲量子双模型中的显式计算，确认了存在非同构MTCs具有相同模数据，而这些差异可通过亏格2 MCG不变量得以解决。