生平
陈省身(Shiing-Shen Chern,1911年10月26日—2004年12月3日)是20世纪最伟大的几何学家,被誉为"微分几何之父"。他的工作彻底改变了几何学的面貌,将局部微分几何与整体拓扑学连接成一个统一的框架——陈示性类(Chern classes)至今仍是纯粹数学与理论物理中不可或缺的语言。陈省身出生于浙江嘉兴秀水县。他在幼年便表现出非凡的数学才华,15岁入天津南开大学,19岁毕业,21岁获清华大学硕士学位。1932年,他前往德国汉堡大学,在当时微分几何的中心,跟随布拉施克(Wilhelm Blaschke)学习,1936年获博士学位。
随后,陈省身在巴黎跟随嘉当(Élie Cartan)工作了一年。这段经历是决定性的。嘉当是当时最伟大的几何学家,他发展了微分形式和外导数的方法,但他的写作出了名地晦涩。陈省身是少数几个真正理解了嘉当思想精髓的数学家之一,并将其推向了全新的高度。
1943年至1945年,陈省身在普林斯顿高等研究所(Institute for Advanced Study)工作——这是他科学生涯中最关键的两年。在这里,他几乎是独自一人,完成了对高斯-博内定理的高维推广,并构造了后来被称为陈类的示性类。这项工作在当时并未立即被广泛认识,但随后几十年,它被证明是20世纪几何学中最重要的单一成果之一。
战后,陈省身回中国,参与创建了数学研究所,但很快又赴美,在芝加哥大学执教(1949—1960),后转至加州大学伯克利分校(UC Berkeley),在那里建立了数学系并使之跻身世界顶尖之列(1960—1979)。1981年,他在伯克利创建了数学科学研究所(MSRI,今Simons Laufer Mathematical Sciences Institute)并任首任所长。
1983/84年,陈省身获得沃尔夫奖(Wolf Prize in Mathematics,1983-84年度)——数学界最高荣誉之一,评奖委员会称他"是本世纪最伟大的几何学家"。他是首位获此殊荣的华裔数学家。
1999年,陈省身回国定居,在南开大学任职,在天津度过了生命的最后几年。2004年12月3日,他在天津去世,享年93岁。
核心贡献
高斯-博内-陈定理
理解陈省身最著名的结果,需要先了解高斯-博内定理的背景。
高斯-博内定理(1850年代):对于一个紧致的、无边界的曲面 $M$,曲率的积分与欧拉示性数之间存在精确关系:
其中 $K$ 是高斯曲率, 是欧拉示性数(拓扑不变量)。这个定理建立了局部几何量(曲率,随度量改变)与整体拓扑量(欧拉示性数,不随度量改变)之间的深刻联系——是几何与拓扑之间最美丽的桥梁之一。高维推广的问题在于:对于一般的 $2n$ 维黎曼流形,应当如何推广这一定理?在普林斯顿高等研究所期间(1943—1945),陈省身给出了答案,其证明于 1944 年发表在《数学年刊》(Annals of Mathematics)上——陈-高斯-博内定理(Chern–Gauss–Bonnet theorem):
其中 $e(TM)$ 是切丛的欧拉类(Euler class),是一个用曲率张量构造的微分形式。这个公式将高维情形统一在纤维丛的语言下,结果精美而自然。
陈省身的证明的革命性在于:他不用更早期(如阿利亚斯和弗伦塔尔)的证明方法(那些方法要"嵌入"到欧几里得空间),而是发展了一种内蕴的证明——完全在流形本身之上工作,不需要任何"外部"空间。他引入了单位切丛(unit tangent bundle)作为辅助空间,在其上构造微分形式,然后用斯托克斯定理(Stokes' theorem)完成证明。这种方法现在是微分拓扑中的标准工具。
陈示性类
陈省身最深远的贡献是陈示性类(Chern classes),也称"陈类"。设 是复向量丛(complex vector bundle),陈类是上同调群中的一系列类:
这些类满足自然性(对光滑映射下推回)、归一化(对标准线丛给出超平面类)、惠特尼积公式()。陈类是复向量丛的拓扑障碍的完整刻画。陈类的意义在于:它们是整体不变量——对向量丛上的所有可能度量和联络不变,只依赖于丛的拓扑类型。但同时,它们可以用曲率局部计算——陈-韦伊同态(Chern-Weil homomorphism)将丛的联络的曲率形式与陈类联系起来:
其中 是联络的曲率2-形式。
陈类在20世纪后半叶数学和理论物理中的应用是无处不在的: - 代数几何:陈类是描述代数簇的向量丛的基本工具,格罗滕迪克(Grothendieck)将其推广到一般概形(scheme)上。 - 指标理论:阿提亚-辛格指标定理(Atiyah-Singer index theorem)用陈类表达椭圆算子的解析指标——将分析、几何、拓扑融为一体。 - 理论物理:杨-米尔斯理论、弦理论、拓扑场论中,陈类(和陈-西蒙斯类)是描述规范场的核心语言。第一陈类 在物理中对应规范场的磁通量量子化。 - K-理论:格罗滕迪克-黎曼-罗赫定理将陈类与代数几何中的黎曼-罗赫型公式联系起来。
丘成桐(Shing-Tung Yau,陈省身的学生,菲尔兹奖得主)称陈类是"极具美感的数学成果,是在扭曲的空间中简洁的不变量"。
陈-西蒙斯理论
1974年,陈省身与詹姆斯·西蒙斯(James Simons)合作,引入了陈-西蒙斯形式(Chern-Simons forms)——陈类的一种"边界"或"局部"版本。
陈-西蒙斯形式 $CS(A)$ 是定义在主丛连接 $A$ 上的微分形式,满足:
其中 是曲率形式。
这个形式在理论物理中产生了意想不到的深远影响: - 3维拓扑场论:维滕(Edward Witten)在1989年证明,3维陈-西蒙斯场论产生了纽结多项式(Jones多项式等),将量子场论与拓扑联系起来。 - 凝聚态物理:量子霍尔效应的拓扑描述使用陈-西蒙斯项;拓扑绝缘体的分类也依赖于陈-西蒙斯不变量。 - 弦理论:M-理论中的 $C$-场包含陈-西蒙斯项,与引力反常抵消相关。
西蒙斯后来成为著名的对冲基金经理(文艺复兴科技公司)和慈善家,但他的最初职业是数学家——陈-西蒙斯形式是他与陈省身合作的产物,这段经历是他最引以为豪的科学记忆。
数学遗产与学派
陈省身在世界上建立了两个具有国际影响力的几何学中心:加州大学伯克利分校的几何学派,以及南开大学的数学研究所。
他培养的学生中,有多位成为一流数学家,其中最著名的是: - 丘成桐(Shing-Tung Yau,1949—):菲尔兹奖得主(1982年),证明了卡拉比猜想(Calabi-Yau流形在弦理论中至关重要)。 - 郑绍远(Shiu-Yuen Cheng):微分几何学家,UC伯克利教授。 - 以及多位活跃于国际数学界的华裔几何学家。
陈省身晚年梦想看到"中国成为21世纪数学的中心"。这个梦想在他去世时尚未实现,但中国数学的迅速崛起——在几何、数论、代数多个领域涌现世界一流数学家——与他一生的努力密不可分。
历史意义
陈省身的工作代表了20世纪几何学的一次根本性转变:从局部微分几何(研究曲面在每一点上的弯曲情况)到整体微分几何(研究几何量在整个流形上的积分与拓扑不变量之间的关系)。这一转变之所以深远,是因为它将几何与拓扑、几何与分析、几何与代数结合在一起。陈类是这种结合的象征:它是拓扑的(整体不变量),可以用几何计算(曲率),属于上同调(代数),在分析(指标理论)和物理(规范场论)中都有核心应用。
陈省身曾说:"数学是一个整体,其各个部分不可分割。"他的工作是这句话最好的注脚。
跨域连接
- 微分几何:曲率的积分等于一个只依赖拓扑的整数,这类等式把局部量的总和牢牢锁在整体形状上。推论是:随意连续地捏一个闭曲面,曲率处处都在变,积分却分毫不动——局部的自由度再大,也逃不出整体给的这一条约束。
- 电荷量子化:描述场的联络在整体上有没有障碍,由一个必须取整数值的示性类衡量。推论是:只要宇宙中存在哪怕一个磁单极,电荷就必须是某个基本单位的整数倍——一个纯拓扑的整性条件,解释了一件看似毫不相干的实验事实。
- 体与边的对应:材料内部的能带携带一个整数不变量,而整数不能连续变化,所以只要能隙不闭合,杂质和边界形状都改不了它。推论是:两块整数不同的材料相接时,界面上必须出现受保护的导电通道,这是可以直接测量的预言。
- 离散曲率:在三角网格上把顶点周围的角亏当作曲率,所有顶点的角亏加起来只依赖曲面的亏格,与网格具体怎样划分毫无关系。推论是:反复细分网格不会改变这个总和,因此它可以当作一个极廉价的校验量,用来检查网格的拓扑有没有在处理中被破坏。
- 局部与整体:这类定理提供了一个罕见而精确的例子:纯局部的量积分之后等于纯整体的量。但要写清它是等式而不是因果——由整体的整数推不出局部曲率怎么分布,反方向的推理在这里根本不成立。
参考文献
- Shiing-Shen Chern, Complex Manifolds without Potential Theory, Springer, 1979(陈省身自己的讲义,英文,经典入门)。
- R. Bott & L. W. Tu, Differential Forms in Algebraic Topology, Springer, 1982(包含陈-韦伊同态的清晰阐述)。
- Shiing-Shen Chern, "What Is Geometry?", The American Mathematical Monthly, Vol. 97 (1990), pp. 679-686(陈省身自述几何观的短文,极具可读性)。
延伸阅读
- 丘成桐、史蒂夫·纳迪斯(Nadis),《大宇之形》(The Shape of Inner Space),中译本,湖南科学技术出版社,2013年(涉及陈省身的工作与弦理论)。
「数学是一个整体,其各个部分不可分割。」——陈省身(传,概括其"数学不分家"的治学观)