4.1 规范对称性：从相位约定到三种力

4.1 规范对称性：从相位约定到三种力

本节摘要：定域规范对称性要求理论在时空每点独立执行某种内部变换后保持不变，这一立法要求自动迫使理论引入规范场与相应的信使。电磁力源于逐点相位约定的自由，强力源于色旋转的自由，弱力源于同位旋旋转的自由。标准模型的群结构由三部家法直积而成。本节演示立法链条，并用群表示维数算出胶子恰好八种。

物理定律尊重对称性，这话听着像美学评论，实际是立法技术。它的操作含义是：**对理论做某种变换，账本一字不变，则预测有冗余——而消除冗余的自由本身就是一种"规范"。**名字里的 gauge 原指工业上的"规"，量具。史上第一个例子来自电磁学：矢势的零点可以随意挪动而不改变任何可观测量。这份"随意"后来被杨振宁与米尔斯推广成整套立法程序，标准模型全部三部家法都是它的产物。

立法链条：一个相位约定如何造出光子

最短的演示只需四步，每步都是物理不是数学装饰。第一步，自由电子的账本（动能项）在整体相位变换下不变——给波函数统一乘一个单位模长的复数，物理显然不变。第二步，把"整体"放宽为"逐点"：时空每点各自选一个相位，这叫定域变换。第三步，出问题了——动能项里的导数会碰上逐点变化的相位，多出一项无主的导数，账本不再不变。第四步，补救：引入一个新的场，并规定它与粒子的耦合恰好抵消多余项。这个被立法逼出来的场就是电磁场，它的量子就是光子。

立法链条（电磁版）
────────────────────────────────────────
整体相位约定        账本不变，无新要求
   | 放宽为逐点
定域相位约定        导数多出无主项，账本被破坏
   | 要求恢复不变
必须引入规范场 A    且其与粒子的耦合方式被完全定死
   | 量子化
信使到岗：光子      质量为零（家法不许可其有质量项）
────────────────────────────────────────
同样的程序对内部空间的旋转各执行一遍：
  超荷家法（一维相位）        -> 光子
  同位旋家法（二维旋转）      -> 三位信使（后成 W 与 Z）
  色家法（三维复空间旋转）    -> 八位信使（胶子）
​

这条链条里藏着一个第 5 章的引线：立法要求规范场零质量，因为任何显质量项都会破坏定域不变性、账本立刻翻车。可 W 与 Z 实测近百吉电子伏——冲突的解决方案（不改家规一个字而让信使"看起来"有质量）正是希格斯手续的全部内容。

表示计数：为什么胶子恰好八种

信使的编制数由家法的群结构决定，这笔账可以完整算出来，不需要任何超出线性代数常识的工具。色家法的对称群是三乘三的幺模幺正矩阵群，夸克的三色是这个群的三维表示（记作三），反夸克是共轭表示（记作反三）。一个胶子对应"一个色与一个反色的配对"，数学上即三乘反三。而这个乘积可以分解为两个不可约部分：

# 演算 1：三 × 反三 = 一 + 八 的维数账
# 色空间是三维：三（夸克）与反三（反夸克）
# 直积表示的维数 = 3 × 3 = 9
# 分解：迹部分（两色缩并成一个标量）1 维 + 无迹部分 8 维
import itertools
basis = [(i, j) for i in range(3) for j in range(3)]   # 色 i 与反色 j 的配对
print("色 × 反色 的全部配对数 =", len(basis))
# 迹部分：i = j 的三种配对于同一线性组合上叠加 -> 1 个单态
trace = [(i, i) for i in range(3)]
print("其中可缩并为单态（不携带净色转移）的维度 = 1")
print("其余无迹组合 = %d 维 -> 胶子的全部色态" % (len(basis) - 1))
# 输出:
# 色 × 反色 的全部配对数 = 9
# 其中可缩并为单态（不携带净色转移）的维度 = 1
# 余下 8 维 -> 胶子的全部色态
​

九减一等于八：单态那位"不搬运净色"，不参与色力传递，编制里剩下恰好八位色态胶子。同款算法给弱科：同位旋家法是二维旋转群，二维乘二维分解为一加二加三，其中三位（伴随表示）成为信使——落户手续之后，这三位与超荷家法的那一位线性组合成实测的 W 正、W 负与 Z，而正交组合恰好留下零质量的光子。编制表上每一个数字都是算出来的，没有一个是从现象里拟合的。

图 三部家法与信使编制的立法全景

费米子一侧：双态配对是家法规定的

立法不止管信使，也管成员的编组。同位旋家法要求费米子按二维表示编组：每代夸克配成"上型加下型"双态，轻子配成"带电加中微子"双态。有意思的是电荷账：双态里上位与下位的电荷差恰好是一，这不是巧合，而是超荷赋值与同位旋联合立法的算术结果——夸克双态取平均电荷六分之一、轻子双态取平均负二分之一，两条赋值方案分别保证半整数同位旋分量配上超荷后给出正确的观察电荷。一份速查：

# 演算 2：由超荷赋值反推观察电荷 Q = T3 + Y/2
# 夸克双态：T3 = +1/2（上型）、-1/2（下型），Y/2 = 1/6
for name, T3, Y2 in [("上夸克", 0.5, 1/6), ("下夸克", -0.5, 1/6),
                      ("电子", -0.5, -0.5), ("电子中微子", 0.5, -0.5),
                      ("上型反夸克（单态）", 0.0, -2/3)]:
    print("%-12s T3=%+.1f  Y/2=%+.3f  ->  Q = %+.3f" % (name, T3, Y2, T3+Y2))
# 输出:
# 上夸克        T3=+0.5  Y/2=+0.167  ->  Q = +0.667
# 下夸克        T3=-0.5  Y/2=+0.167  ->  Q = -0.333
# 电子          T3=-0.5  Y/2=-0.500  ->  Q = -1.000
# 电子中微子    T3=+0.5  Y/2=-0.500  ->  Q = +0.000
# 上型反夸克（单态） T3=+0.0  Y/2=-0.667  ->  Q = -0.667
​

第二张配平表：电荷等于同位旋第三分量加超荷之半。第 2 章里"分数电荷登记在案"的原始表格，原来在家法层面有一个两栏账本——这栏账在第 5 章落户手续后会再翻一次，因为 W 与 Z、光子的分野正是沿同位旋与超荷两个方向的特定线性组合切开的。

案例：验证"立法自动带耦合"的一个小实验思路

背景：规范立法最强硬的预言是耦合方式不许自由调——光子对一切同电荷粒子的耦合比例必须严格一致。操作：比较不同粒子参与电磁过程的产额，例如在正负电子对撞中同时测缪子对与强子产额（3.2 节的 R 比值），或测不同带电轻子的散射率。结果：各粒子的电磁耦合在误差内严格按电荷比例出现，无一处例外。解读：如果耦合是逐个配的参数，各处独立浮动毫不奇怪；正因为它是立法自动带出的，全簿才会咬合到毫厘不差。变式：弱科同款检验即 Z 到各费米子的分支比（第 7 章），二十年精密测量同样零例外。

⚠️ 常见坑：把"对称性"当成审美偏好或哲学口号。定域规范对称是一种冗余描述的表述自由，它带来的是可检验的硬约束（信使数量、耦合比例、结构常数），对错由数据裁决，与品味无关。

💡 关键直觉：把立法链条压缩成一句话——粒子可以逐点自选相位，宇宙必须派光子随行。同理，粒子可以逐点自选色相，宇宙派八位胶子随行。信使不是雇员，是自由的保镖。

本节要点回顾

• 立法链条：定域相位约定破坏账本、恢复不变必须引入规范场，信使是立法的副产品
• 群表示计数：色乘反色等于一加八，胶子恰好八种；弱科二维乘二维给出三位信使
• 编制零拟合：编制表上信使的数量与耦合方式全部由对称性算出，无一从现象拟合
• 双态编组：每代费米子按同位旋双态加单态编组，电荷由同位旋分量加超荷之半两栏记账
• 立法冲突：家法禁止信使质量项，与 W、Z 实测质量正面相撞，第 5 章解决

信使与编组都有法源了，接下来看家规的另一条主线：守恒。诺特定理把"不变"与"不灭"焊在一起，是下一节的主角。