阿贝尔陈-西蒙斯理论路径积分精确求解及相关技术问询

好问题！阿贝尔陈-西蒙斯理论的路径积分确实是少数几个可以精确求解的拓扑场论路径积分之一，而且规范固定的过程也比非阿贝尔情况简单很多——我完全理解威滕那篇《Quantum Field Theory and Jones Polynomial》的晦涩感，毕竟是开创领域的经典论文，推导跳跃性很强，下面我用更教学化的方式给你拆解：

答案是肯定的。因为阿贝尔陈-西蒙斯的作用量是规范场$A$的二次型（没有更高次的自相互作用项），本质上属于高斯型路径积分，而高斯路径积分是可以严格求解的，完全不需要依赖微扰展开。

首先回顾你的作用量：
$$S[A] = \frac{i}{2\pi} \int_M A \wedge dA$$
其中$M$是三维紧致流形，$A$是U(1)规范场（1-形式），它的规范变换为：
$$A \to A + d\lambda$$
这里$\lambda$是$M$上的实值函数（0-形式）。由于规范对称性，路径积分$\int \mathcal{D}[A] e^{iS[A]}$是发散的——每个物理态对应无穷多等价的规范场配置，所以必须引入规范固定来消除冗余自由度。

我们用经典的Faddeev-Popov方法一步步来：

• 第一步：选一个简单的规范固定条件，比如轴向规范（非常适合三维拓扑场论）：在某个局部坐标系下令$A_3=0$。这个规范能直接消除沿第三方向的冗余自由度。
• 第二步：计算Faddeev-Popov行列式。规范变换下，规范固定条件的变化为$d\lambda_3=0$，由于U(1)是阿贝尔群，结构常数为0，鬼场的作用量会退化为自由场形式：
  $$S_{\text{ghost}} = \int_M \bar{c} \Delta c$$
  其中$\Delta$是拉普拉斯算子。自由鬼场的路径积分$\int \mathcal{D}[\bar{c},c] e^{iS_{\text{ghost}}}$是一个与拓扑无关的常数，直接吸收到路径积分的归一化因子里就行，不影响最终的物理结果。
• 第三步：固定规范后，规范场$A$的冗余自由度被完全消除，剩下的物理自由度对应$M$上的调和1-形式（满足$dA=0$且$\star dA=0$，$\star$是霍奇星算子），这些调和形式的数量由$M$的第一贝蒂数$b_1(M)$决定。

由于阿贝尔陈-西蒙斯作用量是二次型，非微扰计算其实和精确求解是一回事——没有相互作用意味着不需要做微扰展开，直接就能得到精确结果：

• 首先把规范场$A$分解为三个部分：调和部分$A_h$、精确部分$A_e = d\phi$（$\phi$是实值函数），以及满足规范固定条件的波动部分。
• 代入作用量后，精确部分的贡献为零：$A_e \wedge dA_e = d\phi \wedge d(d\phi) = 0$，因为外微分的两次作用为零（$d^2=0$）。
• 调和部分满足$dA_h=0$，路径积分的结果由高斯积分的行列式决定，最终阿贝尔陈-西蒙斯的配分函数是流形$M$的拓扑不变量：比如对于封闭三维流形，配分函数$Z$等于$\exp\left( \frac{i}{4\pi} \text{Signature}(M) \right)$（$\text{Signature}(M)$是流形的符号差），同时还会依赖于第一贝蒂数$b_1(M)$的因子（比如$2^{b_1(M)}$）。

简单来说，整个计算过程不需要任何微扰近似，完全是非微扰的精确结果，这也是拓扑场论的迷人之处——所有物理信息都编码在流形的拓扑性质里。

内容的提问来源于stack exchange，提问作者Xenomorph