杨-米尔斯理论
杨-米尔斯理论是1954年由杨振宁与罗伯特·米尔斯提出的一类非阿贝尔规范场论，它把电磁理论中的U(1)规范不变性推广到非交换李群，用对称性要求来确定基本粒子之间相互作用的形式。该理论的规范场自身带有荷，场方程因此非线性，规范粒子之间存在自相互作用。它后来成为粒子物理标准模型的数学框架，弱电统一理论与量子色动力学都以它为基础。
定义
杨-米尔斯理论是非交换对称群（又称非阿贝尔群）的规范场论，它要求物理系统的拉格朗日量在时空各点分别施行的对称变换下保持不变，由此确定相互作用的形式[1]。与电磁理论所属的阿贝尔情形不同，它的规范群元素互不对易，这一差别带来实质性的物理后果[2]。
1954年，杨振宁和罗伯特·米尔斯为解释强相互作用，引入以SU(2)同位旋对称群为基础的非交换规范场论，把电磁学中的规范不变性加以推广。同期，罗纳德·肖在阿卜杜勒·萨拉姆指导下于博士论文中独立提出了相同概念[1]。
该理论的规范场承载非阿贝尔群的荷，因而规范场与自身发生作用；这种自相互作用没有经典对应物，属于纯粹的理论发现[3]。规范粒子之间因而存在三线顶点与四线顶点，即使没有荷电物质，理论仍是非平凡的相互作用理论[2]。
原理
规范场论的出发点是局域对称性。若要求场在时空每一点可独立作相位变换而物理不变，普通导数不再协变，必须引入协变导数 $D_\mu = \partial_\mu - igB_\mu$，其中 $B_\mu$ 即规范场[4]。规范场的作用相当于把不同点的相位约定作比较的规则，离开它就无法以规范不变的方式比较两点上的场[4]。
场强由协变导数的对易子给出。在阿贝尔情形下 $F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu$；对非阿贝尔群则多出一个对易子项 $G_{\mu\nu}=\partial_\mu B_\nu-\partial_\nu B_\mu-ig[B_\mu,B_\nu]$[4]。杨-米尔斯作用的写法为 $S=\frac{1}{4g^2}\int F^a_{\mu\nu}F^{a\mu\nu}\,d^4x$，它是麦克斯韦作用的自然推广，当规范群取U(1)时回到电磁理论[2]。
非交换性使场方程成为非线性偏微分方程，解不满足叠加原理，杨-米尔斯场的传播不会像光波那样彼此自由穿过[2]。由于质量项 $m^2B_\mu B^\mu$ 破坏规范不变性，1954年原始理论中的规范粒子必须无质量，这与当时设想的核力短程性质相冲突，是保利在报告会上反复追问的问题[4]。
发展历程
规范对称性的思想可追溯到赫尔曼·外尔1929年的工作，他把粒子波函数的局域相位不变性与电磁理论联系起来[1]。量子力学建立后，外尔、弗拉基米尔·福克和弗里茨·伦敦以复数因子替代尺度因子，得到 U(1) 规范对称性，构成第一个规范场论，泡利于1940年推动了这一理论的传播。
1954年2月，杨振宁在普林斯顿高等研究院作报告介绍新理论，保利不断追问该场的质量问题；同年4月30日，杨振宁与米尔斯在美国物理学会华盛顿会议上报告了这项工作，论文于1954年10月1日发表在《物理评论》上[5]。该理论发表后约十年间几乎未受重视[2]。
1960年代解决了规范粒子质量问题。1964年，彼得·希格斯等人提出通过与规范场耦合的标量场真空自发破缺，使相应规范场获得静止质量，而拉格朗日量的规范不变性仍得以保持[6]。1971年，杰拉德·特·胡夫特证明自发破缺的非阿贝尔规范理论可以重整化，使这类理论成为可计算的量子场论[4]。
1973年，戴维·格罗斯与弗朗克·维尔切克、休·波利策分别发现非阿贝尔规范理论可以具有渐近自由的性质，即夸克间相互作用在短距离或高能下变弱，这一结果奠定了量子色动力学的基础，3人因此获得2004年诺贝尔物理学奖[7]。弱电相互作用的规范群为 SU(2)×U(1)，强相互作用为 SU(3)，标准模型由此成为规范群 SU(3)×SU(2)×U(1) 的规范场论[5]。
应用
杨-米尔斯理论最重要的应用是粒子物理标准模型。标准模型用规范场论的语言统一表述电磁力、弱相互作用与强相互作用，其对三种基本力的预言与实验相符。弱电统一理论预言的 W± 与 Z0 玻色子于1983年在欧洲核子研究中心被观测到，质量与性质同理论预言符合得相当好[6]。
作为杨-米尔斯粒子的胶子于1979年在德国电子同步加速器中心的 TASSO 合作组被首次观测到，弱电相互作用的规范粒子则由欧洲核子研究中心的 UA(1) 合作组观测到[5]。在量子色动力学中，规范群 SU(3) 作用在夸克的色荷上，胶子带有色荷并因而产生反屏蔽效应，这是渐近自由的物理来源。
该理论的影响超出物理学。1970年代迈克尔·阿蒂亚提出研究经典杨-米尔斯方程数学解的计划，1983年其学生西蒙·唐纳森据此证明光滑4-流形的可微性分类与同胚性分类差别很大，麦可·弗里德曼又由唐纳森的工作证明4维欧几里得空间存在奇异微分结构[1]。纤维丛上的联络、曲率等数学结构也因规范场论而获得新的发展动力[3]。
局限
杨-米尔斯理论规定的是相互作用的数学形式，并不能说明自然界为何选择 SU(3)×SU(2)×U(1) 这一特定对称群，也不能说明耦合常数为何取那些数值[3]。纯粹杨-米尔斯理论没有经典层次上易于理解的解，这类方程的非平凡解在日常能量尺度上难以观察，原因与质量间隙有关[2]。
四维量子杨-米尔斯理论尚缺乏严格的数学基础。克雷数学研究所于2000年5月24日公布的7个千禧年大奖难题中，第5个为杨-米尔斯存在性与质量间隙，要求对任意紧单规范群 G，证明 $\mathbb{R}^4$ 上存在质量间隙为正的非平凡量子杨-米尔斯理论[8]。
物理计算多依赖微扰论，而质量间隙与夸克禁闭等现象被认为超出微扰论证的适用范围，因此建立严格的数学基础在物理上也有意义[9]。质量缺口假设被多数物理学家接受，并用于解释夸克的不可见性，但始终没有得到数学上令人满意的证明[10]。此外，夸克禁闭至今没有完整的理论证明，通常认为用高能撞击质子只会产生新的夸克-反夸克对，而不会打出自由夸克[11]。
参见
参考资料
- [科普中国]-量子非阿贝尔规范场论 [引用日期2026-10-14]
- cam.ac.uk 上的 PDF 文件 [引用日期2026-10-14]
- 雷奕安 雷奕安的主页--博客 [引用日期2026-10-14]
- WuQFTasGenerativeModels(PDF) [引用日期2026-10-14]
- Remarks on Yang-Mills Theory [引用日期2026-10-14]
- 标准模型----中国科学院高能物理研究所 [引用日期2026-10-14]
- Free the quarks: Calculating the strong force [引用日期2026-10-14]
- Lecture6(PDF) [引用日期2026-10-14]
- harvard.edu 上的网页 [引用日期2026-10-14]
- 数学博览馆_数学家-21世纪七大数学难题 [引用日期2026-10-14]
- Nobel Focus: Limited Freedom for Quarks [引用日期2026-10-14]