第 6 章 重力の本質は何か？ — 一般相対性理論¶
前回までのあらすじ: 第 5 章で、特殊相対論の要点を整理した上で弦理論固有の光錐座標を導入した。しかし特殊相対論は慣性系（等速直線運動する観測者）だけを扱い、加速や重力は含まれていない。第 1 章で残された「Newton の重力はなぜ引き合うのかを説明しない」「重力が瞬時に伝わる」という問題も未解決のまま。
この章のゴール
- 「一般相対論」編で詳細に展開した一般相対論（Ch.5〜Ch.14）の結果を概観し、弦理論で必要になる核心だけを手元に揃える
- 具体的には、(1) 等価原理から「重力＝時空の幾何学」への転換、(2) 計量テンソル・測地線・曲率・Einstein 方程式の役割分担、(3) Schwarzschild 解の使い方、の 3 点を押さえる
- 同時に、弦理論との接続点——粒子の作用の「便利な形」が弦の作用（第 13 章）にそのまま拡張されること、Einstein 方程式が弦理論の低エネルギー有効理論として再導出されること（第 15 章）、そして特異点の存在が量子重力を必要とすること（第 12 章）——に重点を置く
この章の読み方
数式の導出・計算はすべて 「一般相対論」編 第 5 章 で丁寧に扱った。本章は要点の棚卸しと弦理論への伏線の明示に徹する。初読の読者は「一般相対論」編 側を通読してから本章に戻ってくるのがおすすめ。すでに「一般相対論」編を読んだ読者にとっては、本章は「弦理論で何が効くか」の視点で一般相対論を再点検する章になる。
%%{init: {"theme": "default", "themeCSS": ".edgePath .path, .flowchart-link { stroke-width: 2px !important; }"}}%%
flowchart TD
A["等価原理\n加速 ≡ 重力（局所）"] --> B["重力 = 時空の幾何学"]
B --> C["計量テンソル g_μν"]
C --> D["測地線方程式\n粒子の運動"]
C --> E["曲率・Einstein 方程式\n時空の動力学"]
D --> F["<b>便利な作用 S_useful</b>\n弦理論への布石"]
F --> G["弦の作用\n（第13章）"]
E --> H["Schwarzschild 解"]
H --> I["水星の近日点移動 43秒角"]
H --> J["特異点 → 量子重力\n（第10-12章）"]図 6.1: 一般相対論から弦理論・量子重力問題解決への道筋
6.1 動機の再確認 — 等価原理と「重力 = 時空の幾何学」¶
🟡 リナ: 第 5 章の最後に、エレベーターの話をしたわね。加速しているエレベーターの中では重力が強くなったように感じ、自由落下しているエレベーターでは無重力になる。
🔵 カイ: 加速と重力が区別できないって話でしたよね。
🟡 リナ: そう、これが等価原理（equivalence principle）。Einstein はこれを「人生で最も幸福な思いつき」と呼んだ。内容は 3 段階：
- 慣性質量 = 重力質量（\(m_I = m_G\)、実験的に \(10^{-14}\) 精度で確認）
- 弱い等価原理：一様重力場の中に静止する系と、重力のない空間で加速する系は局所的に区別できない
- Einstein の等価原理：自由落下する小さな実験室の中では、いかなる実験をしても重力場の存在を検出できない——そこでは特殊相対論がそのまま成り立つ
この帰結として、重力は「力」ではなく「時空の幾何学的性質」として記述されるべき——これが一般相対論の出発点。図 6.2「等価原理の図解」 を見てちょうだい。(A) 重力場中で静止しているエレベーターと (B) 宇宙空間で加速しているエレベーターの中では、まったく同じ実験結果が得られる。一方 (C) 自由落下中のエレベーターでは無重量——これらは局所的に区別できないの。
図 6.2: 等価原理の図解。(A) 重力場中で静止と (B) 宇宙空間で上方加速は局所的に区別不可能。(C) 自由落下中は無重量で、(A)/(B) とは明確に異なる。
⚪ メイ: リナさん、さっきの「局所的に」って条件が気になるんだけど——広い領域を見たら、重力場が場所によって違うから加速と区別できるんじゃない？
🟡 リナ: その通り。その「重力場の不均一性」を潮汐力と呼ぶの。そして潮汐力こそが、時空の曲率として現れる。等価原理で消せる成分（計量の 1 階微分＝ Christoffel 記号）と、消せない成分（計量の 2 階微分＝ Riemann 曲率）——この区別が、一般相対論の数学的構造の核心になる。
📖 「一般相対論」編との接続: 等価原理・慣性質量と重力質量の等価性・エレベーター思考実験の詳細・潮汐力・重力赤方偏移（Pound-Rebka 実験）は 「一般相対論」編 第 5 章 で丁寧に扱った。
✅ 理解度チェック: 局所的に加速と重力が区別できないという原理を何と呼ぶでしょうか？
答え
等価原理（equivalence principle）。この帰結として、重力は「力」ではなく時空の幾何学的性質として記述される。
6.2 一般相対論の要点サマリ（弦理論で使うもの）¶
🟡 リナ: 「一般相対論」編 第 5 章 で整備した道具を、弦理論で使う形で棚卸ししましょう。
本章の単位系
一般相対論では Newton 極限・GPS などの日常応用との対応を見る場面が多いので、本章では \(c\) を明示して SI 単位寄りの書き方に戻す。本書全体としては状況に応じて \(c = 1\)（相対論）、\(\hbar = c = 1\)（QFT・弦理論）、SI 単位（日常応用）を使い分ける。必要なら 「一般相対論」編 第 4 章 の単位系の対応表を参照。
計量テンソル \(g_{\mu\nu}\)（「一般相対論」編 第 6 章）¶
第 5 章の Minkowski 計量 \(\eta_{\mu\nu}\) が一般化された計量テンソル：
\(g_{\mu\nu}\) は各点で 4×4 対称行列（\(g_{\mu\nu} = g_{\nu\mu}\) なので、4×4 = 16 成分のうち対角線の上と下が同じ値になり、独立なのは対角 4 個＋上三角 6 個＝ 10 個）で、座標の関数。「場所によってものさしが変わる」ことが「時空が曲がっている」ことの数学的表現。弱い重力場では Newton の重力ポテンシャル \(\Phi\)（質量 \(M\) の天体から距離 \(r\) の点で \(\Phi = -GM/r\)、第 1 章で導入）と
で接続する（重力ポテンシャルが計量の一部）。
🔵 カイ: え、Newton のポテンシャルがそのまま計量の成分に入るんですか？
🟡 リナ: そう。\(g_{00}\) は時間方向の「ものさし」で、静止した時計（\(dx^i = 0\)）の場合、線素は \(ds^2 = g_{00}\,c^2 dt^2\) だけが残る。符号規約 \((-,+,+,+)\) というのは、計量の対角成分の符号が（時間, 空間, 空間, 空間）＝（\(-\), \(+\), \(+\), \(+\)）という意味。たとえば平坦な時空の Minkowski 計量では \(\eta_{00} = -1\), \(\eta_{11} = \eta_{22} = \eta_{33} = +1\) だったわね（第 5 章）。一般の場合でも \(g_{00} < 0\) が保たれるから、\(ds^2 = g_{00}\,c^2 dt^2 < 0\)——これが「時間的間隔」の印よ。
固有時間 \(\tau\) は「その時計自身が刻む時間」で、「一般相対論」編 第 4 章で \(d\tau^2 = -ds^2/c^2\) と定義した（\(c = 1\) の単位系では \(d\tau^2 = -ds^2\)）。本章では \(c\) を明示する単位系を使い、座標を \(x^0 = ct\), \(x^i = (x, y, z)\) と取る（時間座標に \(c\) を掛けて長さの次元に揃える約束——「一般相対論」編 第 4 章 参照）。\(x^0 = ct\) だから、微小変化は \(dx^0 = c\,dt\) よ。すると線素は \(ds^2 = g_{\mu\nu}\,dx^\mu dx^\nu\) で、静止した時計（\(dx^i = 0\)）では \(ds^2 = g_{00}\,(dx^0)^2 = g_{00}\,c^2 dt^2\) だけが残る。ここで固有時 \(\tau\) は「その時計自身が刻む時間」で、\(d\tau^2 = -ds^2/c^2\) と定義される（なぜマイナスが付くかというと、時間的な世界線では \(ds^2 < 0\) だから、\(-ds^2 > 0\) として正の量にするため——「一般相対論」編 第 4 章 参照）。\(ds^2 = g_{00}\,c^2 dt^2\) を代入すると \(d\tau^2 = -g_{00}\,dt^2\) が得られる。\(g_{00} < 0\) だから \(-g_{00} > 0\) で、\(d\tau > 0\)（時間は前に進む）を取ると \(d\tau = \sqrt{-g_{00}}\,dt\) になる。
⚪ メイ: つまり重力が強い場所ほど \(-g_{00}\) が小さくなって、\(d\tau < dt\) ——時計が遅れるのね。
🟡 リナ: その通り。弱い重力場では \(g_{00} \approx -(1 + 2\Phi/c^2)\) で \(|\Phi/c^2| \ll 1\) だから \(-g_{00} \approx 1 + 2\Phi/c^2 < 1\)（\(\Phi < 0\)）。\(0 < -g_{00} < 1\) のとき \(\sqrt{-g_{00}} < 1\) だから、\(d\tau = \sqrt{-g_{00}}\,dt < dt\)——重力が強い場所（\(|\Phi|\) が大きい場所）ほど時計がゆっくり進む。他の成分（空間方向）も厳密には変わるけれど、弱い重力場では \(g_{00}\) の変化が支配的。
太陽の近くで時計はどれだけ遅れるか
太陽表面（\(r = R_\odot \approx 7.0 \times 10^8\) m）で、弱い重力場の近似 \(g_{00} \approx -(1 + 2\Phi/c^2)\) に \(\Phi = -GM_\odot/r\) を代入すると \(g_{00} \approx -(1 - 2GM_\odot/(c^2 r))\)。\(2GM_\odot/c^2 \approx 3.0\) km（後で登場する Schwarzschild 半径 \(r_s\) に相当）から
太陽表面の時計は遠方の時計に比べて 100 万分の 4.3 だけ遅く進む。GPS 衛星では地球の重力場での同様の効果が 1 日あたり 45 マイクロ秒に達する。GPS は光速で飛ぶ電波の到着時刻から距離を測るから、時刻が 45 μs ずれると距離は \(c \times 45\,\mu\text{s} \approx 3 \times 10^8 \times 45 \times 10^{-6}\,\text{m} \approx 13.5\,\text{km}\) もずれてしまう——補正しなければ 1 日で約 10 km 規模の位置ずれが生じるの。一般相対論は日常技術に組み込まれている。
測地線方程式（「一般相対論」編 第 8 章）¶
🟡 リナ: 物体は曲がった時空の中で測地線——時空の中で「最もまっすぐ」な経路——を辿る。運動方程式は
\(\Gamma^\mu_{\alpha\beta}\) は Christoffel 記号（計量 \(g_{\mu\nu}\) の 1 階微分を組み合わせて作る量）。直感的には「この場所で座標軸がどれだけ曲がっているか」を表す係数で、弱い重力場では \(\Gamma^i_{00} \approx \frac{1}{c^2}\frac{\partial \Phi}{\partial x^i}\) となり、Newton の重力加速度 \(\mathbf{g} = -\nabla\Phi\) に対応する。平坦な時空では全てゼロ、つまり Newton の第 1 法則の相対論版。曲がった時空では \(\Gamma \neq 0\) となり、「力に引かれている」のではなく「曲がった時空で自然な経路を辿る」というのが一般相対論の描像。
🔵 カイ: なるほど、重力を感じていないのに落ちているのが「自然」で、ロケットで踏ん張っている方が「不自然」なんですね。
🟡 リナ: まさにそう。逆に言えば、ロケット推進で重力に逆らって静止している物体の方が「測地線から逸れている」——つまり加速している（図 6.3「測地線の概念」）。
図 6.3: 測地線の概念。左: 平坦な空間では最短経路は直線。中: 球面上では大円が測地線。右: 重力場中の時空図で、自由落下する物体が測地線を辿り、ロケット推進で静止する物体は測地線から逸れている。
曲率と Riemann テンソル（「一般相対論」編 第 13 章）¶
「座標変換で消せない本当の曲がり」を測るのが Riemann 曲率テンソル \(R^\rho{}_{\sigma\mu\nu}\)（計量の 2 階微分）。直感的には「矢印（ベクトル）を曲がった面の上で向きを変えないように少しずつ運んでいき（これを平行移動という）、一周して元の場所に戻ったとき、矢印の向きがずれている——そのずれの大きさ」。たとえば地球儀の北極に北向きの矢印を置き、経線に沿って赤道まで下ろし、赤道を 90° 東に移動し、再び経線に沿って北極に戻すと、矢印は出発時から 90° 回転している——平坦な面ではこんなことは起きないから、これが「曲がっている」ことの証拠よ。4 次元では対称性の制約から独立成分は 20 個になる（4 つの添字を持つテンソルは本来 \(4^4 = 256\) 成分だけど、たとえば「最初の 2 つの添字を入れ替えると符号が反転する」「前半ペアと後半ペアを交換しても値が同じ」といった対称性が多数あり、大幅に減る——詳細は 「一般相対論」編 第 13 章 参照。ここでは「20 個」という結果だけ持ち帰れば OK）。
🔵 カイ: 256 成分が 20 個まで減るんですか……対称性って強力ですね。
🟡 リナ: そうね。そして縮約——テンソルの添字を一組選んで「足し合わせてまとめる」操作——によって、情報を圧縮した Ricci テンソル \(R_{\mu\nu}\) とスカラー曲率 \(R\) を作る。縮約とは、同じ添字を上下に重ねて 0 から 3 まで足し合わせること（第 5 章で導入した Einstein の縮約規則）。復習すると、\(A^\mu B_\mu = A^0 B_0 + A^1 B_1 + A^2 B_2 + A^3 B_3\) のように同じ文字が上下に現れたら自動的に足す約束よ。具体的には：
右辺の \(R^\lambda{}_{\mu\lambda\nu}\) では \(\lambda\) が上（1番目）と下（3番目）に現れている——これが「\(\lambda\) について 0 から 3 まで足す」という縮約の実例よ。同様に \(R = g^{\mu\nu}R_{\mu\nu}\) では \(\mu\) と \(\nu\) の両方を縮約して、テンソルからスカラー（ただの数）に落としている。ここで \(g^{\mu\nu}\) は計量 \(g_{\mu\nu}\) の逆行列よ。行列 \(A\) に逆行列 \(A^{-1}\) を掛けると単位行列 \(I\) になるのと同じで、\(g^{\mu\alpha}g_{\alpha\nu} = \delta^\mu_\nu\) が成り立つ。\(\delta^\mu_\nu\) はクロネッカーのデルタ——\(\mu = \nu\) のとき 1、\(\mu \neq \nu\) のとき 0 になる量で、単位行列の成分そのもの。\(g^{\mu\nu}\) を使うと、下付き添字のテンソル \(A_\mu\) から上付き添字の \(A^\mu = g^{\mu\nu}A_\nu\) を作れる——これを「添字を持ち上げる」と呼ぶの。
⚪ メイ: 添字の上げ下げは逆行列 \(g^{\mu\nu}\) が担当、縮約は和を取ってテンソルの階数を下げる——2 つの操作が組み合わさって、20 成分の Riemann テンソルから最終的にスカラー 1 個にまで情報を圧縮できるのね。
Einstein 方程式（「一般相対論」編 第 14 章）¶
時空の曲がり方が物質・エネルギー分布で決まる:
左辺 \(G_{\mu\nu} \equiv R_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R\) が Einstein テンソル（時空の曲がり具合）、右辺 \(T_{\mu\nu}\) がエネルギー運動量テンソル（各点にどれだけのエネルギー・運動量・圧力が存在するかを表す量）。Wheeler の有名な一言：
時空は物質にどう動くかを教え、物質は時空にどう曲がるかを教える。
🟡 リナ: ここまでの道具を整理すると——\(g_{\mu\nu}\) が「ものさし」、測地線方程式が「ものさしの上での運動」、Einstein 方程式が「ものさし自体の決まり方」。三層構造になっているの。
⚪ メイ: なるほど——ものさしを決める方程式と、そのものさしの上で物体がどう動くかの方程式が、別々に存在しているのね。
🔵 カイ: 左辺が時空の曲がり、右辺が物質……ということは、物質がなくても時空は曲がれるんですか？ \(T_{\mu\nu} = 0\) でも左辺がゼロじゃない解があるとか？ あと、弦理論ではこの方程式はどう出てくるんですか？
🟡 リナ: いい質問ね。まず前半——\(T_{\mu\nu} = 0\)（真空）でも \(R_{\mu\nu} = 0\) を満たす非自明な解が存在する。実はこの後すぐ出てくる Schwarzschild 解がまさにそれよ。重力波も真空解の一種。物質がなくても時空自体が「波打つ」ことができるの。
後半の弦理論との関係だけど、第 15 章で弦の質量ゼロ振動モードを調べると、スピン 2 のモードが含まれていて、その低エネルギー有効作用から Einstein 方程式が自動的に再導出されるの。一般相対論が弦理論の近似として含まれる——これは弦理論が量子重力の候補として真剣に検討される最大の理由の一つよ。
✅ 理解度チェック: 弦理論と Einstein 方程式の関係を述べてください。なぜこれが弦理論を量子重力の候補として支持する根拠になるのでしょうか？
答え
弦の質量ゼロ振動モード（スピン2）の低エネルギー有効作用から Einstein 方程式が自動的に再導出される。つまり一般相対論は弦理論の近似として含まれており、弦理論が重力を自然に記述できることを示している。
📖 既習項目への立ち返り: 計量テンソルの意味は 「一般相対論」編 第 6 章、測地線方程式の変分からの導出と Christoffel 記号の具体計算は 「一般相対論」編 第 8 章、Riemann テンソルの幾何学的意味は 「一般相対論」編 第 13 章、Einstein-Hilbert 作用からの変分による Einstein 方程式の導出と Einstein・Hilbert の優先権問題は 「一般相対論」編 第 14 章 を参照。
✅ 理解度チェック: 一般相対論における「重力」は何として記述されるでしょうか？
答え
時空の曲がり（計量テンソル \(g_{\mu\nu}\) の場所による変化）。粒子は力を受けているのではなく、曲がった時空の測地線に沿って運動している。
6.3 粒子の作用から弦の作用へ — 便利な作用の登場¶
🟡 リナ: ここから本章の独自内容。一般相対論の測地線方程式の導出過程には、弦理論（第 13 章）にそのまま拡張される重要な構造が潜んでいる。まずは粒子の作用の形を確認してから、弦への拡張を見ていくわね。
粒子の作用：世界線の長さ¶
🟡 リナ: 質量 \(m\) の粒子が曲がった時空を運動するとき、その作用は世界線に沿った固有時間の積分——つまり世界線の長さ——に比例する：
ここで \(\lambda\) は世界線を指定する任意のパラメータ——高校数学で曲線を \((x(t), y(t))\) とパラメータ \(t\) で表すのと同じ発想で、世界線上の「どの点か」を指定するラベルのこと（固有時とは限らない一般のパラメータ）。時間的な世界線では \(g_{\mu\nu}dx^\mu dx^\nu < 0\)（符号規約 \((-,+,+,+)\) のもとで）だから、\(-g_{\mu\nu}dx^\mu dx^\nu > 0\) として平方根が取れる。ここでは \(ds \equiv \sqrt{-g_{\mu\nu}dx^\mu dx^\nu}\) と定義しているの（\(ds^2 = -g_{\mu\nu}dx^\mu dx^\nu\) と書く流儀もある）。特に \(\lambda\) として固有時 \(\tau\) を選んだ場合には \(ds = c\,d\tau\) となる。この作用自体は \(\lambda\) の取り方によらず同じ値を与える（再パラメータ化不変）。この作用を変分すれば測地線方程式が出てくる（「一般相対論」編 第 8 章 参照）。
🔵 カイ: 平方根があると計算が面倒そうですね。
便利な作用：平方根のない等価な形¶
🟡 リナ: そこで、平方根を避けたい。発想はシンプルで、「平方根の中身をそのまま Lagrangian にしてしまえば、同じ経路を与えるのでは？」と試してみるの。結論を先に言うと、同じ測地線を与えるが平方根のない、扱いやすい作用が存在する。ただし「パラメータ \(\tau\) を固有時に選ぶ」という約束が一つ増える——この約束の意味は式の後で説明するわ：
（元の平方根の中身は \(-g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\) だったけど、時間的世界線では \(g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu < 0\) だから \(-g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu > 0\)。ここでは \(g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\) をそのまま被積分関数に使い、全体の前因子 \(m/2 > 0\) を付けているの。符号の違いは停留条件の解には影響しないわ。）
この作用は元の \(S_{\text{粒子}}\) とは形が違う（平方根がない）けれど、同じ測地線を与えることが示せるの。まず前因子の \(m\) や \(c\) について——作用全体に定数を掛けても「作用が停留する経路」は変わらない。変分で経路の形を決めるのは \(\delta S = 0\) という条件だから、定数倍は関係ないの。たとえば \(S\) を最小にする経路と \(3S\) を最小にする経路は同じでしょう？ だから \(m\) も省略されることが多いけれど、ここでは後の弦の作用との対応を見やすくするために残しておくわ。
⚪ メイ: つまり \(m\) は作用の「スケール」を決めるだけで、経路の形には効かないのね。
🟡 リナ: そういうこと。次に平方根がない点について——この作用を変分すると測地線方程式が得られる。さらに、この作用の被積分関数（Lagrangian に相当する量）は \(\tau\) そのものには陽に依存しない（\(\tau\) が直接式に現れず、\(x^\mu(\tau)\) を通じてのみ入る）。高校物理でも「外力が保存力だけならエネルギーが保存する」ことを学んだわね。あれは実は「系の法則が時間によって変わらないなら、保存する量がある」という、もっと一般的な原理の特殊な場合なの。ここでも同じ——\(S_{\text{useful}}\) の被積分関数 \(\frac{m}{2}g_{\mu\nu}(x)\dot{x}^\mu\dot{x}^\nu\) を見ると、\(g_{\mu\nu}\) は \(x\) の関数、\(\dot{x}^\mu\) も \(x\) と \(\tau\) の関数だけど、\(\tau\) そのものが直接現れる項（たとえば \(\tau^2\) とか \(\sin\tau\) のような項）はないわよね。こういうとき——Lagrangian が \(\tau\) そのものを陽に含まない（つまり「\(\tau\) のどの時点でも法則が同じ」）とき——運動方程式に沿って値が変わらない量（運動の定数）が自動的に存在するの。
🔵 カイ: 第 1 章でやったエネルギー保存の一般化ですね。「時間が直接現れなければ保存量がある」——あの話がここでも使えるんですか。
🟡 リナ: まさにそう。第 1 章で「時間並進の対称性 → エネルギー保存」を学んだわね。あのとき保存量は \(H = p\dot{q} - L\) という形だった。ここでも同じ論理で、\(\tau\) が時間の役割を果たすから保存量が出てくる。\(S_{\text{useful}}\) の Lagrangian は \(L = \frac{m}{2}g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\) で、\(\dot{x}^\mu\) について 2 次の同次式——つまり全ての項が \(\dot{x}\) をちょうど 2 個ずつ掛けた形（\(g_{00}(\dot{x}^0)^2\) や \(g_{01}\dot{x}^0\dot{x}^1\) のように、\(\dot{x}\) が 1 個だけの項や \(\dot{x}\) を含まない項は存在しない）。第 1 章で学んだ正準運動量の定義を思い出して——\(p = \partial L/\partial\dot{q}\) だったわね。ここでは座標が 4 つ（\(x^0, x^1, x^2, x^3\)）あるから、各成分ごとに \(p_\mu = \partial L/\partial\dot{x}^\mu\) と定義するの。\(L = \frac{m}{2}g_{\alpha\beta}\dot{x}^\alpha\dot{x}^\beta\) を \(\dot{x}^\mu\) で微分するとき、和の中で \(\dot{x}^\mu\) が現れる項は \(\alpha = \mu\) の場合と \(\beta = \mu\) の場合の 2 通りある。\(g_{\alpha\beta}\) の対称性（\(g_{\alpha\beta} = g_{\beta\alpha}\)）からこの 2 つの寄与は同じ値になるので、合わせて因子 2 が出て前の \(\frac{1}{2}\) と打ち消し合い、\(p_\mu = m\,g_{\mu\nu}\dot{x}^\nu\)（\(\nu\) について和を取る）が得られる（計算の詳細は 「一般相対論」編 第 8 章 を参照）。すると \(p_\mu\dot{x}^\mu = m\,g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu = 2L\) となる。第 1 章で学んだ保存量の公式は \(H = p\dot{q} - L\) だったわね。座標が 4 つある場合はこれが \(H = p_\mu\dot{x}^\mu - L\)（\(\mu\) について 0〜3 で和を取る）に拡張されるの。代入すると \(H = 2L - L = L\) ——つまり \(L = \frac{m}{2}g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\) が一定になるの（厳密な導出は 「一般相対論」編 第 8 章 参照）。この場合の運動の定数は：
🔵 カイ: おお、きれいに出ますね——\(H = 2L - L = L\) で Lagrangian そのものが保存量になるのか。
🟡 リナ: これが自動的に出てくる。この定数を \(-c^2\) に選ぶことが「\(\tau\) を固有時とする」ことに対応する。こうすると元の平方根作用と同じ測地線を導くことが示せる。直感的には、固有時パラメータ化のもとでは \(g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu = -c^2\)（定数）が成り立つ。すると元の作用の被積分関数 \(\sqrt{-g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu} = c\) も定数になるから、変分のとき「平方根の中身が変化する効果」を考えなくてよくなり、結果として便利な作用 \(S_{\text{useful}}\) の変分と同じ Euler-Lagrange 方程式（＝測地線方程式）が得られるの。「一般相対論」編 第 8 章 では、この事実を「\(\tau\) を固有時に選ぶと平方根の中が定数 \(L=1\) になる」という流儀で扱った。
⚪ メイ: つまり、どちらの作用も同じ経路（測地線）を与えるけれど、便利な作用の方は \(\tau\) のスケールを固有時に合わせる約束が必要になるのね。
🔵 カイ: その約束が増えるのに「便利」なんですか？
🟡 リナ: 平方根がなくなることで変分計算が劇的に楽になるの。パラメータの約束は一つ増えるけど、それを差し引いても十分お釣りがくるわ。
🔵 カイ: 平方根を消す代わりにパラメータの約束が増える……得してるのか損してるのか微妙ですね。でもこの形って、この章だけの話ですか？ それとも後でまた出てくる？
🟡 リナ: いい質問。実はこの便利な作用の形は、弦理論にそのまま一般化されるのがポイント。
弦への拡張（第 13 章の予告）¶
🟡 リナ: 点粒子から弦に移ると、「世界線」が「世界面（worldsheet）」に、「長さ」が「面積」に変わる。自然な作用は Nambu-Goto 作用——世界面の面積——になる：
ここで \(\int d^2\sigma\) は世界面上の 2 次元積分（\(\int d\tau\,d\sigma\) のこと）。\(\det\) は行列式（2×2 行列 \(\begin{pmatrix}a & b\\c & d\end{pmatrix}\) なら \(ad - bc\)）。\(T\) は弦の張力——弦の単位長さあたりのエネルギー（つまり弦がどれだけ「伸びにくいか」を表す定数で、日常の糸の張力と同じ次元を持つ）。\(\sigma^a = (\tau, \sigma)\) は世界面の 2 つのパラメータ、\(X^\mu(\sigma^a)\) は弦の時空での位置。注意： ここでの \(\tau\) と \(\sigma\) は世界面の 2 つのパラメータであり、前節で粒子の世界線に使った固有時 \(\tau\) とは別物——同じ記号だけど文脈が変わっているの。ここで \(\partial_a X^\mu \equiv \partial X^\mu/\partial\sigma^a\) という記号が出てくるけれど、これは偏微分——\(X^\mu\) は \(\tau\) と \(\sigma\) の 2 つの変数に依存するけれど、片方（たとえば \(\sigma\)）を固定して、もう片方（\(\tau\)）だけで微分する操作のこと。高校で習う \(dx/dt\) は変数が 1 つだけの場合の微分だけど、変数が複数あるときに「他を動かさず 1 つだけで微分する」のが偏微分よ。記号 \(\partial\)（ラウンド・ディー）を使って通常の \(d\) と区別するの。
🔵 カイ: 粒子ではパラメータが 1 個（\(\tau\)）だったのが、弦では 2 個（\(\tau, \sigma\)）に増えるから偏微分が必要になるんですね。
🟡 リナ: そういうこと。この記号を使うと \(\gamma_{ab}\) の定義が書けるのだけど、ここから先の説明は「なぜこの量が出てくるか」の動機づけ——添字の計算を追えなくても、最後の結論（\(\gamma_{ab}\) は世界面上のものさし）だけ持ち帰れば OK よ。
なぜ \(g_{\mu\nu}\) とは別に \(\gamma_{ab}\) が要るかというと、\(g_{\mu\nu}\) は 4 次元時空全体のものさしだけど、弦の世界面は 2 次元の「シート」だから、その 2 次元面上の距離だけを取り出す必要があるの。4 次元時空の添字 \(\mu, \nu\) は 0〜3 の値を取ったけれど、世界面は 2 次元だから、世界面の添字 \(a, b\) は 0 と 1 の 2 つの値しか取らない（\(\sigma^0 = \tau\), \(\sigma^1 = \sigma\)）。つまり \(\gamma_{ab}\) は 2×2 の行列よ。
定義は \(\gamma_{ab} \equiv \partial_a X^\mu\,\partial_b X^\nu\,g_{\mu\nu}\) で、誘導計量と呼ばれる。意味は単純——世界面上で微小にパラメータを動かすと弦の時空位置は \(dX^\mu = \partial_a X^\mu\,d\sigma^a\)（\(a\) について和を取る約束だから、展開すると \(= \frac{\partial X^\mu}{\partial\tau}d\tau + \frac{\partial X^\mu}{\partial\sigma}d\sigma\)）だけ変わるから、時空の計量で測った世界面上の距離は
となる。展開すると \(ds^2_{\text{世界面}} = \gamma_{00}\,d\tau^2 + 2\gamma_{01}\,d\tau\,d\sigma + \gamma_{11}\,d\sigma^2\) で、\(\gamma_{00}\) は「\(\tau\) 方向に少し動いたときの時空距離の 2 乗」、\(\gamma_{11}\) は「\(\sigma\) 方向に少し動いたときの時空距離の 2 乗」、\(\gamma_{01}\) は「2 方向が直交していないときの混合項」——ちょうど 4 次元の \(g_{\mu\nu}\) が各方向の距離を決めていたのと同じ構造が、2 次元に縮小されたものよ。つまり \(\gamma_{ab}\) は「世界面上のものさし」——4 次元のものさし \(g_{\mu\nu}\) を 2 次元面に制限したもの。\(\sqrt{-\det(\gamma_{ab})}\) が世界面の面積要素を与える。詳細は第 13 章で丁寧に扱う。粒子の平方根作用と同じで、この形も扱いにくい。
そこで粒子の場合と同じ発想で、平方根のない等価な作用——Polyakov 作用——を使う：
ここで \(h_{ab}\) は世界面上に導入する補助的な 2×2 計量で、物理的な自由度を増やさずに式を扱いやすくするための「道具」。新しい変数を入れたのに自由度が増えないのは不思議に聞こえるかもしれないけれど、\(h_{ab}\) 自身の運動方程式（\(S_P\) を \(h_{ab}\) で変分して得られる条件）が \(h_{ab} = \gamma_{ab}\) を要求するから、\(h_{ab}\) は独立な自由度ではなく他の変数で完全に決まってしまうの。粒子の場合に「平方根を消す代わりにパラメータの約束が増えた」のと同じ発想で、弦では \(h_{ab}\) を導入する代わりにその運動方程式という条件が増える——でも平方根が消えるメリットの方が大きいの。\(h^{ab}\) はその逆行列、\(h = \det(h_{ab})\) はその行列式。世界面にも時間方向があるから \(h_{ab}\) は Minkowski 的な符号を持ち、行列式 \(h\) は負になる——だから \(-h > 0\) として \(\sqrt{-h}\) を取るの（4 次元の \(g_{\mu\nu}\) で \(\sqrt{-g}\) と書くのと同じ理由よ）。\(\sqrt{-h}\) は世界面上の「面積要素」を正しく測るための因子。\(h_{ab}\) の運動方程式を解くと \(h_{ab} = \gamma_{ab}\) という条件が出てきて、それを代入すれば元の Nambu-Goto 作用に戻る——つまり平方根が消えた代わりに条件が一つ増えるけれど、物理的な内容は同じ。そして平方根がないおかげで量子化が可能になる。
🔵 カイ: 粒子の \(S_{\text{useful}} = \frac{m}{2}\int d\tau\,g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\) と構造がそっくりですね。でも粒子では質量 \(m\) が前に出てましたけど、弦では張力 \(T\) に変わってる——質量と張力って物理的に全然違うものじゃないですか？
🟡 リナ: いい着眼点ね。粒子の質量 \(m\) は「動きにくさ」、弦の張力 \(T\) は「伸びにくさ」——確かに物理的な意味は違う。でも作用の構造の中では、どちらも「運動の慣性を決める定数」として同じ位置に座っているの。これは第 13 章でもう少し深く見ていくわ。構造としてはまったく同じ発想——点粒子 → 弦の拡張は、「世界線の長さ」を「世界面の面積」に、\(\dot{x}^\mu \dot{x}^\nu\) を \(\partial_a X^\mu \partial_b X^\nu\) に置き換えただけ。一般相対論での便利な作用の技法がそのまま弦理論で再利用される——これが第 13 章で詳しく扱う弦の作用の骨格よ（図 6.4「点粒子から弦への拡張」）。
図 6.4: 点粒子から弦への拡張。左: 点粒子の世界線（パラメータ \(\tau\) 1個）。中: 閉じた弦の世界面（パラメータ \((\tau, \sigma)\) 2個）。右: 対応関係のまとめ。同じ発想（平方根の除去）が繰り返し使われる。
🟡 リナ: 作用原理という共通言語が、Newton 力学（第 1 章）から一般相対論、そして弦理論まで一本で貫いている——これが物理学の美しさよ。Newton 力学では \(S = \int L\,dt\)、点粒子の相対論では \(S = -mc\int ds\)（世界線の長さ）、弦では \(S_{\text{NG}} = -T\int dA\)（世界面の面積）——対象の次元が上がるたびに「長さ→面積」と拡張されるけど、「作用を停留させる」という原理はずっと同じ。つまり「何の体積を測るか」が変わるだけで、変分原理という枠組み自体は不変なの。
⚪ メイ: なるほど——粒子では長さ、弦では面積、でも「作用を停留させる」という骨格は全部同じなのね。
表 6.1: 作用原理の統一的構造: Newton 力学から弦理論まで
| 対象 | 次元 | 軌跡 | 作用（幾何学的） | 作用（便利な形） |
|---|---|---|---|---|
| Newton 粒子 | 0 | 軌道 \(x(t)\) | \(\int L\,dt\) | \(\int \frac{1}{2}m\dot{x}^2 dt\) |
| 相対論的粒子 | 0 | 世界線 | \(-mc\int ds\)（長さ） | \(\frac{m}{2}\int g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu d\tau\) |
| 弦 | 1 | 世界面 | \(-T\int dA\)（面積, NG） | Polyakov 作用（\(h_{ab}\) 導入） |
| 膜（p-brane） | \(p\) | 世界体積 | \(-T_p\int d^{p+1}\text{Vol}\) | （超弦理論で登場） |
📖 「一般相対論」編との接続: 粒子の平方根作用から Christoffel 記号を含む測地線方程式を導出する詳細は 「一般相対論」編 第 8 章 を参照。固有時をパラメータに選ぶトリックは同章で扱った。
✅ 理解度チェック: 粒子の「便利な作用」\(S_{\text{useful}} = \frac{m}{2}\int d\tau\,g_{\mu\nu}\dot{x}^\mu\dot{x}^\nu\) が弦理論でどう拡張されるか。
答え
世界線 → 世界面、\(\dot{x}^\mu\dot{x}^\nu \to \partial_a X^\mu\partial_b X^\nu\) の置き換えで Polyakov 作用に拡張される。平方根のない形で量子化が可能になるという利点は同じ。詳細は第 13 章で扱う。
6.4 Schwarzschild 解と水星の近日点移動（結果のみ）¶
🟡 リナ: Einstein 方程式を球対称・真空（\(T_{\mu\nu} = 0\)）で解くと、Schwarzschild 計量が得られる：
ここで \((r, \theta, \phi)\) は球座標——\(r\) は中心からの距離、\(\theta\) は北極からの角度（\(0\) から \(\pi\)）、\(\phi\) は経度方向の角度（\(0\) から \(2\pi\)）。\(r^2(d\theta^2 + \sin^2\theta\,d\phi^2)\) は球面上の距離の測り方を表す部分よ。\(r_s = 2GM/c^2\) が Schwarzschild 半径（第 4 章で登場した量と同じ——本章以降は一般相対論の標準的な記法に合わせて \(r_s\) を使う）。これが弦理論でも重要な役目を持つ——第 10 章の D-ブレーンのブラックホール解、第 18 章のブラックホール熱力学、第 20 章のブラックホール情報パラドックスなど、至るところで再登場する。
🔵 カイ: \(r = r_s\) のところで \(g_{00}\) がゼロになって \(g_{rr}\) が発散するみたいですけど、そこで何が起きるんですか？
🟡 リナ: いい着眼点。\(r = r_s\) は事象の地平面と呼ばれる場所で、一見すると特異点に見えるけれど、実は座標の選び方のせいで発散しているだけ——別の座標系（たとえば Eddington-Finkelstein 座標）に切り替えると滑らかに通過できるの。本当の特異点は \(r = 0\) にある——それは後で見るわ。
✅ 理解度チェック: Schwarzschild 計量はどのような条件のもとで Einstein 方程式を解いた結果でしょうか？ Schwarzschild 半径 \(r_s\) の定義は？
答え
球対称かつ真空（\(T_{\mu\nu} = 0\)）という条件で解いた結果。Schwarzschild 半径は \(r_s = 2GM/c^2\) で定義され、質量 \(M\) の天体に対する特徴的なスケールを与える。
水星の近日点移動¶
🟡 リナ: Schwarzschild 計量での測地線方程式を摂動展開（Newton 力学からのずれを小さな補正として段階的に計算する手法）すると、惑星軌道の近日点——楕円軌道で太陽に最も近づく点——が 1 公転あたりわずかに回転することが示される。ここで \(a\) は楕円の半長径（長い方の半径）、\(e\) は離心率（楕円のつぶれ具合を表す量で、0 なら円、1 に近いほど細長い）。楕円の半直弦 \(p = a(1-e^2)\) を使うと、回転角は：
（図 6.5「水星の近日点移動」）。水星の軌道要素（\(a = 5.79 \times 10^{10}\) m、\(e = 0.2056\)、周期 \(\approx 88\) 日）を代入してみよう。\(p = a(1-e^2) \approx 5.55 \times 10^{10}\) m、\(GM_\odot/c^2 \approx 1.48 \times 10^3\) m（Schwarzschild 半径の半分）だから、1 公転あたり \(\delta\phi = 6\pi \times 1.48 \times 10^3 / (5.55 \times 10^{10}) \approx 5.0 \times 10^{-7}\) rad。
⚪ メイ: 1 公転あたりだと小さな角度だけど、これを積み重ねるのね。
🟡 リナ: そう。100 年は約 415 公転だから \(415 \times 5.0 \times 10^{-7} \approx 2.1 \times 10^{-4}\) rad \(\approx 43\) 秒角——観測値と調整可能なパラメータなしで完全に一致する。Einstein 自身、この計算結果に「心臓が高鳴った」と述べている。
図 6.5: 水星の近日点移動。左: Newton 力学では軌道は閉じた楕円。右: 一般相対論では楕円の長軸（近日点の方向）が公転ごとにわずかに回転する（歳差運動）。図では歳差角を誇張して描いている。
🔵 カイ: 調整可能なパラメータなしで 43 秒角が出るって、すごい……。でも逆に言えば、もし観測値が 43 秒角じゃなかったら、一般相対論は一発アウトってことですか？
🟡 リナ: まさにそう。追加パラメータがないということは、観測値が外れていたら即座に反証されるということ——プロローグの「反証可能性」の真骨頂ね。これが一般相対論の最初の実験的勝利であり、現在のモデルが「最良の仮説」として扱われる根拠の一つよ。
📖 「一般相対論」編との接続: Schwarzschild 計量の導出は 「一般相対論」編 第 9 章。水星の近日点移動、光の偏向、Shapiro 遅延の摂動計算と数値評価は 「一般相対論」編 第 10 章 で詳細に扱った。
✅ 理解度チェック: 水星の近日点移動の一般相対論予言値 \(\delta\phi = 6\pi GM/[c^2 a(1-e^2)]\) で、「調整可能なパラメータなし」とはどういう意味でしょうか？
答え
\(G\), \(c\), \(M_\odot\), 水星の軌道要素はすべて独立に測定された値で、理論には一つも自由定数がない。もし観測値が予言値から外れたら、一般相対論は即座に反証される。これが反証可能性の核心。
6.5 残された問い — 特異点と量子重力への入り口¶
🟡 リナ: 一般相対論の予言はことごとく確認されてきた——水星の近日点移動、光の偏向（1919 年日食観測）、GPS の時刻補正、そして重力波。重力波というのは、時空そのもののさざ波が光速で伝わる現象——Einstein 方程式の真空解として予言されるもので、巨大質量の加速運動（連星の公転など）で生じる（図 6.6「連星ブラックホール合体の重力波波形（GW150914 の概念図）」）。主な実験的検証をまとめると次の通りよ。
表 6.2: 一般相対論の主な実験的検証
| 検証 | 年代 | 予言値 | 精度 |
|---|---|---|---|
| 水星の近日点移動 | 1915 | 43 秒角/世紀 | パラメータなしで一致 |
| 光の偏向 | 1919 | 1.75 秒角（太陽縁） | VLBI で \(10^{-4}\) 精度 |
| 重力赤方偏移 | 1960 (Pound-Rebka) | \(\Delta f/f = gh/c^2\) | \(10^{-4}\) → \(10^{-14}\)（現代） |
| GPS 時刻補正 | 1990s〜 | 45 \(\mu\)s/日 | 日常技術に組み込み |
| 重力波直接検出 | 2015 (LIGO) | 波形テンプレート一致 | SNR > 24 |
2015 年に LIGO が初めて検出した GW150914 は、連星ブラックホールの合体で生じた波形よ（図 6.6「連星ブラックホール合体の重力波波形（GW150914 の概念図）」）。
図 6.6: 連星ブラックホール合体の重力波波形（GW150914 の概念図）。上: ひずみ \(h(t)\) の時系列——合体直前に振幅と周波数が急増する「チャープ」波形。下: 瞬時周波数 \(f(t)\)——inspiral 段階で \(f \propto (t_{\text{merge}} - t)^{-3/8}\) に従い、合体で \(\sim 250\) Hz まで上昇した後急速に減衰（ringdown）。一般相対論の予言する波形と LIGO の観測波形は数値相対論による数百万テンプレートの比較で精密に一致した。
🔵 カイ: チャープって何ですか？ 名前は聞いたことあるけど……。
🟡 リナ: 合体が近づくにつれて振幅と周波数がどんどん上がっていく波形のこと。鳥のさえずり（chirp）に似ているからそう呼ばれるの。図 6.6「連星ブラックホール合体の重力波波形（GW150914 の概念図）」の下段を見ると、合体前の周波数が急激に上昇していく様子が分かるわ——一般相対論の予言では \(f \propto (t_{\text{merge}} - t)^{-3/8}\) というべき乗則に従うの。この波形テンプレートと LIGO の観測データが精密に一致した——これは Einstein 方程式の最も劇的な検証よ。でも、深刻な問題が一つ残る。
🔵 カイ: 波形が一致するって、どのくらいの精度で一致するんですか？ 少しでもずれてたら一般相対論が間違ってるってことになるんですよね？
🟡 リナ: 数値相対論で計算した数百万のテンプレートと比較して、信号対雑音比 24 以上で一致——つまり「偶然の一致」の確率が無視できるほど小さいの。もしずれていたら、確かに一般相対論の修正が必要になる。でも今のところ、深刻な問題は別のところにある。
🔵 カイ: どんな問題ですか？
🟡 リナ: 特異点よ。
🔵 カイ: 特異点……？ 何かが無限大になるってことですか？
🟡 リナ: そう。Schwarzschild 計量で \(r = 0\) では、座標変換で消せない曲率不変量（Kretschner スカラーと呼ばれる——Riemann テンソルの全成分を 2 乗して足し合わせたもので、座標の取り方によらない「曲がり具合の強さ」を測る量）
が発散する。本物の特異点。Penrose と Hawking の特異点定理（1960 年代）は、非常に一般的な条件のもとで特異点形成が不可避であることを証明した。
🔵 カイ: 一般相対論、自らの破綻を予言しちゃうんですね……。でもそれって、数学的に発散するだけで物理的には何か別のことが起きてる可能性はないんですか？
🟡 リナ: いい疑問ね。実は \(r = r_s\)（事象の地平面）での発散は座標の選び方のせいで、座標変換で消せる——つまり見かけの特異点。でも \(r = 0\) の方は曲率不変量（座標によらない量）が発散するから、座標変換では消せない本物の特異点。そしてその近くでは曲率が Planck スケール \(\ell_P = \sqrt{\hbar G/c^3} \approx 10^{-35}\) m に達し、量子効果が無視できなくなる。つまり、一般相対論と量子力学を統合した量子重力理論が必要になる——これが本「量子重力問題への挑戦」編 Part III（第 10-12 章）で扱う量子重力問題よ。
🔵 カイ: じゃあ、弦理論はこの問題をどう解決するんですか？
🟡 リナ: 核心だけ予告すると、点粒子は大きさゼロだから「一点に無限のエネルギーが集中する」状況を避けられない。でも弦には有限の長さ \(\ell_s \sim 10^{-34}\) m があるから、Planck スケール以下の「点」を探ろうとしても弦の広がりが自然なカットオフになるの。詳しくは Part IV（第 13 章〜）で見ていくわ。
🔵 カイ: カットオフって……つまり「これ以上小さいスケールは見えない」みたいなことですか？ 特異点が消えるのか、それとも見えなくなるだけなのか、気になります。
🟡 リナ: いい問いね。「カットオフ」というのは物理学で「それ以下のスケールでは理論の描像が切り替わる境界」を意味する用語よ。カイの直感は正しくて、弦理論では \(\ell_s\) 以下のスケールで時空の記述そのものが変わるから、「点に潰れる」という状況自体が起きなくなる——特異点が「見えなくなる」のではなく解消されるの。ただし具体的なメカニズムは第 13 章以降で段階的に見ていくわ。
🔵 カイ: なるほど……「見えない」んじゃなくて「起きない」のか。でも待ってください——弦の長さ \(\ell_s\) って Planck 長 \(\ell_P\) と同じくらいなんですよね？ じゃあ弦自身も特異点に巻き込まれたりしないんですか？
🟡 リナ: 鋭い。\(\ell_s\) と \(\ell_P\) は確かに近いオーダーだけど、ポイントは「弦が特異点に落ちる」という描像自体が成り立たないこと。点粒子なら \(r = 0\) という「場所」に到達してしまうけれど、弦は有限の広がりを持つから、\(\ell_s\) 以下のスケールでは「\(r = 0\) という場所」を定義する時空の記述そのものが書き換わるの。たとえるなら、地図の解像度が粗くて「点」を描けないのではなく、地図そのものが別の種類の地図に切り替わる——「巻き込まれる先」がそもそも存在しなくなるの。具体的なメカニズムは第 13 章以降で見ていくわ。
⚪ メイ: 整理すると——点粒子の理論では「大きさゼロの点に無限のエネルギーが集中する」から特異点が避けられない。弦理論では弦の長さ \(\ell_s\) が自然な最小スケールになって、それ以下では「点」という概念自体が消える。だから特異点が「解消される」——見えなくなるのではなく、起きる舞台そのものがなくなるのね。
🟡 リナ: そう、完璧な整理よ。ここまでの章全体の流れもまとめておくと——
⚪ メイ: 等価原理から出発して「重力＝時空の幾何学」に至り、Einstein 方程式で時空の動力学を記述できた。でもその方程式自身が特異点という「自分の破綻」を予言してしまう。だから量子重力が必要で、その候補が弦理論——という道筋ね。
🟡 リナ: 完璧な要約。具体的には：
- 第 10 章：Schwarzschild ブラックホールと事象の地平面
- 第 11 章：ビッグバン宇宙論と初期特異点
- 第 12 章：重力を量子化する素朴な試みの破綻
- 第 13 章：弦を導入して紫外発散を回避するアプローチ
- 第 20 章：D-ブレーンによるブラックホールエントロピーの微視的導出とブラックホール情報パラドックス
科学哲学的な注意: 一般相対論は「法則」ではなくモデル——実験で反証されていない最良の仮説に過ぎない。特異点の出現は、このモデルの適用限界を明確に示している。より良いモデル（量子重力）が必要だという物理からのシグナル。物理学のモデルは常に暫定的であり、より正確なモデルに置き換えられる可能性がある。自分で判断する姿勢を忘れないで。
📖 「一般相対論」編との接続: ブラックホールの詳細は 「一般相対論」編 第 16 章、宇宙論とビッグバンは 「一般相対論」編 第 21 章、量子重力への展望は 「一般相対論」編 第 25 章 を参照。
✅ 理解度チェック: Schwarzschild 計量の \(r = 0\) で何が起きるでしょうか？ これは一般相対論の何を意味するでしょうか？
答え
曲率不変量 \(R_{\mu\nu\rho\sigma}R^{\mu\nu\rho\sigma}\) が発散する「本物の特異点」が現れる。これは一般相対論自身の適用限界を示すサインで、量子重力理論が必要であることを意味する。
次章予告¶
第 7 章「原子はなぜ安定か？ — 量子力学の誕生」 ——古典電磁気学によれば、電子は電磁波を放射しながらエネルギーを失い、一瞬で原子核に落ち込むはずだ。しかし現実の原子は安定に存在している。この致命的な矛盾を解決するために、物理学はまったく新しい枠組み——量子力学——を必要とした。その誕生の物語を追う。「量子力学」編への橋渡しでもある。
練習問題¶
本章の内容に対応する練習問題は 「一般相対論」編 の各章末問題を参照。弦理論の作用との対応については第 13 章の練習問題で扱う。
参考文献¶
- 「一般相対論」編 第 5 章 加速と重力は区別できないのか？ — 等価原理の詳細
- 「一般相対論」編 第 6 章 — 計量テンソルと曲がった時空
- 「一般相対論」編 第 8 章 曲がった時空で『まっすぐ』とは？ — 測地線方程式の変分導出
- 「一般相対論」編 第 9 章 — Schwarzschild 解の導出
- 「一般相対論」編 第 10 章 — 水星の近日点移動・光の偏向・Shapiro 遅延
- 「一般相対論」編 第 13 章 — Riemann 曲率テンソル
- 「一般相対論」編 第 14 章 物質が時空をどう曲げるかを記述する方程式は？ — Einstein-Hilbert 作用からの導出・Einstein と Hilbert の優先権問題
- 「一般相対論」編 第 16 章 — ブラックホールと特異点
- 「一般相対論」編 第 25 章 — 量子重力問題への挑戦
- David Tong, Lectures on General Relativity — 一般相対論の現代的な定式化
- Barton Zwiebach, A First Course in String Theory, Ch.3, 6 — 点粒子の作用から弦の作用への拡張
このページについてフィードバック
分からなかった箇所、誤りの指摘、改善提案などをお寄せください。