佩雷尔曼 · 把名字抹掉

不用跳出去，站在面上就能量出弯曲。在面上画一个三角形——三条边都取面上「最直」的线（测地线），量三个内角。平面三角形内角和恰好一百八十度；球面上的三角形会「鼓」起来：例如在地球上取北极点，再在赤道上取相隔四分之一圈的两点，连成三边——两条经线在北极的夹角是九十度，而经线与赤道处处垂直，于是两个底角也是九十度：内角和二百七十度，比平面整整多出九十度。多出来的角，就是球面在替自己「鼓」的程度作证。

这条账还能算得更精。单位球面上，三角形内角和等于一百八十度加上面积乘以曲率（球面曲率记作 1）：上面那个三角形的面积恰好占球面的八分之一，而球面总面积是四π——八分之一乘四π再换算成角度，正是那多出的九十度。反过来用圆周量也行：球面上以北极为中心、距离 r 为半径画一个圆，它的周长不是二πr，而是二π 乘 sin r——r 越大周长越「涨不动」，长到 r 为四分之半个球（π/2）时周长顶到二π，再往南极走反而收缩，到南极收缩成零。三笔账互相咬合，弯曲无所遁形。

凹面（马鞍面）的账正好倒过来。内角和不足一百八十度；圆的周长比平面肥：双曲面上周长是二π 乘双曲正弦 r——比二πr 涨得快。于是面里的人手握三把尺：三角内角和、圆周长、面积——三种量法互相验算。佩雷尔曼在研究所里量了十年的，就是这些量法在「高维、任意形状」上的推广：比较定理、凸曲面、曲率有界的形状——全部是同一门手艺：不让任何一步跳过去。下一页，把「同一」讲明白。

拓扑学给「同一个」定了标准。两个形状，不撕破、不粘连，能连续地捏过去，就算同一个——橡皮泥标准。按这个标准，碗与球是一家的：碗的凹底捏一捏就鼓成球。球面与轮胎面（环面）不是一家：环面上有洞，洞是撕不出也粘不掉的——数洞成为拓扑的第一课。球面洞数为零，环面洞数为一，双环面为二……洞数（亏格）把闭曲面分了类：一百多年前，这套分类已经完备——任何闭曲面，都按洞数各归其位。

但这套标准只管洞，不管弯。同一个球面，可以绷成足球的鼓、也可以塌成豆袋椅的凹——拓扑学里它们全是「同一个」。把弯法全部抹平、只剩洞的骨架，这是拓扑学的眼光；把弯法当正经账目一笔笔记录，这是几何学的眼光。两套眼光之间隔着一条河：拓扑形状是「类」，几何形状是「款」——同一个类里有无数款。二十世纪的几何学最深的野心，就是弄清：类与款之间，有没有一条可循的规律。

三维的情形把这条河变得更宽。三维闭空间（没有边界、范围有限、内部处处像普通空间）远比曲面丰富：除「三维球」之外还有环状的空间、双曲的空间，等等；而且三维里出现了一种二维没有的怪事：有的空间「简单连通」（任何圈都能收紧成点），看样子就该是三维球，却迟迟无法证明——庞加莱 1904 年问的正是这件事。二维的眼睛看不出来，三维的证明迟迟不来。下一页，把这桩悬案本尊讲明白。

1904 年，庞加莱在论文结尾处写下一行字。他在研究三维空间时发现：判断一个三维闭空间「没有洞」，只要检查每个圈都能收紧成点——这条件看似温和；他随即追问：满足这个条件的空间，必然就是三维球么——不，他随即断言：必然就是三维球。这一猜挂了一百年：庞加莱本人后来给出过一个论证，几年后被发现自己走岔了；此后数十年，顶级高手轮番提交证明，又轮番被找出漏洞——这行字成了拓扑学的头号悬案。

高维的战况反而先传捷报。五维以上，斯梅尔 1961 年证明；四维，弗里德曼 1982 年证明——两位都因此拿了菲尔兹奖。偏偏三维卡死了：维数越高手段越多，三维不高不低，既无高维的富余工具，又比二维狡猾百倍。三十年里，三维版冒出的「证明」数以十计，每一篇都被同行在几个月内击中要害：不是漏洞就是循环论证。悬案越悬越重，直到 2000 年克雷研究所把它列进七大千禧难题：解出一题，奖金一百万美元。

正面强攻的每一次失败都指向同一个病灶。拓扑的判据（圈能收紧）太抽象，几何的构造（具体的形状）太繁多——没有人知道怎么把「所有可能的弯法」一网打尽。除非——不一个一个地看形状，而是让形状自己动起来：给全体形状装上一道方程，让弯法随时间自动演化、自动简化，演化到底，答案自己浮出来。这正是哈密顿 1982 年铺设的那条路。下一页，看少年时代那把不挂墙的金牌。

先看它模仿的对象：热传导。一根铁条，一头烧红一头冰凉，热量自己会流：温度随时间的变化率，正比于温度分布的「弯度」——热的凸包被削平，凉的低谷被填补，最后整根铁条均匀。写下来就是热方程：变化率等于二阶导数。关键在符号：哪里凸，变化率为负；哪里凹，变化率为正——方程天然地「削峰填谷」，这是物理定律给的免费服务。

里奇流把同一招用到形状上。把「温度」换成「尺子」：形状上每一点都有一把量距离的尺（度量），方程规定尺子的变化率等于该处的曲率——曲率为正（鼓）处，尺子收缩；曲率为负（凹）处，尺子舒张。整块形状像一块退火的铁板：鼓包被压下去，凹陷被撑起来，曲率四处流动，越来越均匀。画一条哑铃：细柄处弯得厉害，流一开，柄先变细；画一只瘪球：瘪处凹，流一开，瘪处撑起来——整个球趋向正圆。鼓凹不平的「弯法」，在流里自动老化。

老化到头是什么。拿最简单的账算：标准球面上各处曲率一样，流一开，整球均匀收缩，尺寸随时间按公式变小——曲率与半径的平方成反比：半径为 1 的球，曲率 1，流 1 个单位时间后半径缩到原来的根号三分之二倍（约 0.816），再过一定时间归零——整球收缩成一个点。收缩成点不是事故，是好消息：所有弯法耗尽，剩下的只有拓扑骨架。麻烦的是有的形状不这么体面地退场——细柄处曲率爆炸、挤出尖角，方程在那里失效。死穴就埋在这里。下一页，先给「老化」配一把尺。

热力学里有个数叫熵。一瓶气体，分子全挤在左半瓶是「整齐」，散满全瓶是「散乱」；熵给散乱程度计数——散乱只增不减：气体自己不会重新挤回左半瓶。热方程里的铁条也一样：温度分布从凸凹起伏到均匀，是一路「散开」的过程。这个「只增不减」有个妙用：它是方向感——看一眼熵的数值就知道时间往哪头流、过程走了多远。一把好的尺，不但量长短，还量次序。

佩雷尔曼做的事，是给里奇流也造这样一个数。他把形如「熵」的泛函（一个把整块形状连同其上的试探函数一起算进去的总分）配上流的变化率，再减去时间项——构造出一个量 W。妙处在于：随流演化，这个量永不减少。一行不等式，给整场演化立了铁法：形状在流里只会越来越「散开」、越来越均匀，任何局部的、突然的「聚拢」都直接违反这条铁法。这项工作不是计算技巧，是给方程上了户口：从此流的每一步都有方向、有次序、有底线。

尺子的第一个用途立刻显灵。有把只增不减的熵尺在手，就能在奇点到来之前「验明正身」：曲率爆炸的地方，周围那一小块若想偷偷塌成低维（二维薄片、线段），熵的账目立刻不平——铁法不许。于是奇点的类型被夹逼到极小的清单上：爆炸处只可能是「标准邻域」——局部像一只标准球、标准圆柱，如此而已。整个证明的地基，就是这把尺。下一页，看它怎么把两个死穴逐一锁死。

哈密顿时代的老大难：雪茄。想象一枚细长的凸起，两端圆、中段瘦——在流里它会怎样。老账说：中段曲率高、收缩快，越来越瘦，最后压成一条「雪茄」——曲率爆炸成一个又细又长的奇点，流的方程在此报废；哈密顿的分析治不了它，因为他只能列出奇点的「候选名单」，名单上恰好有雪茄。雪茄若是漏网，整条「流到底」的纲领就断在这里——三十年，人人都卡在这。

佩雷尔曼的熵尺把雪茄请出了名单。账目这样对：取爆炸点周围一小块，按熵尺算它的约化体积——一个只增不减的量，极限值反映这一小块「老化到头」的模样。逐个候选验算：球形邻域的极限是一个正数（四π 的某个倍数级别）；圆柱邻域的极限是它的整数倍；唯独雪茄，它的极限是无穷小——无穷小意味着这一小块根本撑不起一个「合格的老化终点」，铁法把它判出局。结论一行：曲率爆炸处，局部必是标准邻域——要么像球，要么像圆柱，别无他物。三十年的名单被一把尺裁到只剩两种体面退场。

第二重锁：整体不塌。另一类隐患是「慢性塌缩」：形状不爆炸，却在流里悄悄压扁成低维（二维面、一维线）。哈密顿曾设想用「最小面积」类的技巧设防，未能圆通。佩雷尔曼同样用熵尺的账目给出非塌缩判据：只要某处的曲率半径足够小，那处的体积就不能小于与它相称的下限——想塌，先过熵这一关。至此流的体检报告全部正常：奇点只有体面的两种，塌缩被整体禁止。剩下的工序只有一件：在奇点处动刀。下一页，看第二笔暗线。

细颈剪断，断口是什么形状。细颈中段像一个拉长的圆柱：截面是圆，颈壁几乎平直——所以断口近似一个圆圈。给圆圈补什么：补「帽」。球缺即帽：半球状的盖子扣上断口，接缝几乎无痕。账目上这样理解：圆柱邻域的「老化终点」是圆柱，圆柱的一端本来就带一顶标准帽（半球截面）；因此补帽不是发明，是把流的「标准件」装回去——规格全部预制成型，装上就开流。

剪断后两头的分量也有账。细颈把形状分成两瓣：颈根粗的一侧称为「大块」，颈口细的一侧若是封闭的小块，剪下来便是「小件」。小件分两种：一类是标准邻域（本身就是球或圆柱的版本），按规格注销；另一类是「类球件」——简单连通、体积适中的封闭小块：它们正是庞加莱猜想要的猎物。账目规定：类球件随流继续演化，必在有限时间内收成点——因为它是简单连通的、又装在标准件之间，别无退路。一枚一枚，自动归档。

最要紧的一笔账：剪口的「体面」。补帽之后流要重开，重开的初始条件必须「和从前一样好」——曲率有界、不塌缩、熵尺照常工作。这正是前面体检报告的回报：因为奇点只有标准邻域两种，补帽用的全是标准件；因为非塌缩判据在手，重开的流不会从病态起步。一刀下去，两不欠账。下一页，立这道「有限时光之壁」。

要把「无限动刀」的恐怖账算清，先看恐怖在哪。每次手术用时可以任意短：细颈可以在任意接近的时刻掐出——若刀数无限，总时间却可以收在一个有限值里（就像一列时长递减的任务挤在一段有限时间里）；那样的话，流在「有限时间」里经过无穷多次拼接，极限行为无法控制，几何化的分类永远到不了手。这道壁，是整个纲领最后的悬崖——哈密顿学派三十年的心血，止步于此。

佩雷尔曼立壁的砖，还是那把熵尺。约化体积在爆炸序列的极限值，给了奇点一个「配额」：每剪一刀、每补一帽，都要消耗一点配额；配额出自一个从初始形状算起的总量，只减不增。于是账目封顶：有限时间内，刀数不超过「总量除以每刀最少消耗」——一个明确的整数上限。剪辑不成灾，流在任一有限时段里都只经历有限次手术——时光之壁立起来了。

壁一立起，路就直了。把时间轴拉长：有限刀数保证了每一时段流的干净；把时段接起来，流或收成点（整块形状没了），或稳定成若干粗块；粗块的老化终点由熵尺锁定为八种标准几何之一。庞加莱猜想顺势落地：一个简单连通的闭三维空间——没有洞、圈圈能收紧——在流里不该有任何细颈可剪（剪出的类球件也收点），最终整块收成点：它就是三维球。一行 1904 年的猜想，被一道方程用手术和熵尺收进口袋。下一页，看几何化的收官账。

把整条流水线从头串一遍。任取一个闭三维空间，开流：熵尺护航，曲率处处受控；细颈出现，按档剪断、补帽、重开；有限刀数保证流水线在任一时段内可控；时间足够长之后，剩下的每一粗块「内部均匀」——老化终点被锁定为八种标准几何之一。把剪走的小件与剩下的粗块拼回一张总图：原形状沿其本性被切成若干块，每块恰配八种几何之一——瑟斯顿几何化猜想，证毕。庞加莱猜想作为「无洞且简单连通」之特例，已在 p.22 收口。

八种几何里，双曲是最肥沃的一类。瑟斯顿当年靠双曲几何的实例撑起猜想：他证明「大多数」三维形状配上双曲几何（负曲率、圆周长按二π 乘双曲正弦 r 涨、三角形内角和不足一百八十度）；几何化定理把「大多数」升级成「全部」——凡不配双曲的块，必有更细的结构（圆因子、幂零因子等），而那些结构本身就是分类清单上的格子。三维形状的户口册，从此一页不缺。

一笔公道账：功劳的分布。哈密顿给了引擎与手术的想法，瑟斯顿给了图与方向；佩雷尔曼给的是三样「使之成立」的东西——熵尺（锁死奇点与塌缩）、刀工规格（标准件剪补）、时光之壁（刀数封顶）。没有引擎，无路可走；没有图，无的放矢；没有这三样，路走不完。数学史上的通行评价：这是三代人接力的一场会战，最后一段最难。下一页，看第三笔暗线。

先把奖金的章程摆正。2000 年 5 月，克雷研究所设七大难题，每题悬赏一百万美元；章程写得清楚：解必须先「公诸于众」，再经两年的「社区冷静期」——全世界有时间查证、驳难；期满无碍，研究所经顾问委员会审议后授奖。注意章程的两个关键词：公诸于众——不必等期刊刊出，公开可查即可；冷静期——防的是抢跑与误证。这套章程本是数学圈内人设计的防错机制，谁也没料到，将来它要面对一位根本不要奖的证明者。

把佩雷尔曼的账对着章程算。公诸于众：2002 年 11 月三篇预印本之首上库——符合；冷静期：从最后一篇（2003-07）到克雷决议（2010-03）相隔六年半——远超两年，且期间有六七支独立团队的四百页详解逐行背书——冗余度远超章程要求。顾问委员会的审议结论（2010 年公布）：证明成立。换言之，克雷奖的授出，走的正是那条「不靠期刊」的路：预印本＋社区查证——他自己选的那条路，被最权威的悬赏机构追认成了通途。

再看这道题在七大难题里的特殊位置。七题之中，庞加莱猜想是唯一的「纯数学史内伤」——其余六题各领一个现代分支的门户，唯独它悬了一百年、卷走了几十份失败的证明。它的破解也因此成了标杆事件：证明用的是最「苏联学派」的手艺——不等式、夹逼、估计，一步不让；奖励的是最「无我」的作者——不投稿、不领奖、不收钱。下一页，看校对团的账目结构。

校对团的工作量本身就值得记账。佩雷尔曼三篇预印本合计不到三百页——而且按他本人的写作习惯，大量「容易但冗长」的验证一笔带过：文中常见「类似可得」「细节直接」的字样。这不是偷懒，是写给内行的压缩：每处「直接」背后都是一条能自行补全的通路。校对团的详解合计四百页以上——把每一处「直接」展开、把每一个「类似」落实。三百页原文换四百页详解，这个比例在世纪证明里属于体面：原文自洽、详解可循。

详解最大的功绩，是把「纲要」变成「课本」。预印本里的刀工章节高度浓缩：精度时刻怎么选、帽的规格怎么定、配额账怎么入册——原文各占数行；详解本逐条展开成章，还补上了原文未写的边角情形。后学者如今读这门手艺，读的多半是详解——但每本详解的每一页都指回预印本：出处、编号、引理对应，一一在案。这条「原文—详解」的双轨制，后来成了大证明的通行范式。

而原文有一处任何详解都替代不了的价值。熵尺与配额两样核心构造，从头到尾是佩雷尔曼式的：定义、不等式、夹逼——三步之内见分晓，没有可以再压缩的余地。有校对者坦言：读到那几节，感觉不是在核对，是在看一个工程师当面把一台机器拆到最后一颗螺丝，再装回去——每一颗都有名字。下一页，回到 2006 年那个夏天。

把「领奖」当作一道演算题来做，最能看清他的算法。设领奖为一步棋，它带来的收益：奖章一枚、报告一场、头衔加身、经费与职位随行。成本：一场对着世界讲「我是谁」的仪式——获奖人致辞、媒体围访、生平被翻检。他的目标函数里，前一项的权重是零（定理已进工具箱），后一项的代价是无穷（安静是他唯一的生产资料）。零收益对无穷代价，最优解只有一步：弃权。这不是情绪，是算术。

同一套算法也解释了他对论文期刊的处理。设「投期刊」为一步棋：收益是「官方生效」的名分；成本是三五年之期与把持权。而定理的生效，他交给了更硬的机制——公开可查证。两道题共用同一条解法：把一切「以签名为凭」的环节替换成「以证据为凭」的环节。菲尔兹奖的奖章留在马德里的台上，正是这个算法的输出：签名栏空着，证据链满着。

有人替他算过另一种活法。若 1995 年留在美国：讲席、经费、学会要职，顺理成章；若 2006 年领奖：此后的人生被会议与典礼排满。两条路他都关了，只留一条回圣彼得堡的窄路。窄路上他做了什么：继续读书、陪母亲、与极少的几个旧同行通信——以及在很长一段时间里，不再碰里奇流。这一步的缘故，交汇页见。下一页，看第四笔暗线。

几何化定理最直接的遗产：三维拓扑的「难题清单」清零。三维流形识别（给定一个三维形状，判定它是哪一种标准几何）、三维地图组（同调与基本群的账目）、结与三维空间的嵌套——昔日一个个单独攻关的难题，如今都成为几何化框架下的例行推演。三维拓扑学家的工作重心整体迁移：从「猜分类」变成「用分类」——一门学科的成熟，标志之一就是它的分类定理变成了别人的工具。

里奇流本身也从「证明专用机」变成「通用引擎」。佩雷尔曼的熵尺与手术，后来被搬去解决别处的老问题：球形定理的流证明（曲率处处为正的形状必是球——用流给出一行式的新证）、四维里奇流的奇点分析（佩雷尔曼框架在四维的推广与改良）、乃至广义相对论里时空形状的演化研究。熵尺的构造思想（给演化方程配单调量）被总结成一种通用手艺，在别的方程上反复复制。

未竟的边界也画得清楚。四维的几何化不存在对应物（四维拓扑远比三维狂野，分类定理级的目标尚未成形）；里奇流的「长期存在性」在一般情形仍是开放题；把流用于高维分类，只有零星结果。换句话说，佩雷尔曼填平的是三维这一格；填平之后，四周的高墙反而看得更清了——这正是好定理的标志：它不结束一门学科，它重画学科的边界。下一页，算遗产的另一本账。

几何化最意外的读者，在天文学界。宇宙学里有一个正经问题：宇宙的整体形状是什么——有限还是无限、有没有洞、弯向哪边。观测给的是局部账（曲率接近零）；整体的拓扑要靠几何化这一类定理收口：三维闭空间的分类清单，正是「有限宇宙」的候选名单。宇宙学家讨论「宇宙是不是一个三维球、是不是双曲的那一款」，用的分类工具直通瑟斯顿与佩雷尔曼。一个纯数学的户口册，成了丈量宇宙的备选清单。

第二处遗产在课堂。几何化定理进课本之后，三维拓扑的研究生课程改了骨架：先是八种几何各开一章，然后直接上流与手术——从「佩雷尔曼之熵」讲起，三个星期走完前人三十年的路。有教科书编者在序言里算过一笔账：2000 年前后，全世界能完整读懂里奇流手术的专家以十位数计；如今每一届研究生里都有人通读三篇预印本——定理一旦成为课本，传承就不再依赖任何个人。

第三处遗产最抽象，也最持久。「给演化方程配单调量」的方法论溢出了几何：在别的几何方程、乃至离散的图形过程里，模仿佩雷尔曼式熵尺的构造接连出现。数学史家已经开始把 2002—2003 那三篇预印本与十九世纪的几次大综合并论：一次证明同时收掉两个猜想、立起一套工具、改写一门学科的地形——这样的节点，一个世纪数不出几次。下一页，回到人。

把荣誉的时间线排成一张对账单。1982 年，国际数学奥林匹克金牌——收进抽屉；1990 年前后，欧洲数学会青年奖（他赴会领了，是履历上罕见的例外）；1996 年，欧洲数学学会颁发给青年数学家的奖项——据报道他领了奖但未做巡回报告；2006 年，菲尔兹奖——拒；2010 年，克雷千禧奖——拒。还有一份特殊清单：多个机构的名誉博士、外籍院士之邀，或婉拒或未复——名单长到研究他的人专门为此列过表。

领与不领之间，有一条看得见的界线。青年时代的奖项，他出席领过——彼时奖项还是「同行的一句肯定」，尺度与一场学术报告相当；世纪证明之后的名目，全部落在「仪式」一侧：典礼、致辞、全球转播——那是给「名字」发的东西。界线由此分明：肯定可以收，仪式不必有。2010 年那笔奖金越过界线的另一端（分配不公），连「肯定」都算不上，自然一票否决。

这张对账单在数学史上几乎没有同类。被授予而拒领菲尔兹奖的，历史上唯一；被授予而拒领千禧奖的，同样唯一。但数学界给他的「荣誉」也在另一侧默默累积：以他命名的对象——熵、手术、体积、邻域——在文献里逐年增多；按数学界的传统，这才是最高一级的荣誉：名字进术语，不再需要本人到场。下一页，暗线第五笔。