接続 (微分幾何学)

数学 > 幾何学 > 多様体論 > 微分幾何学 > 接続 (微分幾何学) 微分幾何学において接続（せつぞく、英: connection）とは、多様体のファイバーバンドル上に平行移動の概念を定義する事ができる数学的構造である。ただし数学的な取り扱いを容易にするため、平行移動の概念で直接的に接続を定義するのではなく、実質的に等価な別概念を用いて接続を定義する。 接続概念はゲージ理論やチャーン・ヴェイユ理論で用いられる。特にチャーン・ヴェイユ理論の特殊ケースとして、曲面に関する古典的なガウス・ボンネの定理を一般の偶数次元多様体に拡張するのに役立つ。 接続は元々はクリストッフェル並びにレヴィ-チヴィタ、リッチによってリーマン多様体上に導入された概念（レヴィ-チヴィタ接続）であるが、一般のベクトルバンドル上の接続（Koszul接続）や主バンドルの接続（主接続）にも拡張され、さらに一般のファイバーバンドルの接続へと拡張された。ただし実際に研究が進んでいるのは、ベクトルバンドルとその主バンドルに対する接続概念である。 以下、本項では特に断りがない限り、多様体、関数、バンドル等は全てC∞級の場合を考える。よって紛れがなければ「C∞級」を省略して単に多様体、関数、バンドル等という。また特に断りがない限りベクトル空間は実数体上のものを考える。 多様体M上のベクトル場YとM上の c ( t ) {\displaystyle c(t)} に対し、Yの c ( t ) {\displaystyle c(t)} に沿った「方向微分」を定義することを考える。ユークリッド空間における微分を参考にすると、 lim Δ t → 0 Y c ( t + Δ t ) − Y c ( t ) Δ t {\displaystyle \lim _{\Delta t\to 0}{Y_{c(t+\Delta t)}-Y_{c(t)} \over \Delta t}} のように定義するのがよいように思えるが、多様体上では c ( t + Δ t ) {\displaystyle c(t+\Delta t)} と c ( t ) {\displaystyle c(t)} は別の点なので、両者の差 Y c ( t + Δ t ) − Y c ( t ) {\displaystyle Y_{c(t+\Delta t)}-Y_{c(t)}} は意味も持たない。しかし Y c ( t + Δ t ) {\displaystyle Y_{c(t+\Delta t)}} を c ( t ) {\displaystyle c(t)} まで「平行移動」できれば、平行移動の結果 τ t t + Δ t ( Y c ( t + Δ t ) ) {\displaystyle \tau _{t}{}^{t+\Delta t}(Y_{c(t+\Delta t)})} と Y c ( t ) {\displaystyle Y_{c(t)}} の差を取る事で「方向微分」を定義でき、これをYの c ( t ) {\displaystyle c(t)} に沿った共変微分 ∇ d t Y c ( t ) {\displaystyle {\tfrac {\nabla }{dt}}Y_{c(t)}} という。 逆に c ( t ) {\displaystyle c(t)} に沿った共変微分 ∇ d t Y c ( t ) {\displaystyle {\tfrac {\nabla }{dt}}Y_{c(t)}} が定義できていれば、 ∇ d t Y c ( t ) = 0 {\displaystyle {\frac {\nabla }{dt}}Y_{c(t)}=0} が恒等的に成立している事をもって、Yは c ( t ) {\displaystyle c(t)} に沿って平行と呼ぶことで平行の概念を定義できる。 このように平行移動と共変微分は実質的に同値な概念であり、多様体のベクトル場に対して平行移動・共変微分を定義できる構造を多様体（の接バンドル）の接続という。 接続概念から定まる平行移動により、（何ら構造が定義されていない）多様体では無関係なはずの点 c ( t + Δ t ) {\displaystyle c(t+\Delta t)} におけるベクトル Y c ( t + Δ t ) {\displaystyle Y_{c(t+\Delta t)}} を c ( t ) {\displaystyle c(t)} におけるベクトル Y c ( t ) {\displaystyle Y_{c(t)}} と「接続」して関係づける事ができ、これが「接続」という用語の語源である。 上では接バンドルに対する接続を説明したが、より一般にベクトルバンドルの接続、あるいはさらに一般にファイバーバンドルの接続を考える事ができる。上述のように平行移動と共変微分は実質的に同値な概念なので、平行移動・共変微分のうち、定義しやすい方をもとにして接続概念を定義すればよい。 そこでベクトルバンドルの場合は共変微分を、一般のファイバーバンドルの場合は平行移動をベースにして接続概念を定義する。 接続によって定まるもう一つの重要概念として曲率があり、これはファイバーバンドルの「曲がり具合」を表している。特に接ベクトルバンドルの曲率は多様体それ自身の「曲がり具合」とみなせる。曲率概念は歴史的には3次元ユークリッド空間 R 3 {\displaystyle \mathbb {R} ^{3}} 内の曲面に対して定義されたものだが、実は「外の空間」である R 3 {\displaystyle \mathbb {R} ^{3}} がなくても定義できる曲面に内在的な量である事が示されたので、これを一般のリーマン多様体（の接ベクトルバンドル）、さらには一般のファイバーバンドルに対して拡張したものである。多様体に内在的な量としてみなしたとき、曲率の幾何学的意味は、閉曲線に沿ってベクトルを一周平行移動したとき、もとのベクトルとどの程度ずれるかを測った量であるとみなせる。 本節ではまずリーマン多様体の接続であるレヴィ-チヴィタ接続の定義を述べ、次により一般的なベクトルバンドルに対する接続の定義を述べる。 Mを R n {\displaystyle \mathbb {R} ^{n}} の部分多様体とし、 c ( t ) {\displaystyle c(t)} をM上の曲線とし、さらに v ( t ) {\displaystyle v(t)} を c ( t ) {\displaystyle c(t)} 上定義されたMのベクトル場とし（すなわち各時刻tに対し、 v ( t ) {\displaystyle v(t)} は v ( t ) ∈ T c ( t ) M {\displaystyle v(t)\in T_{c(t)}M} を満たすとし）、 ∇ d t v ( t ) := P r c ( t ) ( d d t v c ( t ) ) {\displaystyle {\nabla \over dt}v(t):=\mathrm {Pr} _{c(t)}\left({d \over dt}v_{c(t)}\right)} と定義する。ここでPrはMの点c(t)における R n {\displaystyle \mathbb {R} ^{n}} 内の接平面（と自然に同一視可能なTc(t)M）への射影である。またX、YをM上のベクトル場とするとき、 ∇ X Y | P := ∇ d t Y exp ⁡ ( t X ) ( P ) {\displaystyle \nabla _{X}Y|_{P}:={\nabla \over dt}Y_{\exp(tX)(P)}} と定義する。ここで exp ⁡ ( t X ) ( P ) {\displaystyle \exp(tX)(P)} は時刻0に点 P ∈ M {\displaystyle P\in M} を通るXの積分曲線である。実はこれらの量はMの内在的な量である事、すなわち R n {\displaystyle \mathbb {R} ^{n}} からMに誘導されるリーマン計量（とその偏微分）のみから計算できる事が知られている。 具体的にはMに局所座標 ( x 1 , … , x m ) {\displaystyle (x^{1},\ldots ,x^{m})} を取ると、以下のように書ける（アインシュタインの縮約で表記）： ∇ d t v ( t ) = ( d d t v i ( t ) + d x j ( t ) d t v k ( t ) Γ j k i ) ∂ ∂ x i {\displaystyle {\nabla \over dt}v(t)=\left({d \over dt}v^{i}(t)+{dx^{j}(t) \over dt}v^{k}(t)\Gamma _{jk}^{i}\right){\partial \over \partial x^{i}}} ∇ X Y = ( X j ∂ Y i ∂ x j + X j Y k Γ j k i ) ∂ ∂ x i {\displaystyle \nabla _{X}Y=\left(X^{j}{\partial Y^{i} \over \partial x^{j}}+X^{j}Y^{k}\Gamma _{jk}^{i}\right){\partial \over \partial x^{i}}} 　　　where Γ j k i = 1 2 g i ℓ ( ∂ g k ℓ ∂ x j + ∂ g ℓ j ∂ x k − ∂ g j k ∂ x ℓ ) {\displaystyle \Gamma _{jk}^{i}={\frac {1}{2}}g^{i\ell }\left({\partial g_{k\ell } \over \partial x^{j}}+{\partial g_{\ell j} \over \partial x^{k}}-{\partial g_{jk} \over \partial x^{\ell }}\right)} そこで ∇ d t v ( t ) {\displaystyle {\tfrac {\nabla }{dt}}v(t)} や ∇ X Y {\displaystyle \nabla _{X}Y} をリーマン多様体 ( M , g ) {\displaystyle (M,g)} に内在的な値とみなしたものを考える事ができる。 ∇ X Y {\displaystyle \nabla _{X}Y} は以下の公理で特徴づけられる事が知られている： 定理 (リーマン幾何学の基本定理) ― M上のベクトル場の組にM上のベクトル場を対応させる汎関数∇で以下の5つの性質をすべて満たすものが唯一存在する。このを ( M , g ) {\displaystyle (M,g)} のレヴィ-チヴィタ接続といい、 ∇ X Y {\displaystyle \nabla _{X}Y} をレヴィ-チヴィタ接続から定まるYのXによる共変微分という： ∇ f X + g Y Z = f ∇ X Z + g ∇ Y Z {\displaystyle \nabla _{fX+gY}Z=f\nabla _{X}Z+g\nabla _{Y}Z} (関数に関する左線形性) ∇ X ( a Y + b Z ) = a ∇ X Y + b ∇ X Z {\displaystyle \nabla _{X}(aY+bZ)=a\nabla _{X}Y+b\nabla _{X}Z} (実数に関する右線形性)　 ∇ X ( f Y ) = X ( f ) Y + f ∇ X Y {\displaystyle \nabla _{X}(fY)=X(f)Y+f\nabla _{X}Y} 　（ライプニッツ則） ∇ X Y − ∇ Y X = [ X , Y ] {\displaystyle \nabla _{X}Y-\nabla _{Y}X=[X,Y]} (捻れなし） Z ( g ( X , Y ) ) = g ( ∇ Z X , Y ) + g ( X , ∇ Z Y ) {\displaystyle Z(g(X,Y))=g(\nabla _{Z}X,Y)+g(X,\nabla _{Z}Y)} （計量との両立） ここでX、Y、ZはM上の任意の可微分なベクトル場であり、f、gはM上定義された任意の実数値C∞級関数であり、a、bは任意の実数であり、 f Y {\displaystyle fY} は点 u ∈ M {\displaystyle u\in M} において f ( u ) Y u {\displaystyle f(u)Y_{u}} となるベクトル場であり、 X ( f ) {\displaystyle X(f)} はfのX方向微分であり、 [ X , Y ] {\displaystyle [X,Y]} はリー括弧（英語版）である。 ∇ d t v ( t ) {\displaystyle {\tfrac {\nabla }{dt}}v(t)} は ∇ X Y {\displaystyle \nabla _{X}Y} を曲線上に制限したものとして定義できる。 π   :   E → M {\displaystyle \pi ~:~E\to M} を可微分多様体M上のベクトルバンドルとし（E、Mのいずれにもリーマン計量が入っているとは限らない）、 Γ ( E ) {\displaystyle \Gamma (E)} をEの切断全体の集合とし、 X ( M ) := Γ ( T M ) {\displaystyle {\mathcal {X}}(M):=\Gamma (TM)} をM上のベクトル場全体の集合とする。 ベクトルバンドルの接続は前述したレヴィ-チヴィタ接続の公理的特徴づけの5つの性質のうち3つを使って定義される。 定義 (ベクトルバンドルの接続) ― 関数 ∇   :   ( X , s ) ∈ X ( M ) × Γ ( E ) ↦ ∇ X s ∈ Γ ( E ) {\displaystyle \nabla ~:~(X,s)\in {\mathfrak {X}}(M)\times \Gamma (E)\mapsto \nabla _{X}s\in \Gamma (E)} で以下の性質を満たすものをE上のKoszul接続（英: Koszul connection）あるいは単に接続（英: connection）といい、 ∇ X s {\displaystyle \nabla _{X}s} を接続 ∇ {\displaystyle \nabla } が定めるsのX方向の共変微分という： ∇ f 1 X + f 2 Y s = f 1 ∇ X s + f 2 ∇ Y s {\displaystyle \nabla _{f_{1}X+f_{2}Y}s=f_{1}\nabla _{X}s+f_{2}\nabla _{Y}s} (関数に関する左線形性) ∇ X ( a s 1 + b s 2 ) = a ∇ X s 1 + b ∇ X s 2 {\displaystyle \nabla _{X}(as_{1}+bs_{2})=a\nabla _{X}s_{1}+b\nabla _{X}s_{2}} (実数に関する右線形性)　 ∇ X ( f s ) = X ( f ) s + f ∇ X s {\displaystyle \nabla _{X}(fs)=X(f)s+f\nabla _{X}s} 　（ライプニッツ則） Mの接ベクトルバンドルTMの接続の事を特にアフィン接続（英: affine connection）という。 ここでX、YはM上の任意のベクトル場であり、s、s1、s2はEの任意の切断であり、a、bは実数であり、f、f1、f2はM上定義された任意の実数値可微分関数であり、 f s {\displaystyle fs} は点uにおいて f ( u ) s u {\displaystyle f(u)s_{u}} となるEの切断であり、 X ( f ) {\displaystyle X(f)} はfのX方向微分である。 上述の定義から、一般のベクトルバンドルの接続もレヴィ-チヴィタ接続と同様、 ∇ X s = ( X j ∂ s i ∂ x j + X j s k Γ j k i ) e i {\displaystyle \nabla _{X}s=\left(X^{j}{\partial s^{i} \over \partial x^{j}}+X^{j}s^{k}\Gamma _{jk}^{i}\right)e_{i}} という形で書ける。ここで ( x 1 , … , x m ) {\displaystyle (x^{1},\ldots ,x^{m})} はMの局所座標であり、 ( e 1 , … , e n ) {\displaystyle (e_{1},\ldots ,e_{n})} はEの局所的な基底である。ただしもちろんレヴィ-チヴィタ接続と違い Γ i j k {\displaystyle \Gamma ^{i}{}_{jk}} は計量で書けるとは限らない。 さらに以下の定義をする： 定義 ―  E上に計量gが定義されているとき、レヴィ-チヴィタ接続の公理的特徴づけの4番目の性質を満たす ∇ {\displaystyle \nabla } をgと両立する接続（英語版）という E = T M {\displaystyle E=TM} である場合、すなわち ∇ {\displaystyle \nabla } がアフィン接続の場合、レヴィ-チヴィタ接続の公理的特徴づけの5番目の性質を満たす ∇ {\displaystyle \nabla } を捩れなしであるという。 リーマン幾何学の基本定理から、レヴィ-チヴィタ接続とは、唯一の計量と両立する捻れなしのアフィン接続として特徴づけられる。 Mの曲線 c ( t ) = ( x 1 ( t ) , … , x m ( t ) ) {\displaystyle c(t)=(x^{1}(t),\ldots ,x^{m}(t))} 上に切断 s ( t ) {\displaystyle s(t)} が定義されているとき、接続の成分表示の X = X i ∂ ∂ x i {\displaystyle X=X^{i}{\tfrac {\partial }{\partial x^{i}}}} を形式的に d c d t = d x i d t ∂ ∂ x i {\displaystyle {\tfrac {dc}{dt}}={\tfrac {dx^{i}}{dt}}{\tfrac {\partial }{\partial x^{i}}}} に置き換えた ∇ d t s = ( d x j d t ∂ s i ∂ x j + d x j d t s k Γ j k i ) ∂ ∂ x i {\displaystyle {\nabla \over dt}s=\left({dx^{j} \over dt}{\partial s^{i} \over \partial x^{j}}+{dx^{j} \over dt}s^{k}\Gamma _{jk}^{i}\right){\partial \over \partial x^{i}}} を、曲線 c ( t ) {\displaystyle c(t)} に沿った共変微分という。この定義は基底の取り方によらずwell-definedである。 π   :   E → M {\displaystyle \pi ~:~E\to M} をベクトルバンドルとし、Mの曲線 c ( t ) {\displaystyle c(t)} 上定義されたM上のベクトル場 v ( t ) {\displaystyle v(t)} が ∇ d t v ( t ) = 0 {\displaystyle {\nabla \over dt}v(t)=0} を恒等的に満たすとき、 v ( t ) {\displaystyle v(t)} は c ( t ) {\displaystyle c(t)} 上平行であるという。また、 c ( t 0 ) {\displaystyle c(t_{0})} 上の接ベクトル w 0 ∈ T c ( t 0 ) M {\displaystyle w_{0}\in T_{c(t_{0})}M} と c ( t 1 ) {\displaystyle c(t_{1})} 上の接ベクトル w 1 ∈ T c ( t 1 ) M {\displaystyle w_{1}\in T_{c(t_{1})}M} に対し、 v ( t 0 ) = w 0 {\displaystyle v(t_{0})=w_{0}} 、 v ( t 1 ) = w 1 {\displaystyle v(t_{1})=w_{1}} を満たす c ( t ) {\displaystyle c(t)} 上の平行なベクトル場 v ( t ) {\displaystyle v(t)} が存在するとき、 w 1 {\displaystyle w_{1}} は w 0 {\displaystyle w_{0}} を c ( t ) {\displaystyle c(t)} に沿って平行移動（英: parallel transportation along c ( t ) {\displaystyle c(t)} ）した接ベクトルであるという。 ユークリッド空間の平行移動と異なる点として、どの経路 c ( t ) {\displaystyle c(t)} に沿って平行移動したかによって結果が異なる事があげられる。この現象をホロノミー（英語版）（英: holonomy）という。 右図はホロノミーの具体例であり、接ベクトルを大円で囲まれた三角形に沿って一周したものを図示しているが、一周すると元のベクトルと90度ずれてしまっている事が分かる。 c ( t ) {\displaystyle c(t)} に沿って w 0 ∈ T c ( 0 ) M {\displaystyle w_{0}\in T_{c(0)}M} を c ( t ) {\displaystyle c(t)} まで平行移動したベクトルを φ c , t ( v ) ∈ T c ( t ) M {\displaystyle \varphi _{c,t}(v)\in T_{c(t)}M} とすると φ c , t   :   T c ( 0 ) M → T c ( t ) M {\displaystyle \varphi _{c,t}~:~T_{c(0)}M\to T_{c(t)}M} は線形変換である。また共変微分は平行移動で特徴づけられる： 定理 (共変微分の平行移動による特徴づけ) ― 多様体M上の曲線 c ( t ) {\displaystyle c(t)} とMのベクトルバンドルEの c ( t ) {\displaystyle c(t)} に沿った切断 s ( t ) ∈ E c ( t ) {\displaystyle s(t)\in E_{c(t)}} を考えるとき、 c ( t ) {\displaystyle c(t)} に沿った平行移動を φ a , t {\displaystyle \varphi _{a,t}} とすると、以下が成立する： ∇ s d t ( a ) {\displaystyle {\nabla s \over dt}(a)} = d d t φ a , t − 1 ( s ( t ) ) | t = a {\displaystyle =\left.{d \over dt}\varphi _{a,t}{}^{-1}(s(t))\right|_{t=a}} 上述のように平行移動があれば共変微分が定義できるので、一般のファイバーバンドルではむしろ平行移動に基づいて接続概念を定義する。 E上に計量gが定義されていてしかも∇が計量と両立しているとすると、以下が成立する： 定理 ―  平行移動は計量を保つ。すなわちM上の曲線 c ( t ) {\displaystyle c(t)} に沿った平行移動を φ c , t {\displaystyle \varphi _{c,t}} とすると、任意の v , w ∈ E c ( 0 ) {\displaystyle v,w\in E_{c(0)}} に対し、以下が成立する： g ( φ c , t ( v ) , φ c , t ( w ) ) = g ( v , w ) {\displaystyle g(\varphi _{c,t}(v),\varphi _{c,t}(w))=g(v,w)} 本章では接続∇の「接続形式」という概念を述べる。本章で述べるように、むしろ接続形式から接続を定義したほうが数学的な構造を探る上で有利な点があり、このアイデアに沿って接続を定式化したのが後の章で述べる主バンドルの接続概念である。 ( e 1 , … , e m ) {\displaystyle (e_{1},\ldots ,e_{m})} を開集合 U ⊂ M {\displaystyle U\subset M} 上で定義されたEの局所的な基底とするとき、接続形式を以下のように定義する： 定義 (接続形式) ― 行列 ω ( X ) {\displaystyle \omega (X)} を ( ∇ X e 1 , … , ∇ X e m ) = ( e 1 , … , e m ) ω ( X ) {\displaystyle (\nabla _{X}e_{1},\ldots ,\nabla _{X}e_{m})=(e_{1},\ldots ,e_{m})\omega (X)} により定義し、Xに ω ( X ) {\displaystyle \omega (X)} を対応させる行列値の1-形式 ω = ( ω i j ) i j {\displaystyle \omega =(\omega ^{i}{}_{j})_{ij}} を局所的な基底 ( e 1 , … , e m ) {\displaystyle (e_{1},\ldots ,e_{m})} に関する接続∇の接続形式（英: connection form）という 接続形式が与えられれば ∇ X s = X ( s j ) e j + s j ω i j ( X ) e i {\displaystyle \nabla _{X}s=X(s^{j})e_{j}+s^{j}\omega ^{i}{}_{j}(X)e_{i}} により接続を再現できるので、この意味において接続形式は接続∇の情報をすべて含んでいる。 接続概念において重要な役割を果たす平行移動の概念は接続形式ωと強く関係しており、底空間Mの曲線 c ( t ) {\displaystyle c(t)} に沿って定義された局所的な基底 ( e 1 ( t ) , … , e n ( t ) ) {\displaystyle (e_{1}(t),\ldots ,e_{n}(t))} をtで微分したものが接続形式 ω ( d c d t ( 0 ) ) {\displaystyle \omega ({\tfrac {dc}{dt}}(0))} に一致する。 よって特に（レヴィ・チヴィタ接続などの）∇がEの計量と両立する接続の場合、∇による平行移動は回転変換、すなわち S O ( n ) {\displaystyle SO(n)} の元なので、その微分である接続形式ωは S O ( n ) {\displaystyle SO(n)} のリー代数 s o ( n ) {\displaystyle {\mathfrak {so}}(n)} の元、すなわち歪対称行列である： 定理 ― ∇がE上の計量と両立するとき、 ( e 1 , … , e n ) {\displaystyle (e_{1},\ldots ,e_{n})} をEの局所的な正規直交基底とすると、 ( e 1 , … , e n ) {\displaystyle (e_{1},\ldots ,e_{n})} に関する接続形式ωは s o ( n ) {\displaystyle {\mathfrak {so}}(n)} の元である。すなわちωは歪対称行列である。 このように接続形式を用いるとベクトルバンドルの構造群（上の例では S O ( n ) {\displaystyle SO(n)} ）が接続形式の構造をリー群・リー代数対応により支配している事が見えやすくなる。 上では回転群 S O ( n ) {\displaystyle \mathrm {SO} (n)} の場合を説明したが、 G L n ( C ) {\displaystyle \mathrm {GL} _{n}(\mathbb {C} )} （を自然に G L 2 n ( R ) {\displaystyle \mathrm {GL} _{2n}(\mathbb {R} )} の部分群とみなしたもの）や U n ( C ) {\displaystyle \mathrm {U} _{n}(\mathbb {C} )} 、物理学で重要なシンプレクティック群やスピン群に対しても同種の性質が証明でき、接続形式がリー群・リー代数対応により支配されている事がわかる。 こうした事実は接続概念を直接リー群と接続形式とで記述する方が数学的に自然である事を示唆する。後で説明する、リー群の主バンドルに対する接続はこのアイデアを定式化したもので、主バンドルの接続は接続形式に相当するものを使って定義される。 そこで本項では、まずベクトルバンドルの接続と主バンドルの接続の両方を包括する概念であるファイバーバンドルの接続概念を導入する。この概念は「そもそも平行移動とは何か」を直接的に定式化したもので、この概念それ自身が接続形式の言葉で記述されるわけではない。 そして次にファイバーバンドルの接続概念を用いて主バンドルの接続概念を定義すると同時に、主バンドルの接続を接続形式の言葉で再定式化し、ベクトルバンドルの接続と主バンドルの接続の接続形式の言葉で記述する。 主バンドルの接続を定義する前準備として、一般のファイバーバンドルに対する接続を定義する。後述するように、主バンドルの接続はファイバーバンドルに対する接続で群作用に対して普遍になるものである。 すでに述べたように研究が進んでいるのばベクトルバンドルの接続なので、そのような目的のためにはこの一般の接続概念は必要ない。しかしファイバーバンドルの接続により、ベクトルバンドルの接続と次章に述べる主バンドルの接続とを統一的な視点から語る事ができるようになり、主バンドルの接続に基づいてベクトルバンドルの接続の性質をそれに対応する主バンドルの接続と対応付けて調べる事ができる。 π   :   E → M {\displaystyle \pi ~:~E\to M} をベクトルバンドルとし、∇をこのバンドルのKoszul接続とする。M上の任意の曲線c(t)とc(t)上の任意の切断s(t)で平行なものに対し、s(t)をE上の曲線とみなしたときに d s d t {\displaystyle {\tfrac {ds}{dt}}} が入るTeEの部分空間を「水平部分空間」と呼ぶ。 以上のように接続∇から水平部分空間が定まるが、逆に水平部分空間の情報があれば接続を再現できる事も知られている。 このことからベクトルバンドルの場合は接続概念は水平部分空間の概念は等価なので、一般のファイバーバンドルに対する接続を水平部分空間の概念を用いて定義する事にする。 以上の考察を元に、ファイバーバンドルの接続を定義する。そのためにまず「垂直部分空間」という概念を定義する。 π   :   E → M {\displaystyle \pi ~:~E\to M} をファイバーFを持つファイバーバンドルとし、e∈EをEの元とするとしπが誘導する写像を π ∗   :   T E → T M {\displaystyle \pi _{*}~:~TE\to TM} とするとき、 V e := { ξ ∈ T e E ∣ π ∗ ( ξ ) = 0 } = T e ( E π ( e ) ) {\displaystyle {\mathcal {V}}_{e}:=\{\xi \in T_{e}E\mid \pi _{*}(\xi )=0\}=T_{e}(E_{\pi (e)})} を、eにおけるTeEの垂直部分空間（英: vertical subspace）という。そしてファイバーバンドルの接続を以下のように定義する： 定義 (接続) ―  ファイバーバンドル π   :   E → M {\displaystyle \pi ~:~E\to M} の（C∞級の）接続(英: connection) { H e } e ∈ E {\displaystyle \{{\mathcal {H}}_{e}\}_{e\in E}} とは、Eの各点eにおけるTeMの部分空間 H e {\displaystyle {\mathcal {H}}_{e}} の族でeに関してC∞級であり、以下の性質を満たすものである： T e E = V e ⊕ H e {\displaystyle T_{e}E={\mathcal {V}}_{e}\oplus {\mathcal {H}}_{e}} H e {\displaystyle {\mathcal {H}}_{e}} をeにおける水平部分空間（英: horizontal subspace）という。 ファイバーバンドルの接続のことをエーレスマン接続（英: Ehresmann conection）と呼ぶ場合があるが、主バンドルに対する接続の事を「エーレスマン接続」と読んでいる書籍もあるので注意が必要である。なお主バンドル上においても両者の概念は同値ではなく、ファイバーバンドルの接続のうち構造群の作用に関して不変なものを主バンドルの接続と呼ぶ。 両者の区別のため、一般のファイバーバンドルの接続を一般の接続（英: general connection）、主バンドルの接続を主接続（英: principal connection）と呼ぶ場合がある。 またファイバーバンドルの接続のうち、完備なもののみを「エーレスマン接続」と呼ぶ場合もある。なおエーレスマン自身による定義では完備性を仮定していた。 π   :   E → M {\displaystyle \pi ~:~E\to M} をファイバーバンドルとし、 { H e } e ∈ E {\displaystyle \{{\mathcal {H}}_{e}\}_{e\in E}} をその接続とする。 定義 ―  M上の曲線 c ( t ) {\displaystyle c(t)} 上定義された切断 s ( t ) {\displaystyle s(t)} が平行であるとは、 d s d t ( t ) ∈ H s ( t ) {\displaystyle {ds \over dt}(t)\in {\mathcal {H}}_{s(t)}} が任意のtに対して成立する事をいう。 接続の定義から、 π ∗ | H e : |   H e → T π ( e ) M {\displaystyle \pi _{*}|_{{\mathcal {H}}_{e}}:|~{\mathcal {H}}_{e}\to T_{\pi (e)}M} はベクトル空間としての同型であるので、この逆写像 L i f t e   :   T π ( e ) M → H e {\displaystyle \mathrm {Lift} _{e}~:~T_{\pi (e)}M\to {\mathcal {H}}_{e}} を考える事ができる。 L i f t e ( v ) {\displaystyle \mathrm {Lift} _{e}(v)} を v ∈ T π ( e ) M {\displaystyle v\in T_{\pi (e)}M} のeへの水平リフト（英: horizontal lift）という。水平リフトの定義から明らかなように、切断 s ( t ) {\displaystyle s(t)} が平行である必要十分条件は d d t s ( t ) = L i f t s ( t ) ( d d t c ( t ) ) {\displaystyle {\tfrac {d}{dt}}s(t)=\mathrm {Lift} _{s(t)}\left({\tfrac {d}{dt}}c(t)\right)} を満たす事である。 定理 ― sをMの開集合上で定義された切断とし、XをMのベクトル場とするとき ∇ X s = s ∗ ( X ) − L i f t ( X ) {\displaystyle \nabla _{X}s=s_{*}(X)-\mathrm {Lift} (X)} をsのX方向の共変微分という。 同様にM上の曲線 c ( t ) {\displaystyle c(t)} に沿った切断 s ( t ) {\displaystyle s(t)} に対し、 s ( t ) {\displaystyle s(t)} の c ( t ) {\displaystyle c(t)} に沿った共変微分を ∇ d t s ( t ) = d d t s ( t ) − L i f t s ( t ) ( d d t c ( t ) ) {\displaystyle {\frac {\nabla }{dt}}s(t)={\frac {d}{dt}}s(t)-\mathrm {Lift} _{s(t)}({\frac {d}{dt}}c(t))} により定義する。この事からすなわち、共変微分 ∇ d t s ( t ) {\displaystyle {\tfrac {\nabla }{dt}}s(t)} とは、平行移動からのズレを表す量である事がわかる。 ベクトルバンドルのKoszul接続から一般の接続概念が得られる事をすでに見たが、逆にベクトルバンドル上の（一般の）接続が定める共変微分がKoszul接続の公理を満たす条件は以下の通りである： 定理 (Koszul接続の条件) ―  π   :   E → M {\displaystyle \pi ~:~E\to M} をベクトルバンドルとし、 { H e } e ∈ E {\displaystyle \{{\mathcal {H}}_{e}\}_{e\in E}} を π   :   E → M {\displaystyle \pi ~:~E\to M} のファイバーバンドルとしての接続する。さらに ϕ   :   V e → ~ E π ( e ) {\displaystyle \phi ~:~{\mathcal {V}}_{e}{\tilde {\to }}E_{\pi (e)}} を垂直部分空間 V e {\displaystyle {\mathcal {V}}_{e}} と E π ( e ) {\displaystyle E_{\pi (e)}} の自然な同一視とする。 このとき以下の条件は同値である： { H e } e ∈ E {\displaystyle \{{\mathcal {H}}_{e}\}_{e\in E}} が定義する共変微分を∇とすると、 ϕ ∘ ∇ {\displaystyle \phi \circ \nabla } はKoszul接続の公理を満たす。 任意の λ ∈ R {\displaystyle \lambda \in \mathbb {R} } 、 e ∈ E {\displaystyle e\in E} に対し、 H λ e = ( m λ ) ∗ ( H e ) {\displaystyle {\mathcal {H}}_{\lambda e}=(m_{\lambda })_{*}({\mathcal {H}}_{e})} ここでmλはベクトル e ∈ E {\displaystyle e\in E} をλ倍した λ e ∈ E {\displaystyle \lambda e\in E} に写す写像とする。 Koszul接続から一般の接続概念を誘導する方法と（上記の定理の条件を満たす）一般の接続概念からKoszul接続を誘導する方法は「逆写像」の関係にあり、上記の定理の条件を満たす一般の接続概念とKoszul接続は1:1に対応する。 主バンドルの接続は、ファイバーバンドルの接続で群作用に対して不変になるものである。すなわち、 定義 (主接続の定義) ― Gをリー群とし、 π   :   P → M {\displaystyle \pi ~:~P\to M} を構造群Gを持つ主バンドルとする。 π   :   P → M {\displaystyle \pi ~:~{\mathcal {P}}\to M} のC∞級の（主バンドルとしての）接続(英: connection)あるいは主接続（英: principal connection） { H p } p ∈ P {\displaystyle \{{\mathcal {H}}_{p}\}_{p\in P}} とは、Pの各点pにおけるTpMの部分空間 H p {\displaystyle {\mathcal {H}}_{p}} の族でpに関してC∞級であり、任意の p ∈ P {\displaystyle p\in P} に対し以下の性質を満たすものである： T p P = V p ⊕ H p {\displaystyle T_{p}P={\mathcal {V}}_{p}\oplus {\mathcal {H}}_{p}} 任意の g ∈ G {\displaystyle g\in G} に対し、 ( R g ) ∗ ( H p ) = H p g {\displaystyle (R_{g})_{*}({\mathcal {H}}_{p})={\mathcal {H}}_{pg}} ここで V p {\displaystyle {\mathcal {V}}_{p}} は垂直部分空間 V e := { ξ ∈ T e P ∣ π ∗ ( ξ ) = 0 } = T e ( P π ( e ) ) {\displaystyle {\mathcal {V}}_{e}:=\{\xi \in T_{e}P\mid \pi _{*}(\xi )=0\}=T_{e}(P_{\pi (e)})} であり、 ( R g ) ∗ {\displaystyle (R_{g})_{*}} は g ∈ G {\displaystyle g\in G} のPへの右からの作用 R g   :   p ∈ P → p g ∈ P {\displaystyle R_{g}~:~p\in P\to pg\in P} がTPに誘導する写像である。 H p {\displaystyle {\mathcal {H}}_{p}} をpにおける水平部分空間という。 本節では、前節で定義した主バンドルの接続概念をリー代数を使って特徴づける。後述するようにこちらの定義が自然にベクトルバンドルの接続と対応する。 そのために基本ベクトル場の概念を導入する。Gをリー群とし、 g {\displaystyle {\mathfrak {g}}} をそのリー代数とし、さらに π   :   P → M {\displaystyle \pi ~:~P\to M} をG-主バンドルとするとき、リー代数の元 A ∈ g {\displaystyle A\in {\mathfrak {g}}} と点 p ∈ P {\displaystyle p\in P} に対し、 A _ p := d d t ( p ⋅ e x p ( t A ) ) | t = 0 ∈ T p P {\displaystyle {\underline {A}}_{p}:=\left.{\frac {d}{dt}}(p\cdot \mathrm {exp} (tA))\right|_{t=0}\in T_{p}P} により、P上のベクトル場 A _ {\displaystyle {\underline {A}}} を定義する。 A _ {\displaystyle {\underline {A}}} をAに対応するP上の基本ベクトル場（英語版）（英: fundamental vector field on P associated to A）という。 基本ベクトル場の定義より明らかに各 p ∈ P {\displaystyle p\in P} に対し、写像 ζ p   :   A ∈ g ↦ A _ p ∈ V p {\displaystyle \zeta _{p}~:~A\in {\mathfrak {g}}\mapsto {\underline {A}}_{p}\in {\mathcal {V}}_{p}} は全単射であるので、ζpの写像の逆写像を考えることができる。この逆写像を分解 T p P = V p ⊕ H p {\displaystyle T_{p}P={\mathcal {V}}_{p}\oplus {\mathcal {H}}_{p}} の垂直部分空間への射影 V p   :   T p P → V p {\displaystyle V_{p}~:~T_{p}P\to {\mathcal {V}}_{p}} と合成する事で、 T p P → V p V p → ∼ ζ p − 1 g {\displaystyle T_{p}P{\underset {V_{p}}{\to }}{\mathcal {V}}_{p}{\underset {\zeta _{p}{}^{-1}}{\overset {\sim }{\to }}}{\mathfrak {g}}} を作る事ができる。この写像を g {\displaystyle {\mathfrak {g}}} に値を取る1-形式とみなしたものを ω p {\displaystyle \omega _{p}} とし、各点pにωpを対応させるP上の g {\displaystyle {\mathfrak {g}}} 値1-形式の場ωを接続形式（英: connection form）という。 以上の議論から明らかに垂直射影からωが定まり、逆にωから垂直射影が定まるのでωによって接続概念を定式化できる： 定義・定理 (接続形式) ― Mを多様体、Gをリー群とし、 g {\displaystyle {\mathfrak {g}}} をGのリー代数とし、さらに P {\displaystyle P} をM上のG-主バンドルとする。 P {\displaystyle P} 上定義された g {\displaystyle {\mathfrak {g}}} -値の1-形式のC∞級の場 ω   :   T P → g {\displaystyle \omega ~:~TP\to {\mathfrak {g}}} で以下を満たすものを P {\displaystyle P} の接続形式という： 任意の A ∈ g {\displaystyle A\in {\mathfrak {g}}} 、 p ∈ P {\displaystyle p\in P} に対し、 ω p ( A _ p ) = A {\displaystyle \omega _{p}({\underline {A}}_{p})=A} 任意の g ∈ G {\displaystyle g\in G} 、 p ∈ P {\displaystyle p\in P} に対し、 ( R g ) ∗ ω p = ( A d g − 1 ) ω p {\displaystyle (R_{g})^{*}\omega _{p}=(\mathrm {Ad} g^{-1})\omega _{p}} ここで ( R g ) ∗ {\displaystyle (R_{g})_{*}} は g ∈ G {\displaystyle g\in G} のPへの右からの作用 R g   :   p ∈ P → p g ∈ P {\displaystyle R_{g}~:~p\in P\to pg\in P} がTPに誘導する写像であり、Adは随伴表現（英: adjoint representation） A d ( g )   :   d h d t ( 0 ) ∈ g ↦ d d t g h ( t ) g − 1 | t = 0 ∈ 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}}} である。 主バンドルとしての接続から前述の方法でPの接続形式が定まり、逆に接続形式ωが0になる方向を水平方向とすることでPに主バンドルとしての接続が再現できるので、両者の定義は同値である。 本節では接続形式の章で述べたアイデアに基づいて、ベクトルバンドルの接続（Koszul接続）と主バンドルの接続（主接続）の関係を述べる。 接続形式の章で見た S O ( n ) {\displaystyle \mathrm {SO} (n)} のケースだけでなく G L n ( R ) {\displaystyle \mathrm {GL} _{n}(\mathbb {R} )} の部分リー群Gに対して両者の関係性を示すため、本章ではまず「G-フレーム」、および「G-フレームバンドル（英語版）」という概念を導入する。「G-フレーム」はGが S O ( n ) {\displaystyle \mathrm {SO} (n)} の場合は正規直交基底に相当するものであり、G-フレームバンドルはG-フレームを束ねてできるバンドルであり、自然にG-主バンドルとみなせる。 次に本章ではEのフレームバンドル上の接続からEのKoszul接続が定まる事を見る。そして構造群Gを持つベクトルバンドルの接続がGと「両立する」事を定義し、最後にG-フレームバンドルの接続の接続形式とベクトルバンドルのGと両立する接続の接続形式が1対1の関係にある事を見る。 「G-フレーム」とは正規直交基底の概念を一般化したもので、Gが S O ( n ) {\displaystyle \mathrm {SO} (n)} の場合、G-フレームが正規直交基底に相当する。 定義 ― Gを G L n ( R ) {\displaystyle \mathrm {GL} _{n}(\mathbb {R} )} の部分リー群とし、 π   :   E → M {\displaystyle \pi ~:~E\to M} を構造群Gを持つベクトルバンドルとし、uをMの点とし、 e 1 , … , e n {\displaystyle e_{1},\ldots ,e_{n}} をEuの基底とする。 e 1 , … , e n {\displaystyle e_{1},\ldots ,e_{n}} がEのuにおけるG-フレーム（英: G-flame）であるとは、Eのuにおけるバンドルチャート U × R n {\displaystyle U\times \mathbb {R} ^{n}} と g ∈ G {\displaystyle g\in G} が存在し、このバンドルチャート上で ( e 1 , … , e n ) = ( g e 1 ′ , … , g e n ′ ) {\displaystyle (e_{1},\ldots ,e_{n})=(ge'_{1},\ldots ,ge'_{n})} が成立する事を言う。 ここで e 1 ′ , … , e n ′ {\displaystyle e'_{1},\ldots ,e'_{n}} は R n {\displaystyle \mathbb {R} ^{n}} の標準的な基底であり、 g e i {\displaystyle ge_{i}} は線形変換 g ∈ G ⊂ G L n ( R ) {\displaystyle g\in G\subset \mathrm {GL} _{n}(\mathbb {R} )} をeiに作用させたものである。 構造群Gを持つベクトルバンドルの定義から、G-フレームの定義はバンドルチャートの取り方によらずwell-definedである。 F G ( E ) u {\displaystyle F^{G}(E)_{u}} を u ∈ M {\displaystyle u\in M} 上のG-フレーム全体の集合とすると、 F G ( E ) := ⋃ u ∈ M F G ( E ) u {\displaystyle F^{G}(E):=\bigcup _{u\in M}F^{G}(E)_{u}} は自然にM上のG-主バンドルをなし、 F G ( E ) {\displaystyle F^{G}(E)} を構造群Gに関するフレームバンドルという。 π   :   E → M {\displaystyle \pi ~:~E\to M} をGを構造群を持つベクトルバンドルとし、 F G ( E ) {\displaystyle F_{G}(E)} をそのフレームバンドルとする。さらにG-主バンドル F G ( E ) {\displaystyle F^{G}(E)} に接続形式が ω = ( ω i j ) i j {\displaystyle \omega =(\omega ^{i}{}_{j})_{ij}} の接続が入っているとする。開集合 U ⊂ M {\displaystyle U\subset M} 上定義されたEの局所的な基底 e = ( e 1 , … , e n ) {\displaystyle e=(e_{1},\ldots ,e_{n})} に対し、 ω ^ := e ∗ ( ω ) {\displaystyle {\hat {\omega }}:=e^{*}(\omega )} を、eをUからFG(E)への写像と見たときの接続形式ωのUへの引き戻しとし、 ω ^ {\displaystyle {\hat {\omega }}} を ω ^ = ( ω ^ i j ) i , j {\displaystyle {\hat {\omega }}=({\hat {\omega }}^{i}{}_{j})_{i,j}} と成分表示する。 定理・定理 ―  記号を上述のように取る。Eの切断sとM上のベクトル場Xに対し、 ∇ X s := X ( s j ) e j + s j ω ^ i j ( X ) e i {\displaystyle \nabla _{X}s:=X(s^{j})e_{j}+s^{j}{\hat {\omega }}^{i}{}_{j}(X)e_{i}} と微分演算子∇を定義すると、∇は局所的な基底 e = ( e 1 , … , e n ) {\displaystyle e=(e_{1},\ldots ,e_{n})} の取り方によらずwell-definedで、しかも∇はKoszul接続の公理を満たす。∇を ω {\displaystyle \omega } から誘導される接続という。 Gを G L n ( R ) {\displaystyle \mathrm {GL} _{n}(\mathbb {R} )} の部分リー群とする。構造群Gを持つベクトルバンドルの接続（Koszul接続）がGと両立する事を以下のように定義する。直観的には平行移動がGの元で書ける事を意味する： 定義 (構造群と両立するKoszul接続) ― Mを連結な多様体とし、Gを G L n ( R n ) {\displaystyle \mathrm {GL} _{n}(\mathbb {R} ^{n})} の閉部分リー群とし、 π   :   E → M {\displaystyle \pi ~:~E\to M} を構造群Gを持つベクトルバンドルとし、∇を E → M {\displaystyle E\to M} のKoszul接続とする。このとき、∇がGと両立する（英: G-compatible）とは、 π   :   E → M {\displaystyle \pi ~:~E\to M} の任意の局所自明化 φ   :   π − 1 ( U ) → ~ V × R n {\displaystyle \varphi ~:~\pi ^{-1}(U){\tilde {\to }}V\times \mathbb {R} ^{n}} where U ⊂ M {\displaystyle U\subset M} open、 V ⊂ R m {\displaystyle V\subset \mathbb {R} ^{m}} open に対し、U内の任意の曲線 u ( t ) {\displaystyle u(t)} に沿った平行移動 E u ( 0 ) → E u ( 1 ) {\displaystyle E_{u(0)}\to E_{u(1)}} がGに属する線形変換である事を言う。 定義より明らかに以下が従う： 定義 ―  π   :   E → M {\displaystyle \pi ~:~E\to M} を構造群Gを持つベクトルバンドルとする。このとき、G-フレームバンドル F G ( E ) {\displaystyle F_{G}(E)} 上の接続形式から誘導されたEの接続はGと両立する。 接続がGと両立する事は、接続形式がGのリー代数に入っている事と同値である： 定義 (Gと両立するKoszul接続) ― ∇をE上定義されたKoszul接続とし、 ω e {\displaystyle \omega _{e}} をその接続形式とする。∇がGと両立する必要十分条件は、任意の局所的な基底 e = ( e 1 , … , e n ) {\displaystyle e=(e_{1},\ldots ,e_{n})} に対し、 ω e ∈ g {\displaystyle \omega _{e}\in {\mathfrak {g}}} が成立する事を言う。 接続形式の章では平行移動が常に S O ( n ) {\displaystyle \mathrm {SO} (n)} の元で表せるときに接続形式が S O ( n ) {\displaystyle \mathrm {SO} (n)} のリー代数に入っている事を示したが、上記の定理はこの事実を G L n ( R ) {\displaystyle \mathrm {GL} _{n}(\mathbb {R} )} の任意の部分リー群に対して示したものである。 Gと両立する接続はフレームバンドルの接続に対応している： 定理 ― Gを構造群として持つベクトルバンドル E → M {\displaystyle E\to M} のKoszul接続∇がGと両立するとき、フレームバンドルFG(E)のある接続形式ωが存在し、∇はωからEに誘導される接続と一致する。 本章の成果をまとめると、以下の結論が得られる： 定義 (主接続とKoszul接続の関係) ― E上のKoszul接続でGと両立するものは F G ( E ) {\displaystyle F_{G}(E)} の主接続と1 : 1で対応する。 さらにGと両立するにKoszul接続∇に対応する主接続の接続形式をωとすると、任意の開集合 U ⊂ M {\displaystyle U\subset M} とU上で定義された F G ( E ) {\displaystyle F_{G}(E)} の任意の局所的な切断 e = ( e 1 , … , e n ) {\displaystyle e=(e_{1},\ldots ,e_{n})} に対し、 ω ^ e = e ∗ ( ω ) {\displaystyle {\hat {\omega }}_{e}=e^{*}(\omega )} が成立する。ここで ω ^ e {\displaystyle {\hat {\omega }}_{e}} は e = ( e 1 , … , e n ) {\displaystyle e=(e_{1},\ldots ,e_{n})} を局所的な基底とみなしたときのeに関する∇の接続形式であり、 e ∗ ( ω ) {\displaystyle e^{*}(\omega )} はeをUからFG(E)への写像と見たときの接続形式ωのUへの引き戻しである。 ベクトルバンドル E → M {\displaystyle E\to M} の切断sが与えられたとき、 F G ( M ) {\displaystyle F_{G}(M)} 上の関数 ψ s   :   ( e 1 , … , e n ) ∈ F G ( M ) ↦ ( s 1 , … , s n ) ∈ R n {\displaystyle \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 {\displaystyle s=s^{i}e_{i}} を定義できる。このとき次が成立する： 定理 ― M上の任意のベクトル場Xに対し、以下が成立する： ψ ∇ X s = L i f t ( X ) ψ s {\displaystyle \psi _{\nabla _{X}s}=\mathrm {Lift} (X)\psi _{s}} ここで L i f t ( X ) ψ s {\displaystyle \mathrm {Lift} (X)\psi _{s}} は F G ( M ) {\displaystyle F_{G}(M)} 上のベクトル場 Y := L i f t ( X ) {\displaystyle Y:=\mathrm {Lift} (X)} により F G ( M ) {\displaystyle F_{G}(M)} 上の R n {\displaystyle \mathbb {R} ^{n}} 値関数 ψ s {\displaystyle \psi _{s}} の各成分を微分した Y ( ψ s ) {\displaystyle Y(\psi _{s})} の事である。 ファイバーバンドル π   :   E → M {\displaystyle \pi ~:~E\to M} の接続(英: connection) { H e } e ∈ E {\displaystyle \{{\mathcal {H}}_{e}\}_{e\in E}} が与えられているとき、Eの接ベクトル空間は T e E = V e ⊕ H e {\displaystyle T_{e}E={\mathcal {V}}_{e}\oplus {\mathcal {H}}_{e}} と分解できた。そこで V e   :   T e E → V e {\displaystyle V_{e}~:~T_{e}E\to {\mathcal {V}}_{e}} 、 H e   :   T e E → H e {\displaystyle H_{e}~:~T_{e}E\to {\mathcal {H}}_{e}} をそれぞれ垂直部分空間、水平部分空間への射影とする。曲率概念はこのVe、Heを使って定義する： 定義 (ファイバーバンドルの曲率形式) ― E上のベクトル場ξ、ηに対し、 Ω ( ξ , η ) := − V ( [ H ( ξ ) , H ( η ) ] ) {\displaystyle \Omega (\xi ,\eta ):=-V([H(\xi ),H(\eta )])} をファイバーバンドルEの接続 { H e } e ∈ E {\displaystyle \{{\mathcal {H}}_{e}\}_{e\in E}} に関する曲率形式という。 ここで [ ⋅ , ⋅ ] {\displaystyle [\cdot ,\cdot ]} はリー括弧（英語版）である。Ωは C ∞ ( E ) {\displaystyle C^{\infty }(E)} -線形であり、よってΩは双線形写像 Ω   :   T E × T E → V {\displaystyle \Omega ~:~TE\times TE\to {\mathcal {V}}} であるとみなせる。 フロベニウスの定理を用いると、曲率形式が恒等的に0である事は超平面の族 { H e } e ∈ E {\displaystyle \{{\mathcal {H}}_{e}\}_{e\in E}} が可積分である事と同値である事を示せる。したがって曲率形式は水平部分空間　 { H e } e ∈ E {\displaystyle \{{\mathcal {H}}_{e}\}_{e\in E}} が可積分ではない度合いを表す量である。 本節では、主接続の場合に対し、上記で定義した曲率形式をリー代数の言葉で書き換える。Gをリー群とし、 g {\displaystyle {\mathfrak {g}}} をGのリー代数とし、さらに π   :   P → M {\displaystyle \pi ~:~P\to M} をG-主バンドルとし、ωをPの主接続とする。リー代数 g {\displaystyle {\mathfrak {g}}} におけるリー括弧を使って [ ω , ω ] g ( X , Y ) := [ ω ( X ) , ω ( Y ) ] g {\displaystyle [\omega ,\omega ]_{\mathfrak {g}}(X,Y):=[\omega (X),\omega (Y)]_{\mathfrak {g}}} と定義し、さらに前の章と同様、リー代数の元に基本ベクトル場を対応させる写像 ζ p   :   A ∈ g ↦ A _ p ∈ V p {\displaystyle \zeta _{p}~:~A\in {\mathfrak {g}}\mapsto {\underline {A}}_{p}\in {\mathcal {V}}_{p}} を考える。紛れがなければ添字pを省略し単にζと書く。 定理 (主バンドルの接続の曲率) ― 曲率形式Ωは以下を満たす： （構造方程式） ζ − 1 ( Ω ) = d ω + 1 2 [ ω , ω ] g ∈ g {\displaystyle \zeta {}^{-1}(\Omega )=d\omega +{1 \over 2}[\omega ,\omega ]_{\mathfrak {g}}\in {\mathfrak {g}}} 紛れがなければ ζ − 1 ( Ω ) {\displaystyle \zeta {}^{-1}(\Omega )} を単にΩと書き、接続形式ωの曲率形式という。 Koszul接続が定義されたベクトルバンドルの曲率を以下のように定義する： 定義・定理 (曲率) ―  ベクトルバンドル π   :   E → M {\displaystyle \pi ~:~E\to M} の接続 ∇ {\displaystyle \nabla } に対し、 R ( X , Y ) s := ∇ X ∇ Y s − ∇ Y ∇ X s − ∇ [ X , Y ] s {\displaystyle R(X,Y)s:=\nabla _{X}\nabla _{Y}s-\nabla _{Y}\nabla _{X}s-\nabla _{[X,Y]}s} for X , Y ∈ X ( M ) , s ∈ Γ ( E ) {\displaystyle X,Y\in {\mathfrak {X}}(M),s\in \Gamma (E)} を ∇ {\displaystyle \nabla } に関する曲率（英: curvature）もしくは曲率テンソル（英: curvature tensor）という。 RはX、Y、sに関して C ∞ ( M ) {\displaystyle C^{\infty }(M)} -線形であり、よってRは各点 P ∈ M {\displaystyle P\in M} に対し、 R P ∈ T ∗ M ⊗ T ∗ M ⊗ E ∗ ⊗ E {\displaystyle R_{P}\in T^{*}M\otimes T^{*}M\otimes E^{*}\otimes E} を対応させるテンソル場とみなせる。 さらにKoszul接続の曲率形式を以下のように定義する： 定義 ― UをMの開集合とし、 e = ( e 1 , … , e n ) {\displaystyle e=(e_{1},\ldots ,e_{n})} をUにおけるフレームバンドル F G ( M ) {\displaystyle F_{G}(M)} の切断とする。このとき、曲率テンソルを R ( X , Y ) e j = Ω ^ i j ( X , Y ) e i {\displaystyle R(X,Y)e_{j}={\hat {\Omega }}^{i}{}_{j}(X,Y)e_{i}} と成分表示し、 Ω ^ e := ( Ω ^ i j ) {\displaystyle {\hat {\Omega }}_{e}:=({\hat {\Omega }}^{i}{}_{j})} とすると、Ωeは一般線形群のリー代数 g l n ( R ) {\displaystyle {\mathfrak {gl}}_{n}(\mathbb {R} )} に値を取る2-形式とみなせる。 Ω ^ e {\displaystyle {\hat {\Omega }}_{e}} をeに関するKoszul接続∇の曲率形式（英: curvature form）という。 すでに述べたようにベクトルバンドル π   :   E → M {\displaystyle \pi ~:~E\to M} 上のKoszul接続∇には、それと対応するファイバーバンドルとしての接続 { V e } e ∈ E {\displaystyle \{V_{e}\}_{e\in E}} が定義可能であるが、上述したKoszul接続の曲率は前述した一般のファイバーバンドルの曲率形式 Ω ( ξ , η ) = − V ( [ H ( ξ ) , H ( η ) ] ) {\displaystyle \Omega (\xi ,\eta )=-V([H(\xi ),H(\eta )])} と以下の関係を満たす。ここでHは水平部分空間への射影である。 定理 ― 記号を上述のように取る。このとき、M上の点u、ベクトル X , Y ∈ T u M {\displaystyle X,Y\in T_{u}M} 、 s ∈ E u {\displaystyle s\in E_{u}} に対し、以下が成立する： R ( X , Y ) s = − V ( L i f t s ( X ) , L i f t s ( Y ) ) {\displaystyle R(X,Y)s=-V(\mathrm {Lift} _{s}(X),\mathrm {Lift} _{s}(Y))} よって特にKoszul接続の曲率形式 Ω ^ e {\displaystyle {\hat {\Omega }}_{e}} とは以下の関係を満たす： Ω i j ( X , Y ) = − ⟨ e i , V ( L i f t e j ( X ) , L i f t e j ( Y ) ) ⟩ {\displaystyle \Omega ^{i}{}_{j}(X,Y)=-\langle e^{i},V(\mathrm {Lift} _{e_{j}}(X),\mathrm {Lift} _{e_{j}}(Y))\rangle } ここで e = ( e 1 , … , e n ) {\displaystyle e=(e_{1},\ldots ,e_{n})} であり、 ( e 1 , … , e n ) {\displaystyle (e^{1},\ldots ,e^{n})} はその双対基底である。 E → M {\displaystyle E\to M} のフレームバンドル F G ( M ) {\displaystyle F_{G}(M)} の曲率形式とKoszul接続の曲率形式は以下の関係を満たす： 定理 ― ベクトルバンドル E → M {\displaystyle E\to M} のフレームバンドル F G ( M ) {\displaystyle F_{G}(M)} に接続形式がωの接続が定義されているとし、この接続の曲率形式をΩとする。 さらにこの接続がEに誘導する接続が定義するKoszul接続を∇とし、 e = ( e 1 , … , e n ) {\displaystyle e=(e_{1},\ldots ,e_{n})} をMの開集合U上定義された F G ( M ) {\displaystyle F_{G}(M)} の切断とし、 Ω ^ e {\displaystyle {\hat {\Omega }}_{e}} を∇のeに関する曲率形式とする。このとき、以下が成立する： Ω ^ e = e ∗ ( Ω ) {\displaystyle {\hat {\Omega }}_{e}=e^{*}(\Omega )} 本節では特に断りのない限り、 π   :   E → M {\displaystyle \pi ~:~E\to M} を完備な接続 H = { H e } e ∈ E {\displaystyle {\mathcal {H}}=\{{\mathcal {H}}_{e}\}_{e\in E}} が定義されたファイバーバンドルでMが連結なものとする。ここで接続が完備であるとは、M上の任意の曲線 c ( t ) {\displaystyle c(t)} 上に c ( 0 ) {\displaystyle c(0)} から c ( 1 ) {\displaystyle c(1)} までの平行移動を常に定義可能な事を指す。 x 0 ∈ M {\displaystyle x_{0}\in M} をMの点とし、 c ( t ) ∈ M {\displaystyle c(t)\in M} をx0からx0自身への区分的になめらかな閉曲線とすると、接続が完備なのでx0のファイバー E x 0 {\displaystyle E_{x_{0}}} の任意の元eに対し、eを c ( t ) ∈ M {\displaystyle c(t)\in M} に沿って一周平行移動してできた元を φ c ( e ) ∈ E x 0 {\displaystyle \varphi _{c}(e)\in E_{x_{0}}} とする事で、 E x 0 {\displaystyle E_{x_{0}}} 上の可微分同相写像 φ c   :   E x 0 → E x 0 {\displaystyle \varphi _{c}~:~E_{x_{0}}\to E_{x_{0}}} を定義できる。 定理・定義 (ホロノミー群) ―  H o l ( E , H , x 0 ) := { φ c ∣ c {\displaystyle \mathrm {Hol} (E,{\mathcal {H}},x_{0}):=\{\varphi _{c}\mid c} はx0から出てP自身への区分的になめらかな閉曲線 } {\displaystyle \}} は閉曲線の連結に関して自然に群構造をなす。この群をEの H {\displaystyle {\mathcal {H}}} に関するx0におけるホロノミー群（英: holonomy group）という。 u ∈ M {\displaystyle u\in M} における接ベクトル v ∈ T u M {\displaystyle v\in T_{u}M} に対し、 e ∈ E u {\displaystyle e\in E_{u}} に v {\displaystyle v} のeでの水平リフトを対応させる e ∈ E u ↦ L i f t e ( v ) ∈ H e ⊂ T e E {\displaystyle e\in E_{u}\mapsto \mathrm {Lift} _{e}(v)\in {\mathcal {H}}_{e}\subset T_{e}E} をファイバー E u {\displaystyle E_{u}} 上の切断とみなしたものを L i f t ( v u ) {\displaystyle \mathrm {Lift} (v_{u})} と書く。 2つのベクトル v u , w u ∈ T u M {\displaystyle v_{u},w_{u}\in T_{u}M} に対し、 L i f t ( v u ) {\displaystyle \mathrm {Lift} (v_{u})} 、 L i f t ( w u ) {\displaystyle \mathrm {Lift} (w_{u})} はいずれも E u {\displaystyle E_{u}} 上のベクトル場なので、曲率形式Ωに対して、 Ω ( L i f t ( v u ) , L i f t ( w u ) ) ∈ V E = T E u {\displaystyle \Omega (\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))\in VE=TE_{u}} を定義でき、これは E u {\displaystyle E_{u}} 上のベクトル場とみなせる。さらに u 0 ∈ M {\displaystyle u_{0}\in M} をfixし、uから u 0 {\displaystyle u_{0}} までつなぐ曲線 c ( t ) {\displaystyle c(t)} に沿って Ω ( L i f t ( v u ) , L i f t ( w u ) ) {\displaystyle \Omega (\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))} を平行移動したものを Ω c ( L i f t ( v u ) , L i f t ( w u ) ) {\displaystyle \Omega _{c}(\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))} と書く。 定理・定義 ―  E u 0 {\displaystyle E_{u_{0}}} 上のベクトル場全体の集合 X ( E u 0 ) {\displaystyle {\mathfrak {X}}(E_{u_{0}})} をリー括弧（英語版）に関する「無限次元リー代数」とみなしたとき、 { Ω c ( L i f t ( v u ) , L i f t ( w u ) ) | x ∈ M , v , w ∈ T u M , c {\displaystyle \{\Omega _{c}(\mathrm {Lift} (v_{u}),\mathrm {Lift} (w_{u}))|x\in M,v,w\in T_{u}M,c} はxからx0までつなぐM上の曲線 } {\displaystyle \}} を含む最小の（C∞-位相に関する）閉部分線形空間 を h o l ( E , H , x 0 ) {\displaystyle \mathrm {hol} (E,{\mathcal {H}},x_{0})} と書くとき、 h o l ( E , H , x 0 ) {\displaystyle \mathrm {hol} (E,{\mathcal {H}},x_{0})} は X ( E x 0 ) {\displaystyle {\mathfrak {X}}(E_{x_{0}})} の部分リー代数になっている。 h o l ( E , H , x 0 ) {\displaystyle \mathrm {hol} (E,{\mathcal {H}},x_{0})} をホロノミーリー代数（英: holonomy Lie algebra）という。 実は以下の定理が成立する。なお、以下の定理は主バンドルに対するAmbrose–Singerの定理を任意のファイバーバンドルに一般化したものである： 定理 (Ambrose-Singerの定理の一般化) ― ホロノミーリー代数 h o l ( E , H , x 0 ) {\displaystyle \mathrm {hol} (E,{\mathcal {H}},x_{0})} が有限次元であれば、以下が成立する： ホロノミー群 G := H o l ( E , H , x 0 ) {\displaystyle G:=\mathrm {Hol} (E,{\mathcal {H}},x_{0})} は h o l ( E , H , x 0 ) {\displaystyle \mathrm {hol} (E,{\mathcal {H}},x_{0})} をリー代数として持つリー群である。 あるG-主バンドル π ′   :   P → M {\displaystyle \pi '~:~P\to M} 、およびGのファイバー E x 0 {\displaystyle E_{x_{0}}} への作用が一意に存在し、 π ′   :   P → M {\displaystyle \pi '~:~P\to M} と E x 0 {\displaystyle E_{x_{0}}} へのG作用を使って作った E x 0 {\displaystyle E_{x_{0}}} バンドルは π   :   E → M {\displaystyle \pi ~:~E\to M} と同型である。 主バンドル π ′   :   P → M {\displaystyle \pi '~:~P\to M} には主バンドルとしての接続（詳細次章）が一意に存在し、この接続が上述の E x 0 {\displaystyle E_{x_{0}}} バンドルに誘導する接続は π   :   E → M {\displaystyle \pi ~:~E\to M} との接続と同一である。 接続は、歴史的にはまずリーマン幾何学において見出された。接続の概念のはじまりをどこに置くかについては諸説あるが、クリストッフェルの研究をその淵源とする見方がある。クリストッフェルは1869年の論文で、座標変換の導関数が満たす関係式の研究を通じ、現在クリストッフェル記号とよばれる量を発見した。これを用いて、リッチはその学生であるレヴィ＝チヴィタとともに、彼らが絶対微分学（英語版）とよんだ、共変微分を用いる今でいうテンソル解析の計算の手法をつくりあげた。 レヴィ＝チヴィタはまた、1916年に、リーマン幾何学における接ベクトルの平行移動の概念を発見し、これが共変微分によって記述されることをみつけた（レヴィ-チヴィタ接続の名前はこのことによる）。1918年にワイルはそれを一般化して、アフィン接続の概念に到達した。ここで「接続」にあたる語（独: Zusammenhang）がはじめて使用された[要出典]。 それからすぐに、エリ・カルタンによって、さらなる一般化が行われた。カルタンはクラインのエルランゲン・プログラムの局所化を試みていたのである。1920年代にカルタンは、微分形式を用いた記述によって、現在カルタン接続と呼ばれるものを発見していった。カルタンのこの仕事により、リーマン幾何学だけでなく、共形幾何学（英語版）、射影幾何学などのさまざまな幾何学を研究するための基礎が築かれた。 しかしカルタンの記述は、微分幾何学の他の基本的概念の整備が進んでいない当時、理解されづらいものだった。その仕事をよりわかりやすいものにして発展させるために、カルタンの学生にあたるCharles Ehresmannは、1940年代から主バンドルやファイバーバンドルを研究した。1951年の論文でEhresmannは、主バンドルの接続を、接分布（英語版）を用いる方法と微分形式による方法の両方で定義した（ファイバーバンドルの接続）。 その一方で、1950年にJean-Louis Koszulは、ベクトル束の接続の代数的定式化を与えた（ベクトルバンドルの接続）。Koszulの定式化によると、クリストッフェル記号を明示的に用いる必要は必ずしもなくなり、接続の取り扱いは容易になった[要出典]。 カルタン接続 射影接続（英語版） グロタンディーク接続（英語版）：対角線の無限小近傍からのデサント（英語版）(descent)であるデータとみなすことができる。(Osserman 2004) 接続 (ファイバー多様体)（英語版） 接続 (アフィンバンドル)（英語版） 接続 (代数的フレームワーク)（英語版） ^ C.G. Ricci, T. Levi=Civita (1901), Méthodes de calcul differéntiel absolu et leurs applications （絶対微分学の方法とその応用）矢野(1971) 和訳pp.17-95 ^ 板場綾子「自己移入的Koszul多元環に対する有限条件(Fg) (有限群のコホモロジー論とその周辺)」『数理解析研究所講究録』第2061巻、京都大学数理解析研究所、2018年4月、33頁、CRID 1050001202603941760、hdl:2433/241849、ISSN 1880-2818、NAID 120006645349。  ^ “Koszul duality for factorization algebras and extended topological field theories”. 2023年10月19日閲覧。 ^ “2020年度 幾何学 B アインシュタイン計量の幾何学 -リーマン幾何学入門とアインシュタイン計量の幾何学への応用-” (PDF). p. 75. 2023年10月19日閲覧。 ^ #Spivak p.251. 「this possibility of comparing, or "connecting", tangent spaces at different points gives rise to the term "connection".」 ^ #Andrews Lecture 10, p.2. ^ #Tu p.45. ^ #Andrews Lecture 8 p.74, Lecture 10 p.98. ^ #新井 p.304. ^ #Tu p.45. ^ #Spivak p.241. ^ José Figueroa-O'Farrill. “Lecture 5: Connections on principal and vector bundles”. PG course on Spin Geometry. p. 40. 2023年1月12日閲覧。 ^ #森田 p.213. ^ #Tu p.72. ^ #小林 p.76. ^ #Tu p.75. ^ a b #Tu p.263. ^ #Tu p.113. ^ #Tu p.263. ^ #Spivak p.251. ^ #小林 p.38. ^ #Tu p.80. ^ #Spivak p.251. ^ #Tu p.256. ^ #Wendl3 p.73. ^ a b c d #Wendl3 p.74. ^ 「エーレスマン接続」という訳語は#佐古を参考にした。#佐古に目次にこの名称が確認できる。 ^ #Epstein p.95. ^ #Tu p.256. ^ “Ehresmann connection”. nLab. 2023年8月30日閲覧。 ^ #Kolar p.80. ^ #Kolar p.99. ^ #Kolar p.81. ^ #Tuynman p.345. ^ #Wendl3 p.75. ^ #Wendl3 pp.76-78. ^ #Kolar p.110. ^ #Wendl3 p.78. ^ #Wendl3 p.89. ^ #Tu p.247. ^ #Wendl3 p.89. ^ #Kolar p.100. ^ #Tu pp.255-256 ^ #小林 p.61. ^ #Wendl3 p.90.なお本文献のみ「 ( R g ) ∗ ω p {\displaystyle (R_{g})^{*}\omega _{p}} 」ではなく「 ( R g ) ∗ ω p {\displaystyle (R_{g})_{*}\omega _{p}} 」になっているが、前後関係から「 ( R g ) ∗ ω p {\displaystyle (R_{g})^{*}\omega _{p}} 」の誤記と判断。 ^ #Tu p.123. ^ #Salamon p.5. ^ #Wendl3 p.83. ^ #Pasquotto p.84.にこの定理のアフィン接続が述べられており、Koszul接続の場合も同様である旨が書いてある。このKoszul接続の場合は他の文献の記述からも従う。実際、 G = G L n ( R ) {\displaystyle G=\mathrm {GL} _{n}(\mathbb {R} )} の場合に1:1対応する事は#森田 pp.319-321従い、この場合に ω ^ e = e ∗ ( ω ) {\displaystyle {\hat {\omega }}_{e}=e^{*}(\omega )} となる事は#Tu p.268から従う。そしてGが G L n ( R ) {\displaystyle \mathrm {GL} _{n}(\mathbb {R} )} の部分リー群である場合に関しては#Kobayashi-Nomizu1 p.83のRemarkより G L n ( R ) {\displaystyle \mathrm {GL} _{n}(\mathbb {R} )} -主バンドル F G L n ( R ) ( E ) {\displaystyle F_{\mathrm {GL} _{n}(\mathbb {R} )}(E)} 上の接続形式がG-主バンドル F G ( E ) {\displaystyle F_{G}(E)} にreduceする必要十分条件はωがGのリー代数に値を取る事であるので、上記の事実から従う。 ^ #Kobayashi-Nomizu-1 p.127. ^ a b #Wendl5 p.121. ^ #Kolar p.77. ^ #Tu p.49 ^ #Tu p.56,58 ^ #Wendl5 pp.119,121. ^ a b #Kolar pp.100-101. ^ #Tu p.270 ^ a b #森田 p.302. ^ #小林 p.43. ^ #小林 p.43. ^ #Tu p.80 ^ #Wendl5 p.123. ^ #Tu p.270. ^ a b c d e f #Kolar pp.82-83. ^ Freeman 2011. ^ 日本数学会編 2007. ^ Christoffel 1869. ^ Levi-Civita 1900. ^ Levi-Civita 1916. ^ Weyl 1918. ^ Cartan 1926. ^ Ehresmann 1950. ^ Koszul 1950. ^ a b 人名「Koszul」を「コシュール」と訳している文献があるため、「コシュール接続」と読むと思われるが、「コシュール接続」と訳した文献を発見できなかったので本項では「Koszul接続」と表記した。なお、Wikipediaの英語版には「フランス語: [kɔsyl]」とある。 ^ 接続∇はMの全域で定義されたベクトル場と切断に関するものなので、このような局所的に定義された座標で表示できるか否かは非自明である。しかし∇が「局所演算子」という性質を満たすことにより、局所的な座標で表示可能な事を示すことができる。詳細は接続 (ベクトル束)の項目を参照されたい。 ^ 成分 ω i j {\displaystyle \omega ^{i}{}_{j}} 接続形式といい、ωを接続行列（英: connection matrix）と呼ぶ場合もある。 ^ 厳密には以下の通りである。Mの曲線 c ( t ) {\displaystyle c(t)} に沿って定義された局所的な基底 e ( t ) = ( e 1 ( t ) , … , e n ( t ) ) {\displaystyle e(t)=(e_{1}(t),\ldots ,e_{n}(t))} を考え、 e ( 0 ) {\displaystyle e(0)} を c ( t ) {\displaystyle c(t)} に沿って平行移動したものを e ¯ ( t ) = ( e ¯ 1 ( t ) , … , e ¯ n ( t ) ) {\displaystyle {\bar {e}}(t)=({\bar {e}}_{1}(t),\ldots ,{\bar {e}}_{n}(t))} として行列 A ( t ) {\displaystyle A(t)} を e ( t ) = e ¯ ( t ) A ( t ) {\displaystyle e(t)={\bar {e}}(t)A(t)} により定義すると、接続形式の定義より、 e ( 0 ) ω ( d c d t ( 0 ) ) {\displaystyle e(0)\omega \left({dc \over dt}(0)\right)} = ∇ d t e ( t ) | t = 0 {\displaystyle =\left.{\nabla \over dt}e(t)\right|_{t=0}} = ∇ d t e ¯ ( t ) A ( t ) | t = 0 {\displaystyle =\left.{\nabla \over dt}{\bar {e}}(t)A(t)\right|_{t=0}} = e ¯ ( 0 ) d A d t ( 0 ) {\displaystyle ={\bar {e}}(0){dA \over dt}(0)} = e ( 0 ) d A d t ( 0 ) {\displaystyle =e(0){dA \over dt}(0)} が成立する。ここで ∇ d t e ( t ) {\displaystyle {\nabla \over dt}e(t)} は成分ごとの微分 ( ∇ d t e 1 ( t ) , … , ∇ d t e n ( t ) ) {\displaystyle \left({\nabla \over dt}e_{1}(t),\ldots ,{\nabla \over dt}e_{n}(t)\right)} の事である。 ∇が計量と両立すれば、 e ¯ ( t ) {\displaystyle {\bar {e}}(t)} は正規直交基底である。よって e ( t ) {\displaystyle e(t)} が正規直交基底であれば、 e ( t ) = e ¯ ( t ) A ( t ) {\displaystyle e(t)={\bar {e}}(t)A(t)} より A ( t ) {\displaystyle A(t)} は回転変換であり、 A ( t ) {\displaystyle A(t)} の微分は歪対称行列である。 ^ ここで T e ( E π ( e ) ) {\displaystyle T_{e}(E_{\pi (e)})} はπ(e)のファイバー E π ( e ) {\displaystyle E_{\pi (e)}} の点eにおける接空間であり、包含写像 E π ( e ) ⊂ E {\displaystyle E_{\pi (e)}\subset E} が誘導する写像 T e E π ( e ) ↪ T e E {\displaystyle T_{e}E_{\pi (e)}\hookrightarrow T_{e}E} により T e E π ( e ) {\displaystyle T_{e}E_{\pi (e)}} をTeEの部分空間とみなしている。 ^ a b この「 H e {\displaystyle {\mathcal {H}}_{e}} はeに関してC∞級である」というのを厳密に定式化する方法は（同値な方法が）いくつかあるが、一つの方法は H = ∪ e ∈ E H e {\displaystyle {\mathcal {H}}=\cup _{e\in E}{\mathcal {H}}_{e}} を H e {\displaystyle {\mathcal {H}}_{e}} を e ∈ E {\displaystyle e\in E} 上のファイバーとするTEの部分ベクトルバンドルとみなし、 H {\displaystyle {\mathcal {H}}} がTEのC∞級の部分ベクトルバンドルである事を要請するというものである。 ^ 垂直部分空間の定義より V e = T e E π ( e ) {\displaystyle {\mathcal {V}}_{e}=T_{e}E_{\pi (e)}} であるが、 E π ( e ) {\displaystyle E_{\pi (e)}} はベクトル空間なので、 E π ( e ) {\displaystyle E_{\pi (e)}} と接空間 T e E π ( e ) {\displaystyle T_{e}E_{\pi (e)}} と E π ( e ) {\displaystyle E_{\pi (e)}} は自然に同一視できる。 ^ なお 、#Salamonでは R n {\displaystyle \mathbb {R} ^{n}} の（標準的とは限らない）基底 ( f 1 , … , f n ) {\displaystyle (f_{1},\ldots ,f_{n})} を R n {\displaystyle \mathbb {R} ^{n}} から R n {\displaystyle \mathbb {R} ^{n}} への線形写像fと自然に同一視し、各 u ∈ M {\displaystyle u\in M} に対し、 R n → f E x → φ α { u } × R n ≈ R n {\displaystyle \mathbb {R} ^{n}{\overset {f}{\to }}E_{x}{\overset {\varphi _{\alpha }}{\to }}\{u\}\times \mathbb {R} ^{n}\approx \mathbb {R} ^{n}} がGに属する事を持ってG-フレームを定義しているが、この定義は本項で述べたものと同値である。 ^ #Wendl3の定義は若干曖昧で単に「十分短い曲線」（sufficiently short path）に沿った平行移動がGと両立する自明化（G-compatible connection） v → g ( t ) v {\displaystyle v\to g(t)v} for g ( t ) ∈ G {\displaystyle g(t)\in G} を持つとしか言っていないが、局所自明化可能な領域内の曲線がこのように書ければ十分なので、ここではそのように定義した。 ^ a b ここで Ω ( ξ , η ) {\displaystyle \Omega (\xi ,\eta )} が C ∞ ( E ) {\displaystyle C^{\infty }(E)} -線形であるとは、通常の線形性を満たすのみならず関数fに対して f ⋅ Ω ( ξ , η ) {\displaystyle f\cdot \Omega (\xi ,\eta )} = Ω ( f ⋅ ξ , η ) {\displaystyle =\Omega (f\cdot \xi ,\eta )} = Ω ( ξ , f ⋅ η ) {\displaystyle =\Omega (\xi ,f\cdot \eta )} を満たす事を指す。 C ∞ ( E ) {\displaystyle C^{\infty }(E)} -線形である事は、 Ω ( ξ , η ) {\displaystyle \Omega (\xi ,\eta )} の各点 e ∈ E {\displaystyle e\in E} における値がξ、ηの点eにおける値ξe、ηeのみで決まること、すなわちΩが各点における双線形写像のテンソル場とみなせる事と同値である事が知られている。 ^ #Kolarにおける曲率の定義はここに書いたものと符号が反対だが、#Kolar p.73.にあるように#Kolarの定義だと「通常の曲率と符号が反対」になるので、#Wendl5 p.121の方の符号を採用した。 ^ #Kolar p.100-101.のみ右辺第二項は 1 2 [ ω , ω ] ∧ = [ ω , ω ] {\displaystyle {\tfrac {1}{2}}[\omega ,\omega ]_{\wedge }=[\omega ,\omega ]} となっているが、これは#Kolarの間違いであると判断した。実際#Kolar p.100の一番下にある [ ⋅ , ⋅ ] ∧ {\displaystyle [\cdot ,\cdot ]_{\wedge }} の定義式に p = q = 1 {\displaystyle p=q=1} を代入すると [ ω , ω ] ∧ = [ ω , ω ] {\displaystyle [\omega ,\omega ]_{\wedge }=[\omega ,\omega ]} となり、 1 2 [ ω , ω ] ∧ = [ ω , ω ] {\displaystyle {\tfrac {1}{2}}[\omega ,\omega ]_{\wedge }=[\omega ,\omega ]} とはならない。またこの#Kolar p.100の一番下の係数 1 p ! q ! {\displaystyle {\tfrac {1}{p!q!}}} は#森田の1巻のp.95.では 1 ( p + q ) ! {\displaystyle {\tfrac {1}{(p+q)!}}} になっているため、#Kolarが [ ⋅ , ⋅ ] ∧ {\displaystyle [\cdot ,\cdot ]_{\wedge }} の定義式を間違えた可能性が高い。#Tu p.285も参照。 ^ これはFreemanの立場。ほかには、たとえば岩波数学辞典は後出のレヴィ＝チヴィタによる平行移動の発見を接続の概念のはじまりとしている。 ^ 正確には、現在の言葉でいう捩れのないアフィン接続。 日本数学会編 編『岩波数学辞典』（第4版）岩波書店、2007年。ISBN 9784000803090。  Ben Andrews. “Lectures on Differential Geometry”. Australian National University. 2022年12月28日閲覧。 Loring W. Tu (2017/6/15). Differential Geometry: Connections, Curvature, and Characteristic Classes. Graduate Texts in Mathematics. 275. Springer. ISBN 978-3319550824  新井朝雄『相対性理論の数理』日本評論社、2021年6月22日。ISBN 978-4535789289。  Michael Spivak. A Comprehensive Introduction to Differential Geometry. VOLUME TWO (Second Edition ed.). Publish or Perish, Incorporated. ISBN 978-0914098805  森田茂之『微分形式の幾何学1』 14[25]、岩波書店〈岩波講座 現代数学の基礎〉、2001年5月23日。ISBN 978-4000110143。https://www.iwanami.co.jp/book/b476178.html。  森田茂之『微分形式の幾何学2』 14[26]、岩波書店〈岩波講座 現代数学の基礎〉、2001年5月23日。ISBN 978-4000110143。https://www.iwanami.co.jp/book/b480194.html。  Morita, Shigeyuki (2001), Geometry of Differential Forms, AMS, ISBN 0-8218-1045-6 　上記の２つの書籍の英語版 小林昭七『接続の微分幾何とゲージ理論』裳華房、1989年5月15日。ISBN 978-4785310585。  矢野 健太郎『接続の幾何学』河出書房、1948年。  Chris Wendl. “Differential geometrie 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日閲覧。 Marcelo Epstein (2014/7/15). Differential Geometry: Basic Notions and Physical Examples. Mathematical Engineering. Springer. ISBN 978-3319069197  Ivan Kolář, Jan Slovák, Peter W. Michor (2009/12/28). Natural Operators in Differential Geometry. Springer. ISBN 978-3642081491  Gijs M. Tuynman. Supermanifolds and Supergroups: Basic Theory. Mathematics and Its Applications. 570. Springer. ISBN 978-9048166329  Dietmar Salamon. “Spin Geometry and Seiberg-Witten invariants”. チューリッヒ工科大学. 2023年10月27日閲覧。 Federica Pasquotto. “Linear G-structures by examples”. アムステルダム自由大学. 2023年10月27日閲覧。 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  Freeman, Kamielle (2011). A Historical Overview of Connections in Geometry (MSc). Wichita State University. Lumiste, Ü. (2001), “Connection”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Connection  Osserman, B. (2004) (PDF), Connections, curvature, and p-curvature, http://math.berkeley.edu/~osserman/math/connections.pdf  Mangiarotti, L.; Sardanashvily, G. (2000), Connections in Classical and Quantum Field Theory, World Scientific, ISBN 981-02-2013-8 . 佐古彰史『ゲージ理論・一般相対性理論のための 微分幾何入門』森北出版、2021年9月30日。ISBN 978-4627078512。  Cartan, Élie (1926), “Les groupes d'holonomie des espaces généralisés”, Acta Math. 48: 1–42, doi:10.1007/BF02629755  Christoffel, Elwin B. (1869), “Ueber die Transformation der homogenen Differentialausdrücke zweiten Grades”, Journal für die reine und angewandte Mathematik 70: 46–70  Ehresmann, Charles (1950), Les connexions infinitésimales dans un espace fibré différentiable, Colloque de Toplogie, Bruxelles, pp. 29–55  Koszul, Jean-Louis (1950), “Homologie et cohomologie des algebres de Lie”, Bulletin de la Société Mathématique 78: 65–127  Levi-Civita, Tulio; Ricci, M. M. G. (1900), “Méthodes de calcul différential absolu et leurs applications”, Math. Ann. B 54: 125–201, doi:10.1007/BF01454201  Levi-Civita, Tulio (1916), “Nozione di parallelismo in una varietà qualunque e conseguente specificazione geometrica della curvatura riemanniana”, Rendiconti del Circolo Matematico di Palermo 42: 173–204, doi:10.1007/BF03014898  Weyl, Hermann (1918), “Reine Infinitesimalgeometrie”, Mathematische Zeitschrift 2: 384–411, doi:10.1007/bf01199420  Cartan, Élie (1924), “Sur les varietes a connexion projective”, Bulletin de la Société Mathématique 52: 205–241  Cartan, Élie (1983), Geometry of Riemannian spaces, Math Sci Press, ISBN 978-0-915692-34-7, https://books.google.co.jp/books?id=-YvvVfQ7xz4C&printsec=frontcover&redir_esc=y&hl=ja  Connections at the Manifold Atlas