阿蒂亚 · 把两座山缝起来

拓扑的规矩只有一条：允许连续变形，不许撕破也不许粘合。橡皮泥世界里的几何：长度、角度、面积统统不作数，只有「连不连、绕不绕、几个洞」作数。经典段子由此而来：咖啡杯与甜甜圈在拓扑学家眼里是同一样东西——杯身捏圆、杯柄变环，全程不撕不粘。反过来，球面与甜甜圈是两样东西：球面上没有把手，捏不出来；把手数（学名亏格）就是那张「不变的脸」。把两个甜甜圈黏成「8」字，亏格就是 2——黏结是拓扑里唯一合法的加法。

把「不变的脸」说得更硬一点。凡是拓扑变形中不变的量，都叫拓扑不变量；亏格是其中最直观的一个：球面亏格 0，甜甜圈（环面）亏格 1，两个洞的「8 字曲面」亏格 2。不变量为什么值钱：它把「能不能变过去」这道无穷多种可能的题，变成「对一对胎记」的一道小题——胎记不同，直接判分家；胎记相同，再看别的。拓扑学的全部技术，都是在造越来越好用的胎记；本册要造的两块胎记——欧拉示性数与 K 群——恰分属最直观与最抽象的两端。

本册的另一个主角也要在此报到：曲面上的网账本。在曲面上画一张网：顶点、边、面。数一数：顶点数减边数加面数。球面上画四面体的网：4 顶点、6 边、4 面，4−6＋4＝2；立方体的网：8−12＋6＝2；怎么画都是 2。环面上怎么画都是 0；两个把手的曲面上是 −2。这个数叫欧拉示性数，它与亏格之间有一条铁律，下一页专门对账。

把账本算细。在球面上画网，顶点数 V、边数 E、面数 F，账本记 V−E＋F。四面体：4−6＋4＝2。立方体：8−12＋6＝2。给四面体每个面加一条对角线：顶点不动 V＝4，边多 6 条 E＝12，面翻倍 F＝8——4−12＋8＝0——账错了。重数：每面加对角线 1 条共 3 条（不是 6），E＝9、F＝7，4−9＋7＝2。分毫没错：账本对一切网一视同仁，只认曲面不认画法。

环面上的账，自己做一遍就知道味道。环面最省事的网：一个顶点、两条圈（横向一圈、纵向一圈）、一个面——数一下：V＝1、E＝2、F＝1，账本 1−2＋1＝0。任意加细，账永远 0：环面的示性数是 0。两个把手的曲面（两个洞黏成的「8」），账本是 −2；把一个洞掰成两个，账减 2。于是规律浮出水面：每添一个把手，账本减 2——球面 2，环面 0，双环面 −2。三笔账排成等差，等差本身就是规律的铁证。

把这条规律写成等式：欧拉示性数 χ＝2−2×（把手数）。反过来读：数一数账本，就知道有几个洞——洞藏在账本里。这一页是全册的算术地基：后面所有大定理的数字，最后都要落回这个「2−2×把手数」。下一页把这套账升级成金条：给形状发「特征类」的证书。

洞的个数居然还能用「弯」算出来。给曲面装上尺（度量），每一点就有了曲率——鼓起为正、凹陷为负、平的为零。把全曲面积分起来（高斯–博内定理）：答案除以固定常数，恰是欧拉示性数。球面处处正弯，积出来是正的；环面可以做成处处零弯（标准甜甜圈不行，但存在），积出来是零；两个把手的曲面必须有凹陷找补，积出来是负的。弯是几何的账，洞是拓扑的账——高斯–博内把两本账对成了一本。这行等式写成于十九世纪中叶，用到今天一笔未改。

这本「弯与洞」的总账，是指标定理的老祖宗。把时间往回拨一百多年：黎曼、罗赫与后来的希策布鲁赫都在做同一件事——把「解的个数」（分析的账）对上「形状的量」（拓扑的账）。阿蒂亚年轻时读这些定理，读到的问题朴素到刺眼：这类「两边相等的等式」，最一般的形状还悬着——把多少种方程、多少种曲面一网打尽的那一条，还没有人写出来。这台追问，最终长成了指标定理。

第一幕收官前，把主角的登场写完。向量丛——给曲面上每一点配一个小向量空间，随点连续地转向——是同时听得懂两山语言的那位翻译：它身上有几何（弯、转、贴着曲面走），也有代数（可以相加、可以分类）。阿蒂亚选中它当缝合的材料；多年后他回忆，看见向量丛能同时说两山的话，是他第一次觉得自己找到了毕生的题目。下一页转暗线：把「缝合」这个动词正式立起来。

向量丛的正式说法只有一句：给底空间的每一点配一个向量空间（叫纤维），全体纤维拼成总空间，且每一点附近都能把纤维「摆平」成一摞平行的复本——这一句「局部能摆平」，就是向量丛的全部定义。最简的例子在圆周上：给圆周每一点配一条小线段。摆平的方式有两种：纤维首尾顺着接（得到圆柱面），或拧半圈再接（得到莫比乌斯带）。底是同一个圆，丛却是两种——「丛」记录的正是底空间上装不进坐标的扭转。拧纸带的动手版见 p.45，两张纸条就够。

丛可以运算。两个丛可以做直和（纤维叠起来），可以做张量积（纤维配对）；把同构的丛视为相等、把直和当作加法，形状上的丛就攒出了一本代数账本。阿蒂亚与赫策布鲁赫的绝招只有一步：这本账本不全——没有减法。于是允许写形式差：丛减丛，哪怕减出负数也认账；补上负丛之后，形状上所有丛的等类攒成的账本，就叫 K 群。形状连续、柔软，K 群却离散、可数——第一座山被翻译成了代数。翻译的代价是丢细节：K 群认「类」不认「个」，换来的是全局清点的本事。

账本立刻吐出第一笔红利。球面的 K 群算出来出奇地整齐：二维球面的 K 群恰是两份整数（一份记连通块、一份记「拧了几圈」），一维周期的那一份是零。更惊人的整齐在后头——这份整齐的周期律，下一页单开一页讲。K 理论这台发动机，至此拆出了第一层。

1957 年，博特证明了一条让全行业愣住的定理。把 K 群按维数排成一张表：一维、二维、三维……一路排下去，表不乱——每隔两格，整列图案原样重复一遍（复数版本周期为 2）；若改用实数版本的 K 理论，周期放大到 8。这张「周期表」意味着：形状无穷无尽、丛的扭转千奇百怪，可它们被 K 理论翻译过去之后，全部代数内容只由开头八格的图案决定。无穷被一张小表收编——这就是博特周期性。化学的周期表收编元素，这张周期表收编形状，两表的精神是同一种：繁归简。

拿球面把表核一遍。二维球面：K 的第 0 层是两份整数、第 1 层是零；四维球面：第 0 层仍是两份整数、第 1 层照旧是零——每升两维，图案原样重来，恰合周期 2。再看圆周：第 0 层一份整数、第 1 层一份整数，错开一格的图案与球面不同——周期表连「谁与谁同款」也一并规定好了。阿蒂亚后来说，K 理论与博特周期性的相遇，是他一生中「一眼看见整片新大陆」的时刻。

周期表的值钱之处在于它把「算不变量」从一门手艺变成了一套查表手续：任何形状的 K 群，按周期一拆、照表一读，答案必落在这八格之内。阿蒂亚与赫策布鲁赫随即用这套手续重证了希策布鲁赫–黎曼–罗赫，又顺手解决了当时悬着的几个分类难题——发动机第一次点火成功，点火口令正是周期表：查表、对账、收工。但它真正的用途在下一页：给一台方程的机器当「计数器」。

1962—1963 年，阿蒂亚与麻省理工学院的辛格合上了最后一块拼图。形状上有一大类性质极好的方程，统称椭圆方程；它们的「解的个数」通常没法直接数，但可以数出一个差：解的个数减去对偶方程解的个数，这个差叫解析指标——左边的账。另一边，K 理论的特征类在形状上积分出一个数：拓扑指标——右边的账。指标定理只有一句话：两边恒等。分析里数出来的差，竟由形状的几何一笔算定。值得一提的是，辛格的原始问题正来自物理的方程组——桥是从对面那座山先开工的。

老朋友先来对账。把最老的方程请进来：微积分里的求导。曲面上的「求导＋取伴随」拼成一个椭圆算子，它的解析指标恰好是欧拉示性数——环面为 0，球面为 2，亏格 2 的曲面为 −2；右边的账本查周期表、算积分，答案分毫不差。再请进更精细的狄拉克方程：曲面上它的指标是 1−γ——亏格 1 时为 0，亏格 2 时为 −1，两边依旧对得上。老定理（高斯–博内）成了新定理的特例：这套账本统一了九十年里散落各处的等式。统一之日才看明白：当年每一条特例定理，都是同一块布上的针脚。

定理的证明本身就是一次缝合。第一稿把左边的问题先「搬」到最简单的形状上（嵌入欧氏空间），再把形状连续变形到算得出的标准形——每一步变形中指标不变，因为它是拓扑量。翻译—化简—搬回，K 理论全程当翻译。下一页，这道针脚上到暗线的正席。

新账本的记法只有一句：在每一个不动点处，让「搅动」与「形状上携带的东西」当场对一次账：携带的东西在这一点被搬走多少、搅动在这一点的切向转掉多少，取一个恰好的比值，就是这一点该交的账。把这个逐点比值加总，等于莱夫谢茨老总数——这就是阿蒂亚–博特不动点公式。它妙在两边都好算：右边是老账（按层），左边是零件账（按点）——一台「按点计数」的机器就此立起。

拿一个能亲手算的例子把公式跑一遍。把球面当成复数平面加一个无穷远点，做映射「平方」：每点的平方作为新点。不动点恰有三个：零、一、无穷远。按点交账：零处切向放大 2 倍，账为 1÷|1−2|²＝1；一处同样放大 2 倍，账也是 1；无穷远处导数为零，账为 1÷|1−0|²＝1。三笔相加＝3。右边查老账：首层 1＋顶层度数 2＝3。两边严丝合缝——连那个「挤成一团」的退化点，公式也照收不误。这份从容来自公式的出身：它从指标定理来，天生就带「退化也认账」的本事。

这台机器的值钱之处在于老账回答「有没有」，新账回答「有多少、怎么分布」；更妙的是，右边不再限于球面这类简单形状——只要搅动得足够「规矩」，再复杂的形状也能按点拆账。阿蒂亚与博特把它写成指标定理的推论：不动点公式是指标定理在「带对称的形状」上的分身。下一页看它数出一个教科书级的答案。

计数器第一笔：数覆盖。把球面想成一层薄壳，让它对着自己「翻转」：半圈互换前后。翻转会扫出许多对调，对调的净效果由账本记录——用不动点公式对账，可以数出「盖了几层」。同样地，多张薄壳叠在一起对称地盖上、再整体搅动，每一层的账都按点交齐——总层数一查便知。过去要靠手工分类的难题，如今变成一场查表。查表的快感，第四幕还会再来一次。

计数器第二笔更有名：数对称。把形状上的 n 个点不分次序地捆成一「团」，这样的团攒成的形状叫对称幂。球面的对称幂攒出来的竟是一个整齐的序列：一阶的对称幂恰是那个「复平面加无穷远点」的标准形状，二阶对称幂恰是三维复射影形状——阶数每加一，就升一层。它的欧拉示性数有个极简的公式：阶数加一——一阶为 2，二阶为 3，三阶为 4。这条公式（连同一般曲面的母函数版本）正是用不动点公式数出来的。麦克唐纳后来又与人合写了一本交换代数的标准教材——同一个人，两块截然不同的碑。

于是第三幕的图景清楚了。数解的个数（指标定理）、数不动点（不动点公式）、数对称（对称幂公式）——三件看起来毫不相干的计数活，原来是同一台机器的三种用法：把「数」这个动词本身缝了起来。数学里最深的统一，往往不在新对象，而在新动词。下一页转暗线：第三针落笔。

计数器很快就在别人的战场上立功。第一位用家是引力理论：把指标定理用到旋转黑洞这样的弯曲时空上，可以算出那类空间里粒子的「谱」——物理学家面对的方程组庞杂难解，几何学家这边查表即得。第二位用家是规范场论：把不动点公式反过来用，可以数出形状上「场的构造方式」总共几类。这两条线索都在第四幕正式登场——此处只记一笔：第三幕的机器，是第四幕的军火。

数学内部也有下游。阿蒂亚–辛格–帕托迪把指标定理推广到「带群作用的形状」；阿蒂亚–塞格尔把它推到「形变」的世界；再往后的等变指标、上同调场论，族谱源头都在 1960 年代那间办公室。一条定理的论文被引的次数是小事，被后人不假思索地当母语使用才是大事——指标定理属于后者：后来的论文引用它时，连出处都懒得注了。

本册的三件功业至此两件半落定：K 理论（发动机）、指标定理（桥）、不动点公式（计数器）。第三件严格说是第二件的分身，但它把「数」统一成了一门手艺。下一页上暗线第三针。

用本册自己的语言重讲规范场。第二幕说过：向量丛是给每一点配一束纤维、允许纤维随点扭转。所谓规范场，就是记录这种扭转的账本——几何学里叫「联络」：它规定「相邻两点的纤维怎么对齐」。电磁场是最简单的样本：空间每一点配一束一维的相位圈，联络记录相位怎么接力；磁力线密集之处，正是接力账目扭得最厉害之处。物理的「场」，在几何这边原是「丛的扭转方式」。第一幕造的向量丛，在这里原封不动地派上了用场。

「旋钮可以逐点转」这句话也立刻有了解释。把每一点的纤维整体转一个角度，扭转方式（联络）跟着换一套记法，可场强不变——正如一张地图换一套坐标，山还是那座山。物理学家要求方程在这样的整体换账下不变，几何学家一看：正是「丛同构下不变」。两边的「对称」，原是同一条定义的两种口音。杨振宁后来说，弄明白这一点时，既惊叹又有一点点被「抢了先」的怅然——那件衣裳，数学家早几十年就织好了。那张术语对照表后来印进了教科书的附录，两边各执一份。

剩下的问题真正难。给定了四维空间，扭转方式千千万，其中满足「自对偶方程」的那一小类——瞬子——有多少、各长什么样。这是分类问题，靠猜是猜不出的。下一页，四位作者联手把它变成线性代数。

瞬子是这样一类东西。四维空间里，自对偶方程要求场强的两种分量恰好互为镜像；满足它的解能量高度集中、处处光滑、限定在时空的一小团里——像一个结实的「结」浮在真空上。物理上它是隧穿事件的记录者；数学上它是自对偶联络的等类。问题在于：解空间是无穷维方程组的解集，正面强攻无从下手。1978 年，阿蒂亚与苏联的德林费尔德、马宁以及自己的学生希钦联名发表构造——后世按四位作者姓氏的首字母，称它为四人构造。

四人构造做的事，一句话：把无穷维的非线性方程，等价地换成几行矩阵的线性代数。要造一个「荷为 k」的瞬子，只需摆出三件小东西——两个矩阵、一个向量——让它们满足几条线性关系；每一种摆法对应一个瞬子，换着摆法就换瞬子，一一对应。于是「解非线性方程」这件不可能的事，变成了「数满足线性条件的矩阵摆法」这件纯代数的事。四维几何最深的分类问题，被四个人用线性代数接管了。四个人分处两国四城，通稿全靠航空信——一封信在路上要走一个星期。

数一数参数。一个最简瞬子（荷 1）需要五个数定身：四个定它的位置、一个定它的胖瘦。荷 2 的瞬子要 13 个。荷 k 的答案是一条直线：8k−3。这个数不是猜的，也不是从构造里一格格数出来的——它是用指标定理一步算出的。下一页看这场「指标定理的实战」。

算 8k−3 的思路，正是第二幕那座桥的用法。瞬子模空间的「切向」由某个椭圆算子的解给出——模空间的维数，就是这些解的个数减去多余对称的个数。解的个数没法硬数，但指标定理说：解析指标＝拓扑指标，右边一个积分完事。在四维球面上把特征类的积分一做，解析指标出来是 8k；再扣掉三重多余对称（整体转动、整体相位、整体缩放各占一），得 8k−3。荷 1 得 5、荷 2 得 13——与四人构造一侧数出来的参数个数严丝合缝。几何的积分、代数的摆矩阵、物理的场：三本账在同一个数上会师。会师的三个时刻相隔几十年——特征类在 1940 年代、指标定理在 1963 年、瞬子在 1977 年——桥上通车，等了三十多年。

这一步的意义超出算数本身。在此之前，「数解」是几何学家的独门手艺；在此之后，物理学家发现自家最难的方程，几何这边竟然「查表即得」——而几何学家也第一次看到，物理学家追了二十年的方程，恰好落在自家桥的桥心。双方各自握着半张藏宝图，拼起来正好是一张。1978 年之后的十年里，瞬子、单极子、四维几何一路联通，成了数学与物理再联姻的第一条官方驿道。驿道的第一批货物单据，如今都成了经典文献。

驿道的尽头还有一座更大的城。1983 年，唐纳森在博士论文里把瞬子模空间本身当几何对象来用——不看瞬子，看瞬子们的「排列方式」——竟用它们切开了四维空间：四维的光滑世界远比拓扑学的账本暗示的古怪。这一举拿下 1986 年菲尔兹奖。下一页，第四针上暗线正席。

阿贝尔奖的颁奖词值得细读。它表彰的不是某一篇论文，而是一条路线：用拓扑学的定性手段，去把握分析学的定量问题——K 理论、指标定理、不动点公式一路数下来，一整代人的地图被重画了一遍。颁奖词里还有一句话点得极准：这项工作的遗产是「一组让不同领域彼此通话的词典」。缝合者得奖，奖励的正是缝合本身；阿贝尔奖设立于 2003 年，第二届便给了这道缝合——评委会的选择本身就是一份宣言。

奖项之外，阿蒂亚晚年最惦记的是一份未竟的图纸。指标定理数的是「光滑形状」上的解；可几何里还有一类更狂野的对象——不光滑、不连续、只能用「代数」描述的形状。1980 年代，法国数学家孔涅沿着阿蒂亚提议的方向，把 K 理论与指标定理推进到这个狂野世界，立起了「非交换几何」：把形状换成代数，把指标定理的桥直接架到代数内部。今天这门学问在数论与物理两边都结了果——图纸的下一层，仍在一笔一笔往下画；孔涅后来在书的扉页里，把这份源头之恩记了名。

老人对这份未竟之业的态度很坦白。他常说自己一生的三件功业，件件都是从别人的半成品上接着盖的：赫策布鲁赫的手稿、辛格的方程、杨振宁的讲座——「数学是接力赛，接过棒的人不必假装自己从起点出发」。下一页，看他对数学这件事本身的晚年总结。

晚年的阿蒂亚花了很多力气回答一个孩子气的问题——数学像什么。他的答案前后给过好几个，最有名的是「数学像编织」：概念是线，定理是针脚，一支针法（比如指标定理）能织出整片衣料，是因为线的走向早已相互勾连。他也说数学像语言、像音乐、像登山——但所有比喻共一个底色：数学是人的作品，它的美是给合作者与后来人看的。这套「编织观」，恰是本册暗线在哲思层的完型。编织的比喻还有下半句：拆掉一件织物容易，拆掉一道针法难——定理一旦织进结构，就再也拿不出来。

这份坦白还包含对失败的坦然。晚年他仍在出招：九十岁前后，他向一个百年难题发起总攻，宣布的证明没有获得学界接受。他没有撤回自己也未曾恼怒，只留下一句体面话——「值得一试的问题才配得上失败」。数学史对这一段的记法也很公道：未获接受的结果不进正文，但发起总攻的勇气进传记。给后来人的启示朴素而硬：想清楚再押注，押了就不悔——这八个字后来被学生们反复引用。

把一生的方法论收拢成一句。他晚年反复讲：数学家有两样武器——逻辑与想象，缺一样都织不出东西；而二十世纪给数学的最大礼物，是让人们承认「不同领域共享同一件美」。下一页，把这门美交给谁的问题，摆上台面。

回望三件功业，各自长成了大树。K 理论：从拓扑学的分支长成了泛用语言——代数 K 理论自成一门学科，算子代数里的 K 理论成了非交换几何的承重墙，物理学里的拓扑相变与「拓扑材料」的分类，用的仍是 K 理论的账法。当年为黎曼–罗赫造的那台发动机，如今安在几十个领域的引擎舱里，而且还在出新型号：算子代数的 K 理论、代数几何的 K 理论，各说各话，共享同一本原始词典。

指标定理与不动点公式：从定理长成了操作系统。今天任何一本几何分析的教科书，「指标」都是基本词汇；弦理论里的「紧化计数」、镜像对称的「可积系统」，查的仍是同一套表。而「按点交账」的不动点公式，如今是带对称计数问题的默认工具——从枚举几何到规范场计数，人人都在用，不必再提出处：这就是「成为母语」的待遇。

而第四幕的驿道，如今已是通衢。数学物理在各国成了建制学科；「物理学家得菲尔兹奖」从奇闻变成不算稀奇的新闻。所有这些的源头，是 1963 年一间办公室里两把椅子之间的那道等式。下一页，第五针上暗线正席——也是本辑暗线「谁在签名」的收束处。