![曖昧さ回避](//upload.wikimedia.org/wikipedia/commons/thumb/5/5f/Disambig_gray.svg/25px-Disambig_gray.svg.png) | この項目では、平行移動の概念によって特徴づけられる接続概念の一般論について説明しています。カルタン接続については「カルタン幾何学」を、その他の用法については「接続」をご覧ください。 |
微分幾何学において接続(せつぞく、英: connection)とは、多様体のファイバーバンドル上に平行移動の概念を定義する事ができる数学的構造である。ただし数学的な取り扱いを容易にするため、平行移動の概念で直接的に接続を定義するのではなく、実質的に等価な別概念を用いて接続を定義する。
接続概念はゲージ理論やチャーン・ヴェイユ理論で用いられる。特にチャーン・ヴェイユ理論の特殊ケースとして、曲面に関する古典的なガウス・ボンネの定理を一般の偶数次元多様体に拡張するのに役立つ。
接続は元々はクリストッフェル並びにレヴィ-チヴィタ、リッチによって[1]リーマン多様体上に導入された概念(レヴィ-チヴィタ接続)であるが、一般のベクトルバンドル上の接続(Koszul接続[注 1])や主バンドルの接続(主接続)にも拡張され、さらに一般のファイバーバンドルの接続へと拡張された。ただし実際に研究が進んでいるのは、ベクトルバンドルとその主バンドルに対する接続概念である。
以下、本項では特に断りがない限り、多様体、関数、バンドル等は全てC∞級の場合を考える。よって紛れがなければ「C∞級」を省略して単に多様体、関数、バンドル等という。また特に断りがない限りベクトル空間は実数体上のものを考える。
多様体M上のベクトル場YとM上の
に対し、Yの
に沿った「方向微分」を定義することを考える。ユークリッド空間における微分を参考にすると、
![{\displaystyle \lim _{\Delta t\to 0}{Y_{c(t+\Delta t)}-Y_{c(t)} \over \Delta t}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e1aeac091d1176329913bc231c7878a10acc5227)
のように定義するのがよいように思えるが、多様体上では
と
は別の点なので、両者の差
は意味も持たない。しかし
を
まで「平行移動」できれば、平行移動の結果
と
の差を取る事で「方向微分」を定義でき、これをYの
に沿った共変微分
という。
逆に
に沿った共変微分
が定義できていれば、
![{\displaystyle {\frac {\nabla }{dt}}Y_{c(t)}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/01f0e52985819131423c0806626264e7f7cc00da)
が恒等的に成立している事をもって、Yは
に沿って平行と呼ぶことで平行の概念を定義できる。
このように平行移動と共変微分は実質的に同値な概念であり、多様体のベクトル場に対して平行移動・共変微分を定義できる構造を多様体(の接バンドル)の接続という。
接続概念から定まる平行移動により、(何ら構造が定義されていない)多様体では無関係なはずの点
におけるベクトル
を
におけるベクトル
と「接続」して関係づける事ができ、これが「接続」という用語の語源である[5]。
上では接バンドルに対する接続を説明したが、より一般にベクトルバンドルの接続、あるいはさらに一般にファイバーバンドルの接続を考える事ができる。上述のように平行移動と共変微分は実質的に同値な概念なので、平行移動・共変微分のうち、定義しやすい方をもとにして接続概念を定義すればよい。
そこでベクトルバンドルの場合は共変微分を、一般のファイバーバンドルの場合は平行移動をベースにして接続概念を定義する。
接続によって定まるもう一つの重要概念として曲率があり、これはファイバーバンドルの「曲がり具合」を表している。特に接ベクトルバンドルの曲率は多様体それ自身の「曲がり具合」とみなせる。曲率概念は歴史的には3次元ユークリッド空間
内の曲面に対して定義されたものだが、実は「外の空間」である
がなくても定義できる曲面に内在的な量である事が示されたので、これを一般のリーマン多様体(の接ベクトルバンドル)、さらには一般のファイバーバンドルに対して拡張したものである。多様体に内在的な量としてみなしたとき、曲率の幾何学的意味は、閉曲線に沿ってベクトルを一周平行移動したとき、もとのベクトルとどの程度ずれるかを測った量であるとみなせる。
本節ではまずリーマン多様体の接続であるレヴィ-チヴィタ接続の定義を述べ、次により一般的なベクトルバンドルに対する接続の定義を述べる。
Mを
の部分多様体とし、
をM上の曲線とし、さらに
を
上定義されたMのベクトル場とし(すなわち各時刻tに対し、
は
を満たすとし)、
![{\displaystyle {\nabla \over dt}v(t):=\mathrm {Pr} _{c(t)}\left({d \over dt}v_{c(t)}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ab41f05201d9a5610d580b9bd121b246aec8344)
と定義する。ここでPrはMの点c(t)における
内の接平面(と自然に同一視可能なTc(t)M)への射影である。またX、YをM上のベクトル場とするとき、
![{\displaystyle \nabla _{X}Y|_{P}:={\nabla \over dt}Y_{\exp(tX)(P)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d27689292fd9712d65312d6af5d88a495ea307e)
と定義する。ここで
は時刻0に点
を通るXの積分曲線である。実はこれらの量はMの内在的な量である事、すなわち
からMに誘導されるリーマン計量(とその偏微分)のみから計算できる事が知られている。
具体的にはMに局所座標
を取ると、以下のように書ける(アインシュタインの縮約で表記):
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/edb0c8a6eaf4f689fc9d17cf8c242237f86d7cee)
- where
![{\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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3ef3d9419f2827ec659221baef08297b33d7c48b)
そこで
や
をリーマン多様体
に内在的な値とみなしたものを考える事ができる。
は以下の公理で特徴づけられる事が知られている:
定理 (リーマン幾何学の基本定理) ― M上のベクトル場の組にM上のベクトル場を対応させる汎関数∇で以下の5つの性質をすべて満たすものが唯一存在する[6][7]。このを
のレヴィ-チヴィタ接続といい、
をレヴィ-チヴィタ接続から定まるYのXによる共変微分という[8][9][10]:
(関数に関する左線形性)
(実数に関する右線形性)
(ライプニッツ則)
(捻れなし)
(計量との両立)
ここでX、Y、ZはM上の任意の可微分なベクトル場であり、f、gはM上定義された任意の実数値C∞級関数であり、a、bは任意の実数であり、
は点
において
となるベクトル場であり、
はfのX方向微分であり、
はリー括弧(英語版)である。
は
を曲線上に制限したものとして定義できる。
を可微分多様体M上のベクトルバンドルとし(E、Mのいずれにもリーマン計量が入っているとは限らない)、
をEの切断全体の集合とし、
をM上のベクトル場全体の集合とする。
ベクトルバンドルの接続は前述したレヴィ-チヴィタ接続の公理的特徴づけの5つの性質のうち3つを使って定義される。
ここでX、YはM上の任意のベクトル場であり、s、s1、s2はEの任意の切断であり、a、bは実数であり、f、f1、f2はM上定義された任意の実数値可微分関数であり、
は点uにおいて
となるEの切断であり、
はfのX方向微分である。
上述の定義から、一般のベクトルバンドルの接続もレヴィ-チヴィタ接続と同様、
![{\displaystyle \nabla _{X}s=\left(X^{j}{\partial s^{i} \over \partial x^{j}}+X^{j}s^{k}\Gamma _{jk}^{i}\right)e_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cc8633a0fb6a302d4a2728901296289797c1cf8)
という形で書ける。ここで
はMの局所座標であり、
はEの局所的な基底である[注 2]。ただしもちろんレヴィ-チヴィタ接続と違い
は計量で書けるとは限らない。
さらに以下の定義をする:
リーマン幾何学の基本定理から、レヴィ-チヴィタ接続とは、唯一の計量と両立する捻れなしのアフィン接続として特徴づけられる。
Mの曲線
上に切断
が定義されているとき、接続の成分表示の
を形式的に
に置き換えた
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/77c3c396351ad28ba26a0cc8e41baf37873bbf68)
を、曲線
に沿った共変微分という。この定義は基底の取り方によらずwell-definedである。
球面上の平行移動。大円で囲まれた三角形上でベクトルを一周平行移動すると、もとに戻ってきたときに元のベクトルには戻らない。
をベクトルバンドルとし、Mの曲線
上定義されたM上のベクトル場
が
![{\displaystyle {\nabla \over dt}v(t)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61964f68fc3f421c8c5e6faf60d3370a47b6b918)
を恒等的に満たすとき、
は
上平行であるという[17]。また、
上の接ベクトル
と
上の接ベクトル
に対し、
、
を満たす
上の平行なベクトル場
が存在するとき、
は
を
に沿って平行移動(英: parallel transportation along
)した接ベクトルであるという[17]。
ユークリッド空間の平行移動と異なる点として、どの経路
に沿って平行移動したかによって結果が異なる事があげられる。この現象をホロノミー(英語版)(英: holonomy)という[18]。
右図はホロノミーの具体例であり、接ベクトルを大円で囲まれた三角形に沿って一周したものを図示しているが、一周すると元のベクトルと90度ずれてしまっている事が分かる。
に沿って
を
まで平行移動したベクトルを
とすると
は線形変換である[19]。また共変微分は平行移動で特徴づけられる:
上述のように平行移動があれば共変微分が定義できるので、一般のファイバーバンドルではむしろ平行移動に基づいて接続概念を定義する。
E上に計量gが定義されていてしかも∇が計量と両立しているとすると、以下が成立する:
定理 ― 平行移動は計量を保つ。すなわちM上の曲線
に沿った平行移動を
とすると、任意の
に対し、以下が成立する:
![{\displaystyle g(\varphi _{c,t}(v),\varphi _{c,t}(w))=g(v,w)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9f82458605d21f536ec52be129e40fd3e4b1a92a)
本章では接続∇の「接続形式」という概念を述べる。本章で述べるように、むしろ接続形式から接続を定義したほうが数学的な構造を探る上で有利な点があり、このアイデアに沿って接続を定式化したのが後の章で述べる主バンドルの接続概念である。
を開集合
上で定義されたEの局所的な基底とするとき、接続形式を以下のように定義する:
定義 (接続形式) ― 行列
を
![{\displaystyle (\nabla _{X}e_{1},\ldots ,\nabla _{X}e_{m})=(e_{1},\ldots ,e_{m})\omega (X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/17723cc167c75e97c8d881aa96472d072cfe7d32)
により定義し、Xに
を対応させる行列値の1-形式
を局所的な基底
に関する接続∇の接続形式(英: connection form)という[21][注 3]
接続形式が与えられれば
![{\displaystyle \nabla _{X}s=X(s^{j})e_{j}+s^{j}\omega ^{i}{}_{j}(X)e_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d80687ec0818d86bd4cc3668ce5a3996d88f6016)
により接続を再現できるので、この意味において接続形式は接続∇の情報をすべて含んでいる。
接続概念において重要な役割を果たす平行移動の概念は接続形式ωと強く関係しており、底空間Mの曲線
に沿って定義された局所的な基底
をtで微分したものが接続形式
に一致する。
よって特に(レヴィ・チヴィタ接続などの)∇がEの計量と両立する接続の場合、∇による平行移動は回転変換、すなわち
の元なので、その微分である接続形式ωは
のリー代数
の元、すなわち歪対称行列である[注 4]:
このように接続形式を用いるとベクトルバンドルの構造群(上の例では
)が接続形式の構造をリー群・リー代数対応により支配している事が見えやすくなる。
上では回転群
の場合を説明したが、
(を自然に
の部分群とみなしたもの)や
、物理学で重要なシンプレクティック群やスピン群に対しても同種の性質が証明でき、接続形式がリー群・リー代数対応により支配されている事がわかる。
こうした事実は接続概念を直接リー群と接続形式とで記述する方が数学的に自然である事を示唆する。後で説明する、リー群の主バンドルに対する接続はこのアイデアを定式化したもので、主バンドルの接続は接続形式に相当するものを使って定義される。
そこで本項では、まずベクトルバンドルの接続と主バンドルの接続の両方を包括する概念であるファイバーバンドルの接続概念を導入する。この概念は「そもそも平行移動とは何か」を直接的に定式化したもので、この概念それ自身が接続形式の言葉で記述されるわけではない。
そして次にファイバーバンドルの接続概念を用いて主バンドルの接続概念を定義すると同時に、主バンドルの接続を接続形式の言葉で再定式化し、ベクトルバンドルの接続と主バンドルの接続の接続形式の言葉で記述する。
主バンドルの接続を定義する前準備として、一般のファイバーバンドルに対する接続を定義する。後述するように、主バンドルの接続はファイバーバンドルに対する接続で群作用に対して普遍になるものである。
すでに述べたように研究が進んでいるのばベクトルバンドルの接続なので、そのような目的のためにはこの一般の接続概念は必要ない。しかしファイバーバンドルの接続により、ベクトルバンドルの接続と次章に述べる主バンドルの接続とを統一的な視点から語る事ができるようになり、主バンドルの接続に基づいてベクトルバンドルの接続の性質をそれに対応する主バンドルの接続と対応付けて調べる事ができる。
をベクトルバンドルとし、∇をこのバンドルのKoszul接続とする。M上の任意の曲線c(t)とc(t)上の任意の切断s(t)で平行なものに対し、s(t)をE上の曲線とみなしたときに
が入るTeEの部分空間を「水平部分空間」と呼ぶ。
以上のように接続∇から水平部分空間が定まるが、逆に水平部分空間の情報があれば接続を再現できる事も知られている[23]。
このことからベクトルバンドルの場合は接続概念は水平部分空間の概念は等価なので、一般のファイバーバンドルに対する接続を水平部分空間の概念を用いて定義する事にする。
以上の考察を元に、ファイバーバンドルの接続を定義する。そのためにまず「垂直部分空間」という概念を定義する。
をファイバーFを持つファイバーバンドルとし、e∈EをEの元とするとしπが誘導する写像を
とするとき、
![{\displaystyle {\mathcal {V}}_{e}:=\{\xi \in T_{e}E\mid \pi _{*}(\xi )=0\}=T_{e}(E_{\pi (e)})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24120bdf35ce664799b3d335b4b38cb5dd6dc925)
を、eにおけるTeEの垂直部分空間(英: vertical subspace)という[24][25][注 5]。そしてファイバーバンドルの接続を以下のように定義する:
ファイバーバンドルの接続のことをエーレスマン接続[27](英: Ehresmann conection)と呼ぶ場合があるが[28]、主バンドルに対する接続の事を「エーレスマン接続」と読んでいる書籍[29]もあるので注意が必要である[30]。なお主バンドル上においても両者の概念は同値ではなく、ファイバーバンドルの接続のうち構造群の作用に関して不変なものを主バンドルの接続と呼ぶ。
両者の区別のため、一般のファイバーバンドルの接続を一般の接続(英: general connection[31])、主バンドルの接続を主接続(英: principal connection[32])と呼ぶ場合がある。
またファイバーバンドルの接続のうち、完備なもののみを「エーレスマン接続」と呼ぶ場合もある[33]。なおエーレスマン自身による定義では完備性を仮定していた[34]。
をファイバーバンドルとし、
をその接続とする。
定義 ― M上の曲線
上定義された切断
が平行であるとは、
![{\displaystyle {ds \over dt}(t)\in {\mathcal {H}}_{s(t)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1eac47cff5c60f5e9c5a3ca92d844325bc2d493d)
が任意のtに対して成立する事をいう。
接続の定義から、
![{\displaystyle \pi _{*}|_{{\mathcal {H}}_{e}}:|~{\mathcal {H}}_{e}\to T_{\pi (e)}M}](https://wikimedia.org/api/rest_v1/media/math/render/svg/43704d401e2dff07ab79cd5fb373a27f2e2f00cf)
はベクトル空間としての同型であるので、この逆写像
![{\displaystyle \mathrm {Lift} _{e}~:~T_{\pi (e)}M\to {\mathcal {H}}_{e}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45366a0ae23bf2605506a7600fb347f55710ea87)
を考える事ができる。
を
のeへの水平リフト(英: horizontal lift[26])という。水平リフトの定義から明らかなように、切断
が平行である必要十分条件は
![{\displaystyle {\tfrac {d}{dt}}s(t)=\mathrm {Lift} _{s(t)}\left({\tfrac {d}{dt}}c(t)\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b39c070b220091b3518d86d71b8c0b0cbd3bd33b)
を満たす事である[26]。
定理 ― sをMの開集合上で定義された切断とし、XをMのベクトル場とするとき
![{\displaystyle \nabla _{X}s=s_{*}(X)-\mathrm {Lift} (X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba5efc2a3dcf1b6171969eebc309d1df4efc878f)
をsのX方向の共変微分[35]という。
同様にM上の曲線
に沿った切断
に対し、
の
に沿った共変微分を
![{\displaystyle {\frac {\nabla }{dt}}s(t)={\frac {d}{dt}}s(t)-\mathrm {Lift} _{s(t)}({\frac {d}{dt}}c(t))}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bf74f596e285daebc57c7dd51277a3dce0079294)
により定義する。この事からすなわち、共変微分
とは、平行移動からのズレを表す量である事がわかる。
ベクトルバンドルのKoszul接続から一般の接続概念が得られる事をすでに見たが、逆にベクトルバンドル上の(一般の)接続が定める共変微分がKoszul接続の公理を満たす条件は以下の通りである:
Koszul接続から一般の接続概念を誘導する方法と(上記の定理の条件を満たす)一般の接続概念からKoszul接続を誘導する方法は「逆写像」の関係にあり、上記の定理の条件を満たす一般の接続概念とKoszul接続は1:1に対応する[38]。
主バンドルの接続は、ファイバーバンドルの接続で群作用に対して不変になるものである。すなわち、
ここで
は垂直部分空間
であり、
は
のPへの右からの作用
がTPに誘導する写像である。
をpにおける水平部分空間という。
本節では、前節で定義した主バンドルの接続概念をリー代数を使って特徴づける。後述するようにこちらの定義が自然にベクトルバンドルの接続と対応する。
そのために基本ベクトル場の概念を導入する。Gをリー群とし、
をそのリー代数とし、さらに
をG-主バンドルとするとき、リー代数の元
と点
に対し、
![{\displaystyle {\underline {A}}_{p}:=\left.{\frac {d}{dt}}(p\cdot \mathrm {exp} (tA))\right|_{t=0}\in T_{p}P}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8461d4b0b61ebe8fdeb13cd16f15db69f2bdc65c)
により、P上のベクトル場
を定義する。
をAに対応するP上の基本ベクトル場(英語版)(英: fundamental vector field on P associated to A)という[40][41]。
基本ベクトル場の定義より明らかに各
に対し、写像
![{\displaystyle \zeta _{p}~:~A\in {\mathfrak {g}}\mapsto {\underline {A}}_{p}\in {\mathcal {V}}_{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ddcd7c974f6306f0f3987ec72fc889a2eba6fe2)
は全単射であるので、ζpの写像の逆写像を考えることができる。この逆写像を分解
の垂直部分空間への射影
と合成する事で、
![{\displaystyle T_{p}P{\underset {V_{p}}{\to }}{\mathcal {V}}_{p}{\underset {\zeta _{p}{}^{-1}}{\overset {\sim }{\to }}}{\mathfrak {g}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea98fb905d0bc7ac7a49109e5a9d22647150eec6)
を作る事ができる。この写像を
に値を取る1-形式とみなしたものを
![{\displaystyle \omega _{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/03e5bac876eaf90d1ef45de136723aa1c2838b32)
とし、各点pにωpを対応させるP上の
値1-形式の場ωを接続形式(英: connection form)という[42]。
以上の議論から明らかに垂直射影からωが定まり、逆にωから垂直射影が定まるのでωによって接続概念を定式化できる:
ここで
は
のPへの右からの作用
がTPに誘導する写像であり、Adは随伴表現(英: adjoint representation)
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9edca5e62848f7e89baf0319930b27aa47bf5df2)
である[46]。
主バンドルとしての接続から前述の方法でPの接続形式が定まり、逆に接続形式ωが0になる方向を水平方向とすることでPに主バンドルとしての接続が再現できるので、両者の定義は同値である。
ベクトルバンドルの接続と主バンドルの接続の関係性
[編集] 本節では接続形式の章で述べたアイデアに基づいて、ベクトルバンドルの接続(Koszul接続)と主バンドルの接続(主接続)の関係を述べる。
接続形式の章で見た
のケースだけでなく
の部分リー群Gに対して両者の関係性を示すため、本章ではまず「G-フレーム」、および「G-フレームバンドル(英語版)」という概念を導入する。「G-フレーム」はGが
の場合は正規直交基底に相当するものであり、G-フレームバンドルはG-フレームを束ねてできるバンドルであり、自然にG-主バンドルとみなせる。
次に本章ではEのフレームバンドル上の接続からEのKoszul接続が定まる事を見る。そして構造群Gを持つベクトルバンドルの接続がGと「両立する」事を定義し、最後にG-フレームバンドルの接続の接続形式とベクトルバンドルのGと両立する接続の接続形式が1対1の関係にある事を見る。
「G-フレーム」とは正規直交基底の概念を一般化したもので、Gが
の場合、G-フレームが正規直交基底に相当する。
定義 ― Gを
の部分リー群とし、
を構造群Gを持つベクトルバンドルとし、uをMの点とし、
をEuの基底とする。
がEのuにおけるG-フレーム(英: G-flame)であるとは、Eのuにおけるバンドルチャート
と
が存在し、このバンドルチャート上で
![{\displaystyle (e_{1},\ldots ,e_{n})=(ge'_{1},\ldots ,ge'_{n})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/265bd305e7ad0d8cd45d51f189b20e078325d5e7)
が成立する事を言う。
ここで
は
の標準的な基底であり、
は線形変換
をeiに作用させたものである。
構造群Gを持つベクトルバンドルの定義から、G-フレームの定義はバンドルチャートの取り方によらずwell-definedである。
を
上のG-フレーム全体の集合とすると、
![{\displaystyle F^{G}(E):=\bigcup _{u\in M}F^{G}(E)_{u}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0fcb41f38db9b03c6818d33fc75f4dd31dc0eb5)
は自然にM上のG-主バンドルをなし、
を構造群Gに関するフレームバンドルという[47][注 8]。
をGを構造群を持つベクトルバンドルとし、
をそのフレームバンドルとする。さらにG-主バンドル
に接続形式が
の接続が入っているとする。開集合
上定義されたEの局所的な基底
に対し、
![{\displaystyle {\hat {\omega }}:=e^{*}(\omega )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e410167f752791083aa4d1eb334d0c6fb802610)
を、eをUからFG(E)への写像と見たときの接続形式ωのUへの引き戻しとし、
を
と成分表示する。
定理・定理 ― 記号を上述のように取る。Eの切断sとM上のベクトル場Xに対し、
![{\displaystyle \nabla _{X}s:=X(s^{j})e_{j}+s^{j}{\hat {\omega }}^{i}{}_{j}(X)e_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd03a5a3dbc07b736dc8ba91adec32e0168702ae)
と微分演算子∇を定義すると、∇は局所的な基底
の取り方によらずwell-definedで、しかも∇はKoszul接続の公理を満たす。∇を
から誘導される接続という。
Gを
の部分リー群とする。構造群Gを持つベクトルバンドルの接続(Koszul接続)がGと両立する事を以下のように定義する。直観的には平行移動がGの元で書ける事を意味する:
定義より明らかに以下が従う:
定義 ―
を構造群Gを持つベクトルバンドルとする。このとき、G-フレームバンドル
上の接続形式から誘導されたEの接続はGと両立する。
接続がGと両立する事は、接続形式がGのリー代数に入っている事と同値である:
定義 (Gと両立するKoszul接続) ― ∇をE上定義されたKoszul接続とし、
をその接続形式とする。∇がGと両立する必要十分条件は、任意の局所的な基底
に対し、
![{\displaystyle \omega _{e}\in {\mathfrak {g}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d747adc02f6cd2cd4490b528f51de5ed63aae343)
が成立する事を言う。
接続形式の章では平行移動が常に
の元で表せるときに接続形式が
のリー代数に入っている事を示したが、上記の定理はこの事実を
の任意の部分リー群に対して示したものである。
Gと両立する接続はフレームバンドルの接続に対応している:
定理 ― Gを構造群として持つベクトルバンドル
のKoszul接続∇がGと両立するとき、フレームバンドルFG(E)のある接続形式ωが存在し、∇はωからEに誘導される接続と一致する。
本章の成果をまとめると、以下の結論が得られる:
ベクトルバンドル
の切断sが与えられたとき、
上の関数
, where ![{\displaystyle s=s^{i}e_{i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e68aab65762fa39153cef99e22a11cb030ad0816)
を定義できる。このとき次が成立する:
定理 ― M上の任意のベクトル場Xに対し、以下が成立する[50]:
![{\displaystyle \psi _{\nabla _{X}s}=\mathrm {Lift} (X)\psi _{s}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4919e661f27685d88e1f2a4abd08cd67bd859ac)
ここで
は
上のベクトル場
により
上の
値関数
の各成分を微分した
の事である。
ファイバーバンドル
の接続(英: connection)
が与えられているとき、Eの接ベクトル空間は
と分解できた。そこで
、![{\displaystyle H_{e}~:~T_{e}E\to {\mathcal {H}}_{e}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b81a07203fb0dcde7c6ec5b51384c4ed100bed16)
をそれぞれ垂直部分空間、水平部分空間への射影とする。曲率概念はこのVe、Heを使って定義する:
定義 (ファイバーバンドルの曲率形式) ― E上のベクトル場ξ、ηに対し、
![{\displaystyle \Omega (\xi ,\eta ):=-V([H(\xi ),H(\eta )])}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e2267fbfcbf920758ea79a9ce6da9e3f40181c6c)
をファイバーバンドルEの接続
に関する曲率形式という[51]。
ここで
はリー括弧(英語版)である。Ωは
-線形であり[51][52][注 10][注 11]、よってΩは双線形写像
![{\displaystyle \Omega ~:~TE\times TE\to {\mathcal {V}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/489b522ccc50be1367879612f1017b9735e39dd4)
であるとみなせる[注 10]。
フロベニウスの定理を用いると、曲率形式が恒等的に0である事は超平面の族
が可積分である事と同値である事を示せる[55]。したがって曲率形式は水平部分空間
が可積分ではない度合いを表す量である。
本節では、主接続の場合に対し、上記で定義した曲率形式をリー代数の言葉で書き換える。Gをリー群とし、
をGのリー代数とし、さらに
をG-主バンドルとし、ωをPの主接続とする。リー代数
におけるリー括弧を使って
![{\displaystyle [\omega ,\omega ]_{\mathfrak {g}}(X,Y):=[\omega (X),\omega (Y)]_{\mathfrak {g}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/87b42afabdb5697bc92d0702970ae25ec382fce9)
と定義し[56]、さらに前の章と同様、リー代数の元に基本ベクトル場を対応させる写像
![{\displaystyle \zeta _{p}~:~A\in {\mathfrak {g}}\mapsto {\underline {A}}_{p}\in {\mathcal {V}}_{p}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5ddcd7c974f6306f0f3987ec72fc889a2eba6fe2)
を考える。紛れがなければ添字pを省略し単にζと書く。
定理 (主バンドルの接続の曲率) ― 曲率形式Ωは以下を満たす[57][58][56][注 12]:
- (構造方程式[58])
![{\displaystyle \zeta {}^{-1}(\Omega )=d\omega +{1 \over 2}[\omega ,\omega ]_{\mathfrak {g}}\in {\mathfrak {g}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/988aed8910e634990d7915269215da4685d34077)
紛れがなければ
を単にΩと書き、接続形式ωの曲率形式という。
Koszul接続が定義されたベクトルバンドルの曲率を以下のように定義する:
RはX、Y、sに関して
-線形であり[60]、よってRは各点
に対し、
![{\displaystyle R_{P}\in T^{*}M\otimes T^{*}M\otimes E^{*}\otimes E}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bb33cbc1e70076b68b037bcec88b084ad432e23)
を対応させるテンソル場とみなせる。
さらにKoszul接続の曲率形式を以下のように定義する:
すでに述べたようにベクトルバンドル
上のKoszul接続∇には、それと対応するファイバーバンドルとしての接続
が定義可能であるが、上述したKoszul接続の曲率は前述した一般のファイバーバンドルの曲率形式
と以下の関係を満たす。ここでHは水平部分空間への射影である。
よって特にKoszul接続の曲率形式
とは以下の関係を満たす:
![{\displaystyle \Omega ^{i}{}_{j}(X,Y)=-\langle e^{i},V(\mathrm {Lift} _{e_{j}}(X),\mathrm {Lift} _{e_{j}}(Y))\rangle }](https://wikimedia.org/api/rest_v1/media/math/render/svg/c937c85297874b7aa5786318c21f406f74e44d5b)
ここで
であり、
はその双対基底である。
のフレームバンドル
の曲率形式とKoszul接続の曲率形式は以下の関係を満たす: