[论文解读] MTC$[M_3, G]$: 3d Topological Order Labeled by Seifert Manifolds

F Bonetti, Sakura Schäfer‐Nameki+1 more|arXiv (Cornell University)|Mar 6, 2024

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本文提出了一种新的对应关系，将三维拓扑序（由模张量范畴（MTCs）表征）与配备ADE规范群的Seifert三流形联系起来。该工作通过Seifert流形上的平坦联络构造MTCs，推测当以规范群中心为系数的首同调群消失时，结果范畴为模范畴，并成功在此框架内实现了所有已知的秩≤5的MTCs。

ABSTRACT

We propose a correspondence between topological order in 2+1d and Seifert three-manifolds together with a choice of ADE gauge group $G$. Topological order in 2+1d is known to be characterized in terms of modular tensor categories (MTCs), and we thus propose a relation between MTCs and Seifert three-manifolds. The correspondence defines for every Seifert manifold and choice of $G$ a fusion category, which we conjecture to be modular whenever the Seifert manifold has trivial first homology group with coefficients in the center of $G$. The construction determines the spins of anyons and their S-matrix, and provides a constructive way to determine the R- and F-symbols from simple building blocks. We explore the possibility that this correspondence provides an alternative classification of MTCs, which is put to the test by realizing all MTCs (unitary or non-unitary) with rank $r\leq 5$ in terms of Seifert manifolds and a choice of Lie group $G$.

研究动机与目标

• 建立一个利用Seifert三流形和ADE规范群对三维拓扑序进行分类的新框架。
• 提供一种计算模数据（S-和T-矩阵）、R-和F-符号以及任意子统计量的构造性方法。
• 检验该构造是否能实现所有已知的秩≤5的模张量范畴，包括幺正与非幺正情形。
• 识别出一个拓扑判据——当以规范群中心为系数的首同调群消失时——使得结果范畴为模范畴。
• 探讨该对应关系是否提供了超越传统模数据的另一种几何分类方式，用于MTCs。

提出的方法

• 该构造将每个由n对互素整数(p_i, q_i)（编码奇异纤维）定义的Seifert流形，通过预模范畴C(sl(N), p_i, q_i)的分次Deligne积映射到一个融合范畴。
• 任意子被建模为Seifert流形上的任意子平坦G_C联络，其拓扑不变量源自陈-西蒙斯理论与Reidemeister扭量。
• S-和T-矩阵从平坦联络数据中计算得出，F-和R-符号则从简单基本块中重构。
• 该猜想为：当且仅当H₁(M₃, Z_G) = 0时，结果范畴是模范畴，其中Z_G为规范群G的中心。
• 通过使用Seifert流形和ADE型的单连通李群G，测试了该框架，成功实现了所有已知的秩≤5的MTCs。
• 该方法利用了模数据分类的已知结果，并将输出与现有MTCs表格（包括非幺正情形）进行比较。

实验结果

研究问题

• RQ1 所有已知的三维拓扑序（包括非幺正情形）是否都能通过配备ADE规范群的Seifert三流形上的平坦联络实现？
• RQ2 Seifert流形的何种拓扑条件可确保结果融合范畴为模范畴？
• RQ3 任意子的S-和T-矩阵、自旋及编织统计量如何从Seifert流形与规范群的几何结构中涌现？
• RQ4 该构造是否能对秩≤5的MTCs提供完整且几何化的分类？
• RQ5 为何该框架在实现所有秩5 MTCs方面优于以往构造（如Cho等人的方法）？

主要发现

• 所有已知的秩r ≤ 5的模张量范畴（包括幺正与非幺正情形）均成功在MTC[M₃, G]框架内通过Seifert流形与ADE规范群实现。
• 该构造对所有此类MTCs均产生了正确的S-和T-矩阵，并给出了任意子自旋与编织统计量的显式公式。
• 该猜想——即当且仅当H₁(M₃, Z_G) = 0时，MTC[M₃, G]为模范畴——因在该条件下成功实现了所有低秩MTCs而得到强有力支持。
• 该框架重现了192种不同的秩6 MTCs，包括此前在Cho:2020ljj等早期提议中无法实现的模型。
• 该方法为从拓扑数据出发构造性地计算F-和R-符号提供了路径，为任意子数据的全部几何起源提供了依据。
• 结果表明，Seifert流形-规范群对应关系可能提供MTCs的完整几何分类，其覆盖范围超越了以往方法。