伊萨多·辛格

与阿蒂亚共同证明阿蒂亚–辛格指标定理,并在算子理论、规范理论与热核方法中作出关键贡献

奖项
阿贝尔奖
年份
2004
国籍 / 出生
美国
出生
1924

获奖原因

伊萨多·辛格是与阿蒂亚并肩的指标定理共同作者。作为分析学家,他为阿蒂亚–辛格指标定理提供了严格的算子论与泛函分析基础,并在其后的数十年里把指标思想推广到规范场论与几何分析。他还与阿蒂亚、希策布鲁赫等人发展了指标理论在带边流形、奇点空间上的版本,并深刻影响了数学物理。2004 年他与阿蒂亚共享阿贝尔奖。

问题来龙去脉

如果说阿蒂亚为指标定理带来了拓扑与 K 理论的眼光,辛格则提供了分析一侧的严谨骨架。指标定理要成立,必须先把”椭圆算子的核与余核维数之差”严格地定义为一个稳定的拓扑不变量——这依赖于泛函分析中椭圆算子的 Fredholm 性质:在适当的 Sobolev 空间中,DD 及其伴随 DD^* 都有有限维核,故 ind(D)\mathrm{ind}(D) 良定义。

辛格的关键贡献之一,是与阿蒂亚给出指标定理的热核证明路线。想法来自 McKean–Singer 公式:若 DD 为自伴算子(如狄拉克算子的平方 D2D^2),则 ind(D)=Tr(etD2kerD 补)Tr(etD2kerD)=Trs(etD2),\mathrm{ind}(D) = \mathrm{Tr}\big(e^{-tD^2}\big|_{\ker D^* \text{ 补}}\big) - \mathrm{Tr}\big(e^{-tD^2}\big|_{\ker D}\big) = \mathrm{Tr}_s(e^{-tD^2}), 其中 Trs\mathrm{Tr}_s 为超迹。当 t0+t\to 0^+,热核 etD2e^{-tD^2} 的短时渐近展开由 DD 的符号(即局部几何,涉及曲率与丛联络)决定,其领先项恰给出拓扑指标积分;而超迹与 tt 无关,故比较 t0t\to 0tt\to\infty 即得指标等式。这一路线后来由 Patodi、Gilkey 与阿蒂亚–博特–辛格完善,成为现代几何分析的标准工具。

辛格还把指标思想推向数学物理。1980 年代他与威滕讨论的”阿蒂亚–辛格在规范场中的应用”直接催生了规范理论的拓扑不变量研究;他与阿蒂亚关于自伴算子在开流形上的工作,启发了后来与陶布斯(Taubes)等在杨–米尔斯方程上的分析。此外,辛格在算子代数、约化群表示、以及”指标与规范对称”的交叉上也留下深刻足迹。

值得强调的是,辛格与阿蒂亚的合作关系本身即是数学史上”分析与拓扑相互成就”的范本:拓扑给出猜想与不变量,分析提供证明与机制,二者缺一不可。指标定理之所以能从一道”解的个数”的问题,成长为横跨几何、拓扑、分析与物理的方法论,辛格在算子理论与热核分析上的奠基性工作功不可没。阿贝尔奖对辛格的认可,正是对这一分析基石的致敬。