接続 (ファイバー束)

数学 > 微分幾何学 > 接続、ファイバーバンドル > 接続 (ファイバー束)

ファイバーバンドルの接続︵せつぞく、英: connection︶とは、ベクトルバンドルの接続概念︵Koszul接続︶を任意のファイバーバンドルに拡張したものである。

これにより、原理的には任意のファイバーバンドル上で接続の概念を考えられるようになるが、実際に研究が進んでいるのはベクトルバンドルの場合とそれに対応する主バンドルの場合、具体的に$\mathrm {GL} _{n}(\mathbb {R} )$$\mathrm {GL} _{n}(\mathbb {R} )$、$\mathrm {GL} _{n}(\mathbb {C} )$$\mathrm {GL} _{n}(\mathbb {C} )$、回転群${\displaystyle SO($n)} $SO(n)$、ユニタリ群${\displaystyle U($n)} $U(n)$、シンプレクティック群${\displaystyle \mathrm {Sp} ($n)} $\mathrm {Sp} (n)$、スピン群${\displaystyle \mathrm {Spin} ($n)} $\mathrm {Spin} (n)$等、一般線形群やその閉部分リー群に対する主バンドルの場合である。 なお、これらはそれぞれ実ベクトルバンドル、実計量ベクトルバンドル、複素ベクトルバンドル、複素計量ベクトルバンドル、シンプレクティックバンドル、クリフォードバンドルに対応する。

こうした群の場合、主バンドルの接続からベクトルバンドルの接続が定義でき、逆にベクトルバンドルの接続から主バンドルの接続が定義できる事を本章で見る。ファイバーバンドルの接続、特に主バンドルの接続を考える主目的はベクトルバンドルの接続を別の角度から捉え直す事にある。

チャーン・ヴェイユ理論では、特性類という主バンドルを使って特徴づけられる概念を用いるので、上記のように主バンドルに対して接続を定義することで、理論の記述が可能になる。

以下、本項では特に断りがない限り、多様体、関数、バンドル等は全てC^∞級の場合を考える。よって紛れがなければ﹁C^∞級﹂を省略して単に多様体、関数、バンドル等という。

名称に関して

ファイバーバンドルの接続のことをエーレスマン接続︵英: Ehresmann conection︶と呼ぶ場合があるが、主バンドルに対する接続の事を﹁エーレスマン接続﹂と読んでいる書籍もあるので注意が必要である。なお主バンドル上においても両者の概念は同値ではなく、ファイバーバンドルの接続のうち構造群の作用に関して不変なものを主バンドルの接続と呼ぶ。

両者の区別のため、一般のファイバーバンドルの接続を一般の接続︵英: general connection︶、主バンドルの接続を主接続︵英: principal connection︶と呼ぶ場合がある。

またファイバーバンドルの接続のうち、完備なもののみを﹁エーレスマン接続﹂と呼ぶ場合もある。なおエーレスマン自身による定義では完備性を仮定していた。

動機

「接続 (ベクトル束)」および「レヴィ・チヴィタ接続」も参照

本節では、ファイバーバンドルの接続、中でも特に主バンドルの接続を定義する動機を説明する。


リーマン多様体の接バンドル上のレヴィ・チヴィタ接続、あるいはより一般に任意の多様体のベクトルバンドルの接続はベクトルバンドル$E\to M$$E\to M$上の微分演算子∇によって定義されている。

M上のベクトル場Xに対し行列${\displaystyle \omega ($X)} $\omega (X)$を

${\displaystyle (\nabla _{X}e_{1},\ldots ,\nabla _{X}e_{m})=(e_{1},\ldots ,e_{m})\omega ($X)} $(\nabla _{X}e_{1},\ldots ,\nabla _{X}e_{m})=(e_{1},\ldots ,e_{m})\omega (X)$
により定義し、Xに${\displaystyle \omega ($X)} $\omega (X)$を対応させる行列値の1-形式$\omega =(\omega ^{i}{}_{j})_{ij}$$\omega =(\omega ^{i}{}_{j})_{ij}$を局所的な基底$(e_{1},\ldots ,e_{m})$$(e_{1},\ldots ,e_{m})$に関する接続∇の接続形式︵英: connection form︶という。

∇が定義する共変微分はライプニッツ則により、

${\displaystyle \nabla _{X}s=X(s^{j})e_{j}+s^{i}\omega _{i}{}^{j}($X)e_{j}} $\nabla _{X}s=X(s^{j})e_{j}+s^{i}\omega _{i}{}^{j}(X)e_{j}$
とかけるので、接続形式ωが分かれば接続∇が再現でき、ωと∇は1対1対応する。ここで$s=s^{j}e_{j}$$s=s^{j}e_{j}$はEの切断である。

実はむしろωから接続概念を定義したほうが、数学的に有利である事が示唆され、このアイデアを結実したのが主バンドルの接続概念である。

接続形式ωから接続概念を定義したほうが有利な理由は2つある。第一に、リーマン多様体であれば∇から定義される曲率テンソルを使って記述できた恒等式、例えば︵第二︶構造方程式や︵第二︶ビアンキ恒等式は、一般のベクトルバンドルではωを使わないと記述できない︵接続 (ベクトル束)#曲率を参照︶。




第二に、接続概念において重要な役割を果たす平行移動の概念は接続形式ωと強く関係しており、底空間Mの曲線${\displaystyle c($t)} $c(t)$に沿って定義された局所的な基底${\displaystyle (e_{1}($t),\ldots ,e_{m}(t))} $(e_{1}(t),\ldots ,e_{m}(t))$をtで微分したものが接続形式$\omega ({\tfrac {dc}{dt}}(0))$$\omega ({\tfrac {dc}{dt}}(0))$に一致する。

よって特に︵レヴィ・チヴィタ接続などの︶∇がEの計量と両立する接続の場合、∇による平行移動は回転変換、すなわち${\displaystyle SO($n)} $SO(n)$の元なので、その微分である接続形式ωは${\displaystyle SO($n)} $SO(n)$のリー代数${\displaystyle {\mathfrak {so}}($n)} ${\mathfrak {so}}(n)$の元、すなわち歪対称行列である。




このように接続形式を用いるとベクトルバンドルの構造群︵上の例では${\displaystyle SO($n)} $SO(n)$︶が接続形式の構造をリー群・リー代数対応により支配している事が見えやすくなる。

上では回転群${\displaystyle \mathrm {SO} ($m)} $\mathrm {SO} (m)$の場合を説明したが、$\mathrm {GL} _{n}(\mathbb {C} )$$\mathrm {GL} _{n}(\mathbb {C} )$︵を自然に$\mathrm {GL} _{2n}(\mathbb {R} )$$\mathrm {GL} _{2n}(\mathbb {R} )$の部分群とみなしたもの︶や$\mathrm {U} _{n}(\mathbb {C} )$$\mathrm {U} _{n}(\mathbb {C} )$、物理学で重要なシンプレクティック群やスピン群に対しても同種の性質が証明でき、接続形式がリー群・リー代数対応により支配されている事がわかる。


こうした事実は接続概念を直接リー群と接続形式とで記述する方が数学的に自然である事を示唆する。後で説明する、リー群の主バンドルに対する接続はこのアイデアを定式化したもので、主バンドルの接続は接続形式に相当するものを使って定義される。




そこで本項では、まずベクトルバンドルの接続と主バンドルの接続の両方を包括する概念であるファイバーバンドルの接続概念を導入する。この概念は﹁そもそも平行移動とは何か﹂を直接的に定式化したもので、この概念それ自身が接続形式の言葉で記述されるわけではない。

そして次にファイバーバンドルの接続概念を用いて主バンドルの接続概念を定義すると同時に、主バンドルの接続を接続形式の言葉で再定式化する。そして構造群を持つファイバーバンドルにその主バンドルから接続を誘導する方法を説明する。そして最後にベクトルバンドルの接続と主バンドルの接続の接続形式の言葉で記述する。

ファイバーバンドルの接続の定義

ファイバーバンドルの接続概念は、ベクトルバンドルの接続における平行概念を自然に拡張する事で定義する。

定義の背後にある直観

$\pi ~:~E\to M$$\pi ~:~E\to M$をベクトルバンドルとし、∇をこのバンドルのKoszul接続とする。M上の任意の曲線c(t)とc(t)上の任意の切断s(t)で平行なものに対し、s(t)をE上の曲線とみなしたときに${\tfrac {ds}{dt}}$${\tfrac {ds}{dt}}$が入るT_eEの部分空間を﹁水平部分空間﹂と呼ぶ。

以上のように接続∇から水平部分空間が定まるが、逆に水平部分空間の情報があれば接続を再現できる事も知られている。実際、${\tfrac {ds}{dt}}$${\tfrac {ds}{dt}}$が常に水平部分空間に入るような切断s(t)を平行な切断とみなす事で水平部分空間から平行が再現でき、平行概念から接続概念を再現できる事も知られている。

よってベクトルバンドルの場合は接続概念は水平部分空間の概念は等価なので、一般のファイバーバンドルに対する接続を水平部分空間の概念を用いて定義する事にする。

定義

以上の考察を元に、ファイバーバンドルの接続を定義する。そのためにまず﹁垂直部分空間﹂という概念を定義する。$\pi ~:~E\to M$$\pi ~:~E\to M$をファイバーFを持つファイバーバンドルとし、e∈EをEの元とするとしπが誘導する写像を$\pi _{*}~:~TE\to TM$$\pi _{*}~:~TE\to TM$とするとき、

${\displaystyle {\mathcal {V}}_{e}:=\{\xi \in T_{e}E\mid \pi _{*}(\xi )=0\}=T_{e}(E_{\pi ($e)})} ${\mathcal {V}}_{e}:=\{\xi \in T_{e}E\mid \pi _{*}(\xi )=0\}=T_{e}(E_{\pi (e)})$
を、eにおけるT_eEの垂直部分空間︵英: vertical subspace︶という。そしてファイバーバンドルの接続を以下のように定義する‥

定義 (接続) ―  ファイバーバンドル$\pi ~:~E\to M$の（C^∞級の）接続(英: connection)$\{{\mathcal {H}}_{e}\}_{e\in E}$とは、Eの各点eにおけるT_eMの部分空間${\mathcal {H}}_{e}$の族でeに関してC^∞級であり、以下の性質を満たすものである：

$T_{e}E={\mathcal {V}}_{e}\oplus {\mathcal {H}}_{e}$

${\mathcal {H}}_{e}$をeにおける水平部分空間（英: horizontal subspace）という。

分解

$T_{e}E={\mathcal {V}}_{e}\oplus {\mathcal {H}}_{e}$$T_{e}E={\mathcal {V}}_{e}\oplus {\mathcal {H}}_{e}$
があれば、T_eEの元の${\mathcal {V}}_{e}$${\mathcal {V}}_{e}$への射影

$V_{e}~:~T_{e}E\to {\mathcal {V}}_{e}$$V_{e}~:~T_{e}E\to {\mathcal {V}}_{e}$
すなわち$\mathrm {Ker} V_{e}={\mathcal {H}}_{e}$$\mathrm {Ker} V_{e}={\mathcal {H}}_{e}$、$V_{e}|_{{\mathcal {V}}_{e}}=\mathrm {id}$$V_{e}|_{{\mathcal {V}}_{e}}=\mathrm {id}$となる線形変換を定義できる。このV_eを垂直射影︵英: vertical projection︶もしくは接続写像︵英: connection map︶といい、接続写像によって接続概念を定式化することも可能である‥

定義 ―  ファイバーバンドル$\pi ~:~E\to M$の（C^∞級の）接続(英: connection)とは、eに関してC^∞級な写像

$V_{e}~:~T_{e}E\to {\mathcal {V}}_{e}$

の族$\{V_{e}\}_{e\in E}$で以下の性質を満たすものである：

• $V_{e}|_{{\mathcal {V}}_{e}}=\mathrm {id}$

後で述べるように、この垂直射影V_eが主バンドルの接続の場合は接続形式に対応している。

ジェットバンドルによる特徴づけ

本節ではジェットバンドルの概念を用いる事でファイバーバンドルの接続を特徴づける。

ジェットバンドルの定義

$\pi ~:~E\to M$$\pi ~:~E\to M$をファイバーバンドルとし、uをMの点とする。uの近傍で定義されたEの2つの切断s、s'に対し、

$s\sim s'\iff s_{u}=s_{u}~~{\text{and}}~~s_{*}|_{u}=s'_{*}|_{u}$$s\sim s'\iff s_{u}=s_{u}~~{\text{and}}~~s_{*}|_{u}=s'_{*}|_{u}$
という同値関係を定義し、その同値類を$j_{u}^{1}s$$j_{u}^{1}s$と書き、sの1次のジェット︵英: jet︶という。さらに同値類全体を$J_{u}^{1}E$$J_{u}^{1}E$と書き、$J^{1}E=\bigcup _{u\in M}J_{u}^{1}E$$J^{1}E=\bigcup _{u\in M}J_{u}^{1}E$とすると、

$j_{u}^{1}s\in J^{1}E\mapsto u\in M$$j_{u}^{1}s\in J^{1}E\mapsto u\in M$
によりJ¹EはM上のバンドルとみなせる。このバンドルをファイバーバンドル$\pi ~:~E\to M$$\pi ~:~E\to M$に関する1次のジェットバンドルという。なお、

$j_{u}^{1}s\in J^{1}E\mapsto s_{u}\in E$$j_{u}^{1}s\in J^{1}E\mapsto s_{u}\in E$
によりJ¹EをE上のバンドルとみなすこともできる。

ジェットバンドルを使った接続の特徴づけ

ジェット$j_{u}^{1}s$$j_{u}^{1}s$を一つ指定すると、点$s_{u}\in E$$s_{u}\in E$における平面${\mathcal {H}}_{s_{u}}:=s_{*}(T_{u}M)$${\mathcal {H}}_{s_{u}}:=s_{*}(T_{u}M)$で垂直部分空間と${\mathcal {V}}_{s_{u}}\cap {\mathcal {H}}_{s_{u}}=\{0\}$${\mathcal {V}}_{s_{u}}\cap {\mathcal {H}}_{s_{u}}=\{0\}$を満たすものが定義できる。逆に${\mathcal {V}}_{s_{u}}\cap {\mathcal {H}}_{s_{u}}=\{0\}$${\mathcal {V}}_{s_{u}}\cap {\mathcal {H}}_{s_{u}}=\{0\}$を満たす平面${\mathcal {H}}_{s_{u}}\subset T_{s_{u}}E$${\mathcal {H}}_{s_{u}}\subset T_{s_{u}}E$からジェット$j_{u}^{1}s$$j_{u}^{1}s$が1つ定まる事も容易に示せる。


ファイバーバンドル$\pi ~:~E\to M$$\pi ~:~E\to M$の接続とはEの各点eに${\mathcal {V}}_{e}\cap {\mathcal {H}}_{e}=\{0\}$${\mathcal {V}}_{e}\cap {\mathcal {H}}_{e}=\{0\}$を満たす${\mathcal {H}}_{e}\subset T_{e}E$${\mathcal {H}}_{e}\subset T_{e}E$を定めるものであったので、上述の議論から、これはEの各点eに${\displaystyle s_{\pi ($e)}=e} $s_{\pi (e)}=e$を満たすジェット$j_{u}^{1}s$$j_{u}^{1}s$を定める事に等しく、Eの各点にそのようなジェットを定める行為は

$j_{u}^{1}s\in J^{1}E\mapsto s_{u}\in E$$j_{u}^{1}s\in J^{1}E\mapsto s_{u}\in E$
の切断を定める行為に等しい。よって$\pi ~:~E\to M$$\pi ~:~E\to M$の接続概念を以下のように定式化できる‥

定理 (ジェットバンドルを使った接続概念の定式化) ― $\pi ~:~E\to M$をファイバーバンドルとし、J¹Eを$\pi ~:~E\to M$の1次のジェットバンドルとする。このとき、

$J^{1}E\to E$

の切断を$\pi ~:~E\to M$の接続という。

﹁切断﹂という﹁水平部分空間﹂よりも数学的に扱いやすい対象によって接続を定義できる点でこの定義は有益である。

諸概念

本節では、上記の接続の概念に基づいて、一般のファイバーバンドルに対して平行移動、共変微分、および曲率形式の概念を定義していく。 ベクトルバンドルの場合にこれらの概念がこれまで議論してきた平行移動、共変微分、および曲率形式の概念に一致する事は後述する。

平行移動

平行移動の概念を以下のように定義する‥

定義 (平行移動) ― M上の曲線$c(t)$上定義された切断$s(t)$が平行であるとは、

${ds \over dt}(t)\in {\mathcal {H}}_{s(t)}$

が任意のtに対して成立する事をいう。さらにt₀、t₁を2つの時刻とするとき、$s(t_{1})$は$s(t_{0})$を$c(t)$に沿って平行移動した元であるという

接続の定義から、

${\displaystyle \pi _{*}|_{{\mathcal {H}}_{e}}:|~{\mathcal {H}}_{e}\to T_{\pi ($e)}M} $\pi _{*}|_{{\mathcal {H}}_{e}}:|~{\mathcal {H}}_{e}\to T_{\pi (e)}M$
はベクトル空間としての同型であるので、この逆写像

${\displaystyle \mathrm {Lift} _{e}~:~T_{\pi ($e)}M\to {\mathcal {H}}_{e}} $\mathrm {Lift} _{e}~:~T_{\pi (e)}M\to {\mathcal {H}}_{e}$
を考える事ができる。${\displaystyle \mathrm {Lift} _{e}($v)} $\mathrm {Lift} _{e}(v)$を${\displaystyle v\in T_{\pi ($e)}M} $v\in T_{\pi (e)}M$のeへの水平リフト︵英: horizontal lift︶といい、vに水平リフトを対応させる写像 ${\displaystyle \mathrm {Lift} _{e}~:~T_{\pi ($e)}M\to {\mathcal {H}}_{e}} $\mathrm {Lift} _{e}~:~T_{\pi (e)}M\to {\mathcal {H}}_{e}$をクリストッフェル写像︵英: Christoffel map︶という事もある。この写像とクリストッフェル記号の関係は後述する。


水平リフトの定義から明らかなように、切断${\displaystyle s($t)} $s(t)$が平行である必要十分条件は

${\displaystyle {\tfrac {d}{dt}}s($t)=\mathrm {Lift} _{s(t)}\left({\tfrac {d}{dt}}c(t)\right)} ${\tfrac {d}{dt}}s(t)=\mathrm {Lift} _{s(t)}\left({\tfrac {d}{dt}}c(t)\right)$
を満たす事である。


常微分方程式${\displaystyle {\tfrac {d}{dt}}s($t)=\mathrm {Lift} _{s(t)}\left({\tfrac {d}{dt}}c(t)\right)} ${\tfrac {d}{dt}}s(t)=\mathrm {Lift} _{s(t)}\left({\tfrac {d}{dt}}c(t)\right)$の解の局所的な存在一意性から、平行移動は局所的に存在し、かつ一意である。

すなわちsを曲線${\displaystyle c($t)} $c(t)$の時刻t₀のファイバー$E_{c(t_{0})}$$E_{c(t_{0})}$の元とするとき、︵t₀とsに依存した︶t₀の近傍$(-\varepsilon ,\varepsilon )$$(-\varepsilon ,\varepsilon )$が存在し、$(-\varepsilon ,\varepsilon )$$(-\varepsilon ,\varepsilon )$上ではsの平行移動が一意に存在する。

完備性

定義

前節で平行移動が局所的には必ず存在する事を見たが、平行移動の大域的な存在性は必ずしも保証されない。平行移動が大域的に存在するときに接続は完備であるという‥

定義 (完備性) ―  任意の$e\in E$および$\pi (e)\in M$を通る任意の曲線$c(t)\in M$に対し、$c(t)$に沿ったeの平行移動が定義できるとき、接続$\{{\mathcal {H}}_{e}\}_{e\in E}$は完備（英: complete）であるという。

任意のファイバーバンドルに完備な接続が少なくとも1つ入る事が知られている。


なお、接バンドルにおいては﹁完備﹂という言葉は

●アフィン接続の測地線完備性

●リーマン計量が入っている場合の距離空間としての完備性

にも使われるが、上述した接続の完備性はこれらの完備性概念とは別概念である。実際、︵アフィン接続に限らず︶Koszul接続の場合には、平行移動は常に定義可能であるので、Koszul接続は上述の意味で常に完備である。


ファイバーがコンパクトの場合も完備性が成り立つ‥

定理 ―  $\pi ~:~E\to M$をファイバー空間Fを持つファイバーバンドルとし、${\mathcal {H}}=\{{\mathcal {H}}_{e}\}_{e\in E}$をこのバンドルの接続とする。 このとき、Fがコンパクトであれば${\mathcal {H}}$は完備である。

反例

本節では完備ではない接続の例をあげる。$M=\mathbb {R}$$M=\mathbb {R}$とし、M上のファイバーバンドル

$\pi ~:~(x,y)\in M\times \mathbb {R} \mapsto x\in M$$\pi ~:~(x,y)\in M\times \mathbb {R} \mapsto x\in M$
を考え、このファイバーバンドル上に下記のような接続を考える‥

点$(x,y)\in M\times \mathbb {R}$$(x,y)\in M\times \mathbb {R}$における水平部分空間は、$T_{(x,y)}(M\times \mathbb {R} )$$T_{(x,y)}(M\times \mathbb {R} )$内の傾き$y{}^{2}$$y{}^{2}$の直線である

ここで直線の﹁傾き﹂は$T_{(x,y)}(M\times \mathbb {R} )$$T_{(x,y)}(M\times \mathbb {R} )$を自然に$M\times \mathbb {R} =\mathbb {R} \times \mathbb {R}$$M\times \mathbb {R} =\mathbb {R} \times \mathbb {R}$と同一視したときの傾きである。

このようにすると、$M=\mathbb {R}$$M=\mathbb {R}$上の直線${\displaystyle c($t)=t} $c(t)=t$に沿って点$0\in M=\mathbb {R}$$0\in M=\mathbb {R}$のファイバー上の点$(0,y_{0})\in M\times \mathbb {R} =\mathbb {R} \times \mathbb {R}$$(0,y_{0})\in M\times \mathbb {R} =\mathbb {R} \times \mathbb {R}$を平行移動した結果できる曲線は

$(x,y)=\left(t,{1 \over y_{0}{}^{-1}-t}\right)$$(x,y)=\left(t,{1 \over y_{0}{}^{-1}-t}\right)$
である事を容易に示す事ができる。この平行移動は

$t<{1 \over y_{0}}$$t<{1 \over y_{0}}$
の範囲でしか延長できず、完備でない事が言えた。


上記の例でも分かるように、水平移動の局所的存在性において、水平移動が存在する範囲$(-\varepsilon ,\varepsilon )$$(-\varepsilon ,\varepsilon )$がファイバーの元︵上記の例ではy₀︶に依存しており、上記の例であれば$\varepsilon <{\tfrac {1}{y_{0}}}$$\varepsilon <{\tfrac {1}{y_{0}}}$でなくてはならない。この事が水平移動の大域的存在性を保証できない原因となっている。

共変微分

本節ではまず共変微分を天下り的に定義し、次に平行移動の概念を用いて共変微分の概念の意味付けを行う。

定義

定義 (共変微分) ―  $\pi ~:~E\to M$$\pi ~:~E\to M$を接続$\{V_{e}\}_{e\in E}$$\{V_{e}\}_{e\in E}$が定義されたファイバーバンドルとし、sをMの開集合U上で定義されたEの切断とし、XをUの点$x\in U$$x\in U$におけるMの接ベクトルとする。sを多様体Uから多様体Eへの写像とみなしたときにsが接ベクトル空間に誘導する写像を

$s_{*}~:~TU\to TE$$s_{*}~:~TU\to TE$
とする。このとき、$u\in M$$u\in M$に対し、

$\nabla _{X}s|_{u}:=V_{s_{u}}(s_{*}(X_{u}))$$\nabla _{X}s|_{u}:=V_{s_{u}}(s_{*}(X_{u}))$
を点uにおけるsのX方向の共変微分という。

定義 (曲線に沿った共変微分) ―  $\pi ~:~E\to M$$\pi ~:~E\to M$を接続$\{V_{e}\}_{e\in E}$$\{V_{e}\}_{e\in E}$が定義されたファイバーバンドルとし、${\displaystyle c($t)} $c(t)$をM上の曲線とし、${\displaystyle s($t)} $s(t)$を${\displaystyle c($t)} $c(t)$に沿ったEの切断とする。このとき、

${\displaystyle {\nabla \over dt}s($t):=V_{s(t)}\left({d \over dt}s(t)\right)} ${\nabla \over dt}s(t):=V_{s(t)}\left({d \over dt}s(t)\right)$
を${\displaystyle c($t)} $c(t)$に沿った${\displaystyle s($t)} $s(t)$の共変微分という。

リフトとの関係

M上のベクトル場Xに対し、Eの各点eに$\mathrm {Lift} _{e}(X_{e})$を対応させるベクトル場を

$\mathrm {Lift} (X)$

と書くことにすると、以下が成立する事が知られている：

定理 (共変微分とリフトの関係) ― sをMの開集合上で定義された切断とするとき、

$\nabla _{X}s=s_{*}(X)-\mathrm {Lift} (X)$

よって特に次が成立する：

定理 ― $s(t)$を曲線$c(t)$上の切断とするとき、

${\frac {\nabla }{dt}}s(t)={\frac {d}{dt}}s(t)-\mathrm {Lift} _{s(t)}({\frac {d}{dt}}c(t))$

が成立する。

平行移動の定義より、${\displaystyle s($t)} $s(t)$が平行であれば、

${\displaystyle {\tfrac {d}{dt}}s($t)=\mathrm {Lift} _{s(t)}\left({\tfrac {d}{dt}}c(t)\right)} ${\tfrac {d}{dt}}s(t)=\mathrm {Lift} _{s(t)}\left({\tfrac {d}{dt}}c(t)\right)$
であった。この事からすなわち、共変微分${\displaystyle {\tfrac {\nabla }{dt}}s($t)} ${\tfrac {\nabla }{dt}}s(t)$とは、平行移動からのズレを表す量である事がわかる。

成分表示とクリストッフェル写像

本節では共変微分を成分表示で表し、これにより水平リフトがなぜクリストッフェル写像と呼ばれるのかを見る。このためにファイバーバンドル$\pi ~:~E\to M$$\pi ~:~E\to M$の点$e_{0}\in E$$e_{0}\in E$に対し、$\pi (e_{0})\in M$$\pi (e_{0})\in M$の近傍Uにおける局所座標$(x^{1},\ldots ,x^{m})$$(x^{1},\ldots ,x^{m})$を選び、さらに$e_{0}\in E$$e_{0}\in E$の局所座標

$((x^{1},\ldots ,x^{m}),(y^{1},\ldots ,y^{n}))\in U\times V\subset E$$((x^{1},\ldots ,x^{m}),(y^{1},\ldots ,y^{n}))\in U\times V\subset E$
として、局所座標が$((x^{1},\ldots ,x^{m}),(y^{1},\ldots ,y^{n}))$$((x^{1},\ldots ,x^{m}),(y^{1},\ldots ,y^{n}))$の元を$\pi ~:~E\to M$$\pi ~:~E\to M$で写像するしたものの局所座標が$(x^{1},\ldots ,x^{m})$$(x^{1},\ldots ,x^{m})$となるものを取る。


水平リフトは$\pi ~:~E\to M$$\pi ~:~E\to M$の右逆写像であった事から、$X=X^{k}{\tfrac {\partial }{\partial x^{k}}}$$X=X^{k}{\tfrac {\partial }{\partial x^{k}}}$をU上のベクトル場とすると、$e\in E$$e\in E$における水平リフトは何らかの実数の組${\displaystyle (\Gamma ^{i}{}_{k}($e))_{i,k}} $(\Gamma ^{i}{}_{k}(e))_{i,k}$を用いて

${\displaystyle \mathrm {Lift} _{e}($X)=X^{k}{\partial \over \partial x^{k}}-X^{k}\Gamma ^{i}{}_{k}(e){\partial \over \partial y^{i}}} $\mathrm {Lift} _{e}(X)=X^{k}{\partial \over \partial x^{k}}-X^{k}\Gamma ^{i}{}_{k}(e){\partial \over \partial y^{i}}$
という形に成分表示できる。共変微分とリフトの関係性から、簡単な計算により、以下の定理を示すことができる‥

定理 (共変微分の成分表示) ― 記号を上述のように取り、さらにsをU上定義されたEの切断とし、sを成分表示で

$s(x)=((x^{1},\ldots ,x^{m}),(s^{1}(x),\ldots ,s^{n}(x)))$

と書く、このとき以下が成立する：

$\nabla _{X}s|_{x}=\left(X^{k}(x){\partial s^{j} \over \partial x^{k}}(x)+X^{k}(x)\Gamma ^{i}{}_{k}(s(x))\right){\partial \over \partial y^{i}}{\Bigg |}_{s(x)}$

上記の定理をKoszul接続に関する共変微分の成分表示と比較する事で、${\displaystyle \Gamma _{k}{}^{i}(s($x))} $\Gamma _{k}{}^{i}(s(x))$がクリストッフェル記号に対応している事が分かる。事実Koszul接続では${\displaystyle \Gamma _{k}{}^{i}(s($x))} $\Gamma _{k}{}^{i}(s(x))$がsに関して線形であり、成分表示がクリストッフェル記号と一致する︵後述︶。

水平リフトの事をクリストッフェル写像と呼んだのは以上の理由による。

曲率

定義

接続概念の定義において垂直方向への射影

$V_{e}~:~T_{e}E\to {\mathcal {V}}_{e}$$V_{e}~:~T_{e}E\to {\mathcal {V}}_{e}$
を導入したが、同様にして水平方向への射影

$H_{e}~:~T_{e}E\to {\mathcal {H}}_{e}$$H_{e}~:~T_{e}E\to {\mathcal {H}}_{e}$
も定義できる。

曲率概念はこのV_e、H_eを使って定義できる‥

定理・定義 (ファイバーバンドルの曲率形式) ―  $\pi ~:~E\to M$$\pi ~:~E\to M$を接続$\{V_{e}\}_{e\in E}$$\{V_{e}\}_{e\in E}$が定義されたファイバーバンドルとし、${\mathcal {H}}_{e}:=\mathrm {Ker} V_{e}$${\mathcal {H}}_{e}:=\mathrm {Ker} V_{e}$への射影を$H_{e}~:~T_{e}E\to {\mathcal {H}}_{e}$$H_{e}~:~T_{e}E\to {\mathcal {H}}_{e}$とする。

E上のベクトル場ξ、ηに対し、

$\Omega (\xi ,\eta ):=-V([H(\xi ),H(\eta )])$$\Omega (\xi ,\eta ):=-V([H(\xi ),H(\eta )])$
と定義すると、Ωは${\displaystyle C^{\infty }($E)} $C^{\infty }(E)$-線形である。ここで$[\cdot ,\cdot ]$$[\cdot ,\cdot ]$はリー括弧である。

よってΩは双線形写像

$\Omega ~:~TE\times TE\to {\mathcal {V}}$$\Omega ~:~TE\times TE\to {\mathcal {V}}$
であるとみなせる。 ΩをファイバーバンドルEの接続$\{V_{e}\}_{e\in E}$$\{V_{e}\}_{e\in E}$に関する曲率形式という。

なお、Frölicher–Nijenhuis bracket$[\cdot ,\cdot ]_{FN}$$[\cdot ,\cdot ]_{FN}$を用いると、曲率形式は

$\Omega =-{1 \over 2}[V,V]_{FN}=-{1 \over 2}[H,H]_{FN}$$\Omega =-{1 \over 2}[V,V]_{FN}=-{1 \over 2}[H,H]_{FN}$
とも書き表せる。 さらに曲率形式に対する下記の︵第二︶ビアンキ恒等式が成立する事も示せる

$[V,\Omega ]_{FN}=0$$[V,\Omega ]_{FN}=0$.

曲率概念の可積分性による意味付け

曲率概念の意味付けをみるため、いくつかの概念を定義する。 $\pi ~:~E\to M$$\pi ~:~E\to M$を接続$\{{\mathcal {H}}_{e}\}_{e\in E}$$\{{\mathcal {H}}_{e}\}_{e\in E}$が定義されたファイバーバンドルとし、∇をこの接続が定める共変微分とする。

sをMの開集合U上で定義されたEの切断がUの任意の点uとuにおけるUの任意の接ベクトルvに対し、

$\nabla _{v}s=0$$\nabla _{v}s=0$
を満たすとき、sは平坦(英: flat)であるという。

定義から明らかなようにsが平坦であるとは、sをUからEへの写像とみなしたとき、sが誘導する写像$s_{*}~:~TU\to TE$$s_{*}~:~TU\to TE$によるTUの像が常に水平部分空間に属する事と同値である。

Eの任意の点eに対し、eを通るEの平坦な切断が存在するとき、接続$\{{\mathcal {H}}_{e}\}_{e\in E}$$\{{\mathcal {H}}_{e}\}_{e\in E}$は平坦であるという。

定義から明らかなように、接続$\{{\mathcal {H}}_{e}\}_{e\in E}$$\{{\mathcal {H}}_{e}\}_{e\in E}$が平坦であるという事は、超平面の族$\{{\mathcal {H}}_{e}\}_{e\in E}$$\{{\mathcal {H}}_{e}\}_{e\in E}$が可積分である事と同値である。

フロベニウスの定理を用いると、次が成立する事を証明できる‥

定理 (曲率と可積分性の関係) ―  $\pi ~:~E\to M$を接続$\{{\mathcal {H}}_{e}\}_{e\in E}$が定義されたファイバーバンドルとするとき、以下の3つは同値である：

1. $\{{\mathcal {H}}_{e}\}_{e\in E}$は平坦な接続である
2. 超平面の族$\{{\mathcal {H}}_{e}\}_{e\in E}$は可積分である
3. $\{{\mathcal {H}}_{e}\}_{e\in E}$の曲率形式Ωは恒等的に0に等しい。

したがって曲率形式は水平部分空間　$\{{\mathcal {H}}_{e}\}_{e\in E}$$\{{\mathcal {H}}_{e}\}_{e\in E}$が可積分ではない度合いを表す量である。

曲率概念のホロノミーによる意味づけ

これまで通り$\pi ~:~E\to M$$\pi ~:~E\to M$を接続$\{V_{e}\}_{e\in E}$$\{V_{e}\}_{e\in E}$が定義されたファイバーバンドルとする。さらに$U\in \mathbb {R} ^{2}$$U\in \mathbb {R} ^{2}$を$\mathbb {R} ^{2}$$\mathbb {R} ^{2}$の原点Oの開近傍とし、Uの元を成分で$(x^{1},x^{2})$$(x^{1},x^{2})$と表し、$\varphi ~:~U\to M$$\varphi ~:~U\to M$を埋め込みとし、$i=1,2$$i=1,2$に対し、

${\hat {\partial }}_{i}:=\varphi _{*}(\partial _{i})$${\hat {\partial }}_{i}:=\varphi _{*}(\partial _{i})$、$\partial _{i}^{*}:=\mathrm {Lift} ({\hat {\partial }}_{i})$$\partial _{i}^{*}:=\mathrm {Lift} ({\hat {\partial }}_{i})$
とする。${\displaystyle c($t)} $c(t)$を$\mathbb {R} ^{2}$$\mathbb {R} ^{2}$上の以下のような閉曲線とする‥$O\in \mathbb {R} ^{2}$$O\in \mathbb {R} ^{2}$から$t$$t$だけ右に動き、$t$$t$だけ上に動き、$t$$t$だけ左に動き、$t$$t$だけ下に動く。

このとき${\displaystyle \varphi \circ c($t)} $\varphi \circ c(t)$に沿って、${\displaystyle \varphi ($O)} $\varphi (O)$のファイバー${\displaystyle E_{\varphi ($O)}} $E_{\varphi (O)}$の点eを平行移動したものは、

${\displaystyle e_{t}=\Phi _{2}^{-t}\circ \Phi _{1}^{-t}\circ \Phi _{2}^{t}\circ \Phi _{1}^{t}($e)} $e_{t}=\Phi _{2}^{-t}\circ \Phi _{1}^{-t}\circ \Phi _{2}^{t}\circ \Phi _{1}^{t}(e)$ where $\Phi _{i}^{t}:=\exp(t\partial _{i}^{*})$$\Phi _{i}^{t}:=\exp(t\partial _{i}^{*})$
に等しい。この$e_{t}$$e_{t}$を使って曲率形式を特徴づける事ができる‥

定理 ― 記号を上のように取る。このとき、${\displaystyle E_{\varphi ($O)}} $E_{\varphi (O)}$を局所座標で表すと、その局所座標で定義される足し算に関して、

$e_{t}=e-\Omega (\partial _{1}^{*},\partial _{2}^{*})t^{2}+O(t^{2})$$e_{t}=e-\Omega (\partial _{1}^{*},\partial _{2}^{*})t^{2}+O(t^{2})$
が成立する。

証明

一般に、多様体N上の2つのベクトル場X₁、X₂とN上の関数fに対し、$\Psi _{i}^{t}:=\exp(tX_{i})$$\Psi _{i}^{t}:=\exp(tX_{i})$とすると、点$a\in N$$a\in N$の局所座標$(y^{1},\ldots ,y^{n})$$(y^{1},\ldots ,y^{n})$で

${\displaystyle f(\Psi _{2}^{-t}\circ \Psi _{1}^{-t}\circ \Psi _{2}^{t}\circ \Psi _{1}^{t}($a))=f(a)+t^{2}[X_{1},X_{2}]|_{a}f(a)+o(t^{2})} $f(\Psi _{2}^{-t}\circ \Psi _{1}^{-t}\circ \Psi _{2}^{t}\circ \Psi _{1}^{t}(a))=f(a)+t^{2}[X_{1},X_{2}]|_{a}f(a)+o(t^{2})$
が成立する事が知られている。上記の定理をNがP、aがe、X_iが$\partial _{i}^{*}$$\partial _{i}^{*}$、fが点yにその第i座標yⁱを対応させる関数である場合に適用する事で、

${\displaystyle \Psi _{2}^{-t}\circ \Psi _{1}^{-t}\circ \Psi _{2}^{t}\circ \Psi _{1}^{t}($e)=e+t^{2}[\partial _{1}^{*},\partial _{2}^{*}]|_{e}+o(t^{2})} $\Psi _{2}^{-t}\circ \Psi _{1}^{-t}\circ \Psi _{2}^{t}\circ \Psi _{1}^{t}(e)=e+t^{2}[\partial _{1}^{*},\partial _{2}^{*}]|_{e}+o(t^{2})$
が成立する。一般にM上のベクトル場X、Yに対し、

${\displaystyle \mathrm {Lift} ([X,Y])=H([\mathrm {Lift} ($X),\mathrm {Lift} (X)])} $\mathrm {Lift} ([X,Y])=H([\mathrm {Lift} (X),\mathrm {Lift} (X)])$
である事が知られているので、

$H([\partial _{1}^{*},\partial _{2}^{*}])=H(\mathrm {Lift} (\partial _{1}),\mathrm {Lift} (\partial _{2}))=\mathrm {Lift} ([\partial _{1},\partial _{2}])=0$$H([\partial _{1}^{*},\partial _{2}^{*}])=H(\mathrm {Lift} (\partial _{1}),\mathrm {Lift} (\partial _{2}))=\mathrm {Lift} ([\partial _{1},\partial _{2}])=0$
であり、したがって、

$[\partial _{1}^{*},\partial _{2}^{*}]=V([\partial _{1}^{*},\partial _{2}^{*}])=V([H(\partial _{1}^{*}),H(\partial _{2}^{*})])=-\Omega (\partial _{1}^{*},\partial _{2}^{*})$$[\partial _{1}^{*},\partial _{2}^{*}]=V([\partial _{1}^{*},\partial _{2}^{*}])=V([H(\partial _{1}^{*}),H(\partial _{2}^{*})])=-\Omega (\partial _{1}^{*},\partial _{2}^{*})$
であるので定理が証明された。

成分表示

クリストッフェル写像の節と同様に、Eの元がMの局所座標$(x^{1},\ldots ,x^{m})$$(x^{1},\ldots ,x^{m})$およびEの垂直方向の局所座標$(y^{1},\ldots ,y^{n})$$(y^{1},\ldots ,y^{n})$の組$((x^{1},\ldots ,x^{m}),(y^{1},\ldots ,y^{n}))$$((x^{1},\ldots ,x^{m}),(y^{1},\ldots ,y^{n}))$で書き表されているとし、$e\in E$$e\in E$に対し、 曲率を

${\displaystyle \Omega _{e}\left({\partial \over \partial x^{k}},{\partial \over \partial x^{\ell }}\right)=\Omega ^{i}{}_{k\ell }($e){\partial \over \partial y^{i}}} $\Omega _{e}\left({\partial \over \partial x^{k}},{\partial \over \partial x^{\ell }}\right)=\Omega ^{i}{}_{k\ell }(e){\partial \over \partial y^{i}}$
と成分表示する。さらにクリストッフェル写像の節と同様、$e\in E$$e\in E$における水平リフトを

${\displaystyle \mathrm {Lift} _{e}\left({\partial \over \partial x^{k}}\right)={\partial \over \partial x^{k}}-\Gamma ^{i}{}_{k}($e){\partial \over \partial y^{i}}} $\mathrm {Lift} _{e}\left({\partial \over \partial x^{k}}\right)={\partial \over \partial x^{k}}-\Gamma ^{i}{}_{k}(e){\partial \over \partial y^{i}}$
と書く。

定理 ― 記号を上述のように取る。このとき曲率は

$\Omega ^{i}{}_{k\ell }={\partial \Gamma _{\ell }{}^{i} \over \partial x^{k}}-{\partial \Gamma ^{i}{}_{k} \over \partial x^{\ell }}+{\partial \Gamma ^{i}{}_{k} \over \partial y^{s}}\Gamma ^{s}{}_{\ell }-{\partial \Gamma ^{i}{}_{\ell } \over \partial y^{s}}\Gamma ^{s}{}_{k}$

と成分表示できる。

ホロノミー群

本節では特に断りのない限り、$\pi ~:~E\to M$$\pi ~:~E\to M$を完備な接続${\mathcal {H}}=\{{\mathcal {H}}_{e}\}_{e\in E}$${\mathcal {H}}=\{{\mathcal {H}}_{e}\}_{e\in E}$が定義されたファイバーバンドルでMが連結なものとする。

定義

$x_{0}\in M$$x_{0}\in M$をMの点とし、${\displaystyle c($t)\in M} $c(t)\in M$をx₀からx₀自身への区分的になめらかな閉曲線とすると、接続が完備なのでx₀のファイバー$E_{x_{0}}$$E_{x_{0}}$の任意の元eに対し、eを${\displaystyle c($t)\in M} $c(t)\in M$に沿って一周平行移動してできた元を${\displaystyle \varphi _{c}($e)\in E_{x_{0}}} $\varphi _{c}(e)\in E_{x_{0}}$とする事で、$E_{x_{0}}$$E_{x_{0}}$上の可微分同相写像

$\varphi _{c}~:~E_{x_{0}}\to E_{x_{0}}$$\varphi _{c}~:~E_{x_{0}}\to E_{x_{0}}$
を定義できる。

定理・定義 (ホロノミー群) ― 

$\mathrm {Hol} (E,{\mathcal {H}},x_{0}):=\{\varphi _{c}\mid c$はx₀から出てP自身への区分的になめらかな閉曲線$\}$

は閉曲線の連結に関して自然に群構造をなす。この群をEの${\mathcal {H}}$に関するx₀におけるホロノミー群（英: holonomy group）という。

さらに以下を定義する：

定理・定義 (制約ホロノミー群) ― 

$\mathrm {Hol} _{0}(E,{\mathcal {H}},x_{0}):=\{\varphi _{c}\mid c$はx₀から出てx₀自身へと戻る区分的になめらかな閉曲線でM上0-ホモトープなもの$\}$

とすると、$\mathrm {Hol} _{0}(E,{\mathcal {H}},x_{0})$は$\mathrm {Hol} (E,{\mathcal {H}},x_{0})$の部分群をなす。$\mathrm {Hol} _{0}(E,{\mathcal {H}},x_{0})$をPにおけるEの${\mathcal {H}}$に関する制約ホロノミー群（英: restricted holonomy group）という。

Mが連結である事から︵制約︶ホロノミー群の群構造はx₀によらないので、紛れがなければ$\mathrm {Hol} (E,{\mathcal {H}},x_{0})$$\mathrm {Hol} (E,{\mathcal {H}},x_{0})$、$\mathrm {Hol} _{0}(E,{\mathcal {H}},x_{0})$$\mathrm {Hol} _{0}(E,{\mathcal {H}},x_{0})$を単に$\mathrm {Hol} (E,{\mathcal {H}})$$\mathrm {Hol} (E,{\mathcal {H}})$、$\mathrm {Hol} _{0}(E,{\mathcal {H}})$$\mathrm {Hol} _{0}(E,{\mathcal {H}})$と書く。

ホロノミーリー代数

$u\in M$$u\in M$における接ベクトル$v\in T_{u}M$$v\in T_{u}M$に対し、$e\in E_{u}$$e\in E_{u}$に$v$$v$のeでの水平リフトを対応させる

${\displaystyle e\in E_{u}\mapsto \mathrm {Lift} _{e}($v)\in {\mathcal {H}}_{e}\subset T_{e}E} $e\in E_{u}\mapsto \mathrm {Lift} _{e}(v)\in {\mathcal {H}}_{e}\subset T_{e}E$
をファイバー$E_{u}$$E_{u}$上の切断とみなしたものを$\mathrm {Lift} (v_{u})$$\mathrm {Lift} (v_{u})$と書く。

2つのベクトル$v_{u},w_{u}\in T_{u}M$$v_{u},w_{u}\in T_{u}M$に対し、$\mathrm {Lift} (v_{u})$$\mathrm {Lift} (v_{u})$、$\mathrm {Lift} (w_{u})$$\mathrm {Lift} (w_{u})$はいずれも$E_{u}$$E_{u}$上のベクトル場なので、曲率形式Ωに対して、

$\Omega (\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))\in VE=TE_{u}$$\Omega (\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))\in VE=TE_{u}$
を定義でき、これは$E_{u}$$E_{u}$上のベクトル場とみなせる。さらに$u_{0}\in M$$u_{0}\in M$をfixし、uから$u_{0}$$u_{0}$までつなぐ曲線${\displaystyle c($t)} $c(t)$に沿って$\Omega (\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))$$\Omega (\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))$を平行移動したものを$\Omega _{c}(\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))$$\Omega _{c}(\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))$と書く。

定理・定義 ― $E_{u_{0}}$$E_{u_{0}}$上のベクトル場全体の集合${\mathfrak {X}}(E_{u_{0}})$${\mathfrak {X}}(E_{u_{0}})$をリー括弧に関する﹁無限次元リー代数﹂とみなしたとき、

$\{\Omega _{c}(\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))|x\in M,v,w\in T_{u}M,c$$\{\Omega _{c}(\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))|x\in M,v,w\in T_{u}M,c$はxからx₀までつなぐM上の曲線$\}$$\}$
を含む最小の︵C^∞-位相に関する︶閉部分線形空間 を

$\mathrm {hol} (E,{\mathcal {H}},x_{0})$$\mathrm {hol} (E,{\mathcal {H}},x_{0})$
と書くとき、$\mathrm {hol} (E,{\mathcal {H}},x_{0})$$\mathrm {hol} (E,{\mathcal {H}},x_{0})$は${\mathfrak {X}}(E_{x_{0}})$${\mathfrak {X}}(E_{x_{0}})$の部分リー代数になっている。

$\mathrm {hol} (E,{\mathcal {H}},x_{0})$$\mathrm {hol} (E,{\mathcal {H}},x_{0})$をホロノミーリー代数︵英: holonomy Lie algebra︶という。

実は以下の定理が成立する。なお、以下の定理は主バンドルに対するAmbrose–Singerの定理を任意のファイバーバンドルに一般化したものである：

定理 (Ambrose-Singerの定理の一般化) ― ホロノミーリー代数$\mathrm {hol} (E,{\mathcal {H}},x_{0})$$\mathrm {hol} (E,{\mathcal {H}},x_{0})$が有限次元であれば、以下が成立する‥

●ホロノミー群$G:=\mathrm {Hol} (E,{\mathcal {H}},x_{0})$$G:=\mathrm {Hol} (E,{\mathcal {H}},x_{0})$は$\mathrm {hol} (E,{\mathcal {H}},x_{0})$$\mathrm {hol} (E,{\mathcal {H}},x_{0})$をリー代数として持つリー群である。

●あるG-主バンドル$\pi '~:~P\to M$$\pi '~:~P\to M$、およびGのファイバー$E_{x_{0}}$$E_{x_{0}}$への作用が一意に存在し、$\pi '~:~P\to M$$\pi '~:~P\to M$と$E_{x_{0}}$$E_{x_{0}}$へのG作用を使って作った$E_{x_{0}}$$E_{x_{0}}$バンドルは$\pi ~:~E\to M$$\pi ~:~E\to M$と同型である。

●主バンドル$\pi '~:~P\to M$$\pi '~:~P\to M$には主バンドルとしての接続︵詳細次章︶が一意に存在し、この接続が上述の$E_{x_{0}}$$E_{x_{0}}$バンドルに誘導する接続は$\pi ~:~E\to M$$\pi ~:~E\to M$との接続と同一である。

クリストッフェル形式

$\pi ~:~E\to M$$\pi ~:~E\to M$をファイバー空間Fを持つファイバーバンドル、$\{V_{e}\}_{e\in E}$$\{V_{e}\}_{e\in E}$をその上の接続とし、Mの点x₀とx₀の近傍Vに対し、${\displaystyle \pi ^{-1}($V)} $\pi ^{-1}(V)$の局所座標を ${\displaystyle \pi ^{-1}($V){\overset {\sim }{\to }}U\times F} $\pi ^{-1}(V){\overset {\sim }{\to }}U\times F$とする。ここでUは$\mathbb {R} ^{m}$$\mathbb {R} ^{m}$の開集合である。以下、紛れがなければ${\displaystyle \pi ^{-1}($V)} $\pi ^{-1}(V)$とその局所座標$U\times F$$U\times F$を同一視する。

定理・定義 ― 記号を上述のように取るとき、 $(x,a)\in U\times F$$(x,a)\in U\times F$における接空間$T_{x,a}(U\times F)\approx T_{x}U\times T_{a}F$$T_{x,a}(U\times F)\approx T_{x}U\times T_{a}F$の元$(\xi _{x},\eta _{a})\in T_{x}U\times T_{a}F$$(\xi _{x},\eta _{a})\in T_{x}U\times T_{a}F$に対し、

$V_{(x,a)}(\xi _{x},\eta _{a})=(0,\Gamma _{a}(\xi _{x})+\eta _{a})\in T_{x}U\times T_{a}F$$V_{(x,a)}(\xi _{x},\eta _{a})=(0,\Gamma _{a}(\xi _{x})+\eta _{a})\in T_{x}U\times T_{a}F$
と書ける$\Gamma _{a}(\xi _{x})\in T_{a}F$$\Gamma _{a}(\xi _{x})\in T_{a}F$が存在する。

Fの点aに$\Gamma _{a}(\xi _{x})\in T_{a}F$$\Gamma _{a}(\xi _{x})\in T_{a}F$を対応させるF上のベクトル場を$\Gamma (\xi _{x})$$\Gamma (\xi _{x})$と書く。

$\Gamma$$\Gamma$はξ_xにF上のベクトル場の集合${\displaystyle {\mathfrak {X}}($F)} ${\mathfrak {X}}(F)$の元を対応させる${\displaystyle {\mathfrak {X}}($F)} ${\mathfrak {X}}(F)$値1-形式とみなせるので、$\Gamma$$\Gamma$を接続$\{V_{e}\}_{e\in E}$$\{V_{e}\}_{e\in E}$の座標近傍$U\times F$$U\times F$に関するクリストッフェル形式︵英: Christoffel form︶という。

クリストッフェル形式を使うと曲率が以下のように書ける：

定理 ― 上述の記号の元、曲率Ωは局所座標$\pi ^{-1}(V){\overset {\sim }{\to }}U\times F$において以下を満たす：

$\Omega =d\Gamma +{1 \over 2}[\Gamma ,\Gamma ]$

ここで$[\Gamma ,\Gamma ](\xi ,\zeta ):=[\Gamma (\xi ),\Gamma (\zeta )]$であり、$[\cdot ,\cdot ]$はリー括弧である。

上述の定理はあくまで局所座標で成立するものに過ぎないが、後述する主バンドルの接続の場合は局所座標ではなく手バンドル自身の上で同種の定理が成り立つことを後で示す。

接続の引き戻し

$\pi ~:~E\to M$$\pi ~:~E\to M$を接続$\{V_{e}\}_{e\in E}$$\{V_{e}\}_{e\in E}$が定義されたファイバーバンドルとし、$f~:~N\to M$$f~:~N\to M$を多様体NからMへのなめらかな写像とすると、ファイバーバンドルの引き戻し

${\begin{array}{ccc}f^{*}E&{\overset {\tilde {f}}{\to }}&E\\\downarrow \pi '&\circlearrowright &\downarrow \pi \\N&{\overset {f}{\to }}&M\end{array}}$${\begin{array}{ccc}f^{*}E&{\overset {\tilde {f}}{\to }}&E\\\downarrow \pi '&\circlearrowright &\downarrow \pi \\N&{\overset {f}{\to }}&M\end{array}}$
が定義できる。

定義 ―  f^*E上の点$e\in f^{*}E$$e\in f^{*}E$に対し、垂直射影V'_eを合成関数

${\displaystyle T_{e}f^{*}E{\overset {{\tilde {f}}_{*}}{\longrightarrow }}T_{{\tilde {f}}($e)}E{\overset {V_{{\tilde {f}}(e)}}{\longrightarrow }}{\mathcal {V}}_{{\tilde {f}}(e)}{\overset {{\tilde {f}}_{*}{}^{-1}}{\longrightarrow }}{\mathcal {V}}'_{e}} $T_{e}f^{*}E{\overset {{\tilde {f}}_{*}}{\longrightarrow }}T_{{\tilde {f}}(e)}E{\overset {V_{{\tilde {f}}(e)}}{\longrightarrow }}{\mathcal {V}}_{{\tilde {f}}(e)}{\overset {{\tilde {f}}_{*}{}^{-1}}{\longrightarrow }}{\mathcal {V}}'_{e}$
により定義する事で引き戻し$\pi '~:~f^{*}E\to N$$\pi '~:~f^{*}E\to N$に接続$\{V_{e}\}_{e\in f^{*}E}$$\{V_{e}\}_{e\in f^{*}E}$を定義できる。ここで${\displaystyle {\mathcal {V}}_{{\tilde {f}}($e)}} ${\mathcal {V}}_{{\tilde {f}}(e)}$、${\mathcal {V}}'_{e}$${\mathcal {V}}'_{e}$はそれぞれ$\pi '~:~f^{*}E\to N$$\pi '~:~f^{*}E\to N$、$\pi ~:~E\to M$$\pi ~:~E\to M$の垂直部分空間である。

接続$\{V_{e}\}_{e\in f^{*}E}$$\{V_{e}\}_{e\in f^{*}E}$を$\pi ~:~E\to M$$\pi ~:~E\to M$の接続$\{V_{e}\}_{e\in E}$$\{V_{e}\}_{e\in E}$の引き戻し︵英: pullback︶という。

曲率は引き戻しに対して自然に振る舞う：

定理 ― 上述の記号の元、Ωを$\pi ~:~E\to M$上の接続$\{V_{e}\}_{e\in E}$の曲率とし、Ω'を引き戻し$\pi '~:~f^{*}E\to N$上の引き戻された接続$\{V'_{e}\}_{e\in E}$の曲率とする。このとき以下が成立する：

$\Omega '=f^{*}(\Omega )$

一方、接続に関する他の諸概念、例えば水平リフトは引き戻しに関して自然に振る舞うとは限らない。実際$f~:~N\to M$$f~:~N\to M$がNを一点に潰す写像であれば、TNの像は全て0ベクトルであるので、$f_{*}$$f_{*}$で写像してから水平リフトするのと水平リフトしてから${\tilde {f}}_{*}$${\tilde {f}}_{*}$で写像したのでは結果が異なる。

水平リフトは引き戻しに関して自然に振る舞う条件は微分がfull rankになる事で、$f_{*}$$f_{*}$が点$x\in N$$x\in N$においてfull rankであれば、T_xNの元を$f_{*}$$f_{*}$で写像してから水平リフトするのと水平リフトしてから${\tilde {f}}_{*}$${\tilde {f}}_{*}$で写像したのは結果が等しくなる。

主バンドルの接続

本節では主バンドルの接続を定義する。

定義

主バンドルの接続は、ファイバーバンドルの接続で群作用に対して不変になるものである‥

定義 (主接続の定義) ―  Gをリー群とし、$\pi ~:~P\to M$$\pi ~:~P\to M$を構造群Gを持つ主バンドルとする。$\pi ~:~{\mathcal {P}}\to M$$\pi ~:~{\mathcal {P}}\to M$のC^∞級の︵主バンドルとしての︶接続(英: connection)あるいは主接続︵英: principal connection︶$\{{\mathcal {H}}_{p}\}_{p\in P}$$\{{\mathcal {H}}_{p}\}_{p\in P}$とは、Pの各点pにおけるT_pMの部分空間${\mathcal {H}}_{p}$${\mathcal {H}}_{p}$の族でpに関してC^∞級であり、任意の$p\in P$$p\in P$に対し以下の性質を満たすものである‥

●$T_{p}P={\mathcal {V}}_{p}\oplus {\mathcal {H}}_{p}$$T_{p}P={\mathcal {V}}_{p}\oplus {\mathcal {H}}_{p}$
●任意の$g\in G$$g\in G$に対し、$(R_{g})_{*}({\mathcal {H}}_{p})={\mathcal {H}}_{pg}$$(R_{g})_{*}({\mathcal {H}}_{p})={\mathcal {H}}_{pg}$

ここで${\mathcal {V}}_{p}$${\mathcal {V}}_{p}$は垂直部分空間${\displaystyle {\mathcal {V}}_{p}:=\pi _{*}{}^{-1}(T_{\pi ($p)}M)\subset T_{p}P} ${\mathcal {V}}_{p}:=\pi _{*}{}^{-1}(T_{\pi (p)}M)\subset T_{p}P$であり、$(R_{g})_{*}$$(R_{g})_{*}$は$g\in G$$g\in G$のPへの右からの作用$R_{g}~:~p\in P\to pg\in P$$R_{g}~:~p\in P\to pg\in P$がTPに誘導する写像である。${\mathcal {H}}_{p}$${\mathcal {H}}_{p}$をpにおける水平部分空間という。


一般のファイバーバンドルの接続の場合と同様、垂直射影$\{V_{p}\}_{p\in P}$$\{V_{p}\}_{p\in P}$を用いて接続概念を定義することも可能で、

●任意の$p\in P$$p\in P$に対し、$V_{p}|_{{\mathcal {V}}_{p}}=\mathrm {id}$$V_{p}|_{{\mathcal {V}}_{p}}=\mathrm {id}$
●任意の$p\in P$$p\in P$、$g\in G$$g\in G$に対し、$(R_{g})_{*}\circ V_{p}=V_{pg}\circ (R_{g})_{*}$$(R_{g})_{*}\circ V_{p}=V_{pg}\circ (R_{g})_{*}$
により接続概念を定義づけられる。

しかし次節に見るようにリー群・リー代数対応に着目する事で、リー代数の言葉を使った定式化も可能である。

リー代数を使った定式化

本節では、前節で定義した主バンドルの接続概念をリー代数を使って特徴づける。

そのためにまず、定義のために必要な概念を導入する。

基本ベクトル場

Gをリー群とし、${\mathfrak {g}}$${\mathfrak {g}}$をそのリー代数とし、さらにNをGが右から作用する多様体︵例えばG-主バンドル$\pi ~:~P\to M$$\pi ~:~P\to M$の全空間P︶とする。

定義 (基本ベクトル場) ―  リー代数の元$A\in {\mathfrak {g}}$$A\in {\mathfrak {g}}$と点$p\in N$$p\in N$に対し、

${\displaystyle {\underline {A}}_{p}:=\left.{\frac {d}{dt}}(p\cdot \mathrm {exp} ($tA))\right|_{t=0}\in T_{p}N} ${\underline {A}}_{p}:=\left.{\frac {d}{dt}}(p\cdot \mathrm {exp} (tA))\right|_{t=0}\in T_{p}N$
により、N上のベクトル場${\underline {A}}$${\underline {A}}$を定義する。${\underline {A}}$${\underline {A}}$をAに対応するNの基本ベクトル場︵英: fundamental vector field on Nassociated to A︶という。

なお、NがG-主バンドル$\pi ~:~P\to M$の全空間Pの場合には${\underline {A}}_{p}$は垂直部分空間${\mathcal {V}}_{p}$の元である事が容易に示せる。

随伴表現

定義 (リー群の随伴表現) ― Gをリー群とし${\mathfrak {g}}$${\mathfrak {g}}$をそのリー代数とする。このとき、Gの線形表現

$\mathrm {Ad} ~:~G\to \mathrm {GL} ({\mathfrak {g}})$$\mathrm {Ad} ~:~G\to \mathrm {GL} ({\mathfrak {g}})$
を$g\in G$$g\in G$に対し、

${\displaystyle \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}}} $\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}}$
により定義し、AdをGの随伴表現︵英: adjoint representation︶という。

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

定式化

基本ベクトル場の定義より明らかに各$p\in P$$p\in P$に対し、写像

$\zeta _{p}~:~A\in {\mathfrak {g}}\mapsto {\underline {A}}_{p}\in {\mathcal {V}}_{p}$$\zeta _{p}~:~A\in {\mathfrak {g}}\mapsto {\underline {A}}_{p}\in {\mathcal {V}}_{p}$
は全単射であるので、ζ_pの写像の逆写像を垂直射影と合成する事で、

$T_{p}P{\underset {V_{p}}{\to }}{\mathcal {V}}_{p}{\underset {\zeta _{p}{}^{-1}}{\overset {\sim }{\to }}}{\mathfrak {g}}$$T_{p}P{\underset {V_{p}}{\to }}{\mathcal {V}}_{p}{\underset {\zeta _{p}{}^{-1}}{\overset {\sim }{\to }}}{\mathfrak {g}}$
作る事ができる。この写像を${\mathfrak {g}}$${\mathfrak {g}}$に値を取る1-形式とみなしたものを

$\omega _{p}\in {\mathcal {A}}_{p}^{1}(P;{\mathfrak {g}})$$\omega _{p}\in {\mathcal {A}}_{p}^{1}(P;{\mathfrak {g}})$
とし、各点pにω_pを対応させるP上の${\mathfrak {g}}$${\mathfrak {g}}$値1-形式の場ωを接続形式︵英: connection form︶という。ここで${\mathcal {A}}_{p}^{1}(P;{\mathfrak {g}})$${\mathcal {A}}_{p}^{1}(P;{\mathfrak {g}})$はP上の${\mathfrak {g}}$${\mathfrak {g}}$値1-形式全体の集合である。

以上の議論から明らかに垂直射影からωが定まり、逆にωから垂直射影が定まるのでωによって接続概念を定式化できる‥

定義・定理 (接続形式) ―  Mを多様体、Gをリー群とし、${\mathfrak {g}}$${\mathfrak {g}}$をGのリー代数とし、さらに$P$$P$をM上のG-主バンドルとする。$P$$P$上定義された${\mathfrak {g}}$${\mathfrak {g}}$-値の1-形式のC^∞級の場

$\omega ~:~TP\to {\mathfrak {g}}$$\omega ~:~TP\to {\mathfrak {g}}$
で以下を満たすものを$P$$P$の接続形式という‥

(一)任意の$A\in {\mathfrak {g}}$$A\in {\mathfrak {g}}$、$p\in P$$p\in P$に対し、$\omega _{p}({\underline {A}}_{p})=A$$\omega _{p}({\underline {A}}_{p})=A$
(二)任意の$g\in G$$g\in G$、$p\in P$$p\in P$に対し、$(R_{g})^{*}\omega _{p}=(\mathrm {Ad} g^{-1})\omega _{p}$$(R_{g})^{*}\omega _{p}=(\mathrm {Ad} g^{-1})\omega _{p}$

主バンドルとしての接続から前述の方法でPの接続形式が定まり、逆に接続形式ωが0になる方向を水平方向とすることでPに主バンドルとしての接続が再現できるので、両者の定義は同値である。

諸概念

本節では主バンドルの接続に関する諸概念を接続形式を使って表現する。

共変微分

接続が定義された主バンドル$\pi ~:~P\to M$$\pi ~:~P\to M$において、切断sの共変微分は

${\displaystyle \nabla _{X}s|_{u}:=V_{s($u)}(s_{*}(X_{u}))} $\nabla _{X}s|_{u}:=V_{s(u)}(s_{*}(X_{u}))$
により定義されていた。一方主接続の接続形式ωは垂直射影${\displaystyle V_{s($x)}} $V_{s(x)}$を基本ベクトル場を考えてリー代数と対応付ける事で定義されていた。よって次が成立する‥

定理 (共変微分の具体的表記) ― 

$\zeta _{s(u)}{}^{-1}(\nabla _{X}s|_{u})=\omega _{s_{u}}(s_{*}(X_{u}))$

ここで

$\zeta _{p}~:~A\in {\mathfrak {g}}\mapsto {\underline {A}}_{p}\in {\mathcal {V}}_{p}$$\zeta _{p}~:~A\in {\mathfrak {g}}\mapsto {\underline {A}}_{p}\in {\mathcal {V}}_{p}$ for $p\in P$$p\in P$
である。

曲率

本節では、上記で定義したリー代数による接続の記述を使って曲率形式をリー代数の言葉で書き換える。

そのために${\mathfrak {g}}$${\mathfrak {g}}$-値1-形式α、βに対し、

${\displaystyle [\alpha ,\beta ]_{\mathfrak {g}}(X,Y):=[\alpha ($X),\beta (Y)]_{\mathfrak {g}}-[\alpha (Y),\beta (X)]_{\mathfrak {g}}} $[\alpha ,\beta ]_{\mathfrak {g}}(X,Y):=[\alpha (X),\beta (Y)]_{\mathfrak {g}}-[\alpha (Y),\beta (X)]_{\mathfrak {g}}$
と定義する。ここで$[\cdot ,\cdot ]$$[\cdot ,\cdot ]$は${\mathfrak {g}}$${\mathfrak {g}}$上のリー括弧である。さらに前節同様

$\zeta _{p}~:~{\mathfrak {g}}{\overset {\sim }{\to }}{\mathcal {V}}_{p}$$\zeta _{p}~:~{\mathfrak {g}}{\overset {\sim }{\to }}{\mathcal {V}}_{p}$
を考える。紛れがなければ添字pを省略し単にζと書く。

定理 (主バンドルの接続の曲率) ―  Mを多様体、Gをリー群とし、${\mathfrak {g}}$${\mathfrak {g}}$をGのリー代数とし、さらに$P$$P$をM上のG-主バンドルとし、ωをPの主バンドルとしての接続とする。このとき曲率形式Ωは以下を満たす‥

●︵構造方程式︶$\zeta {}^{-1}(\Omega )=d\omega +{1 \over 2}[\omega ,\omega ]_{\mathfrak {g}}\in {\mathfrak {g}}$$\zeta {}^{-1}(\Omega )=d\omega +{1 \over 2}[\omega ,\omega ]_{\mathfrak {g}}\in {\mathfrak {g}}$
紛れがなければ$\zeta {}^{-1}(\Omega )$$\zeta {}^{-1}(\Omega )$を単にΩと書き、接続形式ωの曲率形式という。

曲率形式は次を満たす：

定理 (曲率の性質) ― 次が成立する：

• 任意の$p\in P$に対し、$\Omega _{p}=H_{p}{}^{*}(d\omega _{p})$
• 任意の$g\in G$、$p\in P$に対し、$(R_{g})^{*}\Omega _{p}=\mathrm {Ad} (g^{-1})\Omega _{p}$
• （ (第二)ビアンキ恒等式） $d\Omega =[\Omega ,\omega ]$

ここでH_pは水平部分空間への射影である。

モーレー・カルタン形式

接続形式の意味を見るため、リー群のモーレー・カルタン形式を定義する。

定義 (モーレー・カルタン形式) ―  Gをリー群とし、${\mathfrak {g}}$${\mathfrak {g}}$をそのリー代数とするとき、Gの各点gに対しG上の${\mathfrak {g}}$${\mathfrak {g}}$値1-形式$\mu _{g}$$\mu _{g}$を

${\displaystyle \mu _{g}~:v\in ~T_{g}G\mapsto L_{g^{-1}}{}_{*}($v)\in {\mathfrak {g}}} $\mu _{g}~:v\in ~T_{g}G\mapsto L_{g^{-1}}{}_{*}(v)\in {\mathfrak {g}}$
により定義し、μ_gをGのgにおけるモーレー・カルタン形式という。

ここで$L_{g^{-1}}{}_{*}$$L_{g^{-1}}{}_{*}$は群の左作用$L_{g^{-1}}~:~h\in G~~\mapsto g^{-1}h$$L_{g^{-1}}~:~h\in G~~\mapsto g^{-1}h$が誘導する写像である。

モーレー・カルタン形式は以下を満たす：

定理 ― 

• $(R_{g})^{*}\mu =\mathrm {Ad} (g^{-1})\mu$
• $d\mu +{1 \over 2}[\mu ,\mu ]_{\mathfrak {g}}=0$

上記の2式のうち下のものをモーレー・カルタンの方程式︵英: Maurer-Cartan equation︶、もしくはリー群Gの構造方程式︵英: structure equation︶という。


一点集合$\{x_{0}\}$$\{x_{0}\}$を0次元多様体とみなし、Gを$\{x_{0}\}$$\{x_{0}\}$上のG-主バンドル$G\to \{x_{0}\}$$G\to \{x_{0}\}$とみなすと、上記の定理から明らかにモーレー・カルタン形式はこのバンドル上の接続となる。

構造方程式から以下が明らかに従う‥

定理 ―  モーレー・カルタン形式をG-主バンドル$G\to \{x_{0}\}$の接続とみなしたとき、この接続の曲率は0である。

曲率が0である事は水平部分空間が可積分である事と同値であったので、水平部分空間が自明になる一点上のバンドルでは曲率が0になるのは自明である。

実は以下が成立する：

定理 ―  モーレー・カルタン形式は一点集合上のG-主バンドル$G\to \{x_{0}\}$の唯一の接続である。

実際、底空間が一点である事から $T_{g}G$$T_{g}G$と${\mathcal {V}}_{g}$${\mathcal {V}}_{g}$は同次元なので垂直射影は恒等写像しか存在せず、しかも基本ベクトル場の定義から$g\in G$$g\in G$と$A\in {\mathfrak {g}}$$A\in {\mathfrak {g}}$に対し、

${\displaystyle {\underline {A}}_{g}:=\left.{\frac {d}{dt}}(g\cdot \mathrm {exp} ($tA))\right|_{t=0}=(L_{g})_{*}(A)=\mu _{g}{}^{-1}(A)} ${\underline {A}}_{g}:=\left.{\frac {d}{dt}}(g\cdot \mathrm {exp} (tA))\right|_{t=0}=(L_{g})_{*}(A)=\mu _{g}{}^{-1}(A)$
であるので、$G\to \{x_{0}\}$$G\to \{x_{0}\}$上の接続は

$T_{g}G={\mathcal {V}}_{g}{\overset {\mu _{g}}{\to }}{\mathfrak {g}}$$T_{g}G={\mathcal {V}}_{g}{\overset {\mu _{g}}{\to }}{\mathfrak {g}}$
のみになる。


以上のことから接続形式ωが定義されたG-主バンドル$\pi ~:~P\to M$$\pi ~:~P\to M$に対し、ωをM上の一点x₀のファイバー$P_{x_{0}}=\pi ^{-1}(x_{0})$$P_{x_{0}}=\pi ^{-1}(x_{0})$︵すなわちこの接続の垂直方向︶に制限したものは必ずモーレー・カルタン形式μに一致する。


実は次が成立する‥

定理 ― $\pi ~:~P\to M$$\pi ~:~P\to M$をG-主バンドルとし、ωをP上定義された微分形式のなめらかな場とする。さらに各$x_{0}\in M$$x_{0}\in M$に対し、$\iota _{x_{0}}~:~G{\overset {\sim }{\to }}P_{x_{0}}$$\iota _{x_{0}}~:~G{\overset {\sim }{\to }}P_{x_{0}}$を自然な同一視とする。 このとき、以下の2つは同値である‥

●ωは接続形式の定義の1つ目の条件をみたす。すなわち、任意の$A\in {\mathfrak {g}}$$A\in {\mathfrak {g}}$、$p\in P$$p\in P$に対し、$\omega _{p}({\underline {A}}_{p})=A$$\omega _{p}({\underline {A}}_{p})=A$
●任意の$x_{0}\in M$$x_{0}\in M$に対し、$\iota _{x_{0}}{}^{*}(\omega )=\mu$$\iota _{x_{0}}{}^{*}(\omega )=\mu$
ここでμはモーレー・カルタン形式である。

以上のことから、接続形式とは、各ファイバー上ではモーレー・カルタン形式に一致し、しかもGの作用との両立性$(R_{g})^{*}\omega _{p}=(\mathrm {Ad} g^{-1})\omega _{p}$をみたすものとして特徴づけられる。

平行移動

主バンドルの接続の場合、平行移動は以下を満たす：

定理 ― 主バンドルの接続は常に完備である。

すなわち、主バンドル$\pi ~:~P\to M$の底空間M上の任意の曲線$x(t)$と$x(t)$の始点$x(0)$のファイバー$P_{x(0)}$の元pに対し、pの$x(t)$に沿った平行移動が常に定義可能である。

定理 ― 平行移動はGの作用と可換である。

すなわち、$\pi ~:~P\to M$$\pi ~:~P\to M$を接続が定義されたG-主バンドルとし、${\displaystyle x($t)} $x(t)$を底空間M上の曲線とし、${\displaystyle x($t)} $x(t)$の一点$x(0)$$x(0)$のファイバーの元$p\in P_{x(0)}$$p\in P_{x(0)}$に${\displaystyle x($t)} $x(t)$に沿って平行移動した結果${\displaystyle p'\in P_{x($1)}} $p'\in P_{x(1)}$を対応させる写像を

${\displaystyle \varphi ~:~p\in P_{x(0)}\mapsto p'\in P_{x($1)}} $\varphi ~:~p\in P_{x(0)}\mapsto p'\in P_{x(1)}$
とすると、

${\displaystyle \varphi ($pg)=\varphi (p)g} $\varphi (pg)=\varphi (p)g$
が任意の$p\in P_{x(0)}$$p\in P_{x(0)}$、$g\in G$$g\in G$に対して成立する。

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

系 ―  記号を上述の定理のように取る。x(0)、x(1)の周りに局所座標を取り、局所座標で$P_{x(0)}\approx G$$P_{x(0)}\approx G$、${\displaystyle P_{x($1)}\approx G} $P_{x(1)}\approx G$と表す事で$\varphi$$\varphi$をG上の自己同型とみなすと、

${\displaystyle \varphi ($g)=h_{\varphi }g} $\varphi (g)=h_{\varphi }g$
と書ける$h_{\varphi }\in G$$h_{\varphi }\in G$が存在する。

実際、${\displaystyle h_{\varphi }=\varphi ($e)} $h_{\varphi }=\varphi (e)$とすれば上の系が成立する。ここでeはGの単位元である。

ベクトル値を取る微分形式

本節では主バンドルPの微分形式のうち性質の良いものがPに対応するベクトルバンドルの微分形式と1対1に対応する事を見る。次節でこの同型を曲率形式がリー代数のバンドルの元とみなせる事を示すのに利用し、更に後の章でベクトルバンドルの共変外微分を定義するのに利用する。


Vをベクトル空間とし、

${\displaystyle \rho ~:~G\to \mathrm {GL} ($V)} $\rho ~:~G\to \mathrm {GL} (V)$
をリー群GからV上の一般線形群${\displaystyle \mathrm {GL} ($V)} $\mathrm {GL} (V)$へのなめらかな準同型︵すなわちなめらかな線形表現︶とし、$P\to M$$P\to M$を接続形式ωが定義されたG-主バンドルとする。

定義 (テンソル形式) ―  kを非負整数とし、P上のk次のV値微分形式ηで

• $(R_{g})^{*}(\eta )_{p}(v_{1},\ldots ,v_{k})=\rho (g^{-1})\eta _{p}(v_{1},\ldots ,v_{k})$
• （水平性）あるv_iが垂直であれば、$\eta _{p}(v_{1},\ldots ,v_{k})=0$

を任意の$p\in P$と任意の$v_{1},\ldots ,v_{k}\in T_{p}P$に対して満たすものをタイプρのテンソル形式（英: tensorial form of type ρ）であるといい、P上のk次のV値微分形式でタイプρのテンソル形式であるもの全体を

${\mathcal {A}}_{\rho }^{k}(P;V)$

と書く。

ベクトルバンドル$E=P\times _{\rho }V\to M$を考え、$p\in P$に対し、

$\varphi _{p}~:~v\in V\mapsto [(p,v)]\in E_{\pi (p)}\subset P\times _{\rho }V=E$

を商写像とすると、${\mathcal {A}}_{\rho }^{k}(P,V)$の元は$\varphi _{p}$により${\mathcal {A}}^{k}(M;E)$の元と自然に対応する。ここで${\mathcal {A}}^{k}(M;E)$はEに値を取るk次微分形式全体の集合である：

定理 (テンソル形式と底空間上の切断の関係) ―  $\eta \in {\mathcal {A}}_{\rho }^{k}(P;V)$$\eta \in {\mathcal {A}}_{\rho }^{k}(P;V)$、$u\in M$$u\in M$と$X_{1},\ldots ,X_{k}\in T_{u}M$$X_{1},\ldots ,X_{k}\in T_{u}M$に対し、${\displaystyle \pi ($p)=x} $\pi (p)=x$を満たす$p\in P$$p\in P$を選んで

$\varphi ^{\flat }{}_{x}:=\varphi _{p}(\eta _{p}(\mathrm {Lift} _{p}{}_{*}(X_{1}),\ldots ,\mathrm {Lift} _{p}{}_{*}(X_{k})))$$\varphi ^{\flat }{}_{x}:=\varphi _{p}(\eta _{p}(\mathrm {Lift} _{p}{}_{*}(X_{1}),\ldots ,\mathrm {Lift} _{p}{}_{*}(X_{k})))$
とすると、$\varphi ^{\flat }{}_{x}$$\varphi ^{\flat }{}_{x}$はpの取り方によらずwell-definedであり、

$\eta \in {\mathcal {A}}_{\rho }^{k}(P;V)\mapsto \varphi ^{\flat }\in {\mathcal {A}}^{k}(M;E)$$\eta \in {\mathcal {A}}_{\rho }^{k}(P;V)\mapsto \varphi ^{\flat }\in {\mathcal {A}}^{k}(M;E)$
は全単射である。

上記の写像の逆写像は以下のように書ける：

定理 ―  $\xi \in {\mathcal {A}}^{k}(M;E)$$\xi \in {\mathcal {A}}^{k}(M;E)$、$p\in P$$p\in P$、$Y_{1},\ldots ,Y_{k}\in T_{p}P$$Y_{1},\ldots ,Y_{k}\in T_{p}P$に対し、

$\xi ^{\sharp }:=\varphi _{p}{}^{-1}\circ \xi (\pi _{*}(Y_{1}),\ldots ,\pi _{*}(Y_{k}))$$\xi ^{\sharp }:=\varphi _{p}{}^{-1}\circ \xi (\pi _{*}(Y_{1}),\ldots ,\pi _{*}(Y_{k}))$
とすると、

$\xi \in {\mathcal {A}}^{k}(M;E)\mapsto \xi ^{\sharp }\in {\mathcal {A}}_{\rho }^{k}(P;V)$$\xi \in {\mathcal {A}}^{k}(M;E)\mapsto \xi ^{\sharp }\in {\mathcal {A}}_{\rho }^{k}(P;V)$
は: $\eta \mapsto \eta ^{\flat }$$\eta \mapsto \eta ^{\flat }$の逆写像である。

随伴バンドル

本節ではリー群の随伴バンドルを定義し、曲率形式は随伴バンドル上の微分形式とみなせる事を見る。まず随伴バンドルを定義する：

定義 (随伴バンドル) ― Gをリー群とし${\mathfrak {g}}$${\mathfrak {g}}$をそのリー代数とし、さらに$P\to M$$P\to M$をG-主バンドルとし、$G{\overset {\mathrm {Ad} }{\curvearrowright }}{\mathfrak {g}}$$G{\overset {\mathrm {Ad} }{\curvearrowright }}{\mathfrak {g}}$を随伴表現とする。このとき、

$P\times _{\mathrm {Ad} }{\mathfrak {g}}\to M$$P\times _{\mathrm {Ad} }{\mathfrak {g}}\to M$
を$P\to M$$P\to M$の随伴バンドル︵英: adjoint bundle︶という。

前述した主接続の曲率の性質から、Pに接続形式ωが定義されているとき、

$\Omega \in {\mathcal {A}}_{\mathrm {Ad} }^{2}(P;{\mathfrak {g}})\approx {\mathcal {A}}^{2}(M;P\times _{\mathrm {Ad} }{\mathfrak {g}})$$\Omega \in {\mathcal {A}}_{\mathrm {Ad} }^{2}(P;{\mathfrak {g}})\approx {\mathcal {A}}^{2}(M;P\times _{\mathrm {Ad} }{\mathfrak {g}})$
が成立する。すなわち曲率形式は随伴バンドルの元と見なすことができる。 一方、接続形式は︵恒等的に0でない限り︶テンソル形式の定義における水平性を満たさないので、$\omega \notin {\mathcal {A}}_{\mathrm {Ad} }^{1}(P;{\mathfrak {g}})$$\omega \notin {\mathcal {A}}_{\mathrm {Ad} }^{1}(P;{\mathfrak {g}})$である。

共変外微分

主バンドル上の共変外微分

$\pi ~:~P\to M$$\pi ~:~P\to M$を接続形式ωが定義されたG-主バンドルとし、

$H_{p}~:~T_{p}P\to {\mathcal {H}}_{p}$$H_{p}~:~T_{p}P\to {\mathcal {H}}_{p}$
を接続ωに関するPの点pにおける水平射影とし、さらにVをベクトル空間とする。${\mathcal {A}}^{k}(P;V)$${\mathcal {A}}^{k}(P;V)$を$V$$V$値k-形式全体の集合とすると、$\eta \in {\mathcal {A}}^{k+1}(P;V)$$\eta \in {\mathcal {A}}^{k+1}(P;V)$に対し、

$H^{*}(\eta )(X_{1},\ldots ,X_{k+1}):=\eta (H(X_{1}),\ldots ,H(X_{k+1}))$$H^{*}(\eta )(X_{1},\ldots ,X_{k+1}):=\eta (H(X_{1}),\ldots ,H(X_{k+1}))$
を定義できる。

定義 (主バンドルの共変外微分) ―  外微分$d~:~{\mathcal {A}}^{k}(P;V)\to {\mathcal {A}}^{k+1}(P;V)$とH^*との合成

$d_{\omega }:=H^{*}\circ d~:~{\mathcal {A}}^{k}(P;V)\to {\mathcal {A}}^{k+1}(P;V)$

を接続ωに関する次数kの共変外微分（英: covariant exterior derivative）という。

共変外微分は通常の外微分と違い、$d_{\omega }d_{\omega }$は0になるとはかぎらないが、$V$が構造群Gのリー代数${\mathfrak {g}}$である場合には、以下の関係式を示すことができる。以下でΩは接続形式ωに関する曲率である：

定理 ― $\omega \in {\mathcal {A}}^{1}(P;{\mathfrak {g}})$、$\Omega \in {\mathcal {A}}^{2}(P;{\mathfrak {g}})$であり、以下が成立する：

• $d_{\omega }\omega =\Omega$
• （(第二)ビアンキ恒等式）$d_{\omega }\Omega =0$

同伴バンドルへの接続の誘導

本節では主バンドルの接続からそれに同伴するバンドルに接続を誘導する方法を述べる。

準備‥同伴バンドル

まず同伴バンドルの定義を復習する。$\pi ~:~P\to M$$\pi ~:~P\to M$をG-主バンドルとし、Fを左からのGの作用$G{\overset {\curvearrowright }{}}F$$G{\overset {\curvearrowright }{}}F$を持つ多様体とするとき、P×Fを

$(p,ga)\sim (pg,a)$$(p,ga)\sim (pg,a)$ for $g\in G$$g\in G$
という同値関係で割った空間を$P\times _{G}F$$P\times _{G}F$とすると、

${\displaystyle [(p,a)]\in P\times _{G}F\to \pi ($p)\in M} $[(p,a)]\in P\times _{G}F\to \pi (p)\in M$
は構造群Gを持つファイバーFのファイバーバンドルになる。$P\times _{G}F$$P\times _{G}F$をPの$G{\overset {\curvearrowright }{}}F$$G{\overset {\curvearrowright }{}}F$に関する同伴バンドルという。

接続の誘導

定義

本節では主バンドル$\pi ~:~P\to M$$\pi ~:~P\to M$上定義された接続$\{{\mathcal {H}}_{p}\}_{p\in P}$$\{{\mathcal {H}}_{p}\}_{p\in P}$を用いて同伴バンドル$P\times _{G}F\to M$$P\times _{G}F\to M$に接続を定義する方法を説明する。

$a\in F$$a\in F$に対し、写像

$\varphi _{a}~:~p\in P\to [(p,a)]\in P\times _{G}F$$\varphi _{a}~:~p\in P\to [(p,a)]\in P\times _{G}F$
を考える。

定義 (接続の誘導) ―  $P\times _{G}F$の$[(p,a)]$における水平部分空間${\mathcal {H}}'_{[(p,a)]}$を

${\mathcal {H}}'_{[(p,a)]}:=(\varphi _{a})_{*}({\mathcal {H}}_{p})$

により定義し、$\{{\mathcal {H}}'_{[(p,a)]}\}_{[(p,a)]\in P\times _{G}F}$を$\{{\mathcal {H}}_{p}\}_{p\in P}$により$P\times _{G}F\to M$に誘導された接続（英: induced connection）、もしくは同伴接続（英: accociated connection）という。

上記の定義において${\mathcal {H}}'_{[(p,a)]}$${\mathcal {H}}'_{[(p,a)]}$は代表元$(p,a)$$(p,a)$の取り方によらずwell-definedである。

別の定式化

本節では、前節で定義した同伴バンドルに誘導された接続を別の方法で特徴づける。

そのためにG上の積を取る写像と逆元を取る写像

$\mu ~:~(g,h)\in G\times G\mapsto gh\in G$$\mu ~:~(g,h)\in G\times G\mapsto gh\in G$
$\nu ~:~g\in G\mapsto g^{-1}\in G$$\nu ~:~g\in G\mapsto g^{-1}\in G$
を考え、これらが接バンドルTGに誘導する写像

$\mu _{*}~:~TG\times TG\to TG$$\mu _{*}~:~TG\times TG\to TG$
$\nu _{*}~:~TG\to TG$$\nu _{*}~:~TG\to TG$
をそれぞれTG上で積を取る演算、逆元を取る演算とみなすと、TGがこの積に対して群になる事を示す事ができる。この群をリー群Gの接群︵英: tangent group︶という。


TGを上記の方法で群とみなすと、G-主バンドル$\pi ~:~P\to M$$\pi ~:~P\to M$が誘導する$\pi _{*}~:~TP\to TM$$\pi _{*}~:~TP\to TM$はTG主バンドルとみなせ、$G{\overset {\curvearrowright }{}}F$$G{\overset {\curvearrowright }{}}F$が誘導する$TG{\overset {\curvearrowright }{}}TF$$TG{\overset {\curvearrowright }{}}TF$は群TGのTFへの群作用とみなせる。

このため同伴バンドル

$TP\times _{TG}TF\to M$$TP\times _{TG}TF\to M$
を考える事ができる。しかも

$T(P\times F)\approx TP\times TF\to TP\times _{TG}TF$$T(P\times F)\approx TP\times TF\to TP\times _{TG}TF$
が同型

$T(P\times _{G}F)\approx TP\times _{TG}TF$$T(P\times _{G}F)\approx TP\times _{TG}TF$
を誘導することも示す事ができる。

定義 (誘導された接続の別定義) ―  G-主バンドル$\pi ~:~P\to M$の接続$\{{\mathcal {H}}_{p}\}_{p\in P}$の垂直射影V_pを使って

${\begin{array}{ccc}T_{p}P\times T_{a}F&{\overset {V_{p}\times \mathrm {id} }{\longrightarrow }}&T_{p}P\times T_{a}F\\\downarrow &\circlearrowright &\downarrow \\T_{p}P\times _{TG}T_{a}F&{\overset {V'_{(p,a)}}{\longrightarrow }}&T_{p}P\times _{TG}T_{a}F\end{array}}$

が可換図式になるように垂直射影$V'_{(p,a)}$を定義することで$T(P\times _{G}F)\approx TP\times _{TG}TF$に接続を定義できる。

この接続を$\{{\mathcal {H}}_{p}\}_{p\in P}$により$P\times _{G}F\to M$に誘導された接続という。

本節で定義された﹁誘導された接続﹂が前節で定義されたものと同一であることを用意に示す事ができる。

誘導された接続の性質

共変微分

本節では同伴接続の共変微分が主接続の接続形式を用いて表現できる事を見る。まず記号を定義する。

$\pi ~:~P\times _{G}F\to M$$\pi ~:~P\times _{G}F\to M$を主バンドル$P\to M$$P\to M$と作用$G{\overset {\curvearrowright }{}}F$$G{\overset {\curvearrowright }{}}F$から定義されたFバンドルとする。

さらに$P\to M$$P\to M$に接続形式がωの接続形式が定義されているとし、この接続が$\pi ~:~P\times _{G}F\to M$$\pi ~:~P\times _{G}F\to M$に誘導する接続の共変微分を∇とする。

そして$p\in P$$p\in P$に対し、

$\psi _{p}~:~a\in F\to [(p,a)]\in P\times _{G}F$$\psi _{p}~:~a\in F\to [(p,a)]\in P\times _{G}F$
とする。

定理 (誘導された接続の共変微分と接続形式の関係) ―  pを$P\to M$$P\to M$の切断とし、$a~:~M\to F$$a~:~M\to F$をなめらかな写像とし、sを$u\in M$$u\in M$に同値類$[(p_{u},a_{u})]\in P\times _{G}F$$[(p_{u},a_{u})]\in P\times _{G}F$を対応させる切断とする。ここで${\displaystyle a_{u}:=a($u)} $a_{u}:=a(u)$である。

このとき、XをM上のベクトル場とすると、

$\nabla _{X}s|_{u}=(\psi _{p_{u}})_{*}(a_{*}(X_{u})+{\overline {\omega _{p_{u}}(X_{u})}}|_{a_{u}})$$\nabla _{X}s|_{u}=(\psi _{p_{u}})_{*}(a_{*}(X_{u})+{\overline {\omega _{p_{u}}(X_{u})}}|_{a_{u}})$
が成立する。

ここで${\overline {\omega _{p_{u}}(X_{u})}}$${\overline {\omega _{p_{u}}(X_{u})}}$はリー代数の元$\omega _{p_{u}}(X_{u})$$\omega _{p_{u}}(X_{u})$の基本ベクトル場である。

曲率

主接続の曲率とそこから誘導された接続の曲率は以下の関係を満たす。

定理 (誘導された接続の曲率) ―  $P\to M$$P\to M$を接続の定義された主バンドルとし、Ωをその接続とする。さらに$P\to M$$P\to M$の同伴バンドル$E:=P\times _{G}F\to M$$E:=P\times _{G}F\to M$に$P\to M$$P\to M$から誘導された接続を入れ、その接続をΩ'とする。そして$q~:~P\to E$$q~:~P\to E$を商写像とする。このとき以下の図式は可換である‥

${\begin{array}{ccc}TP\times TP&{\overset {\Omega }{\to }}&{\mathcal {V}}P\\q_{*}\times q_{*}\downarrow &\circlearrowleft &q_{*}\downarrow \\TE\times TE&{\overset {\Omega '}{\to }}&{\mathcal {V}}E\end{array}}$${\begin{array}{ccc}TP\times TP&{\overset {\Omega }{\to }}&{\mathcal {V}}P\\q_{*}\times q_{*}\downarrow &\circlearrowleft &q_{*}\downarrow \\TE\times TE&{\overset {\Omega '}{\to }}&{\mathcal {V}}E\end{array}}$
ここで${\mathcal {V}}P$${\mathcal {V}}P$、${\mathcal {V}}E$${\mathcal {V}}E$はそれぞれP、Eの垂直部分空間である。

誘導された接続の特徴づけ

本節ではファイバーバンドル上の（一般の）接続が主バンドルの接続から誘導された接続である条件をクリストッフェル形式を用いて記述する。

定理 ―  $\pi _{P}~:~P\to M$$\pi _{P}~:~P\to M$をG-主バンドルとし、FをGが左から作用する多様体とし、$\pi _{E}~:~E\to M$$\pi _{E}~:~E\to M$を$\pi _{P}~:~P\to M$$\pi _{P}~:~P\to M$に同伴するF-バンドルとする。さらに$\{V_{p}\}_{p\in E}$$\{V_{p}\}_{p\in E}$を$\pi _{E}~:~E\to M$$\pi _{E}~:~E\to M$の︵一般の︶接続とする。Gのリー代数$A\in {\mathfrak {g}}$$A\in {\mathfrak {g}}$に︵Gの左からの作用により︶AがFに定義する基本ベクトル場${\displaystyle {\overline {A}}\in {\mathfrak {X}}($F)} ${\overline {A}}\in {\mathfrak {X}}(F)$を対応させる写像${\displaystyle A\in {\mathfrak {g}}\mapsto {\overline {A}}\in {\mathfrak {X}}($F)} $A\in {\mathfrak {g}}\mapsto {\overline {A}}\in {\mathfrak {X}}(F)$が単射であるとする。ここで${\displaystyle {\mathfrak {X}}($F)} ${\mathfrak {X}}(F)$はF上のベクトル場の集合である。

このとき、$\{V_{p}\}_{p\in E}$$\{V_{p}\}_{p\in E}$が$\pi _{P}~:~P\to M$$\pi _{P}~:~P\to M$上の何らかの主バンドルとしての接続から誘導されている必要十分条件は以下が成立することである‥

●$\pi _{E}~:~E\to M$$\pi _{E}~:~E\to M$のバンドルアトラス$(U_{\alpha },\varphi _{\alpha })_{\alpha }$$(U_{\alpha },\varphi _{\alpha })_{\alpha }$が存在し、任意のαに対し、$U_{\alpha }$$U_{\alpha }$に関するクリストッフェル形式$\Gamma ^{\alpha }$$\Gamma ^{\alpha }$が${\displaystyle {\mathfrak {X}}_{\mathrm {fund} }($F)} ${\mathfrak {X}}_{\mathrm {fund} }(F)$に値を取る。

ここで${\displaystyle {\mathfrak {X}}_{\mathrm {fund} }($F)} ${\mathfrak {X}}_{\mathrm {fund} }(F)$はGの作用がFに定義する基本ベクトル場全体の集合である。

なお上では「あるバンドルアトラスが存在して」としたがあるバンドルアトラスに対して上記の性質が成立すれば任意のバンドルアトラスに対して上記の性質が成立する事が知られている。

ベクトルバンドルの接続

本節ではベクトルバンドルとしての接続（すなわちKoszul接続）と、一般の接続概念や主接続の概念との関係をみる。

Koszul接続の定義

まずKoszul接続の定義を復習する：

定義 (Koszul接続) ― 　 $\pi ~:~E\to M$を実ベクトルバンドルとし、${\mathfrak {X}}(M)$をM上のベクトル場全体の集合とし、$\Gamma (E)$をEの切断の集合とする。

関数

$\nabla ~:~(X,s)\in {\mathfrak {X}}(M)\times \Gamma (E)\mapsto \nabla _{X}s\in \Gamma (E)$

で以下の性質を満たすものをE上のKoszul接続（英: Koszul connection）あるいは単に接続（英: connection）といい、$\nabla _{X}s$を接続$\nabla$が定めるsのX方向の共変微分という：

1. $\nabla _{fX+gY}s=f\nabla _{X}s+g\nabla _{Y}s$
2. $\nabla _{X}(as+bs')=a\nabla _{X}s+b\nabla _{X}s'$
3. $\nabla _{X}(fs)=X(f)s+f\nabla _{X}s$　

ここでX、YはM上の任意のベクトル場であり、s、s'はEの任意の接続とし、f、gはM上定義された任意の実数値可微分関数であり、a、bは任意の実数であり、$fY$$fY$は点Pにおいて${\displaystyle f($P)Y_{P}} $f(P)Y_{P}$となるベクトル場であり、${\displaystyle X($f)} $X(f)$はfのX方向微分であり、$[X,Y]$$[X,Y]$はリー括弧である。

ファイバーバンドルの接続との関係

ベクトルバンドル$\pi ~:~E\to M$$\pi ~:~E\to M$においては垂直部分空間と接空間が自然に同一視できるので、その同一視の写像を

${\displaystyle \phi ~:~{\mathcal {V}}_{e}{\tilde {\to }}T_{\pi ($e)}E} $\phi ~:~{\mathcal {V}}_{e}{\tilde {\to }}T_{\pi (e)}E$
と書く。

本節では一般の接続概念から定義される共変微分を∇とするとき、$\phi \circ \nabla$$\phi \circ \nabla$がKoszul接続になる条件を述べる。なお、逆にKoszul接続から一般の接続概念を誘導する方法はすでに述べた。

定理 (Koszul接続の条件) ― $\pi ~:~E\to M$$\pi ~:~E\to M$をベクトルバンドルとし、$\{{\mathcal {H}}_{e}\}_{e\in E}$$\{{\mathcal {H}}_{e}\}_{e\in E}$を$\pi ~:~E\to M$$\pi ~:~E\to M$のファイバーバンドルとしての接続する。さらに${\displaystyle \phi ~:~{\mathcal {V}}_{e}{\tilde {\to }}E_{\pi ($e)}} $\phi ~:~{\mathcal {V}}_{e}{\tilde {\to }}E_{\pi (e)}$を垂直部分空間${\mathcal {V}}_{e}$${\mathcal {V}}_{e}$と${\displaystyle E_{\pi ($e)}} $E_{\pi (e)}$の自然な同一視とする。

このとき以下の条件は同値である‥

●$\{{\mathcal {H}}_{e}\}_{e\in E}$$\{{\mathcal {H}}_{e}\}_{e\in E}$が定義する共変微分を∇とすると、$\phi \circ \nabla$$\phi \circ \nabla$はKoszul接続の公理を満たす。

●任意の$\lambda \in \mathbb {R}$$\lambda \in \mathbb {R}$、$e\in E$$e\in E$に対し、${\mathcal {H}}_{\lambda e}=(m_{\lambda })_{*}({\mathcal {H}}_{e})$${\mathcal {H}}_{\lambda e}=(m_{\lambda })_{*}({\mathcal {H}}_{e})$
ここでm_λはベクトル$e\in E$$e\in E$をλ倍した$\lambda e\in E$$\lambda e\in E$に写す写像とする。

Koszul接続から一般の接続概念を誘導する方法と︵上記の定理の条件を満たす︶一般の接続概念からKoszul接続を誘導する方法は﹁逆写像﹂の関係にあり、上記の定理の条件を満たす一般の接続概念とKoszul接続は1:1に対応する。

クリストッフェル記号

$\pi ~:~E\to M$$\pi ~:~E\to M$をベクトルバンドルとし、$(x^{1},\ldots ,x^{m})$$(x^{1},\ldots ,x^{m})$をMの局所座標とし、$e_{1},\ldots ,e_{n}$$e_{1},\ldots ,e_{n}$をEの局所的な基底とし、Eの元vを$v=v^{j}e_{j}$$v=v^{j}e_{j}$と表すと、クリストッフェル写像の節で述べたように、$e\in E$$e\in E$における水平リフトを

${\displaystyle \mathrm {Lift} _{e}\left({\partial \over \partial x^{i}}\right)={\partial \over \partial x^{k}}-\Gamma ^{i}{}_{k}($v){\partial \over \partial v^{i}}} $\mathrm {Lift} _{e}\left({\partial \over \partial x^{i}}\right)={\partial \over \partial x^{k}}-\Gamma ^{i}{}_{k}(v){\partial \over \partial v^{i}}$
と書ける。一方、Koszul接続のクリストッフェル記号を

$\nabla _{\tfrac {\partial }{\partial x^{k}}}e_{k}=\Gamma _{kj}^{i}e_{i}$$\nabla _{\tfrac {\partial }{\partial x^{k}}}e_{k}=\Gamma _{kj}^{i}e_{i}$
と定義すると、上述の定理から以下が従う‥

定理 ― 以下が成立する：

$\Gamma ^{i}{}_{k}(v)=\Gamma _{kj}^{i}v^{j}$

フレームバンドル

次に我々は主バンドルの接続とベクトルバンドルの接続の関係を見る。そのための準備として本節では﹁G-フレーム﹂、および﹁G-フレームバンドル﹂の概念を導入する。

定義

﹁G-フレーム﹂とは正規直交基底の概念を一般化したもので、Gが${\displaystyle \mathrm {SO} ($n)} $\mathrm {SO} (n)$の場合、G-フレームが正規直交基底に相当する。

定義 ― Gを$\mathrm {GL} _{n}(\mathbb {R} )$$\mathrm {GL} _{n}(\mathbb {R} )$の部分リー群とし、$\pi ~:~E\to M$$\pi ~:~E\to M$を構造群Gを持つベクトルバンドルとし、uをMの点とし、$e_{1},\ldots ,e_{n}$$e_{1},\ldots ,e_{n}$をE_uの基底とする。$e_{1},\ldots ,e_{n}$$e_{1},\ldots ,e_{n}$がEのuにおけるG-フレーム︵英: G-flame︶であるとは、Eのuにおけるバンドルチャート$U\times \mathbb {R} ^{n}$$U\times \mathbb {R} ^{n}$と$g\in G$$g\in G$が存在し、このバンドルチャート上で

$(e_{1},\ldots ,e_{n})=(ge'_{1},\ldots ,ge'_{n})$$(e_{1},\ldots ,e_{n})=(ge'_{1},\ldots ,ge'_{n})$
が成立する事を言う。

ここで$e'_{1},\ldots ,e'_{n}$$e'_{1},\ldots ,e'_{n}$は$\mathbb {R} ^{n}$$\mathbb {R} ^{n}$の標準的な基底であり、$ge_{i}$$ge_{i}$は線形変換$g\in G\subset \mathrm {GL} _{n}(\mathbb {R} )$$g\in G\subset \mathrm {GL} _{n}(\mathbb {R} )$をe_iに作用させたものである。

構造群Gを持つベクトルバンドルの定義から、G-フレームの定義はバンドルチャートの取り方によらずwell-definedである。


${\displaystyle F^{G}($E)_{u}} $F^{G}(E)_{u}$を$u\in M$$u\in M$上のG-フレーム全体の集合とすると、

${\displaystyle F^{G}($E):=\bigcup _{u\in M}F^{G}(E)_{u}} $F^{G}(E):=\bigcup _{u\in M}F^{G}(E)_{u}$
は自然にM上のG-主バンドルをなし、${\displaystyle F^{G}($E)} $F^{G}(E)$を構造群Gに関するフレームバンドルという。

E → Mに対応する主バンドルとの関係

$P\to M$$P\to M$を$\pi ~:~E\to M$$\pi ~:~E\to M$に対応するG-主バンドルとすると、PはG-フレームバンドルと自然に同一視できる‥

定理 ― 記号を上述のように取り、$U_{\alpha }\subset M$、$\psi _{\alpha }~:~\pi ^{-1}(U_{\alpha }){\overset {\sim }{\to }}U_{\alpha }\times G$をPのバンドルチャートとする。このときP（のバンドルチャート）から$F^{G}(E)$への写像

$(u,g)\in U_{\alpha }\times G\mapsto (ge'_{1},\ldots ,ge'_{n})\in F_{G}(E)_{u}$

はバンドルチャートの取り方によらずwell-definedで、しかも主バンドルとしての同型写像になる。

よって以後、$\pi ~:~E\to M$に対応するG-主バンドルと$F^{G}(E)$を自然に同一視する。

商写像との関係

フレームバンドルの利点は、主バンドルからベクトルバンドルへの商写像に直観的な意味を与えられることにある。以下で$P\to M$は前節同様$\pi ~:~E\to M$に対応するG-主バンドルである。

定理 (フレームバンドルによる成分表示) ― 写像の合成

$F_{G}(E)\times \mathbb {R} ^{n}\approx P\times \mathbb {R} ^{n}{\overset {q}{\to }}P\times _{G}\mathbb {R} ^{n}\approx E$

による$(e,a)\in F_{G}(E)\times \mathbb {R} ^{n}$の像は

$a^{i}e_{i}$

に一致する（アインシュタインの縮約で記載）。

ここでqは商写像であり、$a=(a^{1},\ldots ,a^{n})$であり、$e=(e_{1},\ldots ,e_{n})$である。

主接続によるKoszul接続の誘導

接続の対応関係

本節ではG-主バンドルの接続形式の関係とこの接続がベクトルバンドルEに誘導する接続の関係を述べる。これまで同様Gを$\mathrm {GL} _{n}(\mathbb {R} )$$\mathrm {GL} _{n}(\mathbb {R} )$の閉部分リー群とする。また前節で主バンドルがフレームバンドルと自然に同一視できる事を見たので、以下主バンドルとフレームバンドルを区別せずに用いる。


本節では以下特に断りがない限り、Gを$\mathrm {GL} _{n}(\mathbb {R} )$$\mathrm {GL} _{n}(\mathbb {R} )$の部分リー群とし、${\mathfrak {g}}$${\mathfrak {g}}$をGのリー代数とし、$\pi ~:~E\to M$$\pi ~:~E\to M$をGを構造群を持つベクトルバンドルとし、${\displaystyle F_{G}($E)} $F_{G}(E)$をそのフレームバンドルとする。




主接続とKoszul接続の関係を見るための準備として、以下の概念を導入する‥

定義 (接続形式) ― ∇をEのKoszul接続とする。さらに$e=(e_{1},\ldots ,e_{n})$$e=(e_{1},\ldots ,e_{n})$をEの局所的な基底とする。

このときM上のベクトル場 Xに行列${\displaystyle {\hat {\omega }}_{e}($X)} ${\hat {\omega }}_{e}(X)$を対応させる行列値の1-形式${\hat {\omega }}_{e}=({\hat {\omega }}^{i}{}_{j})_{ij}$${\hat {\omega }}_{e}=({\hat {\omega }}^{i}{}_{j})_{ij}$を

${\displaystyle (\nabla _{X}e_{1},\ldots ,\nabla _{X}e_{m})=(e_{1},\ldots ,e_{m}){\hat {\omega }}_{e}($X)} $(\nabla _{X}e_{1},\ldots ,\nabla _{X}e_{m})=(e_{1},\ldots ,e_{m}){\hat {\omega }}_{e}(X)$
により定義する。${\hat {\omega }}_{e}$${\hat {\omega }}_{e}$を局所的な基底$e=(e_{1},\ldots ,e_{m})$$e=(e_{1},\ldots ,e_{m})$に関するレヴィ-チヴィタ接続の接続形式︵英: connection form︶という。

上で定義したKoszul接続の接続形式${\hat {\omega }}_{e}$${\hat {\omega }}_{e}$を使って${\displaystyle F_{G}($E)} $F_{G}(E)$の接続形式ωを定義するのだが、${\hat {\omega }}_{e}$${\hat {\omega }}_{e}$は一般には行列値の1-形式、すなわち ${\mathfrak {gl}}_{n}(\mathbb {R} )$${\mathfrak {gl}}_{n}(\mathbb {R} )$に値を取る1-形式であるが、${\displaystyle F_{G}($E)} $F_{G}(E)$の接続形式は必ずGのリー代数${\mathfrak {g}}$${\mathfrak {g}}$に値を取る必要がある。そこで${\hat {\omega }}_{e}$${\hat {\omega }}_{e}$が${\mathfrak {g}}$${\mathfrak {g}}$に値を取る場合に話を限定する。

定義 (Gと両立するKoszul接続) ― ∇をE上定義されたKoszul接続とし、${\hat {\omega }}_{e}$${\hat {\omega }}_{e}$をその接続形式とする。∇がGと両立するとは、任意の局所的な基底$e=(e_{1},\ldots ,e_{n})$$e=(e_{1},\ldots ,e_{n})$に対し、

${\hat {\omega }}_{e}\in {\mathfrak {g}}$${\hat {\omega }}_{e}\in {\mathfrak {g}}$
が成立する事を言う。

このとき、以下が従う：

定義 (主接続とKoszul接続の関係) ― E上のKoszul接続でGと両立するものは${\displaystyle F_{G}($E)} $F_{G}(E)$の主接続と1 : 1で対応する。 さらにGと両立するにKoszul接続∇に対応する主接続の接続形式をωとすると、任意の開集合$U\subset M$$U\subset M$とU上で定義された${\displaystyle F_{G}($E)} $F_{G}(E)$の任意の局所的な切断$e=(e_{1},\ldots ,e_{n})$$e=(e_{1},\ldots ,e_{n})$に対し、

${\hat {\omega }}_{e}=e^{*}(\omega )$${\hat {\omega }}_{e}=e^{*}(\omega )$
が成立する。ここで${\hat {\omega }}_{e}$${\hat {\omega }}_{e}$は$e=(e_{1},\ldots ,e_{n})$$e=(e_{1},\ldots ,e_{n})$を局所的な基底とみなしたときのeに関する∇の接続形式であり、$e^{*}(\omega )$$e^{*}(\omega )$はeをUからF_G(E)への写像と見たときの接続形式ωのUへの引き戻しである。

上の定理で、${\displaystyle F_{G}($M)} $F_{G}(M)$上の主接続に対応するのは、この接続がEに誘導するが定義する共変微分∇である。接続の誘導の定義から共変微分がKoszul接続に一致する条件を満たすのを容易に確認できる。

逆にGと両立する接続が与えられたとき、${\displaystyle e\in F_{G}($E)} $e\in F_{G}(E)$に対し、

${\displaystyle {\mathcal {H}}_{e}:=\{{\tfrac {de}{dt}}(0)|e($t)=(e_{1}(t),\ldots ,e_{n}(t))} ${\mathcal {H}}_{e}:=\{{\tfrac {de}{dt}}(0)|e(t)=(e_{1}(t),\ldots ,e_{n}(t))$は時刻0にeを通り、しかも${\tfrac {\nabla e}{dt}}(0)=0$${\tfrac {\nabla e}{dt}}(0)=0$となる切断$\}$$\}$
を水平部分空間とする${\displaystyle F_{G}($E)} $F_{G}(E)$の主接続が与えられる。なお、この主接続の接続形式ωは${\displaystyle F_{G}($E)} $F_{G}(E)$の局所自明化${\displaystyle \pi ^{-1}($U)\approx U\times G} $\pi ^{-1}(U)\approx U\times G$、∇の接続形式${\hat {\omega }}_{e}$${\hat {\omega }}_{e}$、Gのモーレー・カルタン形式μを用いて

$\omega _{(u,g)}=\mathrm {Ad} (g^{-1}){\hat {\omega }}_{(u,\mathrm {id} )}+\mu _{g}$$\omega _{(u,g)}=\mathrm {Ad} (g^{-1}){\hat {\omega }}_{(u,\mathrm {id} )}+\mu _{g}$
と書ける。ここでidはGの単位元である。

共変微分の対応関係

ベクトルバンドル$E\to M$$E\to M$の切断sが与えられたとき、${\displaystyle F_{G}($M)} $F_{G}(M)$上の関数

${\displaystyle \psi _{s}~:~(e_{1},\ldots ,e_{n})\in F_{G}($M)\mapsto (s^{1},\ldots ,s^{n})\in \mathbb {R} ^{n}} $\psi _{s}~:~(e_{1},\ldots ,e_{n})\in F_{G}(M)\mapsto (s^{1},\ldots ,s^{n})\in \mathbb {R} ^{n}$, where $s=s^{i}e_{i}$$s=s^{i}e_{i}$
を定義できる。このとき次が成立する‥

定理 ― M上の任意のベクトル場Xに対し、以下が成立する：

$\psi _{\nabla _{X}s}=\mathrm {Lift} (X)\psi _{s}$

ここで$\mathrm {Lift} (X)\psi _{s}$は$F_{G}(M)$上のベクトル場$Y:=\mathrm {Lift} (X)$により$F_{G}(M)$上の$\mathbb {R} ^{n}$値関数$\psi _{s}$の各成分を微分した$Y(\psi _{s})$の事である。

ホロノミーによるKoszul接続が導出される条件

前節ではフレームバンドルF_G(E)に接続が定義されている状況下でその接続がEに誘導するKoszul接続を考察してきたが、本節ではこの逆、すなわちEのKoszul接続∇がどのような条件を満たせば∇がフレームバンドルF_G(E)に接続から誘導されたものと一致するかを調べる。このために以下の定義をする：

定義 (構造群と両立するKoszul接続) ― Mを連結な多様体とし、Gを$\mathrm {GL} _{n}(\mathbb {R} ^{n})$$\mathrm {GL} _{n}(\mathbb {R} ^{n})$の閉部分リー群とし、$\pi ~:~E\to M$$\pi ~:~E\to M$を構造群Gを持つベクトルバンドルとし、∇を$E\to M$$E\to M$のKoszul接続とする。このとき、∇がGと両立する︵英: G-compatible︶とは、$\pi ~:~E\to M$$\pi ~:~E\to M$の任意の局所自明化

${\displaystyle \varphi ~:~\pi ^{-1}($U){\tilde {\to }}V\times \mathbb {R} ^{n}} $\varphi ~:~\pi ^{-1}(U){\tilde {\to }}V\times \mathbb {R} ^{n}$ where $U\subset M$$U\subset M$open、$V\subset \mathbb {R} ^{m}$$V\subset \mathbb {R} ^{m}$ open

に対し、U内の任意の曲線${\displaystyle u($t)} $u(t)$に沿った平行移動${\displaystyle E_{u(0)}\to E_{u($1)}} $E_{u(0)}\to E_{u(1)}$がGに属する線形変換である事を言う。

前述のAmbrose-Singerの定理の一般化から以下の定理が従う：

定理 ― 記号を上の定義と同様に取る。 Gを構造群として持つベクトルバンドル$E\to M$のKoszul接続∇がGと両立するとき、フレームバンドルF_G(E)のある接続形式ωが存在し、∇はωからEに誘導される接続の共変微分と一致する。

Koszul接続∇が﹁Gと両立する﹂事の定義は上で挙げたものの他に前の節で挙げたものがあるが、この2つは同値である。実際、これら2つのいずれか言えれば∇は主接続から誘導される事を前節の定理と上記の定理から言え、主接続から誘導される接続はこれら2つの﹁Gと両立する﹂事の定義を両方満たすので、この2つは同値である。

曲率

定義

Koszul接続が定義されたベクトルバンドルの曲率を以下のように定義する‥

定義・定理 (曲率テンソル) ― ベクトルバンドル$\pi ~:~E\to M$$\pi ~:~E\to M$の接続$\nabla$$\nabla$に対し、

$R(X,Y)s:=\nabla _{X}\nabla _{Y}s-\nabla _{Y}\nabla _{X}s-\nabla _{[X,Y]}s$$R(X,Y)s:=\nabla _{X}\nabla _{Y}s-\nabla _{Y}\nabla _{X}s-\nabla _{[X,Y]}s$ for ${\displaystyle X,Y\in {\mathfrak {X}}($M),s\in \Gamma (E)} $X,Y\in {\mathfrak {X}}(M),s\in \Gamma (E)$
とすると、RはX、Y、sに関して${\displaystyle C^{\infty }($M)} $C^{\infty }(M)$-線形である。よってRは各点$u\in M$$u\in M$に対し、

$R_{u}\in T^{*}M\otimes T^{*}M\otimes E^{*}\otimes E$$R_{u}\in T^{*}M\otimes T^{*}M\otimes E^{*}\otimes E$
を対応させるテンソル場とみなせる。

Rを$\nabla$$\nabla$に関するEの曲率テンソル︵英: curvature tensor︶という。

Koszul接続の曲率形式を以下のように定義する：

定義 ― 記号を上の定義と同様に取る。さらにUをMの開集合とし、$e=(e_{1},\ldots ,e_{n})$$e=(e_{1},\ldots ,e_{n})$をUにおけるフレームバンドル${\displaystyle F_{G}($M)} $F_{G}(M)$の切断とする。このとき、曲率テンソルを

$R(X,Y)e_{j}={\hat {\Omega }}^{i}{}_{j}(X,Y)e_{i}$$R(X,Y)e_{j}={\hat {\Omega }}^{i}{}_{j}(X,Y)e_{i}$
と成分表示し、${\hat {\Omega }}_{e}:=({\hat {\Omega }}^{i}{}_{j})$${\hat {\Omega }}_{e}:=({\hat {\Omega }}^{i}{}_{j})$とすると、Ω_eは一般線形群のリー代数 ${\mathfrak {gl}}_{n}(\mathbb {R} )$${\mathfrak {gl}}_{n}(\mathbb {R} )$に値を取る2-形式とみなせる。 ${\hat {\Omega }}_{e}$${\hat {\Omega }}_{e}$をeに関するKoszul接続∇の曲率形式︵英: curvature form︶という。

一般の接続の曲率形式との関係

すでに述べたようにベクトルバンドル$\pi ~:~E\to M$上のKoszul接続∇には、それと対応するファイバーバンドルとしての接続$\{V_{e}\}_{e\in E}$が定義可能であるが、上述したKoszul接続の曲率は前述した一般のファイバーバンドルの曲率形式$\Omega (\xi ,\eta )=-V([H(\xi ),H(\eta )])$と以下の関係を満たす。ここでHは水平部分空間への射影である。

定理 ― 記号を上述のように取る。このとき、M上の点u、ベクトル$X,Y\in T_{u}M$$X,Y\in T_{u}M$、$s\in E_{u}$$s\in E_{u}$に対し、以下が成立する‥

$R(X,Y)s=-V(\mathrm {Lift} _{s}(X),\mathrm {Lift} _{s}(Y))$

よって特にKoszul接続の曲率形式${\hat {\Omega }}_{e}$とは以下の関係を満たす：

${\hat {\Omega }}^{i}{}_{j}(X,Y)=-\langle e^{i},V(\mathrm {Lift} _{e_{j}}(X),\mathrm {Lift} _{e_{j}}(Y))\rangle$

ここで$e=(e_{1},\ldots ,e_{n})$であり、$(e^{1},\ldots ,e^{n})$はその双対基底である。

主接続の曲率との関係

$E\to M$のフレームバンドル$F_{G}(M)$の曲率形式とKoszul接続の曲率形式は以下の関係を満たす：

定理 ―  ベクトルバンドル$E\to M$$E\to M$のフレームバンドル${\displaystyle F_{G}($M)} $F_{G}(M)$に接続形式がωの接続が定義されているとし、この接続の曲率形式をΩとする。

さらにこの接続がEに誘導する接続が定義するKoszul接続を∇とし、$e=(e_{1},\ldots ,e_{n})$$e=(e_{1},\ldots ,e_{n})$をMの開集合U上定義された${\displaystyle F_{G}($M)} $F_{G}(M)$の切断とし、${\hat {\Omega }}_{e}$${\hat {\Omega }}_{e}$を∇のeに関する曲率形式とする。このとき、以下が成立する‥ 

${\hat {\Omega }}_{e}=e^{*}(\Omega )$

共変外微分

定義

本節ではベクトルバンドルの共変外微分を定義する。 そのために主バンドル上の共変外微分がタイプρのテンソル形式をタイプρのテンソル形式に写す事を見る：

定理 ―  Vをベクトル空間とし、$\rho ~:~G\to \mathrm {GL} (V)$を構造群Gの（なめらかな）線形表現とする。このとき任意のkに対し以下が成立する：

$d_{\omega }({\mathcal {A}}_{\rho }^{k}(P;V))\subset {\mathcal {A}}_{\rho }^{k+1}(P;V)$

$E:=P\times _{\rho }V$とすると前に述べたように

${\mathcal {A}}_{\rho }^{k}(P;V)\approx {\mathcal {A}}^{k}(M;E)$

が成立するので、上記の定理から、主バンドルの共変外微分d_ωを使ってベクトルバンドルの共変外微分を以下のように定義できる：

定理 (ベクトルバンドルの共変外微分) ―  合成関数

$d_{\nabla }~:~{\mathcal {A}}^{k}(M;E)\approx {\mathcal {A}}_{\rho }^{k}(P;V){\overset {d_{\omega }}{\to }}{\mathcal {A}}_{\rho }^{k+1}(P;V)\approx {\mathcal {A}}^{k+1}(M;E)$

をベクトルバンドル${\mathcal {A}}^{k}(M;E)$の共変外微分という。

具体的表記

本節ではベクトルバンドルの共変外微分を具体的に表記する。Vをベクトル空間とし、${\displaystyle \rho ~:~G\to \mathrm {GL} ($V)} $\rho ~:~G\to \mathrm {GL} (V)$を構造群Gの︵なめらかな︶線形表現とするとき、ρはGのリー代数${\mathfrak {g}}$${\mathfrak {g}}$から${\displaystyle \mathrm {GL} ($V)} $\mathrm {GL} (V)$のリー代数${\displaystyle {\mathfrak {gl}}($V)} ${\mathfrak {gl}}(V)$への写像

${\displaystyle \rho _{*}~:~{\mathfrak {g}}\to {\mathfrak {gl}}($V)} $\rho _{*}~:~{\mathfrak {g}}\to {\mathfrak {gl}}(V)$
を誘導する。${\displaystyle {\mathfrak {gl}}($V)} ${\mathfrak {gl}}(V)$はV上の線形写像全体と自然に同一視できるので、$u\in {\mathfrak {g}}$$u\in {\mathfrak {g}}$と$v\in V$$v\in V$に対し、${\displaystyle \rho _{*}($u)} $\rho _{*}(u)$をvに作用させた

${\displaystyle \rho _{*}($u)v} $\rho _{*}(u)v$
を定義できる。

定義 ― $\tau \in {\mathcal {A}}^{k}(P;{\mathfrak {g}})$、$\eta \in {\mathcal {A}}^{\ell }(P;V)$に対し、τとηの積$\tau \cdot \eta \in {\mathcal {A}}^{k+\ell }(P;V)$を以下のように定義する：

$(\tau \cdot \eta )_{p}(X_{1},\ldots ,X_{k+\ell }):={1 \over k!\ell !}\sum _{\sigma \in {\mathfrak {S}}_{k+\ell }}\mathrm {sgn} (\sigma )\rho _{*}(\tau _{p}(X_{\sigma (1)},\ldots ,\tau (X_{\sigma (k)}))\eta _{p}(X_{\sigma (k+1)},\ldots ,X_{\sigma (\ell )})$

ここで$p\in P$$p\in P$、$X_{1},\ldots ,X_{k+\ell }\in T_{p}P$$X_{1},\ldots ,X_{k+\ell }\in T_{p}P$であり、${\mathfrak {S}}_{k+\ell }$${\mathfrak {S}}_{k+\ell }$は$k+\ell$$k+\ell$次の対称群である。

特に$V={\mathfrak {g}}$$V={\mathfrak {g}}$である場合は、$u,v\in {\mathfrak {g}}$$u,v\in {\mathfrak {g}}$に対し、

${\displaystyle \rho _{*}($u)v=[u,v]_{\mathfrak {g}}} $\rho _{*}(u)v=[u,v]_{\mathfrak {g}}$
と${\mathfrak {g}}$${\mathfrak {g}}$上のリー括弧$[\cdot ,\cdot ]_{\mathfrak {g}}$$[\cdot ,\cdot ]_{\mathfrak {g}}$で書けるので、上記の定義の$\rho _{*}(\tau (\cdots ))\eta (\cdots )$$\rho _{*}(\tau (\cdots ))\eta (\cdots )$の部分を$[\tau (\cdots ),\eta (\cdots )]_{\mathfrak {g}}$$[\tau (\cdots ),\eta (\cdots )]_{\mathfrak {g}}$に置き換えられる。

上記の定義を使うと共変外微分を以下のように具体的に表記できる‥

定理 ― $\eta \in {\mathcal {A}}_{\rho }^{\ell }(P;V)$であれば、以下が成立する：

$d_{\omega }\eta =d\eta +\omega \cdot \eta$

主バンドルの共変外微分との関係

$E:=P\times _{\rho }V$とすると前述の同型

${\mathcal {A}}_{\rho }^{k}(P;V)\approx {\mathcal {A}}^{k}(M;E)$

を使って上記の定理を${\mathcal {A}}^{k}(M;E)$上の定理に書き換える事ができる：

定理 ― $\xi \in {\mathcal {A}}^{\ell }(M;V)$は以下を満たす：

$(d_{\nabla }\xi )^{\sharp }=d_{\omega }(\xi ^{\sharp })$

ここで「$\sharp$」はテンソル形式と底空間上の切断の同型写像である。

脚注

注釈

文献

参考文献

●Loring W. Tu (2017/6/P15). Differential Geometry: Connections, Curvature, and Characteristic Classes. Graduate Texts in Mathematics. 275. Springer. ISBN 978-3319550824 

●森田茂之﹃微分形式の幾何学2﹄ 14巻、岩波書店︿岩波講座 現代数学の基礎﹀、2001年5月23日。ISBN 978-4000110143。https://www.iwanami.co.jp/book/b480194.html。 

●Chris Wendl. “Differentialgeometrie I”. 2023年8月24日閲覧。
●Chris Wendl. “Chapter 3: Connections”. 2023年8月24日閲覧。

●Chris Wendl. “Chapter 4: Natural constructions on vector bundles”. 2023年8月24日閲覧。

●Chris Wendl. “Chapter 5: Curvature on bundles”. 2023年8月24日閲覧。

●Ivan Kolář, Jan Slovák, Peter W. Michor (2009/12/28). Natural Operators in Differential Geometry. Springer. ISBN 978-3642081491 

●Michael Spivak. A Comprehensive Introduction to Differential Geometry. VOLUME TWO (Second Edition ed.). Publish or Perish, Incorporated. ISBN 978-0914098805 

●Michael Spivak. A Comprehensive Introduction to Differential Geometry. VOLUME FIVE (Third Edition ed.). Publish or Perish, Incorporated. ISBN 978-0914098744 

●小林昭七﹃接続の微分幾何とゲージ理論﹄裳華房、1989年5月15日。ISBN 978-4785310585。 

●Marcelo Epstein (2014/7/15). Differential Geometry: Basic Notions and Physical Examples. Mathematical Engineering. Springer. ISBN 978-3319069197 

●Gijs M. Tuynman. Supermanifolds and Supergroups: Basic Theory. Mathematics and Its Applications. 570. Springer. ISBN 978-9048166329 

●Stephen Bruce Sontz (2015/4/27). Principal Bundles: The Classical Case. Universitext. Springer. ISBN 978-3-319-14765-9 

●Timothy E. Goldberg. “WHAT IS A CONNECTION, AND WHAT IS IT GOOD FOR?”.  コーネル大学. 2023年10月6日閲覧。

●Paolo Piccione, Daniel V. Tausk. “The theory of connections and G-structures. Applications to affine and isometric immersions”.  サンパウロ大学. 2023年10月10日閲覧。

●Shishichi Kobayashi; Katsumi Nomizu (2009). Foundations of Differential Geometry Volume I. Wiley Classics Library. Wiley. ISBN 978-0-471-15733-5. Zbl 0119.37502 

●Shishichi Kobayashi; Katsumi Nomizu (2009). Foundations of Differential Geometry Volume II. Wiley Classics Library. Wiley. ISBN 978-0-471-15732-8. Zbl 0175.48504 

●Federica Pasquotto. “Linear G-structures by examples”.  アムステルダム自由大学. 2023年10月27日閲覧。

●Dietmar Salamon. “Spin Geometry and Seiberg-Witten invariants”.  チューリッヒ工科大学. 2023年10月27日閲覧。

●佐古彰史﹃ゲージ理論・一般相対性理論のための 微分幾何入門﹄森北出版、2021年9月30日。ISBN 978-4627078512。