リッチテンソル
微分幾何学において、リッチ曲率テンソル () とは、歪んだリーマン多様体上の測地球の体積がユークリッド空間上の球体からどれだけずれるかを表す量である。に因んでその名がある。あるリーマン計量が与えられたとき、その記述する幾何が通常の 次元ユークリッド空間からどれだけ違うか表わす尺度として使うことができる。リッチテンソルはどんな擬リーマン多様体に対しても、リーマン曲率テンソルのトレースとして定義される。計量それ自体と同様、リッチテンソルは多様体の接空間上の対称双線型形式である。
相対性理論では、リッチテンソルは時空の曲率(R"μv"と表す)の一部であり、レイチャウデューリ方程式を通じて物質が時間とともにどれだけ収縮もしくは拡散するかの程度に関連する。アインシュタイン方程式を通じて、宇宙に含まれる物質の量にも関連する。微分幾何学では、あるリーマン多様体上のリッチテンソルの下界により、一様な曲率をもつと比較した場合の（も参照）大域的幾何学および位相幾何学的な情報を得ることができる。リッチテンソルが真空のアインシュタイン方程式を満たすとき、その多様体はアインシュタイン多様体であるといい、特に研究されている (cf. )。これと関係して、リッチフロー方程式はある計量がアインシュタイン計量へ発展するさまを記述する。この方法により、ポアンカレ予想が最終的に解決することとなった。
formula_1 をレヴィ・チヴィタ接続 formula_2 を持つ 次元リーマン多様体とする。formula_3 のリーマン曲率テンソルは、ベクトル場 上に次のような formula_4 テンソルとして定義される。
では、アインシュタインの縮約記法を用いて次のように書ける。
ここで、以下のように定義した。
リーマン曲率テンソルとクリストッフェル記号を用いて書くと、以下のようになる。
ビアンキの恒等式からの帰結として、リーマン多様体のリッチテンソルは次の意味で対称となる。
従って、リッチテンソルは、量 formula_15 を単位長さのベクトル formula_6 全てについて知れば完全に決定されることになる。単位接線ベクトルについてのこの関数は、これを知ることがリッチ曲率テンソルを知ることと同値であるので、しばしば単純にリッチ曲率と呼ばれる。
リッチ曲率はリーマン多様体の断面曲率により定まるが、一般にはそれよりも情報を持っていない。実際、もし formula_6 が -次元リーマン多様体上の単位ベクトルであるとすると、 は、断面曲率の formula_6 を含む全ての二次元平面にわたる平均値のちょうど 倍となる。そのような二次元平面は -次元の族を成すので、2次元および3次元においてのみリッチテンソルから完全な曲率テンソルを決定することができる。特記すべき例外として、多様体があらかじめユークリッド空間上の超曲面として与えられている場合がある。を通じて完全な曲率を決定するは、それ自体がリッチテンソルにより決定され、超曲面の主方向もリッチテンソルの固有方向により決定される。リッチテンソルは、この理由によりリッチが導入したものである。
もしリッチ曲率関数 が単位接線ベクトル の集合について定数関数であるならば、そのリーマン多様体はリッチ曲率が定数である、もしくはアインシュタイン多様体であるという。これは、リッチテンソル Ric が計量テンソル の定数倍である場合にのみ成り立つ。
リッチ曲率は計量テンソルのラプラシアン倍として考えると便利である 。特に、局所においては次の式が成り立つ。
ここで、 Δ であり、この場合は関数 に作用するものと考える。この事実により、例えばリッチフロー方程式を計量の拡散方程式の自然な拡張と見做す動機があたえられる。また、 を底とするにおいては、点 において次が成り立つ。
リーマン多様体 上の任意の点 に対して、その近傍にと呼ばれる好ましい局所座標を定義することができる。この座標系の計量は、点 からの測地距離が原点からのユークリッド距離と対応するような形で、点 を通る測地線が原点を通る直線に対応するように調整されている。この座標系においては、計量テンソルは次の式が成り立つという意味でユークリッド計量による良い近似が成り立つ。
実際、に対して法線座標系における動径測地線に沿って計量テンソルのテイラー展開を行うと、次を得る。
この座標系では、計量の体積要素は において次のように展開される。
この式は計量の行列式の自乗根を展開すれば得られる。
したがって、リッチ曲率 がベクトル の向きに正であるならば、 の周りの小円錐に収まる初速度をもって から発し、強収束する短測地線の族が掃く 上の円錐領域の体積と、ユークリッド空間における対応する円錐領域の体積を比べると、小さなの表面積が対応するユークリッド空間上の扇形の面積よりも小さいのと同様、後者が小さくなる。類似して、リッチ曲率がベクトル 方向に負であるならば、多様体上のそのような円錐領域の体積はユークリッド空間におけるものよりも大きくなる。
本質的には、リッチ曲率は曲率の を含む平面にわたる平均である。従って、元は円形（もしくは球形）断面をもって発せられた円錐が、楕円（もしくは楕円体）に歪められるとき、それぞれの主軸に沿った歪みが打ち消しあって体積変化がなくなることがありうる。このような場合、リッチ曲率は に沿って零となる。よって、物理学への応用の文脈でいえば、非零の断面曲率があることは、必ずしもそこに局所的に質量が存在することを意味しない。もし、最初は円形断面を持っていた世界線の円錐が後に楕円になるならば、これは別の場所にある質量の潮汐効果によるものである。
一般相対性理論において、リッチ曲率はアインシュタイン方程式の鍵となる項であり、重要な役割を果たす。
リッチフロー方程式にもリッチ曲率はあらわれる。時間依存するリーマン計量はある方向にリッチ計量の符号を反転した量だけ変形する。この連立偏微分方程式は熱拡散方程式の非線形な類似物であり、1980年代初頭にリチャード・ハミルトンにより初めて導入された。熱は定温の平衡状態に達するまで拡散しつづけるものであるから、リッチフローも多様体のリッチ曲率が定数になるような平衡幾何を実現することが期待される。近年のグリゴリー・ペレルマンによるこの主題への貢献により、三次元においてはこのプログラムによりコンパクト三次元多様体が1970年代のウィリアム・サーストンによる幾何化予想に沿って完全に分類されることが示され、それによりポアンカレ予想が肯定的に証明された。
ケーラー多様体においては、リッチ曲率はその多様体の第一チャーン類をねじれを除いて決定する。しかし、一般のリーマン多様体においては類似する位相幾何学的解釈が無い。
ここに、正のリッチ曲率を持つ多様体に関する大域的な結果の短い一覧を示す。リーマン幾何学の古典定理も参照されたい。簡潔に言うと、リーマン多様体の正のリッチ曲率は強い位相幾何的帰結を持つのに対して、（三次元以上では）負のリッチ曲率は何らの位相幾何的含意も持たない。（リッチ曲率は、リッチ曲率関数 が非零接ベクトル の集合に対して正であるときに正であるという。）いくつかの結果は擬リーマン多様体についても知られている。
これらの結果は、正のリッチ曲率は強い位相幾何的帰結を持つことを示している。対照的に、曲面の場合を除いて負のリッチ曲率には位相的含意が全く知られていない。 によれば、次元が2より大きな任意の多様体でリーマン計量が負のリッチ曲率を持てることが示されている。（曲面の場合、負のリッチ曲率は断面曲率が負であることを意味する。しかし、重要なのはむしろこれがより高次の場合では全く通用しないことである。）
計量 を共形因子 倍に変更するとき、新しい計量 のリッチテンソルは によれば
で与えられる。ここで、 は（正値スペクトル）ホッジラプラシアン、つまり通常のヘッシアンのトレースの「反対」である。
特に、リーマン多様体上のある点 で、任意の計量に対してそれと共形でありながらリッチテンソルが点 において零となるような計量を必ず見付けることができる。ただし、これは点についての言及であることに注意されたい。多様体全体のリッチ曲率を共形再スケーリングにより零にすることは一般には不可能である。
二次元多様体の場合は、上の公式は が調和関数であるならば共形スケーリング はリッチ曲率を変化させないことを示している。
リーマン幾何学及び一般相対性理論において、擬リーマン多様体 のトレースなしリッチテンソル () は次のように定義される。
ここで はリッチテンソル、 はスカラー曲率、 は計量テンソル、 は の次元である。この量の名前は、トレースが自動的に零になることに由来する。
formula_29 の場合、トレースなしリッチテンソルは次の場合にのみ恒等的に零となる。
ここで は何らかの定数とする。数学的には、これが がアインシュタイン多様体となる条件である。物理的には、この式は が宇宙定数つきの真空アインシュタイン方程式の解であることを意味する。
ケーラー多様体 において、リッチ曲率は標準直線束の曲率形式を決定する 。標準直線束とは、正則ケーラー微分の束の最高次外羃である。
ここで、 はケーラー多様体の構造により決定される接束上のは複素構造写像である。リッチ形式は2-閉形式である。そのコホモロジー類は、実定数因子の違いを除いて標準束の第一チャーン類であり、したがって、これは の位相幾何にのみ依存し複素構造のホモトピーで類あり、この意味で（ がコンパクトであれば） の位相幾何学的な不変量である。
逆に、リッチ形式はリッチテンソルにより次のように決定される。
局所正則座標 においては、リッチ形式は次のように与えられる。
ここで、 formula_35 はドルボー作用素であり、
である。リッチテンソルが零であるならば、標準束は平坦であり、は局所的に特殊線形群 の部分群に縮約できる。しかし、ケーラー多様体は既に にを持っており、よってリッチ平坦なケーラー多様体の（制限）ホロノミーは に含まれる。逆にいえば、-次元リーマン多様体の（制限）ホロノミーが その多様体はリッチ平坦なケーラー多様体である 。
リッチテンソルは任意のアフィン接続へ一般化でき、射影幾何（パラメトライズされない測地線に関連する幾何学）において特に重要な役割を果す不変量である 。formula_2 と書くこととすると、曲率テンソル は任意のベクトル場 に対して次のように定義される テンソルである。
リッチテンソルは次のようにトレースで定義される。
この、より一般の場合では、リッチテンソルは局所的に接続の平行体積形式があるときにのみ対称となる。