[论文解读] Chern-Simons Perturbation Theory

Scott Axelrod, I. M. Singer|ArXiv.org|Oct 20, 1991

Cold Atom Physics and Bose-Einstein Condensates被引用 34

一句话总结

本文在任意无边界的紧致3-流形上，通过在洛伦兹规范下进行BRS规范固定后采用超空间形式，建立了3D陈-西蒙斯理论的严格微扰形式化。通过分析传播子奇点，证明了该理论在所有圈阶下均有限，并表明2圈分划函数中异常的度量依赖性被一个等于度量联络的陈-西蒙斯作用量的局部反项抵消，与维滕的精确解一致。

ABSTRACT

We study the perturbation theory for three dimensional Chern--Simons quantum field theory on a general compact three manifold without boundary. We show that after a simple change of variables, the action obtained by BRS gauge fixing in the Lorentz gauge has a superspace formulation. The basic properties of the propagator and the Feynman rules are written in a precise manner in the language of differential forms. Using the explicit description of the propagator singularities, we prove that the theory is finite. Finally the anomalous metric dependence of the $2$-loop partition function on the Riemannian metric (which was introduced to define the gauge fixing) can be cancelled by a local counterterm as in the $1$-loop case. In fact, the counterterm is equal to the Chern--Simons action of the metric connection, normalized precisely as one would expect based on the framing dependence of Witten's exact solution.

研究动机与目标

• 在任意无边界的紧致3-流形上，提供3D陈-西蒙斯量子场论的数学严格微扰形式化。
• 使用微分形式和显式传播子分析，证明微扰展开在所有圈阶下的有限性。
• 通过引入局部反项，解决2圈分划函数中的异常度量依赖性。
• 表明该反项与度量联络的陈-西蒙斯作用量一致，与维滕精确解中的框架依赖性相符。
• 将该框架扩展至包含纽结不变量，并探讨非紧致群和带边界的流形的推广。

提出的方法

• 在洛伦兹规范下使用BRS规范固定，引入度量用于规范固定，经变量变换后得到超空间形式。
• 以微分形式表示作用量、传播子和费曼规则，以确保几何清晰性和一致性。
• 显式分析传播子奇点，证明所有圈振幅即使在1圈以上也均有限。
• 推导出一个等于度量联络的陈-西蒙斯作用量的局部反项，以抵消2圈分划函数的度量依赖性。
• 使用以$ k $的负幂次展开的微扰展开，通过$ k \to k+h $的平移与维滕的精确解一致，该平移由框架依赖性所支持。
• 基于度量变分的正式论证表明，$ I_V^{\text{disc}} $的变分是全微分，意味着度量无关性（至局部异常）成立。

实验结果

研究问题

• RQ1 能否在任意无边界的紧致3-流形上构建3D陈-西蒙斯理论的严格微扰形式化？
• RQ2 尽管存在潜在发散，微扰展开的分划函数在所有圈阶下是否有限？
• RQ3 规范固定引入的度量依赖性如何影响分划函数？能否将其消除？
• RQ4 2圈分划函数的度量依赖性是否与维滕精确解中预期的框架依赖性一致？
• RQ5 该微扰框架能否扩展至包含威尔逊圈可观测量和非紧致李群？

主要发现

• 通过分析传播子的奇点结构，证明了分划函数的微扰展开在所有圈阶下均有限。
• 2圈分划函数表现出异常的度量依赖性，该依赖性被一个等于度量联络的陈-西蒙斯作用量的局部反项所抵消。
• 该反项精确再现了维滕精确解中观察到的框架依赖性，验证了微扰展开中$ k \to k+h $平移的合理性。
• 在减去反项后，1圈和2圈的分划函数贡献均与度量无关，且2圈异常被完全解释。
• 高阶圈振幅的形式度量无关性由$ I_V^{\text{disc}} $的变分为全微分这一事实支持，暗示$ \beta_l = 0 $对$ l > 2 $成立。
• 结果可推广至纽结不变量，因为带有外部腿的格林函数是闭的，其度量变分为恰当形式，意味着微扰展开的度量无关性。