Ward 恒等式与规范不变性

Ward 恒等式把对称性翻译成振幅之间的关系。它的作用不是多给一个计算技巧，而是告诉我们哪些量会被规范不变性强制抵消，哪些重整化常数不能独立选择。

1. 从流守恒到恒等式

若理论有连续全局对称性，Noether 流满足

$${\partial }_{\mu }{j}^{\mu }=0.$$

在量子理论中，把流插入关联函数并做局域变换，会得到 Ward 恒等式。它通常表达为“流的散度插入”等于其他场变换带来的接触项。

对散射振幅来说，一个常见结果是外部光子偏振替换为动量后振幅消失：

$${ϵ}_{\mu }(q){\mathcal{M}}^{\mu }=0+⟹q_{\mu }{\mathcal{M}}^{\mu }=0.$$

这说明纵向规范自由度不进入物理振幅。

2. QED 的 Ward-Takahashi 恒等式

电子传播子 $S(p)$ 和顶角函数 ${\Gamma }^{\mu }$ 满足

$$q_{\mu }{\Gamma }^{\mu }(p+q,p)=S^{-1}(p+q)-S^{-1}(p).$$

令 $q\to 0$，可以看出顶角修正和电子自能修正并非独立。重整化语言中，它导致 QED 的两个重整化常数满足

$$Z_1=Z_2.$$

这就是电荷重整化结构被规范不变性约束的具体表现。

3. 非 Abelian 情形

Yang-Mills 理论中规范场自相互作用和鬼场都参与恒等式，简单的 Ward 恒等式会推广为 Slavnov-Taylor 恒等式。形式更复杂，但物理含义类似：规范固定可以改变中间步骤，不能改变可观测振幅。

BRST 对称性是处理这些恒等式的系统语言。它把规范不变性、鬼场和物理态条件组织到同一个代数结构中。

4. 复习检查表

• 能说明 Ward 恒等式为什么来自对称性而不是具体图形。
• 能解释 $q_{\mu }{\mathcal{M}}^{\mu }=0$ 的物理意义。
• 能写出 QED 的 Ward-Takahashi 恒等式。
• 能说出 $Z_1=Z_2$ 代表哪类重整化约束。
• 能区分 Abelian Ward 恒等式和非 Abelian Slavnov-Taylor 恒等式。