⟐ 数学の作り方 How to make Mathematics

第12章 一般相対論への橋・まとめ

重力は「力」ではなく「時空の曲がり」

リーマン幾何の最大の応用が、アインシュタインの一般相対性理論です。これまで積み上げた道具——計量・測地線・ 曲率——が、そっくりそのまま物理法則になります。核心の発想はこうです。重力は物体に働く「力」ではない。 時空という曲がった多様体があり、物体はただその中を“まっすぐ”（測地線）進んでいるだけ。まっすぐ進んでいる のに軌道が曲がって見えるのは、時空そのものが曲がっているから。

リンゴが落ちるのも、惑星が公転するのも、光が星の近くで曲がるのも、「時空の測地線を辿っている」だけ。 ニュートンが「力」で説明したものを、アインシュタインは「幾何」で説明し直した。その言語がリーマン幾何です。

一般相対論：重力＝時空の曲がり。物体は測地線を落ちる。物質が時空を曲げ、曲がった時空が運動を決める。

翻訳辞書——幾何が物理になる

これまでの各章の概念が、物理の言葉にどう対応するか。翻訳辞書を作ります。

注意 リーマン幾何 → 一般相対論

  • 多様体 MM → 時空（44 次元：時間 11 ＋空間 33）。
  • リーマン計量 gg（第1章）→ 時空の計量（正確には時間方向の符号が逆の 擬リーマン計量）。時間と空間の測り方。
  • 測地線（第3章）→ 自由落下する物体・光の軌道。重力下の運動＝測地線。
  • 測地線の収束（ヤコビ場、第8章）→ 潮汐力（近くの自由落下物体が寄る/離れる）。
  • リッチ曲率（第7章）→ 物質のエネルギー・運動量が作る曲がり。

とりわけ「測地線＝自由落下」が要です。無重力に感じる宇宙飛行士も、落下するエレベーターの中の人も、実は 時空の測地線を「まっすぐ」進んでいる。重力を感じないのが自然な状態で、地面に立つ我々の方が「測地線から 外れる力（垂直抗力）」を受けている——視点の大転換です。

アインシュタイン方程式

物質と時空の曲がりを結ぶのが、アインシュタイン方程式。左辺が幾何（曲率）、右辺が物質。第5章の第二ビアンキ 恒等式が、この方程式の整合性（保存則）を保証します。

定理 アインシュタイン方程式

時空の曲がりと物質は

Ric−12S g⏟幾何（曲率）=8πG T⏟物質\underbrace{\mathrm{Ric}-\tfrac12 S\,g}_{\text{幾何（曲率）}}=\underbrace{8\pi G\,T}_{\text{物質}}

で結ばれる（左辺の Gμν=Ric−12SgG_{\mu\nu}=\mathrm{Ric}-\frac12 Sg はアインシュタインテンソル、TT はエネルギー・ 運動量テンソル、GG は重力定数）。第二ビアンキ恒等式より ∇μGμν=0\nabla^\mu G_{\mu\nu}=0、これがエネルギー保存 ∇μTμν=0\nabla^\mu T_{\mu\nu}=0 を保証する。

この一本の方程式が、宇宙の重力をすべて記述します。「物質が時空を曲げ（右辺→左辺）、曲がった時空が物質の 運動を決める（測地線）」——ホイーラーの言葉で「物質は時空にどう曲がるかを告げ、時空は物質にどう動くかを 告げる」。左辺がリッチ曲率（体積の縮み、第7章）なのは、重力の本質が「物質が まわりの体積を縮める＝自由落下物体を寄せ集める」ことだからでした。

例 幾何が予言する物理

  • 水星の近日点移動：太陽近傍の時空の曲がりで軌道（測地線）がわずかに歳差。ニュートン理論とのずれを説明。
  • 重力レンズ：光は時空の測地線を進むので、重い天体の近くで曲がる（第10章の 「測地線が曲率で曲がる」）。
  • ブラックホール：曲率が極端に大きい領域。測地線が“出られない”地平面。
  • 宇宙論：宇宙全体を正曲率（閉じる、ボンネ–マイヤー）・零・負曲率のリーマン多様体で モデル化。宇宙の運命が曲率で決まる。

リーマン幾何の全体像

長い旅を振り返ります。一貫していたのは「多様体に計量を入れ、そこから距離・測地線・曲率を導き、局所の曲率で 大域の形を決める」という物語でした。

注意 この分野の地図

  • 計量と接続（1〜4章）：リーマン計量（ものさし）、レヴィ–チヴィタ接続（計量から一意に決まる微分）、 測地線（まっすぐ）、指数写像・正規座標（一階まで平ら）。
  • 曲率（5〜8章）：リーマン曲率テンソル（微分の非可換性）、断面曲率（定曲率の三世界）、リッチ・スカラー曲率 （体積の縮み）、ヤコビ場（曲率が測地線の広がりを支配）。
  • 大域幾何（9〜12章）：完備性（ホップ–リノウ）、ボンネ–マイヤー（正曲率→有界・コンパクト）、 カルタン–アダマール（非正曲率→Rn\mathbb R^n）、一般相対論。

三つの果実：(1) 計量だけからすべての幾何が内在的に決まる（レヴィ–チヴィタ）、(2) 曲率が測地線の収束/ 発散を通じて大域の形を挟む（比較定理）、(3) その幾何がそのまま重力の物理になる（一般相対論）。

他分野とのつながり

注意 回収と展望

「曲がった空間にものさしを入れる」という素朴な出発点が、測地線・曲率・比較定理を経て、宇宙の重力を記述する 言語にまで届きました。ガウスが曲面で見出した内在幾何を、リーマンが任意次元へ一般化し、アインシュタインが 物理法則に据えた——この系譜こそ、リーマン幾何がもつ射程の広さです。

つまずきポイント

注意 よくある誤解

  • 重力は力でなく時空の曲がり。 物体は測地線を「まっすぐ」進むだけ。曲がって見えるのは時空が曲がっているから。
  • 時空は擬リーマン（時間方向の符号が逆）。 正定値リーマンと基本の枠組みは同じだが、計量が正定値でない。 「距離」がゼロや負にもなる（光的・時間的）。
  • アインシュタイン方程式の左辺はリッチ（体積の縮み）。 重力＝測地線の収束＝体積の縮みだから。断面曲率でなく 平均された曲率が物理の言葉。
  • 測地線＝自由落下＝最も自然な運動。 力を受けていない状態。地面に立つ我々が測地線から外れている側。

この章のまとめ

  • 一般相対論：重力は時空（擬リーマン多様体）の曲がり。物体・光は測地線を進む（自由落下）。アインシュタイン方程式 Ric−12Sg=8πG T\mathrm{Ric}-\frac12 Sg=8\pi G\,T が幾何（左辺・リッチ曲率）と物質（右辺）を結び、第二ビアンキが保存則を保証。
  • 幾何が物理を予言：水星の近日点移動・重力レンズ・ブラックホール・宇宙論。リッチ曲率（体積の縮み）が重力の本質。
  • リーマン幾何の精神は「計量から内在的に幾何を導き、局所の曲率で大域の形を挟み、それを物理に据える」。多様体・微分幾何・微分方程式・変分法・位相幾何を横断し、幾何解析・複素幾何・物理へ展開。
  • リーマン幾何学（全12章）はこれで完結。ガウスの曲面から一般相対論まで、曲がった空間を測る言葉の全体像が手に入りました。

お疲れさまでした。多様体にものさしを入れる旅は、測地線と曲率、比較定理、そして宇宙の重力を記述するアインシュタインの方程式まで辿り着きました。