カルタン幾何学のソースを表示

{{Pathnavbox|{{Pathnav|[[数学]]|[[幾何学]]|[[多様体論]]|[[微分幾何学]]}}}}
'''カルタン幾何学'''{{Refn|カルタン幾何学を説明した日本語の文献が見つからなかったので、本項の専門用語はいずれも本項執筆者が暫定的に訳したものである。|group=注}}（かるたんきかがく）（{{lang-en-short|Cartan geometry}}）とは、[[微分幾何学]]における概念で、[[多様体]]の各点における「[[一次近似]]」がクラインの幾何学とみなせるものの事である。カルタンの幾何学はクラインの幾何学と[[リーマン幾何学]]を包括する幾何学概念として提案された。

以下、本項では特に断りがない限り、単に[[多様体]]、[[関数 (数学)|関数]]、[[ファイバー束|バンドル]]等といった場合は{{mvar|C{{sup|∞}}}}級のものを考える。また特に断りがない限りベクトル空間は実数体上のものを考える。
== 概要 ==
{{See also|エルランゲン・プログラム}}
カルタン幾何学の背景にあるのは[[フェリックス・クライン|クライン]]の'''[[エルランゲン・プログラム]]'''である。エルランゲン・プログラムは、当時「[[幾何学]]」、例えば[[ユークリッド幾何学]]、[[双曲幾何学]]、[[球面幾何学]]、[[射影幾何学]]等が乱立していた状況に対し、それらを統一する手法を提案したものであり、今日の言葉で言えば、これらはいずれも[[等質空間]]の概念を使う事で統一的に記述できる事を示した。

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

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

'''カルタンの意味での幾何学'''（以下単に'''カルタン幾何学'''と呼ぶ）は上記の事情を背景に、クラインの幾何学とリーマン幾何学を包含する形で定義された幾何学概念である<ref>[[#Sharpe]] p.61.</ref>：
{| 
|+
| rowspan="3" |[[ユークリッド幾何学]]
|一般化　
| rowspan="3" |[[エルランゲン・プログラム|クラインの幾何学]]
|-
|　→　
|-
|　
|-
|　　　↓一般化
|
|　　　↓一般化
|-
| rowspan="3" |[[リーマン幾何学]]
|一般化
| rowspan="3" |カルタン幾何学
|-
|　→　
|-
|　
|}

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

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

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

[[ファイル:Model_space_development.svg|右|サムネイル|滑りとねじれのない転がし]]
カルタン幾何学を導入するもう一つの動機が'''[[滑りとねじれのない転がし]]'''である。これは{{Mvar|m}}次元のリーマン多様体を{{Mvar|m}}次元平面上「滑ったり」、「捻れたり」する事なく「転がした」ときにできる軌跡に関する研究である。

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

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

{{Mvar|M}}を2次元[[多様体]]とし、{{Mvar|M}}上に人が一人立っているとする。人が立っている場所を<math>u \in M </math>とし、人の前方向を{{Mvar|x}}軸、左方向を{{Mvar|y}}軸とすると、接ベクトル空間の[[基底 (位相空間論)|基底]]<math> e_x, e_y \in T_u M </math>が定義できる。{{Mvar|M}}はユークリッド空間をモデルにしているので、その人は自分の近傍をユークリッド空間だと思っている。

<math> T_u M  </math>の[[正規直交基底]]全体の集合を<math>F_u(M) </math>とし、<math>F(M) = \cup_{u\in M}F_u(M) </math>とすると、<math>F(M) </math>は自然に{{Mvar|M}}上の<math>O(2) </math>-[[主バンドル]]とみなせる。以上の議論から、<math>F(M) </math>の元は、{{Mvar|M}}上にいる人（とその向き）であるとみなせる<ref group="注">厳密には、{{Mvar|M}}上の人と同一視できるのは、基底が[[右手系]]の場合だけで、[[左手系]]の場合はその人を"左右反転"する必要があるが、以後この問題は無視する</ref>。

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

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

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

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

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

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

== 準備 ==
本節ではカルタン幾何学の定式化に必要となる用語を定義する。
=== 基本ベクトル場 ===
{{mvar|G}}をリー群とし、<math>\mathfrak{g}</math>をその[[リー代数]]とし、さらに{{mvar|N}}を{{mvar|G}}が右から作用する多様体（例えば{{mvar|G}}-主バンドル<math>\pi~:~P \to M</math>の全空間{{mvar|P}}）とする。{{math theorem|定義|リー代数の元<math>A \in \mathfrak{g}</math>と点<math>p\in N</math>に対し、
: <math>\underline{A}_p:=\left.\frac{d}{dt}(p\cdot \mathrm{exp}(tA))\right|_{t=0}\in  T_p N</math>
により、{{mvar|N}}上のベクトル場<math>\underline{A}</math>を定義する。<math>\underline{A}</math>を{{mvar|A}}に対応する{{mvar|N}}の'''{{仮リンク|基本ベクトル場|en|fundamental vector field}}'''（{{lang-en-short|fundamental vector field on {{mvar|N}} associated to {{mvar|A}}}}）という{{refn|[[#Tu]] p.247.}}{{refn|[[#Wendl3]] p.89.}}。|note=基本ベクトル場{{Anchors|基本ベクトル場}}}}なお、{{mvar|N}}が{{mvar|G}}-主バンドル<math>\pi~:~P \to M</math>の全空間{{mvar|P}}の場合には<math>\underline{A}_p</math>は垂直部分空間<math>\mathcal{V}_p</math>の元である事が容易に示せる。

=== 随伴表現 ===
{{math theorem|定義|{{mvar|G}}をリー群とし<math>\mathfrak{g}</math>をそのリー代数とする。このとき、{{mvar|G}}の線形表現
: <math>\mathrm{Ad}~:~ G \to \mathrm{GL}(\mathfrak{g}) </math>
を<math>g \in G</math>に対し、
: <math>\mathrm{Ad}(g)~:~\tfrac{dh}{dt}(0) \in \mathfrak{g} \mapsto \left. \tfrac{d}{dt}gh(t)g^{-1}\right|_{t=0}  \in \mathfrak{g}</math>
により定義し、{{math|Ad}}を{{mvar|G}}の'''[[随伴表現]]'''（{{lang-en-short|adjoint representation}}）という<ref>[[#Tu]] p.123.</ref>。|note=リー群の随伴表現}}ここで<math>\mathrm{GL}(\mathfrak{g})</math>は<math>\mathfrak{g}</math>上の線形同型全体のなすリー群である。随伴表現の定義は<math>h(t)</math>の取り方によらずwell-defninedである。

=== モーレー・カルタン形式 ===
クライン幾何学の構造を調べる準備としてモーレー・カルタン形式を導入する。{{math theorem|定義|{{mvar|G}}をリー群とし、<math>\mathfrak{g}</math>をそのリー代数とするとき、{{mvar|G}}の各点{{mvar|g}}に対し{{mvar|G}}上の<math>\mathfrak{g}</math>値1-形式<math>\omega^G{}_g</math>を
: <math>\omega^G{}_g~:v\in ~T_gG \mapsto L_{g^{-1}}{}_*(v) \in \mathfrak{g}</math>
により定義し、{{mvar|ω{{sup|G}}{{sub|g}}}}を{{mvar|G}}の{{mvar|g}}における'''モーレー・カルタン形式'''という{{refn|name="Tu198"|[[#Tu]] p.198.}}{{refn|group="注"|この定義では<math>\mathfrak{g}=T_eG</math>という同一視を用いている。ここで{{mvar|e}}は{{mvar|G}}の単位元である。}}。

ここで<math>L_{g^{-1}}{}_*</math>は群の左作用<math>L_{g^{-1}}~:~h\in G~~ \mapsto g^{-1}h</math>が誘導する写像である。|note=[[モーレー・カルタン形式]]}}モーレー・カルタン形式は以下を満たす<ref name="Tu198">[[#Tu]] p.198.</ref>：{{math theorem|定理|　
* <math>(R_g)^*\omega^G = \mathrm{Ad}(g^{-1})\omega^G</math>
* <math>d\omega^G + {1 \over 2}[\omega^G,\omega^G]=0</math>}}ここで<math>[\cdot,\cdot]</math>は<math>\mathfrak{g}</math>上のリー括弧であり、<math>\mathfrak{g}</math>-値1-形式{{Mvar|α}}、{{Mvar|β}}に対し、<math>[\alpha,\beta](X,Y) := [\alpha(X),\beta(Y)]-[\alpha(Y),\beta(X)]</math>である。

上記の2式のうち下のものを'''モーレー・カルタンの方程式'''{{refn|{{cite web|url=https://www.math.tsukuba.ac.jp/~tasaki/lecture/ln1997/cho97.pdf|accessdate=2023/06/27|title=中央大学大学院理工学研究科 数学特別講義第三 微分形式の可積分性|page=50}}}}（{{lang-en-short|Maurer-Cartan equation}}）、もしくはリー群{{mvar|G}}の'''構造方程式'''{{refn|[[#小林]] p.59.}}（{{lang-en-short|structure equation}}）という。

== 定義と基本概念 ==
===定義===
リー群{{Mvar|G}}とその閉部分リー群の組<math>(G,H)</math>で<math>G/H</math>が'''連結になるもの'''を[[エルランゲン・プログラム|'''クライン幾何学''']]、もしくは（カルタン幾何学のモデルになるので）'''モデル幾何学'''（{{lang-en-short|model geometry}}）という<ref>[[#Erickson-2]] p.3.</ref><ref>[[#Sharpe]] p.151.</ref>。

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

{{math theorem|定義|
多様体{{Mvar|M}}上の'''タイプ<math>(G,H)</math>のカルタン幾何学'''（{{Lang-en-short|Cartan geomerty of type <math>(G,H)</math> over {{mvar|M}}}}）とは、{{Mvar|M}}上の{{Mvar|H}}-主バンドル<math>\pi~:~P \to M</math>と{{Mvar|P}}上の<math>\mathfrak{g}</math>-値[[微分形式|1-形式]]
: <math>\omega~:~TP \to \mathfrak{g}</math>
の組<math>(\pi,P,\omega)</math>で以下の性質を満たすものの事である<ref>[[#Erickson-2]] p.7.</ref><ref name=Sharpe184 /><ref>[[#Kobayashi]] p.127-128.</ref>：

# 任意の<math>p \in P</math>に対し、<math>\omega~:~ T_pP \overset{\sim}{\to} \mathfrak{g} </math>は同型写像である。
# 任意の<math>A \in \mathfrak{h} </math>に対し、<math>\omega(\underline{A})=A</math>
# 任意の<math>h \in H</math>に対し、<math>R_h{}^* \omega = \mathrm{Ad}(h^{-1})\omega </math>
|note=クライン幾何学によるカルタン幾何学の定義{{Anchors|クライン幾何学によるカルタン幾何学の定義}}}}

{{Mvar|ω}}を{{Mvar|H}}-主バンドル<math>\pi~:~P \to M</math>の'''カルタン接続'''（{{Lang-en-short|Cartan connection}}）という。また紛れがなければ{{mvar|M}}の事を'''カルタン幾何学'''という<ref name=Sharpe184 />。

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

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

=== 主接続との関係 ===
{{See also|接続 (微分幾何学)#主接続の節|接続 (ファイバー束)#主接続の節}}
カルタン接続の定義は[[接続 (ファイバー束)#主接続の節|主バンドルの接続]]（主接続）の[[接続形式]]の定義とよく似ているが、両者は似て非なる概念であり、{{Mvar|H}}-主バンドルの主接続の[[接続 (微分幾何学)#接続形式の定義|接続形式]]は{{Mvar|H}}のリー代数<math>\mathfrak{h}</math>に値を取るが、カルタン接続は{{Mvar|G}}のリー代数<math>\mathfrak{g}</math>に値を取っている。しかし、<math>(\pi,P,\omega)</math>を<math>(G,H)</math>をモデル幾何学とする多様体{{mvar|M}}上のカルタン幾何学とするとき、{{Mvar|H}}-主バンドル<math>\pi~:~P \to M</math>上定義されたカルタン接続<math>\omega ~:~TP \to \mathfrak{g}</math>は、自然に
: <math> Q := P \times_H G  \to M  </math>
という{{Mvar|G}}-主バンドル上の<math>\mathfrak{g}</math>-値1-形式
: <math> \bar{\omega} ~:~TQ \to \mathfrak{g} </math>
に拡張する事ができ<ref name=":2">[[#Kobayashi]] p. 128.</ref>、<math>\bar{\omega}</math>は{{Mvar|G}}-主バンドル<math>Q \to M</math>の接続形式である<ref name=":2" />。逆に<math>Q \to M</math>を任意の{{Mvar|G}}-主バンドルとし、<math>\bar{\omega}</math>を{{Mvar|Q}}上定義された接続形式とするとき、<math>Q \to M</math>の{{mvar|H}}-部分バンドル<math>\varphi~:~P \to Q</math>で<math>\varphi_*(TP) \cap \ker \omega =\{0\}</math>であり、しかも<math>\dim G = \dim P</math>であれば{{mvar|ω}}の{{mvar|TP}}への制限は{{mvar|P}}上のカルタン接続になる<ref>[[#Sharpe]] p.365.</ref>。

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

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

リー代数<math>\mathfrak{g}</math>に対応するリー群{{Mvar|G}}は一意ではなく<ref group="注"><math>\tilde{G}</math>を{{Mvar|G}}の[[被覆空間]]とすると、<math>\tilde{G}</math>と{{Mvar|G}}は同型なリー代数を持つ。</ref>、これが原因で大域的な構造を定める{{Mvar|G}}はカルタン幾何学の定義に必須でないばかりか、一部の定理では{{Mvar|G}}を（<math>\mathfrak{g}</math>に対応する）別のリー群に取り替える必要が生じてしまう。

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

{{math theorem|定義|リー代数<math>\mathfrak{g}</math>とその部分リー代数<math>\mathfrak{h}</math>の組<math>(\mathfrak{g},\mathfrak{h})</math>を'''{{訳語疑問点範囲|無限小クライン幾何学|date=2023/11/28}}'''（{{lang-en-short|infinitesimal Klein geometry}}）<ref name=Sharpe156>[[#Sharpe]] pp.156.</ref>もしくは'''{{訳語疑問点範囲|クライン対|date=2023/11/28}}'''（{{lang-en-short|Klein pair}}）<ref name=Sharpe156 />という。

{{mvar|H}}を<math>\mathfrak{h}</math>をリー代数
とするリー群とし、さらに
: <math>\mathrm{Ad}~:~H \to \mathrm{GL}_{\mathrm{Lie}}(\mathfrak{g})</math>
を{{mvar|H}}の線形表現で、任意の<math>h \in H</math>に対し、<math>\mathrm{Ad}(h)</math>の<math>\mathfrak{h}</math>への制限<math>\mathrm{Ad}(h)|_{\mathfrak{h}}</math>が{{mvar|H}}の<math>\mathfrak{h}</math>への随伴表現<math>\mathrm{Ad}_{\mathfrak{h}}</math>と等しいものとする{{refn|group="注"|name="Adの定義がおかしい件"|<ref name="Sharpe174" />では{{math|Ad}}にこれ以上の仮定を課していないが、実際の議論では{{math|Ad}}が<math>\mathfrak{g}</math>に対応するリー群{{mvar|G}}の随伴表現<math>\mathrm{Ad}_{\mathfrak{g}}</math>の<math>\mathfrak{h}</math>への制限である事を用いているので、以下、本項でもこれを仮定する。なお、随伴表現<math>\mathrm{Ad}_{\mathfrak{g}}</math>は<math>\mathfrak{g}</math>に対応するリー群{{mvar|G}}の取り方に依存せずwell-definedである。}}。ここで<math>\mathrm{GL}_{\mathrm{Lie}}(\mathfrak{g})</math>は<math>\mathfrak{g}</math>上のリー代数としての自己同型全体の集合である。

このとき、組<math>(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})</math>を'''モデル幾何学'''という<ref name="Sharpe174">[[#Sharpe]] p.174.</ref>。
|}}

以下、特に断りがなければ、<math>(\mathfrak{g},\mathfrak{h})</math>が効果的である事を仮定する{{refn|group="注"|[[#Sharpe]] p.174によれば、この仮定は必須ではないが、この仮定を外しても特に得られるものはないとの事である。}}。ここで<math>(\mathfrak{g},\mathfrak{h})</math>が'''効果的'''であるとは、<math>\mathfrak{h}</math>に含まれる<math>\mathfrak{g}</math>のイデアルが<math>\{0\}</math>のみである事を意味する。{{mvar|G}}、{{mvar|H}}を<math>\mathfrak{g}</math>、<math>\mathfrak{h}</math>に対応するリー群とすると、<math>(\mathfrak{g},\mathfrak{h})</math>が効果的である事は、<math>X=G/H</math>、<math>K:=\{g \in G \mid \forall x \in X~:~gx=x\}</math>とするとき、{{mvar|K}}が[[離散群]]になる事と同値である<ref>[[#Sharpe]] p.157, 166.</ref>。

{{math theorem|定義|
{{mvar|M}}を多様体とし、<math>(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})</math>をモデル幾何学とし、
* <math>\pi~:~P \to M</math>を{{mvar|H}}-主バンドルとし、
* {{mvar|ω}}を[[#クライン幾何学によるカルタン幾何学の定義|クライン幾何学によるカルタン幾何学の定義]]の条件を満たす{{mvar|P}}上の<math>\mathfrak{g}</math>-値1-形式とする。
このとき、組<math>(\pi,P,\omega)</math>を'''{{mvar|H}}を伴う<math>(\mathfrak{g},\mathfrak{h})</math>をモデルとする{{mvar|M}}上のカルタン幾何学'''（{{lang-en-short|Cartan geometry on {{mvar|M}} modeled on <math>(\mathfrak{g},\mathfrak{h})</math> with {{mvar|H}}}}）という<ref name=Sharpe184 />。
|note=無限小クライン幾何学によるカルタン幾何学の定義}}

===カルタン幾何学としてのクライン幾何学===
本節ではカルタン幾何学の最も簡単な例として、クライン幾何学のカルタン幾何学としての構造を調べる。<math>(G,H)</math>をクライン幾何学とし、<math>M=G/H</math>とし、<math>u_0=[e]</math>とする。ここで<math>[e]</math>は{{Mvar|G}}の単位元{{Mvar|e}}の同値類である。このとき
: <math> \pi~:~g \in G \mapsto gu_0 \in M  </math>
は自然に{{Mvar|H}}-主バンドルとみなせる。{{Mvar|G}}上の[[モーレー・カルタンの微分形式|モーレー・カルタン形式]]<math>\omega^G</math>がカルタン接続の定義を満たす事を示せるので、<math>(\pi, G, \mu) </math>は<math>(G,H)</math>をモデルとするカルタン幾何学になる。
==== 局所クライン幾何学とその上のカルタン幾何学{{Anchors|局所クライン幾何学の節}} ====
リー群{{Mvar|G}}とその閉部分リー群の組<math>(G,H)</math>を考える{{Refn|クライン幾何学の定義では<math>G/H</math>が連結な事を仮定していたが、ここでそれは仮定しない<ref name="Sharpe154">[[#Sharpe]] p.154.</ref>|group=注}}。{{Mvar|G}}の[[離散群|離散部分群]]<math>\Gamma</math>で、<math>G/H</math>への{{Mvar|G}}からの[[作用 (数学)|作用]]<math>G \curvearrowright G/H </math>の<math>\Gamma</math>への制限<math>\Gamma \curvearrowright G/H  </math>が効果的なものを考える（<math>\Gamma \curvearrowright G/H  </math>が効果的な事は<math>\Gamma \cap H =\{e\} </math>である事と同値である）。このとき、<math>\Gamma \curvearrowright G/H  </math>による商集合<math>M=\Gamma \backslash G/H</math>を考える。{{Mvar|M}}が連結なとき、<math>(G,H,\Gamma)</math>を'''局所クライン幾何学'''（{{Lang-en-short|locally Klein geometry}}）という<ref name=":3">[[#Sharpe]] pp.154, 207, 213.</ref>。

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

=== カルタン幾何学の（局所）幾何学的同型 ===
２つのカルタン幾何学の間の（局所的および大域的な）同型概念を以下のように定義する：{{math theorem|定義|<math>(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})</math>をモデル幾何学とし、{{mvar|M{{sub|1}}}}、{{mvar|M{{sub|2}}}}を多様体とし、<math>(\pi_1,P_1,\omega_1)</math>、<math>(\pi_2,P_2,\omega_2)</math>をそれぞれ<math>(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})</math>をモデル幾何学とする{{mvar|M{{sub|1}}}}、{{mvar|M{{sub|2}}}}上のカルタン幾何学とする。

バンドル写像
: <math>(f,\tilde{f})~:~(M_1,P_1) \to (M_2,P_2)</math>
で<math>f~:~M_1 \to M_2</math>がはめ込みであり、<math>\tilde{f}~:~\tilde{M}_1 \to \tilde{M}_2</math>による<math>\omega_2</math>の引き戻しが
: <math>f^*(\omega_2) = \omega_1</math>
となるものをカルタン幾何学間の'''局所幾何学的同型'''（{{lang-en-short|local geometric isomorphism}}）という<ref name="Sharpe185">[[#Sharpe]] p.185.</ref>。とくに{{mvar|f}}が（可微分）同相写像であれば、<math>(f,\tilde{f})</math>を'''幾何学的同型'''（{{lang-en-short|geometric isomorphism}}）という<ref name="Sharpe185" />。|}}

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

よって特に<math>A \in \mathfrak{g}</math>を各<math>p\in P</math>に対して{{Mvar|ω}}の逆写像で{{Mvar|T{{sub|p}}P}}に移すことで、{{Mvar|TP}}上の[[ベクトル場]]を作る事ができる。
{{math theorem|定義|<math>A \in \mathfrak{g}</math>に対し、<math>\omega^{-1}(A)</math>を各点<math>p \in P</math>に<math>\omega^{-1}{}_p(A)\in T_pP</math>を対応させるベクトル場とする。

このベクトル場を'''{{訳語疑問点範囲|定数ベクトル場|date=2023年11月}}'''（{{Lang-en-short|constant vector field}}）という<ref>[[#Alexandre]] p.65.</ref><ref name="左不変ベクトル場の注" group="注" />。
|note=定数ベクトル場{{Anchors|定数ベクトル場の定義}}}}

定数ベクトル場を用いると、以下の「普遍共変微分」を定義できる：
{{math theorem|定義|
{{Mvar|V}}をベクトル空間とし、<math>f~:~P \to V</math>を（滑らかな）写像とする。このとき、{{Mvar|f}}にベクトル場<math>\omega^{-1}(A)</math>（は接ベクトル空間の元なので自然に[[微分作用素]]とみなしたもの）を作用させた
: <math>D_Af := \omega^{-1}(A)f </math>
を{{Mvar|f}}の{{Mvar|A}}による'''{{訳語疑問点範囲|普遍共変微分|date=2023年11月}}'''（{{Lang-en-short|universal covariant derivative}}）という<ref>[[#Sharpe]] p.194.</ref>。
|note=普遍共変微分}}モデル幾何学が「簡約可能」という条件を満たす場合は、普遍共変微分は通常の[[接続 (ベクトル束)|共変微分]]を導く。これについては[[#簡約可能の章|後述]]。

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

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

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

=== 曲率 ===
==== 定義 ====
クライン幾何学をカルタン幾何学とみなした場合、カルタン接続はモーレー・カルタン形式{{Mvar|ω{{sup|G}}}}と等しいので、カルタン接続は構造方程式
: <math>d\omega^G + {1 \over 2}[\omega^G,\omega^G]=0</math>
を満たすが、一般のカルタン幾何学は構造方程式を満たすとは限らない。そこで以下の量を考える：
{{math theorem|定義|
カルタン接続{{Mvar|ω}}を持つ多様体{{Mvar|M}}上のカルタン幾何学<math>(\pi,P,\omega)</math>に対し、{{Mvar|P}}上の<math>\mathfrak{g}</math>-値2-形式
: <math>\Omega:=d\omega + {1 \over 2}[\omega,\omega]</math>
をカルタン幾何学<math>(\pi,P,\omega)</math>の'''曲率'''（{{Lang-en-short|curvature}}）という<ref name=Sharpe184 />。
|note=曲率}}
{{Mvar|Ω}}は（局所）クライン幾何学からのズレを表す量であると解釈でき、明らかにクライン幾何学や局所クライン幾何学の[[曲率]]は恒等的に0である。

曲率は以下を満たす：{{math theorem|定理|カルタン接続{{mvar|ω}}とその曲率{{mvar|Ω}}は下記の恒等式（'''ビアンキ恒等式'''、{{lang-en-short|Bianchi identity}}）を満たす<ref>[[#Sharpe]] p.193.</ref>：
: <math>d\Omega = [\Omega,\omega]</math>|note=カルタン接続のビアンキ恒等式{{Anchors|カルタン接続のビアンキ恒等式}}}}

点<math>u \in M</math>のファイバー{{Mvar|P{{sub|u}}}}には{{Mvar|H}}が[[群作用#作用の種類|単純推移的に]]作用するので、<math>p \in P_u</math>をfixして、<math>h \in H \mapsto ph \in P_u </math>により{{Mvar|H}}と{{Mvar|P{{sub|u}}}}を同一視すると、{{Mvar|TP{{sub|u}}}}上にモーレー・カルタン形式{{Mvar|ω{{sup|H}}}}が定義できる。しかも{{Mvar|ω{{sup|H}}}}は<math>p \in P_u</math>の取り方に依存しないことも容易に証明できる。実は曲率の{{Mvar|P{{sub|u}}}}への制限は{{Mvar|ω{{sup|H}}}}に一致する。{{math theorem|定理|任意の<math>u \in M</math>に対し、曲率{{mvar|Ω}}の{{mvar|TP{{sub|u}}}}への制限は{{mvar|TP{{sub|u}}}}上の{{mvar|ω{{sup|H}}}}に一致する。よって特に、任意の<math>v, w \in T_pP_u </math>に対し、<math>\Omega_p(v,w)=0</math>である。}}なお、実は{{Mvar|v}}、{{Mvar|w}}の少なくとも一方が{{Mvar|T{{sub|p}}P{{sub|u}}}}に属していれば、<math>\Omega_p(v,w)=0</math>である事が知られている{{Refn|[[#Sharpe]] p.187|group=|name=Sharpe187}}。よって特に次が成立する：{{math theorem|定理{{Anchors|曲率がTMに誘導する形式の定理}}|{{mvar|M}}上の<math>\mathfrak{g}</math>-値2-形式{{mvar|Ω'}}が存在し、任意の<math>p \in P</math>と任意の<math>v, w \in T_pP_u </math>に対し、以下が成立する<ref name="Sharpe187" />：
: <math>\Omega_p(v,w)=\Omega'(\pi_*(v),\pi_*(w))</math>}}
この{{Mvar|Ω'}}は次節で導入する曲率関数を用いる事で具体的に記述できる。
====曲率関数====
<math>\omega_p T_pP \overset{\sim}{\to} \mathfrak{g} </math>が[[同型写像]]であったことから、[[写像の合成]]
: <math>\wedge^2\mathfrak{g} \overset{\sim}{\to} \wedge^2 T_pP \overset{\Omega}{\to} \mathfrak{g} </math>
を定義できる。またすでに述べたように{{Mvar|v}}、{{Mvar|w}}の少なくとも一方が{{Mvar|T{{sub|p}}P{{sub|u}}}}に属していれば、<math>\Omega_p(v,w)=0</math>である事が知られている{{Refn|[[#Sharpe]] p.187|group=|name=Sharpe187}}事から、この写像は<math>\wedge^2 \mathfrak{g} /\mathfrak{h} </math>上の写像をwell-definedに誘導する。

{{math theorem|定義|
<math>\wedge^2\mathfrak{g} \overset{\sim}{\to} \wedge^2 T_pP \overset{\Omega}{\to} \mathfrak{g} </math>が<math>\wedge^2 \mathfrak{g} /\mathfrak{h} </math>上に誘導する写像
: <math>K_p~:~\wedge^2\mathfrak{g}/\mathfrak{h}\to  \mathfrak{g}  </math>
をカルタン幾何学<math>(\pi,P,\omega)</math>の'''曲率関数'''（{{Lang-en-short|curvature function}}）という<ref name=":1">[[#Sharpe]] p.191.</ref>。
}}

曲率<math>\Omega~:~\wedge^2T_pP \approx \wedge^2\mathfrak{g} \to \mathfrak{g} </math>が{{mvar|M}}上の<math>\mathfrak{g}</math>-値2-形式{{mvar|Ω'}}を誘導する事を[[#曲率がTMに誘導する形式の定理|前に見た]]。この{{Mvar|Ω'}}は曲率関数を使って以下のように書き表す事ができる。

: <math>\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} </math>

==== 捩率 ====
さらに以下の定義をする：{{math theorem|定義|
曲率{{Mvar|Ω}}を商写像
: <math>\rho ~:~\mathfrak{g} \to \mathfrak{g}/\mathfrak{h} </math>
と合成した<math>\rho(\Omega)</math>は{{Mvar|P}}上の<math>\mathfrak{g}/\mathfrak{h}  </math>-値2-形式となる。<math>\tau:=\rho(\Omega)</math>をカルタン幾何学<math>(\pi,P,\omega)</math>の'''捩率'''（{{Lang-en-short|torsion}}）といい{{refn|group="注"|「捩率」という言葉には[[捩率テンソル|アフィン接続の「捩率」]]と[[捩率|曲線の「捩率」]]という２つの異なる意味があるが、ここでいう捩率は前者に相当するものである。アフィン接続の捩率との関係は[[#曲率の分解の節|後述]]する。}}<ref name=Sharpe184>[[#Sharpe]] p.184.</ref>、<math>\tau</math>が{{Mvar|P}}上恒等的に0になるカルタン幾何学<math>(\pi,P,\omega)</math>を'''捩れなし'''（{{Lang-en-short|torsion free}}）であるという<ref name=Sharpe184 />。
|note=捩率{{Anchors|捩率の定義}}}}

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

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

まず、<math>\rho \circ \omega</math>は以下のように特徴づける事ができる：
{{math theorem|定理|<math>\rho \circ \omega</math>は下記を可換にする唯一の写像である：
:<math>  
\begin{array}{ccc}
T_p P                   & \overset{\omega}{\overset{\sim}{\to}} & \mathfrak{g}  \\ 
\pi_*\downarrow          &                                 &  \rho\downarrow \\
T_{\pi(p)}M         &\overset{\varphi_p{}^{-1}}{\overset{\sim}{\to}}&  \mathfrak{g}/\mathfrak{h} 
\end{array}
</math>
ここで<math>\varphi_p</math>は<math>[A] \in \mathfrak{g}/\mathfrak{h}</math>に<math>[(p,[A])]\in P\times_{H,\mathrm{Ad}} \mathfrak{g}/\mathfrak{h}\approx T_{\pi(p)}M</math>を対応させる写像である。

|note=<math>\rho\circ\omega</math>の特徴づけ{{Anchors|ρωの特徴づけ}}}}


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

よって特に、<math>F:=\{e^p \mid p\in P\}</math>とすると、{{Mvar|F}}は{{Mvar|M}}上の{{仮リンク|枠束|en|frame bundle|label=フレームバンドル}}（＝各点のファイバーが{{Mvar|TM}}の基底からなるバンドル）になる<ref name="名前なし-20240628120817">[[#Sharpe]] p.191.</ref>。

一般には対応
: <math>p \in P \mapsto e^p \in F </math>
は[[全単射]]ではないが、<math>P \times_{H,\mathrm{Ad}} \mathfrak{g}/\mathfrak{h}
 </math>の定義から、カルタン幾何学が下記の意味で「一階」であれば、この写像は全単射になる：{{math theorem|定義|
随伴表現
: <math>\mathrm{Ad}~:~H \to \mathrm{GL}(\mathfrak{g}/\mathfrak{h}) </math>
が忠実なとき、クライン幾何学<math>(G,H)</math>（および<math>(G,H)</math>をモデルに持つカルタン幾何学）は'''{{訳語疑問点範囲|一階|date=2023年11月}}'''（{{Lang-en-short|first order}}）であるといい、そうでないとき'''{{訳語疑問点範囲|高階|date=2023年11月}}'''（{{Lang-en-short|higher order}}）であるという<ref>[[#Sharpe]] pp.164, 191.</ref>。
}}

以上の準備のもと、<math>\rho \circ \omega</math>を幾何学的に意味付ける：{{math theorem|定理|記号を上と同様に取り、カルタン幾何学<math>(\pi,P,\omega)</math>が一階であるとする。このとき、<math>\mathfrak{g}/\mathfrak{h}</math>の基底<math>e_1,\ldots,e_m</math>で<math>\mathfrak{g}/\mathfrak{h}\approx \mathbb{R}^m</math>という同一視を行うと、<math>v \in T_pP\approx T_{e^p}F</math>に対し、
:<math>\rho \circ \omega(v) \in \mathfrak{g}/\mathfrak{h} \approx \mathbb{R}^m</math>
は基底<math>e^p=(e^p_1,\ldots,e^p_m) </math>で<math>\pi(v)</math>を成分表示したときの係数<math>{}^t(v^1,\ldots,v^m) \in \mathbb{R}^m  </math>を対応させる<math>\mathbb{R}^m</math>値1-形式であるとみなせる<ref name="名前なし-20240628120817"/>{{refn|group="注"|カルタン幾何学が一階である事を利用しているのは<math>p \in P \to e^p \in F</math>の単射性を保証する部分だけであり、それ以外の部分は一階でなくても成立する。}}。|note=<math>\rho \circ \omega</math>の解釈{{Anchors|ρωのフレームバンドルでの解釈}}}}
{{math proof|
[[#ρωの特徴づけ|上述の定理]]より写像
: <math>T_pP 
\overset{\pi_*}{\to} T_{\pi(p)}M
\approx T_pP \times_H \mathfrak{g}/\mathfrak{h}
\approx  \mathfrak{g}/\mathfrak{h} </math>
は<math>\rho \circ \omega</math>に等しいので、<math>v \in T_pP</math>に対し、<math>\pi_*(v)</math>を
: <math>\pi_*(v) = \sum_i v^ie^p_i </math>
と成分表示すると、
: <math>\rho \circ \omega(v)= \sum_iv^ie_i </math>
が成立する。よって基底<math>e_1,\ldots,e_m\in \mathfrak{g}/\mathfrak{h}</math>により<math>\mathfrak{g}/\mathfrak{h}\approx \mathbb{R}^m</math>という同一視を行うと、
: <math>\rho\circ\omega(v) = {}^t(v^1,\ldots,v^m) \in \mathbb{R}^m </math>
が成立する。
|drop=yes}}

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

== 簡約可能なモデル幾何学に対するカルタン幾何学{{Anchors|簡約可能の章}} ==
{{See also|接続 (微分幾何学)#主接続の節|接続 (ファイバー束)#主接続の節}}
本節ではモデル幾何学<math>(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})</math>が「簡約可能」という性質を満たす場合にが対するカルタン幾何学の性質を見る。具体的にはモデル幾何学がユークリッド幾何学やアフィン幾何学の場合には簡約可能になる。
=== 定義 ===
まず簡約可能性を定義する：{{math theorem|定義|
モデル幾何学<math>(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})</math>が'''{{訳語疑問点範囲|簡約可能|date=2023年11月}}'''（{{Lang-en-short|reductive}}）であるとは、作用<math>  H \overset{\mathrm{Ad}}{\curvearrowright} \mathfrak{g}   </math>により不変な[[線型部分空間|部分ベクトル空間]]<math> \mathfrak{b} \subset \mathfrak{g} </math>が存在し、<math>\mathfrak{h} \cap \mathfrak{b} =\{0\} </math>、<math>\mathfrak{h} \oplus \mathfrak{b} = \mathfrak{g} </math>を満たす事を言う<ref name=Sharpe151-197>[[#Sharpe]] pp.151, 197.</ref><ref>[[#Erickson]] p.35.</ref><ref name="名前なし_2-20240628120817">[[#Alexandre]] p.39.</ref>{{refn|group="注"|なお、リー代数の分野では、<math>\mathfrak{g}</math>が半単純な[[イデアル]]とアーベルなイデアルの直和で書けるときに<math>\mathfrak{g}</math>は[[:en:Reductive Lie algebra|簡約可能]]であると呼ぶが、本項で挙げた定義はこの簡約可能性とは別概念である<ref name=Sharpe151-197 />。なお、<math>\mathrm{ad}~:~\mathfrak{h} \to \mathrm{GL}(\mathfrak{g}/\mathfrak{h})</math>が[[単射]]で、しかも<math>\mathfrak{h}</math>がこの意味で簡約可能であれば、<math>(\mathfrak{g},\mathfrak{h})</math>は本項の意味で簡約可能である<ref name=Sharpe151-197 />。}}。
}}

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

{{mvar|G}}が2つのリー群の[[半直積]]<math>G=H \ltimes B</math>で書けている場合は、{{mvar|G}}、{{mvar|H}}に対応するモデル幾何学<math>(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})</math>は、{{mvar|B}}のリー代数を<math> \mathfrak{b} </math>として選ぶ事で簡約可能である<ref name="名前なし_2-20240628120817"/>。

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

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

このとき{{mvar|P}}上のカルタン接続{{mvar|ω}}を<math> \omega = \omega_{\mathfrak{h}} + \omega_{\mathfrak{b}} </math>と分解すると、
<math>\omega_{\mathfrak{h}}</math>は{{mvar|P}}上の[[接続 (微分幾何学)#接続形式の定義|主接続の接続形式]]の定義を満たす<ref name="Sharpe362">[[#Sharpe]] pp.362-364.</ref>。|note=簡約可能な場合のカルタン接続と接続形式の関係{{Anchors|カルタン接続の分解の定理}}}}

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

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

したがって分解<math>\omega=\omega_{\mathrm{h}}+\omega_{\mathrm{b}}</math>はカルタン接続<math>\omega</math>を[[接続形式]]<math>\mathfrak{h}</math>と標準形式<math>\mathfrak{b}</math>に分解するものであるが、実は逆に接続形式と標準形式からカルタン接続を復元できる：
{{math theorem|定理|<math>(G,H)</math>を一階のクライン幾何学で対応するリー代数の組<math>(\mathfrak{g},\mathfrak{h})</math>が<math>\mathfrak{h} \oplus \mathfrak{b} = \mathfrak{g}</math>と簡約可能なものとする。{{mvar|M}}を多様体とし、<math>\pi~:~P \to M</math>を{{mvar|TM}}の主バンドルとし、{{mvar|P}}を{{mvar|H}}-フレームバンドル{{mvar|F}}と[[#ρωの特徴づけ|前述]]の方法で同一視する。
さらに{{mvar|γ}}を{{math|1=''P''=''F''}}上の接続形式とし、{{mvar|θ}}を{{mvar|F}}の標準形式とする。

このとき、
:<math>\omega_p~:~v \in T_pP \mapsto \gamma(v_p) + \theta(v_p)\in \mathfrak{h}\oplus (\mathfrak{g}/\mathfrak{h})\approx \mathfrak{h}\oplus \mathfrak{b}=\mathfrak{g}</math>
は{{math|1=''P''=''F''}}上のカルタン接続の公理を満たす<ref name="Sharpe362" />{{refn|group="注"|なお、[[#Sharpe]] pp.364-365.は「接続形式⇒カルタン接続」の方では<math>[\mathfrak{b},\mathfrak{b}]=0</math>を仮定しているが、証明を読めば分かるように、実際にはこの仮定は必要ない。[[#Sharpe]]もp.362.の定理のステートメントではこの仮定に触れておらず、単なるミスと思われる。また[[#Sharpe]]もp.362.ではカルタン形式を<math>
\omega=
\begin{pmatrix}
0 & 0\\
\theta & \gamma
\end{pmatrix}
</math>と表記しているが、この形に書けるのはユークリッド幾何学（もしくはより一般にアフィン幾何学）をモデル幾何学としている場合であり、一般の簡約可能なモデル幾何学の場合は必ずしもこの形に書けないので、ここもミスと判断した。}}。|note=一階で簡約可能な場合における接続形式からカルタン接続の再現}}
[[#カルタン接続の分解の定理|前述]]した、カルタン接続から接続形式と標準形式とに分解する定理とは丁度「[[逆写像]]」の関係にあり、簡約可能で一階の場合はカルタン接続は接続形式と標準形式との組と1対1に対応する<ref name="Sharpe362" />。

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

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

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

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

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

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

{{math theorem|{{Mvar|M}}上の任意のベクトル場<math>X </math>と{{Mvar|E}}の任意の切断{{mvar|s}}に対し、以下が成立する：
: <math> f_{\nabla{}_X s} = D_{\omega_{\mathfrak{b}}(\tilde{X})} f_s </math>
ここで<math>\tilde{X} </math>は<math>\pi_*(\tilde{X})=X</math>となる{{mvar|P}}の接ベクトルである<ref name="Sharpe199" />{{refn|group="注"|なおこの式の右辺は文献<ref name="Sharpe199" />では、{{mvar|X}}の水平リフトを{{mvar|Y}}として<math>Yf_s</math>としているが、これは本項で挙げた<math>D_{\omega_{\mathfrak{b}}(\tilde{X})} f_s </math>に等しい。理由は以下の通りである。まず普遍共変微分の定義より<math>Yf_s=D_{\omega(Y)}f_s</math>であり、水平リフト（詳細は[[接続 (ファイバー束)]]を参照）とは<math>\pi_*(Y)=X</math>となる{{mvar|Y}}の中で<math>\omega_{\mathfrak{h}}(Y)=0</math>となるもののことである。
そして本項の<math>\tilde{X}</math>も<math>\pi_*(\tilde{X})=X</math>となり、しかも<math>\omega(\tilde{X})=\omega_{\mathfrak{h}}(\tilde{X})+\omega_{\mathfrak{b}}(\tilde{X})</math>のうち水平成分の<math>\omega_{\mathfrak{b}}(\tilde{X})</math>方向のみを考えているので、<math>\omega_{\mathfrak{b}}(\tilde{X})=\omega(Y)</math>。以上のことから<math>Yf_s=D_{\omega(Y)}f_s=D_{\omega_{\mathfrak{b}}(X)}f_s</math>である。}}
{{refn|group="注"|
なお、<math>u \in M</math>に対し<math>\pi(p)=u</math>となる{{mvar|p}}は複数あるため、<math>\tilde{X} </math>
としてどの{{mvar|p}}における接ベクトルを取るかの自由度があるが、どの{{mvar|p}}における接ベクトルを選んでも結果は変わらない。}}。
}}

上記のように<math> D_{\omega_{\mathfrak{b}}(\tilde{X})} f_s </math>はKoszul接続<math>  \nabla{}_X s  </math>と関係するが、それに対し<math> D_{\omega_{\mathfrak{h}}(\tilde{X})} f_s </math>の方は自明なものになってしまう：
{{math theorem|定理|{{Mvar|M}}上の任意のベクトル場<math>X </math>と{{Mvar|E}}の任意の切断{{mvar|s}}に対し、以下が成立する<ref>[[#Sharpe]] pp.196-197.なお、p.197の「{{mvar|ρ}}」は{{mvar|X}}が<math>\mathfrak{h}</math>の元であることから「{{mvar|ρ{{sub|*}}}}」の誤記であると判断。</ref>：
: <math> D_{\omega_{\mathfrak{h}}(\tilde{X})} f_s=-\gamma_*(\omega_{\mathfrak{h}}(\tilde{X}))f_s</math>
ここで{{mvar|γ{{sub|*}}}}は{{mvar|E}}を定義する線形表現<math>\gamma~:~ H \to \mathrm{GL}(V)</math>が誘導する写像<math>\gamma_*~:~\mathfrak{h} \to \{V</math>上の線形写像<math>\}</math>である。
}}

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

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

曲率{{Mvar|Ω}}は<math>\mathfrak{g}
 = \mathfrak{h} + \mathfrak{b}  </math>に値を取るので、曲率を
: <math>\Omega =\Omega_{\mathfrak{h}} + \Omega_{\mathfrak{b}} </math>

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

と<math>\Omega_{\mathfrak{b}} </math>が[[#捩率の定義|カルタン幾何学の捩率]]<math>\tau=\rho(\Omega) </math>に対応する事が分かる。

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

==== 構造方程式{{Anchors|簡約可能な場合の構造方程式の節}} ====
曲率の定義から、
: <math>\Omega=d\omega + {1 \over 2}[\omega,\omega]</math><math>=
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}}]
</math>

が成立するので、仮定<math>[\mathfrak{b},\mathfrak{b}]\subset \mathfrak{b} </math>を使うと以下が成立する事が分かる：
{{math theorem|定理|
* <math>\Omega_{\mathfrak{h}}
=
d\omega_{\mathfrak{h}}
 + {1 \over 2}[\omega_{\mathfrak{h}},\omega_{\mathfrak{h}}] 
</math>
* <math>\tau \approx \Omega_{\mathfrak{b}}=
 d\omega_{\mathfrak{b}} 
 + [\omega_{\mathfrak{h}},\omega_{\mathfrak{b}}]
 + {1 \over 2}[\omega_{\mathfrak{b}},\omega_{\mathfrak{b}}]
</math>
|note=分解した場合の構造方程式{{Anchors|分解した場合の構造方程式}}}}

<math>\omega_{\mathfrak{h}}  </math>[[#カルタン接続の分解の定理|が接続形式に対応している事]]から、上記の定理の１つ目の式は、接続形式<math>\omega_{\mathfrak{h}}  </math>が定義する主接続に対する'''第二構造方程式'''である事がわかる。よって特に、<math>\Omega_{\mathfrak{h}} </math>は主接続の'''曲率形式'''である事がわかる。したがって

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

: <math>\tau \approx 
 d\theta 
 + [\omega_{\mathfrak{h}},\theta]
</math>

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

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

を「<math>\mathfrak{h}</math>部分」と「<math>\mathfrak{b}</math>部分」に分解することで以下の定理が結論づけられる：
{{math theorem|定理| 
* <math>d\Omega_{\mathfrak{g}}
 = [\Omega_{\mathfrak{g}},\omega_{\mathfrak{g}}] </math>
* <math>d\tau \approx d\Omega_{\mathfrak{b}}
=
 [\tau,\omega_{\mathfrak{h}}]
+  [\Omega_{\mathfrak{h}},\omega_{\mathfrak{b}}]
+  [\Omega_{\mathfrak{h}},\omega_{\mathfrak{h}}]
</math>
|note=分解した場合のビアンキ恒等式{{Anchors|分解した場合のビアンキ恒等式}}}}
<math>\omega_{\mathfrak{h}}  </math>[[#カルタン接続の分解の定理|が接続形式に対応している事]]から、上記の定理の1本目の式は接続形式<math>\omega_{\mathfrak{h}}  </math>が定義する主接続に関する'''第二ビアンキ恒等式'''である。

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

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

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

== 曲線の発展 ==
{{See also|ダルブー導関数}}
=== {{Mvar|P}}上の発展 ===
<math>(\pi,P,\omega)</math>を<math>(G,H)</math>をモデルとする{{Mvar|M}}上のカルタン幾何学とし、<math>\varphi~:~ [a,b] \to P 
</math>を区間<math>[a,b]</math>上定義された{{Mvar|P}}上の曲線とする{{Mvar|t}}を{{math|1=[''a'',''b'']}}上の点とすると、<math>T_{\varphi(t)}P </math>にはカルタン接続{{Mvar|ω}}により<math>\mathfrak{g}</math>の元が対応している。次の事実が知られている：{{math theorem|定理・定義|記号を上述のように取り、{{mvar|g}}を{{mvar|G}}の元とするとき、{{Mvar|G}}上の曲線<math>\tilde{\varphi}~:~[a,b] \to G 
</math>で、任意の<math>t \in [a,b]</math>に対し、
: <math>
\omega^G\left(\tfrac{d\tilde{\varphi}}{dt}(t)\right)
=\omega\left(\tfrac{d\varphi}{dt}(t)\right)  
</math>
が成立し、しかも<math>\tilde{\varphi}(a)=g</math>を満たすものがが一意に存在するが成立する<ref name="Sharpe119">[[#Sharpe]] p.119.</ref>。ここで<math>\omega^G</math>は{{mvar|G}}のモーレー・カルタン形式である。

曲線<math>\tilde{\varphi}</math>を曲線<math>\varphi</math>の{{mvar|g}}からの{{mvar|ω}}に関する'''発展'''({{lang-en-short|development}})という<ref name="Sharpe119" />{{refn|group="注"|ここでは[[#Sharpe]] p.209.にあわせて「曲線<math>\varphi</math>の発展」という言い方にしたが、同書p.119.では同じ概念を「<math>\omega</math>の発展」（{{lang-en-short|development of {{mvar|ω}} along <math>\varphi</math> starting at {{mvar|g}}}}）という言い方をしている。前者がカルタン幾何学の説明であるのに対し、後者は[[ダルブー導関数]]の説明に関するものである事が言い方を変えている理由であると思われるので、ここでは前者の言い方を採用した。}}。}}
モーレー・カルタン形式<math>\omega^G</math>は、{{mvar|G}}上の接ベクトルを{{mvar|G}}の作用により<math>\mathfrak{g}=T_eG</math>に移す変換であったので、上記の定理は<math>\tfrac{d\tilde{\varphi}}{dt}(t)</math>が{{mvar|G}}の作用による移動を除いて<math>\omega\left(\tfrac{d\varphi}{dt}(t)\right) </math>に一致する事を意味する。

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

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

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

もし{{mvar|M}}が<math>G/H</math>そのものであれば、この同型変換<math>\tilde{\varphi}(t)</math>は実際に{{mvar|M}}上の同型変換になる事を[[#クライン幾何学との関係の章|後述]]する。

=== {{Mvar|M}}上の発展 ===
{{math theorem|補題{{Anchors|発展と右作用の補題}}|<math>c~:~[a,b] \to M</math>を{{mvar|M}}上の曲線とし、<math>\varphi~:~[a,b] \to P</math>を<math>h~:~[a,b] \to H</math>を曲線とする。このとき、<math>\varphi(t)</math>の発展<math>\tilde{\varphi}(t)~:~[a,b] \to P</math>と<math>\varphi(t)h(t)</math>の発展<math>\widetilde{\varphi(t)h(t)}</math>は以下を満たす<ref>[[#Sharpe]] pp.208.</ref>：
: <math>\widetilde{\varphi(t)h(t)}=\tilde{\varphi}(t)h(t)</math>}}
<math>q~:~G \to G/H</math>を{{mvar|G}}から<math>G/H</math>への商写像とすると、上記の補題から次が成立する：
{{math theorem|定理・定義|<math>c~:~[a,b] \to M</math>を{{mvar|M}}上の曲線とし、{{mvar|x}}を<math>G/H</math>の元とする。<math>\pi(\varphi(t))=c(t)</math>を満たす{{mvar|P}}上の曲線と<math>q(g)=x</math>を満たす<math>g\in G</math>を任意に選んで<math>\varphi</math>の{{mvar|g}}からの発展<math>\tilde{\varphi}~:~[a,b] \to G</math>を作り、<math>G/H</math>上の曲線
: <math>\tilde{c}(t):=q(\tilde{\varphi}(t))</math>
を考えると、<math>\tilde{c}(t)</math>は<math>\tilde{\varphi}</math>、{{mvar|g}}の取り方によらずwell-definedである。

曲線<math>\tilde{c}(t)</math>を<math>c(t)</math>の<math>G/H</math>における{{mvar|x}}からの{{mvar|ω}}に関する'''発展'''（{{lang-en-short|development}}）という<ref name="Sharpe209">[[#Sharpe]] pp.209-211.</ref>。
}}

=== ホロノミー ===
{{See also|ダルブー導関数#モノドロミー}}
{{mvar|M}}が連結であるとし、<math>u_0 \in M</math>と<math>\pi(p_0)= u_0</math>を満たす<math>p_0 \in P</math>をfixし、<math>c~:~[a,b] \to M </math>を{{Mvar|u{{sub|0}}}}を基点とする{{Mvar|M}}上の閉曲線とする。<math>\pi(\varphi(t))= c(t)</math>を満たす{{Mvar|P}}上の閉曲線<math>\varphi~:~[a,b] \to P</math>で{{Mvar|p{{sub|0}}}}を基点とするものとすると、[[#発展と右作用の補題|前述した補題]]から、<math>\varphi</math>の単位元<math>e \in G</math>からの発展<math>\tilde{\varphi}~:~I \to G</math>の終点<math>\tilde{\varphi}(b) </math>は<math>\varphi</math>の取り方によらず等しい。そこで以下のような定義をする：{{math theorem|定理・定義|記号を上のように取り、<math>\Omega(M,u_0)</math>を{{mvar|u{{sub|0}}}}を基点とする{{仮リンク|ループ空間|en|loop space|label=閉曲線全体の空間}}とする。このとき、
: <math>\Phi^{p_0}~:~c \in \Omega(M,u_0) \mapsto (\tilde{\varphi}</math>の終点<math>) \in G</math>
は閉曲線の結合に関して[[準同型]]であり、<math>\Phi^{p_0}(\Omega(M,u_0))</math>は{{mvar|G}}の部分群をなす。

<math>\Phi^{p_0}(c)</math>を閉曲線{{mvar|c}}の基点{{mvar|u{{sub|0}}}}のリフト{{mvar|p{{sub|0}}}}に関する'''ホロノミー'''（{{lang-en-short|holonomy with respect to {{mvar|p{{sub|0}}}}}}）<ref name="Sharpe209" />といい、<math>\Phi^{p_0}(\Omega(M,u_0))</math>を{{mvar|p{{sub|0}}}}に関する{{mvar|M}}上のカルタン幾何学<math>(\pi,P,\omega)</math>の'''ホロノミー群'''（{{lang-en-short|
holonomy group of <math>(\pi,P,\omega)</math> with respect to {{mvar|p{{sub|0}}}}}}）<ref name="Sharpe209" />{{refn|group="注"|文献<ref name="Sharpe209" />では<math>\Phi^{p_0}</math>の定義域をループ空間<math>\Omega(M,u_0)</math>ではなく[[基本群]]<math>\pi_1(M,u_0)</math>としているが、<math>\Phi</math>はホモトピー不変ではないので、定義域はループ空間であると判断。なお、文献<ref>[[#Alexandre]] p.69.</ref>では定義域を基本群としているが、これはこの文献ではカルタン幾何学が平坦な事を仮定している為、<math>\Phi</math>がホモトピー不変になるからである。}}という。}}

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

<math>\Phi^{p_0}(\Omega(M,u_0))</math>の元のうち、0-ホモトープな閉曲線全体<math>\Phi^{p_0}_0(\Omega(M,u_0))</math>は<math>\Phi^{p_0}(\Omega(M,u_0))</math>の[[正規部分群]]になる<ref name="Sharpe209" />。<math>\Phi^{p_0}_0(\Omega(M,u_0))</math>を'''制限ホロノミー群'''（{{lang-en-short|restricted holonomy group}}）という<ref name="Sharpe209" />。

写像<math>\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))</math>は[[基本群]]<math>\pi_1(M,u_0)</math>からの群準同型写像
:<math>\pi_1(M,u_0)\to \Phi^{p_0}(\Omega(M,u_0))/\Phi^{p_0}_0(\Omega(M,u_0))</math>
をwell-definedに誘導する。上記の写像をカルタン幾何学<math>(\pi,P,\omega)</math>の'''モノドロミー表現'''（{{lang-en-short|monodromy representation of <math>(\pi,P,\omega)</math>}}）という<ref name="Sharpe209" />。

=== 一般化円と測地線 ===
{{math theorem|定義{{Anchors|測地線の定義}}|なんらかの<math>A \in \mathfrak{g}</math>に対し、定数ベクトル場（定義は[[#定数ベクトル場の定義|前述]]）<math>\omega^{-1}(A)</math>{{refn|group="注"|クライン幾何学の場合は{{mvar|M}}上の左不変ベクトル場に相当する<ref>[[#Sharpe-2]] p.67.</ref>。|name="左不変ベクトル場の注"}}の積分曲線を<math>\pi~:~P \to M</math>で{{mvar|M}}に射影したものを{{mvar|M}}上の'''{{訳語疑問点範囲|一般化円|date=2023/11/28}}'''（{{lang-en-short|generarized circle}}）という<ref name="Sharpe209" />。

また<math>(\mathfrak{g},\mathfrak{h})</math>が<math>\mathfrak{g}=\mathfrak{h} \oplus \mathfrak{b}</math>と簡約可能なとき、なんらかの<math>A \in \mathfrak{b}</math>に対し、定数ベクトル場<math>\omega^{-1}(A)</math>の積分曲線を<math>\pi~:~P \to M</math>で{{mvar|M}}に射影したものを{{mvar|M}}上の'''[[測地線]]'''（{{lang-en-short|geodesic}}）という。
}}

特にクライン幾何学<math>(G,H)</math>に対し、<math>G/H</math>上の一般化円は、<math>\mathfrak{g}</math>の元の1-パラメーター変換群の軌跡{{refn|group="注"|name="1-パラメータ変換の注"|すなわち、<math>g \in G</math>と<math>A\in \mathfrak{g}=T_eG</math>に対し、{{mvar|A}}を通る{{mvar|G}}上の左不変ベクトル場<math>\overline{A}</math>による{{mvar|g}}からの1-パラメーター変換<math>\exp(t\overline{A})(g) \in G</math>の軌跡の事。}}{{refn|group="注"|<ref name="Sharpe209" />には「{{mvar|G}}の元の1-パラメーター変換群」とあるが1-パラメーター変換群はリー代数に対して定義するものなので「<math>\mathfrak{g}</math>の元の1-パラメーター変換群」の誤記と判断。}}の<math>G/H</math>への射影である<ref name="Sharpe209" />。よって「一般化円」という名称であるが、ユークリッド幾何学での「一般化円」は[[螺旋]]になる事もあるので注意されたい<ref group="注">ユークリッド空間<math>\mathbb{E}^m</math>の合同変換群<math>\mathrm{Iso}(\mathbb{E}^m) = O(m) \ltimes \mathbb{R}^m</math>のリー代数<math>\mathfrak{iso}(\mathbb{E}^m) = \mathfrak{o}(m) \ltimes \mathbb{R}^m</math>から<math>A \in \mathfrak{o}(m) </math>、<math>B \in \mathbb{R}^m </math>を選び、<math>A+B</math>の積分曲線の<math>\mathbb{E}^m</math>への射影を考えると螺旋になる。</ref>

<math>(\mathfrak{g},\mathfrak{h})</math>が<math>\mathfrak{g}=\mathfrak{h} \oplus \mathfrak{b}</math>と簡約可能なとき、<math>\mathfrak{b}</math>に属する元の{{mvar|G}}上の1-パラメーター変換群の軌跡<ref group="注" name="1-パラメータ変換の注" />の<math>G/H</math>への射影を'''直線'''（{{lang-en-short|straight line}}）という。

この事実を使うと、一般化円と測地線は以下のように言い換える事ができる：
{{math theorem|定理|
<math>(G,H)</math>をモデルとするクライン幾何学の定義された多様体{{mvar|M}}上の曲線が一般化円になる必要十分条件は、その一般化円の発展が<math>G/H</math>上の一般化円になる事である。

同様に<math>(\mathfrak{g},\mathfrak{h})</math>が<math>\mathfrak{g}=\mathfrak{h} \oplus \mathfrak{b}</math>と簡約可能なとき、<math>c(t)</math>が{{mvar|M}}上の測地線（{{lang-en-short|geodesic}}）となる必要十分条件は、<math>c(t)</math>の発展<math>\tilde{c}(t)</math>が<math>G/H</math>上の直線である事である<ref name="Sharpe209" />。
}}[[#Koszul接続の節|前述]]したように、<math>(\mathfrak{g},\mathfrak{h})</math>が簡約可能なときは、{{Mvar|TM}}上にアフィン接続{{Mvar|∇}}が定義できるので、<math>\tfrac{\nabla}{dt}\tfrac{d}{dt}c=0</math>となる曲線を測地線として定義する事もできる。この２つの測地線の定義は同値である。
{{math theorem|定理|
<math>(\mathfrak{g},\mathfrak{h})</math>が<math>\mathfrak{g}=\mathfrak{h} \oplus \mathfrak{b}</math>と簡約可能であるとし、カルタン接続{{Mvar|ω}}を<math> \omega = \omega_{\mathfrak{h}} + \omega_{\mathfrak{b}} </math>と分解したとき{{mvar|P}}の主接続（の接続形式）<math> \omega_{\mathfrak{h}}</math>が{{mvar|TM}}に<math>TM  \approx  F_H \times_H \mathfrak{g}/\mathfrak{h} </math>に誘導するアフィン接続を{{mvar|∇}}とする。

このとき、{{mvar|M}}上の曲線<math>c(t)</math>が[[#測地線の定義|上述]]したカルタン幾何学における測地線である必要十分条件は、以下が成立する事である：
: <math>\frac{\nabla}{dt}\frac{d}{dt}c=0</math>
}}
{{math proof|証明に入る前にまず記号を整理し、簡単な考察をする。{{Mvar|H}}を構造群とする主バンドル<math>P</math>を、{{Mvar|TM}}上の{{Mvar|H}}-フレームバンドル<math>  F_H </math>と自然に同一視する。

各<math>e \in F_H(TM) \approx P</math>に対し、<math>\omega~:~ T_pF_H(TM) \to \mathfrak{g}</math>が同型だったので、自然に<math> TF_H \approx F_H \times \mathfrak{g} </math>とみなせる。これを写像<math>\rho~:~\mathfrak{g} \to \mathfrak{g}/\mathfrak{h} \approx \mathfrak{b}</math>とあわせると可換図式
: <math>\begin{array}{ccc}
TF_H &\approx &F_H \times \mathfrak{g}\\
\pi_* \downarrow &\circlearrowright & \rho\downarrow\\
TM & \approx & F_H \times_H \mathfrak{b} 
\end{array}   </math>
が描け、<math>\mathfrak{b}</math>にベクトル空間としての基底をfixして<math>\mathfrak{b}</math>の元を<math> v = (v^1,\ldots,v^m)</math>と書くと、<math>e = (e_1,\ldots,e_m) \in F_H </math>と{{Mvar|v}}の組<math>[e,v] \in F_H \times_H \mathfrak{b}</math>に対応する{{Mvar|TM}}の元は<math>\textstyle \sum_iv^ie_i</math>である。

{{Mvar|∇}}は<math> \omega_{\mathfrak{h}} </math>が誘導する[[アフィン接続]]であったので、以上のことから{{Mvar|M}}上の曲線<math>c(t)</math>上の{{Mvar|F{{sub|H}}}}の切断<math>e(t)=(e_1(t),\ldots,e_m(t))</math>が<math> \omega_{\mathfrak{h}} </math>に関して平行である必要十分条件は、<math>e(t)=(e_1(t),\ldots,e_m(t))</math>を{{Mvar|TM}}の基底とみなしたとき、<math>e(t)=(e_1(t),\ldots,e_m(t))</math>が{{Mvar|∇}}に関して平行な基底である事である。

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

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

== クライン幾何学との関係{{Anchors|クライン幾何学との関係の章}} ==
{{see also|ダルブー導関数#微分積分学の基本定理の章}}
カルタン幾何学はクライン幾何学をモデルとしており、しかも（局所）クライン幾何学はカルタン幾何学として'''平坦'''（{{Lang-en-short|flat}}）、すなわち曲率が恒等的に0である事を前述した。

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

[[ダルブー導関数]]の一般論から、以下が従う：
{{math theorem|定理|<math>(G,H)</math>を対応するリー代数の組<math>(\mathfrak{g},\mathfrak{h})</math>が効果的なクライン幾何学とする。{{mvar|M}}を多様体とし、<math>(\pi,P,\omega)</math>を<math>(G,H)</math>をモデルとする{{mvar|M}}上のカルタン幾何学とする。

このとき、{{mvar|M}}の[[普遍被覆空間]]<math>q^:~\tilde{M} \to M</math>に主バンドル<math>\pi~:~P \to M</math>とカルタン接続{{mvar|ω}}を引き戻したものをそれぞれ<math>\tilde{\pi}~:~\tilde{P} \to \tilde{M}</math>、<math>\tilde{\omega}</math>とする。

このとき<math>(\tilde{\pi},\tilde{P},\tilde{\omega})</math>は<math>\tilde{M}</math>上の<math>(G,H)</math>をモデルとするカルタン幾何学となり、局所幾何学的同型
; <math>(f,\bar{f})~:~(\tilde{M},\tilde{P}) \to (G/H, G)</math>
が存在する<ref>[[#Alexandre]] p.68.</ref>。}}
よって特に、{{Mvar|M}}の点{{Mvar|u}}の十分小さい開近傍<math>U</math>を取り、<math>U</math>上に<math>(\pi,P,\omega)</math>を制限した<math>(\pi|_U,P_U,\omega_U)</math>は（{{Mvar|U}}の<math>\tilde{M}</math>へのリフトを考えることで）局所幾何学的同型<math>(U,P_U) \to (G/H,G)</math>を持つことが分かる<ref>[[#Sharpe]] p.212.</ref>。

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

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

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

が成立する<ref>[[#Sharpe]] p.111.</ref>。{{Math|ad}}とカルタン接続の合成
: <math>\mathrm{ad}\circ \omega ~:~ TP \to  \mathfrak{gl}_{\mathrm{Lie}}(\mathfrak{g})</math>

を考え、以下の定義をする：
{{math theorem|定義|記号を上と同様に取り、<math>p \in P</math>を取る。クライン幾何学<math>(\pi,P,\omega)</math>に対し、<math>h \in H</math>が基点<math>p \in P</math>に関して'''幾何学的な向きを保つ'''（{{Lang-en-short|geometrically orientation preserving with respect to the base point {{mvar|p}}}}）とは、{{Mvar|p}}と{{Mvar|ph}}を結ぶ{{Mvar|P}}上の曲線<math>\varphi(t)</math>で以下の条件を満たすものが存在する事を言う<ref name="Sharpe203">[[#Sharpe]] pp.203-205.</ref><ref group="注">発展の定義は{{mvar|ω}}がカルタン接続の場合に対して与えたが、一般にリー代数に値を取る1-形式に対しても同様にして発展の存在一意性を示すことができるので、「<math>\mathrm{ad}\circ \omega</math>に関する発展」という言葉は意味を持つ。一般の場合の定理のステートメントは[[ダルブー導関数]]の項目を参照。</ref>：
: <math>\varphi(t)</math>の<math>\mathrm{ad}\circ \omega</math>に関する単位元<math>e \in \mathrm{GL}_{\mathrm{Lie}}(\mathfrak{g})</math>からの発展<math>\tilde{\varphi}(t)</math>の終点が<math>\mathrm{Ad}(h)</math>になる
}}
{{math theorem|定理・定義|{{mvar|P}}が連結であれば幾何学的向き付けの定義は{{mvar|p}}に依存しない<ref name="Sharpe203" />。{{mvar|P}}が連結なとき、幾何学的向き付け可能な{{mvar|H}}の元全体の集合を<math>H_{\mathrm{or}}</math>と書く<ref name="Sharpe203" />。}}

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

しかし上記の定義は曲線<math>\varphi(t)</math>がファイバー<math>P_{\pi(p)}</math>内に収まる事は仮定しておらず、よって一般には{{math|''H''{{sub|or}}}}の方が{{mvar|H{{sub|e}}}}より大きいこともある。なお、{{mvar|P}}が連結であれば、{{math|''H''{{sub|or}}}}は{{mvar|H}}の[[正規部分群]]になる事が知られている<ref name="Sharpe203" />。

{{math theorem|定義|{{Mvar|M}}を多様体とし、<math>(\pi,P,\omega)</math>を<math>(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})</math>をモデル幾何学とする{{Mvar|M}}上のカルタン幾何学で{{mvar|P}}が連結であるものする{{refn|group="注"|文献<ref name="Sharpe207" />では{{mvar|P}}の連結を明示的には仮定していないが、{{mvar|P}}が連結ではないと{{math|''H''{{sub|or}}}}の定義が基点に依存してしまうため、暗に仮定されていると判断した。}}。
* {{mvar|H}}-バンドル{{mvar|P}}が{{math|''H''{{sub|or}}}}-部分主バンドルを持つとき、<math>(\pi,P,\omega)</math>は'''幾何学的に向き付け可能'''（{{lang-en-short|geometrically orientable}}）であるという<ref name="Sharpe207">[[#Sharpe]] p.207.</ref>
* {{mvar|P}}の{{math|''H''{{sub|or}}}}-部分主バンドル（もしあれば）を{{mvar|P}}の'''幾何学的向き'''（{{lang-en-short|geometrically orientation}}）という<ref name="Sharpe207" />。
* <math>M_{\mathrm{or}}:=P/H_{\mathrm{or}}</math>を{{mvar|M}}の'''幾何学的向き付け被覆'''（{{lang-en-short|geometrically orientation cover}}）という<ref name="Sharpe207" />。
* <math>H=H_{\mathrm{or}}</math>のとき、カルタン幾何学<math>(\pi,P,\omega)</math>は'''幾何学的に向き付けられている'''（{{lang-en-short|geometrically oriented}}）という<ref name="Sharpe207" />。
}}次が成立する：{{math theorem|定義|局所クライン幾何学<math>(G,H,\Gamma)</math>（に定まるクライン幾何学）は、{{mvar|G}}が連結なら幾何学的向き付け可能である<ref name="Sharpe207" />{{refn|group="注"|文献<ref name="Sharpe207" />のステートメントでは{{mvar|G}}の連結性を明示していないが、証明中で{{mvar|G}}の連結性を使っているため、連結性を明記した。}}。}}

==== 完備性 ====
{{Mvar|M}}を多様体とし、<math>(\pi,P,\omega)</math>を<math>(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})</math>をモデル幾何学とする{{Mvar|M}}上のカルタン幾何学とする。
{{math theorem|定義|<math>(\pi,P,\omega)</math>が以下を満たすとき、<math>(\pi,P,\omega)</math>は'''完備'''（{{Lang-en-short|complete}}）であるという<ref name=Sharpe184 />{{refn|group="注"|[[#Sharpe]]では、まず一般の1-形式{{mvar|ω}}に対し完備性を定義し、カルタン接続{{mvar|ω}}が完備な事をもってカルタン幾何学の完備性を定義している。ここで{{Mvar|P}}上1-形式{{mvar|ω}}が完備であるとは、以下を満たす事を言う（[[#Sharpe]] pp.69. 129）：{{Mvar|P}}上の任意のベクトル場{{Mvar|X}}に対し、<math>\omega(X)|_p</math>が<math>p \in P</math>によらず定数であれば、任意の<math>p \in P</math>および任意の<math>t \in \mathbb{R}</math>に対し<math>\exp(t X_p)</math>が定義可能である。{{mvar|ω}}がカルタン接続であれば、<math>\omega(X)</math>が定数となるベクトル場とはすなわち<math>\omega{}^{-1}(A)</math>、for <math>A \in \mathfrak{g}</math>と書けるベクトル場の事であるので、ここで挙げた定義と一致する。なお文献<ref>[[#Sharpe-2]] p.66</ref>では{{mvar|A}}が時間変化する事を許すより強い完備性の定義を採用している（が、両定義の関係については明記されていないので不明）。}}
: 任意の<math>A \in \mathfrak{g}</math>に対し、定数ベクトル場（定義は[[#定数ベクトル場の定義|前述]]）<math>\omega^{-1}(A)</math>の積分曲線<math>\exp(t \omega_p{}^{-1}(A))</math>は任意の<math>t \in \mathbb{R}</math>および任意の<math>p \in P</math>に対して定義可能である。
}}

{{math theorem|定理|局所クライン幾何学<math>(G,H,\Gamma)</math>（に対応するカルタン幾何学）は完備である。
}}
{{math proof|局所クライン幾何学におけるカルタン接続{{mvar|ω}}の定義より、<math>\omega_p{}^{-1}(A)</math>を<math>P=\Gamma\backslash G</math>の被覆空間である{{mvar|G}}に引き戻したもを<math>\underline{A}</math>とすると、<math>\underline{A}</math>は<math>A \in \mathfrak{g}=T_eG</math>を通る左不変ベクトル場であるので、<math>\exp(t \omega_g{}^{-1}(A))</math>は任意の任意の<math>g \in G</math>および任意の<math>t \in \mathbb{R}</math>に対し定義可能であり、任意の<math>p \in P</math>および任意の<math>t \in \mathbb{R}</math>に対し、<math>\exp(t \omega_p{}^{-1}(A))</math>は<math>\exp(t \omega_g{}^{-1}(A))</math>を<math>P=\Gamma\backslash G</math>に射影したものであるので、定理が成立する。ここで{{mvar|p}}は{{mvar|g}}の商写像による像である。
|drop=yes}}

=== 定式化 ===
完備かつ平坦で幾何学的に向き付可能なカルタン幾何学は局所クライン幾何学と幾何学的同型になる：{{math theorem|定義|{{mvar|M}}を連結な多様体とし、<math>(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})</math>をモデル幾何学とし、<math>(\pi,P,\omega)</math>を{{mvar|M}}上の<math>(\mathfrak{g},\mathfrak{h},H,\mathrm{Ad})</math>をモデルとする平坦かつ完備で幾何学的に向き付けられたカルタン幾何学とする。

このとき、<math>\mathfrak{g}</math>をリー代数とする連結なリー群{{mvar|G}}で{{mvar|H}}を[[位相群|閉部分群]]として含むものと、{{mvar|G}}の部分群{{mvar|Γ}}で局所クライン幾何学<math>\Gamma\backslash G/H</math>とその上のカルタン幾何学構造<math>(\Gamma\backslash G,\omega^{\Gamma\backslash G})</math>が{{mvar|M}}とその上のカルタン幾何学<math>(\pi,P,\omega)</math>と幾何学的同型になる<ref>[[#Sharpe]] p.213.</ref><ref group="注" name="Adの定義がおかしい件その2" />。}}なお、すでに見たように局所クライン幾何学は平坦かつ完備であり、しかも{{Mvar|G}}が連結であれば局所クライン幾何学はカルタン幾何学として向き付け可能であるので、連結な{{Mvar|G}}を考える場合は、これ以上条件を減らす事はできない。

なお、{{Mvar|G}}を固定すると、上述の定理が存在を保証する{{Mvar|Γ}}は共役を除いて一意に定まる：{{math theorem|定義|<math>M_1=\Gamma_1\backslash G/H</math>、<math>M_2=\Gamma_2\backslash G/H</math>を<math>(G,H)</math>をモデルに持つ２つの局所クライン幾何学とする。

このとき、{{mvar|M{{sub|1}}}}と{{mvar|M{{sub|2}}}}がクライン幾何学として幾何学的同型であれば、ある<math>g \in G</math>が存在し、<math>\Gamma_2=g\Gamma_1 g^{-1}</math>であり、しかも{{mvar|M{{sub|1}}}}と{{mvar|M{{sub|2}}}}は{{mvar|g}}の左からの作用<math>L_g~:~G \to G</math>から誘導される<ref>[[#Sharpe]] p.216.</ref>。}}

== ユークリッド幾何学をモデルとするカルタン幾何学{{Anchors|モデルがユークリッド幾何学の節}} ==
本章ではモデル幾何学がユークリッド幾何学の場合を考える。すなわち、モデルとするクライン幾何学がユークリッド空間<math>\mathbb{E}^m</math>上の等長変換群<math>\mathrm{Iso}(\mathbb{E}^m)</math>と直交群<math>O(m)</math>の組<math>(G,H)=(\mathrm{Iso}(\mathbb{E}^m),O(m))</math>である場合の、多様体{{Mvar|M}}上のカルタン幾何学<math>(\pi,P,\omega)</math>を考える。
=== 標準的な計量{{Anchors|標準的な計量の節}} ===
本節では以下の定理を示す：
{{math theorem|定理|ユークリッド幾何学をモデルとするカルタン幾何学には、{{Mvar|M}}に標準的な[[リーマン計量]]が定数倍を除いて一意に定まる<ref name=":0">[[#Sharpe]] p.238.</ref><ref group="注" name=":0">ここでいう「定数倍を除いて一意」とは2つの計量{{Mvar|g}}、{{Mvar|g'}}に対し、'''{{Mvar|M}}の点{{Mvar|u}}に依存しない'''定数{{Mvar|k}}が存在し、<math>g'_u=kg_u</math>となるという意味である。</ref>。
}}

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

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

が定義できる。

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

により定義すると<math>g_u(v,w)
</math>が<math>p \in P_u</math>によらずwell-definedされる事が知られており<ref name=":0" />、{{Mvar|M}}上にリーマン計量{{Mvar|g}}が定まる。

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

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

接続形式<math> \omega_{\mathfrak{h}}  </math>が{{Mvar|TM}}に誘導するアフィン接続<math>\nabla</math>を定義する事ができ、<math>\nabla</math>は以下を満たす：
{{math theorem|定理|<math>\nabla</math>は標準的な計量と両立する。すなわち[[#標準的な計量の節|前節]]で定義した標準的なリーマン計量{{Mvar|g}}に対し、
: <math>X(g(Y,Z))=g(\nabla_XY,Z)+g(Y,\nabla_XZ)
</math>
が{{Mvar|M}}上の任意のベクトル場{{Mvar|X}}、{{Mvar|Y}}、{{Mvar|Z}}に対して成立する。
}}
{{math proof|
[[#接バンドルの定理|すでに述べた]]ように{{Mvar|TM}}は<math>O(m)</math>-主バンドル{{Mvar|P}}を使って
: <math>TM \approx P \times_{H} \mathfrak{g}/\mathfrak{h}</math>

と書け、しかも{{Mvar|P}}は<math>O(m)</math>-フレームバンドルとして[[#ρωのフレームバンドルでの解釈|解釈できた]]ので、以下{{Mvar|P}}をフレームバンドルとみなしたものを{{Mvar|F}}と書く。[[#標準的な計量の節|前述した]]計量の作り方から計量{{Mvar|g}}は{{Mvar|F}}の元を正規直交基底にする。

一方<math> \omega_{\mathfrak{h}}  </math>は
: <math>\mathfrak{h}=\mathfrak{o}(m) = \{</math>[[交代行列|歪対称行列]]<math>\}</math>
に値を取るので、（{{Mvar|F}}に属する）正規直交基底において接続形式<math> \omega_{\mathfrak{h}}  </math>を<math> \omega_{\mathfrak{h}} =(\omega^i{}_j)_{ij} </math>と成分表示すると、<math>\omega^i{}_j=-\omega^j{}_i</math>が成立する。よって{{Mvar|TM}}の局所的な正規直交基底<math>e_1,\ldots,e_m</math>を取ると、
: <math>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) 
</math>
が成立する（最後の等式は<math>i=k</math>のときのみ<math>g(e_i,e_k)=1</math>な事を使った）。よって
: <math>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)
</math>
が成立するので、<math>Y=e_j</math>、<math>Z=e_k</math>の場合に定理が示された。一般の場合は、上式から簡単な計算により従う。
|title=略証|drop=yes}}

しかし'''<math>\nabla</math>の捩率は0とは限らない'''<ref>[[#Sharpe]] p.234.に捩率が0の場合とそうでない場合にわけて考える旨の記載がある。</ref>。もし<math>\nabla</math>の捩率が0であれば<ref group="注">ユークリッド幾何学をモデルとするカルタン幾何学の場合にカルタン幾何学の意味での捩率がKoszul接続の捩率テンソルと同一な事は[[#簡約可能な場合の構造方程式の節|すでに示した]]。</ref>[[リーマン幾何学の基本定理]]より、<math>\nabla</math>は[[レヴィ・チヴィタ接続]]に一致する。

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

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

[[ファイル:Model_space_development.svg|右|サムネイル|滑りとねじれのない転がし（再掲）]]
{{Mvar|m}}次元リーマン多様体{{Mvar|M}}上に曲線<math>c(t)</math>を取り（図の青の線）、<math>c(t)</math>に沿って{{Mvar|M}}を{{Mvar|m}}次元平面<math>\mathbb{R}^m</math>上を[[滑りとねじれのない転がし|「滑ったり」「ねじれたり」することなく転がした]]<ref group="注">英語では、「捩率」はtorsion、「ねじれのない転がし」の「ねじれ」はtwistであり、両者は無関係な概念である。</ref>ときにできる曲線の軌跡を<math>\tilde{c}(t)</math>とする（図の紫の線）。

このとき、次が成立することが知られている：
{{math theorem|定理|
記号を上述のように取る。このとき、<math>\tilde{c}(t)</math>は[[等質空間]]<math>G/H =\mathrm{Iso}(\mathbb{E}^m)/O(m) \approx \mathbb{R}^m</math>への発展に一致する<ref name="Sharpe386">[[#Sharpe]] pp.386-387.</ref>。
}}

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

{{math theorem|定理|
<math>v(t)\in T_{c(t)}M</math>を<math>c(t)</math>に沿った{{Mvar|M}}上のベクトル場とすると、以下が成立する<ref name="Sharpe386" />：
: <math>\varphi_t\left({\nabla \over dt} v(t)\right) ={d \over dt}\varphi_t(v(t)) </math>
}}

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

よって特に以下が成立する：
{{math theorem|系|
<math>c(a)</math>における接ベクトル<math>v</math>を{{Mvar|M}}上曲線<math>c(t)</math>に沿って（[[レヴィ・チヴィタ接続]]の意味で）平行移動したものを<math>v'</math>とするとき、<math>\tilde{c}(a) </math>におけるベクトル<math>\varphi_a(v)</math>を<math>\mathbb{R}^m</math>上<math>\tilde{c}(b) </math>まで通常の意味で平行移動したものは<math>\varphi_b(v')</math>に等しい<ref name="Sharpe386" />。
}}

== 脚注 ==

=== 出典 ===
{{reflist|20em}}

=== 注釈 ===
{{reflist|30em|group="注"}}

== 参考文献 ==

=== カルタン幾何学関連の文献 ===
*  {{Cite book|洋書 |title=Differential Geometry: Cartan's Generalization of Klein's Erlangen Program |publisher=Sprinver |date=1997/6/12 |author=Richard Sharpe |ref=Sharpe |series=Graduate Texts in Mathematics |volume=166 |isbn=978-0387947327}}
*  {{Cite book|洋書 |title=An introduction to Cartan Geometries |publisher=Proceedings of the 21st Winter School "Geometry and Physics" |author=Richard Sharpe |ref=Sharpe-2 |year=2002 |pages=61-75}}
*  {{Cite web |url=https://www.math.umd.edu/~jwericks/Parabolic%20Geometries%20RIT/EricksonAVICG_July2023.pdf |title=A Visual Invitation to Cartan Geometries |access-date=2023/11/13 |publisher=University of Maryland |author=Jacob W. Erickson |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}}
*  {{Cite web |url=https://webusers.imj-prg.fr/~elisha.falbel/Cartan/poly.pdf |title=Introduction to Cartan geometry |access-date=2023/11/13 |author=Raphaël Alexandre and Elisha Falbel |date=2023/02/17 |ref=Alexandre}}
*  {{Cite book|洋書 |title=Transformation Groups in Differential Geometry |date=1994/12/1 |publisher=Springer |series=Classics in Mathematics |isbn=978-3540586593 |author=Shoshichi Kobayashi |ref=Kobayashi}}

=== カルタン幾何学以外の文献 ===
* {{Cite web |url=https://www2.mathematik.hu-berlin.de/~wendl/Winter2016/DiffGeo1/connections_chapter3.pdf |title=Chapter 3: Connections |access-date=2023/08/24 |author=Chris Wendl |ref=Wendl3}}
* {{Cite book|洋書 |title=Differential Geometry: Connections, Curvature, and Characteristic Classes |date=2017/6/P15 |publisher=[[シュプリンガー・サイエンス・アンド・ビジネス・メディア|Springer]] |author=[[:en:Loring W. Tu|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=[[:en:Foundations of Differential Geometry|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}}

{{Normdaten}}
{{DEFAULTSORT:かるたんきかかく}}
[[Category:接続 (数学)]]
[[Category:微分幾何学]]
[[Category:数学に関する記事]]