從三個模型曲面到三維的問題
第一篇搭好了通用裝置：一個 (G,X) 結構替流形披上一種剛性的模型幾何，即一個齊性空間 X 連同其運動群 G 所成的對 (G, X)，並透過完整性表示記下它整體的扭曲。接下來自然的問題問起來殘酷地簡單，答起來卻驚人地難：在固定的維數裡，究竟有「哪些」模型幾何 (G, X)？你不能任意容許每個你喜歡的 (G, X)，否則問題就空洞了；你必須要求 X 是其同類中最對稱、最有效率的模型。你已知的二維答案立下了範本，就從那裡開始。
對閉曲面，答案就是單值化定理，那條深刻的古典事實——每個閉的可定向曲面都帶有一個常曲率度量，而它能被建模於恰好三個模型世界之一：圓球面 S^2（曲率 K = +1，球面）、平坦平面 R^2（K = 0，歐氏）、與雙曲平面 H^2（K = -1，雙曲）。尤拉示性數 chi 決定了是哪一個：chi > 0 逼出球面（只有 S^2 與 RP^2）、chi = 0 逼出平坦（環面與克萊因瓶）、而 chi < 0——每個虧格 g >= 2 的曲面——則逼出雙曲。於是三種幾何分割了所有曲面，而「大多數」曲面（每個更高虧格）都是雙曲的。記住這個模式：一張短的有限清單，其中負曲率的情形佔主導。
極大性：讓清單有限的那條規則
在點名這八種之前，先精確釘住什麼才算瑟斯頓幾何，因為正是這精確定義讓清單有限——沒有它，你能造出無窮多種。一個模型幾何是一對 (G, X)，其中 X 是連通、單連通的光滑流形，而 G 是可遞移地作用在 X 上、且點穩定子緊緻的群；等價地，X 是一個齊性空間 G/H，其中 H 緊緻並帶有一個 G 不變的黎曼度量。點穩定子緊緻是那條承重的子句：它恰恰保證了不變度量的存在（把任一度量在緊緻的 H 上取平均），於是「幾何」真的意指「帶有大量對稱的黎曼幾何」，而非某種更弱的結構。
那個決定性的額外要求是極大性：我們要求 G 盡可能大——不能存在另一個更大的群 G' 以緊緻穩定子作用在「同一個」X 上。這單獨一條子句做了所有的修剪。取平坦三維空間 R^3：作為一個赤裸的齊性空間，你能給它配上 Nil 或 Sol 幾何那較小的對稱群，但那些群都坐落於完整的歐氏群之內，所以只有極大的那個——歐氏 E^3——才算 R^3 上的瑟斯頓幾何。極大性也逼出一個有限性的約定：一種幾何只有在它容許至少一個緊緻商時才在清單上佔有一席，從而排除了任何閉三維流形都無法建模的對稱空間。
八種幾何，一一點名
現在來會齊這八種，即瑟斯頓幾何。其中三種是你類比曲面就猜得到的常曲率模型：球面 S^3（曲率 +1）、歐氏 E^3（曲率 0）、與雙曲 H^3（曲率 -1）。兩種是低維碎片的如假包換的乘積：S^2 x R（球面乘一條直線）與 H^2 x R（雙曲平面乘一條直線）——這是頭兩種沒有單一曲率的幾何，因為切於 S^2 或 H^2 因子的平面切片是彎的，而含 R 方向的那種卻是平的。最後三種才是真正新奇的怪獸，是任何曲面類比都預測不到的扭曲叢。
那三種奇異幾何是披著左不變度量的李群——這恰恰是第二冊稍早那套齊性空間與李群機器派上用場之處。Nil 是海森堡群，即對角線為 1 的 3x3 上三角矩陣；它是平坦平面上的一個非平凡線叢，是某個離散海森堡格的幾何。Sol 是這八種裡對稱性最低的幾何，一個可解群，其中兩個方向以指數方式伸張與收縮——它是那些單值對應為阿諾索夫映射的環面叢的模型。而 SL~(2,R)，即 H^2 單位切叢群的萬有覆蓋，是雙曲平面上的一個扭曲線叢。最後這三種都是單位切叢或線叢，而它們的扭曲「就是」其幾何。
GEOMETRY MODEL X curvature / type typical 3-manifold ---------------------------------------------------------------------------- 1 S^3 3-sphere K = +1 (isotropic) finite pi_1 (lens, etc.) 2 E^3 R^3 K = 0 (isotropic) flat: 6 closed types 3 H^3 hyp 3-space K = -1 (isotropic) GENERIC: most 3-mfds 4 S^2 x R sphere x line product, mixed sign S^2-bundle, S^2 x S^1 5 H^2 x R hyp.plane x line product, mixed sign circle bdl over hyp surf 6 SL~(2,R) univ. cover twisted line bundle unit-tangent-bdl type 7 Nil Heisenberg grp nilpotent, K <= 0 nontriv. circle bdl, chi=0 8 Sol solvable group anisotropic, K <= 0 torus bundle, Anosov mono 3 isotropic (S^3,E^3,H^3) + 2 products + 3 Lie-group bundles = EIGHT
幾何化：把三維流形切成幾何碎片
殘酷的真相是：幾乎沒有閉三維流形披著單一種幾何——不像曲面，那裡單值化每個曲面給一種幾何，一個典型的三維流形是個雜種。幾何化猜想，瑟斯頓 1982 年的宏大願景、如今已成定理，說你總能把它切成「確實是」幾何的碎片。這切割分兩個典範階段進行，而兩者都純粹是拓樸的——尚無幾何。首先是素分解（克內瑟-米爾諾）：每個閉的可定向三維流形都是素碎片的連通和 M = P_1 # P_2 # ... # P_k，至多差順序而唯一，其中「素」意指它本身不是一個非平凡的連通和。切一個連通和意味著沿著本質的二維球面切割。
其次是 JSJ 分解（雅各-沙倫-約翰森）：每個素碎片內部存在一個典範、極小、互不相交的不可壓縮二維環面集合，至多差同痕而唯一，沿著它們切割便把素碎片裂成各自要嘛賽弗特纖維化、要嘛無環面（不容許更多本質環面）的塊。幾何化於是宣告其報酬：經過這兩刀之後，每個生成的塊都帶著八種幾何之一，作為一個完備有限體積的結構。賽弗特纖維化的塊使用那六種帶圓叢或乘積風味的幾何（E^3、S^3、S^2 x R、H^2 x R、Nil、SL~(2,R)）；無環面的塊是雙曲的 H^3；而 Sol 則為那些特殊的環面叢登場。整個三維流形於是由八種幾何磚塊重新組裝起來。
為何這把第三篇的雙曲三維流形尊為本主題的核心？因為無環面的碎片——那些典型的、在你剝除所有球面與環面後剩下的塊——恰恰就是雙曲的那些，而依第三篇即將到來的莫斯托剛性，它們的幾何被其拓樸唯一地逼定。那六種「小」幾何描述了結構剛硬、人們理解透徹的碎片（賽弗特纖維化、環面叢）；三維流形那有趣的拓樸複雜度，則完全集中在雙曲部分。幾何化所陳述的，正是複雜度別無他處可藏。
它是如何被證的：帶手術的里奇流，誠實版
瑟斯頓提出了幾何化猜想，並親手證明了大宗情形（哈肯流形），但完整的猜想由格里戈里·裴瑞爾曼在 2002-2003 年用漢密爾頓的里奇流解決。其想法物理得令人無法抗拒：把 M 上的一個黎曼度量 g 當作一種類熱的量，讓它依方程 d/dt g = -2 Ric(g) 演化，令度量擴散使曲率平滑開來。流形太彎的地方會收縮，太鬆垮的地方會膨脹；那個在曲面上已獲驗證的盼望是：度量會朝一個常曲率的度量流去。里奇流，寬鬆地說，就是幾何本身的一個非線性熱方程。
但在三維裡，這流並不會就這麼永遠跑下去然後安頓——它會崩潰。某些區域能在有限時間內掐斷，形成一個頸縮奇點，那裡一條細頸收縮成一點，像一根香腸被從中間勒住。這不是缺陷；它恰恰是拓樸分解的方式。裴瑞爾曼深刻的技術成就，是把這些奇點完全弄懂（他的熵與不局部塌縮論證），然後施行帶手術的里奇流：當一條頸掐斷時，你在頸處把流形切開，用光滑的帽蓋封住兩個新生的邊界球面，再在生成的碎片上重啟流。如此反覆迭代，流的奇點自己便執行了恰恰是素分解與 JSJ 的切割，而倖存的碎片收斂到那八種幾何結構。
- 在閉三維流形 M 上任取一個黎曼度量 g，依里奇流 d/dt g = -2 Ric(g) 演化它，這像熱一樣把曲率擴散開。
- 跑到一個奇點將要發生時為止；用裴瑞爾曼的熵與不局部塌縮估計把它分類——在三維裡，模型奇點是一條收縮中的 S^2 x R 頸上的頸縮。
- 施行手術：沿著細頸切開，用標準的光滑帽蓋封住每個新生的邊界球面，並丟棄任何消失的小碎片（這些是素分解中的 S^3 連和項）。
- 在動過手術的碎片上重啟流並重複；在任何存活到長時間的區域上，重新縮放後的度量收斂到八種瑟斯頓幾何之一——幾何化，便從這極限讀出。
抵抗炒作，並守住三則誠實的告誡。其一，本篇「陳述」並闡明這項結果；真正的證明是一門長達一年的研究所課程、以及數百頁艱深的偏微分方程與比較幾何——切莫把口號誤認作論證。其二，里奇流並沒有「解決拓樸」；它解決的是幾何化（以及作為特例的龐加萊猜想，那裡每個素碎片都是 S^3），一個關於切割三維流形的精確陳述，僅此而已。其三，幾何化鮮明地是一條三維的定理：在四維裡並不存在類似的有限幾何清單，而光滑四維龐加萊猜想至今仍著名地懸而未決。這勝利是真實的、也是有界的——按它本來的樣子去慶賀，而非為一場它未曾贏得的勝利。