伊萨多·辛格（Isadore Manuel Singer）

二十世纪后半叶连接纯数学与理论物理的关键桥梁人物，与阿蒂亚共同证明的指标定理被誉为"现代数学的大一统定理"，并直接催生了规范场论与几何的深度融合。

一、生平与时代背景

伊萨多·曼努埃尔·辛格（Isadore Manuel Singer，常被朋友称作 "Is" 或 "Iz"）1924 年 5 月 3 日生于美国密歇根州底特律。父母西蒙·辛格（Simon Singer）与弗丽达·罗斯（Freda Rose）都是波兰犹太移民：1917 年先移居加拿大多伦多并在那里结婚，随后迁往底特律。辛在中小学时代既热爱科学也热爱文学，1941 年 9 月进入密歇根大学时一度在物理学与英国文学之间犹豫，最终选择了物理。

二战压缩了大学学制，他于 1944 年 1 月拿到理学学士学位，随后在美国陆军通信兵部队（Signal Corps）服役三年。受训后被派往菲律宾，在那里开办一所通信兵学校；白天军务之余，他利用晚上自学群论与微分几何，为日后到芝加哥大学攻读物理做准备——正是这段自学让他意识到扎实的数学功底对物理研究的决定性意义。

1947 年 1 月，辛格进入芝加哥大学，本意仍是研究物理，但为了"在物理上走得更远"先修了一个数学硕士学位。1948 年获硕士后，他已被数学深深吸引，转而以数学为业，1950 年获博士学位，导师是欧文·西格尔（Irving Segal），论文题为《无界算子的李代数》（Lie Algebras of Unbounded Operators）。当时芝加哥大学数学系在马歇尔·斯通（Marshall Stone）主持下汇聚了陈省身、麦克莱恩、韦伊、齐格蒙德等大师，以及卡普兰斯基、西格尔、哈尔莫斯等青年骨干，是全球最活跃的数学中心之一；这种群星璀璨的环境深刻塑造了辛格宽广的学术视野。

1950 年辛格出任麻省理工学院 C.L.E. Moore 讲师，此后辗转加州大学洛杉矶分校（1952 助理教授）、哥伦比亚大学（1954–55 访问助理教授）、普林斯顿高等研究院（1955–56 访问）。1954 年回到 MIT 任助理教授，1958 年升副教授，1959 年升正教授。1961 年与希拉·拉夫（Sheila Ruff）结婚，育有一女娜塔莎（Natascha Singer，后成为《纽约时报》记者）；这段婚姻于 70 年代中期结束。后来他与罗斯玛丽（Rosemarie）结合，在伯克利生下两个女儿埃米莉与安娜贝尔。

1970 年他被任命为 MIT 的诺伯特·维纳数学讲座教授。1977 年赴加州大学伯克利分校任访问教授两年，1979 年辞去 MIT 职位正式加盟伯克利，1982 年任伯克利 Miller 教授。1983 年他重返 MIT，任约翰·D·麦克阿瑟数学教授，1987 年晋升为 MIT 最高荣誉的学院教授（Institute Professor），2010 年退休。

2021 年 2 月 11 日，辛格在马萨诸塞州博克斯伯勒（Boxborough）家中去世，享年 96 岁。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 阿蒂亚—辛格指标定理（Atiyah–Singer Index Theorem）

问题背景：十九世纪以来，数学家发现许多经典定理（高斯—博内公式、黎曼—罗赫定理、希策布鲁赫符号差定理）都呈现同一模式：某个"分析量"（解空间维数之差）等于某个"拓扑量"（由示性类积分给出）。能否把这一模式统一为一个一般性定理，是 20 世纪中叶微分几何与拓扑的核心问题之一。

关键思想：设 $M$ 是紧致光滑流形，$E,F$ 是 $M$ 上的复向量丛，$D:\Gamma(E)\to\Gamma(F)$ 是椭圆微分算子。定义其解析指标为 $\operatorname{ind}(D)=\dim\ker D-\dim\operatorname{coker}D$（即解空间维数减去障碍维数）。阿蒂亚与辛格证明，这个纯分析的量只依赖于算子主象征的同伦类和流形的拓扑，可以用示性类显式计算。

精确表述（上同调形式）：

$$\operatorname{ind}(D)=\int_M \operatorname{ch}([\sigma(D)])\cdot \operatorname{td}(TM\otimes\mathbb{C})\cap[M],$$

其中 $\operatorname{ch}$ 是陈特征，$\operatorname{td}$ 是托德类，$[\sigma(D)]\in K(T^*M)$ 是主象征给出的 K-理论类。当 $M$ 不可定向时需使用基本类的适当版本。

与前人的关系：定理以统一方式推出高斯—博内—陈定理（取德拉姆算子）、希策布鲁赫符号差定理（取 Hodge 星算子）、以及紧复流形上的黎曼—罗赫—希策布鲁赫定理（取 $\bar\partial$ 算子）。此前 Hirzebruch 证明了拓扑版本（L-亏格），Grothendieck 把黎曼—罗赫推广到相对情形；阿蒂亚—辛格则把分析与拓扑彻底打通。

局限性与后续：最初的证明基于配边（cobordism）理论，较为间接；后续发展出热方程证明（Getzler 等）、K-理论证明等多种方法。定理本身只处理闭流形，带边流形情形由阿蒂亚、帕托迪（V.K. Patodi）与辛格在 1975–76 年另行处理，是 Atiyah-Patodi-Singer 指标定理与谱不变量 $\eta$ 函数的源头。

2. 与阿蒂亚、帕托迪合作的带边流形指标定理（APS 定理）

问题背景：闭流形指标定理不能直接用于带边流形，因为椭圆边值问题的指标不再是拓扑不变量，还依赖于边界条件。

关键思想：引入一个依赖于边界上算子谱的修正项——$\eta$ 不变量（$\eta(s)=\sum_{\lambda\ne 0}\operatorname{sign}(\lambda)|\lambda|^{-s}$ 的解析延拓在 $s=0$ 的值），把它加到局部示性类积分上，恢复指标的可加性。

意义：APS 定理把指标理论带入了谱几何领域，$\eta$ 不变量随后在陈—西蒙斯（Chern-Simons）理论、模空间、拓扑量子场论中扮演关键角色。

3. Ray-Singer 解析挠率

问题背景：组合拓扑中的 Reidemeister 挠率是一个依赖于流形三角剖分的不变量，但其解析对应物长期缺失。

关键思想：1971 年，辛格与 D.B. Ray（R-torsion and the Laplacian on Riemannian manifolds）用拉普拉斯算子的泽塔正则化行列式定义了一个解析不变量——解析挠率（analytic torsion），并猜想它与 Reidemeister 挠率相等。

结果与影响：该猜想于 1978–79 年由 Jeff Cheeger 与 Werner Müller 各自独立证明（Cheeger-Müller 定理）。解析挠率是现代几何中"行列式线丛"（determinant line bundle）与 Reidemeister 挠率研究的先驱，深刻影响了后来的弦论与反常理论。

4. 完整和乐群定理（Ambrose-Singer 定理）

问题背景：和乐群（holonomy group）描述流形上平行移动绕闭合回路产生的线性变换，是联络几何的核心对象。

结果：1953 年，辛格与沃伦·安布罗斯（Warren Ambrose）证明：对于带有联络的向量丛，一点处的和乐李代数由沿任意分段光滑回路平移回来的曲率算子张成。这是联络论中的基本定理之一，把局部曲率与整体和乐联系起来，是后来 Berger 对和乐群分类工作的基础。

5. 交换赋范代数的导子（Singer-Wermer 定理）

问题背景：1953 年卡普兰斯基问辛格：紧 Hausdorff 空间上连续复值函数代数 $C(X)$ 有哪些导子？辛格次日给出答案：没有非零有界导子。

精确结果：1955 年辛格与 J. Wermer 把结果推广为：半单交换赋范代数上的每个有界导子都为零。由此引出著名的 Singer-Wermer 猜想：交换 Banach 代数上的任意（未必有界）导子都把元素映到根基（radical）中。该猜想直到 1988 年才由 Marc Thomas 证明。

6. 推动数学与理论物理的重新融合（规范场与指标理论）

背景：20 世纪中叶，数学与物理各自发展、沟通甚少。从 70 年代中期起，辛格投入巨大精力理解并向数学家转述现代理论物理的深层结果。

贡献：他系统地把杨—米尔斯规范场论、自对偶（anti-self-dual）联络、瞬子（instanton）等物理概念翻译为微分几何语言；与阿蒂亚、希钦（N. Hitchin）合作研究自对偶杨—米尔斯方程的模空间，直接启发了 1983 年 Simon Donaldson 用规范理论证明四维光滑结构的存在性定理。指标定理本身则成为量子场论中反常（anomaly）计算的标准工具（Witten 等人）。

评价：Steele 奖评语称，自 70 年代中期起的"数学与物理严肃互动的复兴"对数学产生了戏剧性影响，而辛格在其中扮演了主要角色。

四、代表著作与文献

• The Index of Elliptic Operators（与 Michael Atiyah 合作，1968–1971，五篇系列论文，发表于 Annals of Mathematics 与 Bulletin of the AMS）：指标定理的原始经典文献，建立了闭流形上椭圆算子指标的拓扑公式。
• Spectral Asymmetry and Riemannian Geometry（与 M.F. Atiyah、V.K. Patodi 合作，1975–1976，三篇）：带边流形指标定理与 $\eta$ 不变量的奠基性工作。
• R-torsion and the Laplacian on Riemannian manifolds（与 D.B. Ray 合作，Advances in Mathematics 7, 1971）：解析挠率的原始论文。
• Lecture Notes on Elementary Topology and Geometry（与 J.A. Thorpe 合作，1967；后有修订版）：影响广泛的拓扑与几何入门教材，以清晰严谨著称。
• The Founders of Index Theory: Reminiscences of Atiyah, Bott, Hirzebruch, and Singer（丘成桐主编，2003）：收录辛格本人及合作者、学生的回忆文章，是研究指标理论发展史的重要一手资料。

五、师承、学派与同时代交往

• 导师：欧文·西格尔（Irving Segal，芝加哥大学）。芝加哥时期受教于斯通、陈省身、韦伊、齐格蒙德等大师，奠定了分析、几何与代数兼备的功底。
• 最重要合作者：迈克尔·阿蒂亚（Michael Atiyah）。两人自 1962 年辛格访问牛津起合作二十余年，共同建立指标理论。辛格曾说："与迈克尔的合作是我数学生涯中最激动人心的部分。"
• 其他合作者：与 Warren Ambrose（和乐定理）、D.B. Ray（解析挠率）、V.K. Patodi（带边指标定理）、R. Arens、J. Wermer、R.V. Kadison 等均有重要合作；自称有三十余位合作者。
• 与物理界的桥梁：与理论物理学家广泛交流，是 Edward Witten 等物理学家进入数学界的重要引荐者；与陈省身、丘成桐同为华人数学圈的长期朋友。
• 学生与后辈：培养了大量微分几何与数学物理方向的学生，在伯克利和 MIT 均有知名门徒；MSRI 亦为一代数学物理学家的成长摇篮。

六、争议、公案与历史评价

• 优先权与归属：指标定理的基本思想在阿蒂亚与辛格合作前已有萌芽（Hirzebruch 的拓扑版本、Grothendieck 的相对黎曼—罗赫），但完整的分析—拓扑等价定理的证明归于阿蒂亚—辛格。两人始终共同署名，学界无优先权争议。
• Singer-Wermer 猜想：1955 年提出后悬置三十余年，1988 年由 Marc Thomas 证明，成为 Banach 代数理论中的一段佳话，也体现了辛格早期工作的深远影响。
• 历史定位：辛格的独特之处在于，他既是指标定理这种"纯数学大一统"结果的核心贡献者，又是把现代理论物理重新引入数学的关键推动者。2004 年阿贝尔奖评语称他"在拓扑、几何与分析之间架起桥梁，并在数学与理论物理之间建造新的桥梁"。

七、身后影响与学术谱系

• 指标理论已成为现代数学的支柱之一：指标定理被列入每个微分几何、数学物理研究生的核心课程，其思想渗透于 K-理论、非交换几何（Connes）、拓扑量子场论、弦论等几乎所有现代前沿。
• Donaldson 理论与四维流形：辛格参与翻译的自对偶杨—米尔斯方程研究直接催生了 Donaldson 不变量，彻底改变了四维光滑流形的研究面貌。
• 数学与物理的持续互动：他主导的"数学物理复兴"延续至今，从镜像对称到几何朗兰兹纲领，物理直觉持续反哺纯数学。
• MSRI 的遗产：作为 MSRI 的重要创办人之一，该研究所已成为全球最重要的数学交流平台之一。
• 教学传统：他坚持教本科基础课（据 Killian 奖评语，他"或许是唯一一位定期教授普通（非荣誉）第一学期微积分的杰出大学教授"），体现了对教学的高度重视。

八、延伸阅读与权威来源

• Isadore Singer (1924–2021) – MacTutor History of Mathematics：权威传记，含生平、著作、荣誉与完整参考文献。
• Institute Professor Emeritus Isadore Singer dies at 96 – MIT News：MIT 官方讣告，概述其学术贡献与影响。
• Isadore Singer Transcended Mathematical Boundaries – Quanta Magazine：知名科学媒体的深度纪念文章，含同行评价。
• The Abel Prize 2004 – Atiyah and Singer：阿贝尔奖官方页面，含颁奖词与学术背景介绍。
• Isadore Manuel Singer – UC Berkeley Senate Memoriam：伯克利校方纪念，详述其伯克利时期贡献。
• Interview with Michael Atiyah and Isadore Singer – Notices of the AMS, 2005：两位指标定理创立者的长篇访谈（M. Raussen 与 C. Skau 主持）。
• Mathematical Genealogy Project – Isadore Singer：学术谱系查询，含其导师与学生列表。