米尔诺 · 二十八种弯曲
约翰·威拉德·米尔诺（1931— ），美国新泽西州奥兰治人，在普林斯顿长大、念书、教书，后半生在石溪。他一辈子做的事，可以概括成一句话：给「形状」装一副新的感官。形状看不见摸不着，可它有差别；差别藏在哪儿，普通眼睛看不出来，得另造工具去摸。
他做了三件事。第一件是一只球：一九五六年，他二十五岁，造出一批七维的球，它们跟标准的七维球面一模一样，却没法光滑地变成对方——「球面只有一种」这条两千年的直觉，被这一只球推翻了。第二件是一张表：此后七年，他与凯尔韦尔把这些球排成队，发现每一维上都只有有限多个；这张表后来成了整个高维拓扑的底账。第三件是一批书：从《莫尔斯理论》到《从微分观点看拓扑》，他的讲义被几代人当入门书读——他不但自己看见，还把「怎么看」写下来交给别人。
明线四样：一只球（七维怪球）、一个不变量（用数去摸形状）、一张表（同伦球群）、一本书（教出来的数学）。
暗线一句：差别不在形状，而在怎样弯曲。两只球，从外面看一样，摸着也一样，可是「弯法」不同：一种弯法能顺顺当当铺开坐标，另一种不能。这种差别不是形状的差别，是手感的差别；手感说不出口，只能用不变量去摸。摸到了，才知道原来「一样」有很多种一样。
五幕：第一幕讲一只球的诞生（p.6—p.12）；第二幕讲二十八这个数是怎么数出来的（p.13—p.19）；第三幕讲他造的三件工具与那几本书（p.20—p.26）；第四幕讲一个点里的数（p.27—p.33）；第五幕讲讲台、研究所与晚年的奖项（p.34—p.40）。
三层读法照旧：故事层无需预备知识；数学层只用加减乘除、平方、余数与几张小表（p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37），每一步都从头算起；注疏层给出原始论文、版本与研究文献，逐页可查。
先把时间拨到 1950 年。这年，普林斯顿大学数学系有个十九岁的本科生，交出一篇论文。题目关于空间里的闭曲线：一条打了结的绳圈，无论怎么拉、怎么扭，只要不打散，它弯折的总量有一个下限——至少两整圈。
这个结论不新，别人猜过。新的是证明：他把「弯曲」这件事变成一个可以积分的量，然后证明这个量有底。同一时期，匈牙利数学家法里独立证出同一个结果，所以今天教科书上写的是两个人的名字。一个十九岁的学生，与一位成名学者同时摸到同一处，这件事本身就说明：他手里有一副好用的工具。
工具是从哪儿来的。他自己后来说，小时候最喜欢的两样东西是地图与天文表：地图教他看「形状怎么变」，天文表教他看「数怎么排」。这两样凑在一起，就是他一生的方法——把形状翻译成数，再从数里读出形状的秘密。
一九五一他本科毕业，论文写的是链环；一九五三，博士还没读完，普林斯顿就给了他教职——这在当时很少见；一九五四，博士论文交上去，题目是〈链环的同伦〉，导师是福克斯。三年之后，就是那只球。
这本册子要讲的，就是一个人怎样用一副自己打磨的工具，摸出一只看不见的球。先看他待过的几间屋子。
他一生待过三间屋子，都在美国东岸，彼此相距不过两小时车程。第一间在普林斯顿：一九五三到一九六七，从年轻教师做到正教授，那只球就是在这里造出来的。第二间在普林斯顿城外的高等研究院：一九七〇到一九九〇，二十年，没有教学任务，只有讨论班。第三间在长岛的石溪：一九八九年起，他去创办一个数学研究所，一直做到现在。
三间屋子的气质完全不同。大学里有课、有学生、有行政；研究院里只有人和黑板，安静得能听见走廊的风；石溪是新建的州立大学，地方大、底子薄，正需要有人去把架子搭起来。他从最安静的地方，走到最需要动手的地方。
最容易被忽略的是中间那二十年。高等研究院不要求教课，也不考核论文数量，只给一张桌子与一整片时间。有人在那里松掉，也有人在那里把一辈子的想法收拢成书。米尔诺属于后一种：那二十年，他写《复超曲面的奇异点》，写《代数 K 理论导引》，还开始碰一个当时没几个人注意的方向——一维动力系统。
石溪那一段最能看出他的性子。一九八九年他五十八岁，本可以在研究院待到退休，却跑到一所州立大学去当首任所长。所里的规矩定得很简单：每周有讨论班，来的人不分资历，谁有问题谁先讲。他办学的方式，与他写书的方式一样——把门槛放低，把标准放高。
三间屋子，三副架子。下一页把这一册要讲的三样东西摆出来：一只球、一个不变量、一张表。
这本册子要处理三样东西。三样都很朴素：一只球、一枚刻度环、一张分格的表。可它们各自对应二十世纪拓扑里的三件大事。
第一样是一只球。球是最简单的形状，简单到没人怀疑过它。可「简单」有两种意思：一种是「从外面看是一个球」，一种是「从里面量，每一点的弯曲都平滑地接得上」。一九五六年之前，人们以为这两种意思是一回事；那一年，一只七维的球把这两件事掰开了。
第二样是一枚刻度环。要说出两只球哪里不同，不能靠看，得靠量。量什么：量它上面一层「纤维」的拧法。拧法可以用一个整数记下来，这个整数叫不变量。不变量像尺子上的刻度：形状怎么变，刻度不变；刻度不同，形状必不同。
第三样是一张分格的表。一只怪球不算什么，要紧的是「一共有多少只」。把每一维的怪球排成队，队有加法、有零元、有逆元，于是成了一个群。这张表一行一维，填到一九六三年，人们发现：除四维以外，每一格的数目都是有限的。
三样东西有一个共同点。它们都从「一样」这个词下手：什么叫一样，什么叫不一样，凭什么说它不一样。「一样」是最容易被当成废话的词，也是数学里最难说清的事。米尔诺一辈子做的事，说到底是把「一样」拆成好几层，再给每一层造一把尺。
先看第一样：一只球怎么会被造出来。下一幕从一九五六年普林斯顿的一间办公室讲起。
1956 年的普林斯顿，一个二十五岁的年轻教师在做一件没人吩咐他做的事。他在检查七维的流形——不是三维空间里的曲面，是七维的「面」；这种对象没法画，只能在纸上用代数写出来，再用定理去推。他手上有一套现成的工具：把七维的东西当作某个八维东西的边界，八维那边有很好的公式可以算。
他算出来的结果让他自己不敢信。按公式，有些七维流形从「连续形变」的角度看完全是球，可从「光滑」的角度看却不是——它们没法光滑地摊平成标准的球面。这只球是圆的，可它在某处「拧」了一下，这一拧抹不掉。
他先想到的是另一件事。七维有没有庞加莱猜想那样的怪物：一个与球有相同「同伦」却不与球同胚的东西。他一度以为自己找到了。再算下去才发现不是：这些东西确实同胚于球，问题出在更细的一层——同胚之上还有「光滑」这一层，而它们在这一层上分家了。
论文的标题写得极谨慎：〈与七维球面同胚的流形〉。不是「七维球面有二十八种」，也不是「球面只有一种的直觉错了」；只说「与它同胚的流形」。一个二十五岁的人，手里握着一个足以推翻两千年直觉的结果，标题里却只放了一个平淡的介词。
文章发表在 1956 年《数学年刊》第 64 卷，七页。七页之后，拓扑学换了一副样子：原来「形状」不是一件事，是一串事——同伦、同胚、光滑，一层比一层细。这一幕，就讲这只球是怎么被造出来、又是怎么被认出来的。
先把「球面」这个词定清楚。数学家说的球面，不是实心的球，是球的表皮。二维的球面是篮球的外壳；一维的球面是一个圆圈；零维的球面是两个点。维数说的是「表皮自己的维数」，不是它围起来的空间的维数。
统一的说法很短。在 n＋1 维空间里，到原点距离恰好等于 1 的点的全体，就叫 n 维球面。平面上到原点距离 1 的点绕成一圈，这是 n＝1。空间里到原点距离 1 的点糊成篮球壳，这是 n＝2。四维空间里到原点距离 1 的点——画不出来，可定义与前两个一模一样。
七维球面也是这样定义的。八维空间里每个点要用八个实数记录，要求这八个数的平方和等于 1。它在纸上只是一行方程，可它的性质与篮球壳是一路的：每一点看出去，四周都一样；剪开只能摊成一小片。
为什么偏偏是七维。低维有巧合：一、二、三维的球面，光滑结构只有一种，谁也没法在上面做文章。四维最怪，至今没人说清。五维、六维也干净。到七维，工具刚好够用、障碍刚好出现——第一批怪球就长在这里。
球面还有一件常被忽略的性质。它是最「均匀」的形状。所谓「光滑结构」，说的就是「能不能把许多小片顺顺当当粘成一整张」；球面上做这件事，在低维只有一种做法，在七维就不止一种。
n＝0：两个点 n＝1：一个圆圈 n＝2：篮球壳
n＝3：四维空间中的单位球面（画不出，可定义）
n＝7：八个实数，平方和等于 1
维数＝表皮自己的维数，不是它围住的空间的维数
「一样」这个词，数学里至少要分两层。第一层叫同胚：两个东西能连续地互相变形，不撕裂、不粘合。橡皮几何说的就是这一层——方纸可以揉成圆片，圆片可以捏回方形，只要不撕，就算同胚。
第二层叫微分同胚。要求更严：变形不但要连续，还要光滑——每一处都有明确的切平面，不许出现尖角、折痕、毛刺。方纸揉成圆片，中间某一步一定会出现折角；所以方纸与圆片同胚，却在「光滑」这一层上要另作处理，不能直接说一样。
用一个更干净的对照。一只标准的篮球壳，与一只表面被轻轻捏过的篮球壳：两只都同胚——捏过的那只没有撕开，吹口气就能鼓回原样。可如果捏的方式使得某一处再也无法光滑地摊平，那么两只在「光滑」这一层上就不同了。
关键是：这种差异看不见。摸不到「光滑结构」，就像摸不到地图的投影方式——地图拿在手里是一张纸，投影方式藏在坐标的换算法里。两只球从外面看、从里面量距离，都可以一模一样；差别在「怎样把局部的小片粘起来」。
所以需要第三种东西。不能靠看，不能靠摸，只能靠算：找一个量，它在光滑变形下不变，而在两只球上取值不同。这样的量叫不变量。找到了，就等于给看不见的差别装了一只指针。
同胚：连续、可逆、逆也连续（允许折痕）
微分同胚：再加上「处处光滑」（不许折痕与尖角）
同胚 ⇒ 拓扑上一样；微分同胚 ⇒ 光滑上一样
怪球：同胚于标准球面，但不同胚微分
米尔诺的构造，用的是「丛」。先想一把刷子：刷柄是一根线，刷毛是一片；整把刷子就是「底」上每一点挂着一撮「纤维」。数学里的丛也一样：底是一个空间，每一点上挂一个纤维，所有纤维拼成一个大空间。
他的底是四维球面，纤维是三维球面。在四维球面的每一点上挂一个三维球面，再把它们顺次粘起来。粘法不止一种：绕一圈回到原处时，纤维可以原地不动，也可以拧一下。拧几次就是一个整数；拧法不同，粘出来的七维空间就不同。
怎么知道粘出来的东西是球。有一个判据：如果这个大空间上存在一个光滑函数，只有两个临界点（一个极小、一个极大），那么它必然同胚于球面。这条判据来自里布，说的是「形状被临界点的个数管住」。米尔诺选的参数恰好满足它，所以它们全是球，一只不缺。
接下来才是关键：怎么区分它们。他取八维的那只「碗」——七维球是它的边界。碗有内壁有外壁，两边合起来算一个「符号差」：正方向的平方项比负方向多几个，减一减，得一个整数。这个整数在光滑变形下不变。
算出来的是一个模 7 的判据。记 k 为第一庞特里亚金数的一半，则这只球能光滑地变成标准球面，当且仅当 k2−1 能被 7 整除。取 k＝1，1−1＝0，整除，是标准球；取 k＝2，4−1＝3，不整除，不是标准球。一只怪球就这样被算了出来。
k＝1：12−1＝0，7 整除 0 → 标准球面
k＝2：22−1＝3，7 不整除 3 → 怪球
k＝3：9−1＝8，7 不整除 8 → 怪球
k＝8：64−1＝63＝7×9 → 又回到标准球面
这一页不谈定理，谈一件更基本的事。判断「两个东西一样」，靠的是眼睛与手：看着一样，摸着一样，就说一样。可这只球告诉我们，看与摸都停在某一层，下面还有一层，那一层不对外观负责。
打个比方。两张纸，印着同一张地图，尺寸一样、颜色一样。可一张是平铺印的，一张是把地球仪剪开摊平印的。看着都是地图，用手指划过都是纸；可要在上面画一条最短路线，两张纸给出的答案完全不同。差别不在纸，在投影。
光滑结构就是那只球的「投影」。它决定了「直线」是什么、「光滑曲线」是什么、「两点之间最短」是什么。它不改变形状，只改变形状里面能做什么。所以两只球可以看着一样、摸着一样，却在「怎样弯曲」上完全不同。
这也是暗线的第一层意思：差别不在形状，而在怎样弯曲。形状是轮廓，弯曲是手感；轮廓可以画，手感只能练。数学家没有手，只好造一把尺——不变量就是那把尺。
再往深一层。「一样」不是一件事，是一串事。两个东西可以在一层上一样、在下一层上不一样；越往下越细，细到最后，可能连「有多少种一样」都数得清。这只球的意义，不在于它怪，而在于它证明了：熟悉的那一层，不是最后一层。
下一页把两件事接上：一只看不见的球，与一把量它的尺。造尺的人，此后二十年都在做同一件事——为看不清的东西造尺。
把第一幕的两条线接起来。一条线是球：一只七维的、看着是球、摸着也是球、却抹不平的东西。另一条线是尺：一个整数、一套判据，能把这东西与标准球面分开。球是问题，尺是答案。
尺子不是天上掉下来的。它来自另一门学问：示性类。粗糙地说，一个空间如果能在上面挂纤维，挂法就有讲究；讲究可以用几个整数记下来，这几个整数不随变形而变。米尔诺的贡献，是把这几个整数用在了一只具体的球上。
这一步为什么震动人。因为在这之前，「球面只有一种」不是定理，是共识——两千年来没人怀疑过：球就是球，还能有几种。共识不需要证明，也不需要工具；这只球一出现，共识就变成了需要证明的命题，而证明的工具还不存在。
于是拓扑学分成两半。一半继续研究「形状」，另一半开始研究「形状上还能加什么」。后一半后来长成一门大学科，叫微分拓扑；它的第一课，就是这只球。
还有一层意义，与暗线有关。这只球证明：眼睛能看见的，只是一样的最外面一层；要看见更里面，得先承认自己看不见，然后去造工具。承认看不见，是造工具的前提；不肯承认，就永远停在看。
一只球之后是二十八。下一幕要数清：这样的球，到底有多少只。
第一幕讲完，把要点收一收。一只七维的球，用四维球面上的三维球丛造出来；它同胚于标准球面，却不同胚微分；判据是一个模 7 的整除条件，算得出来、验得过去。
三件事值得记住。第一，维数不是吓人的东西：七维球面就是八个实数平方和等于 1，定义与篮球壳一样，只是数多几个。第二，「一样」分层：同胚是一层，光滑是下一层，越往下越细。第三，看不见的差别可以用数去摸：找一个在变形下不变的量，取值不同即不同。
还有一个方法论上的收获。这只球不是从「研究球面」得来的，是从「检查一批候选对象」得来的：先造一批，再用判据筛。造得多、筛得准，是这一行最常见的工作方式——不是灵光一闪，是把候选排成队，一个一个过。
最后记一个人物细节。论文只有七页，标题平淡，没有一句豪言。这种写法后来成了他的标记：结论有多惊人，措辞就有多克制。克制不是谦虚的姿态，是让结论自己说话的技术——读者若被措辞打动，就没在读证明。
下一幕从一个数开始：二十八。这个数不是猜的，是一只一只数出来的；数它的人，除了米尔诺，还有一位叫凯尔韦尔。
一只怪球不算什么。米尔诺造出来的时候，只知道「至少七只」：参数取不同整数，算出来的不变量不同，于是彼此不同；至于还有没有别的、总共多少只，他不知道。
回答这个问题的人叫凯尔韦尔。他一九二九年生于法国，战后到美国，做的是「把流形切开再缝上」的技术，后来叫手术理论。一九六〇年他到普林斯顿访问，与米尔诺碰上了同一个念头：与其一只一只造，不如把所有可能的球当成一个集合，看这个集合有多大。
他们的做法是给球配一个「加法」。两只球，各挖掉一个小圆盘，把两个洞的边缘对齐缝起来，得到第三只球。这个操作叫连通和。缝出来的东西仍然是球，而且缝法不影响结果——先缝哪只、后缝哪只，得到的球一样。
有了加法，就有了结构。零元是标准球面（跟谁缝都不变）；每只球都有逆元（拿它自己缝上，得到标准球面）；加法可交换。于是所有七维怪球连同标准球面，构成一个群。群的阶，就是这个问题的答案。
答案在一九六三年发表：二十八。七维球面上共有二十八种光滑结构，构成一个二十八阶的循环群，记作 Z/28。三年前找到的七只，只是其中七个成员；剩下的二十一只，当时还没人造出来。
先说清「缝」这个动作。取两只同样维数的球，各在一个小圆盘上剪开——剪掉一小块，露出一个圆形的口。把两个口对齐，沿着边缘粘起来。粘完的东西，还是一只球，只是中间多了一道看不见的接缝。
接缝为什么不影响结果。因为剪掉的那一小块是「平」的：在球面上任取一小片，都能摊平；摊平之后再粘回去，能粘得跟原来一模一样。所以缝一只标准球，等于什么都没做。这条性质保证了「零元」存在。
缝自己得到什么。一只怪球与自己缝，未必得到标准球——要看它是第几只。二十八阶的循环群是这样的：把「一只基本怪球」记作 g，则所有球依次是 0、g、2g、…、27g；缝两次是 2g，缝二十八次回到 0。所以「自己缝自己」多少次回到标准球，就把这只球的位置定了下来。
用一张小表看得更清楚。把位置记作 0 到 27。缝两次，就是把两个位置相加，超过 27 就减去 28（取余数）。这是一套极简单的算术，可它管住了七维球面上全部的光滑结构。
为什么这个结构是循环群而不是别的群。由计算得出：七维的情形恰好只有一个生成元，所有怪球都是它的倍数。别的维数未必如此——有的维数上，怪球群的形状更复杂。这一点说明，维数一变，规矩就变。
缝两次：位置 a 与 b → 位置 (a＋b) 除 28 的余数
缝三次：3、6、9…；缝 28 次：回到 0（标准球面）
0＝标准球面；1＝基本怪球 g；27＝g 的逆元
七维：Z/28；八维：Z/2；十一维：992 阶
知道了七维有二十八只，下一个问题自然是一般的维数。凯尔韦尔与米尔诺把同一套办法推到所有维数，得到一张表：一行一维，填这一维上怪球的个数。表不长，可它把高维拓扑的地基摆平了。
表的前几行出乎意料地干净。一维、二维、三维：只有一种，没有怪球。五维、六维：也没有。八维：两种。九维：八种。十维：六种。到十一维忽然变成九百九十二种——数目不是慢慢涨，是跳着涨。
最刺眼的是四维。表上四维那一格，至今空着。没人证明只有一种，也没人指出第二种。四维的怪球问题与「光滑四维庞加莱猜想」是同一件事，几十年来一直是拓扑学最硬的骨头之一。
表格背后是一条定理。他们的结论是：除四维以外，每一维上的怪球都只有有限多个。这条「有限性」不是靠一只一只数出来的，是靠一套理论压出来的——先证明所有怪球构成一个群，再证明这个群在每一维上有限。
顺带说一个巧合。二十八这个数，也是第二个完全数：1＋2＋4＋7＋14＝28。两件事没有因果关系——怪球的数目是从拓扑算出来的，跟约数之和无关。可这个巧合常被人提起，因为它让一个抽象的数显得亲切。
n＝1、2、3、5、6：1 种（无怪球）
n＝4：未知（光滑四维庞加莱猜想）
n＝7：28 n＝8：2 n＝9：8 n＝10：6
n＝11：992 n＝15：16256
先把「怪球」换一个说法。一只与某维球面同胚的流形，如果它「同伦上」也像球（所有该缩的点都能缩），就叫同伦球。怪球都是同伦球；反过来，同伦球未必是标准球面。于是问题变成：同伦球有多少类。
有限性的证明分两步。第一步：把每个同伦球切开、重新缝成标准件，这一步能做的操作只有有限多种，所以同伦球的「手术类」有限。第二步：同一个手术类里，能造出的球也有限。两步合起来，得有限。
技术上靠一件工具：「手术」。把流形里一个小圆筒挖掉，换上一段形状不同、边界相同的件，像给管道换一段接头。手术不改变边界，所以做前做后是同维的球；可它改变内部结构，能把一只怪球一步步简化，直到只剩一个标准骨架。
这套办法后来独立成学。一九六〇年代，手术理论发展成一套完整的分类工具，能把「同伦型」与「光滑型」之间差多少算清楚。凯尔韦尔与米尔诺的论文是它的第一块基石。
还有一件副产品，比结论更有用。他们把「差多少」量化成一个群：所有同伦球按连通和成群，这个群记作 Θn。这个记号后来成了通用语言——今天研究高维流形的人，第一句话往往是「先看 Θn」。
同伦球：同胚于球面，且同伦型也像球
Θn：同伦球按连通和构成的群（n≥5 时有限）
手术：挖掉一段圆筒、换上边界相同的另一段
两步有限性：手术类有限 → 每类内的球也有限
这一页讲「数清」这件事的分量。一只怪球是奇观：看见的人会惊讶。二十八只怪球是知识：知道的人可以安排下一步。奇观只能围观，知识可以施工。
数清带来三样东西。第一是界限：知道总共二十八只，就知道「再找也是这二十八只里的」，不必无限搜下去。第二是结构：知道它们成群，就能用群论去推，不必一只一只验。第三是坐标：任取一只怪球，都能说出它在队伍里的位置。
这也是数学与收藏的区别。收藏家要的是「又找到一只」，数学家要的是「一共几只」。前者靠运气，后者靠方法；方法一旦成立，剩下的只是算。米尔诺与凯尔韦尔做的，就是把「找怪球」从运气变成算法。
还有一层。那张表上四维空着。空着不是没做，是做到了边界：所有办法在四维都失效，因为四维有太多「软」的自由度，手术做不下去。空着的一格，比填满的格子更能说明这门学问的形状。
下一页把两幕接上：一只怪球如何变成一张表，一张表又如何反过来告诉人「形状」该怎么研究。
把第一幕与第二幕接起来。第一幕造出一只球，第二幕把它变成一张表里的一格。这个转变看似只是「多找了几个」，其实是把问题的性质换了。
原来的问题是「球面只有一种吗」。这个问题只能回答是或不是，回答完就结束。新的问题是「每一维上有几种」——这个问题有结构：有加法、有零元、有表；答完一格还有下一格，答完一维还有下一维。
结构一旦出现，工具就跟着来。群论能算阶、能找生成元、能分解；代数的整套机器可以搬过来用。此后二十年，怪球问题的进展，多半不是靠新的几何构造，而是靠算群——算出某一维的群有几个元素，就知道那一维有几只怪球。
这也是二十世纪数学的一个特征。把「有没有」的问题改写成「有多少、怎么排」的问题，往往比直接回答更有力。因为后一个问题自带结构，而结构会自己长出方法。
回头看他那七页论文。七页里没有提「一共多少」，只提「存在」。可正是这个存在的证明，让「一共多少」变得可以问。提出问题的方式，决定了后面五十年的路。
下一幕换一个角度：不再问「有多少」，而问「凭什么能算」。答案是一批工具——莫尔斯理论、配边、奇异点。
第二幕收一收。怪球可以缝：两只球各挖一个小口，对齐缝上，得到第三只。缝法不影响结果，于是所有同伦球构成一个群 Θn。七维的这个群有二十八个元素，是一个循环群。
三件事值得记住。第一，加法来自一个动作：缝。抽象结构往往从一个具体的操作长出来，不是凭空规定的。第二，有限性靠两步压：手术类有限，每类里的球也有限。第三，表比结论有用：一格一格填出来的表，后面五十年一直在用。
还有一件要说明的事。二十八只怪球里，米尔诺最初造出的只有七只；剩下二十一只，是后来别人补上的。一九六六年，布里斯科恩给出一个极简单的方程，它的解集正好是那只「基本怪球」——从此二十八只都有了具体的样子。
这个补法很有意思。一只抽象的球，最后可以写成一行方程：五个复数满足一个等式，再限制在一个九维球面上。抽象的构造落到具体的方程里，才算真正被人握住。
下一幕讲工具。造球、数球、算球，靠的都是同一批东西：临界点、配边、奇异点。它们不是为怪球发明的，却在怪球上第一次显出威力。
一九五八年，米尔诺在普林斯顿讲一门课。课的内容是「微分拓扑」，一门当时还没有教科书的学问。他把讲稿油印出来，发给听课的人；几年之后，这份讲稿成了好几代人的入门书。
那个年代，好讲义靠手抄流传。一门新课没有书，听课的人自己记，记完借给同学抄；抄本越传越远，错字越抄越多。作者若认真，就干脆把讲义印出来——油印机、蜡纸、滚筒，一次印几十份，装订用订书机。米尔诺的几本书，最早都是这样出来的。
这些书的特别之处，是薄。《莫尔斯理论》一百五十来页，《h 配边定理讲义》不到一百页，《从微分观点看拓扑》七十来页。薄不等于浅：该有的证明一步不少，只是废话一句不留。用他自己的说法，数学写作的目标是「让读者读完能自己往前走」。
薄书为什么重要。因为工具要传下去，得先能被人拿起来。一本八百页的专著，只有专家会读；一本八十页的讲义，学生敢读。二十世纪后半叶，许多国家的拓扑课都是从这几本薄书开始的。
写书与造球，是同一件事的两面。造球时他用别人造的工具；写书时他为别人造工具。前者是把工具用到极限，后者是把工具交出去。两件事交替进行，构成了他一生的节奏。
莫尔斯理论讲一件很朴素的事：看一个形状，只需要看它的「山」与「谷」。在形状上放一个高度函数，沿着它往上走，走到不能再高就是峰，走到不能再低就是谷，还有一种地方——往一个方向升、往另一个方向降，叫鞍点。这三类地方统称临界点。
临界点能分级。在临界点附近，形状像一个碗、一个马鞍、或者一个倒扣的碗。碗底是极小（指数 0），马鞍是鞍点（指数 1），倒扣的碗顶是极大（指数 2）。指数就是「往下走有几个方向」。
关键结论是：临界点定了形状。把这些临界点按指数排好，每遇到一个指数 k 的点，就往形状上粘一个 k 维的「把手」。粘完全部把手，形状就搭好了。所以形状的结构，完全由一张「临界点清单」决定。
这张清单还能验算。把所有临界点按指数交替相加相减：指数 0 的加，指数 1 的减，指数 2 的加……结果一定等于欧拉示性数。这是一条硬约束：清单不能乱写，写错了立刻算不平。
拿三个形状试。球面上放高度函数：一个底、一个顶，1＋1＝2，球面的欧拉示性数是 2，对上了。环面（甜甜圈）上：一个底、两个鞍点、一个顶，1−2＋1＝0，环面的欧拉示性数是 0，也对上了。双环面：一个底、四个鞍点、一个顶，1−4＋1＝−2，正是它的欧拉示性数。
球面：1 底（指数 0）＋1 顶（指数 2）→ 1＋1＝2 ＝ χ
环面：1 底＋2 鞍（指数 1）＋1 顶 → 1−2＋1＝0 ＝ χ
双环面：1 底＋4 鞍＋1 顶 → 1−4＋1＝−2 ＝ χ
规则：指数 0 加、1 减、2 加；结果必等于欧拉示性数
第二个工具叫配边。取两个同样维数的闭形状，如果存在一个高一维的形状，它的边界正好是这两个，就说这两个「配边」。好比两块布，如果能缝成一只口袋的两面，它们就是一只口袋的两条边。
配边是一个「等价关系」的雏形。自己与自己配边（中间夹一层厚度）；配边可以传递（两段碗接成一只长碗）；也可以相加（两块布各自缝成口袋，再并排放）。把所有形状按配边分类，得到的是配边群。
为什么要这样分。因为配边把「形状」变成「边界」。边界比形状容易处理：它在高一维里，可以从外面看；它的性质受高一维的形状约束。把一个难题搬到高一维，往往就松了。
米尔诺造球时用的正是这一手。他要判断一只七维的东西是不是标准球面，办法是看它能不能成为某个八维形状的边界，再看那个八维形状的签名。签名是边界不变量：八维形状一换，签名变；可不换边界、只换内部，签名不变。
配边的威力在于「忘掉细节」。两只球只要配边，就在同一个类里；同一个类里的球，很多性质自动相同。于是研究无穷多只球，变成研究有限多个类——这是二十世纪拓扑最常用的一招：先分类，再在类里挑代表。
配边：存在高一维形状，边界恰为这两个
自配边：夹一层厚度（柱体）→ 每个形状与自己配边
配边类 + 并排相加 → 配边群 Ωn
签名是配边不变量：换内部不变，换边界才变
第三个工具是 h 配边定理，也被叫作「高维拓扑的锤子」。它说的是：如果一段高一维的形状，两端的两块边界像「可以互相推过去」那样贴合，那么这段形状就是一根直筒——两端的形状必然一样。
说清「可以互相推过去」。术语叫同伦等价：一端的每个点都能连续地滑到另一端，滑过去滑回来不改变什么。条件只有这一条，结论却很强：整段形状微分同胚于「一端乘一段长度」。
条件是五维以上。这条定理在五维及以上成立，四维不成立。原因很具体：证明要把一段段「把手」挪开，挪的时候需要腾出空间；五维以上空间够大，四维不够——把手会互相卡住。
它的用处是造「标准件」。只要证明一段形状的两端同伦等价，就等于证明它是一根直筒；而直筒是最简单的形状，一切都能算。许多高维定理的证明，最后一步都是「用 h 配边把它拉直」。
这条定理还有一个著名的推论。五维以上的庞加莱猜想，直接被它推出来：与球同伦的形状，两端一夹，拉直成直筒，就是球。所以当斯梅尔 1961 年证出这条定理，五维以上的庞加莱猜想同时就解决了——只剩三维、四维留给后人。
条件：W 的两端 M、M′ 同伦等价（五维以上）
结论：W 微分同胚于 M×[0,1]（一根直筒）
推论：五维以上庞加莱猜想成立（斯梅尔 1961）
四维失效：把手互相卡住，空间不够
这一页说工具与感官的关系。人看不见七维，也摸不到光滑结构。可数学家不说「看不见就算了」，他们说「造一副能看见的器官」。临界点、配边、h 配边，就是这样的器官。
器官有三个特点。第一，它把一种感觉换成另一种：形状换成清单，换成群，换成表。第二，它可校准：同一副器官量不同的东西，结果能互相对照，对不上就说明哪里错了。第三，它能传给别人：写成书、写成讲义，别人拿去用，用出同样的结果。
这就是数学与直觉的分界。直觉是个人的，说不清、传不了；工具是公共的，说得清、传得了。一个人摸到一只怪球，那是他的事；造出一把能量怪球的尺，那才是数学。
回头看这三件工具。临界点把形状变成清单，配边把形状变成边界，h 配边把边界变成直筒。三次转换，每次都在降低难度：形状难，清单易；形状难，边界易；边界难，直筒易。
这也是暗线的第二层意思：看见不是眼睛的事，是工具的事。没有望远镜，看不见木星的卫星；没有显微镜，看不见细胞；没有不变量，看不见两只球的不同。工具的边界，就是那个时代「能看见」的边界。
下一页把工具与书接上：他造的工具，最后都变成了别人手里的书。
把第三幕的两条线接起来。一条线是工具：临界点、配边、直筒，都是为「看清形状」造的。另一条线是书：讲义、薄册、油印稿，都是为「把工具交出去」写的。造与交，是同一件事的前后两半。
为什么他肯花时间写书。以他的产出速度，写书是「浪费」：同样时间可以多证几个定理。可他显然不这样算。他在序言里说过类似的意思：一门学问若只能靠口耳相传，就长不大；写成书，才有人接着往下走。
书写成什么样，决定了学问长成什么样。他的书有一个共同点：把最难的地方拆成小步，每一步都给出理由；不跳步，也不炫技。读到一半的人不会掉队，读到底的人能自己往下做。这种写法后来被称作「米尔诺式」——清楚到近乎朴素。
效果可以数出来。一九六〇到一九八〇年代，美国几代拓扑学者的第一本书都是那几本薄册；许多国家的数学系，把《从微分观点看拓扑》当作研究生入门。一门学问的地基，就这样被几本小书铺开。
这也回答了「他为什么被记住」。不只因为那只球，也因为那只球之后，人人都能拿到尺。发现者留下一件奇观，教师留下一条路；他两样都留下了。
下一幕换一个方向：从形状转向「点」。奇异点——曲线自己拐回来、曲面自己捏成一个尖的地方，那里藏着另一套数。
第三幕收一收。临界点把形状变成一张清单，配边把形状变成一段边界，h 配边把边界拉成一根直筒。三件工具，三次降难。
三件事值得记住。第一，临界点清单能自查：交替加减必得欧拉示性数，算不平就是错了。第二，配边把无穷多的形状收成有限多个类，这是分类的第一步。第三，h 配边在五维以上成立、四维失效——维数不是细节，它决定方法能不能用。
还有一个方法论上的共同点。三件工具都在做同一件事：把一个「看不懂的对象」换成「看得懂的对象」。换的过程可能很贵——要造新概念、要证新定理；可换完之后，问题就变成机械的：查表、算数、对账。
最后记一笔时间。一九五六造球，一九六三数球，一九六三与一九六五写书。八年之间，他从「发现一只怪球的人」变成「给一门学问铺地基的人」。这个转变不是靠更多天赋，是靠愿意做那些不出彩的活：写清楚、讲明白、留给别人用。
下一幕去一个更小的地方：不是整个形状，而是一个点——曲线在那里拐回来，曲面在那里捏成尖。奇异点里藏着另一套数，那套数后来长成了一门大学问。
一九六〇年代中期，米尔诺换了一个方向。从整个形状，转到形状上的一个点——准确的说是「坏点」：曲线自己拐回来、曲面自己捏成尖、方程在那里解不开的地方。
坏点为什么值得研究。因为好点上看不出信息：一个光滑的点，附近总是一片平坦，没什么可说。所有的信息都挤在坏点上：那里拐了几道弯、几层曲面粘在一起、能不能摊平。把坏点读懂，等于把整个形状的骨架读懂。
这个方向当时很冷。奇异点理论是代数几何与拓扑的边角，做的人不多，方法也杂。他从拓扑这一头切进去：不看方程的代数，而看方程定义的形状在奇异点附近「长什么样」。
一九六八年，他把讲义写成书：《复超曲面的奇异点》。这本一百来页的小书，此后成了奇异点理论的入口——它给出的两个概念，米尔诺数与米尔诺纤维，成了这一行的通用语言。
这一步与前面的工作连着。造怪球时他用的是「八维碗的边界」；研究奇异点时他用的是「球面挖掉奇异点后剩下的部分」。两次都是同一个动作：把难题搬到边界上，再从边界算回去。
先看一个最简单的坏点。方程 x2＋y2＝0，在实数里只有一个解：原点。在复数里它是一对直线 x＝±iy，两条线在原点交叉。这个交叉就是奇异点。
怎么量它有多「重」。米尔诺的办法是数方程「解不动」的程度：把函数对每个变量求偏导，看这些偏导数在原点多快同时变成零。偏导数共同为零的程度越高，奇异点越重。
具体的算法是除。把「所有偏导数的多项式组合」当作一个理想，用全部多项式去除它，看剩下多少个「独立的余项」。余项的个数，就是米尔诺数，记作 μ。它不是近似，是一个精确的整数。
拿三个方程算。x2＋y2：偏导是 2x 与 2y，余项只有 1 个（常数），故 μ＝1。尖点 x2−y3：偏导 2x 与 −3y2，余项是 1 与 y，两个，故 μ＝2。x3＋y4：μ＝(3−1)(4−1)＝6。
一般的规律很整齐。对 xp＋yq 这样的方程，μ＝(p−1)(q−1)。p、q 越大，奇异点越重；μ＝1 时最轻，叫非退化奇异点，此时方程在原点附近可以光滑地拉直成一个标准形。
x2＋y2：μ＝(2−1)(2−1)＝1（最轻）
x2−y3（尖点）：μ＝(2−1)(3−1)＝2
x3＋y4：μ＝(3−1)(4−1)＝6
通式：xp＋yq → μ＝(p−1)(q−1)
米尔诺数的意思，要等到第二步才显出来。把奇异点周围包一只小球，把球心（坏点）挖掉，剩下的部分像一个「打了洞的空间」。在这个洞空间上，原来的函数还在，它可以当作一个「高度」。
奇妙的事发生了。这个洞空间可以被「一圈一圈地切」：沿每个方向看函数值，函数值绕原点转一圈时，洞空间上的一层曲面就跟着扫过一遍。这些层彼此不相交，合起来铺满整个洞空间——这叫纤维化。
每一层叫一只纤维。纤维是一个比原空间低两维的形状；它的「厚度」由米尔诺数决定：纤维同伦等价于 μ 个 n 维球的粘合（在一点处粘起来，像一束气球）。μ 越大，纤维上的「洞」越多。
这一步为什么重要。因为它把一个奇异点，翻译成了一个拓扑对象：球、洞、粘合。奇异点原来只能用方程描述，现在可以用形状描述；形状可以量，量出来的数就是 μ。同一个数，两头都对得上。
这套办法还有一个好处：可以算。μ 用除法算得出来，纤维的结构由 μ 决定，纤维上的洞又能算出别的量（比如亏格、签名）。一个坏点，从此有了一整套可算的档案。
第一步：球面包住奇异点，挖掉球心
第二步：函数值当「高度」，沿角度切出一层层纤维
第三步：纤维同伦等价于 μ 个 n 维球在一点粘合
μ＝米尔诺数：奇异点的「重量」＝纤维上的洞数
局部算清了，还要拼回整体。一个形状上可能有好几个奇异点，每处各有一个 μ。这些局部的数能不能拼成一个全局的数，拼法是否有规矩，是这一页的问题。
能拼，而且拼法很硬。把所有奇异点的贡献加起来，减去形状本身的光滑部分的贡献，得到的是一个整数；这个整数不随形状怎么揉而变。所以它又是一个不变量。
这套「局部加总」的规矩，与第一幕那把尺是同一路。签名是把整体的正负号差加起来；示性类是把局部的弯曲加起来；米尔诺数把奇异点的重量加起来。三件事的做法一样：先找一个局部可算的量，再证明它加起来不变。
为什么「加起来不变」这么要紧。因为可加的东西才能算。一个形状有无限多种揉法，可只要不变量可加，就只需要在一种最方便的形状上算一次。数学里大量的「选一个方便的代表来算」，都靠这条。
于是有了一个统一的看法。二十世纪的拓扑，一半的力气花在造不变量上：同调、上同调、示性类、K 群、配边群。造法各不相同，思路是同一个：把看不的形状，变成可加的数。
局部：每个奇异点一个 μ（可除算）
整体：局部贡献之和 − 光滑部分 = 不变量
同一思路：签名（符号差）、示性类（弯曲和）、K 群（模的和）
可加 ⇒ 可在最方便的代表上算一次
这一页把暗线收一收。第一幕说过：差别不在形状，而在怎样弯曲。可「怎样弯曲」这句话，原本只是一个说法——说不清、摸不着、传不了。米尔诺数把它变成了一个整数。
一个整数有多重。它可以说出口、写进纸、传给下一个人；别人拿去算，算出来的数一样。这就是「看见」的完成：从一种私人的手感，变成一件公共的事实。
回头看这三步。第一步承认看不见（怪球证明「一样」有一层看不见的差别）；第二步造尺（不变量、模 7 判据）；第三步把手感换成数（米尔诺数、纤维、可加的局部量）。三步走完，原先说不清的东西，变得可以查表。
这也是整个二十世纪数学的一个缩影。从「凭直觉看出」，走到「凭工具算出」。直觉没有消失，它退到了选问题的位置：什么问题值得做，什么方向有东西，靠直觉；问题选定之后，靠工具。
下一页把这一路收到一个人身上：一个人怎么在六十年里，反复做这三步——承认看不见、造尺、换数。
把第三幕与第四幕接起来。第三幕在整体上工作：临界点、配边、直筒，都是整个形状的性质。第四幕在局部上工作：一个点、一个 μ、一只纤维。两幕的方向相反。
相反的方向，其实是同一套动作。整体问题的解法是「降到边界」；局部问题的解法是「升到纤维」。一个是往下走一维，一个是往上走一维；走的都是「换个地方看」这条路。
更巧的是同一件工具两边都用。临界点是整体的局部：一个形状的性质，由有限几个点的指数决定。奇异点是局部的整体：一个点的性质，由它周围一整只纤维决定。两者都在说：局部足够，全局可推。
这就是拓扑学的基本信念。一个形状的信息不会均匀地铺开，它集中在少数几个地方：临界点、奇异点、洞。找到这些地方，就等于找到了形状的骨架。剩下的部分是「软的」，怎么揉都行。
他的工作方式也是这个样子。不追求把所有情形都算一遍，而是找到那个「信息集中的地方」，在那里把问题解决，然后让其余部分自己塌下来。这种打法省力，但前提是知道该看哪里——这就是手感。
下一幕离开工作，回到人：一个在石溪办学的人，一个把课讲了一辈子的人，一个在八十岁拿到阿贝尔奖的人。
第四幕收一收。奇异点是形状「信息集中的地方」；量它的重量的数叫米尔诺数 μ，用偏导数的商环维数算；奇异点周围挖个洞，剩下的部分能纤维化，纤维同伦等价于 μ 个球的粘合。
三件事值得记住。第一，μ 是一个精确的整数，不是估计；xp＋yq 时 μ＝(p−1)(q−1)，可以手算。第二，μ＝1 意味着奇异点最轻，方程能光滑拉直。第三，局部量能拼成整体量，拼法可加——这是所有不变量共同的骨架。
还有一个视角上的收获。同一个对象可以两头看：从整体看，它是一只球、一个洞；从局部看，它是一个方程、一个 μ。两种看法给出同一个数，就说明这个数是真的。数学里「两条完全不同的路算出同一个结果」，往往比证明本身更让人相信。
最后记一笔书。《复超曲面的奇异点》只有一百来页，可它把一门边角学问变成了可以教的科目。此后五十年，凡是研究奇异点的人，第一本读的都是它。
下一幕讲晚年：一所新研究所、一批被教出来的学生、一座在八十岁那年拿到的奖。还有一件他晚年才做的事——把动力学也变成可算的。
一九八九年，米尔诺五十八岁，做了一件同龄人少做的事。他离开普林斯顿高等研究院，到纽约长岛的州立大学石溪分校，去创办一个数学研究所。那里没有名望，没有传统，只有一栋楼和一群愿意来的人。
他定的规矩很朴素。每周有讨论班，谁有想法谁讲；来的人不分资历，学生与教授坐同一张桌；讲不完就下次接着讲。不设「成果指标」，也不催论文。这种办所方式在当时的美国不算主流——主流是排名、经费、产出。
研究所慢慢长起来。三十多年过去，它成了几何与拓扑的一个中心：来的访问者一年几十位，讨论班的记录摞起来能装一柜子。而它的创办人一直在那里，头衔是「共同所长」，办公室里最显眼的东西是一块黑板。
二〇一一年，他八十岁，接到一个电话。挪威科学与文学院把当年的阿贝尔奖给他，理由是「在拓扑学、几何与代数中的开创性发现」。此前他拿过菲尔兹奖（1962）、沃尔夫奖（1989）；至此，数学界几项大奖他都拿过一遍。
他的反应很短。公开访谈里，他把功劳推给同行与时代，说自己只是「运气好，赶上拓扑学最好的年份」。这句话不是客套：他确实赶上了一个窗口——战后二十年，拓扑学的方法刚刚齐备，问题还堆在那里没人做。
一九六八年，他去了一趟苏联，听了几场关于代数 K 理论的报告。回来后写了一篇短文，提出一个新的构造：给一个域（比如有理数、实数、复数），造一串群，记作 KMn。
这个构造的原料是「符号」。在一个域里，任取两个非零的数 a、b，写一个记号 {a, b}。规定三条规矩：{a, b} 对每个变量都「乘性」；{a, 1−a}＝0；{a, −a}＝0。用这三条规矩把记号化简，剩下的东西就构成一个群。
规矩里的第一条最要紧。「乘性」是说：把 a 换成 a·a′，记号可以拆成两个记号相加。所以这个群把「乘法」变成了「加法」——这正是「取对数」干的事，只是这里没有对数，只有规矩。
他随即提出一个猜想。把这些群「除以 2」（只看奇偶），应该正好等于这个域的伽罗瓦上同调——一种用对称群算出来的、完全另一路的信息。猜想的意思是：两套完全不同的构造，算出同一个东西。
猜想的证明花了四十年。二阶情形一九八二年由梅尔库里耶夫与苏斯林证出；一般情形由沃耶沃茨基等人在九十年代末完成，方法与米尔诺的原猜想几乎无关——用的是全新的同伦论工具。
原料：符号 {a, b}；三条规矩：乘性、{a, 1−a}＝0、{a, −a}＝0
得到：KMn(F)——一串群，把乘法转成加法
猜想（1970）：KMn(F)/2 ≅ Hn(F, ℤ/2)
n＝2：1982 年证明；一般 n：1990 年代末完成
最后一件工作，看起来与拓扑无关。一九七〇年代中期，他与瑟斯顿一起研究「一个区间上的反复折返」：取一条线段，每个点按同一个规则跳到另一个点，跳一次、再跳一次，看它最终跑到哪里。
规则可以极简单。比如「把线段对折」：x 变成 1−|2x−1|。这是把一段线折成两段，再折成四段，越折越密。点的轨道可能落在周期上（来回跳同样的几个位置），也可能乱走。
他们的贡献是给「乱」编了码。把每次跳跃的方向记成左或右，得到一个由「左、右」组成的序列；两条轨道若序列不同，行为必然不同。这个编码叫揉搓序列，理论叫揉搓理论。
编码的用处是分类。所有的折返规则可以按揉搓序列排成一条「序」：序列越大，行为越复杂。排到某个位置，周期性消失、混沌出现。于是「什么时候开始乱」这个问题，变成了「序排到哪里」的问题——一个可以算的问题。
这与他一辈子的做法一模一样。怪球：用模 7 的整数分类；奇异点：用 μ 分类；折返：用左右序列分类。三件不相干的事，方法是一个：把连续的东西编成离散的码，再用码的序去说行为的序。
规则示例：x ↦ 1−|2x−1|（把线段对折）
编码：每次跳向左记 L、向右记 R，得一条序列
序列不同 ⇒ 轨道行为不同；序列有序 ⇒ 复杂度有序
周期与混沌的分界，变成序列上的一个位置
把这一册里出现过的尺，摆在一张桌上。四把：模 7 判据、签名、米尔诺数、米尔诺 K 群。它们量的是四样不同的东西，可造法完全一样。
第一把量「光滑结构」。输入一只七维球，输出一个模 7 的余数；余数为 0 是标准球面，否则是怪球。它把「能不能抹平」翻译成「能不能整除」。
第二把量「整体朝向」。输入一个偶数维形状，输出一个整数：正方向的平方项减负方向的平方项。它把「形状往里凹还是往外凸」翻译成一个可加减的数目。
第三把量「局部的坏」。输入一个奇异点，输出一个非负整数 μ：偏导数同时为零的程度。它把「那个点有多难缠」翻译成一个可以除出来的数。
第四把量「域的乘法结构」。输入一个域，输出一串群：用符号与三条规矩造出来，把乘法转成加法。它把「这个域里能怎么乘」翻译成群。
模 7 判据：七维球 → 余数（0 为标准，非 0 为怪）
签名：偶数维形状 → 整数（正负平方项之差）
米尔诺数 μ：奇异点 → 非负整数（雅可比商环维数）
米尔诺 K 群：域 → 一串群（符号与三条规矩）
这一册的暗线，到这里可以合上。从「差别不在形状，而在怎样弯曲」，到「手感要用不变量去摸」，再到「摸到之后，把它写成书交给别人」——三步走完，一条线就完整了。
最后一步最容易被低估。造出不变量，是自己看见；写成书，是让别人也能看见。前一步靠天赋，后一步靠耐性。很多人止于前一步：成果留在论文里，别人读不懂，也就用不上。
他选择了后一步，而且做得彻底。几本薄书、几十年教学、一所新研究所、一批被带出来的学生。这些东西不会写进定理清单，可它们决定了「接下来谁能做」。学问的传播，靠的从来不是天才的数量，是入口的宽度。
还有一层意思，与前几册接通。第七辑讲「从边界到看见」：先摸到边界，再造工具越过它，最后把看见的东西交出去。米尔诺这一册，正好走完三段：边界（怪球证明「一样」有层）、工具（不变量与 μ）、交接（书与研究所）。
下一页收束全册：一只球、二十八、一张表、四把尺，最后落在一句话上——数学的传承，传的是「怎么看」，不是「看到了什么」。
把五幕合起来看。第一幕造一只球，第二幕数清二十八只，第三幕造三件工具，第四幕量一个点，第五幕把这一切写下来、教出去。五幕的最后一幕不是高潮，是交接。
交接这件事，在他的工作里有具体的样子。他写书时，把证明写完整，让读者不必猜；他讲课时，把最难的一步拆开，让学生跟得上；他办所时，把门槛放低，让年轻人敢来。三件事做法不同，目的相同：让别人能接着做。
这也解释了「为什么他的书比论文影响大」。论文是给同行看的，同行本来就会；书是给后来的看的，后来的人还不会。一个学科的地基，是靠书铺的，不是靠论文堆的。
再往远看一层。他造的那四把尺，后来都被别人拿去量了别的东西：签名定理进了指标定理，米尔诺数进了奇点分类，K 群进了代数几何与数论，揉搓理论进了动力系统。工具一旦交出去，就不再属于造它的人。
这一册讲到这里，故事的部分结束了。剩下的几页是给动手的人准备的：一张可以自己算的小表、几件可以自己做的实验、一份可以自己查的名单。
下一页收束全册，把五幕压成一句话。
全册收束。1956 年，一只七维的球推翻了「球面只有一种」的共识；1963 年，二十八这个数把这批球数清；此后二十年，三件工具与四把尺，把「怎样弯曲」变成了可算的东西；晚年他把这一切写成书、教出去。
三句话可以概括他的一生。第一，他相信「一样」有很多层，而且每层都值得量。第二，他相信工具比结论重要：结论会被推翻，工具会一直被用。第三，他相信学问要交出去：写清楚、讲明白、让后来的人接得上。
这一册的暗线也在这里落地。从边界到看见：边界是「看不见的那一层」，看见是「造出能摸到它的尺」，而真正的完成，是把尺交到别人手上——一个人看见，不算看见；一群人能看见，才算。
留给读者的问题只有一个，而且不必急着回答。在自己的领域里，什么是「看不见的那一层」；要摸到它，需要造一把什么样的尺。
把这一册的时间摊平，只见三处台阶。一九五〇年，十九岁，一篇关于闭曲线总曲率的论文；一九五六年，二十五岁，一只七维的怪球；一九六三年，三十二岁，二十八这个数与三本将要写成的书。三处台阶，一处比一处高，也一处比一处静。
第一处台阶是「会算」。一个本科生，把弯曲的绳圈积分到底，得到一个下限。这一步练的是手上功夫：把几何问题写成可积的量，再从不等式里挤出结论。
第二处台阶是「敢疑」。所有人都说球面只有一种；他不说「不可能」，也不说「肯定不是」，他去算。算出来不对，就先怀疑自己算错，再怀疑结论。这种「先怀疑自己」的习惯，比聪明更难得。
第三处台阶是「肯交」。数清二十八之后，他没有停在「我又发现了一个数」，而是转身去写书、去教课、去办所。三十二岁到八十岁，他把大半精力花在让别人也能做上。
三处台阶之间，隔着同一件事的三种形态。会算，是能回答别人的问题；敢疑，是能提出自己的问题；肯交，是能让问题继续活下去。三样凑齐，一个人就成了一门学问的一段路基。
下一页换一种读法：把这一册压成三样东西，再看它们怎么互相扣住。
这一册可以只用三样东西记住。一只球：证明「一样」有层；一张表：把「有多少」变成可算；一把尺：把「怎样弯曲」变成整数。
三样东西互相扣住。没有那只球，就不需要表；没有表，就不知道尺要量什么；没有尺，那只球就只是一个奇观，说不出它奇在哪里。球提出问题，表组织问题，尺回答问题。
这也是数学工作的一般形状。先有一个「不对劲」的例子，再用一个结构把它安放好，最后造一个工具把差别量出来。三步之间没有固定顺序，常常是来回走：算尺的时候发现新例子，编表的时候发现尺不够用。
给读者的建议只有一条。读这一册时，不必记住所有年份与名词；记住那三步——发现不对劲、安放它、量它——就够了。任何一门学问里，这三步都在重复。
下一页是这一册里唯一不谈成就的一页：三个没做完的问题。它们至今还开着。
第一个问题：四维那一格。所有维数里，只有四维的怪球数目至今不知道。说「只有一种」没人能证，说「不止一种」也没人能给出例子。这个问题与「光滑四维庞加莱猜想」是同一件事——四维空间太「软」，所有高维好用的工具在那里都失效。
第二个问题：更高的维数。七维是二十八，十一维是九百九十二，十五维是一万六千二百五十六。可并不是每一维都算清了：越往上，群的结构越复杂，有些维数至今只有部分结果。这张表还远没有填满。
第三个问题：揉搓序列的推广。一个区间上的折返，用左右序列可以分类；换成两个变量、三个变量，还能不能这样编码，至今只有部分答案。多维的动力系统比一维复杂得多，能不能找到同样干净的码，是未解之事。
三个问题的共同点：都是「工具不够」而不是「问题不清」。问题早就写清楚了，缺的是能用的尺。这也回到了这一册的主题——看得见与否，取决于工具有没有造出来。
下一页换一种语气：给愿意动手的人准备两件小事。第一件是算一张表，第二件是缝几只球。
这一页只做一件事：用 p.9 的判据，把前十四只球一只一只判过去。判据是：k2−1 能被 7 整除，就是标准球面；不能整除，就是怪球。只用到乘法、减法与除法余数，纸笔就够。
做法分三步。第一，算 k2；第二，减 1；第三，看这个数除 7 余几。余 0 记「标准」，其余记「怪」。十四行算完，把结果排成一行，看规律。
先看前四行。k＝1：1−1＝0，整除，标准。k＝2：4−1＝3，余 3，怪。k＝3：9−1＝8，余 1，怪。k＝4：16−1＝15，余 1，怪。
再看中间四行。k＝5：25−1＝24，余 3，怪。k＝6：36−1＝35，整除，标准。k＝7：49−1＝48，余 6，怪。k＝8：64−1＝63，整除，标准。
规律自己会浮出来。标准球出现在 k＝1、6、8、13——每隔 7 个数出现两个，正好是 k 除以 7 余 1 或余 6 的时候。原因很简单：k2≡1 在模 7 下只有两个解，就是 ±1。
k＝1 0 标准 k＝2 3 怪 k＝3 1 怪 k＝4 1 怪
k＝5 3 怪 k＝6 0 标准 k＝7 6 怪 k＝8 0 标准
k＝9 3 怪 k＝10 1 怪 k＝11 1 怪 k＝12 3 怪
k＝13 0 标准 k＝14 6 怪
这一页做第二件事：缝球。规则在 p.14 讲过：两只球各挖一个小口，对齐缝上，位置相加、除 28 取余。问题很简单：位置是 a 的那只球，缝几次才回到标准球面。
算法也简单。要找最小的正整数 m，使 m×a 能被 28 整除。这个 m 等于 28 除以「a 与 28 的最大公约数」。会算公约数，就会算这一页。
拿几个试试。a＝14：14 与 28 的最大公约数是 14，28÷14＝2，缝两次就回标准。a＝7：公约数 7，28÷7＝4，缝四次。a＝4：公约数 4，28÷4＝7，缝七次。
再看两端。a＝1：公约数 1，要缝二十八次才回标准——这只就是生成元，最「基本」的怪球。a＝27：公约数 1，也要二十八次，它是生成元的逆元，缝的方向相反，次数相同。
这张表能看出结构。缝回标准球的次数，只可能是 28 的约数：1、2、4、7、14、28。次数越少，那只球越「对称」；次数 28 的，是绕整圈才回来的那几只。二十八只球，就这样按次数分成了几组。
a＝1、3、5、9、11、13…（与 28 互素）：28 次
a＝2、6、10、18…（公约数 2）：14 次 a＝14：2 次
a＝4、8、12、16…（公约数 4）：7 次
a＝7、21（公约数 7）：4 次
流形：局部看起来像平坦空间的形状。地球表面局部像平面，所以是二维流形。球面：到定点距离相等的点的全体；维数指它自身的维数。同胚：连续、可逆、逆也连续的对应；允许折痕。微分同胚：再加「处处光滑」；不许折痕与尖角。光滑结构：决定哪些曲线光滑、哪些是直线的整套约定；同一形状可有多种。
不变量：在变形下不变的量或结构。取值不同，即形状不同；取值相同，未必相同。丛：底空间每一点挂一个纤维，粘成的大空间；拧法可不同。签名：偶数维形状的「正负平方项之差」，一个整数，配边不变。配边：两个形状同为一个高一维形状的边界。手术：挖掉一段圆筒、换上边界相同的另一段。
奇异点：方程在那里解不开、形状在那里收尖的点。米尔诺数 μ：奇异点的重量，等于偏导数商环的维数；xp＋yq 时为 (p−1)(q−1)。同伦球群 Θn：所有与 n 维球同伦的球，按连通和构成的群；七维为 Z/28。
约翰·米尔诺（1931— ）：本册主角；怪球、同伦球群、莫尔斯理论、米尔诺数、K 理论、揉搓理论。米歇尔·凯尔韦尔（1927—2007）：法国拓扑学家，与米尔诺合著《同伦球群 I》，手术理论奠基者之一。埃格伯特·布里斯科恩（1936—2013）：德国数学家，1966 年用一行方程给出怪球生成元。
斯蒂芬·斯梅尔（1930— ）：证明五维以上庞加莱猜想与 h 配边定理；1966 年菲尔兹奖。勒内·托姆（1923—2002）：创立配边理论；1958 年菲尔兹奖；晚年转向突变论。弗里德里希·希策布鲁赫（1927—2012）：签名定理的证明者，把示性类与拓扑联系起来。
威廉·瑟斯顿（1946—2012）：与米尔诺共创揉搓理论；几何化纲领；1982 年菲尔兹奖。弗拉基米尔·沃耶沃茨基（1966—2017）：证明米尔诺猜想的一般情形；2002 年菲尔兹奖。亚历山大·梅尔库里耶夫（1955— ）与 安德烈·苏斯林（1950—2018）：1982 年证明米尔诺猜想的二阶情形。
怪球的故事没有停在拓扑学里。一九七〇年代，几何学家开始问另一个问题：这些球能不能「弯」成某种形状——比如处处不凹陷（非负曲率）。一九七四年，格罗莫尔与迈耶找到一只怪球，它居然有这样的弯曲方式。
二〇〇〇年，格罗夫与齐勒证明：米尔诺造出的那一批球，全都可以弯成非负曲率。又过了十几年，另一些人把剩下的几种也补上。于是一个纯拓扑的问题，最后在几何里有了答案：二十八只球，每一只都能这样弯。
另一条线通向物理。一九九〇年代末，研究弦理论的人发现：某些七维怪球，正好是某种高维时空的「边界」。他们要用怪球的分类，去数某些物理态有多少种。数学里最抽象的对象之一，在物理里找到了用处。
第三条线通向教学。今天讲微分拓扑的课，第一节课往往还是从这只球讲起：先给定义，再说「以为只有一种」，最后把这只球拿出来。它成了这门学问的标准开场——因为它用最小的篇幅，说清了「层」这个概念。
下一页是一张可以自己算的表：把这一册里出现过的所有数字排在一起，看它们能不能互相对上。
第一张表是怪球的数目。一、二、三、五、六维：各 1 种；四维：未知；七维：28；八维：2；九维：8；十维：6；十一维：992；十五维：16256。看一眼就知道规律不是「越来越多」，而是忽多忽少。
第二张表是莫尔斯清单。球面：1−0＋1＝2；环面：1−2＋1＝0；双环面：1−4＋1＝−2。三个结果分别等于三个形状的欧拉示性数——算不平就说明清单写错了。
怪球：7→28 8→2 9→8 10→6 11→992 15→16256 4→未知
莫尔斯：S2 1＋1＝2 T2 1−2＋1＝0 双环 1−4＋1＝−2
米尔诺数：x2＋y2→1 x2−y3→2 x3＋y4→6
判据：k2−1 被 7 整除 ⇔ 标准球面
第三张表是米尔诺数。x2＋y2 得 1，x2−y3 得 2，x3＋y4 得 6。通式是 (p−1)(q−1)，代进去立刻对上。
三张表放在一起看，会发现一件事。它们量的是完全不同的东西——光滑结构的数目、形状的骨架、奇异点的重量；可它们的用法一样：列一张表，算几个数，对一遍。数学的大部分日常工作，就是这种对账。
最后一件事：把这些表交给读者自己验。验过一行，比读十页有用。下一页是给家长的话。
这一册的难点不在算术，在「看不见」。孩子习惯的是能画的形状：球、圆、方块；这一册说的是七维、是「光滑结构」、是摸不到的差别。陪读时不必急着让他理解全部，先让他接受「有看不见的差别」这件事。
一个具体的入口：手套。左手套与右手套，看着一样，都是手套；可无论怎么转，都不能把左手套戴在右手上。差别不在形状，在「怎么绕」。这就是本册暗线的最浅一层：形状一样，绕法可以不同。
第二个入口：地图。同一张纸，平着印与世界地图式印，画出的最短路线不同。纸一样，规矩不同——这就是「光滑结构」的日常版。孩子若懂了这个，后面「两只球为什么不一样」就不难了。
数学页可以跳。p.7—p.9、p.14—p.16、p.21—p.23、p.28—p.30、p.35—p.37 是数学层，需要一点纸笔；其余各页只需要听故事。第一次读，建议只读故事页与暗线页，把数学页留到第二次。
p.44 与 p.45 适合一起做。一张表只用乘法与余数，小学高年级就能算；缝球那张表要会公约数，可以家长算、孩子核对。算完不必追问「懂了没有」，让他自己发现「每七个里有两个标准球」，比讲解有用。
其一，以为「怪球」是玄学。不是。怪球是普通的球面加了一套不同的「光滑约定」，每一步都能写成方程、算成整数。凡说「高维没法想」的，多半是没试过用方程代替想象。
其二，以为「二十八」是编出来的数。不是。它来自一个群的计算：七维同伦球群恰有二十八个元素。这个数有生成元、有逆元、有加法表，可以像时钟一样算。
其三，以为「同胚就是一样」。这是本册最要紧的一处。同胚只管「不撕不粘」，不管「光不光滑」；两层之间可以差出二十八个成员。日常语言里「一样」只有一个词，数学里至少要两个。
其四，以为数学家只证定理。这一册里三分之一的篇幅在讲写书、讲课、办所。这些事不进定理清单，可它们决定了一门学问能不能传下去。评价一个人，不能只看他证了什么，还要看他交出了什么。
其五，以为「看不见」等于「不重要」。恰恰相反：本册所有的力气都花在看不见的那一层上。看得见的部分人人都会看，学问的差别在看不见的部分——这也是可以教给孩子的最实用的一条。
《数学家的故事》第七辑 · 第 64 册 · 《米尔诺 · 二十八种弯曲》
九章格数学 · PhiloMath 全龄通识读本 三层可读（故事／数学／注疏）
本册正文与插画为原创，插画以水印般轻透的中式写意淡彩为统一风格，不出现人物与文字。引文与数据均标注原始文献，见各页注文；在世人物只采用已公开发表的事实与访谈材料，不虚构对话、不涉私生活。
主要参考文献：J. Milnor，〈与七维球面同胚的流形〉，《数学年刊》64 (1956)；M. Kervaire 与 J. Milnor，〈同伦球群 I〉，《数学年刊》77 (1963)；J. Milnor，《莫尔斯理论》(1963)、《h 配边定理讲义》(1965)、《从微分观点看拓扑》(1965)、《复超曲面的奇异点》(1968)、《代数 K 理论导引》(1971)、《单复变量动力学》(1999)；J. Milnor 与 J. Stasheff，《示性类》(1974)；挪威科学与文学院 2011 年阿贝尔奖公告；M. Abate，〈怪球与米尔诺〉(2012)。
版次：2026 年 10 月第一版 · 九章格数学