[论文解读] Functional integration and abelian link invariants

E. Guadagnini|arXiv (Cornell University)|Jan 26, 2010

Black Holes and Theoretical Physics参考文献 7被引用 3

一句话总结

本文通过使用 Deligne-Beilinson 上同调来正则化在 3-流形上的阿贝尔 U(1) 规范理论中的 Chern-Simons 路径积分，解决了该路径积分定义不清的问题。研究证明了威尔逊圈期望值可产生良定义的纽结不变量，并表明这些不变量与 Resshetikhin-Turaev 手术不变量一致，从而为 $S^1 \times S^2$ 和其他同调球面等 3-流形提供了非微扰的路径积分推导。

ABSTRACT

The functional integral computation of the various topological invariants, which are associated with the Chern-Simons field theory, is considered. The standard perturbative setting in quantum field theory is rewieved and new developments in the path-integral approach, based on the Deligne-Beilinson cohomology, are described in the case of the abelian U(1) Chern-Simons field theory formulated in S^1 x S^2.

研究动机与目标

• 解决在 3-流形上的阿贝尔 U(1) 规范理论中 Chern-Simons 路径积分定义不清的问题。
• 为 $S^1 \times S^2$ 和同调球面等 3-流形提供一种基于非微扰函数积分的拓扑不变量推导。
• 证明通过正则化路径积分计算的威尔逊圈期望值与已知的组合不变量（如 Resshetikhin-Turaev 手术不变量）一致。
• 阐明正则化与归一化在使拓扑量子场论中的划分函数良定义中的作用。

提出的方法

• 利用 Deligne-Beilinson 上同调来定义阿贝尔 Chern-Simons 理论中函数积分测度的一致正则化。
• 通过在正交基中截断场展开，采用有限维正则化方案，将无限维积分替换为有限维近似下的极限。
• 将威尔逊圈期望值计算为正则化路径积分的比值，确保规范不变性与拓扑不变性。
• 通过公式 $I_k(M) = (2k)^{-N_{\mathcal{L}}/2} e^{i\pi \sigma(\mathcal{L})/4} \langle W(\mathcal{L}) \rangle|_{S^3}$ 建立路径积分结果与 Resshetikhin-Turaev 手术不变量之间的等价性。
• 利用 Kirby 图论与手术表示，证明不变量与纽结表示的选择无关，依赖于 Kirby 变换下的不变性。
• 分析划分函数对 3-流形的同调与同伦类型的依赖关系，表明不变量可区分同调相同但不同胚的流形。

实验结果

研究问题

• RQ1 如何通过正则化使阿贝尔 U(1) 规范理论中定义不清的 Chern-Simons 路径积分产生有意义的拓扑不变量？
• RQ2 函数积分计算的威尔逊圈期望值与 Resshetikhin-Turaev 手术不变量之间的确切关系是什么？
• RQ3 为何在整数耦合常数下路径积分在某些流形（如 $RP^3$）上失效，以及如何解决此问题？
• RQ4 这些不变量在多大程度上依赖于 3-流形的同调或同伦类型？它们能否区分同调同构但不同胚的流形？

主要发现

• 在 $S^1 \times S^2$ 上，通过 Deligne-Beilinson 上同调正则化的阿贝尔 Chern-Simons 理论中，威尔逊圈期望值的路径积分计算结果是良定义且具有拓扑不变性的。
• 在 3-流形 $M$ 中，对于一个带框架与着色的纽结 $L$，其期望值 $\langle W(L)\rangle|_M$ 与 Resshetikhin-Turaev 手术不变量 $I_k(M)$ 一致，证实了函数方法与组合方法的一致性。
• 对于透镜空间 $L(5,1)$ 和 $L(5,2)$，不变量 $I_2(M)$ 分别取值 $-1$ 和 $1$，表明该不变量可区分同调群均为 $\mathbb{Z}_5$ 但不同胚的流形。
• 对于 $L(9,1)$ 和 $L(9,2)$，$I_3(M)$ 分别给出 $i\sqrt{3}$ 和 $-i\sqrt{3}$，进一步表明该不变量对同调之外的精细拓扑结构敏感。
• 划分函数 $R_{N_0}(M)$ 仅在适当选择归一化 $N_0$ 时是良定义的，且此类选择对应于一致的路径积分正则化。
• 对于同调球面 $M_0$，其不变量集合与 $S^3$ 相同，意味着对所有纽结 $L$，有 $\langle W(L)\rangle|_{M_0} = \langle W(L)\rangle|_{S^3}$。