声学论文研究方法（声学的研究内容）(7)

外尔和泡利发现，只要我们要求系统具有U（1）群的局域规范不变性，我们就能从中推导出全部的电磁理论。那么，杨振宁如果认为强力的本质由质子和中子相互作用产生，那么推广前面的思想，我们就应该要求系统具有SU（2）群的局域规范不变性。

好吧，要推广那就推广吧，不就是把局域规范不变性从U（1）群推广到SU（2）群么，有些人认为科学家们风风雨雨什么没见过，把一个东西从U（1）群推广到SU（2）群应该没什么难度吧？那你就错了，这玩意还真不是这么简单的，广义相对论也不过是把狭义相对论里的洛伦兹不变到了广义坐标不变性，你觉得这个简单么？

U（1）群的问题之所以比较简单，是因为跟U（1）群对应的电磁理论它本身就具有局域规范对称性。也就是说，当我们的麦克斯韦同学写下麦克斯韦方程组的时候，他就已经把U（1）群的局域规范对称性写到这方程里去了，虽然他自己没有意识到。熟悉电磁理论的人都知道其实我们有两套表述电磁场的体系，一套就是我们初中就开始学习的场强体系，还有一套势体系，也就是电磁势这些东西，从这个角度很容易就能看出它的规范不变性。

但是SU（2）这里一切都是空白，没有电磁势这样的东西。杨振宁先生想做的就是要找到类似电磁势这种具有局域规范不变性的东西，然后利用他们来描述强力，所谓的推广是这个样子的一种推广。在这种推广里，最困难的地方就在这四个字：非阿贝尔。

在前面我跟大家提过，杨-米尔斯理论又叫非阿贝尔规范场论，这个阿贝尔指的是阿贝尔群（以挪威的天才数学家阿贝尔命名），它又叫交换群，通俗的讲就是这个群里的运算是满足交换律的。

最简单的例子就是整数的加法，小学生都知道加法满足交换律：3+5=5+3，不论你加数的顺序怎么交换，最后的结果都不变。于是，我们就说整数和整数的加法构成了一个整数加法群，这个群的运算（加法）是满足交换律的，所以这个整数加法群就是阿贝尔群。

那么，非阿贝尔群自然就是指群的运算不满足交换律的群。那么，不满足交换律的运算有没有呢？当然有了，最常见的就是矩阵的乘法。稍微有点线性代数基础的人都知道：两个矩阵相乘，交换两个矩阵的位置之后得到的结果是不一样的。而矩阵这种东西在数学、物理学里是非常基础的东西，比如你对一个物体进行旋转操作，最后都可以转化为物体跟一个旋转矩阵的运算，这样非阿贝尔其实就没啥奇怪的了。

这里我借用一下徐一鸿在《可畏的对称》（强烈安利这本书，需要的在公众号里回复“可畏的对称”即可）里的一个例子让大家感受一下这种不可交换的次序，也就是非阿贝尔的感觉。

上图是一个新兵，他现在要执行两个操作，一个是顺时针旋转90°（从上往下看），一个是向右倒（其实就是从外往里看顺时针旋转90°）。上面的a图是先旋转再右倒，而下面的b图则是先右倒再旋转，我们可以清楚的看到，最后这两个人的状态是完全不一样的（一个左侧对着你，一个头对着你）。

状态不一样说明什么呢？说明这两个旋转操作如果改变先后次序的话，得到的结果是不一样的，而这两个旋转操作都可以通过跟两个矩阵相乘得到，这说矩阵的乘法是不能随意交换顺序的。

好了，有了这些概念，我们再回到杨振宁先生的问题上来。

外尔把U（1）群的整体规范对称到了局域，因为U（1）群（1×1矩阵）是阿贝尔群，所以这个过程很简单；杨振宁试图把SU（2）群的整体规范对称也推广到局域，但SU（2）群（2×2矩阵）是非阿贝尔群，这个就麻烦了。

我们知道杨振宁先生的数学水平在物理学家群体里是非常高的，他的父亲杨武之就是群论大师，他自己也很早就进入了对称性领域。饶是如此，他从泡利1941年的论文开始，前前后后过了十几年，一直到1954年，他才和米尔斯（当时和杨振宁先生在同一间办公室，是克劳尔教授的博士研究生）一起写出了划时代的论文《同位旋守恒和同位旋规范不变性》和《同位旋守恒和一个推广的规范不变性》。

这两篇论文正式宣告了杨-米尔斯理论的诞生，杨振宁先生终于把局域规范对称的思想从阿贝尔群推广到了更一般的非阿贝尔群（阿贝尔群的电磁理论成了它的一个特例），从而使得这种精妙的规范对称可以在电磁理论之外的天地大展拳脚，也使得他一直坚持的“对称决定相互作用”有了落脚之地。为了区别起见，我们把外尔的那一套理论成为阿贝尔规范场论，把杨振宁和米尔斯提出来的称为非阿贝尔规范场论，或者直接叫杨-米尔斯理论。

文章来源：《声学学报》 网址: http://www.sxxbzz.cn/zonghexinwen/2022/1212/1073.html