第六百六十八章 震动的编辑部（第4/6页）

【对称性的定义在物理中是众所周知的：如果一个无限小变换δ^Φ是对称变换，则存在一个K，使得δ^L=dK。】

【如果δ^1L=dK1，δ^2L=dK2，即二元组（δ^1Φ，K1），（δ^2Φ，K2），那么有（c1δ^1Φ＋c2δ^2Φ，c1K1＋c2K2）δ^Φ在边界上满足条件，使分部积分中的边界项消失对时空中任意两个无交的闭子集C1，C2包含于M，对于A（δ^1Φ，K1），总能找到（δ^2Φ，K2），使（δ^1Φ，K1）=（δ^2Φ，K2），Ax∈C1】

【但（δ^2Φ，K2）=0，Ax∈C2第三个条件最为关键，它意味着任意的对称变换总可以分解成多个子集上的和，这刻画了局域性。】

【第一个条件对于全局变换也对，以后将看到第二个条件保证了变换定义的荷为0，这也是局域性的体现，即无穷远处的场不参与变换。整体变换总是改变无穷远处的场，因此它对应的荷不为0……】

【局域对称性δ^Φ∈WΦ包含于TΦF。这里记δ^∈TF，是一个切矢量场，可以定义切矢量场的李括号[δ^1，δ^2]Φ∈WΦ，因此局域对称性构成封闭的李代数G。由Frobenius定理，所有局域对称性所张成的WΦ可积，可以定义积分子流形……】

如果此时徐云在场并且看到了这段内容，他估计会很感慨的拍一拍古兹密特的肩膀，说一声老哥俺理解你。

毕竟……

当初在看到这段推导的时候，徐云的下巴也差点被惊到了地下。

没错。

这段推导并不是初版论文的内容，而是赵忠尧等人补充的新成果：

当初的初版内容主要基于串列式加速器的首次启动数据，大概还有20％左右是需要后续实验填充的。

不久前。

在组织上批复了一批电能后，赵忠尧等人又进行了数次撞击实验。

而就在某次撞击实验中，他们发现了一个全新的现象。

也就是……

U（1）局域对称性。

后世的粒子物理有一个铁律，叫做所有的费米子都必须满足U（1）的局域对称性。

具体来说就是：

费米子对应的旋量场在进行以下的变换后，拉格朗日密度的形式不变。

ψ（x）→eiα（x）ψ（x）这里的变换包含α（x）这个有关坐标的函数，所以不同点的变换规则不同，称为“局域对称性”。

但问题是在眼下这个时代，费米子的局域对称性存在一个问题。

因为它的的原始拉格朗日量为L=ψ－（iγμaμ－m）ψ，看这个表达式就很容易发现这个拉格朗日量在U（1）的变换下并不是守恒的。

其原因就在于像广义相对论这种一样一个协变量的导数，其实并不是协变的。

赵忠尧等人则在对撞中发现一颗电子在某种特殊的偏转角后，出现了一个很奇怪的量化性轨迹。

这个轨迹在数学上的表达式就是Dμ=aμ＋ieAμL=ψ－（iγμDμ－m）ψAμ，也就是在庞加莱群的变换下出现了一个矢量场。

而这个场……

恰好能够修补导数的协变性。

这其实是个在十三年后才会被解答的问题，没想到赵忠尧他们居然机缘巧合的做出了数学修正。

更关键的是……

U（1）局域对称性需要将协变导数Dμ与旋量场ψ以组合的方式，构建能添加进拉格朗日量的守恒量。

虽然Dμ是守恒的，但它只是一个作用于场的算符。

所以想要得到守恒的标量，就要对两个协变导数的对易子进行化简。

这在数学上恰好又符合了夸克……准确来说是元强子模型的规范指标。

因此古兹密特此时看到的这篇论文，要比徐云早先看到的初稿更加的具备条理性和说服力。

“……”

过了足足有半个小时。

古兹密特方才放下手中的笔。

他看着面前密密麻麻的验算稿纸，轻轻呼出了一口气。

接着古兹密特沉吟片刻，从桌面上拿起电话，拨通了一个号码：

“维恩小姐，默里先生今天有来编辑部吗……很好，麻烦你通知他来我办公室一趟。”

“如果他找理由不想来……你就和他说约翰先生要跳楼了。”

约翰先生：

“？？？？”

挂断电话后。

古兹密特也没多说什么，而是直接在座位上等了起来。

过了十多分钟。

古兹密特的办公室外响起了一阵敲门声：

“古兹密特先生！您找我？”

古兹密特很快给了个回应：

“请进！”

古兹密特话音刚落。

嘎吱——

办公室的房门便被人推开，一位红鼻头的大鼻子中年人快步走了进来。

见到一旁杵着的约翰先生后，大鼻子中年人愣了两秒钟：

“屈润普先生，您还没跳楼吗？”

约翰先生：