Faddeev-Popov 与 BRST 量子化

规范场包含冗余变量。若直接对所有规范等价构型积分，会把同一个物理态重复计算。Faddeev-Popov 方法和 BRST 对称性就是为系统处理这种冗余而引入的。

1. 规范固定的必要性

Yang-Mills 路径积分形式上写成

$$Z=\int \mathcal{D}A{e}^{iS[A]}.$$

但 $A_{\mu }$ 和 $A_{\mu }^g$ 描述同一个物理构型。规范固定条件可写为

$$G^a(A)=0.$$

插入恒等式后，路径积分会出现 Faddeev-Popov 行列式：

$${\Delta }_{\mathrm{FP}}[A]=\det \left(\frac{\delta G^a(A^g)}{\delta {\alpha }^b}\right).$$

2. 鬼场

行列式可以用反交换标量场表示：

$${\Delta }_{\mathrm{FP}}[A]=\int \mathcal{D}\bar{c}\mathcal{D}c\exp \left(i\int d^{4}x{\bar{c}}^a{M}^{ab}{c}^b\right).$$

$c$、$\bar{c}$ 称为鬼场。它们不是外部物理粒子，但会在闭合圈图中贡献，从而维持规范理论的幺正性和重整化结构。

3. BRST 变换

规范固定后，普通规范不变性不再显式，但理论保留一个全局的 Grassmann 对称性，称为 BRST 对称性。典型变换为

$$s{A}_{\mu }^a=D_{\mu }{c}^a,s{c}^a=-\frac{1}{2}{f}^{abc}{c}^b{c}^c.$$

它的核心性质是幂零性：

$$s^2=0.$$

物理态可以用 BRST 上同调描述：闭的态代表候选物理态，恰当的态被视为规范冗余。

4. 与 Ward 恒等式的关系

BRST 对称性导出 Slavnov-Taylor 恒等式。这些恒等式保证规范固定参数不影响物理 S 矩阵，也约束重整化反项的形式。

因此，鬼场和 BRST 不是人为技巧，而是非 Abelian 规范理论量子化后保持一致性的基本结构。

5. 复习检查表

• 能解释为什么规范场路径积分需要除去规范冗余。
• 能写出 Faddeev-Popov 行列式的来源。
• 能说明鬼场为什么只在内部线中出现。
• 能写出 BRST 变换的幂零性 $s^2=0$。
• 能把 BRST 对称性和 Slavnov-Taylor 恒等式联系起来。