迈克尔·阿蒂亚 · 世界数学发展史

获奖原因

迈克尔·阿蒂亚（Michael Atiyah，1929–2019）获 1966 年菲尔兹奖（与保罗·科恩、格罗滕迪克、斯梅尔同届），表彰他与伊斯雷尔·辛格（I. M. Singer）共同证明的阿蒂亚–辛格指标定理（Atiyah–Singer Index Theorem）——20 世纪数学最深刻的定理之一。

该定理把椭圆微分算子的”解析指标”（ $\dim\ker D - \dim\coker D$ ）用流形的拓扑不变量完全算出：对紧流形 $M$ 上的椭圆算子 $D$ ， $\mathrm{index}(D) = \int_M \mathrm{ch}(\sigma(D))\, \mathrm{Td}(TM),$ 其中 $\mathrm{ch}$ 为陈特征标、 $\mathrm{Td}$ 为托德类。这一公式统一了高斯–博内（Gauss–Bonnet）、 Hirzebruch–黎曼–罗赫、格罗滕迪克–黎曼–罗赫等经典结果，是微分几何、拓扑、分析、代数几何四大领域的交汇点。

阿蒂亚还与博特（Bott）、帕托迪（Patodi）等发展了热核证明，并把指标理论推广到带边流形、等变情形与狄拉克算子，深刻影响了理论物理（反常消除 anomaly cancellation、拓扑绝缘体、陈–西蒙斯理论）。他晚年与威滕（E. Witten）等工作把指标定理与拓扑量子场论相连，并于 2004 年获阿贝尔奖。

问题来龙去脉

一、问题：椭圆算子的”指标”能算出来吗？

微分几何与 PDE 中大量基本算子都是椭圆型的：如德拉姆（de Rham）复形上的 $d$ 、多复变的 $\bar\partial$ 、旋量丛上的狄拉克算子 $D$ 、以及 signature 算子。对一个椭圆算子 $D: E\to F$ （向量丛之间的微分算子），其核 $\ker D$ 与余核 $\coker D$ 都是有限维，定义解析指标 $\mathrm{ind}_a(D) = \dim\ker D - \dim\coker D.$

几何上关心的不是单个解，而是”解空间的维数差”——例如：

对signature 算子，指标 = 流形的符号差 $\mathrm{sign}(M)$ ；
对 Dirac 算子，指标 = 陈示性数的组合（A-亏格等）；
对 $\bar\partial$ （复流形），指标 = 典则丛上同调的欧拉特征 = 托德数（Hirzebruch–R-R）。

经典定理各自给出特例的拓扑公式，但缺少统一框架：能否对任意椭圆算子，把解析指标直接写成陈类/示性类的积分？

二、前人与困难

霍奇理论把上同调与调和形式对应； Hirzebruch（1954）证明了黎曼–罗赫–赫策布鲁赫定理（RRH）：对复流形 $X$ 上全纯向量丛 $E$ ， $\chi(X,E) = \int_X \mathrm{ch}(E)\,\mathrm{Td}(TX).$ 这是”解析量 = 拓扑积分”的范例，但仅覆盖 $\bar\partial$ 型算子。阿蒂亚与辛格的目标是把 RRH 推广到所有椭圆算子、并脱离复结构限制。困难在于：一般椭圆算子的符号（symbol）不再是全纯对象，如何把”指标”放进一个能泛化 RRH 的代数框架？

三、突破：K-理论与拓扑指标

阿蒂亚的关键创意是用K-理论（由格罗滕迪克为代数几何、阿蒂亚–希策布鲁赫为拓扑引入）作为”指标的容器”：

符号的同伦不变量：椭圆算子的符号 $\sigma(D)$ 是纤维上的自同态；在稳定同伦意义下，符号属于 $K(TM)$ （切丛的 K-理论）。指标在”同伦”下不变，于是可把指标看作从符号类到整数的同态。
拓扑指标：定义一个纯拓扑的”拓扑指标” $\mathrm{ind}_t$ ，通过对 $K(TM)$ 用托德类提升 + 陈特征标，再积分到流形： $\mathrm{ind}_t(D)=\int_M \mathrm{ch}(\sigma(D))\,\mathrm{Td}(TM).$
等式：阿蒂亚–辛格证明解析指标与拓扑指标相等： $\boxed{\mathrm{ind}_a(D)=\mathrm{ind}_t(D)}.$

证明路线有几条：最初的配边/嵌入证明（把流形嵌入高维欧氏空间，用 Thom 空间把算子拉回，借配边环的已知结构算出指标）；后来的热核证明（Atiyah–Bott–Patodi，沿算子演化的 heat kernel 在 $t\to 0$ 时其超迹趋于托德类积分，连通了分析侧与几何侧）。

四、意义与后续

统一与推广：指标定理把高斯–博内（欧拉示性数）、RRH、signature 定理收为一个公式；其等变版本（Atiyah–Segal–Singer）给出轨道上的局部化公式，广泛用于表示论与物理。
数学物理：威滕（1983）用指标定理（尤其是狄拉克算子的指标 = 手征反常）解释和规范场论的反常消除；唐纳森、塞伯格–威滕理论中指标是核心计算工具；拓扑绝缘体的体–边对应也源于此。
K-理论与拓扑：指标定理使 K-理论成为几何分析的”语法”，直接推动了算子代数 K-理论（Connes）与非交换几何。

阿蒂亚以横跨纯数学与理论物理的视野，把代数拓扑、几何分析与物理反常论织成一张网；指标定理因此被称为”20 世纪数学的脊柱之一”。