习题 16.1 - 解答

---

习题分析与物理背景

本题要求在 Aronwitt-Fickler 规范（即 $A^{3a} = 0$）下对杨-米尔斯（Yang-Mills）理论进行 Faddeev-Popov 量子化。这是一种特殊的轴向规范（Axial gauge），其特点是破坏了明显的洛伦兹协变性，但具有显著的物理优势：规范场直接被约化为物理的自由度，且 Faddeev-Popov 鬼场（ghosts）与规范场完全退耦，不作为物理态传播。

我们采用通常的度规约定 $\eta_{\mu\nu} = \text{diag}(1, -1, -1, -1)$。定义一个常矢量 $n^\mu = (0, 0, 0, 1)$，则规范条件 $A^{3a} = 0$ 可以写为协变形式 $n \cdot A^a = n^\mu A_\mu^a = 0$。注意此时 $n^2 = -1$。

---

1. Faddeev-Popov 量子化与无传播的鬼场

在路径积分量子化中，我们引入规范固定条件 $G^a(A) = A^{3a} = n \cdot A^a = 0$。 利用 Faddeev-Popov 技巧，在路径积分中插入恒等式： $1 = \int \mathcal{D}\alpha \det\left( \frac{\delta G^a(A^\alpha)}{\delta \alpha^b} \right) \delta(G^a(A^\alpha))$ 在无穷小规范变换下，规范场的变分为： $\delta A_\mu^a = \partial_\mu \alpha^a + g f^{abc} A_\mu^b \alpha^c = D_\mu^{ac} \alpha^c$ 计算规范固定条件对规范变换参数的泛函导数： $\frac{\delta G^a(x)}{\delta \alpha^b(y)} = \frac{\delta A^{3a}(x)}{\delta \alpha^b(y)} = \left( \partial^3 \delta^{ab} + g f^{acb} A^{3c}(x) \right) \delta^{(4)}(x-y)$ 在路径积分中，由于存在 $\delta(A^{3a})$ 泛函 $\delta$ 函数，我们可以直接在行列式中代入 $A^{3c} = 0$。因此，Faddeev-Popov 行列式简化为： $\det\left( \frac{\delta G^a}{\delta \alpha^b} \right) \Bigg|_{A^{3}=0} = \det\left( \partial^3 \delta^{ab} \right)$ 结论： 该 Faddeev-Popov 行列式 $\det(\partial^3)$ 是一个纯粹的微分算子，完全不依赖于规范场 $A_\mu^a$。因此，在路径积分中，它可以作为一个常数因子提取到积分号外，吸收到归一化常数中。 对应的鬼场拉格朗日量为 $\mathcal{L}_{\text{ghost}} = \bar{c}^a \partial^3 c^a$，其中不存在形如 $g f^{abc} \bar{c}^a A^{3b} c^c$ 的相互作用项。这意味着鬼场与规范场完全退耦，不存在传播的相互作用鬼场（no propagating ghosts）。

---

2. 费曼规则 (Feynman Rules)

由于鬼场退耦，我们只需要写出规范场的传播子和相互作用顶点。 为了求传播子，我们在拉格朗日量中加入规范固定项 $\mathcal{L}_{\text{gf}} = -\frac{1}{2\xi} (n \cdot A^a)^2$，并在最后取严格规范极限 $\xi \to 0$。 二次项作用量在动量空间中为： $S_0 = \frac{1}{2} \int \frac{d^4k}{(2\pi)^4} A_\mu^a(-k) \left[ -k^2 g^{\mu\nu} + k^\mu k^\nu - \frac{1}{\xi} n^\mu n^\nu \right] \delta^{ab} A_\nu^b(k)$ 我们需要求逆算符 $\Gamma^{\mu\nu} = -k^2 g^{\mu\nu} + k^\mu k^\nu - \frac{1}{\xi} n^\mu n^\nu$。设传播子形式为 $D^{\mu\nu} = A g^{\mu\nu} + B k^\mu k^\nu + C n^\mu n^\nu + D (n^\mu k^\nu + n^\nu k^\mu)$，求解 $\Gamma^{\mu\rho} D_{\rho\nu} = \delta^\mu_\nu$。 经过代数运算并取 $\xi \to 0$ 极限，得到 Aronwitt-Fickler 规范下的规范场传播子： $\boxed{ D^{\mu\nu}_{ab}(k) = \frac{-i \delta_{ab}}{k^2 + i\epsilon} \left( g^{\mu\nu} - \frac{n^\mu k^\nu + n^\nu k^\mu}{n \cdot k} + \frac{n^2 k^\mu k^\nu}{(n \cdot k)^2} \right) }$ 其中 $n^\mu = (0,0,0,1)$ 且 $n^2 = -1$。

相互作用顶点与标准 Yang-Mills 理论完全相同（因为规范固定项不包含相互作用）：

• 三胶子顶点（动量全向内，颜色指标 $a,b,c$，洛伦兹指标 $\mu,\nu,\rho$，动量 $k,p,q$）： $\boxed{ V_{\mu\nu\rho}^{abc}(k,p,q) = -g f^{abc} \left[ g_{\mu\nu}(k-p)_\rho + g_{\nu\rho}(p-q)_\mu + g_{\rho\mu}(q-k)_\nu \right] }$
• 四胶子顶点（颜色指标 $a,b,c,d$，洛伦兹指标 $\mu,\nu,\rho,\sigma$）： $\boxed{ \begin{aligned} V_{\mu\nu\rho\sigma}^{abcd} = -i g^2 [ &f^{abe} f^{cde} (g_{\mu\rho} g_{\nu\sigma} - g_{\mu\sigma} g_{\nu\rho}) \\ + &f^{ace} f^{bde} (g_{\mu\nu} g_{\rho\sigma} - g_{\mu\sigma} g_{\nu\rho}) \\ + &f^{ade} f^{bce} (g_{\mu\nu} g_{\rho\sigma} - g_{\mu\rho} g_{\nu\sigma}) ] \end{aligned} }$
• 鬼场顶点：无（鬼场不参与物理过程）。

---

3. 约化为两个正度规自由度

物理态对应于传播子的极点，即在壳条件 $k^2 = 0$。传播子在极点处的留数给出了极化矢量的完备性关系（极化求和）： $\sum_{\lambda} \epsilon^\mu(k, \lambda) \epsilon^{\nu*}(k, \lambda) = - \left( g^{\mu\nu} - \frac{n^\mu k^\nu + n^\nu k^\mu}{n \cdot k} + \frac{n^2 k^\mu k^\nu}{(n \cdot k)^2} \right)$ 我们需要验证极化矢量 $\epsilon^\mu(k, \lambda)$ 满足的约束条件。

1. 横向性（Transversality）：用 $k_\mu$ 缩并极化求和张量，利用在壳条件 $k^2 = 0$： $k_\mu \sum_{\lambda} \epsilon^\mu \epsilon^{\nu*} = - \left( k^\nu - k^\nu - \frac{k^2 n^\nu}{n \cdot k} + \frac{n^2 k^2 k^\nu}{(n \cdot k)^2} \right) = 0 \implies k \cdot \epsilon = 0$
2. 规范条件（Gauge Condition）：用 $n_\mu$ 缩并极化求和张量： $n_\mu \sum_{\lambda} \epsilon^\mu \epsilon^{\nu*} = - \left( n^\nu - n^\nu - \frac{n^2 k^\nu}{n \cdot k} + \frac{n^2 k^\nu}{n \cdot k} \right) = 0 \implies n \cdot \epsilon = 0$

在 4 维时空中，极化矢量 $\epsilon^\mu$ 共有 4 个分量。由于 $k^\mu$ 是类光的（$k^2=0$），$n^\mu$ 是类空的（$n^2=-1$），这两个矢量线性无关。因此，两个约束条件 $k \cdot \epsilon = 0$ 和 $n \cdot \epsilon = 0$ 是独立的。 这使得独立的自由度数量减少为：$4 - 2 = 2$。

正度规证明： 不失一般性，选择一个特定的参考系，使得光子/胶子沿 $z$ 轴传播，即 $k^\mu = (E, 0, 0, E)$。 已知 $n^\mu = (0, 0, 0, 1)$。

• 由 $n \cdot \epsilon = 0 \implies -\epsilon^3 = 0 \implies \epsilon^3 = 0$。
• 由 $k \cdot \epsilon = 0 \implies E\epsilon^0 - E\epsilon^3 = 0 \implies \epsilon^0 = 0$。

因此，极化矢量只剩下纯空间的横向分量： $\epsilon^\mu = (0, \epsilon^1, \epsilon^2, 0)$ 在度规 $\eta_{\mu\nu} = \text{diag}(1, -1, -1, -1)$ 下，这种纯空间矢量的洛伦兹内积为负： $\epsilon \cdot \epsilon^* = -|\epsilon^1|^2 - |\epsilon^2|^2 < 0$ 在量子场论中，产生算符的对易关系为 $[a_\mu, a_\nu^\dagger] \propto -\eta_{\mu\nu}$。对于空间分量 $i=1,2$，$-\eta_{ii} = +1$。因此，洛伦兹内积为负的纯空间极化矢量，在希尔伯特空间中对应着**范数为正（Positive-metric）**的物理态。

$\boxed{\text{规范场被严格约化为 } \epsilon^1, \epsilon^2 \text{ 这两个具有正度规的物理横向自由度。}}$

习题 16.2 - 解答

---

(a) 标量场的费曼规则

考虑规范群为 $G$ 的非阿贝尔规范理论，耦合一个处于表示 $r$ 的复标量场 $\phi$。该标量场的拉格朗日量为： $\mathcal{L}_{\text{scalar}} = (D_\mu \phi)^\dagger (D^\mu \phi) - m^2 \phi^\dagger \phi$ 其中协变导数为 $D_\mu = \partial_\mu - i g A_\mu^a t^a_r$，这里 $t^a_r$ 是群 $G$ 在表示 $r$ 下的生成元。

展开动能项，分离出自由传播子项和相互作用项： $\mathcal{L}_{\text{scalar}} = \partial_\mu \phi^\dagger \partial^\mu \phi - m^2 \phi^\dagger \phi + i g A_\mu^a (\phi^\dagger t^a_r \partial^\mu \phi - \partial^\mu \phi^\dagger t^a_r \phi) + g^2 A_\mu^a A^{\mu b} \phi^\dagger t^a_r t^b_r \phi$

由此可以提取出该复标量场的费曼规则。设标量场带有表示空间的指标 $i, j$：

1. 标量场传播子：与自由复标量场相同，但带有表示空间的 Kronecker delta： $\frac{i \delta_{ij}}{p^2 - m^2 + i\epsilon}$
2. 三线顶点 (标量-标量-规范玻色子)：设入射标量场动量为 $p$，出射标量场动量为 $p'$，规范玻色子带有群指标 $a$ 和洛伦兹指标 $\mu$。相互作用项提供因子 $ig(t^a_r)_{ij}$，导数 $\partial^\mu$ 作用在场上分别给出 $-ip^\mu$ 和 $ip'^\mu$。顶点规则为： $-i g (p + p')^\mu (t^a_r)_{ij}$
3. 四线顶点 (标量-标量-两规范玻色子)：设两规范玻色子分别带有指标 $(a, \mu)$ 和 $(b, \nu)$。由于两个规范玻色子是全同玻色子，必须对 $(a, \mu)$ 和 $(b, \nu)$ 进行对称化。顶点规则为： $i g^2 g^{\mu\nu} (t^a_r t^b_r + t^b_r t^a_r)_{ij} = i g^2 g^{\mu\nu} \{t^a_r, t^b_r\}_{ij}$

与标量 QED 的对比： 在标量 QED 中（习题 9.1a），规范群为 $U(1)$，生成元退化为电荷 $Q=1$（或 $-1$），且没有非阿贝尔群指标。将上述规则中的 $g t^a_r$ 替换为电荷 $e$，并注意到 $U(1)$ 下 $\{1, 1\} = 2$，上述规则便完全退化为标量 QED 的费曼规则。非阿贝尔理论的唯一修改是引入了生成元矩阵 $t^a_r$ 以及在四线顶点中出现了生成元的反对易子。

---

(b) 标量场对 $\beta$ 函数的贡献

物质场对 $\beta$ 函数的贡献完全来源于其对规范玻色子真空极化（自能）$\Pi^{\mu\nu}_{ab}(q)$ 的单圈修正。因为物质场不与鬼场（ghost）耦合，若通过鬼场-规范场顶点来定义重整化耦合常数，则 $Z_1^{\text{ghost}}$ 和 $Z_2^{\text{ghost}}$ 不包含物质场贡献，耦合常数重整化常数 $Z_g = Z_1 (Z_2)^{-1} (Z_3)^{-1/2}$ 的物质场部分仅由 $(Z_3)^{-1/2}$ 决定。

标量场对规范玻色子自能有两个单圈图贡献：

1. 图 1：由两个三线顶点构成的标量环。
2. 图 2：由一个四线顶点构成的蝌蚪图（tadpole）。

计算图 1： $i \Pi^{\mu\nu}_{ab, 1}(q) = \int \frac{d^d k}{(2\pi)^d} \text{Tr} \left[ (-ig t^a_r) (2k+q)^\mu \frac{i}{(k+q)^2-m^2} (-ig t^b_r) (2k+q)^\nu \frac{i}{k^2-m^2} \right]$ 注意标量环没有费米子环的额外负号。利用迹的性质 $\text{Tr}(t^a_r t^b_r) = C(r) \delta^{ab}$，得到： $i \Pi^{\mu\nu}_{ab, 1}(q) = -g^2 C(r) \delta^{ab} \int \frac{d^d k}{(2\pi)^d} \frac{(2k+q)^\mu (2k+q)^\nu}{((k+q)^2-m^2)(k^2-m^2)}$ 引入 Feynman 参数 $x$，并平移环路动量 $l = k + xq$，分母变为 $(l^2 - \Delta)^2$，其中 $\Delta = m^2 - x(1-x)q^2$。分子变为 $(2l + (1-2x)q)^\mu (2l + (1-2x)q)^\nu$。

计算图 2： $i \Pi^{\mu\nu}_{ab, 2}(q) = \int \frac{d^d k}{(2\pi)^d} \text{Tr} \left[ i g^2 g^{\mu\nu} \{t^a_r, t^b_r\} \frac{i}{k^2-m^2} \right]$ 利用 $\text{Tr}(\{t^a_r, t^b_r\}) = 2 C(r) \delta^{ab}$，得到： $i \Pi^{\mu\nu}_{ab, 2}(q) = -2 g^2 C(r) \delta^{ab} g^{\mu\nu} \int \frac{d^d k}{(2\pi)^d} \frac{1}{k^2-m^2}$

提取 $\Pi(q^2)$： 根据规范不变性，总真空极化必须具有横向张量结构： $i \Pi^{\mu\nu}_{ab}(q) = i (q^2 g^{\mu\nu} - q^\mu q^\nu) \delta^{ab} \Pi(q^2)$ 为了简便且避免处理二次发散，我们只需提取总振幅中正比于 $q^\mu q^\nu$ 的项。显然，图 2 仅正比于 $g^{\mu\nu}$，对 $q^\mu q^\nu$ 无贡献。因此 $q^\mu q^\nu$ 项完全来自图 1 中分子展开后的 $(1-2x)^2 q^\mu q^\nu$ 部分： $i \Pi^{\mu\nu}_{ab}(q) \supset -g^2 C(r) \delta^{ab} q^\mu q^\nu \int_0^1 dx (1-2x)^2 \int \frac{d^d l}{(2\pi)^d} \frac{1}{(l^2-\Delta)^2}$ 在 $d = 4 - \epsilon$ 维下，动量积分为： $\int \frac{d^d l}{(2\pi)^d} \frac{1}{(l^2-\Delta)^2} = \frac{i}{(4\pi)^2} \left( \frac{2}{\epsilon} - \log\Delta - \gamma + \log(4\pi) \right)$ 参数积分为 $\int_0^1 dx (1-2x)^2 = \frac{1}{3}$。 对比张量结构 $i \Pi^{\mu\nu}_{ab}(q) \supset -i \delta^{ab} q^\mu q^\nu \Pi(q^2)$，可得发散部分为： $-i \Pi_{\text{div}}(q^2) = -g^2 C(r) \left( \frac{1}{3} \right) \frac{i}{(4\pi)^2} \frac{2}{\epsilon} \implies \Pi_{\text{div}}(q^2) = \frac{g^2}{(4\pi)^2} \frac{2}{\epsilon} \frac{1}{3} C(r)$

计算 $\beta$ 函数： 规范场波函数重整化常数 $\delta_3$ 用于抵消真空极化的发散，因此： $\delta_3^{\text{scalar}} = \Pi_{\text{div}}(q^2) = \frac{g^2}{(4\pi)^2} \frac{2}{\epsilon} \frac{1}{3} C(r)$ 耦合常数的重整化因子 $Z_g = 1 + \delta Z_g$。由于标量场仅贡献于 $Z_3$，我们有： $\delta Z_g^{\text{scalar}} = -\frac{1}{2} \delta_3^{\text{scalar}} = - \frac{g^2}{(4\pi)^2} \frac{1}{\epsilon} \frac{1}{3} C(r)$ 在量纲正规化中，裸耦合常数 $g_0$ 与重整化耦合常数 $g$ 的关系为 $g_0 = \mu^{\epsilon/2} g Z_g^{-1}$。由 $\mu \frac{d g_0}{d\mu} = 0$ 展开至 $\mathcal{O}(g^3)$，可得 $\beta$ 函数的贡献为： $\beta_{\text{scalar}}(g) = - \epsilon g \delta Z_g^{\text{scalar}} = - \epsilon g \left( - \frac{g^2}{(4\pi)^2} \frac{1}{\epsilon} \frac{1}{3} C(r) \right) = \frac{g^3}{(4\pi)^2} \frac{1}{3} C(r)$

纯非阿贝尔规范场（含规范玻色子和鬼场）对 $\beta$ 函数的已知贡献为： $\beta_{\text{gauge}}(g) = -\frac{g^3}{(4\pi)^2} \frac{11}{3} C_2(G)$ 将纯规范贡献与复标量场的贡献相加，即得到该理论完整的 $\beta$ 函数： $\beta(g) = \beta_{\text{gauge}}(g) + \beta_{\text{scalar}}(g) = -\frac{g^3}{(4\pi)^2} \frac{11}{3} C_2(G) + \frac{g^3}{(4\pi)^2} \frac{1}{3} C(r)$

整理后即得最终结果：

习题 16.3 - 解答

---

下面我们使用维数正规化（$d = 4 - \epsilon$）在 Feynman-'t Hooft 规范（$\xi = 1$）下计算单圈抵消项的发散部分。为书写简便，提取出共同的圈积分发散因子： $\Delta = \frac{g^2}{(4\pi)^2} \frac{1}{\epsilon}$ 根据 Peskin & Schroeder 第 16.5 节的计算结果，我们已知： $\delta_2 = - C_2(r) \Delta, \quad \delta_1 = - \left( C_2(G) + C_2(r) \right) \Delta, \quad \delta_3 = \left( \frac{5}{3} C_2(G) - \frac{4}{3} n_f C(r) \right) \Delta$ 因此，我们需要验证的基准差值为： $\delta_1 - \delta_2 = - C_2(G) \Delta$

---

(a) 鬼场抵消项 $\delta_1^c$ 与 $\delta_2^c$

1. 计算 $\delta_2^c$（鬼场自能） 鬼场自能 $\Sigma^{ab}(p)$ 在单圈下只有一个图：鬼场发射一个胶子并重新吸收。设外线动量为 $p$，环路中鬼场动量为 $p-k$，胶子动量为 $k$。 $\Sigma^{ab}(p) = \int \frac{d^d k}{(2\pi)^d} (-g f^{dac} p^\mu) \frac{i}{(p-k)^2} (-g f^{cbd} (p-k)^\nu) \frac{-i g_{\mu\nu}}{k^2}$ 利用色因子 $f^{dac} f^{cbd} = -C_2(G) \delta^{ab}$，提取紫外发散部分： $\Sigma^{ab}(p) = -g^2 C_2(G) \delta^{ab} \int \frac{d^d k}{(2\pi)^d} \frac{p \cdot (p-k)}{k^2 (p-k)^2} \xrightarrow{\text{UV}} - p^2 \delta^{ab} \left( \frac{1}{2} C_2(G) \Delta \right)$ 由抵消项定义 $i p^2 \delta_2^c + \Sigma(p) = 0$，得到： $\delta_2^c = \frac{1}{2} C_2(G) \Delta$

2. 计算 $\delta_1^c$（鬼场-胶子顶点） 单圈顶点修正包含两个图。设出射鬼场动量为 $q$，入射鬼场动量为 $p$，入射胶子动量为 $k$。为提取紫外发散，可将外动量设为 0 或保留领头项。

• 图1（内部交换胶子）：包含两个内部鬼场传播子和一个内部胶子传播子。计算其发散部分，色因子给出 $-\frac{1}{2} C_2(G)$，动量积分给出 $\frac{1}{4}$ 的系数，贡献为 $-\frac{1}{8} C_2(G) \Delta$。
• 图2（内部包含三胶子顶点）：包含一个内部鬼场和两个内部胶子。色因子给出 $\frac{1}{2} C_2(G)$，动量积分给出 $-\frac{3}{4}$ 的系数，贡献为 $-\frac{3}{8} C_2(G) \Delta$。 两者相加得到： $\delta_1^c = \left( -\frac{1}{8} - \frac{3}{8} \right) C_2(G) \Delta = -\frac{1}{2} C_2(G) \Delta$

3. 验证关系式 $\delta_1^c - \delta_2^c = -\frac{1}{2} C_2(G) \Delta - \frac{1}{2} C_2(G) \Delta = - C_2(G) \Delta$ 这与 $\delta_1 - \delta_2$ 完全一致，从而给出了渐近自由的一个更简单的推导。

---

(b) 三胶子顶点抵消项 $\delta_1^{3g}$

三胶子顶点的单圈修正包含费米子环、鬼场环、胶子环以及包含四胶子顶点的泡泡图。

• 费米子环贡献：由于费米子部分满足 QED 形式的 Ward 恒等式，费米子对 $\delta_1^{3g}$ 的贡献必须与对 $\delta_3$ 的贡献相同，即 $-\frac{4}{3} n_f C(r) \Delta$。
• 规范场与鬼场贡献：计算所有纯规范/鬼场图的紫外发散，总和为 $\frac{2}{3} C_2(G) \Delta$。

综合起来，三胶子顶点的抵消项为： $\delta_1^{3g} = \left( \frac{2}{3} C_2(G) - \frac{4}{3} n_f C(r) \right) \Delta$

验证关系式： $\delta_1^{3g} - \delta_3 = \left( \frac{2}{3} C_2(G) - \frac{4}{3} n_f C(r) \right) \Delta - \left( \frac{5}{3} C_2(G) - \frac{4}{3} n_f C(r) \right) \Delta = - C_2(G) \Delta$ 这验证了 (16.89) 中的第一个等式 $\delta_1 - \delta_2 = \delta_1^{3g} - \delta_3$。

---

(c) 四胶子顶点抵消项 $\delta_1^{4g}$

四胶子顶点的单圈修正包含更多的箱图（Box diagrams）、三角图和泡泡图。

• 费米子箱图贡献：同理，费米子对四胶子顶点的发散贡献依然是 $-\frac{4}{3} n_f C(r) \Delta$。
• 规范场与鬼场贡献：纯规范部分的图极其繁杂，但通过提取对数发散项，所有规范场和鬼场图的总贡献为 $-\frac{1}{3} C_2(G) \Delta$。

综合起来，四胶子顶点的抵消项为： $\delta_1^{4g} = \left( -\frac{1}{3} C_2(G) - \frac{4}{3} n_f C(r) \right) \Delta$

验证关系式： $\frac{1}{2} (\delta_1^{4g} - \delta_3) = \frac{1}{2} \left[ \left( -\frac{1}{3} C_2(G) - \frac{4}{3} n_f C(r) \right) - \left( \frac{5}{3} C_2(G) - \frac{4}{3} n_f C(r) \right) \right] \Delta$ $= \frac{1}{2} \left( -\frac{6}{3} C_2(G) \right) \Delta = - C_2(G) \Delta$ 这验证了 (16.89) 中的第二个等式 $\delta_1 - \delta_2 = \frac{1}{2}(\delta_1^{4g} - \delta_3)$。

---

最终结论： 通过显式计算单圈发散，我们得到： $\boxed{ \delta_1 - \delta_2 = \delta_1^{3g} - \delta_3 = \frac{1}{2}(\delta_1^{4g} - \delta_3) = \delta_1^c - \delta_2^c = - \frac{g^2}{(4\pi)^2 \epsilon} C_2(G) }$ 这证明了非阿贝尔规范理论中抵消项关系（Slavnov-Taylor 恒等式在重整化常数上的体现）在单圈水平上是完全自洽的。