聯絡 (向量叢)
在數學中,纖維叢上一個聯絡是一個定義叢上平行移動的裝置;即將鄰近點連接或等價的一種方法。如果纖維叢是向量叢,則平行移動的概念要求線性。這樣的聯絡等價於一個共變導數,共變導數是一個能對截面關於底流形的切方向求微分的算子。聯絡在這個意義下,對任意向量叢,推廣了光滑流形切線束的線性聯絡概念,經常叫做線性聯絡。
向量叢上的聯絡也經常稱為科斯居爾聯絡,以讓-路易·科斯居爾命名,他給出了描述這個聯絡的一個代數框架 (Koszul 1950)。
形式定義
編輯設 E → M 是光滑流形 M 上的光滑向量叢。記 E 的光滑截面的空間為 Γ(E)。E 上一個聯絡是一個 R-線性映射
使得萊布尼茲法則
對 M 上所有光滑函數 f 與 E 的所有光滑截面 σ 成立。
如果 X 是 M 上一個切向量場(即切線束 TM 的一個截面),我們可以定義一個沿著 X 的共變導數:
通過縮並 X 與聯絡 ∇ 中的共變指標(即 ∇Xσ = (∇σ)(X))。共變導數滿足如下性質:
反之,任何滿足如上性質的算子定義了 E 上一個聯絡,聯絡在這種意義下也稱為 E 上的共變導數。
向量值形式
編輯設 E → M 是一個向量叢。一個 r 階 E-值微分形式是張量積叢 E⊗ΛrT*M 的一個截面。這種形式的空間記作
一個 E-值 0-形式就是 E 的一個截面,即
在這種記法下,E → M 上一個聯絡是線性映射
這樣一個聯絡看作向量叢值形式的外導數的推廣。事實上,給定 E 上一個聯絡 ∇ 有惟一的一種方法將 ∇ 延拓成共變外導數或稱外共變導數
不像通常的外導數,這裡不必有 (d∇)2 = 0 。事實上,(d∇)2 與聯絡 ∇ 的曲率直接相關,參見下面。
仿射性質
編輯任何向量叢上都有聯絡,但是聯絡不是惟一的。如果 ∇1 與 ∇2 是 E → M 上兩個聯絡則他們的差是一個 C∞-線性算子。即
對 M 上所有光滑函數 f 與 E 的所有截面 σ 成立。從而推出差 ∇1 − ∇2 由 M 上一個取值於自同態叢 End(E) = E⊗E* 的 1-形式誘導
反之,如果 ∇ 是 E 上一個聯絡而 A 是 M 上取值為 End(E) 的 1-形式,則 ∇+A 是 E 上一個聯絡。
換句話說,E 上聯絡的空間是一個對 Ω1(End E) 的仿射空間。
與主叢及埃雷斯曼聯絡的關係
編輯設 E → M 是一個秩 k 向量叢,令 F(E) 是 E 的主標架叢。則 F(E) 上一個(主)聯絡誘導了 E 上一個聯絡。首先注意到 E 的截面與左等變映射 F(E) → Rk 一一對應(這由考慮 E 在F(E) → M 上的拉回可以看出來,同構於平凡叢 F(E) × Rk)。給定 E 的一個截面 σ,設對應的等變映射為 ψ(σ)。則 E 上的共變導數由
給出,這裡 XH 是 X 的水平提升(回憶到水平提升由 F(E) 上一個聯絡確定)。
反之,E 上一個聯絡確定了 F(E) 上一個聯絡,且這兩個構造是互逆的。
E 上一個聯絡也等價地由 E 上一個線性埃雷斯曼聯絡確定。這提供了構造相關的主聯絡的一個方法。
局部表示
編輯設 E → M 是一個秩 k 向量叢,令 U 是 M 的一個開子集使得 E 在 U 上平凡。 給定 E 在 U 上一個局部光滑標架 (e1, …,ek),E 的任何截面 σ 可寫成 (使用愛因斯坦記號)。那麼 E 上一個聯絡限制在 U 上具有形式:
這裡
這裡 ωαβ 定義了一個 k × k 矩陣,矩陣元取值為U 上的 1-形式。事實上,給定任何如上形式的矩陣定義了 E 限制在 U 上一個聯絡。這是因為 ωαβ 確定了一個 1-形式 ω 取值於 End(E),這個表達式定義 ∇ 為聯絡 d+ω,這裡 d 是 E 在 U 上的平凡聯絡(定義為用局部標架對截面微分)。在這種情景下 ω 也稱為 ∇ 關於這個局部標架的聯絡形式。
如果 U 是一個具有坐標 (xi) 的坐標鄰域,則我們可以寫成
注意坐標與纖維指標在表達式中混合在一起。係數函數 ωiαβ 對指標 i 具有張量性(它們定義了一個 1-形式)但對指標 α 與 β 不是。對纖維指標的轉換法則更加複雜。設 (f1, …,fk) 是 U 上另一個光滑局部標架,將坐標轉換矩陣記作 t(即 fα = eβtβα)。關於標架(fα) 的聯絡矩陣由矩陣表達式給出
這裡 dt 是對 t 的分量取外導數得到的 1-形式矩陣。
此局部坐標中關於這個局部標架場 (eα) 的共變導數由如下表達式給出:
平行移動與和樂
編輯向量叢 E → M 上一個聯絡 ∇ 定義了 E 上沿著 M 的一條曲線的平行移動概念。設 γ : [0, 1] → M 是 M 上一條光滑道路。E 的沿著 γ 的一個截面 σ 稱為平行,如果
對所有 t ∈ [0, 1] 成立。更形式地,我們可考慮 E 通過 γ 的拉回 γ*E。這是 [0, 1] 上在 t ∈ [0, 1] 處纖維為 Eγ(t) 的纖維叢。E 上的聯絡 ∇ 拉回到 γ*E 上一個聯絡。γ*E 的一個截面 σ 平行若且唯若 γ*∇(σ) = 0.
假設 γ 在 M 中從x 到 y。如上定義平行截面的等式是一個一階常微分方程式從而對任何可能的初始條件有惟一解。即對任何向量 v 屬於 Ex 存在 γ*E 的惟一平行截面 σ 滿足 σ(0) = v。定義平行移動映射
為 τγ(v) = σ(1)。可以證明 τγ 是一個線性同構。
平行移動可以用來定義聯絡 ∇ 以 M 中一點 x 為基點的和樂群。這是 GL(Ex) 的一個子群,由沿著基於 x 環路的所有平行移動映射組成:
- 是一個基於 x 的環路
一個聯絡的和樂群本質上與這個聯絡的曲率相關。
曲率
編輯E → M 上聯絡 ∇ 的曲率是一個 M 上 2-形式 F∇,取值於自同態叢 End(E) = E⊗E*,即
曲率定義為表達式
這裡 X 與 Y 是 M 上的切向量場,s 是 E 的一個截面。可以驗證 F∇ 對 X 與 Y 都是 C∞-線性的,從而確實定義了一個 E 的叢同態。
正如上面所提及的,共變外導數 d∇ 作用在 E 值形式上的平方不必是零。無論如何算子 (d∇)2 嚴格有張量性(即 C∞-線性)。這意味著它由一個取值於 End(E) 的 2-形式誘導,這個 2-形式恰好就是如上給出的曲率形式。對一個 E-值形式 σ 我們有
一個平坦聯絡是曲率形式恆等於零的聯絡。
例子
編輯參考文獻
編輯- Chern, Shiing-Shen, Topics in Differential Geometry, Institute for Advanced Study, mimeographed lecture notes, 1951
- Darling, R. W. R., Differential Forms and Connections, Cambridge, UK: Cambridge University Press, 1994, ISBN 0-521-46800-0
- Kobayashi, Shoshichi; Nomizu, Katsumi, Foundations of Differential Geometry, Vol. 1, Wiley Classics Library, New York: Wiley-Interscience, 1996 [1963], ISBN 0-471-15733-3
- Koszul, J. L., Homologie et cohomologie des algebres de Lie, Bulletin de la Société Mathématique, 1950, 78: 65–127
- Wells, R.O., Differential analysis on complex manifolds, Springer-Verlag, 1973, ISBN 0-387-90419-0