File failed to load: https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/extensions/TeX/mathtools.js

2024-04-12

8. 曲がった多様体、計量、リーマン多様体 vol.3








前節までの結果を簡単にまとめると以下のようになる。
  1. 一般共変性あるいは微分同相写像の要請から反対称化した微分を用いる必要がある。
  2. 曲がった多様体に計量 gμν=eaμeaν を導入する。フレーム場 eaμ の局所回転(ローレンツ)変換は eaμ=Rabebμ と表せる。Rab は直交行列。
  3. フレーム場の微分の共変性から共変微分 Dμeaν=μeaν+ωabμebν が必要となる。スピン接続 ωabμ の局所変換は ωabμ=(RωμR1μRR1)ab と表せる。ωabμ(a,b)について反対称。
  4. 1.からトーション (DμeνDνeμ)a=Taμν とリーマン曲率 (DμDνϕDνDμϕ)a=Rabμνϕb を定義できる。ϕa はスカラー場。

8.3 リーマン多様体


前節の最後に触れたように、リーマン多様体は一般的な曲がった多様体にトーション・ゼロの条件
Taμν=(Dμeν)a(Dνeμ)a=0
を課すことで定義できる。今節ではこの条件がどのような結果を導くのかを考え、リーマン多様体の特徴を明らかにする。(ただし、超重力理論や弦理論などゼロでないトーションを含む理論も存在することに注意。)

 (8.28)から (Dμeν)a は添え字μ, νについて対称であることはすぐに分かる。そこで、この量を Γaμν とおく。フレーム場が可逆であることを用いると、ΓaμνΓλμνeaλ と表せる。すなわち、
(Dμeν)a=μeaν+ωabμebνΓλμνeaλ
とおける。ただし、Γλμνμ, νについて対称である。これがどのように計量 gμν=eaμeaν に影響するかを見てみよう。そこで、計量gαβの微分を計算すると
μgαβ=(μeaα)eaβ+eaα(μeaβ)=(μeaα+ωabμebα)eaβ+eaα(μeaβ+ωabμebβ)ωabμ(ebαeaβ+eaαebβ)=0=Γλμαeaλeaβ+Γλμβeaαeaλ=Γλμαgλβ+Γλμβgαλ
と表せる。ここで、ωabμa, bについて反対称であることを用いた。(8.30)において添え字の対称性を利用すると、関係式
αgμβ+βgαμμgαβ=2Γλαβgμλ
が求まる。つぎに、計量の逆テンソルを上付き添え字で表して、gαβgβλ=δλα とおく。つまり、この表示法では (g1)βλ=gβλ となる。このとき、Γλαβ は計量を用いて
Γλαβ=12gλμ(αgμβ+βgαμμgαβ)
と表せる。この Γλαβクリストッフェル記号 (Christoffel symbol) 呼ばれる。8.1節で考えたように(8-29)の局所座標変換を ˜Dμ˜eν=˜Γλμν˜eλ と表す。ベクトル Aμ(x) の局所座標変換は
˜Aν(y)=Aμ(x)xμyν
で与えられた。また、この微分の局所座標変換は
yα˜Aν(y)=[xβAμ(x)]xβyαxμyν+Aμ(x)2xμyαyν
となる。これらを用いると˜Dμ˜eν
˜Dμ˜eν=(yμ+ωα(x)xαyμ)[eβ(x)xβyν]=(Dαeβ)xαyμxβyν+eβ2xβyμyν=(Γλαβxαyμxβyν+2xλyμyν)eλ
と計算できる。よって、Γλμνの局所座標変換は
˜Γλμν=Γσαβxαyμxβyνyλxσ+2xλyμyνyλxσ
と表せる。これはクリストッフェル記号がテンソルとして振る舞わないことを明示している。

 トーション・ゼロのもとでスピン接続 ωabμeaμΓλμν で表せる。(8.29)から
μeaν(e1)bν+ωabμ=Γλμνeaλ(e1)bν
が分かる。ただし、計量の逆テンソルに倣って ebν の逆関数を (e1)bν と表示した。ここで、Γλμν=(Γμ)λν を (Γμ) の行列要素と考える。同様に、eaλ=(ea)λ を列ベクトル (ea) の要素、(e1)bν を行ベクトル(e1)b の要素と見做すと、スピン接続は
ωabμ=eaλΓλμν(e1)bνμeaν(e1)bν=eaΓμ(e1)bμea(e1)b
と表せる。ただし、2行目では行列表示を用いた。上式は前回で導いた曲がった多様体の一般的な結果
ωμ=RωμR1μRR1
と類似していることに注意しよう。関係式(8.36)から、Taμν=0 となるリーマン多様体上ではスピン接続は計量 gμν=eaμeaν で完全に決定できることが分かる。

 前回導いたリーマン曲率テンソル
Rabμν=μωabννωabμ+ωacμωcbνωacνωcbμ
についても同様に変形できる。行列表示では、これは
Rμν=μωννωμ+[ωμ,ων]
と表せる。ここで、スピン接続を一般形
ωμ=MΩμM1μMM1
で表そう。ただし、M, Ωμは任意のn×n行列であり、M1Mの逆行列である。(8.38)を μωννωμ に代入すると
μωννωμ=M(μΩννΩμ)M1+[μMM1,MΩνM1]+[MΩμM1,νMM1][μMM1,νMM1]
と変形できる。ただし、μM1=M1μMM1 を用いた。また、交換関係 [ωμ,ων]
[ωμ,ων]=M[Ωμ,Ων]M1[MΩμM1,νMM1][μMM1,MΩνM1]+[μMM1,νMM1]
と展開できる。よって、スピン接続(8.38)に対応するリーマン曲率テンソルは
Rμν=M(μΩννΩμ+[Ωμ,Ων])M1
と表せる。この関係式はその構成からリーマン多様体だけでなく一般の曲がった多様体で成り立つ。(M,Ωμ) = (R,ωμ) と選択すると、この関係式は以前に導出したリーマン曲率のローレンツ共変性
Radμν=RabRbcμν(R1)cd
を証明する。ただし、Rは局所回転変換の直交行列を表す。

 式(8.36)と(8.38)を比較すると、リーマン多様体は (M,Ωμ)=(e,Γμ) と選択することに対応する。よって、(8.41)の形から直接、リーマン多様体上のリーマン曲率を
Rμν=e(μΓννΓμ+[Γμ,Γν])e1
と行列表示できることが分かる。行列要素を明示的に書き出せば、その他のテンソル添え字も自動的に再現できる。すなわち、
Rabμν=eaλRλμνα(e1)bαRλμνα=μΓλνανΓλμα+ΓλμβΓβναΓλνβΓβμα
となる。以上の導出からスピン接続ωμを(8.38)と行列でパラメータ表示することが非常に有効であることが分かる。つまり、ある量の行列表示が求まれば、行列要素を書き出すことで全てのテンソル添え字を機械的に再現することができる。通常、テンソル解析に重点を置いた一般相対性理論の学習では、テンソルの添え字を追うのが煩雑になる。しかし、ここで示したようにゲージ理論の枠組みでゲージ場(スピン接続)の行列表示を用いるとクリストッフェル記号やリーマン曲率テンソルの計算の見通しが良くなる。(計算途中で添え字を追う必要はなく、行列表示の最後に添え字を辻褄の合うよう追記するだけでよい!)

まとめ

 この章では、一般の曲がった多様体とその特定の場合に当たるリーマン多様体について考えた。まず、微分可能なトポロジカル多様体から始めて、計量を定義することで幾何学的な情報を追加した。計量テンソル gμν の対称性と非退化性から、これはフレーム場 eaμ の積として表現できる。スピン接続 ωabμ はフレーム場に作用する共変微分の定義から自然に現れる。また、一般共変性の原理より共変微分を反対称化させる必要がある。この要請を考慮すると捩率(トーション)テンソル Taμν とリーマン曲率テンソル Rabμν(eaμ,ωabμ) から以下の形で求められる。
gμν=eaμeaν(Dμeν)a=μeaν+ωabμebν(DμeνDνeμ)a=Taμν[(DμDνDνDμ)ϕ]a=Rabμνϕb
ただし、ϕa は曲がった多様体上で定義されるスカラー関数である。

 リーマン多様体はこれらの関係式にトーション・ゼロの条件を課すことで得られる。(8.47)からこの条件はフレーム場の共変微分 Dμeaν が添え字μ, νについて対称であることを意味する。これより、クリストッフェル記号 Γλμν を導入するのが便利であり、これは計量の微分を用いて表せる。このとき、スピン接続 ωabμ(eaμ,Γλμν) の関数として与えられる。これに対応して、リーマン曲率 Rabμν も (eaμ,Γλμν) を用いて以下の形で求められる。
(Dμeν)a=Γλμνeaλ      (μ,νについて対称)Γλμν=12gλα(μgνα+νgμααgμν)ωabμ=eaλΓλμν(e1)bνμeaλ(e1)bλRabμν=eaλRλμνα(e1)bαRλμνα=μΓλνανΓλμα+ΓλμβΓβναΓλνβΓβμα
ここで重要な量 (eaμ,ωabμ,Γλμν,Rabμν,Rλμνα) はすべて計量テンソル gμν から導けることに注意しよう。この意味で、リーマン多様体の理論は「計量の理論」と理解できる。

0 件のコメント: