7.3 杨-米尔斯与鬼场：自相互作用的剧团
7.3 杨-米尔斯与鬼场：自相互作用的剧团
本节摘要：把规范群从不对易的 U(1) 换成 SU(2)、SU(3)，规范场自身携带群荷，拉格朗日量多出三胶子与四胶子自相互作用顶点——渐近自由的负号即由此而来。量子化非阿贝尔规范场需要规范固定，由此产生的法捷耶夫-波波夫鬼场是无旋量的记账粒子，保证么正性与规范无关性。本节数值验证泡利矩阵的对易子结构与 SU(3) 结构常数的计数，并给出鬼场的角色说明。
承接 7.2 的规范原理：本节把它推广到非阿贝尔群，完成强、弱相互作用的骨架搭建；通往 7.4 的自发破缺——弱作用的规范玻色子将从那里拿到质量。
不对易：一切的源头
U(1) 的"群元素"是相位 e^{iθ}，相位相乘可交换。SU(2)、SU(3) 的元素是矩阵，矩阵相乘不交换——这个看似技术性的差别改写了剧本：
阿贝尔 U(1)： 生成元只有 1 个（单位元），对易子恒为零 规范场 A 不带荷：光子不与光子耦合 非阿贝尔 SU(N)：生成元 T_a 共 N²-1 个，对易子非零： [T_a, T_b] = i f_abc T_c （f_abc 为结构常数） 协变导数： D_mu = d_mu - i g A_mu^a T^a （g 为耦合，A 现在带群指标 a） 场强： F_mn^a = dA + g·f·A·A <- 第二项是全新内容！ （A 与 A 自己耦合，规范场携带自己的群荷）
场强里的 g·f·A·A 项就是自相互作用：胶子（SU(3)）有三种三胶子顶点与一种四胶子顶点，光子一种都没有。6.4 的渐近自由由此发源——反屏蔽项正是这些自相互作用圈的贡献。数值验证从最小的非阿贝尔群 SU(2) 开始：
# 演算 1：泡利矩阵的对易子结构（SU(2) 的结构常数 = epsilon 符号） s_x = [[0, 1], [1, 0]]; s_y = [[0, -1j], [1j, 0]]; s_z = [[1, 0], [0, -1]] gens = [s_x, s_y, s_z] def comm2(A, B): return [[sum(A[i][k]*B[k][j] for k in range(2)) - sum(B[i][k]*A[k][j] for k in range(2)) for j in range(2)] for i in range(2)] ok = True for a in range(3): for b in range(3): if a == b: continue C = comm2(gens[a], gens[b]) for c in range(3): sgn = 1 if (a, b, c) in ((0,1,2),(1,2,0),(2,0,1)) else (-1 if (a, b, c) in ((1,0,2),(2,1,0),(0,2,1)) else 0) if sgn == 0: continue rhs = [[2j*sgn*gens[c][i][j] for j in range(2)] for i in range(2)] if max(abs(C[i][j]-rhs[i][j]) for i in range(2) for j in range(2)) > 1e-12: ok = False print("[sigma_a, sigma_b] = 2i·epsilon_abc·sigma_c 全部验证：", ok) # 输出: [sigma_a, sigma_b] = 2i·epsilon_abc·sigma_c 全部验证： True
SU(2) 的结构常数就是三阶全反对称符号 ε（六个非零分量）。SU(3) 用盖尔曼矩阵做生成元，结构常数 f_abc 的非零模式更丰富——数值清点：
# 演算 2：SU(3) 结构常数的数值清点（盖尔曼矩阵投影） import math l = [None]*8 l1 = [[0,1,0],[1,0,0],[0,0,0]]; l2 = [[0,-1j,0],[1j,0,0],[0,0,0]] l3 = [[1,0,0],[0,-1,0],[0,0,0]]; l4 = [[0,0,1],[0,0,0],[1,0,0]] l5 = [[0,0,-1j],[0,0,0],[1j,0,0]]; l6 = [[0,0,0],[0,0,1],[0,1,0]] l7 = [[0,0,0],[0,0,-1j],[0,1j,0]]; l8 = [[1,0,0],[0,1,0],[0,0,-2]] l8 = [[x/math.sqrt(3) for x in r] for r in l8] T = [ [[m/2 for m in r] for r in M] for M in (l1, l2, l3, l4, l5, l6, l7, l8) ] def comm3(A, B): return [[sum(A[i][k]*B[k][j] for k in range(3)) - sum(B[i][k]*A[k][j] for k in range(3)) for j in range(3)] for i in range(3)] cnt = 0 vals = {} for a in range(8): for b in range(a+1, 8): C = comm3(T[a], T[b]) for c in range(8): tr = sum(C[i][j]*T[c][j][i] for i in range(3) for j in range(3)) f = (tr/1j).real*2 if abs(f) > 1e-10: cnt += 1 vals[(a+1, b+1, c+1)] = round(f, 3) print("a<b 且非零的 (a,b,c) 组合数 =", cnt, "；对应 9 组独立结构常数") print("数值示例：", dict(list(vals.items())[:6])) # 输出: # a<b 且非零的 (a,b,c) 组合数 = 27 ；对应 9 组独立结构常数 # 数值示例： {(1, 2, 3): 1.0, (1, 3, 2): -1.0, (1, 4, 7): 0.5, (1, 5, 6): -0.5, (1, 6, 5): 0.5, (1, 7, 4): -0.5}
27 个非零组合对应 9 组独立的 f_abc（每组含 3 个 a<b 的排列，计及反对称共 54 个非零有序分量）。取值只有 1、0.5、0.866 三档——SU(3) 的紧致结构。胶子自相互作用的顶点因子直接由这些 f 构造，费曼规则表在 QED 的基础上加两行（三胶子顶点、四胶子顶点），渐近自由的 β 函数负项就是三胶子圈的直译。
鬼场：记账员不是演员
非阿贝尔规范场的量子化比 QED 多一道工序。路径积分（7.1）对全部场构型求和，但规范等价的构型（3.4 的全部替身戏服）描述同一个物理态——直接积分会把每个物理态重复计数无穷次。法捷耶夫与波波夫 1967 年的处理：
1. 规范固定：选一个代表（如洛伦兹规范 d_mu A^mu = 0），替身出局 2. 行列式因子：固定手续在积分测度里留下一个行列式 det(M) 3. 把 det(M) 指数化：引入一对复标量鬼场 c、c_bar（格里波夫外的标准做法） L_ghost = -c_bar · M · c （M 为规范固定算符） 4. 鬼场的身份：反对易的标量（统计"错位"），只出现在内线， 永不出现在外线名册——它是记账员，不是演员 后果（好消息）： 含鬼图的振幅恰好多出负贡献，与规范玻色子的非物理极化 逐阶对消 -> 么正性保住（概率守恒），规范选取无关性保住
鬼场是"统计错位"（反对易的玻色子）这一怪异设定的正当性完全来自功能：它修复被规范冗余破坏的计数。BRST 对称性（贝奇-鲁埃-斯泰-蒂伊特，1975）把这个机制升格为变换生成的守恒律，成为非阿贝尔理论可重整化证明的基石——6.2 的账房制度在非阿贝尔语境下的法律条款。
图 非阿贝尔剧团的组织结构图
⚠️ 易错点：鬼场不是可观测粒子候选。它出现在费曼图内线与闭环里（每条闭合鬼圈照例带负号），但外线名册永远没有它；任何"探测鬼粒子"的说法都是对记账工具的实体化误读。
💡 关键直觉：把非阿贝尔规范场想成"自带社团的演员"——光子是独行者，胶子是三种颜色社团的成员，社团规则（结构常数）决定了谁能与谁怎样互动。渐近自由、夸克禁闭、胶球的存在，全部是社团生活的副产品。
本节要点回顾
- 不对易即自耦合：[T_a,T_b] ≠ 0 导致场强含 AA 项，三/四胶子顶点诞生
- SU(2) 结构：泡利对易子数值验证，f = ε 共 6 个非零分量
- SU(3) 结构：27 个 a<b 组合、9 组独立常数、三档取值；胶子 8 种自带颜色
- β 符号：自相互作用圈反屏蔽，压过费米子屏蔽——渐近自由的机制源头
- 鬼场岗位：规范固定的行列式因子指数化产物，只在内线，保么正性与规范无关性
强作用的骨架就位，弱作用的还差一块：W 与 Z 明明有质量（80、91 GeV），而 7.2 说过规范玻色子不许有质量项。下一节的墨西哥帽解开这个结。