规范固定与Faddeev-Popov鬼场
-
问题的起源：路径积分中的规范冗余
在量子化规范理论（如量子电动力学QED或量子色动力学QCD）时，我们使用路径积分来生成关联函数。核心量是配分函数 Z = ∫ [DA] exp(i S[A])，其中 S[A] 是规范不变的杨-米尔斯作用量。这里，[DA] 表示对所有规范势 A_μ 的“积分测度”。然而，作用量 S[A] 在规范变换 A_μ → A_μ + ∂_μ ω（或非阿贝尔推广）下不变。这意味着在由所有规范势构成的空间（“规范空间”）中，一个物理的规范场配置（如一个光子或胶子的物理状态）实际上对应着整个由规范变换连接的“规范轨道”。如果我们天真地对所有这些轨道进行积分，我们将对每个物理上等价的场构型进行无限多次的重复积分，导致 Z 发散。这就是规范冗余问题。 -
核心思想：物理规范空间的选取
要得到一个有限的、有定义的路径积分，我们需要将积分限制在每个规范轨道上只取一个代表点。这相当于在“规范空间”中选取一个截面，即规定一个条件 F(A) = 0（如洛伦兹规范 ∂·A = 0，库仑规范 ∇·A = 0，轴规范 A_z = 0 等）。这个过程称为规范固定。直观上，它就像在三维空间中选取一个坐标系，每个点只用一组坐标 (x, y, z) 表示，而不是用所有可能的旋转后的坐标表示。 -
Faddeev-Popov 技巧的引入
简单地用 δ-函数 δ(F(A)) 来强行插入规范固定条件是不够的，因为 δ-函数的参数会改变路径积分的测度。Faddeev 和 Popov 发明了一种系统的方法来处理这一问题。其关键步骤如下：- 首先，在路径积分中插入一个“1”。这个“1”被巧妙地写为：1 = Δ_FP[A] ∫ [Dg] δ(F(A^g))。这里，g 代表规范变换群元素，A^g 是经过 g 变换后的规范势，[Dg] 是对所有规范变换的积分，而 δ(F(A^g)) 则选取那些满足固定条件 F(A)=0 的变换。
- 因子 Δ_FP[A] 被称为 Faddeev-Popov 行列式，正是为了保证这个等式恒等于1而引入的。它的显式表达式为：Δ_FP[A] = det( δF(A^g(x)) / δg(y) ) |_{F=0}。这个行列式度量了在满足固定条件的点附近，规范变换如何改变固定条件 F。它本质上是规范轨道与固定曲面相交处的“雅可比行列式”。
-
鬼场的诞生：将行列式费米子化
Faddeev-Popov 行列式 Δ_FP[A] 通常依赖于规范场 A，是一个复杂的泛函行列式，直接计算非常困难。一个革命性的技巧是，将这个玻色型的行列式表示为反对易的（费米子） Grassmann 变量的高斯路径积分。即：
det(M) = ∫ [Dc Dc̄] exp(i ∫ d⁴x c̄ M c)。
这里引入的两个新的虚构的、反对易的标量场 c(x) 和 c̄(x)，就是Faddeev-Popov 鬼场。它们不是物理粒子（不出现于初态和末态），而是为了保持理论的幺正性和规范不变性而引入的辅助场。鬼场是洛伦兹标量，但服从费米统计（满足反对易关系），这违反了自旋-统计定理，正是它们作为“虚拟”粒子的标志。 -
完整的作用量与 BRST 对称性
将以上所有步骤结合起来，规范固定后的有效路径积分变为：
Z = ∫ [DA Dc Dc̄] exp(i S_eff)， 其中 S_eff = S_YM[A] + S_gf[A] + S_gh[A, c, c̄]。- S_YM[A] 是原始的杨-米尔斯作用量。
- S_gf[A] = -1/(2ξ) ∫ d⁴x (F(A))² 是规范固定项（通常写成如 -1/(2ξ)(∂·A)² 的形式）。参数 ξ 是规范固定参数（如 ξ=1 是费曼规范，ξ=0 是朗道规范）。
- S_gh[A, c, c̄] = ∫ d⁴x c̄ M c 是鬼场作用量，其中 M 是 Faddeev-Popov 算子（在洛伦兹规范下，M = ∂·D，D 是协变导数）。
这个完整的作用量 S_eff 不再是规范不变的，但它拥有一个由 Becchi, Rouet, Stora 和 Tyutin 发现的更深层次的全局费米对称性——BRST 对称性。这个对称性将规范固定项、鬼项与原始作用量紧密联系起来，是量子理论保持幺正性和规范无关性的根本保证。
-
物理意义与必要性
- 消除冗余：规范固定与 FP 程序从根本上解决了路径积分中的无穷大冗余问题，使得计算得以进行。
- 保持幺正性：鬼场的引入抵消了规范玻色子中非物理偏振态（类时和纵向模）带来的负概率贡献。在计算如胶子散射的截面时，必须包含鬼圈图，才能得到幺正的、正定的结果。
- 与正则量子化的一致性：在协变规范（如洛伦兹规范）下，FP 鬼场路径积分形式自然地包含了正则量子化中 Gupta-Bleuler 或 BRST 方法所需的结构，使得协变量子化成为可能。
总而言之，规范固定与 Faddeev-Popov 鬼场是现代规范场论路径积分量子化的基石。它通过引入一个巧妙的数学构造（FP 行列式）及其鬼场表示，系统地将物理自由度从冗余的规范自由度中分离出来，从而为微扰计算和非微扰研究提供了自洽且可操作的基础。