ベクトルバンドルの接続(せつぞく、: connection)とは、微分幾何学の概念で、接ベクトルバンドルやより一般のベクトルバンドル微分概念を定義する演算子である。接続に定義される微分概念を共変微分という。

接続および共変微分の概念は元々リーマン多様体上のベクトル場の微分を定義するために導入されたもので、この接続をレヴィ-チヴィタ接続という。一般の接続概念はレヴィ-チヴィタ接続の満たす性質を自然に一般のベクトルバンドル拡張する事で得られる。


接続によって定まる重要な概念の一つとして平行がある。これは与えられたベクトル場の与えられた曲線に沿った共変微分が0になる、という趣旨の概念で、曲線に沿って平行なベクトル場X(あるいはより一般にベクトルバンドルの切断)により、曲線の起点PにおけるベクトルXPが曲線の終点曲線の起点QにおけるベクトルXQ平行移動されたとみなす。 これにより、(何ら構造が定義されていない)多様体では無関係なはずの点PにおけるベクトルXPと点QにおけるベクトルXQにおけるベクトルを「接続」して関係づけて考える事ができる。


接続によって定まるもう一つの重要概念として曲率があり、これはベクトルバンドルの「曲がり具合」を表している。特に接ベクトルバンドルの曲率は多様体それ自身の「曲がり具合」とみなせる。曲率概念は歴史的には3次元ユークリッド空間内の曲面に対して定義されたものだが、実は「外の空間」であるがなくても定義できる曲面に内在的な量である事が示されたので、これを一般のリーマン多様体(の接ベクトルバンドル)、さらには一般のベクトルバンドルに対して拡張したものである。多様体に内在的な量としてみなしたとき、曲率の幾何学的意味は、閉曲線に沿ってベクトルを一周平行移動したとき、もとのベクトルとどの程度ずれるかを測った量であるとみなせる。

接続概念はゲージ理論チャーン・ヴェイユ理論で用いられる。特にチャーン・ヴェイユ理論の特殊ケースとして、曲面に関する古典的なガウス・ボンネの定理一般の偶数次元多様体に拡張するのに役立つ。

準備

編集

切断とその性質

編集

接続の概念を定義するため、ベクトルバンドル関連の概念をいくつか定義する。

定義 (接続) ―  を可微分多様体M上の可微分なベクトルバンドルとする。可微分な写像 

  for  

を満たすものをE切断: section)という。Eの切断全体の集合を あるいは単に と表記する。

定義から分かるように、接バンドルTMの切断の概念は、Mのベクトル場の概念に一致する。よってM上のベクトル場全体の集合  に一致する[1]

可微分多様体M上の可微分な2つのベクトルバンドル  に対し、写像

 

を考える。

定義 ―  

  for   

を満たすとき、α -線形であるという[2]。また

  for   

を満たすとき、α -線形であるという[2]

定義 ― 任意の開集合 および任意の に対し、

 

が成立するとき、α局所演算子: local operator)であるという[3]

また任意の および任意の に対し、

 

となるとき、α点演算子: point operator)であるという[3]

実は次が成立する:

定理 ― 以下の4つは同値である[4]。:

  1. α -線形である
  2. αは点演算子である
  3. あるバンドル写像 が存在し、任意の に対し、 
  4. Mの各点P の元を対応させるテンソル場ηが存在し、 

また次が成立する:

定義・定理 ― αが局所演算子であるとする。このときMの任意の開集合Uに対し、 

  for  

を満たすものが一意に存在する[5] と書き、αUへの制限(: restriction)という[5]

レヴィ-チヴィタ接続

編集

一般のベクトルバンドルに対する接続を定義するため、レヴィ-チヴィタ接続について簡単に振り返る。

M の部分多様体とし、XYM上のベクトル場とするとき、

 

により定義する。ここで は時刻0に点 を通るXの積分曲線である。実はこれらの量はMの内在的な量である事、すなわち からMに誘導されるリーマン計量(とその偏微分)のみから計算できる事が知られている。

そこで をリーマン多様体 に内在的な値とみなしたものを考える事ができる。この は以下の公理で特徴づけられる事が知られている:

定理 (リーマン幾何学の基本定理) ― M上のベクトル場の組にM上のベクトル場を対応させる汎関数で以下の5つの性質をすべて満たすものが唯一存在する[6][7]。このを レヴィ-チヴィタ接続といい、 をレヴィ-チヴィタ接続から定まるYXによる共変微分という[8][9][10]

  1.  Xに関して -線形
  2.  sに関して -線形
  3.  
  4.  
  5.  

ここでXYZM上の任意の可微分なベクトル場であり、fgM上定義された任意の実数値C級関数であり、abは任意の実数であり、 は点 において となるベクトル場であり、 fX方向微分であり、 リー括弧英語版である。


具体的には局所座標 を使って、 

 
   where  

と書ける。 を局所座標 に関するクリストッフェル記号という。

ベクトルバンドルの接続

編集

レヴィ-チヴィタ接続の概念を一般化したものとして、ベクトルバンドルに対する接続の概念がある。接続の概念はゲージ理論チャーン・ヴェイユ理論で重要な役割を果たす。本項では、議論の一般性を確保するために接続の概念を導入するが、あくまでレヴィ-チヴィタ接続やそこから誘導される接続を主軸として話を進める。

定義

編集

 を可微分多様体M上の可微分な実ベクトルバンドルとし(EMのいずれにもリーマン計量が入っているとは限らない)、 Eの切断全体の集合とし、 M上のベクトル場全体の集合とする。

接続は前述したレヴィ-チヴィタ接続の公理的特徴づけの5つの性質のうち3つを使って定義される:

定義 (接続) ― 汎関数

 

で以下の性質を満たすものをE上のKoszul接続[注 1]: Koszul connection[14][15]あるいは単に接続: connection)といい[16][17] を接続 が定めるsX方向の共変微分という:

  1.  Xに関して -線形
  2.  sに関して -線形
  3.   (ライプニッツ則)

Mの接ベクトルバンドルTMの接続の事を特にアフィン接続: affine connection)という[18]

ここでXM上の任意のベクトル場であり、sEの任意の切断であり、fM上定義された任意の実数値可微分関数であり、 は点Pにおいて となるベクトル場であり、 fX方向微分である。明らかにレヴィ-チヴィタ接続はアフィン接続である

なお、Koszul接続の事を線形接続: linear connection)と呼ぶ文献[19][20]もあるが、この言葉をアフィン接続の意味で用いている文献[21]や、接バンドルのフレームバンドル英語版上の接続の意味で用いている文献[22][23][注 2]もあるので注意が必要である。

またアフィン接続という名称ではあるが、この接続に関する事項、例えば平行移動は線形変換になり、(線形変換以外の)アフィン変換にはならない。この名称は、この接続をカルタン接続とみなしたときにアフィン空間をモデルとするカルタンの幾何学とみなせる事による。詳細はカルタンの幾何学の項目を参照されたい。


Eに計量gが定義されているときには、以下の概念を定義できる:

定義 (リーマン計量と両立する接続) ― Eの任意の切断s1]s2]に対し

 

が成立する場合、 はリーマン計量g両立する(: compatible with g)といい、 計量接続英語版: metric connection)であるという[24]

また、 の場合、すなわちが多様体M上のアフィン接続である場合は以下のテンソルを定義できる:

定義 (捩率テンソル) ―  

 

捩率テンソルという。

捩率テンソルの詳細は後の節で述べる。

リーマン幾何学の基本定理から、レヴィ-チヴィタ接続とは、(唯一の)捩れなしの計量アフィン接続として特徴づけられる。

ライプニッツ則を用いると、以下を示す事ができる:

定理 ― 接続 sに関して局所演算子である。

別定義

編集

 Xに関して -線形であり、したがって点Pにおける値 XPにおける値XPのみから決まる。この事に着目すると、接続を若干違った角度から定式化できる。これを見るため、Eに値を取る線形写像 

 

と定義すると、余接ベクトル空間T*Mの定義から、

 

とみなせる。そこでMの各点P を対応させる切断

 

を考える事ができる。よって接続 は、Eの切断s の切断を対応させる写像

 

とみなせる。この事実を用いると、接続 を以下のようにも定義できる:

定義 (接続の別定義) ―  -線形写像

 

で以下の性質を満たすものをE上の接続: connection)という[25]

  1.  

上記の2つの定義は同値であるが、後者はXを明示しない分数学的取り扱いが若干楽になる場合が多い。

接続形式

編集

 を開集合 上で定義されたEの局所的な基底とする。接続 sに関して局所演算子であったので、 Uへの制限 を考える事ができる。以下、紛れがなければ の事を単に と書く。

XM上のベクトル場とし、 Eの切断とすると、接続の定義から

 

である。この式は、共変微分 ライプニッツ則を適用して係数部分の微分 と基底部分の微分 の和として表現したものと解釈できる。

そこで以下のような定義をする:

定義 (接続形式) ― 行列 

 

により定義し、X を対応させる行列値の1-形式 を局所的な基底 に関する接続接続形式: connection form)という[26][注 3]

定義から明らかに、

 

である。

さらに を成分で、

 

と表記すると、

 

とレヴィ-チヴィタ接続のときと同様の成分表示が得られる。 を(局所座標 と局所的な基底 に関する)接続係数: connection coefficient[28]、あるいはレヴィ-チヴィタ接続の場合の名前を流用し、クリストッフェル記号という[29]

捩率テンソル

編集

本節ではアフィン接続

 

に対し、先に定義した捩率テンソル

 

の性質を述べる。

意味づけ

編集

「捩率」という名称に関してはLoring W. Tuによれば「 を「捩率」と呼ぶうまい理由は無いように見える」[30]が、このテンソルには以下のような意味付けが可能である。

なめらかな任意の写像 に対し、リー括弧の性質より であることから、 とすると、

 

が成立する事を示せる。すなわち捩率テンソルは2つの微分の非可換度合いを表す量である[31]

また(アフィン空間をモデルとする)カルタン幾何学においては上記のものとは異なった意味付けが可能で、(カルタン幾何学の意味での)曲率の「並進部分」が捩率に対応している。詳細はカルタン幾何学#曲率の分解の節および捩率テンソル#カルタン幾何学の章を参照されたい。

性質

編集

捩率テンソルの性質を見る。

定理 ― 捩率テンソルは以下を満たす[32]

  •  
  •  XY双方に関して -線形である。

ここでXYM上の任意の可微分なベクトル場である。

上述の定理と前に述べた定理から、以下の系が従う:

 ― 捩率テンソルはバンドル写像 であるとみなせる。

接続 と捩率テンソルも局所座標で

 
 

と書くとき、次が成立する[33][34]

定理 ― 任意のijkに対し、

 

よって捩率テンソルが恒等的に0になる接続、すなわち捩れなし: torsion-free)の場合、Γi
jk
jkに対して対象なテンソルになる。このため捩れなしの接続の事を対称: symmetric)な接続ともいう[33]


外微分dに対し、次が成立する:

定理 ―  を多様体Mの接バンドルTM上の接続とするとき、

 が捩れなし M上の任意の1-形式ηM上の任意のベクトル場XYに対し、 

すなわち が捩れなしである事は、 が外微分と「両立」する事と同値である。

接続の誘導

編集

本節では、あるベクトルバンドル上定義された接続から別のベクトルバンドル上の接続を定義する方法を述べる。その過程でレヴィ-チヴィタ接続のときにも議論した曲線 に沿った共変微分に関しても述べる。

引き戻し

編集

これまで同様 M上の可微分なベクトルバンドル の接続とし、さらに を可微分多様体NからMへの可微分な写像とすると、fによるEの引き戻し(pullback bundle

 

を考える事ができる。


NMの局所座標  で、 となるものを選び、さらにU上のEの基底 を選んで接続 を接続形式を使って

 

と成分表示する。

定義 ―  の接続 をそのVへの制限 

 

となるように定義し、 fによる引き戻し: pull back)、fによって 誘導された接続: induced connection)という[35]

 がwell-definedな事の証明は省略する。接続係数を使えば、

 

である。


引き戻しの特殊な場合として、Nが線分の場合がある。この場合写像 M上の曲線とみなせる。曲線 に沿った切断sに対し、

 

を考える事ができる。 を接続 によって定まる曲線 に沿った切断sの共変微分という。成分で書けば

 

となるので、レヴィ-チヴィタ接続の場合の曲線 に沿った切断sの共変微分の概念の一般化になっている事がわかる。

直和・テンソル積への誘導

編集

多様体M上の2つのベクトルバンドルE1E2があり、E1E2にはそれぞれ接続  が定義されているとする。このとき、 上に

  for   

により、接続が定義できる[36]。また 上に

  for   

により、接続が定義できる[36]

双対バンドルの接続とリーマン計量

編集

MのベクトルバンドルEに接続 が定義されているとき、Eの双対バンドルE*に以下の性質を満たす接続 を定義できる[37][36]

 

ここでXM上の任意のベクトル場であり、sEの任意の切断であり、ωE*の任意の切断であり、 Eの双対ベクトル空間E*の元とEの元との内積である。紛れがなければ*を単にと書く事も多い。


Eにリーマン計量がg定義されている場合、EE*は自然に同一視でき、

 

が成立する事になるが、一般には  は異なる。情報幾何学の分野では の事を 双対接続: dual connection[38]という。

次が成立する:

定理 ― 以下の3つは同値である:

  • g と両立する。
  • E*gによりEと自然に同一視する事で*Eの接続と見なすと、 が成立する。
  •  

ここで  上の双線形写像gを自然に の元とみなしたときの共変微分である。


また簡単な計算から以下が従う:

定理 ―   上のEの局所的な基底 で正規直交なものを取るとき、g と両立する必要十分条件は、 の接続形式ωが以下を満たす事である:

 

ここで「 」はω転置行列である。

複数の接続の関係

編集

接続の定義から明らかに以下の性質を示すことができる:

定理 ―  を多様体M上ののベクトルバンドルEの接続とする。このとき、

 

Eの接続である。

また、2つの接続

 

に対し、

 

とすると、 Xs双方に関して -線形である事が示せ、したがって前に述べた定理から  というバンドル写像だとみなせる。逆に接続 とバンドル写像 が与えられると、

 

E上の接続である事を確かめられる。まとめると、以下の定理が成り立つ:

定理 ―  を多様体M上のベクトルバンドルEの2つ接続とする。このとき、

 

はバンドル写像 とみなせる。逆にバンドル写像 E上の任意の接続 に対し、

 

E上の接続である。

 を取り、EU上の局所的な基底 を固定し、切断s と成分表示すると、

 

により局所的に接続を定義できるが、

 

の成分表示は

 

とクリストッフェル記号を用いて書ける[39]

この事からクリストッフェル記号は とのズレを表す量であると解釈できる。

平行移動とホロノミー群

編集

平行移動

編集

 M上の可微分なベクトルバンドル の接続とし、 M上の区分的に滑らかな曲線とし、s 上のEの切断とする。すなわち各 に対し、 が定義でき、 が可微分であり、しかも が任意のtに耐いて成立するものとする。

定義 ―  

 

が恒等的に成立するとき、切断s に沿って平行: parallel along  )であるという[40]

Mがユークリッド空間でEがその接バンドルである場合、 であれば、ベクトル  の基点がtによって動くだけでその大きさも向きも一定である。すなわち に沿って を「平行移動」して動かしている事になるので、一般のベクトルバンドルの場合にも である事を平行と呼ぶのである。

 に沿った切断  がいずれも に沿って平行であり、しかも時刻 のとき であれば、別の時刻 でも である事を容易に示すことができる。よって写像

 

は切断 の取り方によらずwell-definedである。

定義 ―     の曲線 に沿った平行移動: parallel transportation along  )という[40]

 
球面上の平行移動。測地線(=大円)で囲まれた三角形上でベクトルを一周平行移動すると、もとに戻ってきたときに元のベクトルには戻らない。

ユークリッド空間の場合と違い、どの曲線に沿って平行移動したかによって平行移動の結果が異なる事に注意されたい。すなわち曲線 に沿った平行移動を 、曲線 に沿った平行移動を とするとき、たとえ  であっても であるとは限らない。この現象をホロノミー英語版: holonomy)という[41]


 の定義より、  から への写像であるとみなせるが、この写像は以下を満たす:

定理 ―    は線形同型である[42]

よって平行移動により、(接続や計量が定義されていない)多様体Mでは本来無関係のはずの  がつながって(connect)、 の元と の元を比較する事ができるようになる。接続(connection)という名称は、ここから来ている。


Eにリーマン計量gが定義されているときは以下が成立する事を容易に示せる:

定理 (平行移動による計量の保存) ―  Eのリーマン計量gと両立するとき、任意の に対し、以下が成立する:

 

曲線 上定義されたEの切断 で、各時刻tに対して EPの基底の基底になっており、しかも  に沿って平行なものを に沿った水平フレーム[訳語疑問点]: horizontal frame)という。

共変微分の特徴づけ

編集

これまで共変微分の概念を用いる事で平行移動の概念を定義してきたが、逆に平行移動の概念を用いて共変微分を特徴づけることができる:

定理 (共変微分の平行移動による特徴づけ) ―  多様体M上の曲線 MのベクトルバンドルE に沿った切断 を考えるとき、 に沿った平行移動を とすると、以下が成立する[43]

  

ここで はベクトル空間 における微分 である。なお、 tによらず に属するので、 上の差や極限を考えることができる。


上記の定理を用いると、共変微分の成分表示に意味を持たせる事ができる。これをみるため Mを局所座標とし、xを成分で とあらわし、さらに U上定義されたEの局所的な基底とすると、

    

であるので、これを共変微分の成分表示

 

と比較する事で、以下が結論付けられる:

定理 (接続形式の平行移動による特徴づけ) ― 曲線 上の平行移動を とし、曲線状定義されたEの基底を とするとき、 の行列表示は接続形式を使って と書ける。

すなわち

 

の第一項、第二項はそれぞれ、 ライプニッツ則に従って微分したときのsiの方の微分、eiの方の微分に対応していると解釈できる。

ホロノミー群

編集

PMを固定するとき、Pから出てP自身へと戻る各閉曲線Cに沿った平行移動はEPからEP自身への線形同型写像 を定めると、曲線の連結CC'に対し となるし、Cの逆向きの曲線を とすると、 となる事が容易に示せる。

よって

 Pから出てP自身へと戻る閉曲線 

とすると、 EPの自己線形同型のなすの部分群をなす。 PにおけるE に関するホロノミー群: holonomy group)という。なお、M弧状連結であればPによらず が同型である事を容易に示せるので、Pを略して単に とも書く。


また、

 Pから出てP自身へと戻る閉曲線でM上0-ホモトープなもの 

とすると、  の部分群をなす。 PにおけるE に関する制約ホロノミー群: restricted holonomy group)という。M弧状連結であればPによらず が同型である事も同様に示せるので、Pを略して単に とも書く。


定義から明らかなように、  EP上の線形同型全体のなすリー群 の部分群である。実は次が成立する事が知られている:

定理 ―   の(とは限らない)部分リー群である[44]

また  の(とは限らない)弧状連結なリー部分群である[45]

測地線

編集

定義と性質

編集

接バンドルTMにアフィン接続 が定義されているとき、測地線の概念を以下のように定義する:

定義 (測地線) ― Mを多様体とし、 をアフィン接続とする。このときM上の曲線 

 

が恒等的に成立する、という微分方程式を 上における測地線方程式といい、測地線方程式を満たす曲線  上の測地線: geodesic)という[46]

すなわち「二階微分」が常に0になる曲線を測地線と呼ぶのである。平行移動の定義から、測地線とは  に沿って平行であると言い換える事もできる。

恒等的に同じ点を取る「曲線」は自明に測地線方程式を満たすが、これは通常の意味での曲線ではないので、以下このような「曲線」を測地線とは呼ばない事にする。


測地線の定義は曲線 のパラメーターtに依存して定義されている事に注意されたい。 が測地線であっても、パラメーターを別の変数uに変数変換して得られる は測地線になるとは限らない。実際、 が測地線となるパラメーターは線形変換を除いて一意である:

定理 ― 曲線 が測地線で、 を( が決して0にならないような)変数変換を行って得られる も測地線である時、ある定数 が存在し、

 

が成立する。

 が測地線となるパラメーターtアフィン・パラメーターという[47]。上記の定理はアフィン・パラメーターがアフィン変換を除いて一意な事を意味する。

測地線の局所的な存在性と一意性

編集

測地線方程式を成分で書くと、 として

  for  

となる。ここで は接続係数である。この式は常微分方程式であり、常微分方程式は局所的な解の存在一意性が言えるので、次が成立する事になる:

定理 (測地線の局所的な存在一意性) ― 任意の と任意の に対し、ある が存在し、測地線

 

  

となるものが存在する[48]。しかも  がいずれも上記の条件を満たす測地線であれば、 上でPvP'vは一致する[48]

曲線は大域的に存在するとは限らない。 たとえば (に通常のユークリッド空間としての計量を入れた空間)において、曲線  までしか延長できない。

測地線の局所的な存在一意性が示されたので、以下の定義をする:

定義 (指数写像) ― 上記の定理で局所的な存在一意性が保証された測地線 

 

と書く。  上の指数写像: exponential map)という[49]

 である事を容易に確かめられるので、指数写像はwell-definedである。

Hopf-Rinowの定理

編集

上の定理で測地線の定義域  全域に拡張できるとは限らない。M上の に関する任意の測地線の定義域が 全域に拡張できるとき、 測地線完備: geodesically complete[50]、あるいは単に完備: complete[51]であるという。


 がリーマン多様体のレヴィ-チヴィタ接続の場合は、測地線が 全域に拡張できるか否かに関して以下の定理が知られている。

定理 (Hopf-Rinowの定理英語版) ―   連結なリーマン多様体とし、 M上のレヴィ-チヴィタ接続とする。このとき、以下の条件は互いに同値である[52][53]

  •  gが定める距離に関し、距離空間として完備である。
  •  は測地線完備である。
  • 全ての点 に対し、TPMの全ての元vに対し を定義できる。
  • ある点 に対し、TPMの全ての元vに対し を定義できる。
  • M上の任意の2PQに対し、PQの両方を通る( に関する)測地線が存在する。
  • gが定める距離に関し、Mの有界閉集合はコンパクトである。

Mがコンパクトであれば、M上の任意のリーマン計量gは必ず完備な距離を定めるので、Hopf-Rinowの定理からgが定めるレヴィ-チビタ接続 に関してMが測地線完備な事が従う。

しかし一般の接続 に対してはこのような事は成立するとは限らない。実際Mがコンパクトであっても、M上の擬リーマン計量が定めるレヴィ-チビタ接続は測地線完備になるとは限らず、反例としてクリフトン-ポールトーラス[訳語疑問点]が知られている。

正規座標

編集

実は次の事実が知られている:

定理 ―  を可微分多様体M上のアフィン接続とし、PMの点とする。このとき、TPMにおけるOの近傍Uが存在し、Uを多様体としてみたとき、 が定める指数写像

 

は中への微分位相同型である[54][55]

よって とすると、VPの近傍で、

 

Pの周りの座標近傍とみなせる。この座標近傍をPの周りの正規座標英語版: normal coordinate)という[56]

同一の測地線を定めるアフィン接続

編集

2つのアフィン接続 : M上の任意の曲線P(t)に対し、

 

を満たすとき、  同一の測地線を定めるという。

 

とし、

 
 

とする。

このとき次が成立する事が知られている:

定理 (同一の測地線を定める条件) ― 以下の2つは同値である[57]

  1.   は同一の測地線を定める
  2.  が任意のベクトル場Xに対して成り立つ。
  3.  が任意のベクトル場Xに対して成り立つ。

簡単な計算により

 

である事がわかるので、次の系が従う:

 ―  である必要十分条件は、  は同一の測地線を定め、しかも  の捩率テンソルが同一な事である [57]

なお、接続の局所座標表示

 

に対し、クリストッフェル記号の添字jkの役割を反対にした

 

は局所座標の取り方によらずwell-definedでしかも接続の公理を満たす事が知られている[58]。よって特に次が成立する:

定理 ― 記号を上述のように取るとき、

 

と同一の測地線を定め、しかも捩率テンソルが0になる接続である[58]


レヴィ-チヴィタ接続における測地線の特徴づけ

編集

レヴィ・チヴィタ接続の場合は測地線を全く別の角度から特徴づける事ができる。


測地線方程式は曲線uの長さ を端点を固定して変分したときのオイラー・ラグランジュ方程式に等しい[59][60][61]。ここで である。すなわち、測地線は長さに関する停留曲線(≒端点を固定した曲線のなす空間において「微分」がゼロのなる曲線)である。

また測地線方程式は曲線uの「エネルギー」 を端点を固定して変分したときのオイラー・ラグランジュ方程式にもなっている[62]

曲線の曲率

編集

リーマン多様体M上の曲線に対し、以下の定義をする。

定義 (曲線の曲率) ―  リーマン多様体M上の曲線の、弧長パラメータによる「二階微分」の長さ

 

Mにおける 測地線曲率[訳語疑問点]: geodesic curvature[63])、あるいは単に曲率: curvature)という。

ここで である。

前述の定理から、明らかに次が従う:

定理 ―  曲線が測地線である必要十分条件は、その曲線の曲率が常に0の曲線である事である。

なお、弧長パラメータの定義より が常に成り立つので、

 

である。よって次が従う:

定理 ―   は曲線の接線 と直交する。


なおここで定義した「曲線の曲率」は次章で定義する「(接続が定義された)多様体の曲率」とは別概念であるので注意されたい。実際、

  • 「曲線の曲率」は曲線 のみならず「外側の空間」Mがあって初めて定義されるものであるのに対し、次章で述べる「多様体の曲率」の定義にはこのような「外側の空間」は必要ない。
  • 「曲線の曲率」はあくまで曲線の接線方向の微分を考えているのに対し、「多様体の曲率」は2つの接ベクトルがあって初めて定義されるものであり、これら2つの接ベクトルが同一の場合は0になってしまう。

曲率

編集

本節では接続 が定義されたベクトルバンドル 曲率をまず天下り的に定義し、その性質を見る。次に曲率の概念をホロノミーを使う事で特徴づける事により、曲率概念に対する空間に内在的な幾何学的解釈を与える。最後に共変外微分の概念を導入して共変外微分を使って曲率概念を特徴づける。

動機

編集

曲率の概念を定義するため、モチベーションを述べる。 ベクトルバンドル の接続 の局所座標 と局所的なEの基底 における成分表示

 

を考える。

  がレヴィ-チヴィタ接続の場合、 であれば、すなわちMが「平たい」空間であれば、クリストッフェル記号 は全て0になる。

よって一般のベクトルバンドルの場合も、クリストッフェル記号 が全て0になる局所座標と局所基底がとれればバンドルは「平たい」とみなす事にする。


この「平たい」バンドルとのズレを測るのが曲率である。ただしクリストッフェル記号は局所座標の取り方に依存しているため、クリストッフェル記号自身を用いるのではなく、別の方法で「平たい」バンドルとのズレを測る。

ズレを測るため、クリストッフェル記号 が全て0であれば、

 

となる事に着目する。この事実から「平たい」バンドルに対しては、

 

が常に成立する事を示せる。そこで一般の接続 に対し、

 

と定義すると、 は「平たい」バンドルのときには恒等的にゼロになり、この意味において はバンドルの「曲がり具合」を表している考えられる。

定義

編集

以上のモチベーションの元、曲率を以下のように定義する:

定義・定理 (曲率) ―  ベクトルバンドル の接続 に対し、

  for  

とすると、RXYsに関して -線形である[64]

よって前述の定理からRは各点 に対し、

 

を対応させるテンソル場とみなせる。

R に関する曲率: curvature)もしくは曲率テンソル: curvature tensor)といい[64][注 4]RP に関する点Pにおける曲率: curvature)もしくは曲率テンソル: curvature tensor)という。

 がリーマン多様体の場合は、gのレヴィ・チヴィタ接続の曲率の事を「Mの曲率」、「gの曲率」等と呼ぶことにする。

リーマン多様体における特徴づけ

編集

リーマン多様体 においては、Mの曲率はリーマン計量をテイラー展開したときの2次の項として特徴づける事ができる:

定理 (リーマン多様体における曲率の特徴づけ) ―   をリーマン多様体とし、PMの点とし、 Pを原点とする正規座標とする。このとき以下が成立する[65]

 

ここで である。

曲率形式

編集

 Mの開集合U上で定義された局所的な基底とするとき、 に関する曲率形式を以下のように定義する:

定義 (曲率形式) ―  XYに行列 を対応させる行列値の2-形式 

 

により定義し、 を局所的な基底 に関する 曲率形式: curvature form[66])という。 を並べてできる行列 曲率行列: curvature matrix[66])という事もあるが、紛れがなければこの行列も曲率形式という[67]

さらに Mの局所座標とし、

 

と成分分解すると、

 

が成立する。

性質

編集

 を同じ局所座標 に関する接続形式すると以下が成立する:

定理 ―  

  • (カルタンの)第二構造方程式[68]: (Cartan's) second structural equation[69] 
  • 一般化されたビアンキの第二恒等式: generalized second Bianchi identity[70] 、ここで 

ここで接続行列のウェッジ積 は行列積 の事である。  も同様に定義する。 第二構造方程式は曲率の定義を成分で書く事で得られる。一般化されたビアンキの第二恒等式は第二構造方程式から従う。

なお、一般化されたビアンキの第二恒等式においてk=1の場合がビアンキの第二恒等式: second Bianchi identity)である[70]

成分表示

編集

 Mの局所座標とし、 Eの局所的な基底とすると、接続係数 を用いて以下のように表すことができる:

定理 ―  とすると、以下が成立する[71][72][注 5]

 

アフィン接続の場合の性質

編集

捩率テンソルを

 

と成分表示して得られる2-形式 を並べてできる縦ベクトル を考える事ができる。τの事を基底 に関する捩率形式: torsion form)という[73][注 6]


さらに局所的な基底 の双対基底を とすると[注 7]、これらは1形式である。これらを並べた縦ベクトルを とする。

このとき、次が成立する:

定理 ― アフィン接続は次を満たす:

  • (カルタンの)第一構造方程式[75]: (Cartan's) first structural equation[76] 
  • ビアンキの第一恒等式: first Bianchi identity[76] 

ビアンキの第一および第二恒等式は以下のようにも書くことができる:

定理 ― M上のベクトル場X1X2X3に対し、以下が成立する:

  • ビアンキの第一恒等式[77] 
  • ビアンキの第二恒等式[77] 

ここで添字は「mod 3」で考える。すなわち「 」は巡回和である。

さらに次が成立する:

定理 ― リーマン多様体 上のアフィン接続gと両立すれば、以下を満たす[78]

  •  

レヴィ-チヴィタ接続の場合の性質

編集

レヴィ-チヴィタ接続の場合は以下のようにも成分表示できる:

定理 ―   とすると[注 5]、以下が成立する[79]

  

ここで は下記のKulkarni–Nomizu積である:

 

次の事実が知られている:

定理 ― リーマン多様体 のレヴィ-チヴィタ接続の曲率は以下を満たす[80]

  •  
  •  


レヴィ-チヴィタ接続 は捩れなしなので、ビアンキの第一および第二恒等式を以下のように書く事ができる:

定理 ― レヴィ-チヴィタ接続は次を満たす:

  • ビアンキの第一恒等式[80] 
  • ビアンキの第二恒等式[77] 

ここで R の元とみなしたときの共変微分である。


ビアンキの第二恒等式は以下のようにも書ける[80][注 8]

 

ここで

 

であり、   に値を取るテンソル場とみなしたときの共変微分である。 リーマンの)曲率テンソル: (Riemann) curvature tensor[81][82]という。

断面曲率、リッチ曲率、スカラー曲率

編集

 をリーマン多様体 のレヴィ-チヴィタ接続とし、PMの点とし、 とし、さらに  の基底とする。

定義 ―  

  •  を点Pにおける に関する断面曲率: sectional curvature)という[83]
  •  を点Pにおける に関するリッチ曲率: Ricci curvature)という[84]
  •   を点Pにおけるスカラー曲率: scalar curvature)という[84]

なお、書籍によっては本項のリッチ曲率、スカラー曲率をそれぞれ 倍、 倍したものをリッチ曲率、スカラー曲率と呼んでいるものもある[85]ので注意されたい。 また断面曲率は という記号で表記する文献も多いが、後述するガウス曲率と区別するため、本稿では という表記を採用した。


定義から明らかなように、以下が成立する:

定理 ―  断面曲率は が貼る平面のみに依存する。すなわち  TPM内の同一平面を貼れば以下が整理する:

 

定理 ―  リッチ曲率は線形写像

 

トレースに一致し[84]、スカラー曲率は、

 

を満たす線形写像ρのトレースに一致する[84]

よって特にリッチ曲率、スカラー曲率の定義は基底 の取り方によらない[84]

実は断面曲率は曲率テンソルを特徴づける:

定理 ―   を計量ベクトル空間とし、

 

を各成分に対して線形な2つの写像とする。このとき、線形独立な任意のベクトル に対し、

 

であれば[注 9]RR'は同一の写像である[86]

部分リーマン多様体における断面曲率

編集

m次元リーマン多様体Mが別のリーマン多様体 の余次元1の部分リーマン多様体、すなわち  の場合は、以下が成立する[87]

定理 ― i≠jを満たす任意のi, j ∈{1,...,m}に対し、

 

ここで は点 における主方向で を対応する主曲率であり、 Muにおける断面曲率であり、  uにおける断面曲率である。

よって特にMが2次元リーマン多様体で  の場合はMの断面曲率 はガウス曲率κ1κ2に一致する(Theorema Egregium)。

ホロノミーによる曲率の特徴づけ

編集

本節ではホロノミーを使うことで曲率概念を特徴づけ、これにより曲率概念を多様体に内在的な幾何学的な意味付けを与える。


まず記号を定義する。これまで通り をベクトルバンドル の接続とし、  の原点Oの開近とし、Uの元を成分で と表し、 を埋め込みとし、M上のベクトル場XY

  

とする。  上の以下のような閉曲線とする: から だけ右に動き、 だけ上に動き、 だけ左に動き、 だけ下に動く。

このとき に沿って、 のファイバー の元eを平行移動したものは、

 

に等しい。ここで に対し、  はそれぞれ からXY積分曲線に沿ってtだけ進むのに合わせて を平行移動したものである。

定理 (ホロノミーによる曲率の特徴づけ) ― 次が成立する[88][89]

 

すなわち、曲率 は、

 

により特徴づけられる。よって直観的には曲率 は(XYが可換になるように拡張した場合に)XYが定める平行移動の非可換度合いを表している。

共変外微分による曲率の特徴づけ

編集

本節では共変外微分の概念を導入し、この概念を用いて曲率概念を特徴づける。

共変外微分

編集

まず共変外微分の概念を導入する。

 をベクトルバンドルとし、

 

Eの接続とし、

  

とする。

定義 (共変外微分) ―  

 

  for  

を満たすように定義し、 共変外微分: covariant exterior differentiation)という[64]

共変外微分がwell-definedである事の証明は省略する。紛れがなければ添字のpを省略し、 と書く。

共変外微分は以下を満たす:

定理 ―  

 
  for  

共変外微分は通常の外微分と違い、

 

なるとは限らない。しかし

  

となるので、 に対して が分かれば一般の に対して が計算できる事になる。

曲率の特徴づけ

編集

実は は曲率に一致する事が知られている:

定理 (共変外微分による曲率の特徴づけ) ― 任意の と任意の に対し、以下が成立する(リッチの恒等式: Ricci's identity))[64]

 

なお、すでに述べたように 0になるとは限らないが、 は必ず0になる事が知られており、この事実はビアンキの第二恒等式と同値である:

定理 ― 任意の に対し、以下が成立する(ビアンキの第二恒等式: Bianchi's identity))[90]

 

一般の接続へ

編集

これまで本項では共変微分を用いて接続概念を考察してきたが、 実はむしろωから接続概念を定義したほうが、数学的に有利である事が示唆される。その理由は2つある。

第一に、リーマン多様体であればから定義される曲率テンソルを使って記述できた恒等式、例えば(第二)構造方程式や(第二)ビアンキ恒等式は、一般のベクトルバンドルではωを使わないと記述できない(曲率の章を参照)。



第二に、接続概念において重要な役割を果たす平行移動の概念は接続形式ωと強く関係しており、ベクトルバンドル の底空間Mの曲線 に沿って定義された局所的な基底 tで微分したものが接続形式 に一致する。

よって特にEの計量と両立する接続の場合、による平行移動は回転変換、すなわち の元なので、その微分である接続形式ω のリー代数 の元、すなわち歪対称行列である[注 10]


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

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


こうした事実は接続概念を直接リー群と接続形式とで記述する方が数学的に自然である事を示唆する。リー群の主バンドルの接続はこのアイデアを定式化したもので、主バンドルの接続は接続形式に相当するものを使って定義される。詳細は接続 (ファイバー束)の項目を参照されたい。

脚注

編集

出典

編集
  1. ^ #Tu p.52.
  2. ^ a b #Tu p.49.
  3. ^ a b #Tu p.53.
  4. ^ 1⇒2は#Tu p.56、2⇒1は自明。1⇔3は#Tu p.58。3⇔4は自明。
  5. ^ a b #Tu p.55
  6. ^ #Andrews Lecture 10, p.2.
  7. ^ #Tu p.45.
  8. ^ #Andrews Lecture 8 p.74, Lecture 10 p.98.
  9. ^ #新井 p.304.
  10. ^ #Tu p.45.
  11. ^ 板場綾子「自己移入的Koszul多元環に対する有限条件(Fg) (有限群のコホモロジー論とその周辺)」『数理解析研究所講究録』第2061巻、京都大学数理解析研究所、2018年4月、33頁、CRID 1050001202603941760hdl:2433/241849ISSN 1880-2818NAID 120006645349 
  12. ^ Koszul duality for factorization algebras and extended topological field theories”. 2023年10月19日閲覧。
  13. ^ 2020年度 幾何学 B アインシュタイン計量の幾何学 -リーマン幾何学入門とアインシュタイン計量の幾何学への応用-”. p. 75. 2023年10月19日閲覧。
  14. ^ #Spivak p.241.
  15. ^ José Figueroa-O'Farrill. “Lecture 5: Connections on principal and vector bundles”. PG course on Spin Geometry. p. 40. 2023年1月12日閲覧。
  16. ^ #森田 p.213.
  17. ^ #Tu p.72.
  18. ^ #小林 p.76.
  19. ^ #Wendl3 p.76.
  20. ^ #Kolar p.109.
  21. ^ #Koszul p.78.
  22. ^ #Kobayashi-Nomizu-1 p.119
  23. ^ Linear connection”. Encyclopedia of Mathematics. 2023年10月17日閲覧。
  24. ^ #Tu p.75.
  25. ^ #小林 p.37.
  26. ^ #小林 p.38.
  27. ^ #Tu p.80.
  28. ^ #Andrews Lecture 8 p.74.
  29. ^ #Tu p.100.
  30. ^ 原文"There does not seem to be a good reason for calling   the torsion."。#Tu p.44.
  31. ^ #Wendl4 p.101.
  32. ^ #Tu p.44.
  33. ^ a b #Tu p.100.
  34. ^ #Wendl4 p.102.
  35. ^ #小林 p.41.
  36. ^ a b c #小林 pp.40-41.
  37. ^ #Wang p.4.
  38. ^ 藤原 彰夫『情報幾何学の基礎: 情報の内的構造を捉える新たな地平』共立出版、2021年5月31日、89頁。ISBN 978-4320114517 
  39. ^ #Wendl3 p.80/
  40. ^ a b #Tu p.263.
  41. ^ #Tu p.113.
  42. ^ #Tu p.263.
  43. ^ #Spivak p.251.
  44. ^ #小林 p.72.
  45. ^ #小林 p.74.
  46. ^ #Tu p.103.
  47. ^ #Kobayashi-Nomizu-1 p.138.
  48. ^ a b #Tu p.107.
  49. ^ #Tu p.115.
  50. ^ #Tu p.130.
  51. ^ #小林 p.89.
  52. ^ #Tu p.131.
  53. ^ #Berger p.227.
  54. ^ #Tu pp.117-118.
  55. ^ #小林 p.89.
  56. ^ #Tu p.118.
  57. ^ a b #Spivak p.271.
  58. ^ a b #Kobayashi-Nomizu-1 p.146
  59. ^ #新井 pp.324-326.
  60. ^ #Lee p.101.
  61. ^ #佐々木 pp.89-91.
  62. ^ #新井 pp.329-331.
  63. ^ #Tu p.138.
  64. ^ a b c d #小林 p.43.
  65. ^ Jeff A. Viaclovsky. “240AB Differential Geometry”. University of California, Irvine. p. 81. 2023年6月23日閲覧。なお添字の順番が引用元と異なっているが、これは の添字の順番が引用元と異なっているからである。
  66. ^ a b #Tu p.80.
  67. ^ #小林 p.44.
  68. ^ #新井 p.272.
  69. ^ #Tu p.80
  70. ^ a b #Tu p.204.
  71. ^ #Wendl5 p.122.
  72. ^ #Kobayashi-Nomizu-1 p.145.
  73. ^ #小林 p.107.
  74. ^ #Tu p.84.
  75. ^ #新井 p.270
  76. ^ a b #Tu p.203.
  77. ^ a b c #Kobayashi-Nomizu-1 p.135.
  78. ^ #Tu p.91.
  79. ^ #Viaclovsky p.12.
  80. ^ a b c #Tu pp.204-207.
  81. ^ #Tu p.207.
  82. ^ #Lee p.118.
  83. ^ #Tu p.92.
  84. ^ a b c d e #Tu p.208-209.
  85. ^ #Carmo p.97.
  86. ^ #Carmo p.94.
  87. ^ #Carmo p.131.
  88. ^ #Prasolov p.203.
  89. ^ #Rani p.22.
  90. ^ #小林 p.45.

注釈

編集
  1. ^ 人名「Koszul」を「コシュール」と訳している文献[11][12][13]があるため、「コシュール接続」と読むと思われるが、「コシュール接続」と訳した文献を発見できなかったので本項では「Koszul接続」と表記した。なお、Wikipediaの英語版には「フランス語: [kɔsyl]」とある。
  2. ^ #Kobayashi-Nomizu-1 p.119では上述のように「線形接続」という言葉を接バンドルのフレームバンドル上の接続の意味で用いているが、p.129では「線形接続」がアフィン接続と1対1対応するのでアフィン接続と実質的に等価であるものの、必要に応じてこれらの言葉を使い分ける旨を述べている。一方、Linear connection”. Encyclopedia of Mathematics. 2023年10月17日閲覧。ではアフィン接続が接バンドルのフレームバンドルに定める接続の意味で用いているが、上述のようにこれはアフィン接続と1対1対応する。
  3. ^ 成分 接続形式といい、ω接続行列: connection matrix)と呼ぶ場合もある[27]
  4. ^ RはテンソルRPの場なので、Rを「曲率テンソル場」(curvature tensor field)と言った方が自然に見えるが、本項執筆者が調べた範囲では、「曲率テンソル場」と呼んでいる文献は少なかったので、本項では慣用に従い「曲率テンソル」と呼ぶことにした。
  5. ^ a b 成分表示の添字の取り方は文献によって異なるので注意されたい。我々は#Kobayashi-Nomizu-1 p.144に従い、
     
    としたが、#Viaclovsky p.11では
     
    としている。
  6. ^ #Tu p.84.ではτ自身ではなくその成分 の事を捩率形式と呼んでいる。
  7. ^  であれば であるが、必ずしも でなくともよい[74]
  8. ^ XYZをサイクリックに回している。
  9. ^ 断面曲率との関係性を示すために両辺の分母を表記したが、両辺の分母は同一であるので、実際には分母は必要ない。
  10. ^ 厳密には以下の通りである。Mの曲線 に沿って定義された局所的な基底 を考え、  に沿って平行移動したものを として行列   により定義すると、接続形式の定義より、   が成立する。ここで は成分ごとの微分 の事である。 が計量と両立すれば、 は正規直交基底である。よって  が正規直交基底であれば、 より は回転変換であり、 の微分は歪対称行列である。

関連項目

編集

文献

編集

参考文献

編集

その他

編集