一種模型幾何，局部地披在流形上
從第一冊的非歐世界之旅，你已經知道並不存在單一種幾何——平面、圓球面與雙曲平面是三個剛性的模型空間，各自帶著自己的運動群。本級的全部要旨，就是要把這樣一種剛性的幾何，安放到一個整體上形狀「不對」的流形之上。環面並不是歐氏平面，它卻能披上一種完全平坦的歐氏幾何；虧格 2 的曲面並不是雙曲平面，它卻披著一種雙曲幾何。讓這件事精確化的裝置，就是 (G,X) 結構，而它正是接下來四篇裡每一條定理背後的組織理念。
把兩樣材料一勞永逸地固定下來。設 X 為一個模型空間——比如 R^n、S^n 或雙曲空間 H^n——並設 G 為一個作用在 X 上的群，其元素就是我們將稱為「此幾何的剛性運動」的那些變換。這正是你先前遇過的愛爾蘭根綱領觀點：一種幾何「就是」一個空間連同它的對稱群，而不變量便是 G 所保持的一切。我們總是要求 G 以實解析方式作用，並且關鍵地，要求 G 的元素被它在任一開集上的限制所決定——若兩個運動在一小塊上相同，它們便處處相同。這條唯一性正是整部機器賴以轉動的樞紐，請牢牢抓住它。
現在來看定義。一個流形 M 帶有 (G,X) 結構，若它配備一個進入 X 的座標卡圖冊——每張座標卡是從 M 的某開集到 X 的某開集的微分同胚——其轉移映射並非任意，而是 G 中元素的限制。在第一冊裡，座標卡與圖冊只需光滑地黏合；在這裡我們把螺絲擰緊，要求每塊重疊上的黏合都由模型的單一個剛性運動完成。這多出來的一條件就是一切：它逼使所有局部碎片講同一種剛性幾何，於是在任何座標卡裡算出的長度、角度與曲率，都在座標卡重疊處彼此吻合。
三個平坦環面：同一個曲面，卻是真正不同的結構
先端出讓這理念活起來的例子。取 G = 平面的歐氏剛性運動群、X = R^2；這就是歐氏 (G,X) 對。挑兩個獨立向量 v_1、v_2，作出由所有整數組合 m v_1 + n v_2 構成的格 L。商 R^2 / L 是一個環面，而它免費地承襲一個歐氏 (G,X) 結構：任一點的小鄰域看起來恰如平坦平面上的一塊，而當環面上兩塊這樣的補片重疊時，轉移是一個平移——G 中的元素。於是環面，作為一個虧格 1、無法成為平面的拓樸曲面，卻仍在局部處處「披著」平坦平面。
這裡是微妙而美麗的部分。換掉格——比如正方形格相對於由相隔 60 度的向量張成的格——你便在「同一個」光滑環面上得到「不同」的歐氏結構。它們作為 (G,X) 結構並不等價，因為沒有任何平面的剛性運動把一個格送到另一個；生成元之間的夾角是一個貨真價實的不變量。這是你首次嗅到整級的核心主題：一個固定的拓樸曲面支撐著一整族幾何結構的模空間，而參數化這個結構空間，正是泰希米勒空間與映射類群（第四、五篇）所要做的事。
把流形攤開：發展映射
一個 (G,X) 結構是一堆局部座標卡，我們現在一舉把它整體化。過渡到 M 的萬有覆疊 M-tilde，即你在代數拓樸裡遇過的那個單連通覆疊。選一個基點，以及那裡一張映入 X 的座標卡。然後開始走：M-tilde 中任一路徑都被一連串重疊的座標卡所覆蓋，而在每塊重疊上，唯一的 g in G 告訴你如何調整下一張座標卡以與前一張吻合。由於轉移是解析的、且由重疊所決定，這個解析延拓的過程是被逼出來的——一旦第一張座標卡固定，便別無選擇。結果是單一個整體定義的映射。
那映射就是發展映射 dev: M-tilde -> X。把它想像成實際把 M-tilde 攤開到模型上，就如你把紙做的圓筒攤平到桌面：在局部它是一個微分同胚（一個本身是局部 (G,X) 同構的浸入），但在整體它可能自我重疊、繞圈、或完全錯過 X 的一部分。對平坦環面，M-tilde 是 R^2，而發展映射是到整個 R^2 的恆等映射——一次乾淨的攤開。對雙曲曲面，dev 把萬有覆疊映「入」雙曲平面，而它的像、繞法、以及 dev 是否滿射，都承載著深刻的訊息。
兩則誠實的提醒，因為「把流形攤開」這口號承諾過了頭。第一，dev 不必是單射、也不必是滿射——這些恰是把馴良結構與狂野結構區分開來的失敗模式，而 dev「確實」是到 X 上的微分同胚的結構是特殊的；這樣的 (G,X) 結構稱為完備，並對應於 M 是 X 自身的一個商。第二，dev 取決於初始座標卡，但只差一個 G 中元素的複合：換一個起始座標卡，會把 dev 替換成 g . dev（某個固定的 g in G）。這份歧義並非缺陷——它恰恰是讓下一個對象、即完整性，得以良好定義的東西。
讀出整體的扭曲：完整性表示
現在來收成。基本群 pi_1(M) 以覆疊變換作用在萬有覆疊 M-tilde 上——即那些置換層片的覆疊對稱。取這樣一個覆疊變換 gamma，並把發展映射接在它後面：dev 與 gamma 的複合是同一結構的「另一個」發展映射，所以依我們剛指出的歧義，它必等於 G 中某個固定元素與 dev 的複合。把那元素記為 h(gamma)。定義方程是 dev(gamma . x) = h(gamma) . dev(x)：先發展再覆疊，等於先施一個剛性運動再發展。上層的覆疊作用，化為下層作用在模型上的 G 作用。
dev : M-tilde --> X (developing map, a local (G,X)-iso)
equivariance: dev( gamma . x ) = h(gamma) . dev(x) for all gamma in pi_1(M)
holonomy: h : pi_1(M) --> G is a GROUP HOMOMORPHISM
flat torus R^2/L : pi_1 = Z + Z, h sends the two loops to
translations by v_1 and v_2 (image = the lattice L)驗證 h 是群同態——它是引擎，所以親手驗一次。對先 gamma_2 後 gamma_1 套用等變性：dev(gamma_1 gamma_2 . x) = h(gamma_1) . dev(gamma_2 . x) = h(gamma_1) h(gamma_2) . dev(x)。與 dev((gamma_1 gamma_2) . x) = h(gamma_1 gamma_2) . dev(x) 相比，並利用 G 的元素被其作用所決定，便得 h(gamma_1 gamma_2) = h(gamma_1) h(gamma_2)。於是 h: pi_1(M) -> G 就是完整性表示，而它是 (G,X) 結構最豐富的單一不變量：它把所有整體的扭曲壓縮成一個從基本群到對稱群的同態。
在環面與克萊因瓶上把它落實。對 R^2 / L，基本群是 Z + Z，由繞著把手的兩條迴圈生成，而完整性把它們送到平移 v_1 與 v_2——於是 h 的「像」恰是格 L，從完整性回復結構在此一目了然。對克萊因瓶，完整性必須包含一個反定向的運動（一個滑移反射），反映出該曲面不可定向；pi_1 的代數逼出一條完整性像必須滿足的關係。這個教訓會推廣：究竟哪些同態 pi_1(M) -> G 真能作為完整性出現、以及它們在多大程度上決定結構，正是那道在第三篇以莫斯托剛性達到高潮的剛性問題。
如何讀一個結構，以及本級的去向
把這套程序裝瓶成一份食譜是值得的，因為後面每一篇都在跑它。dev、h 與等變方程這三件一組，有時稱為發展對，而現代的口號是：M 上的一個 (G,X) 結構，本質上就是一個發展對的資料（差一個自然的 G 作用）。兩個結構恰恰在它們的發展對僅差「把 dev 與固定的 g in G 複合、並把 h 用同一個 g 共軛」時等價——這正是為何完整性自然是商 Hom(pi_1(M), G) / G 的元素，即特徵簇。那個商，正是泰希米勒空間最終棲身的舞台。
- 固定模型對 (G, X)：挑定幾何的種類——歐氏 (R^n, 等距)、球面 (S^n, O(n+1))、或雙曲 (H^n, 等距)——並確認 G 解析地作用、且被任一開集上的限制所決定。
- 在 M 上建一個 (G,X) 圖冊，使其轉移映射皆為 G 中元素的限制；這就是說明 M 披著該幾何的局部資料。
- 提升到萬有覆疊 M-tilde，並把一張座標卡解析延拓，以製造發展映射 dev: M-tilde -> X，一個局部 (G,X) 同構，唯一性差一個固定的 g in G。
- 從 dev(gamma . x) = h(gamma) . dev(x) 讀出完整性 h: pi_1(M) -> G；把它記到在 G 中共軛為止，作為該結構的標誌性不變量，並追問該結構是否完備（dev 為到 X 上的微分同胚）。
這便為本級其餘部分擺好了桌面，而其餘一切都是把 (G,X) 機器特化並用力推進。第二篇把維度固定在 3，並追問哪些模型對 (G, X) 才可能出現——答案恰是八種，即瑟斯頓幾何，而把一個 3 維流形由各披著其一的碎片組裝起來，正是裴瑞爾曼所證的幾何化猜想。第三篇聚焦於雙曲模型，並表明其完整性驚人地剛硬（莫斯托）。第四、五篇則讓結構在一個固定曲面上連續變動，把完整性的空間變成泰希米勒空間及其模。下游的一切，都是這同一幅圖，被加深。