數學中，流形 _M_ 上一個向量值微分形式（vector-valued differential form）是 _M_ 上取值於一個向量空間 _V_ 的微分形式。更一般地，它是取值於 _M_ 上某個向量叢 _E_ 的微分形式。通常的微分形式可以視為 R- 值微分形式。向量值微分形式是微分幾何中的自然對象並有廣泛的應用。



正式定義

設 Μ 是一個光滑流形， $\mathrm {E} \to \mathrm {M} $ 是 Μ 上一個光滑向量場。我們記一個叢 Ε 截面的空間為 $\Gamma (\mathrm {E} )$ 。一個階數為 _ρ_ 的 Ε- 值微分形式是 Ε 與 $\Lambda ^{\rho }(\mathrm {T} *\mathrm {M} )$ ，Μ 的餘切叢的 _ρ_- 次外冪，的張量積叢的一個光滑截面。這樣的形式的空間記作

　
: $\Omega ^{\rho }(\mathrm {M} ,\mathrm {E} )=\Gamma (\mathrm {E} \otimes \Lambda ^{\rho }\mathrm {T} ^{*}\mathrm {M} ).\,$

習慣上一個 E - 值 0 - 形式就是叢 E 的一個截面。即

　
: $\Omega ^{0}(\mathrm {M} ,\mathrm {E} )=\Gamma (\mathrm {E} ).\,$

等價地，一個 E - 值微分形式可以定義為一個完全斜對稱的叢態射

　
: $\mathrm {T} \mathrm {M} \otimes \cdots \otimes \mathrm {T} \mathrm {M} \to \mathrm {E} .$

設 _V_ 是一個給定的向量空間。一個階數為 _ρ_ 的 _V_- 值微分形式是一個取值於平凡叢 $\mathrm {M} \times V$ 的微分形式。這樣的形式的空間記作 $\Omega ^{\rho }(\mathrm {M} ,V)$ 。當 $V=\mathbf {R} $ 我們重新得到了通常的微分形式。



向量值形式的運算

拉回

與通常的形式一樣，對向量值形式我們可以定義通過光滑映射的拉回。_N_ 上 _E_- 值形式通過一個光滑映射 φ : _M_ → _N_ 的拉回是 _M_ 上一個 (φ\*_E_)- 值形式，這裡 form on _M_, where φ\*_E_ 是 _E_ 通過 φ 的拉回叢。

公式和通常的情形一樣。對 _N_ 上任何一個 _E_- 值 _p_- 形式 ω， 拉回 φ\*ω 由

　
: $(\varphi ^{*}\omega )_{x}(v_{1},\cdots ,v_{p})=\omega _{\varphi (x)}(\mathrm {d} \varphi _{x}(v_{1}),\cdots ,\mathrm {d} \varphi _{x}(v_{p}))$

給出。

楔積

與通常微分形式一樣，可以定義向量值形式的楔積。一個 _E_1- 值 _p_- 形式與一個 _E_2- 值 _q_- 形式的楔積是一個自然的 (_E_1⊗_E_2)- 值 (_p_+_q_)- 形式:

　
: $\wedge :\Omega ^{p}(M,E_{1})\times \Omega ^{q}(M,E_{2})\to \Omega ^{p+q}(M,E_{1}\otimes E_{2}).$

定義就和通常的微分形式一樣，只不過實數乘法為張量積取代：

　
: $(\omega \wedge \eta )(v_{1},\cdots ,v_{p+q})={\frac {1}{p!q!}}\sum _{\pi \in S_{p+q}}\operatorname {sgn}(\pi )\omega (v_{\pi (1)},\cdots ,v_{\pi (p)})\otimes \eta (v_{\pi (p+1)},\cdots ,v_{\pi (p+q)}).$

特別地，一個通常（R- 值）_p_- 形式與一個 _E_- 值 _q_- 形式的張量積自然是一個 _E_- 值 (_p_+_q_)- 形式（因為 _E_ 與平凡叢 _M_ × R 的張量積自然同構於 _E_）。對 _ω_ ∈ Ωp(_M_) 和 _η_ ∈ Ωq(_M_, _E_) 我們有通常的交換關係：

　
: $\omega \wedge \eta =(-1)^{pq}\eta \wedge \omega .$

一般地，兩個 _E_- 值形式的楔積不是另一個 _E_- 值形式，而是一個 (_E_⊗_E_)- 值形式。但是，如果 _E_ 是一個代數叢（也就是一個代數的叢而不僅僅是向量空間）則與 _E_ 中的乘法複合得到一個 _E_- 值形式。如果 _E_ 是一個交換結合代數，則在此修改後的楔積下，所有 _E_- 值微分形式的集合

　
: $\Omega (M,E)=\bigoplus _{p=0}^{\dim M}\Omega ^{p}(M,E)$

成為一個分次交換結合代數。如果 _E_ 的纖維不交換則 Ω(_M_,_E_) 不是分次交換的。

外導數

對任何向量空間 _V_，_V_- 值微分形式上有一個自然的外導數。這只不過是通常的外導數作用在關於 _V_ 的任何一個基的分量上。具體地說，如果 {_e_α} 是 _V_ 的一個基，則 _V_- 值 _p_- 形式 ω = ωα_e_α 的微分為：

　
: $d\omega =(d\omega ^{\alpha })e_{\alpha }.\,$

_V_- 值形式的外導數完全由通常的關係刻畫：

　
: ${\begin{aligned}&d(\omega +\eta )=d\omega +d\eta \\&d(\omega \wedge \eta )=d\omega \wedge \eta +(-1)^{p}\,\omega \wedge d\eta \qquad (p=\deg \omega )\\&d(d\omega )=0.\end{aligned}}$

更一般地，上面的注可應用於 _M_ 上任何平坦向量叢（即一個轉移函數是常數的向量叢） _E_ 之 _E_- 值形式。上面定義的外微分是 _E_ 的任何局部平凡化。

如果 _E_ 不是平坦的則 _E_- 值形式上沒有自然的外微分。需要在 _E_ 上選取一個聯絡。_E_ 上一個聯絡是一個將 _E_ 的界面變為 _E_- 形式的線性微分算子：

　
: $\nabla :\Omega ^{0}(M,E)\to \Omega ^{1}(M,E).$

如果 _E_ 裝備有一個聯絡 ∇，則有惟一的一個共變外微分延拓了 ∇

　
: $d_{\nabla }:\Omega ^{p}(M,E)\to \Omega ^{p+1}(M,E).\,$

共變外微分由線性與等式

　
: $d_{\nabla }(\omega \wedge \eta )=d_{\nabla }\omega \wedge \eta +(-1)^{p}\,\omega \wedge d\eta $

刻畫，這裡 ω 是一個 _E_- 值 _p_- 形式而 η 是一個通常的 _q_- 形式。一般地，不一定有 _d_∇2 = 0。事實上，這若且唯若聯絡 ∇ 平坦（即曲率消失）。



李代數值形式

向量值形式一個重要的特例是李代數值形式。設 ${\mathfrak {g}}$ 是一個李代數，則有 ${\mathfrak {g}}$ - 值形式。這樣的形式在主叢的聯絡以及嘉當聯絡的理論中有重要應用。

因為任何李代數有一個雙線性李括號運算，兩個李代數值形式的楔積可與李括號運算複合得到另一個李代數值形式。這個運算通常記為 [ω∧η]，表明涉及兩個運算。例如如果 ω 和 η 是李代數值 1 - 形式，則有

　
: $[\omega \wedge \eta ](v_{1},v_{2})=[\omega (v_{1}),\eta (v_{2})]-[\omega (v_{2}),\eta (v_{1})].$

在此運算下一個流形 _M_ 上所有李代數值形式成為一個分次李超代數。



主叢上的基本或張量性形式

設 _E_ → _M_ 是 _M_ 上一個秩 _k_ 光滑向量叢，_π_ : F(_E_) → _M_ 是 _E_（相伴的）標架叢。_E_ 通過 _π_ 的拉回同構於平凡叢 F (_E_) × Rk。從而，_M_ 上一個 _E_- 值形式的拉回決定了 F (_E_) 上一個 Rk- 值形式。不難檢驗這個拉回形式關於 GLk(R) 在 F (_E_) × Rk 上的自然作用左等變，且在鉛直向量取值上為零（F (_E_) 位於核 d_π_ 中的切向量）。F (_E_) 上這樣的向量值形式之重要足以獲得一個特別的名字：他們被稱為 F (_E_) 上的基本或張量性形式。

設 _π_ : _P_ → _M_ 是一個（光滑）主 _G_- 叢，令 _V_ 是一個固定的向量空間以及表示 _ρ_ : _G_ → GL(_V_)。_P_ 上一個 ρ 型基本或張量性形式是水平且等變的，如果：

 1. $(R_{g})^{*}\omega =\rho (g^{-1})\omega \,$ 對所有 _g_ ∈ _G_，且
2. $\omega (v_{1},\ldots ,v_{p})=0$ 其中至少有一個 _v_i 是鉛直的（即 d_π_(_v_i) = 0）。

這裡 _R_g 表示通過 _g_ ∈ _G_ 的左平移。注意這對 0 - 形式第二個條件是空虛的真。

給定 _P_ 和 _ρ_ 如上，我們定義構造相伴叢 _E_ = _P_ ×ρ _V_。_P_ 上的張量性形式一一對應於 _M_ 上的 _E_- 值形式。與主叢 F (_E_) 的情形一樣，_M_ 上 _E_- 值形式拉回到 _P_ 上的 _V_- 值形式，這正好是 _P_ 上的 ρ 型基本或張量性形式。反之給定 _P_ 上任何一個 ρ 型張量性形式我們直接地可以構造 _M_ 上的相應的 _E_- 值形式。



參考文獻


* Kobayashi, Shoshichi; Nomizu, Katsumi, Foundations of differential geometry, Vol. I, Wiley Interscience, 1963, ISBN 0470496487

* Kobayashi, Shoshichi; Nomizu, Katsumi, Foundations of differential geometry, Vol. II, Wiley Interscience, 1969, ISBN 0470496487