為何一個曲面承載著許多種幾何
到此為止，本級前面幾篇已訓練出一個反射：流形上的一種幾何就是一個 (G,X)-結構，由展開映射封裝，並透過 pi_1 進入對稱群 G 的完整性表示讀出。第 3 篇接著經由莫斯托剛性，在三維交給你一個乾淨的二分法：當 n 至少為 3 時，一個閉雙曲 n 維流形所帶的雙曲結構在等距同構意義下唯一，故其完整性是剛硬的。本篇的頭條是：正是在二維，那份剛性失效了，而這失效不是缺陷，而是一個豐富的、值得研究的新空間。一個虧格 g 至少為 2 的閉可定向曲面，容許一整族連續變化、彼此不等價的雙曲結構，而把這個連續族組織起來，正是整門學問。
為何維度的影響如此鋒利？單值化定理告訴你，每個虧格至少為 2 的黎曼曲面都是雙曲平面對 PSL(2, R) 的某個離散無撓子群 Gamma 的商 H^2 / Gamma，故其萬有覆疊剛硬地就是 H^2。自由度並不住在模型空間 X = H^2 裡；它住在完整性中。你可以形變那離散群 Gamma——把曲面的一處拉長、把另一處縮短、沿著某條曲線扭轉——只要形變後的群仍保持離散且無撓，你就在同一個底層拓撲曲面上得到一個真正不同的雙曲度量。莫斯托剛性說在三維沒有這種餘地，因為 PSL(2, C) 太剛硬了；而在二維，這份餘地恰恰就是我們要去丈量的東西。
泰希米勒空間究竟是什麼
這裡把定義仔細做一遍，因為仔細的版本才使這個空間表現良好。固定拓撲曲面 S。一個標記雙曲結構是一對 (X, f)，其中 X 是雙曲曲面，f: S -> X 是微分同胚——映射 f 就是標記，一個選定的等同，告訴你 X 的哪條圈對應到 S 的哪條圈。兩對 (X_1, f_1) 與 (X_2, f_2) 被宣告為等價，當存在等距 h: X_1 -> X_2 使得 h 與 f_1 的複合同倫於 f_2。泰希米勒空間 Teich(S) 就是這些等價類所成的集合。標記正是全部的訣竅：它記住了標籤，所以一個把圈打亂的德恩扭轉，會產生一個真正不同的點，即便底層未標記的曲面彼此等距。
同一個空間還有第二張、等價的面孔，它直接連回完整性，值得同時握住這兩幅圖像。經由單值化，一個標記雙曲結構，與一個離散忠實表示 rho: pi_1(S) -> PSL(2, R)（在共軛意義下）是同一份資料。所以 Teich(S) 坐落在表示簇 Hom(pi_1(S), PSL(2, R)) / 共軛 之中，作為離散忠實表示的那個連通分支——這就是 Fricke 描述。它正是第 1 篇中完整性的形變空間，如今作為一個自身有資格的空間來研究，而非單一一個點。標記度量與離散忠實表示這兩幅圖像，是透過幾何與透過代數所見的同一個泰希米勒空間。
數出維度：芬切爾-尼爾森座標
「Teich(S) 是一個連續族」最乾淨的證明，以及它上頭最乾淨的一組座標，二者都來自把曲面切成簡單的零件。在 S 上選一組極大的、彼此不交的簡單閉曲線，把它切成一些褲子——三孔球面。一個虧格 g 的曲面分解成 2g - 2 件褲子，沿著 3g - 3 條曲線相接。驅動這一切的奇蹟在於：一件雙曲褲子由它三條邊界測地線的長度剛硬地決定——挑三個正數，就恰好有一件以這些袖口長度為界的雙曲褲子，再無多餘的自由度。所以 S 上的一個雙曲結構，是這樣造出來的：為那 3g - 3 條切割曲線各選一個長度，再把褲子黏回去。
但黏合自有其自由度：當你沿一段固定長度的袖口把兩件褲子重新接上時，可以在黏合前讓一側相對另一側旋轉，而不同的旋轉量會給出不等距的標記曲面。那個旋轉就是扭轉參數，每條黏合曲線配一個實數。把每條曲線的長度與其扭轉配成對，便得到芬切爾-尼爾森座標：3g - 3 個取值於正實數的長度參數，以及 3g - 3 個取遍整個 R 的扭轉參數。它們是整體座標，是到其值域上的一個同胚。數一數它們，便一勞永逸地定下了維度。
surface S, genus g >= 2:
pants decomposition: 2g - 2 pairs of pants, 3g - 3 cutting curves
each gluing curve --> ( length L_i > 0 , twist tau_i in R )
Fenchel-Nielsen: ( L_1,...,L_{3g-3} , tau_1,...,tau_{3g-3} )
Teich(S) ~= (R_{>0})^{3g-3} x R^{3g-3} ~= R^{6g-6}
dim Teich(S) = 6g - 6 (g = 2: dimension 6)有兩個後果值得停下來細想。其一，Teich(S) 同胚於 R^{6g-6}——它是一個胞腔，可縮，沒有洞也沒有邊界，正是這點使它成為如此友善的參數空間，儘管它編目了無窮多種幾何。對一個虧格 2 的曲面而言，這已經是單一一個固定曲面上、六個實維度的雙曲結構了。其二，褲子分解的選取是任意的；不同的切割系統給出不同卻同樣有效的整體座標，而兩套系統之間的座標變換是一個著實錯綜的映射。內蘊的對象是 Teich(S)；座標只是它上頭的座標卡。
映射類群：曲面的對稱性
我們是靠記住標記才造出 Teich(S) 的。記住的代價是：真正對稱的圖像會被當作不同的點來計數——S 的一個置換諸圈的自微分同胚，會把一個標記結構送到另一個，即便未標記的幾何彼此重合。準確記錄這些自對稱的群，就是映射類群 Mod(S)，定義為 S 的保定向微分同胚群模去同倫——也就是微分同胚群的 pi_0，兩個映射若能光滑地形變成彼此，便屬同一個元素。它是曲面自然的對稱群，是多邊形對稱群的拓撲類比，只不過是無窮的，且豐富得多。
Mod(S) 的一個元素實際長什麼樣？基本的招式是沿一條簡單閉曲線 c 的德恩扭轉：把 S 沿 c 剪開，將一側轉一整圈，再黏回。想像 c 周圍一圈加厚的環帶；扭轉固定環帶之外的一切，把環帶剪切 360 度，把每條穿過 c 的圈一併拖著走。單一一個德恩扭轉在某些方向對同調是隱形的，卻徹底重新洗牌了標記。決定性的結構定理，歸功於德恩與利克里希，是說有限多個德恩扭轉就生成整個映射類群——曲面的每一個對稱，無論多麼複雜，都是這些基本扭轉的乘積。
Mod(S) 以能想到的最自然方式作用在 Teich(S) 上：一個映射類 [phi] 把標記結構 (X, f) 送到 (X, f 與 phi 之逆的複合)，就只是用那個對稱去更換標記。這個作用是按自然的泰希米勒度量的等距來進行的，而且至關緊要地，它是真正不連續的——軌道不會聚集，故作用表現得夠好，足以取商。有一個誠實的細微處：這作用並非完全自由，因為帶額外對稱的曲面具有非平凡的穩定化子，這恰恰是為何接下來的商會帶有輕微的奇點，而非成為光滑流形。
除掉它：模空間
現在把兩半合起來。泰希米勒空間記住了標記；映射類群恰恰就是標記中的那份歧義。所以忘掉標記，就意味著把 Teich(S) 對 Mod(S) 的作用取商，而結果就是黎曼曲面的模空間 M(S) = Teich(S) / Mod(S)。M(S) 的一個點，是一個未標記的雙曲曲面——一個形狀，其諸圈未被標籤。這正是自單值化以來我們一直繞著打轉的那個問題的答案：虧格 g 的黎曼曲面有多少個，它們又如何變化？它們構成一個複維度 3g - 3 的空間，是曲線幾何中被研究得最透徹的單一對象。
這層關係值得先當作一句口號說出來，再立刻加上限定。Teich(S) 是那光滑、可縮的萬有覆疊 R^{6g-6}；Mod(S) 是真正不連續地作用的覆疊變換群；M(S) 是商。口號會是「模空間是泰希米勒空間模去映射類群」，這沒錯，但有兩點誠實能讓你不致過度解讀。其一，由於作用並非自由，M(S) 是一個軌形而非流形——它帶有來自具自同構之曲面的錐狀點，假裝沒這回事，遲早會反咬你一口。其二，M(S) 不是緊緻的：曲面可以藉著掐捏某條曲線而退化，把它的芬切爾-尼爾森長度送向零、跑向無窮，這正是為何必須發明一個緊化（德利涅-曼福德緊化）。