[论文解读] Gauge Theories Labelled by Three-Manifolds

Tudor Dimofte, Davide Gaiotto+1 more|arXiv (Cornell University)|Aug 22, 2011

Black Holes and Theoretical Physics参考文献 41被引用 39

一句话总结

本文提出了一种三角剖分3-流形与3D $σ=2$规范理论之间的对偶性，其中每个三角剖分中的单形对应一个基本的3D $σ=2$ SCFT，粘合规则确保了不同三角剖分之间的相容性。关键结果是3-流形的不变量（如$SL(2)$ Chern-Simons路径积分）对应于镜像对偶3D $σ=2$理论的$S^3_b$路径积分，从而建立了函子性、cobordism不变的对应关系。

ABSTRACT

We propose a dictionary between geometry of triangulated 3-manifolds and physics of three-dimensional N=2 gauge theories. Under this duality, standard operations on triangulated 3-manifolds and various invariants thereof (classical as well as quantum) find a natural interpretation in field theory. For example, independence of the SL(2) Chern-Simons partition function on the choice of triangulation translates to a statement that S^3_b partition functions of two mirror 3d N=2 gauge theories are equal. Three-dimensional N=2 field theories associated to 3-manifolds can be thought of as theories that describe boundary conditions and duality walls in four-dimensional N=2 SCFTs, thus making the whole construction functorial with respect to cobordisms and gluing.

研究动机与目标

• 建立3-流形与3D $σ=2$超对称量子场论之间系统性的对应关系。
• 将三角剖分3-流形上的几何操作（如粘合、Pachner变换）解释为3D $σ=2$场论中的物理操作。
• 证明3-流形的不变量（如$SL(2)$ Chern-Simons路径积分）对应于镜像对偶理论中的物理可观测量，如$S^3_b$路径积分。
• 为从6D $(2,0)$理论紧化而得到的3D $σ=2$理论提供一个函子性、cobordism相容的框架。

提出的方法

• 为3-流形$M$的每个单形$\Delta$分配一个基本的3D $σ=2$ SCFT $T_\Delta$。
• 通过共享边界自由度耦合$T_\Delta$，定义完整的理论$T_M$为一个3D $σ=2$理论。
• 施加约束条件，使得同一3-流形的不同三角剖分产生等价的红外固定点理论，从而在Pachner变换下保持一致性。
• 使用$S^3_b$路径积合作为关键可观测量，测试不同三角剖分下的等价性，并将其与$SL(2)$ Chern-Simons路径积分联系起来。
• 通过6D $(2,0)$理论紧化，将3-流形中的线算符与4D $σ=2$理论中的表面算符和线算符联系起来。
• 利用Chern-Simons路径积分的$q$-差分方程结构，推导出4D时空边界上的算符关系（如$H \simeq e^{i\pi b^2 k} W^k$）。

实验结果

研究问题

• RQ1 3-流形的不变量如何在3D $σ=2$规范理论中作为物理可观测量实现？
• RQ2 在3D $σ=2$场论的背景下，Pachner变换的物理意义是什么？
• RQ3 3-流形$M$中的线算符如何对应于3D $σ=2$理论$T_M$中的算符？
• RQ4 镜像对称在确保$S^3_b$路径积分的三角剖分无关性中起什么作用？
• RQ5 6D $(2,0)$理论在$M$上紧化如何导致一个具有几何起源的3D $σ=2$ SCFT $T_M$？

主要发现

• $S^3_b$路径积分在3D $σ=2$理论$T_M$中对$M$的不同三角剖分保持不变，对应于$SL(2)$ Chern-Simons路径积分的三角剖分无关性。
• 3D $σ=2$理论$T_M$的路径积分与$M$上的$SL(2)$ Chern-Simons路径积分完全匹配，从而直接实现了这一拓扑不变量的物理实现。
• $q$-差分方程$\left(e^{ib\partial_{\tilde{m}}}-e^{i\pi b^2 k+2\pi bk\tilde{m}}\right)\mathcal{Z}_{CS_k}=0$控制了具有Chern-Simons等级$k$的3D边界理论的路径积分，反映了't Hooft算符与威尔逊算符之间的对偶性。
• 在4D时空边界上，算符关系$H - e^{i\pi b^2 k} W^k \simeq 0$成立，确认了具有单位磁通的't Hooft算符等价于电荷为$k$的威尔逊算符。
• 3-流形$M$中的线算符对应于4D $σ=2$理论中表面算符之间的界面，这些界面源于4D中2D表面算符与域壁的相交。
• 该构造关于cobordism是函子性的，意味着带边界的3-流形对应于4D $σ=2$ SCFT中的域壁或边界条件。