威廉·瑟斯顿（William Paul Thurston）

低维拓扑的「先知」——他用非凡的几何直观告诉世人：绝大多数三维流形应当带有常曲率（尤其双曲）几何；他提出的几何化猜想把庞加莱猜想收入麾下，为三维流形的完全分类绘制了蓝图，其思想由哈密顿引入里奇流、最终由佩雷尔曼完成证明。他不仅证明定理，更重新塑造了整个领域「看」三维空间的方式。

一、生平与时代背景

威廉·保罗·瑟斯顿 1946 年 10 月 30 日生于美国华盛顿特区。父亲保罗·瑟斯顿（Paul Thurston）是航空工程师，母亲玛格丽特·玛特（Margaret Martt）是裁缝。威廉幼年患有先天性斜视，导致深度知觉障碍，母亲在他蹒跚学步时就训练他从二维图像重建三维形状——他后来将自己超凡的空间想象力部分归因于这段早年经历。

1967 年，他作为新学院（New College of Florida，萨拉索塔）首届学生毕业，获学士学位；本科毕业论文题目是为拓扑建立直觉主义基础。新学院学风自由，他一度住在树林里的帐篷中或睡在教学楼里。随后赴加州大学伯克利分校读博，在莫里斯·赫希（Morris Hirsch）与斯蒂芬·斯梅尔（Stephen Smale）指导下，1972 年以论文《作为圆周丛的三维流形的叶状结构》（Foliations of 3-manifolds which are circle bundles）获博士学位，证明了三维流形叶状结构中紧致叶的存在性。

博士毕业后，1972—1973 学年在普林斯顿高等研究院（IAS）度过；1973 年任麻省理工学院数学助理教授；1974 年，28 岁的他出任普林斯顿大学数学正教授。1991 年回到伯克利任教授（1991—1996），并于 1992—1997 年担任数学科学研究所（MSRI，后更名 SLMath）所长；1996 年转至加州大学戴维斯分校；2003 年起任康奈尔大学数学与计算机科学教授，直至逝世。他是纯数学中最早拥抱计算的数学家之一，启发学生杰弗里·威克斯（Jeffrey Weeks）开发了研究双曲流形的软件 SnapPea。

瑟斯顿有两段婚姻：第一任妻子雷切尔·芬德利（Rachel Findley）是新学院首届同学，两人育有三子——迪伦（Dylan，现为波士顿学院数学家）、纳撒尼尔与艾米丽；第二任妻子朱莉安·缪丽尔·瑟斯顿（Julian Muriel Thurston），育有汉娜·杰德与利亚姆两子。2011 年他被诊断出鼻窦黏膜黑色素瘤，2012 年 8 月 21 日在纽约州罗切斯特去世，享年 65 岁。

他所处的时代，正是拓扑学从「代数拓扑主导」转向「几何方法回归」的关键期：20 世纪中叶三维流形研究以「徒手」组合技巧为主，与分析、几何相对隔绝；瑟斯顿把双曲几何、克莱因群、泰希米勒理论注入其中，使三维拓扑重新汇入数学主流。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 叶状结构理论（1970 年代初）：「清空一个领域」

问题背景：叶状结构（foliation）把流形分解为低维「叶片」，是微分拓扑与动力系统的交叉概念。1950—60 年代该领域有许多悬而未决的难题。

关键结果： - 证明流形上每个哈弗利格结构（Haefliger structure）都可积分为叶状结构；由此推出每个欧拉示性数为零的闭流形都存在余维一的叶状结构。 - 在三维球面 $S^3$ 上构造了光滑余维一叶状结构的连续族，其戈比永—维伊不变量（Godbillon–Vey invariant）可取遍所有实数——推翻了当时流行的「该不变量必为整数」猜想。 - 与约翰·马瑟（John Mather）证明：流形同胚群的上同调，无论取离散拓扑还是紧开拓扑，结果相同。

影响：瑟斯顿在极短时间内解决了叶状结构领域如此多的突出问题，以至于「导师们纷纷劝告学生不要进入该领域」，因为他正在「把这门学科清空」（语出《论证明与数学进步》）。

2. 双曲 Dehn 手术定理

问题背景：Riley 与 Jørgensen 在 1970 年代中后期发现八字形纽结补空间是双曲的（第一个双曲纽结），但人们尚不清楚这种现象有多普遍。

关键思想：瑟斯顿用两个正则理想双曲四面体显式拼出八字形纽结补的双曲结构；结合哈肯正规曲面技巧与双曲结构的形变分析，他研究了对带尖点的有限体积双曲三维流形做 Dehn 填充后所得闭流形的几何。

精确表述：双曲 Dehn 手术定理：对任一有限体积非紧双曲三维流形 $M$，除有限多个 Dehn 填充斜率外，所有填充所得闭流形 $M(s)$ 都容许双曲结构，且当斜率趋于无穷时这些度量在 Gromov–Hausdorff 意义下收敛回 $M$ 的完整双曲度量。

意义：表明闭双曲三维流形大量存在——此前人们只知道 Seifert–Weber 空间等寥寥几个例子；这直接为「大多数三维流形是双曲的」这一核心信念提供了证据。

3. 哈肯流形的双曲化定理（「Monster Theorem」）

问题背景：能否给出三维流形容许双曲结构的拓扑判据？二维曲面由单值化定理完全解决（高斯—博内），三维情形远为困难。

精确表述：若 $M$ 是紧致、可定向、不可约、全封闭（atoroidal，即不含不可压缩环面）且含不可压缩曲面（哈肯）的三维流形，且其内部不是环面丛，则 $M$ 的内部容许完备的有限体积双曲度量。

地位：这是几何化纲领中第一个被证明的重大情形，由于证明极其漫长艰深，被称为「怪兽定理」（Monster Theorem），完整证明直到近 20 年后才由他人（结合瑟斯顿普林斯顿讲义）整理写出。一个直接推论是：绝大多数纽结与链环的补空间是双曲的。

4. 几何化猜想（1982）

问题背景：二维闭曲面由欧拉示性数完全决定其标准几何（球面 $S^2$、欧氏 $\mathbb E^2$、双曲 $\mathbb H^2$）。三维能否有类似的「几何分解」？

精确表述：任何紧致可定向三维流形可先做素分解（沿嵌入球面切割）与 JSJ 分解（沿不可压缩环面切割），所得的每个「几何块」都恰容许下列八种瑟斯顿模型几何之一的局部齐性度量： $$\ S^3,\ \mathbb E^3,\ \mathbb H^3,\ S^2\times\mathbb R,\ \mathbb H^2\times\mathbb R,\ \widetilde{\mathrm{SL}}(2,\mathbb R),\ \mathrm{Nil},\ \mathrm{Sol}.$$ 其中双曲几何 $\mathbb H^3$ 是「最常见也最复杂」的情形。

特例：当流形单连通时，分解只能是一块 $S^3$，因此庞加莱猜想（单连通闭三维流形同胚于 $S^3$）是几何化猜想的直接推论——瑟斯顿由此把庞加莱猜想纳入一个宏大得多的分类框架。

完成：猜想由格里戈里·佩雷尔曼于 2002—2003 年在 arXiv 上发表的三篇论文，运用哈密顿的里奇流（Ricci flow）与手术（surgery）技术最终证明（庞加莱猜想与几何化猜想同时获证）。

5. 泰希米勒空间的瑟斯顿紧化与曲面微分同胚的尼尔森—瑟斯顿分类

背景：亏格为 $g$ 的曲面的泰希米勒空间 $\mathcal T_g$ 分类曲面的复结构；它是一个非紧空间。瑟斯顿为它构造了自然的紧化。

结果：瑟斯顿把测度叶状结构（measured foliation）/测度层化（measured lamination）的射影空间 $\mathcal{PMF}$ 作为边界，使 $\mathcal T_g\cup\mathcal{PMF}$ 成为一个闭球（瑟斯顿紧化），映射类群在其上连续作用。他与米尔诺发展的米尔诺—瑟斯顿揉搓理论（Milnor–Thurston kneading theory）则把类似思想用于区间映射与复动力系统。

分类定理：紧曲面的任一保向微分同胚，在同痕意义下必属于以下三类之一——周期的（periodic）、可约的（reducible，存在不变曲线系统）、或伪阿诺索夫的（pseudo-Anosov，保持一对横截测度叶状结构并以伸缩因子 $\lambda>1$ 膨胀/收缩）。这就是尼尔森—瑟斯顿分类，它统一并完成了尼尔森 1920 年代的工作，成为曲面动力系统的基础。

6. 三维轨形的几何化（Orbifold 定理，1981）

结果：1981 年瑟斯顿宣布把几何化定理推广到三维轨形（带奇点的流形，局部为有限群作用下的商）。其原始证明部分依赖哈密顿的里奇流工作；完整证明在约 2000 年前后由两组数学家（Boileau–Leeb–Porti 与 Cooper–Hodgson–Kerckhoff）依据瑟斯顿 1980 年代初普林斯顿讲义整理完成。

意义：把几何化从流形推广到轨形，使许多群作用、纽结对称的问题得以用几何方法处理。

7. 克莱因群：密度猜想与端不变量

结果：1970 年代末—80 年代初，瑟斯顿与丹尼斯·沙利文（Dennis Sullivan）把利普曼·伯斯（Lipman Bers）的密度猜想从单退化克莱因曲面群推广到所有有限生成克莱因群：每个有限生成克莱因群都是几何有限群的代数极限。该猜想于 2011 年由 Ohshika、2012 年由 Namazi–Souto 独立证明。他还提出了用端层化（ending lamination）刻画克莱因群的端不变量猜想（后由 Brock–Canary–Minsky 证明）。

8. 复动力系统：瑟斯顿对有理映射的刻画

结果：瑟斯顿给出了一个后临界有限的分歧覆盖（post-critically finite branched covering）等价于有理函数的充要判据，即著名的瑟斯顿障碍（Thurston's obstruction）定理：不存在这样的等价当且仅当存在一个称为「瑟斯顿障碍」的曲线系统。这是复动力系统中分类有理映射的奠基性结果。

四、代表著作与文献

• 《三维流形的几何与拓扑》（The geometry and topology of three-manifolds，普林斯顿讲义，1978—1981）：从未正式出版，却以油印/电子版形式流传全世界，被公认为低维拓扑史上最有影响力的「非正式」著作。
• 《三维几何与拓扑（第一卷）》（Three-dimensional Geometry and Topology, Vol. 1，1997，Princeton；Silvio Levy 编辑）：上述讲义的正式整理扩展版，2005 年获首届 AMS 图书奖；第二卷未及出版。
• 《群的字处理》（Word Processing in Groups，1992，与 Epstein、Cannon、Holt、Levy、Paterson 合著）：自动群（automatic groups）理论的奠基教材。
• 《共叶状结构》（Confoliations，1998，与 Yakov Eliashberg 合著，AMS University Lecture Series 13）：联系叶状结构与切触结构。
• 《三维流形、克莱因群与双曲几何》（Three-dimensional manifolds, Kleinian groups and hyperbolic geometry，Bull. AMS. 6，1982）：几何化猜想的首次系统阐述。
• 《曲面微分同胚的几何与动力学》（On the geometry and dynamics of diffeomorphisms of surfaces，Bull. AMS. 19，1988）：尼尔森—瑟斯顿分类的权威综述。
• 《论证明与数学进步》（On proof and progress in mathematics，Bull. AMS. 30:2，1994）：关于数学证明、理解与进步本质的经典哲思文章。
• 《威廉·瑟斯顿全集》（Collected works of William P. Thurston，AMS，含注释，多卷）。

五、师承、学派与同时代交往

• 师承：博士导师莫里斯·赫希（Morris Hirsch），并受斯蒂芬·斯梅尔指导；两人都把他引向动力系统与拓扑的结合。本科阶段的直觉主义训练塑造了他对「数学理解本质」的反思。
• 沙利文（Dennis Sullivan）：在克莱因群、密度猜想上长期合作；沙利文是其几何思想最重要的对话者之一。
• 米尔诺（John Milnor）：合作发展揉搓理论（Milnor–Thurston kneading theory），在动力系统上有密切交流。
• 哈密顿（Richard Hamilton）：哈密顿的里奇流是实现瑟斯顿几何化纲领的工具；瑟斯顿的轨形定理原始证明部分依赖里奇流；两人同属 2002—2003 年几何化证明故事的核心。
• 学生：桃李满门，包括 David Gabai、Steven Kerckhoff、Yair Minsky、Benson Farb、Danny Calegari、William Goldman、Richard Kenyon、Oded Schramm、Richard Schwartz、Jeffrey Weeks 等，他们构成了当代几何拓扑与几何群论的中坚。
• 学派归属：美国低维拓扑/几何分析传统（接续 Papakyriakopoulos、Haken、Stallings 的三维流形组合拓扑，但注入几何与分析）；与伯克利、普林斯顿的几何学派深度交融。

六、争议、公案与历史评价

• 「瑟斯顿式」证明与完整性的争议：瑟斯顿的讲义与论文常常只给出证明的「草图」或关键思想，而把大量细节留待读者（后人）补全。双曲化定理的完整证明直到近 20 年后才被完整写出。这引发过关于「证明标准」的讨论——部分同行（尤其在他 1994 年《论证明与数学进步》引发的讨论中）质疑其证明的可检验性；但学界共识是：他的几何洞察极其可靠，后人按其路线补全时几乎总是发现他是对的。他本人在文章中坦诚讨论了这一问题，强调「数学理解」比形式化证明更重要。
• 几何化的完成归属：几何化猜想由瑟斯顿提出，哈密顿的里奇流纲领与佩雷尔曼 2002—2003 年的三篇论文完成证明（Kleiner–Lott、曹怀东—朱熹平、Morgan–田刚 等团队后来核对/补全细节）。三人（瑟斯顿提出问题、哈密顿发明工具、佩雷尔曼完成证明）共同构成这一史诗。佩雷尔曼拒绝了 2010 年克莱数学研究所的百万美元千禧年奖，理由之一是他认为自己的贡献并不比哈密顿更大。
• 历史评价：1982 年菲尔兹奖授奖词（C. T. C. Wall 介绍）称其「具有惊人的几何洞察力与视野，其思想彻底革新了二维与三维拓扑的研究，带来了分析、拓扑与几何之间崭新而丰硕的互动」。2012 年斯蒂尔奖称其工作「革新了三维流形理论」。被普遍视为 20 世纪后半叶最具原创性的几何/拓扑学家之一。
• 常见误传澄清：瑟斯顿本人并未完成一般三维流形几何化猜想的证明（他证明了哈肯情形并提出完整猜想）；最终证明属于佩雷尔曼。

七、身后影响与学术谱系

• 对三维拓扑：几何化定理完成后，三维流形的拓扑分类问题（在同胚意义下）已基本解决；双曲三维流形成为研究主流，体积、端不变量、曲线复形等概念皆根植于他的工作。
• 对几何群论与动力系统：自动群理论、映射类群作用、伪阿诺索夫流、复动力系统中的揉搓理论与瑟斯顿障碍，都成为独立活跃的方向。
• 对数学物理与其他领域：他鼓励的计算实验（SnapPea）推动了实验数学；几何化思想间接影响了引力、宇宙学中的空间拓扑讨论。
• 命名遗存：瑟斯顿几何化猜想/定理、瑟斯顿模型几何（八种）、瑟斯顿紧化（泰希米勒空间）、瑟斯顿边界、瑟斯顿范数、瑟斯顿障碍、瑟斯顿高度条件、尼尔森—瑟斯顿分类、米尔诺—瑟斯顿揉搓理论、坎农—瑟斯顿映射、瑟斯顿 24 问、双曲 Dehn 手术定理。
• 纪念：康奈尔大学、AMS、《纽约时报》均发布讣告；2015 年 AMS《Notices》刊发 Gabai 与 Kerckhoff 的长篇回忆；加州大学戴维斯设有「瑟斯顿讲座」（Thurston Lectures）。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Bill Thurston：圣安德鲁斯大学权威传记，本档案主要生平出处。
• Wikipedia: William Thurston：生平、著作、学生列表与早期叶状结构结果的交叉核对。
• Wikipedia: Thurston's geometrization conjecture：几何化猜想的精确陈述、八种模型几何与证明史。
• Wikipedia: Hyperbolic Dehn surgery：双曲 Dehn 手术定理。
• Wikipedia: Nielsen–Thurston classification：曲面微分同胚的三分定理。
• Wikipedia: Orbifold theorem：三维轨形几何化定理。
• Fields Medal 1982 官方介绍（IMU）：菲尔兹奖官方信息。
• William P. Thurston, 1946–2012（AMS Notices，Gabai & Kerckhoff，2015）：权威长篇传记回忆录。
• Cornell 大学官方讣告（2012）：逝世与生平报道。
• Mathematical Genealogy Project: Thurston：学术谱系与博士生列表。