数学の作り方 How to make Mathematics

第7章 リッチ曲率とスカラー曲率

曲率を「平均」して粗くする

断面曲率(前章)は、二平面ごとの詳しい情報でした。でも応用では、もっと粗い・平均された曲率が役立ちます。 一つの方向を決めて、それを含む二平面すべてで断面曲率を平均する——これがリッチ曲率。さらに全方向で平均 すれば、一点につき一つの数——スカラー曲率になります。

なぜ平均するのか。リッチ曲率は「体積の増減」を直接支配するからです。細かい方向依存性を均した粗い曲率が、 「測地線に沿って進むと、まわりの体積が縮むか広がるか」という大域幾何・一般相対論に直結する量になります。 アインシュタイン方程式(第12章)の主役は、断面曲率でなくリッチ曲率です。

リッチ曲率=ある方向を含む断面曲率の平均。体積の縮みを支配する。スカラー曲率はさらに全方向の平均。

リッチ曲率とスカラー曲率

定義 リッチ曲率・スカラー曲率

リーマン曲率テンソル RR を縮約して、

  • リッチ曲率Ric(u,u)=ig(R(u,ei)ei, u)\mathrm{Ric}(u,u)=\displaystyle\sum_{i}g\big(R(u,e_i)e_i,\ u\big){ei}\{e_i\}uu に直交する 正規直交基底)。単位ベクトル uu に対し、uu を含む (n1)(n-1) 個の二平面の断面曲率の(定数倍で平均)。
  • スカラー曲率S=iRic(ei,ei)S=\displaystyle\sum_i\mathrm{Ric}(e_i,e_i)。全方向のリッチの和=全断面曲率の総和。一点につき一つの数。

階層が見えます。断面曲率(二平面ごと)→ 一方向で平均して リッチ曲率(ベクトルごと、対称二次形式)→ さらに平均して スカラー曲率(一点で一つの数)。情報を段階的に粗くしながら、それぞれが違う幾何を捉えます。

定曲率空間での値

断面曲率が定数 KKnn 次元空間では、

Ric(u,u)=(n1)Ku2,S=n(n1)K.\mathrm{Ric}(u,u)=(n-1)K\,|u|^2,\qquad S=n(n-1)K.

球面(K>0K>0)で正、双曲(K<0K<0)で負。22 次元では S=2KS=2K(スカラー曲率=ガウス曲率の 22 倍)で、リッチ・ スカラー・断面がすべてガウス曲率に還元される。

リッチ曲率は体積の縮みを測る

リッチ曲率の幾何的意味が、この分野の心臓です。測地線の束(測地錐)に沿って進むと、その断面積・体積が どう変わるかをリッチ曲率が支配します。第8章のヤコビ場が、これを精密にします。

定理 リッチ曲率と体積要素

方向 uu の測地線に沿って測地錐の体積要素の変化を追うと、その二階変化がリッチ曲率で与えられる。定性的には

Ric(u,u)>0  測地線束の体積が(平坦に比べ)縮む,Ric<0  広がる.\mathrm{Ric}(u,u)>0\ \Rightarrow\ \text{測地線束の体積が(平坦に比べ)縮む},\qquad \mathrm{Ric}<0\ \Rightarrow\ \text{広がる}.

正規座標での体積要素の展開 detg=116Ricijxixj+\sqrt{\det g}=1-\tfrac16\mathrm{Ric}_{ij}x^ix^j+\cdots にも現れる。

「リッチが正なら体積が縮む」——正曲率の空間では、平行に出発した測地線たちが互いに寄り集まり、束の体積が 平坦のときより小さくなる。これが第10章ボンネ–マイヤー(正のリッチ → 空間が有限)の原動力です。逆に負なら 広がる。リッチ曲率は、測地線の集団的な収束/発散を測る量なのです。

注意 スカラー曲率は小球の体積のずれ

スカラー曲率 SS は、小さな測地球 B(p,r)B(p,r) の体積が、同じ半径のユークリッド球の体積からどれだけずれるかを 測る:

volB(p,r)ωnrn=1S(p)6(n+2)r2+\frac{\mathrm{vol}\,B(p,r)}{\omega_n r^n}=1-\frac{S(p)}{6(n+2)}r^2+\cdots

ωn\omega_n はユークリッド単位球の体積)。S>0S>0 なら小球はユークリッドより小さくS<0S<0 なら大きい。 一点につき一つの数が、「その点のまわりの空間がどれだけ詰まっているか」を語る。スカラー曲率は、曲率の もっとも粗い・平均的な現れ。

リッチ曲率と一般相対論

リッチ曲率が主役になる最大の舞台が、アインシュタインの重力理論です(第12章で詳述)。予告しておきます。

注意 アインシュタイン方程式の主役はリッチ

一般相対論のアインシュタイン方程式 Ric12Sg=8πT\mathrm{Ric}-\frac12 S\,g=8\pi TTT は物質のエネルギー・運動量)は、 リッチ曲率(と スカラー曲率)で書かれる——断面曲率ではない。なぜか。重力が支配するのは「物質が集まると まわりの体積が縮む(測地線=自由落下する物体が寄り集まる)」現象で、それを測るのがまさにリッチ曲率だから。 星の質量が時空のリッチ曲率を生み、それが物体の落下(測地線の収束)を決める。「平均された曲率」が物理の 言葉なのは偶然でない。

つまずきポイント

注意 よくある誤解

  • 断面・リッチ・スカラーは粗さの階層。 断面(二平面)→ リッチ(方向、平均)→ スカラー(一点、全平均)。 情報量が減る。リッチが 00 でも断面曲率は非ゼロでありうる。
  • リッチ曲率=体積の縮み。 「測地線束が寄り集まるか」を測る。正で縮み、負で広がる。一般相対論の重力の正体。
  • スカラー曲率=小球の体積のずれ。 一点の一つの数。ユークリッド球より小さい(S>0S>0)か大きい(S<0S<0)か。
  • 33 次元まではリッチが曲率を決める。 2,32,3 次元ではリッチから曲率テンソルが復元されるが、44 次元以上では リッチだけでは足りない(ワイルテンソルという残りがある)。

この章のまとめ

  • リッチ曲率 Ric(u,u)\mathrm{Ric}(u,u)=方向 uu を含む断面曲率の和(平均)。スカラー曲率 SS=全方向の平均(一点で一つの数)。断面→リッチ→スカラーの粗さの階層。定曲率で Ric=(n1)Kg, S=n(n1)K\mathrm{Ric}=(n-1)Kg,\ S=n(n-1)K
  • リッチ曲率は測地線束の体積の縮みを測る(正で縮み・負で広がる)——ボンネ–マイヤー(第10章)の原動力。スカラー曲率は小球の体積のユークリッドからのずれ
  • 一般相対論の主役はリッチ曲率(重力=体積の縮み=測地線の収束、第12章)。
  • 体積の縮み・測地線の収束を精密に記述する道具が、次章のヤコビ場です。曲率が測地線の広がりをどう支配するかを見ます。

次章では、ヤコビ場(測地線の変分)を導入し、曲率が近接測地線の収束・発散を支配する様子(J+KJ=0J''+KJ=0)を体感します。