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

2024-04-10

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

8.2 計量


 n次元多様体の局所座標を xμ (μ=1,2,,n) とする。このとき、計量 (metric) は
ds2=gμν(x)dxμdxν
で定義される。ただし、gμν(x)は計量テンソルである。3次元の平坦空間では計量は
ds2=dx2+dy2+dz2=dr2+r2dθ2+r2sin2θdϕ2
と書ける。ここでは通常の球面座標 (x1,x2,x3)=(r,θ,ϕ) を用いた。球面座標に対して計量テンソルのゼロでない成分は g11=1, g22=r2, g33=r2sin2θ で与えられる。

 つぎに、yμを別の局所座標系とすると、(8.6)から ds2=gμν(x)dxμdxν=˜gμν(y)dyμdyν が分かる。すなわち、
˜gμν(y)=gαβ(x)xαyμxβyν
である。したがって、計量テンソルgμνは2階の対称テンソルである。

 n次元の場合、gμνは非退化なn×n対称行列で表せる。対称行列は常に直交行列で対角化可能で、固有値はn個の実数 λiR (i=1,2,,n) で与えられる。非退化な行列とは行列式がゼロでないことを意味するので、これらの固有値は非特異 λi0 である。ただし、座標特異点が存在することには注意しよう。例えば、(8.7)の場合、座標特異点は r=0, θ=0,π に現れる。しかし、これは特定の座標にのみ生じるものであり、gμνの非退化性は一般に成り立つ。したがって、固有値λiは正か負の値をとる。多くの場合、すべての固有値を正にそろえると便利である。しかし、特殊相対性理論では光の伝播はローレンツ変換のもとで不変なので関係式
dt2dx2dy2dz2=dt2dx2dy2dz2
を要請する必要がある。ここで、ダッシュのついている変数はローレンツ変換後の変数を表す。この場合、時間成分が空間座標とは異なる符号をもつ。特殊相対性理論は現代の理論体系には欠かせないので、物理ではこれら固有値の符号は重要な意味をもつ。これらは計量の符号 (signature) としてラベルされ、例えば、(+++), (+++) などと表示される。高エネルギー理論では慣習としてミンコフスキー符号 (+) が選ばれる。

 行列表現を用いると、計量テンソルの対角化は
g=STgdiagS=eTe
と表せる。ただし、gdiag=diag(λ1,λ2,,λn), e=diag(λ1,λ2,,λn)S である。上述の通り、Sは直交行列 ST=S1 である。Sgdiagは一般にxに依存するので、exの関数である。行列要素で表すと、(8.10)は
gμν=eaμeaν = eaμηabebνηab=(+)
と書ける。ここで、a,b=1,2,,n である。eaμフレーム場と呼ばれる。n=4 の場合、フレーム場は4脚場 (vierbein) あるいはテトラッド (tetrad) とも呼ばれる。また、ηabはミンコフスキー符号とした。これらを用いると、計量(8.6)は
ds2=gμνdxμdxν=eaμeaνdxμdxν=ξaξa=ξaξbηab
と表せる。ただし、ξa=eaμdxμ は局所直交座標系の無限小長さの基底である。


フレーム場、共変微分、スピン接続

 つぎに、フレーム場の局所変換
eaμ(x)eaμ(x)=Rab(x)ebμ(x)
を考える。これに伴い、計量テンソルは
gμν=eaμeaνgμν=RabebμRacecν
と変換する。どのようなフレーム場を選択するかは物理的な測定には影響しないので、gμν=gμν を要請できる。つまり、
(RTR)bc=δbc
が成り立つ。これは、Rab(x)が直交行列であることを意味する。よって、(8.14)はフレーム場の局所回転変換と見做せる。Rab(x)が直交行列であれば、フレーム場は物理的な測定に関与しない。言い換えると、物理現象はフレーム場の局所回転に依存しない。また、(8.12)のミンコフスキー符号ηは対角化されているので
RTηR=η
となり、局所回転変換のもとで不変である。よって、この局所回転が局所ローレンツ変換を定義すると解釈できる。

 物理モデルを構築するには、少なくとも2階の微分を定義する必要がある。そこで、まずフレーム場の微分とそのローレンツ変換を考えよう。(8.14)を用いると μeaν=(μRab)ebν+Rabμebν が分かる。明らかにこの微分は共変性を持ち合わせない。この問題を回避するために微分
Dμeaν=μeaν+ωabμebν
を導入する。ローマ字の添え字を省略すると、これは Dμeν=μeν+ωμeν とも表せる。ωμを行列、eνをベクトルと解釈すると、省略した添え字はいつでも復元できる。同様に、μeaνμeν=(μR)eν+Rμeν と書ける。以下では、簡単のためこれらの表記法を随時用いる。

 つぎに、局所ローレンツ変換(8.14)のもとで(8.18)がどのように変換するか考える。これは
Dμeν=μeν+ωμeν=(μR)eν+Rμeν+ωμReν=R(μeν+ωμeν) = R(Dμeν)
と表せる。ただし、ωμの局所変換を
ωμ=RωμR1μRR1
と選んだ。ここで、μRR1は反対称行列と見做せることに注意しよう。これは次のように確認できる。恒等式 μ(RTR)=0 から、関係式 R1TμRT+μRR1=0 が分かるので、行列要素を書き出すと (R1μR)ba+(μRR1)ab=0 となり、(μRR1)T=μRR1 と求まる。よって、変換(8.20)を正しく定義するには、ωabμが添え字 a, b について反対称であることを要請すればよい。そのようなωabμスピン接続と呼ばれる。スピン接続を用いると、微分(8.18)は(8.19)に示したように共変性をもつ。この微分Dμ共変微分と呼ぶ。これらの結果は素粒子物理学におけるゲージ理論の標準的な手法に沿って導出された。


微分同相写像、トーション、リーマン曲率

 以上の考察からフレーム場に作用する微分として共変微分のみを用いるべきであることが強く示唆される。さらに、前節(8.5)で議論したように、微分同相写像(あるいは一般共変性)の要請からフレーム場の微分を反対称化させる必要がある。ただし、このとき(8.3)に対応するフレーム場の座標変換は
eaμ(x)eaμ(x)=eaν(x)xνxμ
で与えられる。以上より、反対称化された共変微分
Taμν=(Dμeν)a(Dνeμ)a
を定義するのが自然である。実際にTaμνは局所ローレンツ変換(8.14)と座標変換(8.21)のもとで斉次に変換することが分かる。
(DμeνDνeμ)a=Rab(DαeβDβeα)bxαxμxβxν
(8.22)で定義した反対称2階テンソルTaμν捩率テンソル (torsion tensor) あるいは単にトーションと呼ばれる。

 ここで、ϕaをスカラー関数とし、その局所変換 ϕaϕa=Rabϕb を考える。共変微分は (Dμϕ)a=μϕa+ωabμϕb で与えらり。(8.20)から (Dμϕ)a=Rab(Dμϕ)b がすぐに分かる。つぎに、ϕaに作用する2階微分とその局所変換を考える。定義から明らかに Dμ(Dνϕ)a=μ(Dνϕ)a+ωabμ(Dνϕ)b となる。これより、(Dνϕ)aは(8.18)のフレーム場eaνと同様に振る舞うことが分かる。よって、その構成から、
(DμDνϕ)a=Rab(DμDνϕ)b
と計算できる。したがって、トーションTaμνの場合と同様に、反対称の組み合わせ (DμDνϕDνDμϕ)a は斉次に変換する。実際、DμDνϕa の対称成分を除いて、この組み合わせを書き下すと
(DμDνϕDνDμϕ)a=RabμνϕbRabμν=μωabννωabμ+ωacμωcbνωacνωcbμ
と表せる。(8.25)の変換を考えると関係式 RabRbcμνϕc=Rabμνϕb を得る。ただし、ϕb=Rbcϕc である。つまり、
Radμν=RabRbcμν(R1)cd
と書ける。よって、Rabμνは見事にテンソル量であり、その局所変換は(8.27)で与えられる。このテンソルはリーマン曲率テンソルと呼ばれる。

トーションTaμνとリーマン曲率Rabμνは共にフレーム場eaμとスピン接続ωabμから導かれた。あるいは、より根本的には、これらはみな一般の曲がった多様体上に定義された計量gμνから導かれた。トーションの定義
Taμν=(Dμeν)a(Dνeμ)a
から分かるように、トーションTaμνはフレーム場の回転、つまりローレンツ変換の効果を検知する。物理的な測定においてローレンツ不変でない現象、つまりトーションの効果が顕在する現象は観測されていない。したがって、トーション・ゼロとなる条件は物理的に重要である。次節で見るように、この条件のもとで一般の曲がった多様体はリーマン多様体になる。リーマン多様体はアインシュタインの一般相対性理論の構成に欠かせない基礎構造である。この意味で、リーマン曲率はトーションに比べてより物理的である。つまり、リーマン曲率は多様体の局所的な形を決定し、重力による潮汐力などの物理量に直接関係する。

0 件のコメント: