嘉当联络

在數學上，微分幾何的結構**嘉當聯絡**（**Cartan connection**）是聯絡概念的一個推廣，由 Élie Cartan 提出。該方法的一些應用請參見活動標架法，嘉當聯絡的應用和愛因斯坦 - 嘉當理論。

## 理論的概念方面

它由埃里・嘉當提出，作為他的活動標架法的一部分（和一種表述方法）。它可作用於微分形式，所以帶有計算的特徵，但也有兩個其它重要的方面，兩個都更偏幾何。嘉當重新表述了偽黎曼幾何的微分幾何；並不僅僅是（度量）流形，還有任意流形的理論，包括李群。這是用活動標架（**repère mobile**）的術語來表述的，特別是作為廣義相對論的另一種表述。

主要的想法是用_正交標架_建立聯絡形式和曲率的表達式。

**嘉當形式化**是協變導數和曲率的一種可選表示法，它採用微分形式和標架。雖然它最基本的形式是坐標相關的，它非常適合計算。它也可以用**標架叢**的術語來理解，並且有像_旋量叢（spinor bundle）_ 這樣的推廣。

### 標架的一般理論

理論的第一個方面指向主叢的理論（也可以成為_標架_的一般理論）。對於李群 _G_ 的**主叢上的聯絡**的想法比較容易表述，因為在「豎直方向」，可以看到所需的數據可以通過把所有切向量平移回單位元（回到李代數）給出，而聯絡的定義只是簡單的加上一個相容的 ' 水平 ' 分量。若 _G_ 是對於另一個李群 _H_ 的一種仿射群 - 也就是 _G_ 是 _H_ 和一個 _H_ 作用在其上的向量平移群 _T_ 的半直積，則一個 _H_ 叢可以通過關聯叢（associated bundle）構造變成一個 _G_ 叢。也有一個關聯的 _T_ 叢：一個向量叢，_H_ 以自同胚作用於其上，該自同胚在 _G_ 上成為內自同胚。

這種設置下的第一類定義是 _H_ 的一個**嘉當聯絡**是一個特定類型的主 _G_- 聯絡。

### 認同切叢

第二種定義直接檢視以光滑流形 _M_ 為基空間的切叢 _TM_。這裡，數據是 _TM_ 的一種特定的認同，作為一個叢，作為上面提到的 _T_ 叢中的_豎直_切向量（其中，_M_ 自然的認同為 0 截面）。這稱為**焊接**（**soldering**, 有時寫作 **welding**）: 我們現在把 _TM_ 放在了更豐富的設置中，它由 _H_ 值的變換數據表達。這裡的一個要點是，和前面的討論一樣，它_不_假設 _H_ 忠實地作用在 _T_ 上。這直接使得旋量叢可以在理論中取代它們的位置，只要把 _H_ 變成一個旋量群而不只是一個正交群。

## 使用形式化屬於的一般理論

在根源上，幾何由空間的不同物體間的 "相似性" 的概念組成。在 19 世紀晚期，相似性的概念通常由李群在空間上的作用給出。李群的作用通常是非常剛性的，所以嘉當幾何是這種相似概念的一個推廣使得曲率得以出現。當然，一個_平坦_的嘉當幾何是沒有曲率的幾何。從平坦的情況開始，我們用一般性的形式化數學術語描述_嘉當幾何_是什麼意思。

### 平坦的情況

#### 問題的引入

愛爾蘭根綱領主要處理拓撲群的齊性空間的研究，特別的，多數有用的幾何（至少在 19 世紀和 20 世紀初）剛好就是同胚於李群的李子群的商空間的齊次微分流形。正是繼承自李群的微分結構給了這些齊次空間比一般的齊次空間更多的（微分類型的）結構。

#### 數學細節

嘉當的一般方法是從一個李群 _G_ 和一個李子群 _H_ 開始，它們的李代數分別為 ${\mathfrak {g}}$ 和 ${\mathfrak {h}}$ 。有一個 _H_ 的右作用在標準同態

　
: $\pi :G\rightarrow G/H$

的纖維上，由 $R_{h}g=gh$ 給出。一個向量場是_豎直_的若 $\pi _{*}X=0$ . 任何 $X\in {\mathfrak {h}}$ 可以通過右作用的微分給出一個標準的豎直向量場 $X^{+}$ 。所以，譬如若 h (t) 是若 h (t) 是一個單參數子群，其在么元的切向量為 h'(e)=X, 則其垂直向量場為

　
: $X^{+}={\frac {d}{dt}}|_{t=e}R_{h(t)}.$

_G_ 的 Maurer-Cartan form _w_ 可以用齊次空間上的主叢的術語公理化的解釋為：

1. w 是一個 G 上的 g 值 1 - 形式，它是 G 的切空間的線性同構。
2. $(R_{h})_{*}w=Ad(h^{-1})w$ 對所有 H 中的 h.
3. $w(X^{+})=X$ 對所有 ${\mathfrak {h}}$ 中的 X.
4. $dw+{\frac {1}{2}}[w,w]=0$ （**結構方程**）

反過來講，可以表明，給定一個流形和一個 M 上的主 H 叢，若叢上給出一個形式 w 滿足這些條件，則該主叢局域同構於一個主齊次叢 $G\rightarrow G/H$ 的 H 叢.Maurer-Cartan 形式的第四個屬性等價於建立這種同構的可積性條件。一個嘉當幾何是這個意義下的可積性條件的一種破壞，使得曲率得以出現。

### 彎曲的情況

從上述的齊次空間 $(G,H,{\mathfrak {g}},{\mathfrak {h}},w)$ 的基本數據開始，我們現在準備定義一個嘉當幾何為這個結構的一個特定_變形_，使得_曲率_能夠出現。

#### 引例

黎曼幾何可以看作是歐氏幾何的 "變形", 偽黎曼流形是閔可夫斯基空間的變形，配置了共形結構的微分流形（Weyl 流形）可以視為共形幾何的變形，一個配置了仿射聯絡的微分流形（但沒有黎曼度量）可以視為仿射幾何的變形，等等。

還有很多其它例子。特別的有，_G_ 可以不是 _H_ 上的仿射群。物理中的例子有，若 _M_ 為一四維流形而 _H_ 為旋子洛倫茲群 _Spin_(3,1)，則 _G_ 可以是

　
: **R**4 $\rtimes $ Spin(3,1）,

或 _Spin_(4,1) 或 _Spin_(3,2)。這分別對應於選擇閔可夫斯基空間，de Sitter 空間和反 de Sitter 空間。這些結構的彎曲對應物在廣義相對論中很重要。（選擇哪個群取決於宇宙常數的符號）

另一個例子，_G_ 可以是 _SO(n+1,1)_，作用於 _n+2_ 維閔可夫斯基空間，而 _H_ 可以是通過原點的射線的等距群。這樣得到的幾何結構和 _n_ 球的共形運動群同構。這些數據的彎曲對應和流形的共形結構的表述相關。

#### 數學細節

**嘉當幾何**有下列部分組成。一個光滑 n 維流形 M，一個 r 維李群 H, 其李代數為 ${\mathfrak {h}}$ ，一個 M 上的主 H 叢 P，一個 n+r 維李群 G，其李代數為 ${\mathfrak {g}}$ ，H 為 G 子群。嘉當聯絡是 P 上的 ${\mathfrak {g}}$ - 值的 1 - 形式滿足

1. w 是 P 的切空間的線性同構
2. $(R_{h})_{*}w=Ad(h^{-1})w$ 對所有 H 中的 h
3. $w(X^{+})=X$ 對所有 ${\mathfrak {h}}$ 中的 X

嘉當聯絡的曲率為 ${\mathfrak {g}}$ - 值的 2 - 形式

　
: $\Omega =dw+{\frac {1}{2}}[w,w]$

若 M 配備了一個嘉當幾何，其切空間有一個標準的 H 表示。實際上，投影 $\pi :P\rightarrow M$ 有微分 $\pi _{*}:TP\rightarrow TM$ . $\pi _{*}$ 的核（kernel）由垂直向量的子叢組成，嘉當聯絡平凡化為 ${\mathfrak {h}}$ . 這樣 M 的切叢同構於纖維積

　
: $TM\cong P\times _{H}{\mathfrak {g}}/{\mathfrak {h}}$

這裡 ${\mathfrak {g}}/{\mathfrak {h}}$ 被 H 的伴隨表示作用於其上。

## 嘉當聯絡的規範

進行嘉當聯絡的實際計算時，傳統上要在一個特定的規範中進行。M 上的一個規範就是 M 的（一個開子集上的） ${\mathfrak {g}}$ - 值 1 - 形式 $\theta $ ，使得商映射 $\theta :T_{p}M\rightarrow {\mathfrak {g}}\rightarrow {\mathfrak {g}}/{\mathfrak {h}}$ 是向量空間的同構。

用聯絡 w 的術語來講，一個規範可以通過選擇一個截面 $s:M\rightarrow P$ ，並置 $\theta =s^{*}w$ 來決定。這樣一個叢的截面稱為一個活動標架。若一對截面 s 和 t 給定，則他們通過 H - 作用相聯，所以 $s=kt$ ，其中 k 一個 M 上的 H - 值函數。所導出的規範 $s^{*}w$ 和 $t^{*}w$ 有下列方程關聯

　
: $s^{*}w=Ad(k^{-1})t^{*}w+k^{*}\omega _{H}$

其中 $\omega _{H}$ 是 H 的 Maurer-Cartan 形式。

## 基本 D 算子

令 V 為 H 的實或復表示，H 的作用記作 $\rho $ 。令 $A^{0}(P,V)$ 為 P 上的等變 V 值函數，使得

　
: $R_{h}^{*}f=\rho (h^{-1})f$ 對所有 $f\in A^{0}(P,V)$ .

或者說

　
: $A^{0}(P,V)=P\times _{H}V$ .

令 $A^{q}(P,V)$ 為 P 上的等變 V 值 q - 形式的空間。在有嘉當聯絡的情況，有一個標準的同構

　
: $\phi :A^{q}(P,V)\cong A^{0}(P,\bigwedge ^{q}{\mathfrak {g}}^{*})$

由下式給出 $\alpha (X_{1},X_{2},\dots ,X_{q})=\phi (\alpha )(w^{-1}X_{1},\dots ,w^{-1}X_{q})$

de Rham 算子保持等變性，所以退化為一階微分算子

　
: $d:A^{q}(P,V)\rightarrow A^{q+1}(P,V)$ .

**基本 D 算子**就是如下複合算子

　
: $D=\phi ^{-1}\circ d:A^{0}(P,V)\rightarrow A^{0}(P,V\otimes {\mathfrak {g}}^{*})$ .

作用於 $A^{0}(P,V)$ 中的函數，得到

　
: $D_{X}f=w^{-1}(X)f.$

## 共變微分

共變微分是一種一階微分算子，可以定義在一大類嘉當幾何上。同上節一樣，令數據 $(P,H,{\mathfrak {g}},{\mathfrak {h}},w)$ 給定一個嘉當幾何，並令 $(V,\rho )$ 為 H 的一個表示，並在 M 上形成向量叢 $\mathbb {V} =A^{0}(P,V)$ 。共變導數是一個一階微分算子

　
: $\nabla _{X}:\Gamma (\mathbb {V} )\rightarrow \Gamma (\mathbb {V} )$

對每個 $X\in TM$ 滿足通常的公理：若 v 和 w 是 $\mathbb {V} $ 的截面，k 是 M 上的函數，而 X 和 Y 是 TM 的截面，則

 * : $\nabla _{X}(v+w)=\nabla _{X}v+\nabla _{X}w$
 * : $\nabla _{X+Y}v=\nabla _{X}v+\nabla _{Y}v$
 * : $\nabla _{kX}v=k\nabla _{X}v$
 * : $\nabla _{X}(kv)=X(k)v+k\nabla _{X}v.$

要構造共變微分，令 v 為 $\mathbb {V} $ 任一截面。注意 v 可以看作 H - 等變映射 $P\rightarrow V$ 。這是我們要採用的觀點。令 X 為 M 的切叢的一個截面。取任意到 P 的切叢上的右不變提升 ${\bar {X}}$ 。定義

　
: $\nabla _{X}v={\bar {X}}(v)+\rho (\omega ({\bar {X}}))(v)$ .

要證明 $\nabla _{X}$ 有所需屬性，它必須：（1）和所選的提升 ${\bar {X}}$ 無關，（2）等變，所以它下降為 $\mathbb {V} $ 的一個截面。

對於（1），選擇 X 的一個右不變的提升的模糊性是 $X\mapsto X+\zeta ^{+}$ 形式的變換，其中 $\zeta ^{+}$ 是一個從 $\zeta \in {\mathfrak {h}}$ 導出的右不變豎直向量場。所以，在新的提升 ${\bar {X}}+\zeta ^{+}$ 下計算共變導數，就得到

　
: $\nabla _{X}v={\bar {X}}(v)+\zeta ^{+}(v)+\rho (\omega ({\bar {X}}+\zeta ^{+}))(v)$

　
: $={\bar {X}}(v)+\zeta ^{+}(v)+\rho (\omega ({\bar {X}}))(v)+\rho (\zeta )(v)$

　
: $={\bar {X}}(v)+\rho (\omega ({\bar {X}}))(v)$

因為 $\rho (\zeta )(v)=-\zeta ^{+}(v)$ ，這只要取等變屬性 $R_{h}^{*}v=\rho (h^{-1})v$ 的微分就可以看到。

對於（2），因為 ${\bar {X}}$ 是右不變的，

　
: $R_{h}^{*}({\bar {X}}(v))={\bar {X}}(R_{h}^{*}v)={\bar {X}}(\rho (h^{-1})(v))=\rho (h^{-1})({\bar {X}}(v))$

進一步的有

　
: $R_{h}^{*}[\rho (\omega ({\bar {X}}))(v)]=\rho (Ad(h^{-1})\omega ({\bar {X}}))(\rho (h^{-1})v)$

　
: $=\rho (h^{-1})\rho (\omega ({\bar {X}}))(v)$

所以 $R_{h}^{*}(\nabla _{X}v)=\rho (h^{-1})\nabla _{X}v$ ，和我們所要的一樣。

參看：黎曼幾何，廣義相對論

## 進一步的閱讀

* M. Nakahara, "Geometry, Topology and Physics", ISBN 0750306068（2nd ed, paperback）

## 參見條目

* 埃雷斯曼聯絡
* 仿射聯絡
* 曲率形式