問題：幾何能否找到自己最好的形狀？
到了現在，你已能用雙手感受一個閉曲面的曲率：從曲率那一級你知道，圓球 S^2、平坦環面與雙曲曲面是三種「最好」的幾何，而高斯-博內把一個曲面容許哪一種，繫於它的虧格。本篇的夢想，是把同一件事往上推一維。交給我一個任意的閉三維流形 M 配上某個凹凸不平的黎曼度量 g；有沒有一個藏在它裡頭、最對稱的標準形狀，能讓我用一個純幾何的過程把它提取出來？在二維裡，單值化定理早已回答「是」。在三維裡，誠實的答案是瑟斯頓的幾何化猜想，而證明它的過程，就是里奇流。
這套策略整個是從物理借來的。若你在一根金屬棒上放一個不均勻的溫度分布，再讓它靜置，熱方程 du/dt = u 的拉普拉斯算子會把過熱與過冷之處鬆弛向一個均勻的值：熱把疙瘩擴散掉。漢密爾頓在 1982 年那個大膽的構想，是讓熱跑的不是流形「上」的某個函數，而是流形「本身的形狀」——讓度量 g 流動，使高曲率的區域收縮、低曲率的區域舒展，像熱撫平溫度那樣撫平幾何。結果，扮演「溫度曲率」這角色的恰當量，是里奇曲率，而這單單一個選擇，便是一切的種子。
流本身：度量的一條熱方程
方程在這裡，它比它的名聲還短。里奇流讓一族度量 g(t) 演化，做法是令度量對時間的導數，等於它里奇曲率的負兩倍。這就是全部的定義。那個負號就是這條流的全部性格：里奇曲率為「正」的方向（像球面、測地線收斂之處）使度量「收縮」，而里奇為負的方向（像鞍面、測地線發散之處）使它增長。幾何恰恰在它最彎曲之處收縮，這正是我們從熱的類比所要的撫平行為。
Ricci flow: d/dt g_ij(t) = -2 Ric_ij(g(t))
Heat-equation face (in harmonic coordinates, schematically):
d/dt g_ij = Laplacian(g_ij) + (lower-order quadratic in dg)
Key examples (the metric just rescales by a factor a(t)):
round sphere S^n, radius r_0 : r(t)^2 = r_0^2 - 2(n-1) t -> collapses at t = r_0^2 / (2(n-1))
flat torus T^n (Ric = 0) : g(t) = g(0) -> a fixed point, nothing moves
hyperbolic space (Ric < 0) : expands forever為什麼這根本算一條熱方程？因為里奇張量在恰當的座標下寫開，（差幾個低階項）就是度量的拉普拉斯算子。選取調和座標，Ric_ij 便成了 g_ij 拉普拉斯算子的負二分之一，加上 g 一階導數的二次項，於是這條流讀作 d/dt g = g 的拉普拉斯算子 + 低階項——一條貨真價實、雖然非線性的幾何熱流。這正是為什麼短時間的存在性與唯一性成立（在固定微分同胚自由之後，靠漢密爾頓與德圖克的技巧），也是為什麼曲率服從它自己的反應-擴散方程：熱項擴散曲率，而對曲率為二次的反應項，能把它集中起來。
漢密爾頓的初次勝利，以及隨之而來的麻煩
漢密爾頓 1982 年的定理是個典範結果，值得當作燈塔牢牢記住：若一個閉三維流形帶有一個里奇曲率「嚴格為正」的度量，那麼在里奇流之下，適當地重新縮放以保持體積不變，這度量會收斂到一個常正曲率的度量——一個圓球的形狀。因此該流形是一個球面空間形式，是 S^3 的一個商。注意這前提反咬的方式，恰如比較那一級訓練你預期的那樣：正里奇正是驅動邦尼-邁爾斯的同一個條件，而在這裡，它逼使這條流把幾何均勻化成圓的模型。這條流偵測出、再實現出，這拓樸所能支撐的最佳幾何。
但嚴格正里奇是個非常強的前提，而大多數三維流形並非從它起步。從一個一般的凹凸度量跑這條流，反應項——對曲率為二次的——能在某個小區域裡贏過擴散的賽跑，在有限時間內把那裡的曲率逼向無窮。幾何撕裂了。這發生的最乾淨、最重要的方式，是頸縮：想像一個啞鈴形的流形，兩顆胖球由一根細細的圓柱形脖子相連。這脖子是一條長長的 S^2 乘以區間，而 S^2 因子有正里奇，所以這條流飛快地縮小脖子的橫截面。脖子在有限時間內細成一點，而兩顆球幾乎不動——流形把自己從中間勒斃了。
佩雷爾曼的兩個新構想：手術與熵
漢密爾頓的綱領卡在一個駭人的可能性上：也許這條流會發展出狂野、無法控制的奇點——幾何在某種你認不出、也切不乾淨的方式下退化的地方。要讓這條流越過奇點，你必須「先」證明每個奇點近看起來，都長得像一張短清單上的標準模型之一（一個收縮的球、一個收縮的脖子）。這正是佩雷爾曼在 2002 至 2003 年所提供的核心，而它仰賴一個真正全新的、規範不變的量。他引入了佩雷爾曼熵——一些沿著流「單調」、永不減少的泛函（F-能量與 W-熵），於是它們表現得像一支時間之箭，禁止幾何以病態的方式循環或塌縮。
單調性是那匹幹活的馬。從熵的單調性，佩雷爾曼萃取出他的無局部塌縮定理：沿著流，流形永遠不會塌縮——相對於小球的半徑與曲率，小球不可能有微不足道的體積——而這恰恰是你取極限所需的、對幾何的下界。結合比較那一級的畢曉普-格羅莫夫體積比較與緊性機制，無塌縮讓你能放大一個正在形成的奇點、重新縮放，並萃取出一個光滑的極限幾何——一個梯度收縮孤立子。佩雷爾曼接著把可能的三維極限分類完畢：每個奇點都以一個收縮的圓球，或一個收縮的圓柱脖子為模型。認不出的奇點這場惡夢，是被一條定理排除的，而非被指望排除的。
手術、長時間的圖景，以及到底證明了什麼
一旦每個奇點都是個認得出的脖子，你就能動手術。帶手術的里奇流讓流跑到一個脖子即將頸縮之前，接著名副其實地沿著那細 S^2 把流形切開，給兩個生切口各蓋上一顆光滑的圓球，再在如今修補好（且可能不連通）的流形上「重啟」這條流。每次手術，都是拆解一個連通和 M = M_1 # M_2 的拓樸動作，於是這些手術把 M 分解成它的質因塊。微妙之處——也是佩雷爾曼大部分艱難估計所投注的地方——在於證明這些手術不會累積：在任何有限時間內只發生有限多次，幾何在每道切口前後都保持受控，而這過程能標準地對所有時刻續行下去。
如今追隨長時間的行為，結論便自己寫了出來。隨著 t 增長，每個倖存的塊，要嘛在有限時間內消亡（它縮成烏有——這些是球面空間形式，S^3 的商），要嘛在體積歸一化的流之後，安頓成一個厚-薄分解：厚的區域趨近雙曲幾何，薄的區域是沿著圓與環面塌縮的圖流形。那張極限幾何的清單，恰恰是瑟斯頓的八個模型幾何。所以這條流，帶著手術對所有時刻跑下去，把任何閉三維流形分解成數塊，每塊各帶一種瑟斯頓幾何——這「就是」幾何化猜想。里奇流把一個拓樸的分類，化為了一條偏微分方程的長時間漸近行為。
- 從一個閉的、單連通的三維流形 M 起步（pi_1(M) 平凡——這就是龐加萊的假設），配上其上任一個光滑的黎曼度量。
- 跑帶手術的里奇流；因為 M 單連通，沒有雙曲或圖流形的塊能倖存，所以每一塊都是球面空間形式，而這條流必在有限時間內消亡。
- 把手術倒著追溯：一個全部流成圓球而後消失的流形，必曾是一些各為 S^3 之商的塊的連通和——但單連通性禁止了非平凡的商與非平凡的被加項。
- 斷定 M 即是 S^3 本身：一個閉的、單連通的三維流形同胚於三維球面。這就是龐加萊猜想，作為幾何化在單連通特例下的推論而落地。
該記住什麼、該不信什麼，以及本級的去向
把誠實的邊界放在眼前。維度極其要緊：這條流的奇點分析是三維特有的，那裡漢密爾頓-艾維夾擠迫使曲率在奇點附近近乎非負。在四維與更高維，奇點野得多，而類似的分類仍是開放的——這也是為何「光滑的四維龐加萊猜想」至今「仍未解決」的一個原因。也要留意符號約定：許多書把這條流寫成 Ric 上相反的符號，或以不同方式歸一化體積，而一個漂移的因子 2 會改變球面例子裡的塌縮時間，所以在比對公式之前，務必先查清一份來源用的是哪種約定。我們選了 d/dt g = -2 Ric，以及讓球面為正曲率的那種曲率符號；別的書並不相同。
並要抵抗兩個誘人的誇大。第一，幾何化比龐加萊更廣：龐加萊只是它單連通的那個角落，而對「其他」流形真正全新的內容，是那些雙曲與圖流形的塊，受莫斯托剛性與你在更早幾級遇過的幾何所支配。第二，手術不是作弊——它是一條定理，說明這切割能被標準地施行，不論由誰來做都一樣，而當手術參數趨於零時，極限與這些參數無關。為這項斷言背書的分析，才是真正的佩雷爾曼，而那恰恰是一篇導覽能點出名字、卻無法證明的部分。
本級接下來的去向。第二篇轉向狄拉克算子與阿蒂亞-辛格指標定理——它與里奇流一樣，把分析（一個微分算子的核）連到拓樸（一個示性數），而佩雷爾曼的無塌縮論證，悄悄用上了指標理論所精確化的熱核與比較工具箱。第三篇移往四維流形與規範理論（唐納森、塞伯格-威滕），那正是里奇流的奇點故事崩解之處。第四篇在勞侖茲符差下讀曲率，講廣義相對論與奇異性定理，而第五篇以卡拉比-丘流形上的鏡像對稱，與一張誠實的開放問題清單收尾——其中為首的，正是光滑的四維龐加萊猜想。