[论文解读] Symmetries and defects in three-dimensional topological field theory

Jürgen Fuchs, Christoph Schweigert|arXiv (Cornell University)|Jan 8, 2015

Black Holes and Theoretical Physics参考文献 19被引用 6

一句话总结

本文通过证明可逆的拓扑表面缺陷通过线算子范畴的辫自同构实现对称性，建立了一个将三维拓扑场论（TFTs）中对称性与缺陷联系起来的框架，特别针对Dijkgraaf-Witten理论。它识别出三种对称类型——相对丛的自同构、Chern-Simons 2-gerbe自同构以及电–磁对偶性，其作用由群上同调与双模范畴完全刻画，且该理论的完整对称群由这些类生成。

ABSTRACT

Boundary conditions and defects of any codimension are natural parts of any quantum field theory. Surface defects in three-dimensional topological field theories of Turaev-Reshetikhin type have applications to two-dimensional conformal field theories, in solid state physics and in quantum computing. We explain an obstruction to the existence of surface defects that takes values in a Witt group. We then turn to surface defects in Dijkgraaf-Witten theories and their construction in terms of relative bundles; this allows one to exhibit Brauer-Picard groups as symmetry groups of three-dimensional topological field theories.

研究动机与目标

• 理解拓扑缺陷与对称性在三维拓扑场论中的作用。
• 利用非退化辫融合范畴的Witt群，识别TFT中表面缺陷存在的障碍。
• 通过相对丛与规范理论构造，形式化Dijkgraaf-Witten理论中的表面缺陷。
• 通过可逆表面缺陷表征Dijkgraaf-Witten理论的完整对称群。
• 将对称结构与范畴化表示理论联系起来，特别是单体范畴与双模范畴在张量范畴上的作用。

提出的方法

• 使用Reshetikhin-Turaev构造，将3D TFT形式化为具有缺陷的Turaev-Reshetikhin型理论。
• 通过有限群分类空间上的相对丛构造表面缺陷，推广主丛的概念。
• 该理论的对称群被识别为Brauer-Picard群，通过线算子范畴的辫自同构实现。
• 推导出三种对称类型：相对丛的自同构、通过群上同调 $ H^2(A, bC^ imes) $ 的Chern-Simons 2-gerbe自同构，以及通过群同构 $ \theta: A \to A^* $ 的电–磁对偶性。
• 在范畴 $ A \oplus A^* $ 上显式计算每种对称的作用，表明缺陷通过字符的平移或群与字符分量的交换作为辫等价作用。
• 利用从上同调类到交错双同态（B-场）的上移，描述2-gerbe自同构的几何作用。

实验结果

研究问题

• RQ1 三维拓扑场论中表面缺陷存在的障碍是什么？
• RQ2 Dijkgraaf-Witten理论的对称性如何通过可逆的拓扑表面缺陷实现？
• RQ3 Brauer-Picard群在分类3D TFT对称性中起什么作用？
• RQ4 Chern-Simons 2-gerbe自同构在Dijkgraaf-Witten理论中如何表现为对称性？
• RQ5 Dijkgraaf-Witten理论的所有对称性是否均由相对丛自同构、2-gerbe自同构与电–磁对偶性生成？

主要发现

• 3D TFT中表面缺陷的存在性受非退化辫融合范畴的Witt群中一个元素的阻碍。
• 在Dijkgraaf-Witten理论中，表面缺陷由子群 $ A_{\mathrm{diag}} \subset A \oplus A $ 与上同调类 $ H^2(A, \bbC^\times) $ 构造，后者通过上移对应于B-场。
• 该理论的对称群被实现为Brauer-Picard群，所有对称性均源于三类：相对丛自同构、2-gerbe自同构与电–磁对偶性。
• 2-gerbe自同构在范畴 $ A \oplus A^* $ 上的作用由字符平移 $ \chi \mapsto \chi + \beta(g, \cdot) $ 给出，其中 $ \beta $ 为交错双同态。
• 电–磁对偶性通过辫等价实现：$ (g, \chi) \mapsto (\delta^{-1}(\chi), \delta(g)) $，其中 $ \delta: A \to A^* $ 为同构。
• 这三类对称——丛、2-gerbe与对偶性——生成了完整的对称群 $ \mathrm{O}_q(A \oplus A^*) $，经对范畴结构的详细分析得到证实。