迈克尔·阿蒂亚

获奖原因

迈克尔·阿蒂亚是 20 世纪后半叶最具开创性的几何与分析学家。他与伊萨多·辛格在 1963 年证明的阿蒂亚–辛格指标定理，把椭圆微分算子的解析指标与其符号的拓扑不变量联系起来，被视为战后数学最重要的 theorems 之一。阿蒂亚还开创了拓扑 K 理论，与博特共同发展指标理论的诸多推广，并在晚年与威滕等人推动拓扑量子场论。2004 年他与辛格共享首届（实际为第二届）阿贝尔奖。

问题来龙去脉

阿蒂亚–辛格指标定理回答了一个源远流长的问题：一个偏微分方程”有多少独立解、多少独立约束”？

在几何与分析中，大量问题归结为椭圆微分算子 $D : C^\infty(E) \to C^\infty(F)$（其中 $E,F$ 是流形 $M$ 上的向量丛）。其”指标”定义为 $\mathrm{ind}(D) = \dim \ker D - \dim \mathrm{coker}\,D = \dim \ker D - \dim \ker D^*.$ 古典例子：对紧黎曼流形上的棣莫干（de Rham）算子，指标等于贝蒂数的交错和，即欧拉示性数 $\chi(M)$——这已是”指标 = 拓扑不变量”的先声（Hodge 理论）。

阿蒂亚与辛格的洞见是：指标完全由算子的”符号”（即最高阶项在主符号丛上诱导的映射 $\sigma(D)$）所决定的拓扑性质给出。对于作用在旋量丛上的狄拉克算子 $D\!\!\!\!/$，其指标等于流形的 Â-亏格（Hirzebruch 符号定理的推广）： $\mathrm{ind}(D\!\!\!\!/) = \int_M \hat{A}(TM)\,e^{c_1/2}.$ 更一般地，通过他们与博特发展的 K 理论，拓扑指标可由丛的 K 理论类计算，而解析指标由椭圆算子的核与余核维数计算；定理断言两者相等： $\mathrm{ind}_{\text{top}}(D) = \mathrm{ind}_{\text{an}}(D).$

这一等式为何深刻？因为它把”分析”（解偏微分方程）与”拓扑”（流形的整体不变量）两根看似无关的线索系成同一根。其推论遍布数学与物理：从黎曼–罗赫定理的现代形式、代数几何中曲面的 Noether 公式，到陈–西蒙斯拓扑场论、超对称指标，再到凝聚态物理中的手性反常。

阿蒂亚本人的贡献还在于方法上的开创：他与希策布鲁赫（Hirzebruch）把 K 理论建成独立的拓扑不变量；与博特得到固定点公式（阿蒂亚–博特）；又与辛格给出指标定理的”热核”证明路线（后经 Patodi、Gilkey 完成），用 Heat kernel 的短时渐近展开把分析与拓扑直接对接。晚年他与威滕把指标定理嵌入拓扑量子场论框架，预言了后来在弦论与镜对称中起到核心作用的拓扑不变量。

指标定理因此不仅是一个结果，更是一条贯穿几何、分析与物理的方法论主轴。阿贝尔奖表彰的，正是阿蒂亚作为这条主轴奠基者的终身贡献。

相关链接

阿贝尔奖 微分几何代数拓扑K理论算子理论