第12章総括 — 内在幾何とリーマン幾何・相対論へ

ここまでの旅を一枚の地図に

長い旅でした。振り返ると、一貫したテーマがありました——「曲がり」を数で捉え、それが外から見た性質なのか、面の内側だけで決まる性質なのかを見極めること。全体を貫く筋を一枚にまとめます。

注意微分幾何学の全体像

曲線論（第1〜3章）：曲率 $\kappa$ （向きの変化率）と捩率 $\tau$ （捻れ）が、曲線を合同を除いて完全に決める。局所の曲率を積分すると大域の整数（回転数）が現れる。
曲面論（第4〜8章）：第一基本形式（内在的な計量）と第二基本形式（外在的な反り）。主曲率から $K,H$ 。 驚異の定理—— $K$ は外在的に定義したのに内在的。測地線＝面上のまっすぐな道。
大域・接続（第9〜11章）：ガウス–ボンネ $\iint K=2\pi\chi$ （局所の曲率の総和が位相を決める）。接続と共変微分・平行移動。曲率テンソル（微分の非可換性）と断面曲率＝ $K$ の一般化。

いちばん大きな発見は、内在幾何の独立性でした。面の上に住むアリが、空間を一切見ずに、距離と角度を測るだけで曲率を知り、まっすぐな道（測地線）を引き、面全体の位相（穴の数）まで見抜ける。この「内側だけで完結する幾何」の存在が、次の大きな一般化を可能にします。

計量が接続を選ぶ——レヴィ–チヴィタ接続

第10章で「接続は多様体に別途与える構造」と述べました。ところが、第一基本形式（計量）があると、自然な接続が一意に決まります。これが内在幾何を完成させる最後のピースです。

定理リーマン幾何学の基本定理（レヴィ–チヴィタ）

リーマン計量 $g$ が与えられると、次の二条件をみたす接続 $\nabla$ がただ一つ存在する。

計量と両立： $\nabla g=0$ （平行移動が長さ・角度を保つ）。
捩れなし： $\nabla_X Y-\nabla_Y X=[X,Y]$ 。

これをレヴィ–チヴィタ接続という。接続係数は $\Gamma^k_{ij}=\frac12\sum_l g^{kl}(\partial_i g_{jl}+\partial_j g_{il}-\partial_l g_{ij})$ 。

この公式の右辺は計量 $g$ （＝第一基本形式）とその微分だけでできています。つまり、接続・平行移動・測地線・曲率テンソル——第10・11章で作った道具立てが、すべて計量だけから内在的に決まる。驚異の定理で「 $K$ が内在的」だったのは、この一般的事実の $2$ 次元の姿だったのです。計量を与えれば、幾何がまるごと立ち上がる。

注意クリストッフェル記号、三度目の登場

$\Gamma^k_{ij}$ は、第7章（驚異の定理の証明）・第8章（測地線の方程式）・第10章（接続係数）と現れ続けた。その正体がここで明かされる——計量の微分から作られる、内在幾何の中心的な量。曲面から多様体へ、同じ $\Gamma$ が一貫して主役を務めてきた。

曲面から抽象多様体へ

これまでは $\mathbb R^3$ に埋め込まれた曲面を扱ってきました。でも驚異の定理が教えるように、幾何の本質は内在的 ——だったら、そもそも外の空間なしに、計量だけをもつ空間を考えればいい。これがリーマン多様体の発想です。

定義リーマン多様体

可微分多様体 $M$ の各接空間に、なめらかに変化する内積（リーマン計量 $g$ ）を与えたものをリーマン多様体 $(M,g)$ という。埋め込みは要らない——計量が最初から与えられる。

リーマン多様体では、レヴィ–チヴィタ接続・測地線・曲率テンソル・断面曲率が、すべて計量 $g$ から内在的に定義されます。曲面論で $\mathbb R^3$ を見ながら苦労して作った概念が、外の空間なしに、抽象的な空間の上で展開できる。これがリーマン幾何学——微分幾何の次の大陸です。

一般相対論への橋

内在幾何の最大の応用が、アインシュタインの一般相対論です。ここまでの言葉が、そのまま物理になります。

注意幾何が重力になる

時空＝ $4$ 次元のリーマン（正確には擬リーマン）多様体。計量 $g$ が「時間と空間の測り方」。
物体は測地線を進む：重力に引かれる自由落下は、曲がった時空の測地線を辿ること。惑星の軌道も光の進路も測地線。「力」ではなく「時空の曲がり」。
アインシュタイン方程式 $G_{\mu\nu}=8\pi T_{\mu\nu}$ ：左辺は曲率テンソル（第11章）から作る幾何量、右辺は物質・エネルギー。物質が時空を曲げ、曲がった時空が物質の運動を決める。
光が重い星の近くで曲がる（重力レンズ）、水星の近日点移動、ブラックホール——すべて時空の曲率の帰結。

「曲がっている」を数で言おうとした素朴な出発点（第1章）が、宇宙の重力を記述する言語にまで育ちました。ガウスが曲面で見つけた内在幾何を、リーマンが任意次元へ一般化し、アインシュタインが物理法則に据えた—— この系譜こそ、微分幾何学がもつ射程の広さです。

つまずきポイント

注意よくある誤解

リーマン多様体に埋め込みは要らない。 計量 $g$ が最初から与えられ、外の空間を見ずに幾何が完結する。驚異の定理が保証した「内在幾何の独立性」がこれを可能にする。
測地線は「まっすぐ」であって「最速/最短」とは限らない。 相対論では自由落下が時空の測地線。局所的な性質。
レヴィ–チヴィタ接続は計量から一意。 接続を勝手に選ぶのでなく、「計量を保ち捩れなし」で一意に定まる。だから幾何は計量だけで決まる。
一般相対論は擬リーマン（符号付き計量）。 時間方向の符号が空間と逆。基本の枠組みは同じだが、計量が正定値でない点が違う。

この章のまとめ

微分幾何の旅は「曲がりを数にし、外在的か内在的かを見極める」物語だった。ハイライトは内在幾何の独立性（驚異の定理・ガウス–ボンネ・測地線）。
レヴィ–チヴィタ接続：リーマン計量から「計量を保ち捩れなし」の接続が一意に決まる。 $\Gamma$ は計量の微分で書け、接続・測地線・曲率がすべて計量だけから内在的に立ち上がる。
だから外の空間なしに計量だけをもつリーマン多様体が考えられる——リーマン幾何学の入り口。
一般相対論では、時空が擬リーマン多様体、重力が曲率、物体の運動が測地線。「曲がりを測る」が宇宙の言語になった。
お疲れさまでした。曲線の曲率から始めて、内在幾何を経て、リーマン幾何学と相対論への扉まで辿り着きました。次はリーマン幾何学か多様体論、抽象化を深めるなら幾何の他の大陸へ。

微分幾何学（全12章）は以上です。曲がった世界を測る言葉が、あなたの手に入りました。

第12章 総括 — 内在幾何とリーマン幾何・相対論へ