以 (G,X) 之道建造一個雙曲三維流形
第二篇告訴你，雙曲三維空間 H^3 是一般情形的瑟斯頓幾何——幾乎每一個閉三維流形的無環面塊都披著它。現在我們把八種幾何中恰好一種掀開引擎蓋，看看 H^3 流形究竟是怎麼組裝出來的。取第一篇的模型對 (G, X)，其中 X = H^3，即雙曲三維空間，而 G = 它的完整等距群。一個雙曲三維流形便是這一類的完備 (G,X) 流形：一個處處局部披著 H^3、且其完整性表示格外乖巧的流形 M。
當這樣的結構是完備的——回想第一篇，這意味著發展映射是到 H^3 上的微分同胚——整個流形便不外乎一個商。具體地說，M = H^3 / Gamma，其中 Gamma 是完整性的像：H^3 等距群的一個子群，它是離散的（其元素不聚積）且無撓的（除單位元外無有限階元素，故它自由作用、無不動點）。離散性使這個商成為一個流形，而非揉皺成一團；無撓性則保持它光滑。於是雙曲三維流形的全部研究，化為對這類群 Gamma 的研究——這是愛爾蘭根綱領精神的一個深刻實例，其中幾何被編碼於一個群中。
這裡有一幅上半空間圖像，它讓 G 變得具體、且值得貫穿整篇導覽。把 H^3 模型化為所有點 (z, t)，其中 z 是複數而 t > 0，配上雙曲度量 ds^2 = (|dz|^2 + dt^2) / t^2。則保定向的等距變換恰恰就是 PSL(2,C) 的作用——行列式為 1 的二乘二複矩陣（差一個正負號）——它延拓了邊界平面上的莫比烏斯變換。於是 PSL(2,C) 的一個離散無撓子群 Gamma，與一個定向雙曲三維流形是同一份資料。M 的基本群恰是 Gamma，而流形的幾何，可直接從這些矩陣讀出。
馬古利斯引理：厚部與薄部
在談剛性之前，你得理解一個雙曲三維流形的形狀，而有一條結構性結果統御著一切：馬古利斯引理。粗略地說，它表明：凡雙曲流形在局部上薄的地方——凡有短迴圈之處——其幾何便受到嚴厲的約束：那些短迴圈必須幾乎對易，故它們生成一個幾乎可交換的群，而那薄區域只能呈現一份極小菜單上的某種標準形狀。有一個普適常數，即馬古利斯常數 epsilon(n)，僅依賴於維度，它劃出了「薄」與「厚」之間的界線。
這便交給你厚薄分解，即每一個有限體積雙曲三維流形的實用解剖學。固定一個小於馬古利斯常數的 epsilon。薄部是那些「最短的不可縮迴圈短於 epsilon」的點所成的集合；厚部則是其餘的一切。薄部並非任意——它是僅僅兩類碎片的不交併：管子，即環繞短閉測地線的實心環面鄰域，以及尖點，即我們方才遇見的那些張口的環面乘半直線端。與此同時，厚部是緊緻的，其直徑與體積純粹以維度與 epsilon 為界。
莫斯托-普拉薩剛性：拓樸決定幾何
現在來看頭條，而鑑於第一篇，它應當真的令你吃驚。在那裡你看到，單一個環面承載著一整族連續變化、彼此不同的平坦 (G,X) 結構——換掉格、換掉結構，你便得到那些形變，對曲面而言它們成為泰希米勒空間。你或許以為三維裡也有同樣的柔軟。那你就大錯特錯了。莫斯托剛性（其有限體積尖點情形由普拉薩推廣）說：若 M_1 與 M_2 是維度 n >= 3、基本群同構的有限體積雙曲流形，則它們是等距的——而且這個等距還由那個誘導出同構的映射實現（與之同倫）。
dimension 2 (surfaces): pi_1 isomorphic =/=> isometric
--> a whole moduli of structures (Teichmuller)
dimension n >= 3 (Mostow): pi_1 isomorphic ==> ISOMETRIC
--> the structure is UNIQUE; no deformations
consequence: M hyperbolic, finite volume, n >= 3
==> hyperbolic volume vol(M), shortest geodesic length,
the whole length spectrum ... are TOPOLOGICAL invariants請慢慢讀那個結論，因為它是整個課題的引擎。一個雙曲三維流形的同倫型——甚至僅僅是基本群——完全決定了它的幾何。沒有可旋的連續旋鈕、沒有模、沒有形變：一個給定的拓樸三維流形，要嘛不容許任何雙曲結構，要嘛恰好容許一個。其回報立竿見影且令人驚異：任何你能測量的幾何量——雙曲體積、最短閉測地線的長度、全部測地線長度的集合、對稱群——如今都成為拓樸不變量，可僅從拓樸算出、並僅受拓樸約束。尤其雙曲體積，遂成為低維拓樸中最強大的不變量之一。
為何它成立：剛性源自邊界
你不該對如此強的定理照單全收，所以這裡是證明的誠實骨架——一份綜述，而非完整論證，那是一門嚴肅的課程。整套策略是把同構推向無窮遠。一個同構 pi_1(M_1) -> pi_1(M_2) 提升為兩個萬有覆疊之間的映射，而兩者皆是 H^3。那個提升一般是個粗糙、扭曲的映射——但它是一個擬等距：它把距離保持到一個有界的「乘性加加性」誤差之內。關於負曲率空間的關鍵事實是：H^3 的一個擬等距，無論在內部多麼醜陋，都延拓為無窮遠球面（即 H^3 的邊界二維球面）上一個貨真價實、良好定義的映射。
在那個邊界二維球面上，這映射原來是一個擬共形映射——它對角度的扭曲僅在有界範圍內。（這是你初嚐第五篇將完整建立的擬共形機器；在此我們只需要它的妙處結論。）那個深刻的分析步驟，歸功於莫斯托，是一個遍歷性論證：Gamma 在邊界上的作用是如此混沌地混合，以致一個與它對易的擬共形映射，在幾乎處處連無窮小的扭曲都負擔不起。扭曲被迫消失，於是邊界映射恰恰是共形的——一個貨真價實的莫比烏斯變換。無窮遠球面上的一個共形映射延拓為 H^3 的一個等距，而那等距下降為我們想要的等距 M_1 -> M_2。扭曲在邊界上被擠壓至零；剛性便落在內部。
- 從基本群的一個同構 pi_1(M_1) -> pi_1(M_2) 出發（唯一的輸入——純粹是拓樸的）。
- 把它提升為萬有覆疊之間的一個擬等距 H^3 -> H^3；在負曲率中，這由群同構自動而來。
- 把擬等距延拓到邊界二維球面；在邊界上它是一個只在有界範圍內扭曲角度的擬共形映射。
- 施行莫斯托的遍歷性論證：混沌的邊界作用迫使擬共形扭曲幾乎處處消失，故邊界映射是共形的。
- 一個共形的邊界映射延拓為 H^3 的一個等距，它下降為所求的等距 M_1 -> M_2——兩個結構遂吻合。
關於前提的兩則誠實提醒——因為一旦你丟掉某個條件，「拓樸決定幾何」這口號便承諾過了頭。第一，維度必須至少為 3：對曲面，此論證完全失效，因為 H^2 在無窮遠處有一個圓，而圓的擬共形映射遠遠太過柔軟——那份柔軟正是泰希米勒空間，第四篇談曲面絕非偶然。第二，有限體積是必要的：無限體積的雙曲三維流形（想想一個無限的把手體）能自由形變，並不剛性；它們的形變理論本身就是一門豐富的課題。要陳述前提，永遠別只說口號。
剛性買到了什麼，以及本級的轉向
實際的結果是一部拓樸與幾何之間的字典，這在更低維裡根本沒有對應物。因為雙曲體積是拓樸不變量，所有三維流形雙曲體積的集合便成為一個有意義的對象——瑟斯頓與約根森證明它是實數的一個良序子集，而八字結補集實現了其中最小的體積之一。莫斯托剛性也正是讓電腦程式（著名的 SnapPea / SnapPy）能從一個三角剖分辨識出一個雙曲三維流形的依據：既然幾何唯一，算它一次再比對不變量便是正當的分類策略——這正是第二篇所警告、單憑幾何化並不交給你的那種結構性辨識。
不過要抗拒一種誘人的過度解讀。剛性並不是說雙曲三維流形枯燥乏味或彼此雷同——恰恰相反。它是說每一個都是一塊鋒利、獨特的晶體：任兩個相異者都無法被形變成彼此，故這片風景是一座由徹底剛硬的標本構成的浩瀚離散博物館，而非一個連續族。它也不是說在實務上辨識它們很容易；即便已知幾何唯一，判定兩個三角剖分是否給出同一個流形，在計算上依然困難。剛性給你的是一枚良好定義的指紋，而非一枚快速的指紋。
於是我們在本級的大樞紐處收尾。剛性是三維及以上的現象；它完全倚賴於 H^2 在無窮遠處有一個圓而太鬆軟，而 H^3 有一個球面恰好剛硬到足夠。把這個觀察翻轉過來，你便得到接下來兩篇：正因曲面不剛性，它們的雙曲結構構成一個豐富的連續空間。第四篇建構那個空間——泰希米勒空間——連同作用於其上的映射類群，而第五篇則把你方才瞥見的擬共形映射發展為完整的分析引擎，以及模空間的魏爾-彼得森幾何。三維的剛性與二維的柔性是同一枚硬幣的兩面；你如今已近距離看過了那剛硬的一面。