向量叢
預備
向量叢上的標架叢
設 E 是光滑流形 M 上纖維維數為 k 的一個向量叢 。E 的一個局部標架 是 E 的局部截面 的一個有序基 。
令 e =(e α )α=1,2,...,k 是 E 上一個局部標架。這個標架可用來表示 E 的任何局部截面。假設 ξ 是一個局部截面,定義在 e 的同一個開子集上,則
ξ
=
∑
α
=
1
k
e
α
ξ
α
(
e
)
{\displaystyle \xi =\sum _{\alpha =1}^{k}e_{\alpha }\xi ^{\alpha }(\mathbf {e} )}
其中 ξα (e ) 表示 ξ 在標架 e 中的分量。寫成一個矩陣方程,有
ξ
=
e
[
ξ
1
(
e
)
ξ
2
(
e
)
⋮
ξ
k
(
e
)
]
=
e
ξ
(
e
)
.
{\displaystyle \xi ={\mathbf {e} }{\begin{bmatrix}\xi ^{1}(\mathbf {e} )\\\xi ^{2}(\mathbf {e} )\\\vdots \\\xi ^{k}(\mathbf {e} )\end{bmatrix}}={\mathbf {e} }\,\xi (\mathbf {e} ).}
外聯絡
E 上一個聯絡 是一類特殊的微分算子
D
:
Γ
(
E
)
→
Γ
(
E
⊗
Ω
1
M
)
{\displaystyle D:\Gamma (E)\rightarrow \Gamma (E\otimes \Omega ^{1}M)}
這裡 Γ 表示一個向量叢的局部截面 層 ,Ω1 M 是 M 上微分 1-形式。特別地,如果 v 是 E 的一個局部截面,f 是一個光滑函數,則
D
(
f
v
)
=
v
⊗
(
d
f
)
+
f
D
v
{\displaystyle D(fv)=v\otimes (df)+fDv}
這裡 df 是 f 的外導數 。
有時習慣於將 D 的定義延拓到任意 E -值形式 ,這樣講其視為 E 與整個微分形式外代數 的張量積上一個微分你算子。給定一個外聯絡 D 滿足這個相容性質,則存在 D 的惟一延拓:
D
:
Γ
(
E
⊗
Ω
∗
M
)
→
Γ
(
E
⊗
Ω
∗
M
)
{\displaystyle D:\Gamma (E\otimes \Omega ^{*}M)\rightarrow \Gamma (E\otimes \Omega ^{*}M)}
使得
D
(
v
∧
α
)
=
(
D
v
)
∧
α
+
(
−
1
)
deg
v
v
∧
d
α
{\displaystyle D(v\wedge \alpha )=(Dv)\wedge \alpha +(-1)^{{\text{deg}}\,v}v\wedge d\alpha }
這裡 v 是次數為 deg v 的齊次元素。換句話說,D 是分次模 Γ(E ⊗ Ω* M ) 上的一個導子 。
聯絡形式
聯絡形式 出現在將外聯絡應用於一個特定的標架 e 。當外聯絡應用於 e α ,有惟一的 M 上 1-形式 k × k 矩陣 (ωα β ) 使得
D
e
α
=
∑
β
=
1
k
e
β
⊗
ω
α
β
.
{\displaystyle De_{\alpha }=\sum _{\beta =1}^{k}e_{\beta }\otimes \omega _{\alpha }^{\beta }.}
利用聯絡形式,E 任何截面的外聯絡現在可以表示出來,假設 ξ = Σα eα ξα ,則
D
ξ
=
∑
α
=
1
k
D
(
e
α
ξ
α
(
e
)
)
=
∑
α
=
1
k
e
α
⊗
d
ξ
α
(
e
)
+
∑
α
=
1
k
∑
β
=
1
k
e
β
⊗
ω
α
β
ξ
α
(
e
)
.
{\displaystyle D\xi =\sum _{\alpha =1}^{k}D(e_{\alpha }\xi ^{\alpha }(\mathbf {e} ))=\sum _{\alpha =1}^{k}e_{\alpha }\otimes d\xi ^{\alpha }(\mathbf {e} )+\sum _{\alpha =1}^{k}\sum _{\beta =1}^{k}e_{\beta }\otimes \omega _{\alpha }^{\beta }\xi ^{\alpha }(\mathbf {e} ).}
在兩邊取分量,
D
ξ
(
e
)
=
d
ξ
(
e
)
+
ω
ξ
(
e
)
=
(
d
+
ω
)
ξ
(
e
)
{\displaystyle D\xi (\mathbf {e} )=d\xi (\mathbf {e} )+\omega \xi (\mathbf {e} )=(d+\omega )\xi (\mathbf {e} )}
其中 d 與 ω 分別表示外導數與一個 1-形式矩陣,作用在 ξ 的分量上。反之,一個 1-形式矩陣 ω 先天足以完全確定在 e 所定義的開子集上局部聯絡。
標架的改變
為了將 ω 延拓到一個合適的整體對象,必須檢驗選取 E 不同的截面時的行為。為了表明取決於 e 的選取寫成 ωα β = ωα β (e )。
假設 e ′ 是另一個局部基,則有一個可逆 k × k 矩陣函數 g 使得
e
′
=
e
g
,
i.e.,
e
α
′
=
∑
β
e
β
g
α
β
.
{\displaystyle {\mathbf {e} }'={\mathbf {e} }\,g,\quad {\text{i.e., }}\,e'_{\alpha }=\sum _{\beta }e_{\beta }g_{\alpha }^{\beta }.}
將外聯絡應用到兩邊,給出了 ω 的變換法則:
ω
(
e
g
)
=
g
−
1
d
g
+
g
−
1
ω
(
e
)
g
.
{\displaystyle \omega (\mathbf {e} \,g)=g^{-1}dg+g^{-1}\omega (\mathbf {e} )g.}
特別注意 ω 不滿足張量 性變換,因為從一個標架到另一個標架的法則涉及到轉移矩陣 g 的導數。
整體聯絡形式
如果 {U p } 是 M 的一個開覆蓋,且每個 U p 攜有 E 的一個平凡化 e p ,則利用在重疊區域上局部標架的黏合數據可以定義一個整體聯絡形式。具體地,M 上一個聯絡形式 是定義在每個 U p 上的 1-形式矩陣 ω(e p ) 的一個系統,滿足下列相容性條件
ω
(
e
q
)
=
(
e
p
−
1
e
q
)
−
1
d
(
e
p
−
1
e
q
)
+
(
e
p
−
1
e
q
)
−
1
ω
(
e
p
)
(
e
p
−
1
e
q
)
.
{\displaystyle \omega (\mathbf {e} _{q})=(\mathbf {e} _{p}^{-1}\mathbf {e} _{q})^{-1}d(\mathbf {e} _{p}^{-1}\mathbf {e} _{q})+(\mathbf {e} _{p}^{-1}\mathbf {e} _{q})^{-1}\omega (\mathbf {e} _{p})(\mathbf {e} _{p}^{-1}\mathbf {e} _{q}).}
這個相同性條件特別地確保 E 的一個截面的外聯絡,當抽象地視為 E ⊗ Ω1 M 的一個截面時,與定義聯絡中基截面的選取無關。
曲率
E 上一個聯絡形式的曲率 2-形式 定義為
Ω
(
e
)
=
d
ω
(
e
)
+
ω
(
e
)
∧
ω
(
e
)
.
{\displaystyle \Omega (\mathbf {e} )=d\omega (\mathbf {e} )+\omega (\mathbf {e} )\wedge \omega (\mathbf {e} ).}
不像聯絡形式,曲率在標架的變化下表現為張量性,可以利用龐加萊引理 直接驗證。特別地,如果 e → e g 是標架的一個變化,則曲率 2-形式變換為
Ω
(
e
g
)
=
g
−
1
Ω
(
e
)
g
.
{\displaystyle \Omega (\mathbf {e} \,g)=g^{-1}\Omega (\mathbf {e} )g.}
此變換法則的一種理解如下。設 e * 是對應於 e 的對偶基 。則 2-形式
Ω
=
e
Ω
(
e
)
e
∗
{\displaystyle \Omega ={\mathbf {e} }\Omega (\mathbf {e} ){\mathbf {e} }^{*}}
與標架的選取無關。特別地,Ω 是 M 上一個向量值 2-形式,取值於自同態環 Hom(E ,E )。用符號表示,
Ω
∈
Γ
(
Ω
2
M
⊗
Hom
(
E
,
E
)
)
.
{\displaystyle \Omega \in \Gamma (\Omega ^{2}M\otimes {\text{Hom}}(E,E)).}
使用外聯絡 D ,曲率自同態由
Ω
(
v
)
=
D
(
D
v
)
=
D
2
v
{\displaystyle \Omega (v)=D(Dv)=D^{2}v\,}
給出,對 v ∈ E 。從而曲率是序列
Γ
(
E
)
→
D
Γ
(
E
⊗
Ω
1
M
)
→
D
Γ
(
E
⊗
Ω
2
M
)
→
D
…
→
D
Γ
(
E
⊗
Ω
n
(
M
)
)
{\displaystyle \Gamma (E)\ {\stackrel {D}{\to }}\ \Gamma (E\otimes \Omega ^{1}M)\ {\stackrel {D}{\to }}\ \Gamma (E\otimes \Omega ^{2}M)\ {\stackrel {D}{\to }}\ \dots \ {\stackrel {D}{\to }}\ \Gamma (E\otimes \Omega ^{n}(M))}
不能成為鏈復形 (在德拉姆上同調 的意義下)的度量。
焊接與撓率
假設 E 的纖維維數 k 等於流形 M 的維數。在此情形,向量叢 E 有時帶有出聯絡外的附加數據:一個焊接形式 (solder form )。一個焊接形式 是一個整體定義的向量值 1-形式 θ ∈ Γ(Ω1 (M ,E )) 使得映射
θ
x
:
T
x
M
→
E
x
{\displaystyle \theta _{x}:T_{x}M\rightarrow E_{x}}
對所有 x ∈ M 是線性同構。如果給定了一個焊接形式,則可以定義聯絡的撓率 為(用外聯絡表示):
Θ
=
D
θ
.
{\displaystyle \Theta =D\theta .\,}
撓率 Θ 是 M 上一個 E -值 2-形式。
一個焊接形式與相伴的撓率都可用 E 的一個局部標架 e 描述。如果 θ 是一個焊接形式,則可分解為標架分量
θ
=
∑
i
θ
i
(
e
)
e
i
.
{\displaystyle \theta =\sum _{i}\theta ^{i}(\mathbf {e} )e_{i}.}
那麼撓率的分量為
Θ
i
(
e
)
=
d
θ
i
(
e
)
+
∑
j
ω
j
i
(
e
)
∧
θ
j
(
e
)
.
{\displaystyle \Theta ^{i}(\mathbf {e} )=d\theta ^{i}(\mathbf {e} )+\sum _{j}\omega _{j}^{i}(\mathbf {e} )\wedge \theta ^{j}(\mathbf {e} ).}
與曲率一樣,可以證明 Θ 在標架的變化與反變張量 變現類似
Θ
i
(
e
g
)
=
∑
j
g
j
i
Θ
j
(
e
)
.
{\displaystyle \Theta ^{i}(\mathbf {e} \,g)=\sum _{j}g_{j}^{i}\Theta ^{j}(\mathbf {e} ).}
與標架無關的撓率可由標架分量重新得到:
Θ
=
∑
i
e
i
Θ
i
(
e
)
.
{\displaystyle \Theta =\sum _{i}e_{i}\Theta ^{i}(\mathbf {e} ).}
例:列維-奇維塔聯絡
假設 M 帶有一個黎曼度量 ,考慮 M 的切叢 上的列維-奇維塔聯絡 [ 2] 。切叢上一個局部標架是一個有序向量場 e = (e i | i = 1,2,...,n=dim M ) 定義在 M 的一個開子集上,在定義域每一點上線性無關。克里斯托費爾符號定義了列維-奇維塔聯絡
∇
e
i
e
j
=
∑
k
=
1
n
Γ
i
j
k
(
e
)
e
k
.
{\displaystyle \nabla _{e_{i}}e_{j}=\sum _{k=1}^{n}\Gamma _{ij}^{k}(\mathbf {e} )e_{k}.}
如果 θ = (θi | i=1,2,...,n),表示餘切叢 的對偶基 ,使得 θi (e j ) = δij (克羅內克δ ),則聯絡形式為
ω
i
j
(
e
)
=
∑
k
Γ
k
i
j
(
e
)
θ
k
.
{\displaystyle \omega _{i}^{j}(\mathbf {e} )=\sum _{k}\Gamma _{ki}^{j}(\mathbf {e} )\theta ^{k}.}
利用聯絡形式,一個向量場 v = Σi e i v i 上的外聯絡由
D
v
=
∑
k
e
k
⊗
(
d
v
k
)
+
∑
j
,
k
e
k
⊗
ω
j
k
(
e
)
v
j
.
{\displaystyle Dv=\sum _{k}e_{k}\otimes (dv^{k})+\sum _{j,k}e_{k}\otimes \omega _{j}^{k}(\mathbf {e} )v^{j}.}
給出。我們可以重新得到列維-奇維塔聯絡,在通常的意義下,將此式與 e i 縮並
∇
e
i
v
=
⟨
D
v
,
e
i
⟩
=
∑
k
e
k
(
∇
e
i
v
k
+
Σ
j
Γ
i
j
k
(
e
)
v
j
)
.
{\displaystyle \nabla _{e_{i}}v=\langle Dv,e_{i}\rangle =\sum _{k}e_{k}\left(\nabla _{e_{i}}v^{k}+\Sigma _{j}\Gamma _{ij}^{k}(\mathbf {e} )v^{j}\right).}
曲率
列維-奇維塔聯絡的曲率 2-形式是一個矩陣 (Ωi j ),由
Ω
i
j
(
e
)
=
d
ω
i
j
(
e
)
+
∑
k
ω
k
j
(
e
)
∧
ω
i
k
(
e
)
.
{\displaystyle \Omega _{i}^{j}(\mathbf {e} )=d\omega _{i}^{j}(\mathbf {e} )+\sum _{k}\omega _{k}^{j}(\mathbf {e} )\wedge \omega _{i}^{k}(\mathbf {e} ).}
給出。為了簡單起見,假設標架 e 是完整的 ,故 dθi =0[ 3] 。使用重複指標的求和約定 ,則
Ω
i
j
=
d
(
Γ
q
i
j
θ
q
)
+
(
Γ
p
k
j
θ
p
)
∧
(
Γ
q
i
k
θ
q
)
=
θ
p
∧
θ
q
(
∂
p
Γ
q
i
j
+
Γ
p
k
j
Γ
q
i
k
)
)
=
1
2
θ
p
∧
θ
q
R
p
q
i
j
{\displaystyle {\begin{array}{ll}\Omega _{i}^{j}&=d(\Gamma _{qi}^{j}\theta ^{q})+(\Gamma _{pk}^{j}\theta ^{p})\wedge (\Gamma _{qi}^{k}\theta ^{q})\\&\\&=\theta ^{p}\wedge \theta ^{q}\left(\partial _{p}\Gamma _{qi}^{j}+\Gamma _{pk}^{j}\Gamma _{qi}^{k})\right)\\&\\&={\tfrac {1}{2}}\theta ^{p}\wedge \theta ^{q}R_{pqi}{}^{j}\end{array}}}
其中 R 是黎曼曲率張量 。
撓率
列維-奇維塔聯絡是切叢上惟一撓率為零的度量聯絡 。為了描述撓率,注意到向量叢 E 是切叢。這帶有一個典範焊接形式(有時稱為典範 1-形式 ),它是對應於切叢的恆同自同態的 Hom(TM ,TM ) = T* M ⊗ TM 的截面 θ。在標架 e 中,焊接形式為 θ = Σi e i ⊗ θi ,其中 θi 是對偶基。
聯絡的撓率由 Θ = D θ 給出,或用焊接形式的標架分量表示為
Θ
i
(
e
)
=
d
θ
i
+
∑
j
ω
j
i
(
e
)
∧
θ
j
.
{\displaystyle \Theta ^{i}(\mathbf {e} )=d\theta ^{i}+\sum _{j}\omega _{j}^{i}(\mathbf {e} )\wedge \theta ^{j}.}
為簡單起見再次假設 e 是完整的,此表達式簡化為
Θ
i
=
Γ
k
j
i
θ
k
∧
θ
j
{\displaystyle \Theta ^{i}=\Gamma _{kj}^{i}\theta ^{k}\wedge \theta ^{j}}
它等於零當且僅當 Γi kj 的下指標是對稱的。
結構群
當向量叢 E 攜有一個結構群 時,可以構造更特別的一類聯絡形式。這等於是在 E 上有與李群 G 相關的一類優先的標架 e 。例如,若 E 上有一個度量 ,則考慮在每一點形成一個標準正交基 的標架。結構群則為正交群 ,因為這個群保持標架的標準正交性。其它例子包括:
一般地,設給定的向量叢 E 的一個纖維維數為 k ,而 G ⊂ GL(k ) 是一般線性群 R k 的一個給定的子群。如果 (e α ) 是 E 的一個局部標架,則一個矩陣值函數 (g i j): M → G 作用在 e α 上可產生一個標架
e
α
′
=
∑
β
e
β
g
α
β
.
{\displaystyle e_{\alpha }'=\sum _{\beta }e_{\beta }g_{\alpha }^{\beta }.}
這樣兩個標架是 G -相關 的。非正式地講,向量叢 E 具有 G -叢結構 如果指定了一類優先的標架,它們局部都是互相 G -相關的。正式地講,E 是一個結構群為 G ,典型纖維 R k 上有G 作為 GL(k ) 子群的自然作用的纖維叢 。
相容聯絡
一個聯絡與 E 上一個 G -叢結構相容要求相伴的平行移動 總將一個 G -標架映為另一個 G -標架。正式地講,沿着一條曲線 γ,下列條件局部成立(即對足夠小的 t ):
Γ
(
γ
)
0
t
e
α
(
γ
(
0
)
)
=
∑
β
e
β
(
γ
(
t
)
)
g
α
β
(
t
)
{\displaystyle \Gamma (\gamma )_{0}^{t}e_{\alpha }(\gamma (0))=\sum _{\beta }e_{\beta }(\gamma (t))g_{\alpha }^{\beta }(t)}
對某個矩陣 g α β (可能與 t 有關)。在 t = 0 微分給出
∇
γ
˙
(
0
)
e
α
=
∑
β
e
β
ω
α
β
(
γ
˙
(
0
)
)
{\displaystyle \nabla _{{\dot {\gamma }}(0)}e_{\alpha }=\sum _{\beta }e_{\beta }\omega _{\alpha }^{\beta }({\dot {\gamma }}(0))}
這裡係數 ωα β 在李群 G 的李代數 g 中。
由此觀察,定義為
D
e
α
=
∑
α
e
β
⊗
ω
α
β
(
e
)
{\displaystyle De_{\alpha }=\sum _{\alpha }e_{\beta }\otimes \omega _{\alpha }^{\beta }(\mathbf {e} )}
的聯絡形式 ωα β 與結構相容 ,如果 1-形式的矩陣 ωα β (e ) 取值於 g 。
而且相容聯絡的曲率形式是一個 g -值 2-形式。
標架的變化
考慮標架變化
e
α
′
=
∑
β
e
β
g
α
β
{\displaystyle e_{\alpha }'=\sum _{\beta }e_{\beta }g_{\alpha }^{\beta }}
這裡 g 是一個定義在 M 的一個開子集上的 G -值函數,聯絡形式的變換法則為:
ω
α
β
(
e
⋅
g
)
=
(
g
−
1
)
γ
β
d
g
α
γ
+
(
g
−
1
)
γ
β
ω
δ
γ
(
e
)
g
α
δ
.
{\displaystyle \omega _{\alpha }^{\beta }(\mathbf {e} \cdot g)=(g^{-1})_{\gamma }^{\beta }dg_{\alpha }^{\gamma }+(g^{-1})_{\gamma }^{\beta }\omega _{\delta }^{\gamma }(\mathbf {e} )g_{\alpha }^{\delta }.}
或者使用矩陣乘積:
ω
(
e
⋅
g
)
=
g
−
1
d
g
+
g
−
1
ω
g
.
{\displaystyle \omega ({\mathbf {e} }\cdot g)=g^{-1}dg+g^{-1}\omega g.}
為了理解每一項,回憶到 g : M → G 是一個 G -值(局部定義)函數。這樣
ω
(
e
⋅
g
)
=
g
∗
ω
g
+
Ad
g
−
1
ω
(
e
)
{\displaystyle \omega ({\mathbf {e} }\cdot g)=g^{*}\omega _{\mathfrak {g}}+{\text{Ad}}_{g^{-1}}\omega (\mathbf {e} )}
其中 ωg 是群 G 的馬尤厄-嘉當形式 ,這裡沿着函數 g 拉回 到 M 上,Ad 是 G 在其李代數上的伴隨表示 。
主叢
前文所介紹的聯絡形式,取決於選取一個特定的標架。在第一個定義中,標架只不過是截面的一個局部基。對每個標架,給出了一個聯絡形式,並有從一個標架到另一個標架的變換法則。在第二個定義中,標架自身帶有由李群給出的附加結構,標架的變化限制取值於這個群。主叢的語言,由夏爾·埃雷斯曼 於是十九世紀40年代最先提出,提供了將這些聯絡形式與聯繫他們變化法則組織為具有一個單獨變換法則的內蘊形式。這種方法的優點是形式不在是定義在流形自身上,而是在更大的主叢上。
聯絡形式的主聯絡
假設 E → M 是結構群為 G 的一個向量叢。設 {U } 是 M 的一個開覆蓋 ,在每個 U 上有一個 G -標架,記作 e U 。在重疊的開子集上的關係為:
e
V
=
e
U
⋅
h
U
V
{\displaystyle {\mathbf {e} }_{V}={\mathbf {e} }_{U}\cdot h_{UV}}
其中 h UV 是定義在 U ∩ V 上某個 G -值函數。
設 FG E 是取遍 M 上每個點的所有 G -標架。這是 M 上一個主 G -叢。具體地說,利用 G -標架都是 G -相關的事實,FG E 可以實現為開覆蓋集合間的黏合數據:
F
G
E
=
∐
U
U
×
G
/
∼
{\displaystyle F_{G}E=\left.\coprod _{U}U\times G\right/\sim }
這裡等價關係 ~ 定義為:
(
(
x
,
g
U
)
∈
U
×
G
)
∼
(
(
x
,
g
V
)
∈
V
×
G
)
⟺
e
V
=
e
U
⋅
h
U
V
and
g
U
=
h
U
V
−
1
(
x
)
g
V
.
{\displaystyle ((x,g_{U})\in U\times G)\sim ((x,g_{V})\in V\times G)\iff {\mathbf {e} }_{V}={\mathbf {e} }_{U}\cdot h_{UV}{\text{ and }}g_{U}=h_{UV}^{-1}(x)g_{V}.}
在 FG E 上,定義一個主 G -聯絡 如下,在每個積 U × G 上定義一個 g -值 1-形式,在重疊區域上服從等價關係。首先設
π
1
:
U
×
G
→
U
,
π
2
:
U
×
G
→
G
{\displaystyle \pi _{1}:U\times G\to U,\quad \pi _{2}:U\times G\to G}
是投影映射。現在對一個點 (x ,g ) ∈ U × G ,置
ω
(
x
,
g
)
=
A
d
g
−
1
π
1
∗
ω
(
e
U
)
+
π
2
∗
ω
g
.
{\displaystyle \omega _{(x,g)}=Ad_{g^{-1}}\pi _{1}^{*}\omega (\mathbf {e} _{U})+\pi _{2}^{*}\omega _{\mathbf {g} }.}
1-形式 ω 這樣構造,在重疊集合上服從轉移規律,從而下降到主叢 FG E 上一個整體定義的 1-形式。可以證明 ω 是一個主聯絡,即它再現了 G 在 FG E 上右作用的生成元,且等變交結 T(FG E ) 上的右作用與 G 的伴隨表示。
主聯絡相伴的聯絡形式
反之,主 G -叢 P →M 上一個主 G -聯絡 ω 給出 M 上一族聯絡形式。假設 e : M → P 是 P 的一個局部截面。則 ω 沿 e 的拉回定義了 M 上一個 g -值 1-形式:
ω
(
e
)
=
e
∗
ω
.
{\displaystyle \omega ({\mathbf {e} })={\mathbf {e} }^{*}\omega .}
用一個 G -值函數 g 改變標架,使用萊布尼茲法則與伴隨,可以發現 ω(e ) 按如下要求變化:
⟨
X
,
(
e
⋅
g
)
∗
ω
⟩
=
⟨
[
d
(
e
⋅
g
)
]
(
X
)
,
ω
⟩
{\displaystyle \langle X,({\mathbf {e} }\cdot g)^{*}\omega \rangle =\langle [d(\mathbf {e} \cdot g)](X),\omega \rangle }
這裡 X 是 M 上一個向量,d 表示前推 。
參見條目
腳註
^ 參見 Griffiths and Harris (1978); Wells (1980); Spivak (1999), Volume II.
^ 參見 Spivak (1999), II.7,從這個觀點完整地來考慮列維-奇維塔聯絡。
^ 在非完整標架中,曲率的表達式更加複雜,因為導數 dθi 必須考慮進來。
^ Wells (1973).
^ 可參見 Kobayashi and Nomizu, Volume II.
^ Wells, ibid .
^ 參見 Chern and Moser.
參考文獻
Chern, S.-S., Topics in Differential Geometry , Institute for Advanced Study, mimeographed lecture notes, 1951.
Chern S. S. and Moser, J.K. Real hypersurfaces in complex manifolds. Acta Math. 1974, 133 : 219–271. doi:10.1007/BF02392146 .
Griffiths, P. and Harris, J. Principles of algebraic geometry. John Wiley and sons. 1978. ISBN 0471050598 .
Kobayashi, Shoshichi and Nomizu, Katsumi. Foundations of Differential Geometry, Vol. 2. Wiley-Interscience. 1996 (New edition). ISBN 0471157325 .
Spivak, Michael. A Comprehensive introduction to differential geometry (Volume 2). Publish or Perish. 1999. ISBN 0-914098-71-3 .
Spivak, Michael. A Comprehensive introduction to differential geometry (Volume 3). Publish or Perish. 1999. ISBN 0-914098-72-1 .
Wells, R.O. Differential analysis on complex manifolds. Springer-Verlag. 1973. ISBN 0-387-90419-0 .