定義在纖維叢上的一個重要的微分幾何概念,它起源於黎曼流形的列維-齊維塔聯絡,後來被擴充到一般的具有流形結構的纖維叢上去,對研究各種幾何空間的性質,確定纖維叢的拓撲結構,都有重要作用。它還和理論物理中的規範勢等價。
局部向量叢(乘積向量叢)上的聯絡 設U是微分流形上的一個座標鄰域,局部座標為x/span>=(x1,x2,…,xn),F是一個m維實(或復)向量空間,稱
![](/img3/7518.gif)
為以
U為底
F為標準纖維的乘積叢。由於
F是向量空間,
U×
F是一個乘積向量叢。
![](/img3/7519.gif)
為
U×
F到
U的投影算子。設有可微分映射
σ:
U→
U×
F使
![](/img3/7522.gif)
,就稱映射
σ為一截面(也可稱為向量場)。若
σ
1,
σ
2,…,
σ
m是
m個截面,相應的
φ
1(
x),
φ
2(
x),…,
φ
m(
x)對每一
x均為線性無關,就稱{
σ
1,
σ
2,…,
σ
m}為一個截面基,簡稱基,那麼任何一截面
σ(
x)均可表示為
![](/img3/7525.gif)
。叢
U×
F的線性聯絡關於取定的一個基{
σ
α}是由一系一次微分形式
![](/img3/7528.gif)
所定義的,Г
![](/img3/7529.gif)
稱為這個聯絡關於基{
σ
α}的聯絡形式,
![](/img3/7530.gif)
稱為聯絡系數。線性聯絡可起如下的作用。
① 利用它可作出截面的協變微分:
![](/img3/7531.gif)
(1)
而
![](/img3/7532.gif)
,(2)
稱為截面
σ的協變導數。更一般地說,若
![](/img3/7533.gif)
是
U的一個切向量,則
稱為
σ關於切向量的協變導數。為保持D
σ(
x)和▽
i
σ與基的選取無關起見,在以基{
![](/img3/7535.gif)
α}來代替{
σα}時
![](/img3/7536.gif)
·
![](/img3/7537.gif)
相應的聯絡形式
慘
![](/img3/7529.gif)
和Г
![](/img3/7529.gif)
之間應滿足下面的關系:
![](/img3/7538.gif)
, (3)
這裡ã
![](/img3/7539.gif)
是
A=(
α
![](/img3/7529.gif)
)的逆陣
A
-1的元素。(3)稱為聯絡形式在基變換下的變換規則。
② 用聯絡可以定義U×F上的元素依底空間U上的曲線C:x=x(t)的平行移動。若(x(t),vα(t))是U×F中依賴於t的一列元素而vα(t)滿足
![](/img3/7540.gif)
(4)
則稱這一列元素依
C平行移動,或稱
U×
F上的曲線
C
1:(
x(
t),
v
α(
t))是
U中曲線
C的水平提升。
以Г
![](/img3/7529.gif)
為元素作
m×
m陣Г=[Г
![](/img3/7529.gif)
],則聯絡就成為取值於李代數
gl(
m,
R)(或
gl(
m,
c))的一次微分形式,這時(3)可寫成為
![](/img3/7541.gif)
(5)
的形狀。又稱
![](/img3/7542.gif)
(6)
是線性聯絡的曲率形式,這裡∧是外積,
![](/img3/7543.gif)
對固定的
i,
j而言是
m×
m陣。
線性聯絡的一個最重要的特殊情形是黎曼流形的列維-齊維塔聯絡或稱黎曼聯絡(見黎曼幾何學)。設U是黎曼流形M的一坐標鄰域(假設它與球內部相同胚),考察U上各點x的切向量的全體得出一個以U為底的乘積叢U×F,它是M的切叢TM的一個部分,其中元素為(x,v),x∈U,v屬於一個n維向量空間,當x固定時,(x,U)構成x點的切空間Tx。U×F的截面就是U上的切向量場。又選取
![](/img3/7544.gif)
為截面的基(稱為自然標架),那麼,列維-齊維塔聯絡由
![](/img3/7545.gif)
來表示,這時聯絡系數由
![](/img3/7546.gif)
(7)
決定,此即第二類克裡斯托費爾記號。式中
g
jk,
g
il是黎曼流形上度量張量的反變和協變形式。上述的平行移動、曲率等概念就和黎曼幾何中的意義相一致。如不采取自然標架,而采取另外的基{
e
i},利用(5)就可以得到相應的聯絡形式。特別,如選取
e
i,使它們在各點都是單位、正交的(即選取正規正交標架),那麼Г就是反對稱陣,即Г取值於正交群的李代數,這時每點
x的切空間具有歐氏結構,即正交群作用下不變的結構。
向量叢上的聯絡 以微分流形M為底的向量叢
M是由一些乘積向量叢粘合而成的(見
纖維叢)。設
M為一些坐標鄰域所覆蓋,
M=∪
U
p(
p=1,2,…),每一
U
P上有一乘積叢
U
p×
F,設
![](/img3/7548.gif)
,將
U
p×
F
p中元素(
x,
V
p)和
U
q×
F中的元素(
x,
V
q)等同起來,如果它們滿足
Vp=gpqVq,gpq(x)
就被稱為轉換函數,是取值於
Gl(
m,
R)(或
Gl(
m,
C))的函數,且當
![](/img3/7549.gif)
時成立
經過這樣的粘合,便得到整體的向量叢。例如,
M的切叢
T
M就是由每個在
U
p上的切叢粘合而成。
如果每個Up×Fp上有聯絡形式Г,而且在
![](/img3/7551.gif)
時,在其上成立
那麼在
![](/img3/7553.gif)
上就有一整體的線性聯絡,照樣可以定義截面
σ及其關於切向量場
X的協變導數
![](/img3/7554.gif)
。
![](/img3/7553.gif)
的截面是
M到
E的一個映射
σ,使 π
σ是
M上的恒等映射。設
σ是一截面,
X是
M的切向量場,則
![](/img3/7554.gif)
仍是一個截面,它們在每一
U
p×
F的表達式由(2)及
![](/img3/7556.gif)
給出,而在粘合之處(即
U
p∩
U
p≠
φ),它們是一致的。如把所有可微分截面的集合記為
![](/img3/7557.gif)
,那麼
![](/img3/7559.gif)
的一個映射,並且有如下的特征:設
X,
Y是
M的切向量場,
φ,ψ∈
C
∞(
M,
E),
λ(
x)是
M上的
C
∞函數,那麼
反之也可以從這4個性質出發,來作出向量叢上聯絡的定義。
照樣可以把水平提升的概念,曲率的概念整體地定義到向量叢上來。
如果可以選取局部基截面,使轉換函數屬於Gl(m,R)(或Gl(m,C))的某一子群G,即gpq屬於這子群G,就稱向量叢可化約為群G的向量叢。若聯絡形式也取值於群G的李代數g,就稱這個聯絡為化約於群G的聯絡。
主叢上的聯絡 設U×G={(x,u)│x∈U,u∈G}是一個局部乘積叢,這裡G是一個李群,π:(x,u)
x稱為投影,可用取值於
G的李代數
g上的一次微分形式
來定義一個聯絡,以
部曲率形式。但為瞭整體描述方便起見,取
聯絡的坐標表示,這裡
u
-1du是群
G的左不變形式,
αd是伴隨表示。
當M=∪Up,把
![](/img3/7565.gif)
粘合起來便得主叢
P,這時若
x∈
U
p∩
U
q,把(
x,
u
p)和(
x,
u
q)視為同一元素,但
u
p和
u
q之間要由轉換函數
u
p=
g
pq
u
q所聯系(這裡
g
pq取值於
G,滿足
![](/img3/7568.gif)
,在每一
U
p×
G上,聯絡形式由
在
U
p∩
U
q處,
![](/img3/7570.gif)
與悧 之間應有關系
U
p∩
U
q處
θ
p=
θ
q,所以聯絡確實可以用
θ來表示。曲率也可寫成
![](/img3/7572.gif)
。
形
M是仿緊空間(見
拓撲空間)時,主叢上的聯絡是一定存在的。
M上的曲線C∶x=x(t)按微分方程
可以決定主叢
P上的一條曲線,稱為
C的水平提升曲線,水平提升曲線的切向量稱為水平向量。
P上每點的水平向量全體構成
P在該點的切空間的一個
n維子空間,稱為水平子空間。
P上的聯絡也可以由在各點給定的、符合一定條件的水平子空間所定義。
M上以定點x為始點和終點的分段可微閉曲線,其水平提升相應於在π-1x上群G的一個右作用。所以每一條以x為端點的分段可微閉曲線對應群G的一個元素,且為同態,稱這同態為和樂映射,其群為和樂群。
和樂群是研究主叢聯絡的一個重要工具。已經證明,由和樂群出發可以重建主叢的拓撲結構和聯絡本身。
聯絡論的作用 聯絡在微分幾何和理論物理中有很多作用。
①(C.)F.克萊因在埃爾朗根綱領中把幾何空間看成群的作用空間,且作用是可遷的,把幾何性質看成群作用下的不變的性質。在此觀點下,歐氏空間,仿射空間,射影空間與共形空間等等都有相應的可遷變換群。黎曼流形是彎曲空間且在其上一般沒有可遷變換群作用,因而黎曼流形不在克萊因的幾何空間之列。但從纖維叢的觀點,黎曼流形上各點的切空間仍然是克萊因意義下的幾何空間,這時各點的切空間之間由聯絡來建立聯系(要通過曲線的水平提升)。從而對於種種克萊因意義下的幾何空間,都可作其相應的聯絡空間,如仿射聯絡空間,共形聯絡空間,射影聯絡空間等等,這是克萊因理論的一大發展,這種概念首先是由É嘉當提出的。
② 通過聯絡可以作出曲率,利用曲率可以作出纖維叢上的示性類,它們是流形M上的閉形式,這些示性類(其積分稱為示性數)是研究纖維叢的拓撲性質的重要工具。這是陳省身等人的貢獻。
③1954年物理學傢楊振寧等提出瞭規范場理論,它在研討自然界四種基本作用力的規律中起瞭極為重要的作用。實際上,規范勢相當於聯絡,場的強度相當於曲率,截面相當於波函數,示性數表示某些物理量(如磁荷,瞬子數等)。20世紀70年代起,纖維叢聯絡論和規范場論的相互溝通對數學和物理學都起瞭巨大的推進作用。