第四章：规范场的量子化 —— 规范固定与“鬼场”的诞生

👨‍🏫 教师导读 当我们带着第三章满足完美规范对称的经典拉氏量，兴冲冲地准备进行路径积分量子化时，立刻会撞上了一堵叹息之墙：自由规范场的传播子算不出来！ 它的二次型矩阵竟然是不可逆的。难道量子场论失效了吗？不，数学上的“不可逆”，恰恰揭示了物理上深刻的“规范冗余”。本章我们将学习量子场论中最具技术美感的操作之一——Faddeev-Popov (FP) 方法。我们将用一把极其精准的“数学手术刀”，在无穷维的场空间中切掉冗余，而代价是，我们必须召唤出一种违背物理常理的神秘粒子——鬼场 (Ghost)。

🎯 核心逻辑与大图景

传播子危机的真相：为什么矩阵不可逆？因为沿着纯规范变换的轨道（Gauge Orbit），物理状态根本没有改变，场强为零（零模）。如果你对一条没有坡度的平地求极值，当然找不到唯一的解。
FP 手术刀：解决办法是“规范固定”。但我们不能暴力地随便加条件，必须在路径积分的测度中巧妙地插入一个恒等式 $1$。这就像在二维平面积分时，用极坐标 $(r, \theta)$ 把冗余的旋转角度 $\theta$ 积分剥离出来一样。
鬼场的宿命：在非阿贝尔理论中，切掉冗余后留下了一个复杂的 FP 行列式 $\det(\dots)$。为了把它放回指数的拉氏量中，我们引入了一对积分规则完全倒置的 Grassmann 标量场 $c, \bar{c}$。它们自旋为0，却满足费米子的反对易关系——它们不是真实的粒子，它们生来就是为了在费曼圈图中“自杀式”地抵消掉胶子多余的非物理自由度。

🔑 核心知识点速览

1. 规范固定项的引入

为了让传播子可逆，我们在拉氏量中手动加入 $-\frac{1}{2\xi}(\partial_\mu A^\mu)^2$。不同的 $\xi$ 取值对应不同的规范（费曼规范 $\xi=1$，朗道规范 $\xi=0$）。神奇的是，最终任何可观测的物理结果都必须与 $\xi$ 无关。

2. Faddeev-Popov 行列式

通过引入规范固定函数 $G(A)$，路径积分中涌现出 FP 行列式： $$ \det \left[ \frac{\delta G(A^\theta)}{\delta \theta} \right] $$ 在 QED (U(1)) 中，这个行列式与 $A_\mu$ 无关，是个无聊的常数；但在 QCD 中，由于协变导数 $D_\mu$ 包含 $A_\mu$，它变成了复杂的相互作用。

3. 完整的量子化有效拉氏量

原拉氏量 + 规范固定项 + 鬼场项，构成了我们最终用于微扰计算的基石： $$ L_{\text{final}} = -\frac{1}{4}F_{\mu\nu}^a F^{a,\mu\nu} - \frac{1}{2\xi}(\partial_\mu A^{a,\mu})^2 + (\partial^\mu \bar{c}^a)(D_\mu c^a) $$

🤯 “魔法”时刻 (Aha! Moment)

QED 为什么不需要鬼场？ 在 U(1) 理论中，规范变换是 $\delta A_\mu = \frac{1}{g}\partial_\mu \theta$。FP 行列式变成了 $\det(\partial^2)$。里面没有 $A_\mu$。这意味着在 QED 中，FP 行列式只是一个全局常数，可以直接提出积分号外被归一化掉。大自然在这里对阿贝尔群网开一面，而对于非阿贝尔群，则要求我们必须直面“鬼场”的纠缠。非阿贝尔是否一定需要鬼场？ 也不一定，取“轴规范”就可以让鬼场脱耦，但代价是传播子变得更复杂。

📚 阅读与练习指南

📖 重点阅读：

4.1 & 4.2.1 节：具体考虑 FP 方法之前，先看懂简单的二维积分 $f(x^2+y^2)$ 的类比。搞懂了极坐标下怎么剥离 $\theta$，你就搞懂了 FP 方法的灵魂。
4.3 节：学会如何从 $\mathcal{L}_{\text{final}}$ 中“读”出费曼规则。特别是三胶子和四胶子顶点，体会非阿贝尔带来的恐怖的指标缩并。

✍️ 推荐习题：

题3（必做）：推导标量 QED (SQED) 的四点振幅费曼图。注意区分它与普通 QED 的不同（多了一个四点接触顶点）。
题4：尝试推导四胶子顶点的费曼规则。这是场论计算的基本练习。

🔗 完整内容请参考《规范场》讲义-2026版 PDF 第 4 章。

第 4 章 规范场的量子化