從黎曼到勞侖茲：一個符號改變一切
你在黎曼那一級建起的一切——列維-奇維塔聯絡、曲率張量、測地線、雅可比場——幾乎一字不改地移植到廣義相對論。唯一的改變在度量。黎曼度量 g 是正定的：每個非零向量的長度平方皆為正。勞侖茲度量的符差是 (-,+,+,+)：一個負號、三個正號，故 g(v,v) 可為負、可為零、可為正。那一個符號就是全部的物理。向量分成三類——類時（g(v,v) < 0，有質量粒子的世界線）、類光或零（g(v,v) = 0，光子的路徑），以及類空（g(v,v) > 0）——而四維的勞侖茲流形，正是相對論所稱的時空。
在每一點，類時方向構成一個雙錐——光錐——而在整個流形上一致地選定其中一半為「未來」，便是一個時間定向。測地線仍是協變加速度為零的曲線，切向量沿自身的 nabla 等於零，但如今依類型分裂：類時測地線是自由下落的有質量物體，零測地線是光線。測地線所取極值的弧長積分，對類時曲線而言，正是理想時鐘沿其讀出的固有時。而此處直覺必須翻轉：兩事件之間一條自由下落的類時測地線，在「局部上極大化」固有時，恰與黎曼中極小化長度的測地線相反。那個負號翻轉了變分的方向，這正是雙生子「悖論」的幾何核心。
愛因斯坦方程：物質告訴時空如何彎曲
愛因斯坦的構想，剝到只剩幾何，是說重力並非一種力，而是時空的曲率，且物質是它的源。未知量是度量 g 本身；場方程把 g 的曲率連到在場的能量與動量。記 Ric 為里奇曲率、S 為純量曲率，則愛因斯坦場方程讀作 Ric - (1/2) S g = 8 pi T，其中 T 是應力-能量張量，編碼物質的密度與流動。左邊純是幾何，右邊純是物理；方程說兩者相等。惠勒的口號精確無誤：物質告訴時空如何彎曲，彎曲的時空又告訴物質如何運動（沿著測地線）。
Ric - (1/2) S g 這個組合是愛因斯坦張量，它並非隨意的選擇。主叢那一級的第二比安基恆等式逼使這個恰好的組合散度為零，而這正是能量-動量守恆所需（T 的散度必須消失）。所以幾何白送了你守恆律。在真空中 T = 0，對方程取跡可知 S = 0，餘下真空愛因斯坦方程 Ric = 0——正是你在黎曼那一級遇過的愛因斯坦流形條件，如今置於勞侖茲符差下。真空時空就是里奇平坦的勞侖茲流形；史瓦西黑洞與重力波都解 Ric = 0。
測地線聚焦：定理的引擎
本篇最深的單一機制，是你早已從黎曼那一級握有、如今在勞侖茲符差下重讀的：曲率對鄰近測地線的聚焦。回憶一個雅可比場 J 量度一條無窮鄰近的測地線如何漂離一條參考測地線，它服從雅可比方程，J 的二階協變導數加上 R(J, 切向量) 切向量等於零。相關方向上的正曲率使 J 振盪回零——鄰近的測地線重新匯聚。J 再次觸零之處，是一個共軛點：無窮分離、源自同一處的測地線重新聚焦之地，宛如被透鏡帶回一處的光線。
現在把它物理化。追蹤的不是一條鄰近測地線，而是一整束——一個叢——並量度這束橫截體積收縮得多快。那個速率是膨脹率 theta，它服從雷喬杜里方程：theta 對時間的導數等於負（theta 平方除以維數）減去剪切平方減去 Ric(切向量, 切向量)。右邊我們能定號的每一項都是負的，把 theta 往下拽。關鍵的前提落在物質上：強能量條件說對每個類時 v，Ric(v,v) 皆非負——物理上，重力是吸引的、能量密度保持非負。在那單一個曲率條件下，一束初始收斂的測地線會在有限固有時內被聚焦成一點——theta 暴跌至負無窮。重力，從幾何上看，總是把測地線拉向彼此。
Raychaudhuri equation (for a timelike geodesic congruence, expansion theta):
d theta / d tau = - theta^2 / 3 - |shear|^2 - Ric(u, u)
\________________________________________/
every signed term is <= 0
Strong energy condition: Ric(u, u) >= 0 for all timelike u
==> if theta < 0 anywhere (the bundle starts converging),
theta -> -infinity in finite proper time tau
==> a CONJUGATE POINT forms: nearby geodesics refocus.
Lorentzian twist: past a conjugate point a timelike geodesic
no longer MAXIMIZES proper time (Morse index theory).潘羅斯與霍金：把聚焦化為定理
概念的飛躍在此，而它確實是一次飛躍。在黎曼世界裡，一條測地線上的共軛點，只意味該測地線過了那點便不再極小化長度——你在比較那一級見過的莫爾斯指標定理恰恰計數此事。在勞侖茲世界裡，同一個事實說：一條類時測地線過了共軛點便不再「極大化」固有時：附近存在一條（固有時上）更長的、連接這兩事件的類時曲線。潘羅斯（1965）與霍金（1967）的奇異性定理把它反過來跑。設時空是測地完備的——每條測地線都延展至無窮參數，沒有東西會「跑出邊緣」。則在合適的事件之間，必存在一條最長的類時測地線，且不含共軛點。但聚焦逼出一個共軛點。矛盾。因此時空「不」是測地完備的。
仔細讀這個結論，因為它微妙、且常被誤述。測地不完備意味某個自由下落的觀者的世界線無法延展——它就在有限固有時後乾脆結束，無處可去。「那」才是「奇點」在這些定理中嚴格的意思：未必是曲率炸至無窮的一點，未必是你能在地圖上標出的一個刺孔，而是一條不完備的測地線，一條從存在的邊緣跌落的路徑。這些定理證明奇點必存在；它們對其本性卻幾乎一言不發。潘羅斯的版本適用於重力塌縮，預言黑洞內部的奇點；霍金的版本，跑在時間反演的膨脹宇宙上，預言大霹靂是一個過去的奇點。同一台聚焦引擎，兩個宇宙級的結論。
質量的正性，與誠實的界限
再一座地標收束了這幅幾何圖景，並把本級綰結起來。一個孤立的引力系統——一顆星、一個星系，從遠處看——坐落在一個於無窮遠處看似平坦的時空中，而人們可從度量趨近平坦的快慢，讀出單一個數，ADM 質量。正質量定理（孝恩-丘 1979，繼而維騰 1981）說：若物質服從一個非負的能量條件（主導能量條件），則 ADM 質量非負，且僅對平坦的閔可夫斯基空間為零。從幾何上看，它是關於一個黎曼三維流形——時空的一個「時間片」——的陳述，該流形的純量曲率非負；定理說這樣一個漸近平坦的片，不可能有負的總質量。重力，妥當地設定後，從不秤得比無還輕。
兩個證明是這整級的一個美麗縮影。孝恩與丘透過極小曲面與純量曲率的幾何來論證——正是本卷所建的同一套極小曲面機制。維騰的證明，令人驚異地，用上了狄拉克算子與一條魏岑伯克公式，徑直取自本級的第二篇狄拉克算子：質量的正性，從調和旋量的一個分部積分恆等式中落出，恰是第三篇驅動塞伯格-維騰理論的同一手法。本級的弧線——里奇流、指標理論、規範理論、相對論——並非四門各別的學科，而是一圈相同的構想，曲率主宰整體幾何，從四扇窗看出去。
把誠實的界限攥住。其一，「綜覽，非證明」：我們陳述了奇異性定理與正質量定理、為其引擎提供了動機，但每個貨真價實的證明，都是一章艱難的整體勞侖茲因果理論，或艱難的橢圓分析——是一門課，而非一段話。其二，奇異性定理預言的是不完備，「並非」曲率的爆發；物理奇點是否總藏在視界之後，正是至今敞開的宇宙審查猜想，相對論最深的未解難題之一。其三，能量條件是物理假設，而非定理：量子場能違反它們，這恰是蟲洞與加速膨脹宇宙所利用的漏洞。幾何是嚴格的；物理的輸入則是你必須讓其可見的、誠實的前提。第五篇以鏡像對稱與卡拉比-丘收尾本級，那裡幾何與弦論相遇，而開放問題成倍增生。