規(guī)范場是電,，弱,，強(qiáng)相互作用的基本數(shù)學(xué)理論，規(guī)范場理論是二十世紀(jì)下半葉物理學(xué)最輝煌的成就之一,，也是現(xiàn)代物理學(xué)最重要的概念之一,。規(guī)范場的建立與一系列著名的物理學(xué)家的名字聯(lián)系在一起，包括外爾（Hermann Weyl）,，楊振寧和米爾斯（Mills）等,，我們在這里從最早被發(fā)現(xiàn)的一種規(guī)范場———— 電磁場開始介紹，去回顧科學(xué)史上那些一念非凡的頭腦和激動人心的歲月,。

規(guī)范場的歷史回顧

?

Beauty is truth.美既是真,。——Hermann Weyl 1885-1955

我們知道愛因斯坦建立廣義相對論的最重要的思想就是對稱性（廣義協(xié)變性原理）,，使得對稱性這一思想在愛因斯坦之后開始引起物理學(xué)界的廣泛重視,。廣義相對論和麥克斯韋方程組分別為引力場和電磁場建立了物理原理與數(shù)學(xué)方程，成為二十世紀(jì)上半葉科學(xué)家最為熟悉的兩種基本相互作用,。

?

廣義相對論誕生之初的1918年,，德國數(shù)學(xué)家赫爾曼·外爾（Hermann Weyl，1885-1955）就在愛因斯坦的啟發(fā)下試圖從對稱性的思想入手,，探索電磁場方程所具有的對稱性,，外爾建立了一種叫做“Eich Invarianz” 的對稱變換，從數(shù)學(xué)上來看這種理論相當(dāng)優(yōu)美,，可惜很快愛因斯坦指出其沒有物理意義,。外爾后來遺憾地說“Was wahr ist, ist schoen”（美即是真）。事實上，外爾的理論已經(jīng)相當(dāng)接近現(xiàn)代規(guī)范場理論,，這也使得他成為規(guī)范場理論的先驅(qū),。

在本系列之前的關(guān)于廣義相對論的介紹中我們已經(jīng)知道，由廣義協(xié)變性（對稱性）直接便得到了愛因斯坦的場方程,，這便暗示那個時代的物理學(xué)家,，對稱性可以是建立物理定律（物理方程）非常關(guān)鍵的指導(dǎo)思想。在愛因斯坦之前,，對稱性與物理定律的密切關(guān)系沒有引起重視，在廣義相對論誕生之后,，外爾首先意識到了電磁場的麥克斯韋方程也應(yīng)當(dāng)像愛因斯坦場方程一樣,，對應(yīng)于一種基本的對稱性，這種對稱性就是我們所要介紹的規(guī)范不變性,。不變性,，協(xié)變性都是對稱性。

廣義協(xié)變性（對稱性）——》 愛因斯坦場方程

規(guī)范不變性（對稱性） ——》 麥克斯韋方程

1929年,，外爾在量子力學(xué)理論的啟發(fā)下,，開始重新探索電磁場方程所具有的對稱性，于是發(fā)現(xiàn)了電磁場就是一種規(guī)范場——U(1)規(guī)范場,，它所具有的對稱性就是規(guī)范不變性,，規(guī)范場理論就此誕生。也是受外爾的啟發(fā),，楊振寧和Mills 在1954 年為非阿貝爾（非交換）規(guī)范場建立了研究方法,，他們?yōu)镾U(2) 規(guī)范場建立了理論框架，為相互作用理論的進(jìn)一步發(fā)展奠定了基礎(chǔ),。

小插曲——外爾和規(guī)范場

外爾是一個科學(xué)思想非常超前的物理學(xué)家和數(shù)學(xué)家,，除了規(guī)范場理論，外爾早在1929年就已經(jīng)從理論上發(fā)現(xiàn)了弱相互作用的宇稱不守恒,，但這一思想在那個時代過于超前而被放棄并遺忘,。直到1957 年，楊振寧和李政道因發(fā)現(xiàn)弱相互作用的宇稱不守恒而獲得諾貝爾獎,，此時外爾的思想才重新受到人們的重視,。

此外，二十世紀(jì)下半葉很多獲得諾貝爾獎的重要工作都直接或間接受益于外爾早年的遠(yuǎn)見卓識,，例如下文的內(nèi)容所涉及的,，從外爾開始物理學(xué)家才開始真正重視對稱性及作用量的概念。外爾在數(shù)學(xué)界的影響力遠(yuǎn)遠(yuǎn)大于物理學(xué)界,，因其為數(shù)學(xué)家的身份他的很多物理思想沒有得到及時的重視,，盡管外爾的一些工作具有其時代的局限性，但就如外爾自己所言“美既是真”，他的科學(xué)思想是科學(xué)永恒的魁寶,。

值得一提的是,，早在楊振寧之前，O.B.Klein（1894-1977, 瑞典物理學(xué)家）也曾獨立建立過非阿貝爾規(guī)范場理論,，可惜他的工作因二戰(zhàn)爆發(fā)沒有引起應(yīng)有的重視[6],。我們之后開始簡單介紹電磁場方程所對應(yīng)的規(guī)范場理論，這是一種最早被發(fā)現(xiàn)也是一種最簡單的規(guī)范場理論,。首先我們需要簡單回顧一下狹義相對論,、閔可夫斯基空間與洛倫茨向量場。

閔可夫斯基空間與四維向量場

狹義相對論是愛因斯坦在1905年為電磁場建立的對稱性理論,，它的物理原理只有一個,，就是光速不變性原理（真空中光速的測量與它的參考系無關(guān)，一般的教材里介紹的“狹義協(xié)變性原理”與它等價）,，狹義相對論是電,，弱，強(qiáng)相互作用所遵守的基本物理原理,，我們在這里需要使用的是狹義相對論的幾何結(jié)構(gòu)——閔可夫斯基空間,。

狹義相對論的所有物理結(jié)論都可以用閔可夫斯基空間及其向量場來表述，這也是我們需要熟悉的,。閔可夫斯基空間是一種平直的四維空間（1維時間+3維空間,，但這和四維歐式空間不同）M^4，記c為光速,。

?

讀者可以將其視為一個4維的平面,。它的度量為
? （度量的不同是它和四維歐式空間的唯一區(qū)別——小編注）, 因為這個空間是4維的，所以在這個空間上定義的向量場都是四維的,，一般記為
?, 其下角標(biāo)
? , 我們也稱其為“四維向量場”,，或者規(guī)范場。 所有的規(guī)范場都是這種四維向量場,，包括電磁場的電磁勢 Aμ ??, 弱相互作用的三個規(guī)范場
? , 強(qiáng)相互作用的8個規(guī)范場
? ,，這些都是四維向量場。四維向量場由閔可夫空間的四維坐標(biāo)系來表示,，由四維向量場表述的物理定律應(yīng)當(dāng)在坐標(biāo)系的變換下保持不變,，這種坐標(biāo)系的變換被稱作洛倫茨變換，由此得到的協(xié)變性被稱作洛倫茨協(xié)變性,，也叫洛倫茨對稱性,。

閔可夫斯基空間的坐標(biāo)變換如下所示（被稱為洛倫茨變換）

?

其中β=v/c?? 。用四維向量場表示的物理定律必須在上述坐標(biāo)變換下形式不變,，例如麥克斯韋方程：

?

方程組變換前后形式保持不變

事實上規(guī)范場都是這樣的四維向量場,。

電磁場的規(guī)范變換

我們把一個動量為
Pμ的電子放在一個電磁勢
?為??Aμ（還是四維向量場）的電磁場中，它的動量就會變?yōu)?/p>

?。不過需要注意的是,，由于電子具有量子效應(yīng),，這里的“動量”不是一個物理量，而是一個算符（這是量子物理和經(jīng)典物理一個本質(zhì)區(qū)別）,。

在量子力學(xué)中,，動量對應(yīng)于導(dǎo)數(shù)算符，即
? , 記
? ,，其中Dμ??就是電子在電磁場中的導(dǎo)數(shù)算符,，自然地便有
?, 即
?，Dμ就是我們在規(guī)范場 中使用的求導(dǎo)算符,，在數(shù)學(xué)上 Dμ??被稱作協(xié)變導(dǎo)數(shù),。

在量子理論中，電子的運(yùn)動行為用波函數(shù)來刻畫,，表示電子的概率幅（可以理解為某種“振幅”。量子力學(xué)的一大基本假設(shè)就是把電子看作波,，所以才有了波函數(shù)的定義——小編注）,。它的絕對值的平方是電子在時空中某一點出現(xiàn)的概率，而將幾率幅乘上一個相因子
?,，意味著概率幅的相位變化了一個角度θ(x),，對計算該粒子的概率絲毫沒有影響（也可以理解為把波函數(shù)做了一個平移，使對應(yīng)波的“相”發(fā)生改變——小編注）,。所以我們要求物理定律（也就是對應(yīng)的數(shù)學(xué)方程）在波函數(shù)的這種變換（旋轉(zhuǎn)）下應(yīng)保持不變,，于是Aμ??也必須同時發(fā)生相應(yīng)的變換（旋轉(zhuǎn)）。我們把這兩個變換合在一起稱之為電磁場的規(guī)范變換（因為旋轉(zhuǎn)可以由一維酉群U(1)描述,，也稱之為U(1)規(guī)范變換）：

?

由于波函數(shù)是函數(shù),，電磁勢是四維向量（場），所以它們發(fā)生規(guī)范變換（旋轉(zhuǎn)）的方式不同

也許讀者們會感到奇怪：波函數(shù)只是乘了一個“相因子”而已,，
Aμ??為什么就變得那么恣意妄為了呢,？其根本原因在于，由于波函數(shù)是函數(shù),，電磁勢是四維向量場,，所以它們發(fā)生規(guī)范變換的方式不同。更確切地講,，Aμ??的變化需要保證如下等式成立：

?

這個等式確保了方程的形式保持不變

我們再舉一個例子以加強(qiáng)讀者們對規(guī)范場變換的理解,。在電磁場中刻畫電子運(yùn)動的是狄拉克 方程（也就是考慮了電子自旋，以及狹義相對論效應(yīng)的薛定諤方程）：

?

當(dāng)波函數(shù)發(fā)生變換
? 時,，規(guī)范場Aμ??的變換
? 保證了狄拉克方程的形式保持不變:

?

這種方程形式的不變性在數(shù)學(xué)上被稱為“協(xié)變性”,，也可以叫做“對稱性”。在上述規(guī)范變換中θ如果是一個常數(shù)?，即
?,，那么 Aμ就不發(fā)生變換,，這種規(guī)范成被稱為整體規(guī)范場。如果
? ,，規(guī)范場即被稱作局域規(guī)范場,。

?

從第一個圖我們看到規(guī)范場
Aμ?? 是定義在時空每一個點上的四維向量場，這種結(jié)構(gòu)在數(shù)學(xué)上被稱為“向量叢”（有的著作中稱之為“纖維叢”,，）,。第二個圖給出了電子的波函數(shù)在每一點上的相位變換
? ，第三個圖則看出了在波函數(shù)的相位變換下,，規(guī)范場Aμ?? 也發(fā)生規(guī)范變換,。

小插曲——規(guī)范變換的命名上面的變換為什么會被命名為“規(guī)范變換”呢？早在1919年,，外爾構(gòu)造的變換是規(guī)范變換的雛形,，當(dāng)時他的變換不含虛數(shù)單位i，使得變換純粹成為了尺度的變換,，外爾也稱這個變換的不變性為Eich Invarianz（德文,，意思是“尺度規(guī)范不變性”）。盡管后來外爾的變換被認(rèn)為沒有物理意義,，但卻極大地啟發(fā)了正確的規(guī)范場理論的建立,，英文中就一直沿用外爾命名的“gauge invariance”，意思是規(guī)范不變性,。

值得一提的是,，上述規(guī)范變換也引起了數(shù)學(xué)家巨大的興趣，并直接啟發(fā)了二十世紀(jì)下半葉微分幾何理論的發(fā)展,，著名華人數(shù)學(xué)家陳省身早在規(guī)范場理論誕生之初便在與楊振寧的交流中發(fā)現(xiàn)規(guī)范場是一種微分幾何的“聯(lián)絡(luò)”,，并展開了相關(guān)研究。

?規(guī)范場是一種數(shù)學(xué)上的聯(lián)絡(luò),，這種聯(lián)絡(luò)被總結(jié)為“線性復(fù)叢聯(lián)絡(luò)”,。聯(lián)絡(luò)是一種數(shù)學(xué)概念，是由于幾何空間的彎曲導(dǎo)致的彎曲效應(yīng),，在廣義相對論中,，四維時空的彎曲導(dǎo)致的聯(lián)絡(luò)在數(shù)學(xué)上被稱為Levi-Civita聯(lián)絡(luò)，規(guī)范場則是向量叢幾何結(jié)構(gòu)的彎曲導(dǎo)致的聯(lián)絡(luò),，規(guī)范場的幾何結(jié)構(gòu)已經(jīng)成為現(xiàn)代數(shù)學(xué)的重要研究領(lǐng)域,。數(shù)學(xué)家西蒙·唐納森（Simon Donaldson） 在1983 年就以Yang-Mills規(guī)范理論為框架研究了四維流形的微分結(jié)構(gòu)，成為現(xiàn)代幾何學(xué)發(fā)展的重大突破,。

?

西蒙·唐納森,，他證明了一些4維流形（注意規(guī)范場就是4維的）上纖維叢（規(guī)范變換+規(guī)范場）的某種二次型（可看作矩陣）可對角化,，從而引導(dǎo)出一系列針對4維流形的有趣結(jié)論。這一結(jié)果使他獲得1986年菲爾茲獎

物理系統(tǒng)的對稱性與作用量

我們在這里再次回到外爾關(guān)于規(guī)范對稱性的思想,， 對稱性可以確定作用量的形式,。

“作用量”又是什么呢？其實在數(shù)學(xué)家看來,，它就是泛函（Functional,，函數(shù)概念的推廣，它的自變量和因變量可以不僅是實數(shù),，還可以是任何函數(shù)——小編注）的一種,。我們?nèi)缟弦呀?jīng)討論了電磁相互作用有兩種對稱性：洛倫茨對稱性與規(guī)范對稱性。通過這兩種對稱性我們可以直接確定出電磁相互作用的作用量 ?Lqed??,，
Aμ?和電子的波函數(shù)映射到實數(shù)（函數(shù)->實數(shù)）,，形式為
?

其中
?，上述映射 Lqed??將Aμ??和映射稱為實數(shù),，所以是一個“泛函”,，物理上叫做作用量。

上述作用量的形式是如何確定的呢,？就是電磁場所具有的兩種對稱性,，即洛倫茨對稱性與規(guī)范對稱性。上述形式的作用量在洛倫茨變換與規(guī)范變換下均保持不變（且是保持在這兩種變換下不變的最簡單的數(shù)學(xué)形式）,。作用量是現(xiàn)代物理學(xué)中最重要的概念，基本相互作用,，量子場論,，統(tǒng)計物理凝聚態(tài)等物理研究方向都需要計算它們的作用量。作用量Lqed的一個重要的作用是計算得到物理定律所對應(yīng)的微分方程,，比如說,，通過上述作用量 即可計算得到如下兩個電磁場的基本微分方程（通過對作用量計算變分方程即可得到）：

?

兩大方程分別對應(yīng)洛倫茨對稱性和規(guī)范對稱性

我們所介紹的這兩種對稱性：洛倫茨對稱性和規(guī)范對稱性，作用量 和上述兩個方程構(gòu)成了量子電動力學(xué)（Quantum Electrodynamics）的基本內(nèi)容,，上述所得到的方程也具有規(guī)范對稱性,。

具體得到上述物理方程的方法就是變分法，有興趣的讀者可以查閱任意經(jīng)典力學(xué)教材

?

其中M是u的時空定義域,，D_u 是關(guān)于u的導(dǎo)數(shù),，則對于運(yùn)動系統(tǒng)u所滿足的方程就是
?。這一步是求變分方程,，是數(shù)學(xué)的方法,，通過這種方法便計算出了這個物理系統(tǒng)的運(yùn)動方程。值得一提的是,，通過拉格朗日動力學(xué)原理可以推導(dǎo)出狄拉克方程,。

以電磁場作為例子,，狀態(tài)函數(shù)就是
Aμ??，作用量就是Lqed?? ,，物理方程就是上述狄拉克方程與麥克斯韋方程,。再以引力場為例，引力場的狀態(tài)函數(shù)就是黎曼度量 gμv??,，作用量就是愛因斯坦-希爾伯特作用量Leh?? ,，物理方程就是愛因斯坦場方程。

關(guān)于對稱性的思想小結(jié)如下：

1.首先我們需要確定用來刻畫物理系統(tǒng)的狀態(tài)函數(shù),。例如電磁場的Aμ?? ;

2.然后用物理系統(tǒng)具有的對稱性確定該系統(tǒng)作用量的形式,。例如在電磁場中，根據(jù) U(1)對稱性確定了作用量Lqed的形式,；

3.由作用量的形式確定物理定律的數(shù)學(xué)方程,。例如根據(jù)作用量 Lqed??的形式通過求變分方程得到了電子運(yùn)動的 狄拉克方程與麥克斯韋方程，這些是電磁場的基本方程,。

總結(jié)

實際上,，上一節(jié)中提到的思想不僅對電磁場和引力場有效，還適用于幾乎所有的物理系統(tǒng),。引力,，電磁，強(qiáng),，弱相互作用,，統(tǒng)計物理，宇宙學(xué)等研究領(lǐng)域都可以由上述思想展開研究,，只是不同的物理系統(tǒng)所具有的對稱性不一樣,，它們所對應(yīng)的作用量形式就不一樣，不同系統(tǒng)對應(yīng)的物理原理不一樣,，根據(jù)作用量得到物理方程的方式就有所差異,。