接続 (ファイバー束)

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

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

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

Summarize Timeline Top Qs Fact Check

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

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

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

${\displaystyle (\nabla _{X}e_{1},\ldots ,\nabla _{X}e_{m})=(e_{1},\ldots ,e_{m})\omega (X)}$

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

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

${\displaystyle \nabla _{X}s=X(s^{j})e_{j}+s^{i}\omega _{i}{}^{j}(X)e_{j}}$

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

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

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

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

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

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

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

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

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

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

Summarize Timeline Top Qs Fact Check

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

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

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

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

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

${\displaystyle {\mathcal {V}}_{e}:=\{\xi \in T_{e}E\mid \pi _{*}(\xi )=0\}=T_{e}(E_{\pi (e)})}$

を、eにおけるT_eEの垂直部分空間（英: vertical subspace）という^{[11][12][注 2]}。そしてファイバーバンドルの接続を以下のように定義する：

分解

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

があれば、T_eEの元の${\displaystyle {\mathcal {V}}_{e}}$への射影

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

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

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

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

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

${\displaystyle s\sim s'\iff s_{u}=s_{u}~~{\text{and}}~~s_{*}|_{u}=s'_{*}|_{u}}$

という同値関係を定義し、その同値類を${\displaystyle j_{u}^{1}s}$と書き、sの1次のジェット（英: jet）という^{[注 5]}。さらに同値類全体を${\displaystyle J_{u}^{1}E}$と書き、${\displaystyle J^{1}E=\bigcup _{u\in M}J_{u}^{1}E}$とすると、

${\displaystyle j_{u}^{1}s\in J^{1}E\mapsto u\in M}$

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

${\displaystyle j_{u}^{1}s\in J^{1}E\mapsto s_{u}\in E}$

によりJ¹EをE上のバンドルとみなすこともできる。

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

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

${\displaystyle j_{u}^{1}s\in J^{1}E\mapsto s_{u}\in E}$

の切断を定める行為に等しい。よって${\displaystyle \pi ~:~E\to M}$の接続概念を以下のように定式化できる：

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

Summarize Timeline Top Qs Fact Check

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

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

接続の定義から、

${\displaystyle \pi _{*}|_{{\mathcal {H}}_{e}}:|~{\mathcal {H}}_{e}\to T_{\pi (e)}M}$

はベクトル空間としての同型であるので、この逆写像

${\displaystyle \mathrm {Lift} _{e}~:~T_{\pi (e)}M\to {\mathcal {H}}_{e}}$

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

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

${\displaystyle {\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)}$の解の局所的な存在一意性から、平行移動は局所的に存在し、かつ一意である。

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

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

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

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

• アフィン接続の測地線完備性^{[注 6]}
• リーマン計量が入っている場合の距離空間としての完備性

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

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

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

${\displaystyle \pi ~:~(x,y)\in M\times \mathbb {R} \mapsto x\in M}$

を考え、このファイバーバンドル上に下記のような接続を考える：

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

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

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

${\displaystyle (x,y)=\left(t,{1 \over y_{0}{}^{-1}-t}\right)}$

である事を容易に示す事ができる。この平行移動は

${\displaystyle t<{1 \over y_{0}}}$

の範囲でしか延長できず、完備でない事が言えた。

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

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

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

${\displaystyle \mathrm {Lift} (X)}$

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

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

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

${\displaystyle {\tfrac {d}{dt}}s(t)=\mathrm {Lift} _{s(t)}\left({\tfrac {d}{dt}}c(t)\right)}$

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

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

${\displaystyle ((x^{1},\ldots ,x^{m}),(y^{1},\ldots ,y^{n}))\in U\times V\subset E}$

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

水平リフトは${\displaystyle \pi ~:~E\to M}$の右逆写像であった事から、${\displaystyle X=X^{k}{\tfrac {\partial }{\partial x^{k}}}}$をU上のベクトル場とすると、${\displaystyle e\in E}$における水平リフトは何らかの実数の組${\displaystyle (\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}}}$

という形に成分表示できる^{[22][注 8]}。共変微分とリフトの関係性から、簡単な計算により、以下の定理を示すことができる：

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

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

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

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

を導入したが、同様にして水平方向への射影

${\displaystyle H_{e}~:~T_{e}E\to {\mathcal {H}}_{e}}$

も定義できる。

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

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

${\displaystyle \Omega =-{1 \over 2}[V,V]_{FN}=-{1 \over 2}[H,H]_{FN}}$

とも書き表せる^{[27][注 10]}。 さらに曲率形式に対する下記の（第二）ビアンキ恒等式が成立する事も示せる^[27]

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

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

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

${\displaystyle \nabla _{v}s=0}$

を満たすとき、sは平坦(英: flat)であるという^[28]。

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

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

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

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

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

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

${\displaystyle {\hat {\partial }}_{i}:=\varphi _{*}(\partial _{i})}$、${\displaystyle \partial _{i}^{*}:=\mathrm {Lift} ({\hat {\partial }}_{i})}$

とする。${\displaystyle c(t)}$を${\displaystyle \mathbb {R} ^{2}}$上の以下のような閉曲線とする：${\displaystyle O\in \mathbb {R} ^{2}}$から${\displaystyle t}$だけ右に動き、${\displaystyle t}$だけ上に動き、${\displaystyle t}$だけ左に動き、${\displaystyle t}$だけ下に動く。

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

${\displaystyle e_{t}=\Phi _{2}^{-t}\circ \Phi _{1}^{-t}\circ \Phi _{2}^{t}\circ \Phi _{1}^{t}(e)}$ where ${\displaystyle \Phi _{i}^{t}:=\exp(t\partial _{i}^{*})}$

に等しい。この${\displaystyle e_{t}}$を使って曲率形式を特徴づける事ができる：

クリストッフェル写像の節と同様に、Eの元がMの局所座標${\displaystyle (x^{1},\ldots ,x^{m})}$およびEの垂直方向の局所座標${\displaystyle (y^{1},\ldots ,y^{n})}$の組${\displaystyle ((x^{1},\ldots ,x^{m}),(y^{1},\ldots ,y^{n}))}$で書き表されているとし、${\displaystyle 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}}}$

と成分表示する。さらにクリストッフェル写像の節と同様、${\displaystyle 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}}}$

と書く。

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

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

${\displaystyle \varphi _{c}~:~E_{x_{0}}\to E_{x_{0}}}$

を定義できる。

さらに以下を定義する：

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

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

${\displaystyle e\in E_{u}\mapsto \mathrm {Lift} _{e}(v)\in {\mathcal {H}}_{e}\subset T_{e}E}$

をファイバー${\displaystyle E_{u}}$上の切断とみなしたものを${\displaystyle \mathrm {Lift} (v_{u})}$と書く。

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

${\displaystyle \Omega (\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))\in VE=TE_{u}}$

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

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

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

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

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

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

${\displaystyle {\begin{array}{ccc}f^{*}E&{\overset {\tilde {f}}{\to }}&E\\\downarrow \pi '&\circlearrowright &\downarrow \pi \\N&{\overset {f}{\to }}&M\end{array}}}$

が定義できる。

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

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

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