カルタン幾何学

**カルタン幾何学**（かるたんきかがく）（）とは、微分幾何学における概念で、多様体の各点における「一次近似」がクラインの幾何学とみなせるものの事である。カルタンの幾何学はクラインの幾何学とリーマン幾何学を包括する幾何学概念として提案された。

以下、本項では特に断りがない限り、単に多様体、関数、バンドル等といった場合は級のものを考える。また特に断りがない限りベクトル空間は実数体上のものを考える。
## 概要

カルタン幾何学の背景にあるのはクラインの**[[エルランゲン・プログラム]]**である。エルランゲン・プログラムは、当時「幾何学」、例えばユークリッド幾何学、双曲幾何学、球面幾何学、射影幾何学等が乱立していた状況に対し、それらを統一する手法を提案したものであり、今日の言葉で言えば、これらはいずれも等質空間の概念を使う事で統一的に記述できる事を示した。

すなわち**クラインの意味での幾何学**（以下単に**クライン幾何学**と呼ぶ）とは、リー群とその閉部分リー群の組(G,H)を等質空間M=G/H上に「幾何学を保つ」変換群が作用しており、上の一点の等方部分群がであるとみなしたものである。

しかしエルランゲン・プログラムには、当時すでに知られていた**[[リーマン幾何学]]**が記述できない、という限界があった。実際リーマン多様体は等質空間にはなっていないので、エルランゲン・プログラムでは記述できない。

**カルタンの意味での幾何学**（以下単に**カルタン幾何学**と呼ぶ）は上記の事情を背景に、クラインの幾何学とリーマン幾何学を包含する形で定義された幾何学概念である：

多様体自身にクライン幾何学の構造が入れば、すなわちM=G/Hであれば、の各点の接ベクトル空間は自然に\mathfrak{g}/\mathfrak{h}と同型になる。ここで\mathfrak{g}、\mathfrak{h}はそれぞれ、のリー代数である。

そこでちょうどリーマン幾何学の「一次近似」である接ベクトル空間がユークリッド幾何学になっているように、カルタン幾何学では、多様体の「一次近似」である接ベクトル空間に、クライン幾何学G/Hの「一次近似」である\mathfrak{g}/\mathfrak{h}を対応させる。このとき、多様体には等質空間G/Hを**モデル空間**とするカルタンの幾何学の構造が入っている、という。

しかしあくまで「一次近似」がクラインの幾何学と等しいだけなので、実際にはカルタン幾何学はクライン幾何学とはズレる。このズレを図るのがの**[[曲率]]**である。

カルタン幾何学を導入するもう一つの動機が**[[滑りとねじれのない転がし]]**である。これは次元のリーマン多様体を次元平面上「滑ったり」、「捻れたり」する事なく「転がした」ときにできる軌跡に関する研究である。

この軌跡はユークリッド幾何学をモデルにするカルタン幾何学を使うことで定式化が可能であり、曲線の**発展**という。ユークリッド幾何学は次元平面上の幾何学であるので、次元平面上の軌跡になるが、一般のクライン幾何学(G,H)をモデルとするカルタン幾何学の発展は、M=G/H上の軌跡となる。

## 定義の背後にある直観
本節ではを参考に、2次元ユークリッド幾何学をモデルとするカルタン幾何学を直観的に説明する。\mathbb{E}^2を2次元ユークリッド空間とし、\mathrm{Iso}(\mathbb{E}^2
)を\mathbb{E}^2の合同変換群とする。すなわち\mathrm{Iso}(\mathbb{E}^2)はA \in O(2)とb \in \mathbb{R}^2を使ってx \mapsto Ax +bと書ける変換全体の集合である。\mathbb{E}^2は\mathrm{Iso}(\mathbb{E}^2)/O(2) と同一視できる。

を2次元多様体とし、上に人が一人立っているとする。人が立っている場所をu \in M とし、人の前方向を軸、左方向を軸とすると、接ベクトル空間の基底 e_x, e_y \in T_u M が定義できる。はユークリッド空間をモデルにしているので、その人は自分の近傍をユークリッド空間だと思っている。

 T_u M  の正規直交基底全体の集合をF_u(M) とし、F(M) = \cup_{u\in M}F_u(M) とすると、F(M) は自然に上のO(2) -主バンドルとみなせる。以上の議論から、F(M) の元は、上にいる人（とその向き）であるとみなせる。

上にいる人を(e_x,e_y)\in F_u(M)  と表すとき、その人が上の位置（＝）を変えずに向きだけを「無限小だけ」変えた場合、その向きの変化を表す速度ベクトルはTF_u(M)   の元とみなせるが、これは人の向きを変えた回転変換の微分なので、回転変換群O(2) の無限小変換群（＝O(2) に対応するリー代数）である\mathfrak{o}(2) の元であるともみなせる。

すなわち、TF_u(M)   の元を\mathfrak{o}(2) の元と対応させる事ができる：
: T F_u(M) \to \mathfrak{o}(2)

また人が上の位置から無限小だけ歩いた場合は、歩いたことによる(e_x,e_y)\in F_u(M)  の変化の速度ベクトルはT_uF(M)   の元とみなせるが、その人は自分がユークリッド空間を歩いているのだと理解しているので、速度ベクトルを\mathrm{Iso}(\mathbb{E}^2
)の無限小変換群（＝\mathrm{Iso}(\mathbb{E}^2
)のリー代数）である\mathfrak{iso}(\mathbb{E}^2)の元であるとみなす。すなわちT_uF(M)   の元を\mathfrak{iso}(\mathbb{E}^2)と対応付けて考える。

結局、ユークリッド幾何学をモデルとするカルタン幾何学とは、上のO(2) -主バンドルF(M)で、ファイバーごとの線形写像
: \omega~:~T F(M) \to \mathfrak{iso}(\mathbb{E}^2)

を持ち、各u \in M に対し、のファイバーF_u(M) の接バンドルTF_u(M) へのの制限が
: \omega(T F_u(M)) \in \mathfrak{o}(2)

を満たすもので「性質の良いもの」（後述）である。

## 準備
本節ではカルタン幾何学の定式化に必要となる用語を定義する。
### 基本ベクトル場
をリー群とし、\mathfrak{g}をそのリー代数とし、さらにをが右から作用する多様体（例えば-主バンドル\pi~:~P \to Mの全空間）とする。なお、が-主バンドル\pi~:~P \to Mの全空間の場合には\underline{A}_pは垂直部分空間\mathcal{V}_pの元である事が容易に示せる。

### 随伴表現
ここで\mathrm{GL}(\mathfrak{g})は\mathfrak{g}上の線形同型全体のなすリー群である。随伴表現の定義はh(t)の取り方によらずwell-defninedである。

### モーレー・カルタン形式
クライン幾何学の構造を調べる準備としてモーレー・カルタン形式を導入する。{}_*(v) \in \mathfrak{g}
により定義し、をのにおける**モーレー・カルタン形式**という。

ここでL_{g^{-1}}{}_*は群の左作用L_{g^{-1}}~:~h\in G~~ \mapsto g^{-1}hが誘導する写像である。|note=モーレー・カルタン形式}}モーレー・カルタン形式は以下を満たす：ここで[\cdot,\cdot]は\mathfrak{g}上のリー括弧であり、\mathfrak{g}-値1-形式、に対し、[\alpha,\beta](X,Y) := [\alpha(X),\beta(Y)]-[\alpha(Y),\beta(X)]である。

上記の2式のうち下のものを**モーレー・カルタンの方程式**（）、もしくはリー群の**構造方程式**（）という。

## 定義と基本概念
### 定義
リー群とその閉部分リー群の組(G,H)でG/Hが**連結になるもの**を'''クライン幾何学'''、もしくは（カルタン幾何学のモデルになるので）**モデル幾何学**（）という。

(G,H)をモデル幾何学とし、\mathfrak{g}、\mathfrak{h}をそれぞれ、のリー代数とする。

を-主バンドル\pi~:~P \to Mの**カルタン接続**（）という。また紛れがなければの事を**カルタン幾何学**という。

3つの条件の直観的な意味を説明する。
* 1つ目の条件は、T_pPと\mathfrak{g}が同一視できる事を意味しており、前述した直観的説明のように、モデルがユークリッド幾何学であれば、にいる人は、自分の近傍がユークリッド空間であるとみなしているので、人の動きの速度ベクトルの集合T_pPが、無限小変換全体\mathfrak{g} = \mathfrak{iso}(\mathbb{E}^2) で記述可能である事を要請するのは自然である。
* ２つ目の条件は、各u \in Mに対し、が同型写像A \in \mathfrak{h} \mapsto \underline{A} \in T_pP_pの逆写像である事を要請している。\underline{A}はA \in \mathfrak{h}がP_pに定める無限小変換なので、前述した直観的説明からこれは自然な要請である。なお、この２つ目の条件から特に直観的説明のところで登場した以下の要件が従う：
*: \omega(T P_u) \in \mathfrak{h} 
* ３つ目の条件は、前述した直観的説明からu \in Mにいる人は自分の近傍がモデル幾何学(G,H)に似ているとみなしているので、h \in Hを右から乗じれば、\mathfrak{g} = T_eG  の元はT_hG  に移動してしまうので、左からもh^{-1}を乗じて\mathfrak{g} = T_eG  に戻す随伴表現\mathrm{Ad}(h^{-1})を作用させたものと等しくなる事を要請する。

なお、\omega~:~ T_pP \overset{\sim}{\to} \mathfrak{g} は同型なので、上定義できるカルタン幾何学には
:  \dim \mathfrak{g} = \dim \mathfrak{h} + \dim M  
という制約が課せられる事になる。

### 主接続との関係

カルタン接続の定義は主バンドルの接続（主接続）の接続形式の定義とよく似ているが、両者は似て非なる概念であり、-主バンドルの主接続の接続形式はのリー代数\mathfrak{h}に値を取るが、カルタン接続はのリー代数\mathfrak{g}に値を取っている。しかし、(\pi,P,\omega)を(G,H)をモデル幾何学とする多様体上のカルタン幾何学とするとき、-主バンドル\pi~:~P \to M上定義されたカルタン接続\omega ~:~TP \to \mathfrak{g}は、自然に
:  Q := P \times_H G  \to M  
という-主バンドル上の\mathfrak{g}-値1-形式
:  \bar{\omega} ~:~TQ \to \mathfrak{g} 
に拡張する事ができ、\bar{\omega}は-主バンドルQ \to Mの接続形式である。逆にQ \to Mを任意の-主バンドルとし、\bar{\omega}を上定義された接続形式とするとき、Q \to Mの-部分バンドル\varphi~:~P \to Qで\varphi_*(TP) \cap \ker \omega =\{0\}であり、しかも\dim G = \dim Pであればのへの制限は上のカルタン接続になる。

なお、モデル幾何学が「簡約可能」という条件を満たす場合は、上記のものとは別の形の関係性をカルタン接続と主接続は満たす。詳細は後述する。

### 無限小クライン幾何学による定式化
定義から分かるように、カルタン幾何学の定義は\mathfrak{g}、\mathfrak{h}、およびには依存しているが、には直接依存していない。これは\mathfrak{g}、\mathfrak{h}、およびは上のカルタン幾何学の**局所的な**構造を定めるのに対し、はクライン幾何学(G,H)の**大域的な**構造を定めるものであるため、が不要である事による。

リー代数\mathfrak{g}に対応するリー群は一意ではなく、これが原因で大域的な構造を定めるはカルタン幾何学の定義に必須でないばかりか、一部の定理ではを（\mathfrak{g}に対応する）別のリー群に取り替える必要が生じてしまう。

そこでに直接言及せず、(\mathfrak{g},\mathfrak{h})を使ったカルタン幾何学の定式化も導入する。そのために以下の定義をする：

(\mathfrak{g})
をの線形表現で、任意のh \in Hに対し、\mathrm{Ad}(h)の\mathfrak{h}への制限\mathrm{Ad}(h)|_{\mathfrak{h}}がの\mathfrak{h}への随伴表現\mathrm{Ad}_{\mathfrak{h}}と等しいものとするの\mathfrak{h}への制限である事を用いているので、以下、本項でもこれを仮定する。なお、随伴表現\mathrm{Ad}_{\mathfrak{g}}は\mathfrak{g}に対応するリー群の取り方に依存せずwell-definedである。}}。ここで\mathrm{GL}_{\mathrm{Lie}}(\mathfrak{g})は\mathfrak{g}上のリー代数としての自己同型全体の集合である。

このとき、組(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})を**モデル幾何学**という。
|}}

以下、特に断りがなければ、(\mathfrak{g},\mathfrak{h})が効果的である事を仮定する。ここで(\mathfrak{g},\mathfrak{h})が**効果的**であるとは、\mathfrak{h}に含まれる\mathfrak{g}のイデアルが\{0\}のみである事を意味する。、を\mathfrak{g}、\mathfrak{h}に対応するリー群とすると、(\mathfrak{g},\mathfrak{h})が効果的である事は、X=G/H、K:=\{g \in G \mid \forall x \in X~:~gx=x\}とするとき、が離散群になる事と同値である。

### カルタン幾何学としてのクライン幾何学
本節ではカルタン幾何学の最も簡単な例として、クライン幾何学のカルタン幾何学としての構造を調べる。(G,H)をクライン幾何学とし、M=G/Hとし、u_0=[e]とする。ここで[e]はの単位元の同値類である。このとき
:  \pi~:~g \in G \mapsto gu_0 \in M  
は自然に-主バンドルとみなせる。上のモーレー・カルタン形式\omega^Gがカルタン接続の定義を満たす事を示せるので、(\pi, G, \mu) は(G,H)をモデルとするカルタン幾何学になる。
#### 局所クライン幾何学とその上のカルタン幾何学
リー群とその閉部分リー群の組(G,H)を考える。の離散部分群\Gammaで、G/Hへのからの作用G \curvearrowright G/H の\Gammaへの制限\Gamma \curvearrowright G/H  が効果的なものを考える（\Gamma \curvearrowright G/H  が効果的な事は\Gamma \cap H =\{e\} である事と同値である）。このとき、\Gamma \curvearrowright G/H  による商集合M=\Gamma \backslash G/Hを考える。が連結なとき、(G,H,\Gamma)を**局所クライン幾何学**（）という。

局所クライン幾何学上に以下のようにカルタン幾何学を定義できる。まず\Gamma \curvearrowright G/H  が効果的なのでP =\Gamma\backslash Gとすると、商写像
: \pi~:~P=\Gamma\backslash G \to M =\Gamma \backslash G/H 
には自然に-主バンドルの構造が入る。また上のモーレー・カルタン形式\omega^Gはその定義より左不変なので、商写像q~:~G \to \Gamma\backslash G に対し
: \pi^*(\omega^{\Gamma\backslash G}) = \omega^G
を満たす一意な\mathfrak{g}-値1-形式を\omega^{\Gamma\backslash G} とする事で、P =\Gamma\backslash Gにカルタン接続\omega^{\Gamma\backslash G} がwell-definedされ、M=\Gamma \backslash G/H上に(G,H)をモデルとするカルタン幾何学(\pi,P,\omega^{\Gamma\backslash G})が定義できる。

### カルタン幾何学の（局所）幾何学的同型
２つのカルタン幾何学の間の（局所的および大域的な）同型概念を以下のように定義する：

### 定数ベクトル場と普遍共変微分
任意のp \in Pに対して\omega~:~ T_pP \overset{\sim}{\to} \mathfrak{g} は同型写像であるので、はにより
:  TP \approx P \times \mathfrak{g}  
という同一視ができ、はベクトルバンドルとして自明である。

よって特にA \in \mathfrak{g}を各p\in Pに対しての逆写像でに移すことで、上のベクトル場を作る事ができる。

定数ベクトル場を用いると、以下の「普遍共変微分」を定義できる：
モデル幾何学が「簡約可能」という条件を満たす場合は、普遍共変微分は通常の共変微分を導く。これについては後述。

### 接バンドル
本節ではカルタン幾何学が定義された多様体の接バンドルの構造を調べる。そのために以下の定義をする。

(\pi,P,\omega)を(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})をモデル幾何学とする上のカルタン幾何学とする。\mathrm{Ad}はの\mathfrak{g}への作用を定義するが、\mathrm{Ad}の\mathfrak{h}への制限は\mathfrak{h}上の随伴表現である（ので\mathrm{Ad}は\mathfrak{h}を保つ）ことから、\mathrm{Ad}はの\mathfrak{g}/\mathfrak{h}への作用を誘導する。または-主バンドルに作用していたので、これの作用により、ベクトルバンドル
:  P \times_{H,\mathrm{Ad}} \mathfrak{g} / \mathfrak{h} 
を定義できる。実はこのベクトルバンドルは接バンドルと同型である：

 \mathfrak{g} / \mathfrak{h} \approx TM
が成立する。
|note=接バンドルと無限小クライン幾何学の関係}}
具体的には写像
:  [(p, [A])] \in P \times_{H,\mathrm{Ad}} \mathfrak{g} / \mathfrak{h} \mapsto \pi_*(\omega_p{}^{-1}(A)) \in TM 
はwell-definedであり、ベクトルバンドルとしての同型写像である。ここで\omega_p{}^{-1}(A)は同型写像\omega_p~:~T_pP \overset{\sim}{\to} \mathfrak{g} の逆写像  \omega_p{}^{-1}  でA \in \mathfrak{g}をT_pPに移したものである。

### 曲率
#### 定義
クライン幾何学をカルタン幾何学とみなした場合、カルタン接続はモーレー・カルタン形式と等しいので、カルタン接続は構造方程式
: d\omega^G + {1 \over 2}[\omega^G,\omega^G]=0
を満たすが、一般のカルタン幾何学は構造方程式を満たすとは限らない。そこで以下の量を考える：

は（局所）クライン幾何学からのズレを表す量であると解釈でき、明らかにクライン幾何学や局所クライン幾何学の曲率は恒等的に0である。

曲率は以下を満たす：

点u \in Mのファイバーにはが単純推移的に作用するので、p \in P_uをfixして、h \in H \mapsto ph \in P_u によりとを同一視すると、上にモーレー・カルタン形式が定義できる。しかもはp \in P_uの取り方に依存しないことも容易に証明できる。実は曲率のへの制限はに一致する。なお、実は、の少なくとも一方がに属していれば、\Omega_p(v,w)=0である事が知られている。よって特に次が成立する：
このは次節で導入する曲率関数を用いる事で具体的に記述できる。
#### 曲率関数
\omega_p T_pP \overset{\sim}{\to} \mathfrak{g} が同型写像であったことから、写像の合成
: \wedge^2\mathfrak{g} \overset{\sim}{\to} \wedge^2 T_pP \overset{\Omega}{\to} \mathfrak{g} 
を定義できる。またすでに述べたように、の少なくとも一方がに属していれば、\Omega_p(v,w)=0である事が知られている事から、この写像は\wedge^2 \mathfrak{g} /\mathfrak{h} 上の写像をwell-definedに誘導する。

曲率\Omega~:~\wedge^2T_pP \approx \wedge^2\mathfrak{g} \to \mathfrak{g} が上の\mathfrak{g}-値2-形式を誘導する事を前に見た。このは曲率関数を使って以下のように書き表す事ができる。

: \begin{array}{cccccc}
\Omega~:~&\bigwedge^2 T_pP & \approx &\bigwedge^2\mathfrak{g} & \to & \mathfrak{g}\\
&\pi_*\downarrow &\circlearrowright &\downarrow  &\circlearrowright & ||\\
\Omega'~:~&\bigwedge^2 T_{\pi(p)}M  &\approx& \bigwedge^2\mathfrak{g}/\mathfrak{h} &\overset{K_p}{\to} & \mathfrak{g} 
\end{array} 

#### 捩率
さらに以下の定義をする：

モデル幾何学がアフィン幾何学である場合は、この捩率はアフィン接続の捩率テンソルに一致する。詳細は後述。

### 標準形式
本節の目標は、商写像
: \rho ~:~\mathfrak{g} \to \mathfrak{g}/\mathfrak{h} 
とカルタン接続の合成\rho \circ \omegaの幾何学的意味を説明する事である。

まず、\rho \circ \omegaは以下のように特徴づける事ができる：
 & \mathfrak{g}  \\ 
\pi_*\downarrow          &                                 &  \rho\downarrow \\
T_{\pi(p)}M         &\overset{\varphi_p{}^{-1}}{\overset{\sim}{\to}}&  \mathfrak{g}/\mathfrak{h} 
\end{array}

ここで\varphi_pは[A] \in \mathfrak{g}/\mathfrak{h}に[(p,[A])]\in P\times_{H,\mathrm{Ad}} \mathfrak{g}/\mathfrak{h}\approx T_{\pi(p)}Mを対応させる写像である。

|note=\rho\circ\omegaの特徴づけ}}

上記の特徴付けから、\rho \circ \omegaの幾何学的意味は同型P \times_H \mathfrak{g}/\mathfrak{h} 
\overset{\sim}{\to} TM  
 に関係しているので、この同型の幾何学的意味を見る。\mathfrak{g}/\mathfrak{h}にベクトル空間としての基底e_1,\ldots,e_mをfixし、同型
: P \times_{H,\mathrm{Ad}} \mathfrak{g}/\mathfrak{h} 
\overset{\sim}{\to} TM  
 
による[p,e_i]の像をe^p_iとすると、e^p:=(e^p_1,\ldots,e^p_m)はT_{\pi(p)} M の基底をなす。

よって特に、F:=\{e^p \mid p\in P\}とすると、は上の（＝各点のファイバーがの基底からなるバンドル）になる。

一般には対応
: p \in P \mapsto e^p \in F 
は全単射ではないが、P \times_{H,\mathrm{Ad}} \mathfrak{g}/\mathfrak{h}
 の定義から、カルタン幾何学が下記の意味で「一階」であれば、この写像は全単射になる：

以上の準備のもと、\rho \circ \omegaを幾何学的に意味付ける：

上記のような、v \in T_eFに\pi_*(v)=v^ie_iとなる{}^t(v^1,\ldots,v^m)を対応させる\mathbb{R}^m-値1-形式をフレームバンドル上の**標準形式**（）という。上述の定理はカルタン幾何学が一階であれば\rho \circ \omegaは標準形式として意味づけられる事を保証する。

## 簡約可能なモデル幾何学に対するカルタン幾何学

本節ではモデル幾何学(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})が「簡約可能」という性質を満たす場合にが対するカルタン幾何学の性質を見る。具体的にはモデル幾何学がユークリッド幾何学やアフィン幾何学の場合には簡約可能になる。
### 定義
まず簡約可能性を定義する：{\curvearrowright} \mathfrak{g}   により不変な部分ベクトル空間 \mathfrak{b} \subset \mathfrak{g} が存在し、\mathfrak{h} \cap \mathfrak{b} =\{0\} 、\mathfrak{h} \oplus \mathfrak{b} = \mathfrak{g} を満たす事を言う。
}}

なお、 \mathfrak{b} の取り方は一意とは限らないので注意されたい。

が2つのリー群の半直積G=H \ltimes Bで書けている場合は、、に対応するモデル幾何学(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})は、のリー代数を \mathfrak{b} として選ぶ事で簡約可能である。

よって特にユークリッド幾何学の等長変換群\mathrm{Iso}(\mathbb{E}^m)は直交群O(m)と平行移動のなす群の半直積で書けるので対応するモデル幾何学は簡約可能である。アフィン幾何学も同様である。

### カルタン接続の分解
(\pi,P,\omega)を(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})をモデル幾何学にする多様体上のカルタン幾何学とする。モデル幾何学(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})が、\mathfrak{h} \oplus \mathfrak{b} = \mathfrak{g} と簡約可能なとき、\mathfrak{g}の元は\mathfrak{h}の元と\mathfrak{b}の元の和で一意に表現できるので、カルタン接続\omega~:~TP \to \mathfrak{g}も
:  \omega = \omega_{\mathfrak{h}} + \omega_{\mathfrak{b}} 
のように「\mathfrak{h}部分」と「\mathfrak{b}部分」の和で書ける。この分解を用いると、カルタン接続と主接続の接続形式との関係性を以下のように記述できる：
 + \omega_{\mathfrak{b}} と分解すると、
\omega_{\mathfrak{h}}は上の主接続の接続形式の定義を満たす。|note=簡約可能な場合のカルタン接続と接続形式の関係}}

したがって、簡約可能なモデル幾何学の場合にはカルタン接続から主接続の接続形式\mathfrak{h}が得られることになる。

一方、\omega_{\mathfrak{b}}は
:\mathfrak{b}\subset \mathfrak{g} \overset{\rho}{\to} \mathfrak{g}/\mathfrak{h}
により\mathfrak{b}を\mathfrak{g}/\mathfrak{h}と同一視すると、\omega_{\mathfrak{b}}は\rho \circ \omegaと同一視でき、前述のように（カルタン幾何学が一階であれば）\rho \circ \omegaは標準形式であるとみなせる。

したがって分解\omega=\omega_{\mathrm{h}}+\omega_{\mathrm{b}}はカルタン接続\omegaを接続形式\mathfrak{h}と標準形式\mathfrak{b}に分解するものであるが、実は逆に接続形式と標準形式からカルタン接続を復元できる：

前述した、カルタン接続から接続形式と標準形式とに分解する定理とは丁度「逆写像」の関係にあり、簡約可能で一階の場合はカルタン接続は接続形式と標準形式との組と1対1に対応する。

### Koszul接続
モデル幾何学が簡約可能である場合、上述したようにカルタン接続から定義される \omega_{\mathfrak{h}}  は-主バンドルの接続形式になる。ベクトル空間上のの線形表現\gamma~:~ H \to \mathrm{GL}(V)があれば、ベクトルバンドルとしての接続（Koszul接続）の一般論から、接続形式 \omega_{\mathfrak{h}}  は上のベクトルバンドル  E := P \times_{H,\gamma} V  にKoszul接続を定める。

よって特に、接バンドルは
: TM \approx P \times_{H,\mathrm{Ad}} \mathfrak{g}/\mathfrak{h} 
と書けたので、 \omega_{\mathfrak{h}}  は上のKoszul接続、すなわちアフィン接続を定める。

このことから分かるように**モデル幾何学がアフィン幾何学でなくても**、簡約可能でありさえすればアフィン接続を誘導する。

しかし特にモデル幾何学がアフィン幾何学であれば、アフィン変換群の\mathfrak{g}/\mathfrak{h} 上の随伴表現は\mathfrak{g}/\mathfrak{h} 上のアフィン変換になる事を示す事ができ、この意味においてTM \approx P \times_{H,\mathrm{Ad}} \mathfrak{g}/\mathfrak{h} はアフィン空間\mathfrak{g}/\mathfrak{h} のバンドルとなる。後述するように、この事実が例えばモデルがユークリッド幾何学の場合には重要になる。

#### 普遍共変微分との関係
\gamma~:~ H \to \mathrm{GL}(V)をベクトル空間上のの線形表現とし、 \omega_{\mathfrak{h}}  が上のベクトルバンドル  E := P \times_{H,\gamma} Vに定めるKoszul接続をとする。

の切断とp \in Pに対し、 s_{\pi(p)} = [p,f_s(p)] \in P \times_{H,\gamma} V = E  となるf_s(p) が一意に存在し、はからへの関数f_s~:~ P \to V  とみなせる。

(\tilde{X})} f_s 
ここで\tilde{X} は\pi_*(\tilde{X})=Xとなるの接ベクトルである(\tilde{X})} f_s に等しい。理由は以下の通りである。まず普遍共変微分の定義よりYf_s=D_{\omega(Y)}f_sであり、水平リフト（詳細は接続 (ファイバー束)を参照）とは\pi_*(Y)=Xとなるの中で\omega_{\mathfrak{h}}(Y)=0となるもののことである。
そして本項の\tilde{X}も\pi_*(\tilde{X})=Xとなり、しかも\omega(\tilde{X})=\omega_{\mathfrak{h}}(\tilde{X})+\omega_{\mathfrak{b}}(\tilde{X})のうち水平成分の\omega_{\mathfrak{b}}(\tilde{X})方向のみを考えているので、\omega_{\mathfrak{b}}(\tilde{X})=\omega(Y)。以上のことからYf_s=D_{\omega(Y)}f_s=D_{\omega_{\mathfrak{b}}(X)}f_sである。}}
。
}}

上記のように D_{\omega_{\mathfrak{b}}(\tilde{X})} f_s はKoszul接続  \nabla{}_X s  と関係するが、それに対し D_{\omega_{\mathfrak{h}}(\tilde{X})} f_s の方は自明なものになってしまう：
(\tilde{X})} f_s=-\gamma_*(\omega_{\mathfrak{h}}(\tilde{X}))f_s
ここではを定義する線形表現\gamma~:~ H \to \mathrm{GL}(V)が誘導する写像\gamma_*~:~\mathfrak{h} \to \{V上の線形写像\}である。
}}

### 曲率の分解
本節ではモデル幾何学(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})が\mathfrak{g}
 = \mathfrak{h} + \mathfrak{b}  と簡約可能でしかも
: [\mathfrak{b},\mathfrak{b}]\subset \mathfrak{b} 
となっている場合、すなわち\mathfrak{b}  として\mathfrak{g}  の部分リー代数になっているものを取れる場合に対し、曲率の「\mathfrak{h}部分」と「\mathfrak{b}部分」を具体的に書き表す。

先に進む前にこの条件を満たすモデル幾何学の具体例を述べる。例えば\mathfrak{g}  に対応するリー群が2つのリー群の半直積G=H \ltimes Bで書けている場合に、\mathfrak{b}  としてのリー代数を取れば上述の条件を満たす。特に、モデル幾何学がアフィン幾何学である場合は、アフィン変換群\mathrm{Aff}_mは線形変換\mathrm{GL}_m(\mathbb{R}) と平行移動のなす群B=\mathbb{R}^mの半直積で書け、しかも\mathfrak{b}  をのリー代数とすると、
: [\mathfrak{b},\mathfrak{b}]=\{0\} 
というより強い条件が成立する。モデル幾何学がユークリッド幾何学の場合も同様である。

曲率は\mathfrak{g}
 = \mathfrak{h} + \mathfrak{b}  に値を取るので、曲率を
: \Omega =\Omega_{\mathfrak{h}} + \Omega_{\mathfrak{b}} 

と「\mathfrak{h}部分」\Omega_{\mathfrak{h}} と「\mathfrak{b}部分」\Omega_{\mathfrak{b}} に分解する。商写像\mathfrak{b} \subset \mathfrak{g}  
\overset{\rho}{\to} 
 \mathfrak{g}/\mathfrak{h} が同型になることから、\mathfrak{b}\approx \mathfrak{g}/\mathfrak{h} という同一視をすると、
: \Omega_{\mathfrak{b}} \approx \rho(\Omega) = \tau 

と\Omega_{\mathfrak{b}} がカルタン幾何学の捩率\tau=\rho(\Omega) に対応する事が分かる。

とくにアフィン幾何学をモデルとするカルタン幾何学の場合、\mathfrak{b}  はアフィン変換群\mathrm{Aff}_m=\mathrm{GL}_m(\mathbb{R})\ltimes \mathbb{R}^mの並進部分である\mathbb{R}^mに対応するリー代数であるので、**アフィン幾何学をモデルとする場合、捩率とは並進に関する曲率**であるとみなせる。

#### 構造方程式
曲率の定義から、
: \Omega=d\omega + {1 \over 2}[\omega,\omega]=
d\omega_{\mathfrak{h}}
 + d\omega_{\mathfrak{b}} 
 + {1 \over 2}[\omega_{\mathfrak{h}},\omega_{\mathfrak{h}}]
 + [\omega_{\mathfrak{h}},\omega_{\mathfrak{b}}]
 + {1 \over 2}[\omega_{\mathfrak{b}},\omega_{\mathfrak{b}}]


が成立するので、仮定[\mathfrak{b},\mathfrak{b}]\subset \mathfrak{b} を使うと以下が成立する事が分かる：

=
d\omega_{\mathfrak{h}}
 + {1 \over 2}[\omega_{\mathfrak{h}},\omega_{\mathfrak{h}}] 

* \tau \approx \Omega_{\mathfrak{b}}=
 d\omega_{\mathfrak{b}} 
 + [\omega_{\mathfrak{h}},\omega_{\mathfrak{b}}]
 + {1 \over 2}[\omega_{\mathfrak{b}},\omega_{\mathfrak{b}}]

|note=分解した場合の構造方程式}}

\omega_{\mathfrak{h}}  が接続形式に対応している事から、上記の定理の１つ目の式は、接続形式\omega_{\mathfrak{h}}  が定義する主接続に対する**第二構造方程式**である事がわかる。よって特に、\Omega_{\mathfrak{h}} は主接続の**曲率形式**である事がわかる。したがって

一方2本目の式において \omega_{\mathfrak{b}}  は TP \overset{\omega}{\to} \mathfrak{g} \to \mathfrak{g}/\mathfrak{h} \approx \mathfrak{b} に一致し、標準形式として解釈できるので、モデル幾何学がアフィン幾何学である場合のように[\mathfrak{b},\mathfrak{b}]=\{0\} であれば、2本目の式は

: \tau \approx 
 d\theta 
 + [\omega_{\mathfrak{h}},\theta]


となり、**第一構造方程式**に対応している事が分かる。よってこの場合の捩率は接続形式\omega_{\mathfrak{h}}  がによって定まる主接続の**[[捩率テンソル]]**に一致する。

#### ビアンキ恒等式
前述したカルタン接続のビアンキ恒等式
: d\Omega = [\Omega,\omega]

を「\mathfrak{h}部分」と「\mathfrak{b}部分」に分解することで以下の定理が結論づけられる：

 = [\Omega_{\mathfrak{g}},\omega_{\mathfrak{g}}] 
* d\tau \approx d\Omega_{\mathfrak{b}}
=
 [\tau,\omega_{\mathfrak{h}}]
+  [\Omega_{\mathfrak{h}},\omega_{\mathfrak{b}}]
+  [\Omega_{\mathfrak{h}},\omega_{\mathfrak{h}}]

|note=分解した場合のビアンキ恒等式}}
\omega_{\mathfrak{h}}  が接続形式に対応している事から、上記の定理の1本目の式は接続形式\omega_{\mathfrak{h}}  が定義する主接続に関する**第二ビアンキ恒等式**である。

一方、2本目の式は、構造方程式の場合と同様、モデル幾何学がアフィン幾何学のように[\mathfrak{b},\mathfrak{b}]=\{0\} を満たせば、

: d\tau 
\approx 
 [\tau,\omega_{\mathfrak{h}}]
+  [\Omega_{\mathfrak{h}},\theta]


と**第一ビアンキ恒等式**に一致する。

## 曲線の発展

### 上の発展
(\pi,P,\omega)を(G,H)をモデルとする上のカルタン幾何学とし、\varphi~:~ [a,b] \to P 
を区間[a,b]上定義された上の曲線とするを上の点とすると、T_{\varphi(t)}P にはカルタン接続により\mathfrak{g}の元が対応している。次の事実が知られている：{dt}(t)\right)
=\omega\left(\tfrac{d\varphi}{dt}(t)\right)  

が成立し、しかも\tilde{\varphi}(a)=gを満たすものがが一意に存在するが成立する。ここで\omega^Gはのモーレー・カルタン形式である。

曲線\tilde{\varphi}を曲線\varphiのからのに関する**発展**()という。}}
モーレー・カルタン形式\omega^Gは、上の接ベクトルをの作用により\mathfrak{g}=T_eGに移す変換であったので、上記の定理は\tfrac{d\tilde{\varphi}}{dt}(t)がの作用による移動を除いて\omega\left(\tfrac{d\varphi}{dt}(t)\right) に一致する事を意味する。

上記の定理の直観的な意味を説明する。クライン幾何学(G,H)においては等質空間G/Hにおける同型写像のなす群であったので、そのリー代数\mathfrak{g}の元はG/H上の「無限小同型変換」、すなわち同型写像の微分とみなせた。

カルタン幾何学(\pi,P,\omega)の付与された多様体とは「一次近似」がクライン幾何学に見える空間であり、の元はカルタン接続により\mathfrak{g}の元と対応しており、\omega(v_p)は\pi(u)における「無限小同型変換」を意味していた。

上記の定理は曲線\varphiに沿って「無限小同型変換」である\mathfrak{g}の元\omega\left(\tfrac{d\varphi}{dt}(t)\right) を束ねていくとその「積分曲線」として同型変換であるの元\tilde{\varphi}(t)があらわれる事を意味している。

もしがG/Hそのものであれば、この同型変換\tilde{\varphi}(t)は実際に上の同型変換になる事を後述する。

### 上の発展

q~:~G \to G/HをからG/Hへの商写像とすると、上記の補題から次が成立する：

### ホロノミー

が連結であるとし、u_0 \in Mと\pi(p_0)= u_0を満たすp_0 \in Pをfixし、c~:~[a,b] \to M をを基点とする上の閉曲線とする。\pi(\varphi(t))= c(t)を満たす上の閉曲線\varphi~:~[a,b] \to Pでを基点とするものとすると、前述した補題から、\varphiの単位元e \in Gからの発展\tilde{\varphi}~:~I \to Gの終点\tilde{\varphi}(b) は\varphiの取り方によらず等しい。そこで以下のような定義をする：

ホロノミー群は基点やそのリフトを取り替えても、共役を除いて一意に定義できる。実際、基点のリフトを別の点, where h \in Hに取り替えると、ホロノミーは\Phi^{p_0h}(c)=h^{-1}\Phi^{p_0}(c)h を満たす。また基点を別の基点に変えると、\Phi^{p_1}(\Omega(M,u_1))=g^{-1}\Phi^{p_0}(\Omega(M,u_0))gを満たすg \in Gが存在する。

\Phi^{p_0}(\Omega(M,u_0))の元のうち、0-ホモトープな閉曲線全体\Phi^{p_0}_0(\Omega(M,u_0))は\Phi^{p_0}(\Omega(M,u_0))の正規部分群になる。\Phi^{p_0}_0(\Omega(M,u_0))を**制限ホロノミー群**（）という。

写像\Omega(M,u_0)\to \Phi^{p_0}(\Omega(M,u_0)) \to \Phi^{p_0}(\Omega(M,u_0))/\Phi^{p_0}_0(\Omega(M,u_0))は基本群\pi_1(M,u_0)からの群準同型写像
:\pi_1(M,u_0)\to \Phi^{p_0}(\Omega(M,u_0))/\Phi^{p_0}_0(\Omega(M,u_0))
をwell-definedに誘導する。上記の写像をカルタン幾何学(\pi,P,\omega)の**モノドロミー表現**（）という。

### 一般化円と測地線

特にクライン幾何学(G,H)に対し、G/H上の一般化円は、\mathfrak{g}の元の1-パラメーター変換群の軌跡のG/Hへの射影である。よって「一般化円」という名称であるが、ユークリッド幾何学での「一般化円」は螺旋になる事もあるので注意されたい

(\mathfrak{g},\mathfrak{h})が\mathfrak{g}=\mathfrak{h} \oplus \mathfrak{b}と簡約可能なとき、\mathfrak{b}に属する元の上の1-パラメーター変換群の軌跡のG/Hへの射影を**直線**（）という。

この事実を使うと、一般化円と測地線は以下のように言い換える事ができる：
前述したように、(\mathfrak{g},\mathfrak{h})が簡約可能なときは、上にアフィン接続が定義できるので、\tfrac{\nabla}{dt}\tfrac{d}{dt}c=0となる曲線を測地線として定義する事もできる。この２つの測地線の定義は同値である。
 + \omega_{\mathfrak{b}} と分解したときの主接続（の接続形式） \omega_{\mathfrak{h}}がにTM  \approx  F_H \times_H \mathfrak{g}/\mathfrak{h} に誘導するアフィン接続をとする。

このとき、上の曲線c(t)が上述したカルタン幾何学における測地線である必要十分条件は、以下が成立する事である：
: \frac{\nabla}{dt}\frac{d}{dt}c=0
}}
 が誘導するアフィン接続であったので、以上のことから上の曲線c(t)上のの切断e(t)=(e_1(t),\ldots,e_m(t))が \omega_{\mathfrak{h}} に関して平行である必要十分条件は、e(t)=(e_1(t),\ldots,e_m(t))をの基底とみなしたとき、e(t)=(e_1(t),\ldots,e_m(t))がに関して平行な基底である事である。

（\Rightarrow）上の曲線c(t)がカルタン幾何学における測地線の定義を満たせば、測地線c(t)はなんらかのB \in \mathfrak{b}となんらかのe =(e_1,\ldots,e_m) \in F_H(TM)を使って
: c(t) = \pi(e(t)) where e(t)=\exp(t\omega^{-1}(B))(e) \in F_H 
と書けるので、前述の可換図式から
:  {dc \over dt}(t) \in TM \approx  [e(t),B] 
\in F_H \times_H \mathfrak{b} 
である。基底e(t)はc(t)に沿って平行なので、 \tfrac{dc}{dt} もc(t)に沿って平行であり、これは\tfrac{\nabla}{dt}\tfrac{d}{dt}c=0となる事を意味する。

（\Leftarrow）上の曲線c(t)が通常の意味での測地線、すなわち\tfrac{\nabla}{dt}\tfrac{d}{dt}c=0であれば、 \tfrac{dc}{dt} はc(t)に沿って平行である。よって基底e(t)=(e_1(t),\ldots,e_m(t))をc(t)に沿って平行なように選ぶと、
:  {dc \over dt}(t) \in TM \approx  [e(t),B] 
\in F_H \times_H \mathfrak{b} 
となるB \in \mathfrak{b}が存在する。したがって
: c(t) = \pi(e(t)) where e(t)=\exp(t\omega^{-1}(B))(e) \in F_H 
と書ける。
|drop=yes}}

## クライン幾何学との関係

カルタン幾何学はクライン幾何学をモデルとしており、しかも（局所）クライン幾何学はカルタン幾何学として**平坦**（）、すなわち曲率が恒等的に0である事を前述した。

本章はこの逆向きについて述べる。すなわち平坦なカルタン幾何学がいかなる条件を満たせば局所クライン幾何学と等しいかを特定するのが本章の目標である。

ダルブー導関数の一般論から、以下が従う：

よって特に、の点の十分小さい開近傍Uを取り、U上に(\pi,P,\omega)を制限した(\pi|_U,P_U,\omega_U)は（の\tilde{M}へのリフトを考えることで）局所幾何学的同型(U,P_U) \to (G/H,G)を持つことが分かる。

このように被覆空間を考えたり、あるいは各点の開近傍に制限したりすれば、平坦なカルタン幾何学がクライン幾何学に局所幾何学的同型である事を示す事ができる。しかしこれだけでは自身が（局所）クライン幾何学と幾何学的同型になるか否かはわからない。

そこで本章ではまず自身が局所クライン幾何学と幾何学的同型になる条件を定式化し、次にこれらの条件を満たす平坦なカルタン幾何学が局所クライン幾何学と幾何学同型になる事を見る。
### 条件
本節では平坦なカルタン幾何学が局所クライン幾何学と同型であるための条件である「幾何学的向き付け可能性」と「完備性」を定義する。
#### 幾何学的向き
幾何学的向きを定義するため、まず記号を導入する。を多様体とし、(\pi,P,\omega)を(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})をモデル幾何学とする上のカルタン幾何学とし、を\mathfrak{g}に対応するリー群の一つとすると、その随伴表現\mathrm{Ad}~:G~ \to \mathrm{GL}_{\mathrm{Lie}}(\mathfrak{g})はリー群間の写像なので、対応するリー代数間の写像
: \mathrm{ad}:=\mathrm{Ad}_* ~:~\mathfrak{g} \to \mathfrak{gl}_{\mathrm{Lie}}(\mathfrak{g})

を誘導する。はリー代数\mathfrak{g}に対応するリー群の取り方によらずwell-definedであり、
: \mathrm{ad}(A)(B)=[A,B]

が成立する。とカルタン接続の合成
: \mathrm{ad}\circ \omega ~:~ TP \to  \mathfrak{gl}_{\mathrm{Lie}}(\mathfrak{g})

を考え、以下の定義をする：
(\mathfrak{g})からの発展\tilde{\varphi}(t)の終点が\mathrm{Ad}(h)になる
}}
と書く。}}

の定義より、曲線\varphi(t)がのファイバーP_{\pi(p)}内にあれば、その発展\tilde{\varphi}(t)の終点は必ず\mathrm{Ad}(h)になる。よってH_eを単位元を含むの連結成分とすると
: H_e \subset H_{\mathrm{or}}
が成立する。

しかし上記の定義は曲線\varphi(t)がファイバーP_{\pi(p)}内に収まる事は仮定しておらず、よって一般にはの方がより大きいこともある。なお、が連結であれば、はの正規部分群になる事が知られている。

:=P/H_{\mathrm{or}}をの**幾何学的向き付け被覆**（）という。
* H=H_{\mathrm{or}}のとき、カルタン幾何学(\pi,P,\omega)は**幾何学的に向き付けられている**（）という。
}}次が成立する：

#### 完備性
を多様体とし、(\pi,P,\omega)を(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})をモデル幾何学とする上のカルタン幾何学とする。

### 定式化
完備かつ平坦で幾何学的に向き付可能なカルタン幾何学は局所クライン幾何学と幾何学的同型になる：なお、すでに見たように局所クライン幾何学は平坦かつ完備であり、しかもが連結であれば局所クライン幾何学はカルタン幾何学として向き付け可能であるので、連結なを考える場合は、これ以上条件を減らす事はできない。

なお、を固定すると、上述の定理が存在を保証するは共役を除いて一意に定まる：

## ユークリッド幾何学をモデルとするカルタン幾何学
本章ではモデル幾何学がユークリッド幾何学の場合を考える。すなわち、モデルとするクライン幾何学がユークリッド空間\mathbb{E}^m上の等長変換群\mathrm{Iso}(\mathbb{E}^m)と直交群O(m)の組(G,H)=(\mathrm{Iso}(\mathbb{E}^m),O(m))である場合の、多様体上のカルタン幾何学(\pi,P,\omega)を考える。
### 標準的な計量
本節では以下の定理を示す：

これを示すため、\mathfrak{g}/\mathfrak{h}の性質を調べる。\mathrm{Iso}(\mathbb{E}^m)は随伴表現により\mathfrak{g}/\mathfrak{h}に作用するが、\mathrm{Iso}(\mathbb{E}^m) = O(m)\ltimes \mathbb{R}^mにおけるO(m)は原点を中心とする回転として、\mathbb{R}^mは平行移動として\mathfrak{g}/\mathfrak{h}に作用する事を簡単な計算により確かめられる。

よって\mathfrak{g}/\mathfrak{h}上にはO(m)により不変な内積q~:~\mathfrak{g}/\mathfrak{h} \times \mathfrak{g}/\mathfrak{h} \to \mathbb{R}が定数倍を除いて一意に定まる。前述したようにTM \approx TP \times_{H, \mathrm{Ad}} \mathfrak{g}/\mathfrak{h}であるので、p \in Pに対し、写像
: \varphi_p~:~ \xi \in \mathfrak{g}/\mathfrak{h} \to [(p,\xi)] \in TP \times_{H,\mathrm{Ad}}\mathfrak{g}/\mathfrak{h} \approx TM


が定義できる。

そこでu \in Mに対しの計量をp \in P_uを任意に選んで
: g_u(v,w) := q(\varphi_p{}^{-1}(v), \varphi_p{}^{-1}(w)) 
 for v,w \in T_{u}M 

により定義するとg_u(v,w)
がp \in P_uによらずwell-definedされる事が知られており、上にリーマン計量が定まる。

### アフィン接続
\mathrm{Iso}(\mathbb{E}^m) = O(m)\ltimes \mathbb{R}^mと半直積で書けるので、リー代数の組(\mathfrak{g},\mathfrak{h})=(\mathfrak{iso}(\mathbb{E}^m),\mathfrak{o}(m))は\mathfrak{b} = \mathbb{R}^mを使って簡約可能であり、しかも(G,H)=(\mathrm{Iso}(\mathbb{E}^m),O(m))は一階である。

よって前述のようにカルタン接続を「\mathfrak{h}部分」と「\mathfrak{b}部分」に分けて\omega=\omega_{\mathfrak{h}} + \omega_{\mathfrak{b}}と書くことができ、\omega_{\mathfrak{h}}は主バンドル上の接続形式になり、\omega_{\mathfrak{b}}が標準形式となる。逆に\omega_{\mathfrak{h}}と\omega_{\mathfrak{b}}からが復元できる事もすでに示した。

接続形式 \omega_{\mathfrak{h}}  がに誘導するアフィン接続\nablaを定義する事ができ、\nablaは以下を満たす：

  は
: \mathfrak{h}=\mathfrak{o}(m) = \{歪対称行列\}
に値を取るので、（に属する）正規直交基底において接続形式 \omega_{\mathfrak{h}}  を \omega_{\mathfrak{h}} =(\omega^i{}_j)_{ij} と成分表示すると、\omega^i{}_j=-\omega^j{}_iが成立する。よっての局所的な正規直交基底e_1,\ldots,e_mを取ると、
: g(\nabla_X e_j,e_k)
= \sum_i g(\omega^i{}_j(X) e_i,e_k)
=\sum_i \omega^i{}_j(X)g(e_i,e_k)
=\omega^k{}_j(X) 

が成立する（最後の等式はi=kのときのみg(e_i,e_k)=1な事を使った）。よって
: g(\nabla_X e_j,e_k) + g( e_j,\nabla_X e_k)
= \omega^k{}_j(X) + \omega^j{}_k(X)
= 0 
= X g(e_j,e_k)

が成立するので、Y=e_j、Z=e_kの場合に定理が示された。一般の場合は、上式から簡単な計算により従う。
|title=略証|drop=yes}}

しかし**<math>\nabla</math>の捩率は0とは限らない**。もし\nablaの捩率が0であればリーマン幾何学の基本定理より、\nablaはレヴィ・チヴィタ接続に一致する。

以上の考察から、カルタン幾何学の立場から見るとリーマン幾何学とは、ユークリッド幾何学をモデルとするカルタン幾何学で捩率がのものとして（計量の定数倍を除き）特徴づけられる幾何学である。

### リーマン多様体の発展
上述のようにリーマン多様体にはユークリッド幾何学(G,H)=(\mathrm{Iso}(\mathbb{E}^m),O(m))をモデルとする捩れのないカルタン幾何学(\pi,P,\omega)の構造が入る。

次元リーマン多様体上に曲線c(t)を取り（図の青の線）、c(t)に沿ってを次元平面\mathbb{R}^m上を「滑ったり」「ねじれたり」することなく転がしたときにできる曲線の軌跡を\tilde{c}(t)とする（図の紫の線）。

このとき、次が成立することが知られている：

また、を次元平面\mathbb{R}^m上滑りもねじれもなく転がすと、時刻にc(t)が\mathbb{R}^mに接した瞬間にT_{c(t)}Mが\mathbb{R}^mに重なるので、自然に写像
: \varphi_t~:~ T_{c(t)}M \to \mathbb{R}^m
が定義できる。この写像を使うと、のレヴィ・チヴィタ接続の幾何学的意味を述べることができる：

すなわち、曲線に沿ったv(t)の共変微分を\mathbb{R}^mに移したものは、v(t)を移したものを通常の意味で微分したものに一致する。

よって特に以下が成立する：

## 脚注

### 出典

### 注釈

## 参考文献

### カルタン幾何学関連の文献
*  
*  
*  
*  
*  
*  

### カルタン幾何学以外の文献
* 
* 
* 
*