カルタン幾何学

カルタン幾何学group=注（かるたんきかがく）（Cartan geometry）とは、微分幾何学における概念で、多様体の各点における「一次近似」がクラインの幾何学とみなせるものの事である。カルタンの幾何学はクラインの幾何学とリーマン幾何学を包括する幾何学概念として提案された。
以下、本項では特に断りがない限り、単に多様体、関数、バンドル等といった場合は級のものを考える。また特に断りがない限りベクトル空間は実数体上のものを考える。

**概要**
カルタン幾何学の背景にあるのはクラインのエルランゲン・プログラムである。エルランゲン・プログラムは、当時「幾何学」、例えばユークリッド幾何学、双曲幾何学、球面幾何学、射影幾何学等が乱立していた状況に対し、それらを統一する手法を提案したものであり、今日の言葉で言えば、これらはいずれも等質空間の概念を使う事で統一的に記述できる事を示した。
すなわちクラインの意味での幾何学（以下単にクライン幾何学と呼ぶ）とは、リー群Gとその閉部分リー群Hの組を等質空間上に「幾何学を保つ」変換群Gが作用しており、X上の一点の等方部分群がHであるとみなしたものである。
しかしエルランゲン・プログラムには、当時すでに知られていたリーマン幾何学が記述できない、という限界があった。実際リーマン多様体は等質空間にはなっていないので、エルランゲン・プログラムでは記述できない。
カルタンの意味での幾何学（以下単にカルタン幾何学と呼ぶ）は上記の事情を背景に、クラインの幾何学とリーマン幾何学を包含する形で定義された幾何学概念である：
多様体自身にクライン幾何学の構造が入れば、すなわちであれば、Mの各点の接ベクトル空間は自然にと同型になる。ここで、はそれぞれG、Hのリー代数である。
そこでちょうどリーマン幾何学の「一次近似」である接ベクトル空間がユークリッド幾何学になっているように、カルタン幾何学では、多様体Mの「一次近似」である接ベクトル空間に、クライン幾何学の「一次近似」であるを対応させる。このとき、多様体Mには等質空間をモデル空間とするカルタンの幾何学の構造が入っている、という。
しかしあくまで「一次近似」がクラインの幾何学と等しいだけなので、実際にはカルタン幾何学はクライン幾何学とはズレる。このズレを図るのがの曲率である。
滑りとねじれのない転がし
カルタン幾何学を導入するもう一つの動機が滑りとねじれのない転がしである。これはm次元のリーマン多様体をm次元平面上「滑ったり」、「捻れたり」する事なく「転がした」ときにできる軌跡に関する研究である。
この軌跡はユークリッド幾何学をモデルにするカルタン幾何学を使うことで定式化が可能であり、曲線の発展という。ユークリッド幾何学はm次元平面上の幾何学であるので、m次元平面上の軌跡になるが、一般のクライン幾何学をモデルとするカルタン幾何学の発展は、上の軌跡となる。

**定義の背後にある直観直観的説明の章**
本節ではを参考に、2次元ユークリッド幾何学をモデルとするカルタン幾何学を直観的に説明する。を2次元ユークリッド空間とし、をの合同変換群とする。すなわちはとを使ってと書ける変換全体の集合である。はと同一視できる。
を2次元多様体とし、M上に人が一人立っているとする。人が立っている場所をとし、人の前方向をx軸、左方向をy軸とすると、接ベクトル空間の基底が定義できる。Mはユークリッド空間をモデルにしているので、その人は自分の近傍をユークリッド空間だと思っている。
の正規直交基底全体の集合をとし、とすると、は自然にM上の-主バンドルとみなせる。以上の議論から、の元は、M上にいる人（とその向き）であるとみなせる。
上にいる人をと表すとき、その人がM上の位置（＝u）を変えずに向きだけを「無限小だけ」変えた場合、その向きの変化を表す速度ベクトルはの元とみなせるが、これは人の向きを変えた回転変換の微分なので、回転変換群の無限小変換群（＝に対応するリー代数）であるの元であるともみなせる。
すなわち、の元をの元と対応させる事ができる：
 
また人がM上の位置uから無限小だけ歩いた場合は、歩いたことによるの変化の速度ベクトルはの元とみなせるが、その人は自分がユークリッド空間を歩いているのだと理解しているので、速度ベクトルをの無限小変換群（＝のリー代数）であるの元であるとみなす。すなわちの元をと対応付けて考える。
結局、ユークリッド幾何学をモデルとするカルタン幾何学とは、M上の-主バンドルで、ファイバーごとの線形写像
 
を持ち、各に対し、uのファイバーの接バンドルへのωの制限が
 
を満たすもので「性質の良いもの」（後述）である。

**準備**
本節ではカルタン幾何学の定式化に必要となる用語を定義する。

**基本ベクトル場**
をリー群とし、をそのリー代数とし、さらにNをGが右から作用する多様体（例えばG-主バンドルの全空間P）とする。なお、NがG-主バンドルの全空間Pの場合にはは垂直部分空間の元である事が容易に示せる。

**随伴表現**
ここでは上の線形同型全体のなすリー群である。随伴表現の定義はの取り方によらずwell-defninedである。

**モーレー・カルタン形式**
クライン幾何学の構造を調べる準備としてモーレー・カルタン形式を導入する。モーレー・カルタン形式は以下を満たす：ここでは上のリー括弧であり、-値1-形式α、βに対し、である。
上記の2式のうち下のものをモーレー・カルタンの方程式（Maurer-Cartan equation）、もしくはリー群Gの構造方程式refn|#小林 p.59.（structure equation）という。

**定義と基本概念**

**定義**
リー群Gとその閉部分リー群の組でが連結になるものをクライン幾何学、もしくは（カルタン幾何学のモデルになるので）モデル幾何学（model geometry）という。
をモデル幾何学とし、、をそれぞれG、Hのリー代数とする。
をH-主バンドルのカルタン接続（Cartan connection）という。また紛れがなければMの事をカルタン幾何学という。
3つの条件の直観的な意味を説明する。- 1つ目の条件は、とが同一視できる事を意味しており、前述した直観的説明のように、モデルがユークリッド幾何学であれば、Mにいる人は、自分の近傍がユークリッド空間であるとみなしているので、人の動きの速度ベクトルの集合が、無限小変換全体で記述可能である事を要請するのは自然である。- ２つ目の条件は、各に対し、ωが同型写像の逆写像である事を要請している。はがに定める無限小変換なので、前述した直観的説明からこれは自然な要請である。なお、この２つ目の条件から特に直観的説明のところで登場した以下の要件が従う：
*:  - ３つ目の条件は、前述した直観的説明からにいる人は自分の近傍がモデル幾何学に似ているとみなしているので、を右から乗じれば、の元はに移動してしまうので、左からもを乗じてに戻す随伴表現を作用させたものと等しくなる事を要請する。
なお、は同型なので、M上定義できるカルタン幾何学には
 
という制約が課せられる事になる。

**主接続との関係**
カルタン接続の定義は主バンドルの接続（主接続）の接続形式の定義とよく似ているが、両者は似て非なる概念であり、H-主バンドルの主接続の接続形式はHのリー代数に値を取るが、カルタン接続はGのリー代数に値を取っている。しかし、ををモデル幾何学とする多様体M上のカルタン幾何学とするとき、H-主バンドル上定義されたカルタン接続は、自然に
 
というG-主バンドル上の-値1-形式
 
に拡張する事ができ、はG-主バンドルの接続形式である。逆にを任意のG-主バンドルとし、をQ上定義された接続形式とするとき、のH-部分バンドルでであり、しかもであればωのTPへの制限はP上のカルタン接続になる。
なお、モデル幾何学が「簡約可能」という条件を満たす場合は、上記のものとは別の形の関係性をカルタン接続と主接続は満たす。詳細は後述する。

**無限小クライン幾何学による定式化**
定義から分かるように、カルタン幾何学の定義は、、およびHには依存しているが、Gには直接依存していない。これは、、およびHはM上のカルタン幾何学の局所的な構造を定めるのに対し、Gはクライン幾何学の大域的な構造を定めるものであるため、Gが不要である事による。
リー代数に対応するリー群Gは一意ではなく、これが原因で大域的な構造を定めるGはカルタン幾何学の定義に必須でないばかりか、一部の定理ではGを（に対応する）別のリー群に取り替える必要が生じてしまう。
そこでGに直接言及せず、を使ったカルタン幾何学の定式化も導入する。そのために以下の定義をする：
以下、特に断りがなければ、が効果的である事を仮定するrefn|group="注"|#Sharpe p.174によれば、この仮定は必須ではないが、この仮定を外しても特に得られるものはないとの事である。。ここでが効果的であるとは、に含まれるのイデアルがのみである事を意味する。G、Hを、に対応するリー群とすると、が効果的である事は、、とするとき、Kが離散群になる事と同値である。

**カルタン幾何学としてのクライン幾何学**
本節ではカルタン幾何学の最も簡単な例として、クライン幾何学のカルタン幾何学としての構造を調べる。をクライン幾何学とし、とし、とする。ここではGの単位元eの同値類である。このとき
 
は自然にH-主バンドルとみなせる。G上のモーレー・カルタン形式がカルタン接続の定義を満たす事を示せるので、はをモデルとするカルタン幾何学になる。

**局所クライン幾何学とその上のカルタン幾何学局所クライン幾何学の節**
リー群Gとその閉部分リー群の組を考えるgroup=注。Gの離散部分群で、へのGからの作用のへの制限が効果的なものを考える（が効果的な事はである事と同値である）。このとき、による商集合を考える。Mが連結なとき、を局所クライン幾何学（locally Klein geometry）という。
局所クライン幾何学M上に以下のようにカルタン幾何学を定義できる。まずが効果的なのでとすると、商写像
 
には自然にH-主バンドルの構造が入る。またG上のモーレー・カルタン形式はその定義より左不変なので、商写像に対し
 
を満たす一意な-値1-形式をとする事で、にカルタン接続がwell-definedされ、上にをモデルとするカルタン幾何学が定義できる。

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

**定数ベクトル場と普遍共変微分**
任意のに対しては同型写像であるので、TPはωにより
 
という同一視ができ、TPはベクトルバンドルとして自明である。
よって特にを各に対してωの逆写像でに移すことで、TP上のベクトル場を作る事ができる。
定数ベクトル場を用いると、以下の「普遍共変微分」を定義できる：
モデル幾何学が「簡約可能」という条件を満たす場合は、普遍共変微分は通常の共変微分を導く。これについては後述。

**接バンドル**
本節ではカルタン幾何学が定義された多様体の接バンドルの構造を調べる。そのために以下の定義をする。
ををモデル幾何学とするM上のカルタン幾何学とする。はHのへの作用を定義するが、のへの制限は上の随伴表現である（のではを保つ）ことから、はHのへの作用を誘導する。またHはH-主バンドルPに作用していたので、これの作用により、ベクトルバンドル
 
を定義できる。実はこのベクトルバンドルは接バンドルと同型である：
具体的には写像
 
はwell-definedであり、ベクトルバンドルとしての同型写像である。ここでは同型写像の逆写像でをに移したものである。

**曲率**

**定義**
クライン幾何学をカルタン幾何学とみなした場合、カルタン接続はモーレー・カルタン形式と等しいので、カルタン接続は構造方程式
 
を満たすが、一般のカルタン幾何学は構造方程式を満たすとは限らない。そこで以下の量を考える：
は（局所）クライン幾何学からのズレを表す量であると解釈でき、明らかにクライン幾何学や局所クライン幾何学の曲率は恒等的に0である。
曲率は以下を満たす：
点のファイバーにはHが単純推移的に作用するので、をfixして、によりHとを同一視すると、上にモーレー・カルタン形式が定義できる。しかもはの取り方に依存しないことも容易に証明できる。実は曲率のへの制限はに一致する。なお、実はv、wの少なくとも一方がに属していれば、である事が知られているRefn|#Sharpe p.187|group=|name=Sharpe187。よって特に次が成立する：
このΩ'は次節で導入する曲率関数を用いる事で具体的に記述できる。

**曲率関数**
が同型写像であったことから、写像の合成
 
を定義できる。またすでに述べたようにv、wの少なくとも一方がに属していれば、である事が知られているRefn|#Sharpe p.187|group=|name=Sharpe187事から、この写像は上の写像をwell-definedに誘導する。
曲率がM上の-値2-形式Ω'を誘導する事を前に見た。このΩ'は曲率関数を使って以下のように書き表す事ができる。
 

**捩率**
さらに以下の定義をする：
モデル幾何学がアフィン幾何学である場合は、この捩率はアフィン接続の捩率テンソルに一致する。詳細は後述。

**標準形式**
本節の目標は、商写像
 
とカルタン接続の合成の幾何学的意味を説明する事である。
まず、は以下のように特徴づける事ができる：
上記の特徴付けから、の幾何学的意味は同型に関係しているので、この同型の幾何学的意味を見る。にベクトル空間としての基底をfixし、同型
 
によるの像をとすると、はの基底をなす。
よって特に、とすると、FはM上のlabel=フレームバンドル（＝各点のファイバーがTMの基底からなるバンドル）になる。
一般には対応
 
は全単射ではないが、の定義から、カルタン幾何学が下記の意味で「一階」であれば、この写像は全単射になる：
以上の準備のもと、を幾何学的に意味付ける：
上記のような、にとなるを対応させる-値1-形式をフレームバンドル上の標準形式（canonical form）という。上述の定理はカルタン幾何学が一階であればは標準形式として意味づけられる事を保証する。

**簡約可能なモデル幾何学に対するカルタン幾何学簡約可能の章**
本節ではモデル幾何学が「簡約可能」という性質を満たす場合にが対するカルタン幾何学の性質を見る。具体的にはモデル幾何学がユークリッド幾何学やアフィン幾何学の場合には簡約可能になる。

**定義**
まず簡約可能性を定義する：
なお、の取り方は一意とは限らないので注意されたい。
が2つのリー群の半直積で書けている場合は、G、Hに対応するモデル幾何学は、Bのリー代数をとして選ぶ事で簡約可能である。
よって特にユークリッド幾何学の等長変換群は直交群と平行移動のなす群の半直積で書けるので対応するモデル幾何学は簡約可能である。アフィン幾何学も同様である。

**カルタン接続の分解カルタン接続の分解の節**
ををモデル幾何学にする多様体M上のカルタン幾何学とする。モデル幾何学が、と簡約可能なとき、の元はの元との元の和で一意に表現できるので、カルタン接続も
 
のように「部分」と「部分」の和で書ける。この分解を用いると、カルタン接続と主接続の接続形式との関係性を以下のように記述できる：
したがって、簡約可能なモデル幾何学の場合にはカルタン接続から主接続の接続形式が得られることになる。
一方、は

によりをと同一視すると、はと同一視でき、前述のように（カルタン幾何学が一階であれば）は標準形式であるとみなせる。
したがって分解はカルタン接続を接続形式と標準形式に分解するものであるが、実は逆に接続形式と標準形式からカルタン接続を復元できる：
前述した、カルタン接続から接続形式と標準形式とに分解する定理とは丁度「逆写像」の関係にあり、簡約可能で一階の場合はカルタン接続は接続形式と標準形式との組と1対1に対応する。

**Koszul接続Koszul接続の節**
モデル幾何学が簡約可能である場合、上述したようにカルタン接続ωから定義されるはH-主バンドルPの接続形式になる。ベクトル空間V上のHの線形表現があれば、ベクトルバンドルとしての接続（Koszul接続）の一般論から、接続形式はM上のベクトルバンドルにKoszul接続を定める。
よって特に、接バンドルは
 
と書けたので、はTM上のKoszul接続、すなわちアフィン接続∇を定める。
このことから分かるようにモデル幾何学がアフィン幾何学でなくても、簡約可能でありさえすればアフィン接続を誘導する。
しかし特にモデル幾何学がアフィン幾何学であれば、アフィン変換群Gの上の随伴表現は上のアフィン変換になる事を示す事ができ、この意味においてはアフィン空間のバンドルとなる。後述するように、この事実が例えばモデルがユークリッド幾何学の場合には重要になる。

**普遍共変微分との関係**
をベクトル空間V上のHの線形表現とし、がM上のベクトルバンドルに定めるKoszul接続を∇とする。
の切断sとに対し、となるが一意に存在し、はPからVへの関数とみなせる。
上記のようにはKoszul接続と関係するが、それに対しの方は自明なものになってしまう：

**曲率の分解曲率の分解の節**
本節ではモデル幾何学がと簡約可能でしかも
 
となっている場合、すなわちとしての部分リー代数になっているものを取れる場合に対し、曲率の「部分」と「部分」を具体的に書き表す。
先に進む前にこの条件を満たすモデル幾何学の具体例を述べる。例えばに対応するリー群Gが2つのリー群の半直積で書けている場合に、としてBのリー代数を取れば上述の条件を満たす。特に、モデル幾何学がアフィン幾何学である場合は、アフィン変換群は線形変換と平行移動のなす群の半直積で書け、しかもをBのリー代数とすると、
 
というより強い条件が成立する。モデル幾何学がユークリッド幾何学の場合も同様である。
曲率Ωはに値を取るので、曲率を
 
と「部分」と「部分」に分解する。商写像が同型になることから、という同一視をすると、
 
とがカルタン幾何学の捩率に対応する事が分かる。
とくにアフィン幾何学をモデルとするカルタン幾何学の場合、はアフィン変換群の並進部分であるに対応するリー代数であるので、アフィン幾何学をモデルとする場合、捩率とは並進に関する曲率であるとみなせる。

**構造方程式簡約可能な場合の構造方程式の節**
曲率の定義から、
 
が成立するので、仮定を使うと以下が成立する事が分かる：
が接続形式に対応している事から、上記の定理の１つ目の式は、接続形式が定義する主接続に対する第二構造方程式である事がわかる。よって特に、は主接続の曲率形式である事がわかる。したがって
一方2本目の式においてはに一致し、#ρωのフレームバンドルでの解釈|標準形式θとして解釈できるので、モデル幾何学がアフィン幾何学である場合のようにであれば、2本目の式は
 
となり、第一構造方程式に対応している事が分かる。よってこの場合の捩率は接続形式がTMによって定まる主接続の捩率テンソルに一致する。

**ビアンキ恒等式**
前述したカルタン接続のビアンキ恒等式
 
を「部分」と「部分」に分解することで以下の定理が結論づけられる：
が接続形式に対応している事から、上記の定理の1本目の式は接続形式が定義する主接続に関する第二ビアンキ恒等式である。
一方、2本目の式は、構造方程式の場合と同様、モデル幾何学がアフィン幾何学のようにを満たせば、
 
と第一ビアンキ恒等式に一致する。

**曲線の発展**

**P上の発展**
ををモデルとするM上のカルタン幾何学とし、を区間上定義されたP上の曲線とするtをmath|1=a,b上の点とすると、にはカルタン接続ωによりの元が対応している。次の事実が知られている：
モーレー・カルタン形式は、G上の接ベクトルをGの作用によりに移す変換であったので、上記の定理はがGの作用による移動を除いてに一致する事を意味する。
上記の定理の直観的な意味を説明する。クライン幾何学においてGは等質空間における同型写像のなす群であったので、そのリー代数の元は上の「無限小同型変換」、すなわち同型写像の微分とみなせた。
カルタン幾何学の付与された多様体Mとは「一次近似」がクライン幾何学に見える空間であり、の元はカルタン接続によりの元と対応しており、はにおける「無限小同型変換」を意味していた。
上記の定理は曲線に沿って「無限小同型変換」であるの元を束ねていくとその「積分曲線」として同型変換であるGの元があらわれる事を意味している。
もしMがそのものであれば、この同型変換は実際にM上の同型変換になる事を後述する。

**M上の発展**
をGからへの商写像とすると、上記の補題から次が成立する：

**ホロノミー**
が連結であるとし、とを満たすをfixし、をを基点とするM上の閉曲線とする。を満たすP上の閉曲線でを基点とするものとすると、前述した補題から、の単位元からの発展の終点はの取り方によらず等しい。そこで以下のような定義をする：
ホロノミー群は基点やそのリフトを取り替えても、共役を除いて一意に定義できる。実際、基点のリフトを別の点, where に取り替えると、ホロノミーはを満たす。また基点を別の基点に変えると、を満たすが存在する。
の元のうち、0-ホモトープな閉曲線全体はの正規部分群になる。を制限ホロノミー群（restricted holonomy group）という。
写像は基本群からの群準同型写像

をwell-definedに誘導する。上記の写像をカルタン幾何学のモノドロミー表現（monodromy representation of ）という。

**一般化円と測地線**
特にクライン幾何学に対し、上の一般化円は、の元の1-パラメーター変換群の軌跡のへの射影である。よって「一般化円」という名称であるが、ユークリッド幾何学での「一般化円」は螺旋になる事もあるので注意されたい
がと簡約可能なとき、に属する元のG上の1-パラメーター変換群の軌跡のへの射影を直線（straight line）という。
この事実を使うと、一般化円と測地線は以下のように言い換える事ができる：
前述したように、が簡約可能なときは、TM上にアフィン接続∇が定義できるので、となる曲線を測地線として定義する事もできる。この２つの測地線の定義は同値である。

**クライン幾何学との関係クライン幾何学との関係の章**
カルタン幾何学はクライン幾何学をモデルとしており、しかも（局所）クライン幾何学はカルタン幾何学として平坦（flat）、すなわち曲率が恒等的に0である事を前述した。
本章はこの逆向きについて述べる。すなわち平坦なカルタン幾何学がいかなる条件を満たせば局所クライン幾何学と等しいかを特定するのが本章の目標である。
ダルブー導関数の一般論から、以下が従う：
よって特に、Mの点uの十分小さい開近傍を取り、上にを制限したは（Uのへのリフトを考えることで）局所幾何学的同型を持つことが分かる。
このように被覆空間を考えたり、あるいは各点の開近傍に制限したりすれば、平坦なカルタン幾何学がクライン幾何学に局所幾何学的同型である事を示す事ができる。しかしこれだけではM自身が（局所）クライン幾何学と幾何学的同型になるか否かはわからない。
そこで本章ではまずM自身が局所クライン幾何学と幾何学的同型になる条件を定式化し、次にこれらの条件を満たす平坦なカルタン幾何学が局所クライン幾何学と幾何学同型になる事を見る。

**条件**
本節では平坦なカルタン幾何学が局所クライン幾何学と同型であるための条件である「幾何学的向き付け可能性」と「完備性」を定義する。

**幾何学的向き**
幾何学的向きを定義するため、まず記号を導入する。Mを多様体とし、ををモデル幾何学とするM上のカルタン幾何学とし、Gをに対応するリー群の一つとすると、その随伴表現はリー群間の写像なので、対応するリー代数間の写像
 
を誘導する。adはリー代数に対応するリー群Gの取り方によらずwell-definedであり、
 
が成立する。adとカルタン接続の合成
 
を考え、以下の定義をする：
の定義より、曲線がPのファイバー内にあれば、その発展の終点は必ずになる。よってを単位元eを含むHの連結成分とすると
 
が成立する。
しかし上記の定義は曲線がファイバー内に収まる事は仮定しておらず、よって一般にはの方がより大きいこともある。なお、Pが連結であれば、はHの正規部分群になる事が知られている。
次が成立する：

**完備性**
を多様体とし、ををモデル幾何学とするM上のカルタン幾何学とする。

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

**ユークリッド幾何学をモデルとするカルタン幾何学モデルがユークリッド幾何学の節**
本章ではモデル幾何学がユークリッド幾何学の場合を考える。すなわち、モデルとするクライン幾何学がユークリッド空間上の等長変換群と直交群の組である場合の、多様体M上のカルタン幾何学を考える。

**標準的な計量標準的な計量の節**
本節では以下の定理を示す：
これを示すため、の性質を調べる。は随伴表現Adによりに作用するが、におけるは原点を中心とする回転として、は平行移動としてに作用する事を簡単な計算により確かめられる。
よって上にはにより不変な内積が定数倍を除いて一意に定まる。前述したようにであるので、に対し、写像
 
が定義できる。
そこでに対しの計量をを任意に選んで
  for 
により定義するとがによらずwell-definedされる事が知られており、M上にリーマン計量gが定まる。

**アフィン接続**
と半直積で書けるので、リー代数の組はを使って簡約可能であり、しかもは一階である。
よって前述のようにカルタン接続ωを「部分」と「部分」に分けてと書くことができ、は主バンドルP上の接続形式になり、が標準形式となる。逆にとからωが復元できる事もすでに示した。
接続形式がTMに誘導するアフィン接続を定義する事ができ、は以下を満たす：
しかしの捩率は0とは限らない。もしの捩率が0であればリーマン幾何学の基本定理より、はレヴィ・チヴィタ接続に一致する。
以上の考察から、カルタン幾何学の立場から見るとリーマン幾何学とは、ユークリッド幾何学をモデルとするカルタン幾何学で捩率が0のものとして（計量の定数倍を除き）特徴づけられる幾何学である。

**リーマン多様体の発展**
上述のようにリーマン多様体にはユークリッド幾何学をモデルとする捩れのないカルタン幾何学の構造が入る。
滑りとねじれのない転がし（再掲）
次元リーマン多様体M上に曲線を取り（図の青の線）、に沿ってMをm次元平面上を「滑ったり」「ねじれたり」することなく転がしたときにできる曲線の軌跡をとする（図の紫の線）。
このとき、次が成立することが知られている：
また、Mをm次元平面上滑りもねじれもなく転がすと、時刻tにがに接した瞬間にがに重なるので、自然に写像
 
が定義できる。この写像を使うと、Mのレヴィ・チヴィタ接続∇の幾何学的意味を述べることができる：
すなわち、曲線に沿ったの共変微分をに移したものは、を移したものを通常の意味で微分したものに一致する。
よって特に以下が成立する：

**脚注**

**出典**

**注釈**

**参考文献**

**カルタン幾何学関連の文献**
  isbn=978-0387947327-  pages=61-75-  ref=Erickson-  Cite web |url=https://arxiv.org/abs/2303.00561 |title=A method for determining Cartan geometries from the local behavior of automorphisms |access-date=2023/11/13 |publisher=arXiv |date=2023/05/02 |author=Jacob W. Erickson |ref=Erickson-2-  ref=Alexandre-  ref=Kobayashi

**カルタン幾何学以外の文献**
 ref=Wendl3- Cite book|洋書 |title=Differential Geometry: Connections, Curvature, and Characteristic Classes |date=2017/6/P15 |publisher=Springer |author=Loring W. Tu |series=Graduate Texts in Mathematics |volume=275 |isbn=978-3319550824 |ref=Tu- Cite book|和書 |title=接続の微分幾何とゲージ理論 |date=1989/5/15 |publisher=裳華房 |author=小林昭七 |isbn=978-4785310585 |ref=小林- cite book |series=Wiley Classics Library |title=Foundations of Differential Geometry Volume I |publisher=Wiley |date=2009 |orig-year=1963 |isbn=978-0-471-15733-5 |zbl=0119.37502 |author2=Katsumi Nomizu |author=Shishichi Kobayashi |ref=Kobayashi-Nomizu-1