又稱規範場理論,是研究自然界四種相互作用(電磁、弱、強、引力)的基本理論,是由物理學傢楊振寧和R.L.米爾斯在1954年首先提出來的。它起源於對電磁相互作用的分析,利用它所建立的弱相互作用和電磁相互作用的統一理論,已經為實驗所證實,特別是這理論所預言的傳播弱相互作用的中間玻色子,已經在實驗中發現。楊-米爾斯理論又為研究強子(參與強相互作用的基本粒子)的結構提供瞭有力的工具。在某種意義上說,引力場也是一種規範場。所以這一理論在物理中的作用非常重要。數學傢註意意到楊-米爾斯場中的規范勢恰是數學傢在20世紀30~40年代以來深入研究過的纖維叢上的聯絡。不僅如此,他們還發現,這一理論中出現的楊-米爾斯方程是一組數學上未曾考慮到的極有意義的非線性偏微分方程。1975年以來數學傢對楊-米爾斯方程進行瞭許多深入的研究,這些研究對於純粹數學的發展,也起瞭推動作用。
從物理學知道,電磁場的強度E和H可以用閔科夫斯基時空中的反對稱張量Fλu表示(λ,μ=1,2,3,4):
![](/img3/11367.gif)
, (1)
並且存在電磁勢
A
λ,使
![](/img3/11368.gif)
, (2)
這裡的
A
λ可容許規范變換
![](/img3/11369.gif)
, (3)
φ是任意函數。如置
![](/img3/11370.gif)
,
![](/img3/11371.gif)
那麼規范變換就可以用
U(1)群的李代數
u(1)(
i為其基)中的關系式來表示
![](/img3/11372.gif)
,
U(1)群反映瞭帶電粒子的波函數所容有的內稟對稱性。
楊振寧和R.L.米爾斯根據中子和質子的同位旋對稱性(用群SU(2)來體現),預言必存在某些場,它們由規范勢bλ所定義,bλ∈su(2),(su(2)記SU(2)的李代數),它們也有規范變換
![](/img3/11373.gif)
。 (4)
這裡
S是
S
U(2)值函數。由
b
λ定義的規范場有它的強度
![](/img3/11374.gif)
。 (5)
它比(1)復雜,這是因為
S
U(2)是非可換群之故。這種作法可形式上推廣到任何李群
G。
用數學的語言來說,楊-米爾斯的規范勢就是閔科夫斯基空間R3,1上的直積纖維叢G×R3,1上的聯絡,Fλu就是曲率。
然而楊-米爾斯還提出瞭楊-米爾斯作用量(規范勢的泛函)
![](/img3/11375.gif)
。
這裡(,)是李代數的嘉當內積,作它的變分,就得到純楊-米爾斯方程
![](/img3/11376.gif)
。
這裡
η
λμ是以1,1,1,-1為對角元的對角陣,是閔科夫斯基空間的度量張量。70年代中期起,楊振寧等註意到,不是直積的纖維叢的整體理論對物理很有作用,例如,第一陳示性數可以表示磁荷。數學傢也大力研究楊-米爾斯理論,特別是楊-米爾斯方程。這是一組非線性的偏微分方程,有相當高的復雜性。數學傢除瞭研究閔科夫斯基時空上的楊-米爾斯方程外,還研究一般的可定向的四維黎曼流形上的楊-米爾斯方程。特別,如果*是霍奇算子,若
成立,則
b
λ必然是楊-米爾斯方程的解。這種解稱為自對偶的和反自對偶的。已經證明,在許多很有意義的四維黎曼流形上這種解是存在的,也已經弄清瞭這種解的自由度,在某些特殊情形下,這些解能夠用代數幾何的方法顯式地作出。這是解非線性偏微分方程的值得註意的新方法。此外,對於解的空間(稱為模空間)的拓撲結構也開始有所瞭解。這些研究已對四維拓撲流形是否可有微分結構的問題作出瞭很有意義的結果。利用這些結果,1983年,M.弗裡德曼引出瞭如下的出人意外的結果:作為拓撲空間的歐氏空間
E
4容有非平凡的可微分結構(人們已經知道
E
n(
n≠4)隻有平凡的可微分結構)。人們預料,
E
4的這種例外情形,在數學中(或許對物理)將會有很大的影響。
楊-米爾斯場數學問題的研究還有許多方面的問題。中國數學傢和理論物理學傢對楊-米爾斯場的研究作瞭若幹貢獻。