迈克尔·阿蒂亚（Michael Francis Atiyah）

20 世纪几何与数学物理的「大祭司」——他与辛格证明的指标定理把分析（椭圆偏微分方程的解空间维数）与拓扑（示性类）焊成一体，是 20 世纪最深刻的定理之一；他与希尔策布吕赫发展的 K 理论成为代数拓扑的支柱；晚年他把规范场、瞬子、磁单极子引进纯数学，催生了唐纳森的四维流形革命，并把数学物理推上了当代数学的中心舞台。他既是定理的证明者，也是跨学科对话的组织者与传声筒。

一、生平与时代背景

迈克尔·弗朗西斯·阿蒂亚 1929 年 4 月 22 日生于英国伦敦。父亲爱德华·塞利姆·阿蒂亚（Edward Selim Atiyah，1903—1964）是黎巴嫩人，祖父是喀土穆的医生，父亲本人毕业于牛津布雷齐诺斯学院，在苏丹任文职官员，也是作家，并在二战期间建立了广播服务；母亲珍·莱文斯（Jean Levens）是苏格兰裔，父亲是约克郡的牧师，她本人在牛津读过大学。父母在牛津相识。家中四个孩子，迈克尔是长子；弟弟帕特里克（Patrick Selim，1931 年生）后来成为英国律师与学者，弟弟约瑟夫（Joe，最幼）学数学后成为计算机科学家，妹妹塞尔玛（Selma）在美国学习英语。

迈克尔虽生于伦敦，却在喀土穆长大（家庭每年夏天回英国避暑）。1934 年 5 岁入喀土穆的教会小学，1941 年完成初等教育。1941 年全家经法国回黎巴嫩，他短暂就读法语学校；随后为避开战火（英国与自由法国在黎巴嫩的军事行动），被送往开罗的维多利亚学院（Victoria College，英国公学模式的寄宿学校，他父亲也读过）。他比同班同学小两岁，靠帮大孩子做作业而免于被欺凌。在这里他一度迷上化学，但厌恶「一堆要背的事实」，最终回到数学。1945 年战后全家定居英国，他就读曼彻斯特文法学校（英国数学最强的中学之一），从一位 1912 年牛津毕业的「老式但鼓舞人心」的老师那里获得了对射影几何综合证明的热爱，并第一次接触到汉密尔顿的四元数——「其美至今令我着迷」。

1947 年获剑桥三一学院奖学金，但他先服了两年义务兵役（任文书，借机读了哈代—赖特的《数论》与群论文章），1949 年秋正式入学。1952 年获学士学位，本科期间发表第一篇论文《关于挠曲线切线的注记》。他继续在剑桥做研究，1955 年获博士学位，论文《代数几何中拓扑方法的若干应用》，导师是威廉·霍奇（William V. D. Hodge）。他与霍奇合作发表两篇关于「第二类形式」的论文（1954、1955），并对法国刚兴起的层论产生兴趣。1954 年当选三一学院研究员。

1955 年 7 月 30 日他与莉莉·布朗（Lily Brown，1928—2018）结婚，育有三子 John、David、Robin。莉莉生于爱丁堡，父亲是罗赛斯海军船厂的码头工人，她先在爱丁堡大学学数学，后到剑桥读 Tripos，并在玛丽·卡特赖特（Mary Cartwright）指导下获博士学位，当时任伦敦贝德福德学院讲师。1955—1956 年阿蒂亚获英联邦奖学金赴普林斯顿高等研究院，在那里遇到了塞尔、希尔策布吕赫（Friedrich Hirzebruch）、小平邦彦、斯宾塞、博特（Raoul Bott）和辛格（Isadore Singer）——这些人后来都成为他的主要合作者。

回剑桥后任学院讲师（1957 起）、彭布罗克学院研究员（1958 起）。1961 年赴牛津任高级讲师（Reader）、圣凯瑟琳学院研究员；1963 年起任牛津萨维利安几何学讲座教授（Savilian Professor of Geometry）直至 1969 年。1969—1972 年任普林斯顿高等研究院教授；1972 年回牛津任皇家学会研究教授、圣凯瑟琳学院研究员，牛津此后是他的基地直到 1990 年。

1966 年在莫斯科国际数学家大会上获菲尔兹奖（由嘉当作介绍报告）。1962 年 32 岁当选英国皇家学会院士，1968 年获皇家学会皇家奖章，1988 年获科普利奖章。1983 年被封为爵士（Knight），1992 年获功绩勋章（Order of Merit），2011 年获法国荣誉军团大军官勋章。

1990 年他同时出任三职：剑桥三一学院院长（Master，1990—1997）、英国皇家学会会长（1990—1995）、剑桥艾萨克·牛顿数学科学研究所创始所长（1990—1995）。他从三一学院院长任上退休后移居苏格兰爱丁堡，2004 年与辛格共获阿贝尔奖。2018 年妻子莉莉去世；2019 年 1 月 11 日，阿蒂亚在爱丁堡逝世，享年 89 岁。

二、学术生涯年表

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

1. 阿蒂亚—辛格指标定理（1963 证明，1968—1971 发表）

问题背景：流形上椭圆偏微分方程（如拉普拉斯算子、狄拉克算子）的解空间维数是一个解析量；而流形的拓扑量（欧拉示性数、符号差）由示性类积分给出。能否把两者联系起来？经典的高斯—博内定理、希策布鲁赫符号差定理、黎曼—罗赫定理分别是特例。

精确表述：设 $M$ 是紧光滑流形，$D:\Gamma(E)\to\Gamma(F)$ 是向量丛之间的椭圆（伪）微分算子。定义解析指标 $$\operatorname{ind}(D)=\dim\ker D-\dim\operatorname{coker} D.$$ 拓扑指标由 $D$ 的主象征（principal symbol）的陈特征（Chern character）与切丛的托德类（Todd class）在 $T^M$ 上积分给出： $$\operatorname{ind}{\text{top}}(D)=\int{T^M}\operatorname{ch}(\sigma(D))\cdot\operatorname{td}(TM\otimes\mathbb C).$$ 阿蒂亚—辛格定理：$\operatorname{ind}(D)=\operatorname{ind}_{\text{top}}(D)$。

特例：取 $D$ 为德拉姆算子的外微分 + 余微分 → 高斯—博内（欧拉示性数 $=$ 切丛欧拉类积分）；取霍奇星相关的算子 → 希策布鲁赫符号差定理；取 $\bar\partial$ 算子 → 黎曼—罗赫—希策布鲁赫定理。

意义：这是 20 世纪最深刻的数学定理之一，统一了分析、拓扑、几何；它是指标理论的起点，直接孕育了热核证明（Getzler 等）、非交换几何（Connes）、以及理论物理中的反常（anomaly）计算。

2. 拓扑 K 理论（与 Hirzebruch，1959 起）

背景：格罗滕迪克在代数几何中用向量丛的格罗滕迪克群定义了 $K_0$。能否把它做成拓扑中的广义上同调理论？

结果：阿蒂亚与希尔策布吕赫定义了拓扑 K 群：$K^0(X)$ 是紧空间 $X$ 上复向量丛同构类的格罗滕迪克群；$K^{-n}(X)=\widetilde K^0(S^n X)$（约化群）。他们证明了这构成一个广义上同调理论（满足除维数公理外的艾伦伯格—斯廷罗德公理），并构造了阿蒂亚—希尔策布吕赫谱序列把它与奇异上同调联系起来。利用博特周期性（Bott periodicity：$K^{n+2}\cong K^n$），K 理论在偶数维非零。

应用： - 阿蒂亚用 K 理论重新证明了霍普夫不变量为 1 的元素只在维数 1,2,4,8 存在（亚当斯的著名结果，用 K 理论给出简化证明）。 - 球面上线性无关向量场的最大个数（亚当斯向量场定理）。 - 是代数 K 理论的拓扑前身。

意义：K 理论是 20 世纪后半叶最重要的新上同调理论之一，成为代数拓扑、算子代数（K 理论）、指标理论、弦理论（D 膜电荷）的共同语言。阿蒂亚 1967 年的《K 理论》至今是标准教材。

3. 阿蒂亚—博特不动点定理（1966）

背景：经典的莱夫谢茨不动点公式把映射的不动点数（带重数）等于其在同调上的迹（Lefschetz 数）。能否推广到椭圆复形？

结果：阿蒂亚与博特证明：对紧流形上的椭圆复形及保持复形的映射 $f$，其超迹（supertrace）等于 $f$ 在不动点处的局部贡献之和。若 $f$ 只有孤立非退化不动点 ${p}$，则 $$L(f)=\sum_p \frac{1}{|\det(I-d_p f)|}.$$

应用： - 对李群的作用给出韦伊特征标公式（Weyl character formula）的一个简洁的拓扑证明。 - 发展了等变上同调与局域化（localization）技术，影响了辛几何、表示论与数学物理。

意义：把不动点技术从拓扑提升到分析，表示论中许多经典公式因此获得几何解释；也是后来等变指标定理的先驱。

4. 杨—米尔斯瞬子与 ADHM 构造（1970 年代）

背景：理论物理中的杨—米尔斯自对偶方程（瞬子 instanton）是 4 维流形上的非线性偏微分方程，物理学家关心其解的模空间。

结果：阿蒂亚率先把瞬子引入纯数学。1978 年，他与希钦（Nigel Hitchin）、德林费尔德（Vladimir Drinfeld）、马宁（Yuri Manin）合作给出 ADHM 构造：把 $S^4$ 上 $\mathrm{SU}(2)$（或 $\mathrm{U}(n)$）瞬子的模空间完全代数化为线性代数数据（有限维向量空间与满足某些关系的矩阵）。这是第一个完整的非线性规范场解的分类。

意义：ADHM 构造直接启发了他的学生西蒙·唐纳森（Simon Donaldson）——唐纳森用瞬子模空间的拓扑定义了四维流形的新不变量（唐纳森多项式），1983 年证明了单连通代数曲面的微分结构刚性，1986 年获菲尔兹奖。这是规范场理论「反哺」纯数学的划时代事件。

5. 磁单极子的几何与动力学（与 Hitchin，1988）

结果：在《磁单极子的几何与动力学》（1988）中，阿蒂亚与希钦研究了三维空间中 BPS（Bogomol'nyi–Prasad–Sommerfield）磁单极子的模空间，证明其带有自然的超凯勒（hyperkähler）度量，单极子的缓慢运动对应于模空间上的测地流。他们特别研究了两个单极子的散射，其模空间是著名的阿蒂亚—希钦流形（Atiyah–Hitchin manifold，一个 4 维完备超凯勒流形）。

意义：把数学物理中的孤子方程与微分几何（超凯勒流形、可积系统）联系起来，是几何分析与物理对偶性研究的经典范例；阿蒂亚—希钦流形成为引力瞬子的重要例子。

6. 拓扑量子场论与数学物理的推动（1980s—1990s）

贡献： - 1988 年阿蒂亚提出拓扑量子场论（TQFT）的公理框架（基于张量函子从配边范畴到向量空间范畴），把威滕、塞格尔的物理思想数学化。 - 他把威滕（Edward Witten）的工作介绍给数学界：1989 年威滕用陈—西蒙斯规范理论解释了琼斯多项式（纽结不变量），阿蒂亚积极推广，使量子群、纽结不变量与三维拓扑融为一体。 - 他推动了超弦理论中黎曼曲面、模空间、镜像对称的数学研究。

意义：阿蒂亚是 1980—1990 年代数学与物理「第二次联姻」（继冯·诺依曼时代后）的核心组织者与翻译者；他把物理学家的直觉引入数学，又把数学的严格带给物理。

7. 早期代数几何：直纹面与霍奇合作（1950s）

背景：博士期间与导师霍奇合作。

结果：1954—1955 年与霍奇合写《代数簇上的第二类形式》两篇，研究代数簇上全纯形式的结构；1955 年单篇《复纤维丛与直纹面》用纤维丛语言研究代数直纹面，预示了他后来「用丛与上同调研究几何」的路线。这是他从经典射影几何走向现代几何的起点。

四、代表著作与文献

• 《椭圆算子的指标》I—V（与 I. M. Singer 合著，1968—1971，Annals of Mathematics 88、93）：指标定理的完整证明系列。
• 《K 理论》（K-theory，1967，Benjamin；1989 年 Addison-Wesley 重印）：拓扑 K 理论的经典教材。
• 《交换代数导引》（与 I. G. Macdonald 合著，1969，Addison-Wesley）：交换代数最流行的入门教材之一。
• 《椭圆算子与紧群》（1974）：等变指标理论。
• 《杨—米尔斯场的几何》（1979，Lezioni Lincee）：瞬子理论讲义。
• 《磁单极子的几何与动力学》（与 N. J. Hitchin 合著，1988，Princeton）：磁单极子与超凯勒几何。
• 《纽结的几何与物理》（1990，Cambridge）：TQFT、陈—西蒙斯与纽结不变量的普及讲义。
• 《Michael Atiyah: Collected Works》（六卷，Oxford 1988）：收齐其论文，含作者注释。
• 《爱丁堡几何、分析与物理讲演》（2010）：晚年数学物理思考。

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

• 师承：博士导师威廉·霍奇（调和积分、霍奇分解），引导他走向现代几何；本科从曼彻斯特文法学校的几何老师处爱上射影几何。
• 辛格（Isadore Singer）：1955—56 年在普林斯顿相识，后来合作证明指标定理（1963），是其最重要的合作者；两人共享 2004 年阿贝尔奖。
• 希尔策布吕赫（Friedrich Hirzebruch）：普林斯顿相识，共同发展 K 理论（1959 起），长期合作；Hirzebruch 的黎曼—罗赫定理是指标定理的先导。
• 博特（Raoul Bott）：1955—56 年相识，合作不动点定理（1966）、Clifford 模（Atiyah–Bott–Shapiro 1964）等；博特周期性是 K 理论的关键。
• 塞尔：普林斯顿相识，在层论、K 理论、指标定理上有持续交流；两人同属 1950 年代几何分析革命的核心。
• 威滕（Edward Witten）：非师生但密切的思想对话者；阿蒂亚把威滕的物理工作引入数学界，威滕的菲尔兹奖（1990）工作（琼斯多项式、量子场论）深受阿蒂亚—辛格指标理论影响。
• 学生：西蒙·唐纳森（1986 菲尔兹奖，四维流形理论）、奈杰尔·希钦（几何分析、超凯勒、希钦系统）、格雷姆·西格尔（Segal，配边范畴、共形场论）、西蒙·萨拉蒙等。
• 学派归属：英国几何学派（霍奇—阿蒂亚—唐纳森/希钦传统），连接了经典代数几何、现代拓扑分析与数学物理；20 世纪末几何与物理交融的核心人物。

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

• 指标定理的优先权：指标定理的特例（黎曼—罗赫—希策布鲁赫、符号差）此前已有，但「一般椭圆算子的解析指标 = 拓扑指标」的完全一般定理由阿蒂亚与辛格证明，优先权无争议。格罗滕迪克曾提出代数版本的思路（相对黎曼—罗赫），但分析/拓扑版本是阿蒂亚—辛格的。
• 与物理的「越界」：1970 年代起阿蒂亚把规范场、瞬子、单极子引入纯数学，当时部分纯数学家不以为然，认为是「物理」；但 1980 年代唐纳森用瞬子 revolution 了四维拓扑后，这种跨界被证明极其深刻，如今数学物理已是主流。
• 晚年的争议性主张：
• 2016 年：在 arXiv 发表论文（arXiv:1610.09366）宣称用 KR 理论证明 6 维球面 $S^6$ 上不存在复结构——这是 60 多年的著名未解问题。论文很短，细节未被专家接受，未正式发表，学界共识是该证明不成立。
• 2018 年 9 月：89 岁的他在海德堡获奖者论坛（Heidelberg Laureate Forum）上宣称用「Todd 函数」与精细结构常数的性质证明了黎曼猜想。该论证步骤被数论界普遍认为缺乏充分支持，共识是该证明无效。丘成桐等专家公开表示文章不具备数学家要求的严格性。
• 对这些晚年主张，学界普遍采取「尊重其毕生贡献、但不认可晚期论证」的同情态度，常以「一位巨匠晚年的大胆尝试」视之，不影响其既有成就的历史地位。
• 历史评价：2004 年阿贝尔奖（与辛格）授奖词称「他们发现并证明了指标定理，把拓扑、几何与分析统一起来，并为理论物理的规范场论提供了数学基础」。他被视为 20 世纪后半叶最具影响力的几何学家，其影响横跨纯数学与理论物理；他同时是出色的学术组织者与公共知识分子（皇家学会会长、牛顿研究所创始所长）。
• 常见误传澄清：威滕并非阿蒂亚的博士学生（威滕的博士导师是普林斯顿的 David Gross），但两人有长期密切的思想交流，阿蒂亚是把威滕引入数学界的关键桥梁。

七、身后影响与学术谱系

• 对分析与几何：指标定理是现代几何分析的基石；热核方法、非交换几何（Connes 的谱三元组）、L² 上同调都建立在指标理论之上。
• 对拓扑：K 理论成为代数拓扑的支柱，影响代数 K 理论、算子代数 K 理论、拓扑 K 理论在弦论中的应用。
• 对数学物理：瞬子、单极子、TQFT 推动了规范场论与几何的深度融合；唐纳森理论、Seiberg–Witten 理论、镜像对称、量子群与纽结不变量，都可追溯到阿蒂亚开辟的方向。
• 学术谱系：霍奇 → 阿蒂亚 → 唐纳森/希钦（英国几何分析学派）；他的思想通过学生与合作者塑造了 1980 年代以来的几何与物理。
• 命名遗存：阿蒂亚—辛格指标定理、阿蒂亚—希尔策布吕赫 K 理论与谱序列、阿蒂亚—博特不动点定理、阿蒂亚—博特—沙皮罗（Clifford 模）、ADHM 构造、阿蒂亚—希钦流形、阿蒂亚的 TQFT 公理、阿蒂亚类（Atiyah class，复流形上向量丛的霍奇型类）；2019 年皇家学会为其发布传记回忆录；三一学院与牛顿研究所有纪念。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Michael Atiyah：圣安德鲁斯大学权威传记，本档案主要生平出处。
• MacTutor: Atiyah's students：其博士生列表。
• MacTutor: Atiyah's books：其著作的书评摘录。
• Wikipedia: Michael Atiyah：生平、职位、著作与争议的交叉核对。
• Wikipedia: Atiyah–Singer index theorem：指标定理的精确陈述与历史。
• Wikipedia: Topological K-theory：K 理论的定义与应用。
• Wikipedia: Atiyah–Bott fixed-point theorem：不动点定理。
• Wikipedia: ADHM construction：瞬子的代数化构造。
• Wikipedia: Atiyah–Hitchin manifold：磁单极子与超凯勒几何。
• The Abel Prize 2004: Michael Atiyah & Isadore Singer：挪威官方授奖页与授奖词。
• Trinity College Cambridge: Tribute to Sir Michael Atiyah 1929–2019：三一学院官方悼念。
• Biographical Memoirs of Fellows of the Royal Society: Sir Michael Atiyah OM (2020)：皇家学会权威传记回忆录。
• Mathematical Genealogy Project: Atiyah：学术谱系。