真空的规范固定与FP鬼场
-
背景：路径积分量子化中的规范对称性问题
在量子场论中，用路径积分方法量子化一个规范理论（如电磁理论、杨-米尔斯理论）时，会直接遇到一个根本困难。规范理论的作用量在规范变换下是不变的，这意味着场构型空间中，所有通过规范变换相互联系的点都具有完全相同的作用量值，从而在路径积分中贡献相同的权重因子 \(e^{iS}\)。这些点构成了所谓的“规范轨道”。当对所有场构型进行路径积分时，我们需要对每个物理上不等价的场只积分一次。但由于规范对称性的存在，对“整个”场构型空间的积分，实际上包含了在每个规范轨道上无穷多次地对物理上等价的场进行积分，这导致积分的结果是发散的（一个无穷大的体积因子，即规范群的体积）。这个发散不是物理的，而是由于对冗余的自由度（即规范自由度）进行了过度计数。 -
核心技巧：法捷耶夫-波波夫程序
为了从路径积分中提取出物理的、有限的结果，必须设法“固定”规范，即从每个规范轨道中挑选出一个代表点（例如，在电磁理论中要求 \(\partial_\mu A^\mu = 0\) 的洛伦兹规范）。法捷耶夫-波波夫（Faddeev-Popov, FP）发展了一套系统性程序来解决这个问题。其核心思想是，在路径积分中巧妙地插入“1”的特定表达式。这个“1”写作：
\[ 1 = \int \mathcal{D}\alpha(x) \ \delta(G(A^\alpha)) \ \det\left( \frac{\delta G(A^\alpha)}{\delta \alpha} \right) \]
其中，$A^\alpha$ 表示对场 $A_\mu$ 做参数为 $\alpha(x)$ 的规范变换后的结果，$G(A)=0$ 是我们选择的规范固定条件（如 $G(A)=\partial^\mu A_\mu - \omega(x)$）。这里的 $\delta$ 函数强制路径积分只在对满足特定规范条件的场构型上进行。而最关键的是出现的行列式 $\det(\delta G/\delta \alpha)$，称为**法捷耶夫-波波夫行列式**。这个行列式度量了规范固定条件在规范轨道上的变化率，是规范轨道体积的雅可比行列式，其出现补偿了因限制积分范围而“丢失”的轨道体积，从而保证了物理结果不依赖于具体选择的规范固定条件 $G$。
- 鬼场的引入：行列式的费米子表示
在微扰计算中，我们需要处理这个行列式 \(\det M\)，其中 \(M = \delta G/\delta \alpha\) 是一个微分算符。对于非阿贝尔规范理论（如杨-米尔斯理论），这个行列式是规范场 \(A_\mu^a\) 本身的函数，而不仅仅是常数。为了在路径积分框架和费曼图微扰论中处理这个依赖于场的行列式，FP的关键创新是将它“改写”为一项新的路径积分。他们利用了行列式可以表示为反对易（格拉斯曼）变量高斯积分的事实：
\[ \det M \propto \int \mathcal{D}\bar{c} \mathcal{D}c \ \exp\left( i \int d^4x \ \bar{c} M c \right) \]
这里引入的新场 $c^a(x)$ 和 $\bar{c}^a(x)$ 就是**法捷耶夫-波波夫鬼场**。它们是非常重要的数学对象：
* **自旋与统计**：它们是**标量场**（自旋为0），但服从**费米-狄拉克统计**（是格拉斯曼数），这是它们被称为“鬼”的原因之一——违背了自旋-统计定理。这一特性对于理论的幺正性至关重要。
* **非物理性**：它们不是渐近态，不描述真实可观测的粒子。它们只作为“虚粒子”出现在圈图中，是规范理论量子自洽性的内在要求。
* **角色**：鬼场的出现，确保了即使在规范固定之后，理论的幺正性（概率守恒）和规范不变的可观测量与规范选择无关性（即规范独立性）得以保持。
- 量子有效作用量：扩展的BRST对称性
将规范固定项和鬼场项加入到原始的规范不变作用量中，就得到了量子理论的总有效作用量。对于非阿贝尔规范理论，在洛伦兹规范 \((\partial_\mu A^{a\mu} = 0)\) 下，总有效作用量（杨-米尔斯作用量 + 规范固定项 + 鬼场项）具有一个强大的全局对称性，即BRST对称性（以发现者Becchi, Rouet, Stora, Tyutin命名）。这个对称性是原始规范对称性在量子水平上的残存，它以一种精巧的方式混合了规范场和鬼场的变化。BRST算符 \(s\) 是幂零的（\(s^2 = 0\)），物理态空间被定义为BRST上同调类（即BRST闭模去BRST恰当模）。这个框架为量子规范理论的表述、证明其幺正性、以及处理更复杂的约束系统提供了严格而优美的数学基础。
总结：“真空的规范固定与FP鬼场”是量子化非阿贝尔规范理论的核心技术环节。其演进逻辑是：处理规范冗余发散（问题）→ 通过FP程序引入规范固定条件和相关行列式（方案）→ 将行列式表示为反对易标量场的路径积分从而引入鬼场（数学实现）→ 整个量子有效理论展现出扩展的BRST对称性（深层结构）。没有这一套机制，杨-米尔斯规范理论（标准模型的基石）的微扰量子化将是不可行的，理论也将失去幺正性。