目前,物理上合理的基本相互作用理论都以规范理论为基础。规范原理——物理不应依赖于我们如何描述它——与广义相对论原理是协调一致的。这里我们简要概述规范理论的经典方面。进一步的参考文献,读者应查阅本章开头所列的书籍。
1.8.1 阿贝尔规范理论
读者应当熟悉麦克斯韦方程组:
divB=0(1.241a)
∂t∂B+curlE=0(1.241b)
divE=ρ(1.241c)
∂t∂E−curlE=−j.(1.241d)
磁场 B 与电场 E 可用矢势 Aμ=(ϕ,A) 表示为
B=curlAE=∂t∂A−gradϕ.(1.242)
麦克斯韦方程组在规范变换
Aμ→Aμ+∂μχ(1.243)
下保持不变,其中 χ 是一个标量函数。若我们按下式定义电磁场张量(electromagnetic field tensor) Fμν,这种不变性便一目了然:
Fμv≡∂μAv−∂vAμ=0ExEyEz−Ex0−BzBy−EyBz0−Bx−Ez−ByBz0.(1.244)
由上述构造可知,F 在 (1.243) 下保持不变。电磁场的拉格朗日量由下式给出:
LEM=−41FμνFμν+Aμjμ(1.245)
其中 jμ=(ρ,j)
证明 (1.241a) 与 (1.241b) 可写成
∂ξFμν+∂μFνξ+∂νFξμ=0(1.246a)
而 (1.241c) 与 (1.241d) 则为
∂vFμv=jμ(1.246b)
其中时空指标的升降由闵可夫斯基度量 η=diag(−1,1,1,1) 完成。验证 (1.246b) 就是由 (1.245) 导出的欧拉-拉格朗日方程。
设 ψ 是电荷为 e 的狄拉克场。自由狄拉克拉格朗日量
L0=ψˉ(iγμ∂μ+m)ψ(1.247)
显然在整体规范变换
ψ→e−ieαψψˉ→ψˉeieα(1.248)
下保持不变,其中 α∈R 为常数。我们把这个对称性提升为局域规范变换下的不变性,
ψ→e−ieα(x)ψψˉ→ψˉeieα(x).(1.249)
拉格朗日量在 (1.249) 下变换为
ψˉ(iγμ∂μ+m)ψ→ψˉ(iγμ∂μ+eγμ∂μα+m)ψ.(1.250)
由于多出的项 e∂μα 看起来像是矢势的规范变换,我们让规范场 Aμ 与 ψ 耦合,使拉格朗日量具有局域规范对称性。我们发现
L=ψˉ[iγμ(∂μ−ieAμ)+m]ψ(1.251)
在联合规范变换
ψ→ψ′=e−ieα(x)ψψˉ→ψˉ′=ψˉeieα(x)Aμ→Aμ′=Aμ−∂μα(x).(1.252)
下保持不变。下面引入协变导数,
∇μ≡∂μ−ieAμ∇μ′≡∂μ−ieAμ′.(1.253)
读者应当验证 ∇μψ 以良好的方式变换,
∇μ′ψ′=e−ieα(x)∇μψ.(1.254)
总的量子电动力学(QED)拉格朗日量为
LQED=−41FμνFμν+ψˉ(iγμ∇μ+m)ψ.(1.255)
设 ϕ=(ϕ1+iϕ2)/2 是电荷为 e 的复标量场。证明拉格朗日量
L=ημv(∇μϕ)†(∇vϕ)+m2ϕ†ϕ(1.256)
在规范变换
ϕ→e−ieα(x)ϕϕ†→ϕ†eieα(x)Aμ→Aμ−∂μα(x).(1.257)
1.8.2 非阿贝尔规范理论
上面描述的规范变换是 U(1) 群的元素,即一个模为 1 的复数,而 U(1) 群恰好是阿贝尔群。几十年前,Yang 和 Mills(1954)引入了非阿贝尔规范变换。当时,人们研究非阿贝尔规范理论只是出于好奇;如今,它们已在基本粒子物理中处于核心地位。
设 G 是一个紧致半单李群,例如 SO(N) 或 SU(N)。其反厄米的生成元 {Tα} 满足对易关系
[Tα,Tβ]=fαβγTγ(1.258)
其中数 fαβγ 称为 G 的李代数的结构常数(structure constant)。G 中靠近单位元的元素 U 可表示为
U=exp(−θαTα).(1.259)
我们假定狄拉克场 ψ 在 U∈G 下按如下方式变换:
ψ→Uψψˉ→ψˉU†.(1.260)
[注:严格说来,我们必须指明 ψ 属于 G 的哪个群表示。如果读者对(1.260)感到不放心,例如,可以认为 ψ 处于基础表示。]
考虑拉格朗日量
L=ψˉ[iγμ(∂μ+gAμ)+m]ψ(1.261)
其中杨-米尔斯规范场 Aμ 取值于 G 的李代数,也就是说,Aμ 可以按 Tα 展开为 Aμ=AμαTα。(花体场是反厄米的。)常数 g 是耦合常数,它控制狄拉克场与规范场之间耦合的强度。容易验证,L 在如下变换下不变:
ψ→ψ′=Uψψˉ→ψˉ′=ψˉU†(1.262)
Aμ→Aμ′=UAμU†+g−1U∂μU†.
规范协变导数仍按以前的方式定义为 ∇μ=∂μ+gAμ。规范协变导数 ∇μψ 在规范变换下按协变方式变换:
∇μ′ψ′=U∇μψ.(1.263)
杨-米尔斯场张量为
Fμv≡∂μAv−∂vAμ+g[Aμ,Av].(1.264)
其分量 Fμνα 为
Fμvα=∂μAvα−∂vAμα+gfβγαAμβAvγ.(1.265)
若定义对偶场张量(dual field tensor) ∗Fμν≡21εμνκλFκλ,则它满足比安基恒等式,
Dμ∗Fμv≡∂μ∗Fμv+g[Aμ,∗Fμv]=0.(1.266)
证明 Fμν 在 (1.262) 下变换为
Fμv→UFμvU†.(1.267)
由这道习题,我们得到一个规范不变的作用量
LYM=−21tr(FμvFμv)(1.268a)
其中迹是对群矩阵取的。其分量形式为
LYM=−21FμvαFμvβtr(TαTβ)=41FμvαFμvα(1.268b)
这里我们已将 {Tα} 归一化,使得 tr(TαTβ)=−21δαβ。由 (1.268) 导出的场方程为
DμFμv=∂μFμv+g[Aμ,Fμv]=0.(1.269)
1.8.3 希格斯场
如果规范对称性在我们的世界中是明显可见的,那么就会存在许多可观测的无质量向量场。除了电磁场之外并不存在这类场,这就迫使我们破缺规范对称性。如果对称性是自发破缺的,理论就仍然保持可重整。
让我们考虑一个与复标量场 ϕ 耦合的 U(1) 规范场,其拉格朗日量由下式给出
L=−41FμvFμv+(∇μϕ)†(∇μϕ)−λ(ϕ†ϕ−v2)2.(1.270)
势能 V(ϕ)=λ(ϕ†ϕ−v2)2 在 ∣ϕ∣=v 处取极小值 V=0。拉格朗日量 (1.270) 在如下局域规范变换下不变
Aμ→Aμ−∂μαϕ→e−ieαϕϕ†→eieαϕ†.(1.271)
由于希格斯场 ϕ 的真空期望值(VEV)⟨ϕ⟩,这一对称性是自发破缺的。我们将 ϕ 展开为
ϕ=21[v+ρ(x)]eiα(x)/v∼21[v+ρ(x)+iα(x)]
这里假定 v=0。若 v=0,我们可以取幺正规范,在其中 ϕ 的相位被“规范掉”,从而 ϕ 只含实部,
ϕ(x)=21(v+ρ(x)).(1.272)
将(1.272)代入(1.270)并按ρ展开,可得
L=−41FμνFμν+21∂μρ∂μρ+21e2AμAμ(v2+2vρ+ρ2)−41λ(4v2ρ2+4vρ3+ρ4).(1.273)
由自由部分导出的Aμ与ρ的运动方程为
∂νFνμ+2e2v2Aμ=0∂μ∂μρ+2λv2ρ=0.(1.274)
由第一个方程可知,Aμ必须满足洛伦兹条件∂μAμ=0。(1.270)表面上具有的自由度为 2(光子)+ 2(复标量)= 4。若真空期望值 ≠ 0,则有 3(有质量矢量场)+ 1(实标量)= 4。场A0的质量项符号错误,因此不能是物理的自由度。由规范场产生有质量场的过程称为希格斯机制(Higgs mechanism)。
来源与版本
正文:中文 · 机器译稿 · 待校对
核对状态:机器译稿 · 待校对
原书 PDF
来源版本:second-edition-local
来源 PDF SHA-256:fcd24c3371d092a8c699ccf5cf0765462924b6c48412804231076e8084b1940d
OCR 来源 SHA-256:0b6324f01172a3548cd34382e82fd8bfae574602b6b2cfaa357ba96bc2c35478
译稿产物 SHA-256:da0726eea6e193d0b70ca9df1606967285b59472f816d3ab6262f866729ae929