一般相対性理論のゲージ理論的見方(4)
相対性理論の変分法について書いてみようと思う。相対論的な変分法には思うところがあって、この際、あ…ありのまま 今 起こった事を話すぜ!
関連エントリー
一般相対性理論のゲージ理論的見方(1) - hiroki_fの日記
一般相対性理論のゲージ理論的見方(2) - hiroki_fの日記
一般相対性理論のゲージ理論的見方(3) - hiroki_fの日記
こういうエントリーを書くとあやふやな理解が訂正されて勉強になる。
目標は、
重力場の方程式を出すのに、物質の運動を表すLagrangian+曲率を表すLagrangianの計量の変分をとって計算なんて方法があるけど、これには注意が必要だ。
特に、物質の運動を表すLagrangianからから計量の変分をとってエネルギー運動量テンソルを導くには、ある条件が満たされている必要がある。
僕が調べた限り、その条件について書いてあった相対論の本は、ランダウの場の理論と佐藤勝彦の相対性理論だけだった。
つぎに、キリングベクトルとネーターの定理について書きたい。これについてはwaldの相対論の本に言及があった。これも前から気になっていたので書いてみたい。
最後に、エネルギー運動量テンソルの保存側にについて。
特殊相対論では、
が成り立つが、「一般相対性理論では微分は共変微分に置き換わるべし」の原理によって、
となる。特殊相対性理論が、一般相対性理論の近似になっていることを考えれば、微分を共変微分に変えるのはreasonableだけど、もう少し、原理的なところから、
を導くことができる。
これらのことは、相対性理論をゲージ理論的な見方をすると自然に分かることだ。
しかし、今日書けたのは、前回のエントリー一般相対性理論のゲージ理論的見方(1) - hiroki_fの日記の証明を書かなかったところだけ。
リーマン多様体(M,g)上には、gと両立する接続∇でT=0であるものが一意的に存在する。この接続を(M,g)のLevi-Civita接続という
証明
共変微分を
Xを∂/∂x^i (i=0,1,2,3)、ξをファイバー上の点、fをM上の関数とし、共変微分∇を
満たすもの
と定義した。これは、共変微分を
と定義しても同じことである。
具体的に座標を入れてみた方が分かりやすいので、局所標構場を定義する。
局所標構場とは一次独立な切断、つまりfiberの基底のことだ。TpMだったら、ベクトル空間だから基底が存在する。Eをベクトル束とする。
とりあえず、TpMの正規直交な局所標構場をと置く。
注:ここで正規化しとくのは、後で計量と接続の関係を考える為。接続だけなら、そもそも計量が与えられてないので正規化の概念がない。
一般相対性理論で言うと、局所的には慣性系が存在するという原理に値する。
さて、fiber上の任意の点(切断)は局所的には、
と書くことができる。
今、∇をEの共変微分だとすると、は、の一次結合で書けるから、局所的に定義された一次微分形式により、
と置くことができる。
よって、については、
となる。
つまり、接続は局所的には、局所標構場と接続一形式によって決まる。
ここで重要なこと
接続の決め方を見てもらえば分かるように接続形式の表現は(正規)局所標構場の取り方によってきまる。特殊相対整理論においての(正規)局所標構場のとり方の自由度はローレンツ変換(群)の分だけある。つまり相対性理論はSO(3,1)のゲージ理論なのである。
電磁場はよく知られているようにU(1)のゲージ理論である。このときに場としては接続一形式であるベクトルポテンシャルをとる。
これと同様に重力場としても、接続一形式であるを採用するのが、相対論のゲージ理論的な見方である。
相対性理論の場合は、たまたま計量テンソルgを決めると接続一形式が定まるようにできているので、計量テンソルgを伝統的な相対性理論のように場と考えていても差し支えないが、それは本質的ではない。WaldのGenral relativityは接続と計量を分けて考えてある教科書であるけど、ゲージ理論的ではない。
計量テンソルgは座標系のとり方に依存することからも4個の任意関数についての不定性が残る。
この不定性は接続が正規局所標構場のとり方に依存することを考えると自明である。
ゲージ理論は数学的な準備が沢山必要だけれど、マスターしてしまえば、物理の中にある数学的構造をシンプルに記述してくれる。
僕は個人的にはリーマン幾何学での相対性理論はやめてしまった方が良いのではないかと思っている。
さて、
リーマン多様体(M,g)上には、gと両立する接続∇でT=0であるものが一意的に存在する。この接続を(M,g)のLevi-Civita接続という
について、考えてみよう。
gと両立するとは、任意の切断(相対論の場合はたまたまΓ(E)=TM)ξ,η∈Γ(E)=TMに対して、
が成り立つということであった。
この定義の気持ちは、
とした時に、の接続を
で定義し、が満たされる接続とする。つまり、
となる条件と同等である。
さて、
なので、
つまり、
となる。
こうして、gと両立する接続形式が決まった。
さらに捩率テンソルT=0を満たす接続について考える。
ここでとなる一形式θを考える。
計量テンソルは、
と与えられる。
T=0は、
とかける。
ここで、
where
と置いて、少し頑張って計算すると、
where
となることが分かり、
リーマン多様体(M,g)上には、gと両立する接続∇でT=0であるものが一意的に存在する。この接続を(M,g)のLevi-Civita接続という
を示せた。
これを局所自然標構場とその双対標構場でも証明することができる。そのときは、計算すると
where
となり、いわゆるClistoffel記号が出てくる。