從共形到擬共形：給形變設界
第四篇把泰希米勒空間 T(S) 介紹為曲面 S 上帶標記複結構的空間，我們說當一個曲面能被一個幾乎不扭曲角度的映射形變成另一個時，這兩點便相近。現在該把「幾乎不扭曲」說精確了。關鍵物件是擬共形映射。一個全純（共形）映射把無窮小的圓送到無窮小的圓——它精確地保持角度。擬共形映射放寬了這點：它把無窮小的圓送到無窮小的橢圓，但這些橢圓的離心率在整個曲面上一致有界。這個界就是衡量映射離共形有多遠的量化尺度。
把平面上的映射 f 寫成實座標形式，並作出它的兩個維爾廷格導數：全純導數 f_z = (f_x - i f_y)/2 與反全純導數 f_zbar = (f_x + i f_y)/2。映射恰在 f_zbar = 0 時為共形（那其實就是喬裝過的柯西-黎曼方程）。記錄共形性失敗的那個單一複函數就是貝爾特拉米係數 mu = f_zbar / f_z。它在一點 p 的模 |mu(p)| 衡量局部的拉伸：像橢圓的軸比為 K(p) = (1 + |mu(p)|) / (1 - |mu(p)|)，稱為伸縮率，而它的輻角記錄最大拉伸的方向。當 |mu| 處處至多為 (K-1)/(K+1)（即伸縮率永不超過某固定 K）時，映射為 K-擬共形。
conformal: f_zbar = 0 circles -> circles (K = 1) quasiconformal: |f_zbar| <= k |f_z| circles -> ellipses (K = (1+k)/(1-k)) Beltrami coefficient: mu = f_zbar / f_z , |mu| < 1 dilatation at p: K(p) = (1 + |mu(p)|) / (1 - |mu(p)|) ellipse axis ratio = K(p) , major axis along arg(mu)/2 direction
可測黎曼映射定理：解出曲面
這裡是讓整部機器運轉的定理。古典的黎曼映射定理說：每個單連通的真子域都共形於一個圓盤。可測黎曼映射定理（莫雷、阿爾福斯-貝爾斯）是那令人震驚的升級：給定平面上任意一個 L-無窮範數嚴格小於 1 的可測貝爾特拉米係數 mu，便存在一個擬共形同胚 f，其複伸縮率恰為該 mu——且 f 在後合成一個共形映射的意義下唯一。用符號說，貝爾特拉米方程 f_zbar = mu f_z 對任意有界可測的右端項都恆可解。
何以這是泰希米勒理論的心臟：曲面上的一個複結構，在局部上，就是一份規定「哪些無窮小橢圓算作圓」的配方。一個貝爾特拉米係數 mu 恰恰就是這樣一份配方——一個無窮小橢圓的可測場（嚴格說是一個 (-1,1)-形式，mu 乘以 dzbar/dz，在適當的變換下不變）。所以固定參考曲面 X_0 上的一個有界貝爾特拉米係數,就是其複結構的一個形變，而可測黎曼映射定理把實際形變出的黎曼曲面 X_mu，連同實現它的擬共形映射 X_0 -> X_mu，一併還給你。貝爾特拉米係數的空間，模去由標記與共形改變而來的等價關係，就是泰希米勒空間。這正是何以 T(S) 是一個流形而非僅僅一個集合：它承繼了貝爾特拉米微分空間的線性結構。
泰希米勒距離立刻優美地落了出來。把兩個帶標記曲面之間的距離，定義為它們之間任何處於正確同倫類的擬共形映射所能達到的最小伸縮率 K 的 (1/2) log。泰希米勒定理隨即說：極小者恆存在且本質唯一：最佳映射有常值的 |mu| = k，且其貝爾特拉米係數形如 mu = k (qbar / |q|)，其中 q 是曲面上的一個全純二次微分。這些極值映射沿 q 的水平軌跡以一個因子拉伸、沿垂直方向以其倒數壓縮——在 q 的自然座標中的仿射拉伸。那單一圖像，在二次微分的座標中讀出的一個仿射拉伸，就是泰希米勒度量的幾何內容。
從泰希米勒空間到模空間：對映射類群取商
回想第四篇：映射類群 Mod(S)——保定向微分同胚模去同痕——透過改變標記而作用於 T(S)。泰希米勒空間之所以存在，老實的理由是為了把模空間展開：忘掉標記，商 M(S) = T(S) / Mod(S) 就是曲線模空間，即虧格 g 的黎曼曲面在雙全純等價下、不記得任何標記的空間。泰希米勒空間是那個類似萬有覆蓋的物件，是一個光滑流形（事實上是一個胞腔，同胚於 R^(6g-6)），而其下方的模空間是一個軌形，恰在那些具有額外對稱的曲面處帶有錐狀奇點。
第四篇給了你這一切的整體座標：芬切爾-尼爾森座標。沿著 3g-3 條互不相交的簡單閉曲線（一個褲子分解）切開一個虧格 g 的曲面，便把它切成 2g-2 條褲子，每條都是由其三個邊界長度決定的雙曲曲面。那 3g-3 個長度參數 l_i，連同記錄重黏每個袖口前旋轉多少的 3g-3 個扭轉參數 tau_i，給出 6g-6 個實座標——恰是 T(S) 的維數。映射類群以一種受控、雖然複雜的方式作用於這些座標：繞第 i 條曲線的一個德恩扭轉把 tau_i 平移 l_i。過渡到模空間意味著一次對所有這些動作取商，這正是何以 M(S) 遠比其上方光滑的 T(S) 更為微妙。
魏爾-彼得森度量：模空間上的凱勒幾何
第二節的泰希米勒度量確實自然，但解析上苛刻——它只是一個芬斯勒度量（其單位球不是橢球），所以你無法用它做黎曼微積分。魏爾-彼得森度量是那個光滑的黎曼替代品，它出自一個老實的念頭：泰希米勒空間在曲面 X 處的切空間，是 X 上調和貝爾特拉米微分的空間，而一個貝爾特拉米微分與一個全純二次微分配對。給餘切空間（二次微分 q）配上 L^2 內積——把 q 乘以 qbar 對著 X 的雙曲面積形式積分——再對偶。那個二次微分的 L^2 配對就是魏爾-彼得森度量。
三個了不起的事實隨之而來，每一個都對得起它的位置。第一，魏爾-彼得森度量是凱勒的——它的伴隨 2-形式是閉的——這可不是小事，因為它意味著複幾何那條軌道的全部凱勒機器都派得上用場：霍奇理論、曲率與複結構的關係，一應俱全。第二，在芬切爾-尼爾森座標下，沃爾珀特的公式賦予凱勒形式一個驚人乾淨的樣貌：omega_WP = (1/2) 對 i 求和 d l_i wedge d tau_i。長度與扭轉座標就是辛形式的達布座標，故模空間是一個帶有完全顯式辛結構的辛流形。
第三，也是對幾何最具後果的：魏爾-彼得森度量有負截面曲率，但它不完備。不完備是幾何性的，而非缺陷——缺失的點恰恰是某條曲線被掐縮到零長度（l_i -> 0）的有節點曲面，正是模空間沿之獲得德利涅-曼福德緊化的那道邊界。所以一條魏爾-彼得森測地線能藉掐縮一條曲線在有限時間內跑出空間。這負曲率並非一致地離零有界，故你不能直接從比較那一級搬出卡坦-阿達瑪；但負曲率哲學保留了夠多，使得帶 WP 度量的泰希米勒空間表現得像一個（奇異、不完備的）非正曲率空間，多數成對的點之間有唯一的測地線。
為何模空間居於核心：剛性、動力學與物理
退一步看看本級建造了什麼。第一與第二篇透過發展映射與完整性把剛性的 (G,X)-幾何安放到流形上；第三篇用莫斯托剛性證明在三維及以上維度，雙曲結構是唯一的，故根本沒有模空間——幾何是剛性的。二維情形是那個輝煌的例外：一個虧格 g 的曲面有一個 (6g-6) 維的雙曲結構模空間，而擬共形映射恰恰就是二維所允許、三維所禁止的那份柔性。莫斯托剛性，這樣看來，恰是這樣的陳述：在二維填滿泰希米勒空間的擬共形形變，在三維坍縮成一點。
映射類群作用於泰希米勒空間給出一個豐富的動力學故事（瑟斯頓把曲面微分同胚分類為週期型、可約型與偽阿諾索夫型，是尼爾森-瑟斯頓理論的曲面類比），而模空間上的魏爾-彼得森測地流是一個著名的非一致雙曲、遍歷流的例子。沃爾珀特的辛公式 omega_WP = (1/2) 求和 d l_i wedge d tau_i 是通往模空間辛幾何的門戶，而米爾札哈尼那獲菲爾茲獎的工作，正是用這個結構，透過對長度-扭轉座標的優雅積分，算出了模空間的魏爾-彼得森體積。
其觸角更遠遠伸出純幾何之外。在弦論中，曲線模空間是世界面的空間，而魏爾-彼得森形式（連同其曼福德類修正）支配著為計算弦振幅而積分的測度——同一個空間、同一個凱勒形式，出現在物理裡。單值化定理為這一切擔保，它確保模空間的每一點都是一個如假包換的雙曲曲面，故雙曲的長度-扭轉圖像從來不只是個模型。但要抗拒炒作：這些聯繫深刻而真實，但每一個——米爾札哈尼的體積、瑟斯頓動力學、弦振幅——都是一個研究計畫，在此巡覽、在別處證明。你該帶走的是這套架構：擬共形映射衡量形變，可測黎曼映射定理實現它，而魏爾-彼得森度量讓所得的模空間成為一個你真能在其上做黎曼與辛幾何的彎曲幾何物件。