リーマン曲率テンソル

リーマン幾何学においてリーマン曲率テンソル（リーマンきょくりつテンソル、英: Riemann curvature tensor）あるいはリーマン-クリストッフェルのテンソル（英: Riemann–Christoffel tensor）とは、リーマン多様体の曲率を表す4階のテンソルを言う。名称は、ベルンハルト・リーマンおよびエルウィン・ブルーノ・クリストッフェルに因む。 リーマン-クリストッフェルのテンソル（リーマン曲率テンソル）は重力の現代的理論である一般相対性理論における数学的な道具の中心となるものである。 リーマン多様体を M とする。すなわち、M 上の各点に基本計量テンソル gij が与えられており、接続の記号 Γ j k i {\displaystyle \Gamma _{jk}^{i}} はクリストッフェル記号 { i j k } {\displaystyle \left\{{{i} \atop {jk}}\right\}} であるとする。 共変ベクトル（1階共変テンソル）vi の共変微分に関して次のリッチの公式 ∇ k ∇ j v i − ∇ j ∇ k v i = − ∑ a R k j i a v a {\displaystyle \nabla _{k}\nabla _{j}v_{i}-\nabla _{j}\nabla _{k}v_{i}=-\sum _{a}R_{kji}{}^{a}v_{a}} （リッチの公式） が成り立つが、このとき、右辺に現れる3階共変1階反変テンソルで次のように定義されるテンソル R k j i h = ∂ { h j i } ∂ x k − ∂ { h k i } ∂ x j + ∑ a { h k a } { a j i } − ∑ a { h j a } { a k i } {\displaystyle R_{kji}{}^{h}={\frac {\partial \left\{{{h} \atop {ji}}\right\}}{\partial x^{k}}}-{\frac {\partial \left\{{{h} \atop {ki}}\right\}}{\partial x^{j}}}+\sum _{a}\left\{{{h} \atop {ka}}\right\}\left\{{{a} \atop {ji}}\right\}-\sum _{a}\left\{{{h} \atop {ja}}\right\}\left\{{{a} \atop {ki}}\right\}} をリーマン曲率テンソル（Riemann curvature tensor）またはリーマン-クリストッフェルのテンソル（Riemann-Christoffel tensor）と呼ぶ。 3階共変1階反変のリーマン曲率テンソル R k j i h {\displaystyle R_{kji}{}^{h}} に基本計量テンソルを掛け合わせて得られる4階共変テンソル R k j i h {\displaystyle R_{kjih}} R k j i h = ∑ a R k j i a g a h {\displaystyle R_{kjih}=\sum _{a}R_{kji}{}^{a}g_{ah}} を特にリーマン-クリストッフェルのテンソルと呼ぶことがある。 さらに、リーマン-クリストッフェルテンソル R k j i h {\displaystyle R_{kjih}} に g k h {\displaystyle g^{kh}} を掛けて縮約またはリーマン曲率テンソルを単に縮約した2階共変テンソル R j i = ∑ k h g k h R k j i h = ∑ a R a j i a {\displaystyle R_{ji}=\sum _{kh}g^{kh}R_{kjih}=\sum _{a}R_{aji}{}^{a}} をリッチテンソル（Ricci tensor）と呼ぶ。 リッチテンソル R i j {\displaystyle R_{ij}} にさらに反変基本計量テンソル gij をかけて縮約した0階テンソル（スカラー） R = ∑ i j g i j R i j {\displaystyle R=\sum _{ij}g^{ij}R_{ij}} を曲率スカラー（curvature scalar）と呼ぶ。 R k j i h = − R j k i h {\displaystyle R_{kji}{}^{h}=-R_{jki}{}^{h}} （定義より） R k j i h + R i k j h + R j i k h = 0 {\displaystyle R_{kji}{}^{h}+R_{ikj}{}^{h}+R_{jik}{}^{h}=0} （定義より） ∇ l R k j i h + ∇ j R l k i h + ∇ k R j l i h = 0 {\displaystyle \nabla _{l}R_{kji}{}^{h}+\nabla _{j}R_{lki}{}^{h}+\nabla _{k}R_{jli}{}^{h}=0} R k j i h = − R j k i h {\displaystyle R_{kjih}=-R_{jkih}} （定義より） R k j i h = − R k j h i {\displaystyle R_{kjih}=-R_{kjhi}} （後述） R k j i h + R i k j h + R j i k h = 0 {\displaystyle R_{kjih}+R_{ikjh}+R_{jikh}=0} （定義より） 二階共変テンソル Sih に対するリッチの公式は ∇ k ∇ j S i h − ∇ j ∇ k S i h = − ∑ a R k j i a S a h − ∑ a R k j h a S i a {\displaystyle \nabla _{k}\nabla _{j}S_{ih}-\nabla _{j}\nabla _{k}S_{ih}=-\sum _{a}R_{kji}{}^{a}S_{ah}-\sum _{a}R_{kjh}{}^{a}S_{ia}} （二階共変テンソルに対するリッチの公式） であるが、Sih = gih のとき、リッチの補定理 ∇ k g i h = 0 {\displaystyle \nabla _{k}g_{ih}=0} より ∇ k ∇ j g i h − ∇ j ∇ k g i h = − ∑ a R k j i a g a h − ∑ a R k j h a g i a = 0 {\displaystyle \nabla _{k}\nabla _{j}g_{ih}-\nabla _{j}\nabla _{k}g_{ih}=-\sum _{a}R_{kji}{}^{a}g_{ah}-\sum _{a}R_{kjh}{}^{a}g_{ia}=0} となる。 ここで、 R k j i h = ∑ a R k j i a g a h {\displaystyle R_{kjih}=\sum _{a}R_{kji}{}^{a}g_{ah}} より − ∑ a R k j i a g a h − ∑ a R k j h a g i a = − R k j i h − R k j h i = 0 {\displaystyle -\sum _{a}R_{kji}{}^{a}g_{ah}-\sum _{a}R_{kjh}{}^{a}g_{ia}=-R_{kjih}-R_{kjhi}=0} 従って、 R k j i h = − R k j h i {\displaystyle R_{kjih}=-R_{kjhi}} となり、リーマン-クリストッフェルのテンソル R k j i h {\displaystyle R_{kjih}} 後ろ二つの添字 (i , h) について交代の性質を持つ リーマン曲率テンソルの性質 R k j i h + R i k j h + R j i k h = 0 {\displaystyle R_{kji}{}^{h}+R_{ikj}{}^{h}+R_{jik}{}^{h}=0} に対して h = k = a とおいて縮約を行うと ∑ a ( R a j i a + R i a j a + R j i a a ) = 0 − ( ∗ ) {\displaystyle \sum _{a}(R_{aji}{}^{a}+R_{iaj}{}^{a}+R_{jia}{}^{a})=0\;\;-(*)} となる。ここで、最初の二項についてそれぞれ ∑ a R a j i a = R j i , ∑ a R i a j a = ∑ a ( − R a i j a ) = − R i j {\displaystyle \sum _{a}R_{aji}{}^{a}=R_{ji}\;,\;\;\sum _{a}R_{iaj}{}^{a}=\sum _{a}(-R_{aij}{}^{a})=-R_{ij}} が得られる。また、最後の三項目について ∑ a R j i a a = ∑ a , b R j i a b g b a = ∑ a , b ( − R j i b a ) g b a = − ∑ b , a R j i b a g a b {\displaystyle \sum _{a}R_{jia}{}^{a}=\sum _{a,b}R_{jiab}g^{ba}=\sum _{a,b}(-R_{jiba})g^{ba}=-\sum _{b,a}R_{jiba}g^{ab}} から ∑ a R j i a a = 0 {\displaystyle \sum _{a}R_{jia}{}^{a}=0} を得る。したがって、（※）から R j i − R i j + 0 = 0 {\displaystyle R_{ji}-R_{ij}+0=0} すなわち、 R j i = R i j {\displaystyle R_{ji}=R_{ij}} が導かれる。よってリッチテンソル R i j {\displaystyle R_{ij}} は対称テンソル。 リッチテンソルの定義より R j i = ∑ a R a j i a = ∑ a ( ∂ { a j i } ∂ x a − ∂ { a a i } ∂ x j + ∑ b { a a b } { b j i } − ∑ b { a j b } { b a i } ) = ∑ a ( ∂ { a j i } ∂ x a − ∑ b { a j b } { b a i } ) + ∑ a ( − ∂ { a a i } ∂ x j + ∑ b { a a b } { b j i } ) {\displaystyle {\begin{aligned}R_{ji}&=\sum _{a}R_{aji}{}^{a}=\sum _{a}\left({\frac {\partial \left\{{{a} \atop {ji}}\right\}}{\partial x^{a}}}-{\frac {\partial \left\{{{a} \atop {ai}}\right\}}{\partial x^{j}}}+\sum _{b}\left\{{{a} \atop {ab}}\right\}\left\{{{b} \atop {ji}}\right\}-\sum _{b}\left\{{{a} \atop {jb}}\right\}\left\{{{b} \atop {ai}}\right\}\right)\\&=\sum _{a}\left({\frac {\partial \left\{{{a} \atop {ji}}\right\}}{\partial x^{a}}}-\sum _{b}\left\{{{a} \atop {jb}}\right\}\left\{{{b} \atop {ai}}\right\}\right)+\sum _{a}\left(-{\frac {\partial \left\{{{a} \atop {ai}}\right\}}{\partial x^{j}}}+\sum _{b}\left\{{{a} \atop {ab}}\right\}\left\{{{b} \atop {ji}}\right\}\right)\end{aligned}}} ここで、 A j i = ∑ a ( ∂ { a j i } ∂ x a − ∑ b { a j b } { b a i } ) , B j i = ∑ a ( − ∂ { a a i } ∂ x j + ∑ b { a a b } { b j i } ) {\displaystyle A_{ji}=\sum _{a}\left({\frac {\partial \left\{{{a} \atop {ji}}\right\}}{\partial x^{a}}}-\sum _{b}\left\{{{a} \atop {jb}}\right\}\left\{{{b} \atop {ai}}\right\}\right),\;\;B_{ji}=\sum _{a}\left(-{\frac {\partial \left\{{{a} \atop {ai}}\right\}}{\partial x^{j}}}+\sum _{b}\left\{{{a} \atop {ab}}\right\}\left\{{{b} \atop {ji}}\right\}\right)} と置くと、当然 R j i = A j i + B j i {\displaystyle R_{ji}=A_{ji}+B_{ji}} となるが、Bj i について、g = det(ga b) とすると ∑ a { a a k } = ∂ log ⁡ g ∂ x k {\displaystyle \sum _{a}\left\{{{a} \atop {ak}}\right\}={\frac {\partial \log {\sqrt {g}}}{\partial x^{k}}}} であることから、 B j i = − ∂ 2 log ⁡ g ∂ x j ∂ x i + ∑ b ∂ log ⁡ g ∂ x b { b j i } {\displaystyle B_{ji}=-{\frac {\partial ^{2}\log {\sqrt {g}}}{\partial x^{j}\partial x^{i}}}+\sum _{b}{\frac {\partial \log {\sqrt {g}}}{\partial x^{b}}}\left\{{{b} \atop {ji}}\right\}} を得る。したがって、 ∂ g ∂ x k = 0 {\displaystyle {\frac {\partial g}{\partial x^{k}}}=0} のときは、Bj i = 0 であり、 R j i = A j i = ∑ a ∂ { a j i } ∂ x a − ∑ a , b { a j b } { b a i } {\displaystyle R_{ji}=A_{ji}=\sum _{a}{\frac {\partial \left\{{{a} \atop {ji}}\right\}}{\partial x^{a}}}-\sum _{a,b}\left\{{{a} \atop {jb}}\right\}\left\{{{b} \atop {ai}}\right\}} となる。 リーマン多様体においては、ごく近い2点間の距離（線素） ds は、 d s = ∑ i , j g i j ( x ) d x i d x j {\displaystyle \mathrm {d} s={\sqrt {\sum _{i,j}g_{ij}(x)\mathrm {d} x^{i}\mathrm {d} x^{j}}}} で定義されるが、ここで、係数 gij(x) は、一般に座標 x = (xh) の関数である。一方、ユークリッド空間においては、直交座標系をとればごく近い2点間の距離 ds は d s = ∑ i , j δ i j d x i d x j {\displaystyle \mathrm {d} s={\sqrt {\sum _{i,j}\delta _{ij}\mathrm {d} x^{i}\mathrm {d} x^{j}}}} で与えられるが、直交座標系（xh）から曲線座標系（uh）へ座標変換を行えば、あらわれる係数 gij(u) は座標 u の関数となり、ds はリーマン多様体と同様の形式となる。ただし、これは見かけ上だけのことであり、もともとユークリッド空間であるので当然適当な座標系（この場合は元の直交座標系）をとれば gij(u) を全て定数（1または0など）にすることができる。一般にリーマン多様体の各点に与えられる基本計量テンソル gij(x) を定数にする座標変換は存在しないが、もしリーマン多様体の一部の領域について適当な座標変換により gij(x) を定数にすることができるのであれば、その領域はユークリッド空間に一致する。 したがって、 リーマン多様体の一部領域がユークリッド空間に一致⇔その領域における基本計量テンソル gij(x) を全部定数にする座標変換が存在する。 ここで、gij が全て定数であれば、クリストッフェル記号はその定義から明らかに0となる。逆にクリストッフェル記号が0であれば、リッチの補定理 ∇ k g i j = 0 {\displaystyle \nabla _{k}g_{ij}=0} から ∇ k g i j = ∂ g i j ∂ x k − ∑ a g a j { a i k } − ∑ a g i a { a j k } = ∂ g i j ∂ x k = 0 {\displaystyle \nabla _{k}g_{ij}={\frac {\partial g_{ij}}{\partial x^{k}}}-\sum _{a}g_{aj}\left\{{{a} \atop {ik}}\right\}-\sum _{a}g_{ia}\left\{{{a} \atop {jk}}\right\}={\frac {\partial g_{ij}}{\partial x^{k}}}=0} となり、gij は全て定数となる。よって、 ある領域における基本計量テンソル gij(x) を全部定数にする座標変換が存在する ⇔ その領域においてクリストッフェル記号を全て0にする座標変換が存在する。 ここで、座標系（uh）がクリストッフェル記号を全て0にする座標系とすれば、クリストッフェル記号の変換公式より ∂ 2 u a ∂ x j ∂ x k = ∑ i ∂ u a ∂ x i { i j k } {\displaystyle {\frac {\partial ^{2}u^{a}}{\partial x^{j}\partial x^{k}}}=\sum _{i}{\frac {\partial u^{a}}{\partial x^{i}}}\left\{{{i} \atop {jk}}\right\}} が得られる。両辺偏微分を行うと ∂ 3 u a ∂ x l ∂ x j ∂ x k = ∑ i ∂ 2 u a ∂ x l ∂ x i { i j k } + ∑ i ∂ u a ∂ x i ∂ { i j k } ∂ x l = ∑ b , i ∂ u a ∂ x b { b l i } { i j k } + ∑ i ∂ u a ∂ x i ∂ { i j k } ∂ x l {\displaystyle {\frac {\partial ^{3}u^{a}}{\partial x^{l}\partial x^{j}\partial x^{k}}}=\sum _{i}{\frac {\partial ^{2}u^{a}}{\partial x^{l}\partial x^{i}}}\left\{{{i} \atop {jk}}\right\}+\sum _{i}{\frac {\partial u^{a}}{\partial x^{i}}}{\frac {\partial \left\{{{i} \atop {jk}}\right\}}{\partial x^{l}}}=\sum _{b,i}{\frac {\partial u^{a}}{\partial x^{b}}}\left\{{{b} \atop {l\,i}}\right\}\left\{{{i} \atop {jk}}\right\}+\sum _{i}{\frac {\partial u^{a}}{\partial x^{i}}}{\frac {\partial \left\{{{i} \atop {jk}}\right\}}{\partial x^{l}}}} となる。 ∂ 3 u a ∂ x l ∂ x j ∂ x k = ∂ 3 u a ∂ x j ∂ x l ∂ x k {\displaystyle {\frac {\partial ^{3}u^{a}}{\partial x^{l}\partial x^{j}\partial x^{k}}}={\frac {\partial ^{3}u^{a}}{\partial x^{j}\partial x^{l}\partial x^{k}}}} から 0 = ∂ 3 u a ∂ x l ∂ x j ∂ x k − ∂ 3 u a ∂ x j ∂ x l ∂ x k = ∂ u a ∂ x b [ ∂ { b j k } ∂ x l − ∂ { b l k } ∂ x j + ∑ i { b l i } { i j k } − ∑ i { b j i } { i l k } ] = ∂ u a ∂ x b R j k l b {\displaystyle {\begin{aligned}0&={\frac {\partial ^{3}u^{a}}{\partial x^{l}\partial x^{j}\partial x^{k}}}-{\frac {\partial ^{3}u^{a}}{\partial x^{j}\partial x^{l}\partial x^{k}}}\\&={\frac {\partial u^{a}}{\partial x^{b}}}\left[{\frac {\partial \left\{{{b} \atop {jk}}\right\}}{\partial x^{l}}}-{\frac {\partial \left\{{{b} \atop {lk}}\right\}}{\partial x^{j}}}+\sum _{i}\left\{{{b} \atop {l\,i}}\right\}\left\{{{i} \atop {jk}}\right\}-\sum _{i}\left\{{{b} \atop {ji}}\right\}\left\{{{i} \atop {lk}}\right\}\right]\\&={\frac {\partial u^{a}}{\partial x^{b}}}R_{jkl}{}^{b}\end{aligned}}} したがって、 R j k l b = 0 {\displaystyle R_{jkl}{}^{b}=0} 。 二次元曲面に対して、ビアンキ恒等式はリーマンテンソルが R a b c d = K ( g a c g d b − g a d g c b ) {\displaystyle R_{abcd}^{}=K(g_{ac}g_{db}-g_{ad}g_{cb})} の形に表せることを示している。ここで gab はこの曲面の計量テンソル、K はガウス曲率と呼ばれる函数で、a, b, c, d は 1 または 2 のいずれかの値をとる。期待の通り、このリーマン曲率テンソルは独立成分をただ一つだけ持つ。 ガウス曲率は、この曲面の断面曲率と一致し、また 2-次元多様体のスカラー曲率のちょうど半分にもなっている。同時に、この曲面のリッチ曲率テンソルは単に Ric a b = K g a b {\displaystyle \operatorname {Ric} _{ab}=Kg_{ab}} として与えられる。