多様体の接空間を接続するということ
突然だが、Levi-Civita接続という言葉をご存知だろうか?この言葉は何だが不思議な語呂の良さがあり、私は以前Twitterで見かけて以来、この言葉を何となく覚えていた。しかし、いざ調べてみるとなかなか難しい概念で、一朝一夕では理解できないと感じていた。
最近、ついにこのLevi-Civita接続について一定の理解を得たので、自身の知識整理を兼ねて、理解したことをまとめてみることにする。
なお、本稿ではアインシュタインの縮約記法を使っているので注意されたい。
また、本稿は全体的に資料[1]を参考に記載している。
方向微分から共変微分へ
関数の方向微分
多様体Mにおいて、ベクトル場に沿った関数の方向微分を考えてみる。「ベクトル場に沿った」とは言っても、ある1つの点に着目すれば、結局これはその点に割り当てられたベクトルに対する方向微分を考えてみようと言っているだけである。
ある局所座標系について、ベクトル場が与えられているとする。このとき、ある1点を通る滑らかな曲線 を考える。ただし、とする。この曲線をtについて微分した値がpにおいてベクトル場と一致するようにが取られているとする。すなわち、の各成分について以下が成立しているとする。
このとき、fをM上の任意の微分可能な関数とすると、に沿ったfの方向微分は以下の式で表される。
Mの各点においてこのような方向微分を考えることができるので、結局以下が成立する。
この方向微分は以下の3つの性質を持つ。
- ()
- ()
すなわち、与えられたベクトル場と関数について線形であり、かつLeibnitz則が成立する。ただし、f, gはM上の任意の微分可能な関数である。
ベクトル場の方向微分における問題
これと同様に、今度はベクトル場に沿ったベクトル場の方向微分というものを考えてみる。微分する方向を定めるベクトル場を、微分されるベクトル場をとする。このとき、ベクトル場は、Mの各点pにおける接空間から1つずつベクトルを選び、その点に割り当てることで構成される。
このベクトル場の微分を先ほどと同じように行うことを考えてみよう。このとき、微小な曲線を取るところまではよいのだが、その後の微分操作で、微小距離だけ離れたベクトルの差を取る必要がある。しかし、微小距離だけ離れた点とは言え、異なる点に割り当てられたベクトルは異なる接空間の元であるため、これらを単純に比較することはできない。つまり、関数の場合と同じように考えて微分することはできないのである。
共変微分
そこで、2つの異なる接空間に属するベクトルを比べることなく、ベクトル場に対しても方向微分のような演算を定義することを考える。すなわち、方向微分が満たしていた性質を満たすような抽象的な写像として、ベクトル場に沿ったベクトル場の方向微分のような演算を形式的に考えるのである。すなわち、以下の3つの性質を満たすような写像を考える。
- ()
共変微分が与えられると、後に示すように多様体の異なる点における接空間の接続が決まるので、これを接続と呼ぶこともある。より正確には、ベクトル場に対して接続が与えられた時、演算を共変微分と呼ぶようである[2]。特に、上の条件で定められる接続をアフィン接続と呼ぶ。
共変微分の計算
このようにして与えられた共変微分の定義は抽象的で、このままでは具体的な計算方法が分からないように見える。しかし、与えられた3つの性質に基づいて計算を進めると、これだけでも案外いろいろな事が分かる。
ということで、、について共変微分を計算して見よう。ただし、と略記する。
ここで、も各点における接空間の元なので、以下のように基底の線形結合で表すことができる。
ここで、基底の係数をクリストッフェル記号という。
すると、先ほどの共変微分の式は以下のようになる。
とインデックスを付け替えると、結局以下のようになる。
共変微分(アフィン接続)の定義から計算できるのはここまでである。これを見ると分かるように、共変微分の定義だけではクリストッフェル記号の値が完全には決まり切らない。そのため、アフィン接続は無数に存在することになる。
Levi-Civita接続
このままではどのアフィン接続を用いたら良いのか分からない。無数にあるアフィン接続のうち、何か突出した性質を持つものはないものだろうか?実は、以下のような条件を満たす接続は一意に決まることが知られている。
- (対称な接続)
- (内積との整合性)
ただし、はリーブラケット[3]であり、などはリーマン計量gによる内積を表す。
私も詳しくは理解しきれていないが、最初の条件は局所座標系を指定すればと同値であり、クリストッフェル記号の下付きの添字の対称性を表している。2番目の条件については後述する。
このようにして決まる接続のことをLevi-Civita接続と呼ぶ。Levi-Civita接続においては、クリストッフェル記号は以下の式により一意に定まる。
ベクトルの平行移動による接空間の接続
ここまでの議論で、内積、すなわちリーマン計量と整合性のある接続として、一意なLevi-Civita接続が得られる事が分かった。しかし、名前こそ接続となっているものの、これが一体何と何をどう接続しているのかがまだ分からない。
そこで、最後にLevi-Civita接続の接続っぽさを味わってみよう。
本稿のタイトルにもあるように、接続されるのは異なる2つの接空間同士である。接空間を接続するということの意味は、ある接空間におけるベクトルを、もう一方の接空間上のベクトルに対応付ける方法を与えるということである。問題は、そのような対応をどのように与えるかである。
これは、多様体上の曲線に沿ったベクトルの平行移動によって与えられる。すなわち、多様体M上の2点p, qをつなぐ滑らかな曲線をとし、, とする。また、c(t)の接線方向のベクトルをc(t)上の各点に割り当てたベクトル場をとする。このとき、ベクトル場のに沿った共変微分が0になるとき、c(t)上の各点に割り当てられたのベクトルは互いに平行であると言う。
共変微分が0になるようなベクトルの移動を平行移動と定義する心は、その移動によりベクトルが変化せず、ある意味で定数的な振る舞いをするというところから来ているようである[4]。
平行移動によって移り合うベクトルは、実際にはM上の異なる点における接空間の元であるが、平行移動を用いてそれらを同一視することで、ベクトルを曲線に沿って別の接空間にmappingすることができる。これこそが、接続が接続と呼ばれる所以である。
さて、実はここまでの話はアフィン接続でも全く同じことが言える。これがLevi-Civita接続になると、さらにベクトルの長さが平行移動によって変化しないという条件が付き、より我々がユークリッド幾何学で培ってきた直感にマッチする形になるのである。この性質はLevi -Civita 接続の2番目の条件により生じるものであるが、詳しくはテンソル場に対する共変微分という概念が必要なようで、残念ながら今の私のレベルでは説明できない。
まとめ
以上、Levi-Civita接続とその周辺事項に関する私の理解をまとめてみた。「どこかで聞いたことがあるが、それが何なのか分からない」というところから知識を増やしていくのは、なかなか楽しい学習戦略である。