ビアンキの恒等式

リーマンテンソルの対称性

　その時の約束どおり、 今回はこれらを証明する方法を紹介しておこう。

　リーマンテンソルの定義はクリストッフェル記号だらけで複雑すぎて嫌になる。 　こんな時に有効なのが、前に説明した局所直線座標系の考えである。 　つまりある点で接続係数（クリストッフェル記号）が 0 となるような座標系を使えば、 リーマンテンソルが簡単になるだろうと期待できる。 　そのような点の上で先ほどの関係式を証明してやればいい。 　その関係式はテンソルで書かれているので、 その特別な座標系以外でも成り立つと言えるわけだ。

　まず 4 階共変テンソルに直したリーマンテンソルを定義に従って書き下すと

となっているが、今考えている地点では後の 2 つの項は消えてしまう。 　しかし前の 2 つの項は生き残る。 　なぜなら 0 に出来るのはある点での接続係数だけであって、 その微分までも 0 には出来ないからである。

　さらにこれを定義に従って展開してみよう。

　ところでここに使われている計量 は直線座標系での計量 と 同じになっている。 　というのも、接続係数が 0 だということは、テンソルを平行移動させても値が変わらないということであり、 そういう座標系は直線座標系だからである。 　つまりこの点の付近に限っては、計量の 1 階微分は 0 である。

　このことから上の式が全て 0 になってしまうのだと勘違いしてはいけない。 　1 階微分が 0 でも 2 階微分まで 0 だとは言えない。 　1 階微分したものにこの辺りの座標を代入すると 0 になるというだけである。 　2 階微分したものにこの辺りの座標を代入すると 0 になっていないということはある。

　 の定義がここまで簡略化できれば上の 4 つの関係式を確かめるのは 以前に比べてかなり楽になるだろう。 　というわけで後は読者に任せる事にしよう。

ビアンキの恒等式

　まず、共変微分の交換関係を確認した時の式を用意する。

　そしてこの式全体の共変微分を取ってやる。

　この式はとりあえずこのままにして、 次に、この式に良く似た次の関係式を導く。

　この式を導くのは手間がかかるが、それほど難しくはない。 　私も記事を書いている責任があるので自分でやってみたが、 計算と言うよりはまるでパズルのようだった。 　ここに長ったらしい式変形を書くと説明の流れが悪くなるので読者の計算練習としておこう。 　(3) 式から (4) 式を引いたものは、

と書ける。 　この式の添え字 、 、 を入れ替えてやると次の式を得る事が出来る。

　そして (5)、(6)、(7) 式の和を取ってやると、なんとその左辺は 0 になる。 　なぜなら次のような「ヤコビの関係式」というものがあって、 ちょうどその形に当てはまるからである。

　この関係式は定義に従って展開すれば誰でもすぐに証明できる程度のものだ。

　結局、次のようにまとめて書けるだろう。

　この式から次の 2 つの関係式が常に成り立っていることが言える。 　添え字は私の好みで付け替えてある。

　証明はこれで終わりである。 　(8) 式の全体に計量 を掛けて添え字を下げてやれば これが (2) 式と全く同じものであることが分かるだろう。

　しかし (9) 式という新しい関係式も同時に導かれてしまった。 　この式は「ビアンキの恒等式」と呼ばれる。 　この関係式はこの後、非常に重要な役割を果たすのである。 　扱いやすいようにここでちょっと変形しておこう。 　全体に を掛けて添え字 を下げてやる。

　こういうことが出来るのは計量条件があるお陰である。 　すぐ後でも同じことをするので、そのとき丁寧に説明しよう。

　このビアンキの恒等式はリーマンテンソルの対称性にさらに制限を掛けたりはしないのだろうか。 　つまり、その自由度を 20 個よりもさらに少なくすることにはならないだろうか。 　その点問題はない。 　この式は微分したものの間の関係なので、 別の点におけるリーマンテンソルの値との関係について制限を与えているだけである。

　ビアンキの関係式についても、 今回の初めにやったような局所直線座標系の考えを使って 証明し直してやることが出来るのだが、 もうわざわざここでやる必要はないだろう。 　(2) 式を証明したときよりも少々複雑になるので、 計算や思考の訓練をしたい人はチャレンジしてみてもいいかも知れない。

アインシュタイン・テンソル

　計量条件があるから、 をそのまま共変微分の中へ入れてやっても意味は変わらない。

　こうしてこれらのカッコの中は大騒ぎである。 　前回示した関係式によりリッチテンソルに変わったりする。

　これにさらに を掛けて縮約してやると、 やはり計量条件のために単純に共変微分の中に入ることが許され、

カッコの中を計算してやるとスカラー曲率になるものが現れたりする。

　これをもっときれいにまとめておきたい。 　第 1 項をいじって、

としておくと共変微分の添え字が揃うので、

と出来る。 　このカッコの中を、

と置けば、

とシンプルに書けるだろう。 　 の定義の中にデルタ記号が入っているのがちょっとかっこ悪いと感じるならば、 これに を掛けて、

というものを定義してやればいい。 　計量条件があるので、

という式が成り立っていることもすぐに分かる。 　ここに出てきた は 「アインシュタイン・テンソル」と呼ばれている。 　第 4 部で重力場の方程式を紹介した時に出てきたやつだ。

　 は対称行列であり、4 次元の場合には独立成分は 10 個である。 　具体的に のどの成分がどんな意味を持つのかというイメージは もうほとんど分からないが、空間の曲がり具合を表す量であることは確かだ。

　 というのはそれに加えて、共変微分を取ると常に 0 になるという 不思議な性質を備えた特別なテンソルである。 　リッチテンソルやスカラー曲率の単独では そのような性質は持たないのだった。