∑ 数学名人档案库
← 返回 埃利·嘉当 简介档案 深度档案
微分几何李群数学物理

埃利·嘉当（Élie Joseph Cartan）

20 世纪数学的「隐形建筑师」——当希尔伯特在哥廷根为数学划定版图、庞加莱在巴黎开辟拓扑与动力系统时，埃利·嘉当在同一座城市里几乎单枪匹马地重写了微分几何与李群理论：他把索菲斯·李半生未竟的「连续群」分类补完，把外尔斯特拉斯式的微分形式锤炼成几何学家的通用语言，又用「活动标架」把曲面论推广到任意李群作用的空间，进而孕育出纤维丛、联络与曲率的现代理论。他的思想埋藏在极其凝练的法文论文中，两代人之后才被读懂，却最终塑造了广义相对论、规范场论乃至今日微分几何的全部骨架。

一、生平与时代背景

埃利·约瑟夫·嘉当（Élie Joseph Cartan）于 1869 年 4 月 9 日出生在法国东南部萨瓦省（Savoie）的小镇多洛米厄（Dolomieu），靠近尚贝里（Chambéry）。他的父亲约瑟夫·安托万·嘉当（Joseph Antoine Cartan，1837—1917）是一名铁匠，母亲安娜·弗洛伦丁·科塔兹（Anne Florentine Cottaz，1841—1927）操持家务，家境贫寒。嘉当后来回忆童年时写道：「……黎明即起的铁锤敲击声……母亲在难得的片刻空闲里摇着纺车。」他形容父母是「朴实的农民，以一生向孩子们示范了愉快而胜任的工作，以及对重担的勇敢承受」。嘉当是四个孩子中的次子：姐姐让娜（Jeanne Marie，1867—1931）、弟弟莱昂（Léon，1872—1956，继承父业做了铁匠）、妹妹安娜（Anna，1878—1923，后来成为数学教师）。

19 世纪末的法国，贫寒子弟几乎不可能接受大学教育。嘉当的命运因小学教师科洛姆（M. Collomb）与迪皮伊（M. Dupuis）而改变——他们注意到这个羞涩男孩「眼中闪烁着异乎寻常的智慧之光，记忆力极佳」。更关键的是，时任小学督学、后来成为重要政治家的安托南·迪博（Antonin Dubost，1844—1921）在视察多洛米厄小学时发现了他，鼓励他参加国家助学金竞赛。迪皮伊为他备考，嘉当在格勒诺布尔的考试中表现优异，得以进入维耶纳中学（Collège de Vienne）就读五年（1880—1885），随后在格勒诺布尔高中（Lycée de Grenoble）读两年（1885—1887），最后一年在巴黎的让松-德萨伊高中（Lycée Janson-de-Sailly）专攻数学，国家助学金一直延长到支持他进入高等师范学校。

1888 年嘉当进入巴黎高等师范学校（École Normale Supérieure），听当时法国最顶尖数学家的课：庞加莱、埃尔米特、朱尔·塔内里、达布、阿佩尔、皮卡、古尔萨。1891 年毕业，随后服兵役一年，升至少士（sergent）。正是在这段时间，他的朋友阿尔蒂尔·特雷斯（Arthur Tresse，1868—1958）在莱比锡跟随索菲斯·李学习，回来后向嘉当讲述了威廉·基灵（Wilhelm Killing）关于有限连续变换群结构的惊人工作。1892 年李访问巴黎六个月，嘉当直接受益。1892—1894 年他在佩科基金会（Peccot Foundation）的资助下撰写博士论文，1893 年发表两篇笔记宣布关于单李群的结果，1894 年在索邦获博士学位。

博士毕业后，嘉当任蒙彼利埃大学讲师（1894—1896），再任里昂大学讲师（1896—1903）。1903 年他在里昂与玛丽-路易丝·比安科尼（Marie-Louise Bianconi，1880—1950）结婚，她的父亲皮埃尔-路易·比安科尼曾任化学教授，后任里昂督学。二人育有四子一女？实为四个孩子：长子亨利·嘉当（Henri Cartan，1904—2008）后来成为著名数学家、布尔巴基奠基成员；次子让（Jean）是有才华的作曲家，1932 年 25 岁时死于肺结核；三子路易（Louis）是普瓦捷大学物理学家，二战中参加抵抗运动，1943 年 2 月被捕后杳无音信，1945 年 5 月才得知他已于 1943 年 12 月被纳粹斩首——此时嘉当已 75 岁，这是毁灭性的打击；女儿埃莱娜（Hélène）成为费内隆高中（Lycée Fénelon）的数学教师。

1903 年嘉当任南锡大学教授（同时在电工与应用力学学院授课），直至 1909 年。1909 年迁居巴黎，任索邦助理讲师（maître de conférences），1912 年任微分与积分计算讲席教授，1920 年任理性力学教授，1924—1940 年任高等几何教授。1915—1918 年一战期间被征入伍（保留少士军衔），在高等师范附属军医院工作的同时继续研究。1909 年他在家乡多洛米厄建了一栋房子，常去度假，有时还到家族铁匠铺帮父亲和弟弟拉风箱。1940 年退休但仍在女子高等师范学校授课。

嘉当生前的知名度远低于其成就。迪厄多内写道：「嘉当作为第一流数学家被承认已是晚年；1930 年之前，庞加莱和外尔大概是仅有的两位正确估量了他非凡能力与深度的杰出数学家。」这部分缘于他极端谦逊，部分缘于 1900 年后法国数学主流转向函数论，更主要缘于他惊人的原创性——「他以极其凝练的风格讨论了大量例子，这种风格只有凭借他不可思议的代数与几何洞察力才成为可能，也困扰了两代数学家」。1951 年 5 月 6 日嘉当在巴黎去世，享年 82 岁。

二、学术生涯年表

年份 事件
1869 4 月 9 日生于法国萨瓦省多洛米厄；父为铁匠，家境贫寒
1880 获国家助学金入维耶纳中学（至 1885）；由督学迪博发现并资助
1885 入格勒诺布尔高中读两年（至 1887）
1887 赴巴黎让松-德萨伊高中专攻数学一年
1888 入巴黎高等师范学校，听庞加莱、埃尔米特、达布、皮卡等授课
1891 高师毕业；服兵役一年，升至少士
1892 李访巴黎六个月；从友人特雷斯处得知基灵的李群分类工作
1893 发表两篇笔记宣布单李群结果（含例外群的构造）
1894 获索邦博士学位（论文：复半单李代数分类的完成与例外代数的存在性）
1894—1896 蒙彼利埃大学讲师
1896—1903 里昂大学讲师；1903 年与玛丽-路易丝·比安科尼结婚
1899 发表首篇普法夫问题论文，给出微分形式的第一个正式定义
1903—1909 南锡大学教授
1904 长子亨利·嘉当出生（后为布尔巴基奠基成员）
1909 迁居巴黎，任索邦助理讲师；在家乡多洛米厄建房
1912 任巴黎微分与积分计算讲席教授
1913 发现旋量（在线性表示研究中）
1914 发表《实的单、有限、连续群》（Ann. Éc. Norm. 31），完成实单李代数分类
1915—1918 一战被征入伍（少士），在高师军医院工作同时继续研究
1920 任巴黎理性力学教授
1924 任巴黎高等几何教授（至 1940）
1926 开始发表对称空间系列论文（思想源自克利福德、凯莱，用外尔 1925 年的拓扑方法）
1931 与子亨利合著《有界圆型域的变换》
1932 完成对称空间的完整分类（「由理论开创者本人完成的少数例子之一」）
1932 三子路易被纳粹杀害（消息 1945 年才得知），次子让已于 1932 年因结核早逝
1938 出版两卷本《旋量理论讲义》
1940 退休；继续在女子高等师范学校授课
1945 出版《外微分系统及其几何应用》（据 1936—37 年索邦讲义）
1951 5 月 6 日在巴黎去世，享年 82 岁

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

1. 复半单李代数的分类完成与例外李代数的存在性（1893—1894）——李代数

问题背景：索菲斯·李（Sophus Lie）从 1870 年代起研究「有限连续变换群」（即李群），旨在以群论统一几何（延续克莱因的埃尔朗根纲领）与微分方程。但李本人未能完成对单李群的彻底分类。威廉·基灵（Wilhelm Killing）在 1888—1890 年的论文中独立推进了分类：他引入根（roots）、嘉当子代数、基灵型等概念，证明复单李代数只能对应几类经典系列（$A_n,B_n,C_n,D_n$）外加五种例外根系统（后来记为 $G_2,F_4,E_6,E_7,E_8$）。但基灵的证明有漏洞，尤其他只证明了例外代数「可能」存在，却没有构造出它们——存在性悬而未决。

关键思想：嘉当在博士论文中系统修正并补全了基灵的工作。他对每个例外根系统显式构造出对应的复单李代数，从而证明它们确实存在。他还把基灵的判据严格化：李代数半单当且仅当其基灵型（Killing form）$B(X,Y)=\operatorname{tr}(\operatorname{ad}X\circ\operatorname{ad}Y)$ 非退化——这就是今天教科书里的嘉当判据（Cartan's criterion）。

精确表述： - 复单李代数的同构类与不可约既约根系一一对应，即经典系列 $A_n\,(n\ge1), B_n\,(n\ge2), C_n\,(n\ge3), D_n\,(n\ge4)$ 与五个例外型 $G_2,F_4,E_6,E_7,E_8$。 - 嘉当判据：特征零域上有限维李代数 $\mathfrak g$ 半单 $\iff$ 基灵型非退化。（半单 = 无交换理想；等价于可分解为单理想直和。） - 引入嘉当矩阵（Cartan matrix） $A_{ij}=2(\alpha_i,\alpha_j)/(\alpha_i,\alpha_i)$（$\alpha_i$ 为单根），后来成为李代数、李群与量子群的标准组合数据。

与前人关系：基灵先得到分类框架与根系统；嘉当补全证明并构造例外代数。因此常称「基灵—嘉当分类」。现代教科书中的根系与外尔群表述由外尔（1925—26）与柯塞（Coxeter）简化，而嘉当的原始构造极其繁复。

局限性：嘉当原证明是计算性的、篇幅巨大（博士论文逾百页）；现代简洁证明要等到外尔的线性代数方法与后来的 Serre 关系（生成元与关系刻画）。基灵本人长期未获应有声誉，嘉当则在引用中相对公正地承认了他的贡献。

2. 实单李代数的分类与嘉当对合（1914）——李群实形式

问题背景：复半单李代数分类完成后，一个自然且对物理（如洛伦兹群、庞加莱群）至关重要的问题是：对每个复单李代数，它有多少个实形式（即其复化等于该复代数的实李代数）？

关键思想：嘉当在 1914 年的论文《实的单、有限、连续群》（Les groupes réels simples finis et continus，Ann. Sci. École Norm. Sup. 31，263—355）中完成了实单李代数的完整分类。他引入了嘉当对合（Cartan involution） $\theta$：实半单李代数 $\mathfrak g$ 上的一个对合自同构，使得 $\mathfrak g=\mathfrak k\oplus\mathfrak p$（$\theta$ 的 $\pm1$ 特征空间），且基灵型在 $\mathfrak k$ 上负定、在 $\mathfrak p$ 上正定（即 $\mathfrak k$ 对应紧实形式的李代数）。由此分解 $\mathfrak g=\mathfrak k\oplus\mathfrak p$ 称为嘉当分解。

精确表述：每个实单李代数由其复化类型（经典/例外）加上一个实形式参数（通常是一个对合自同构，即嘉当对合）决定。嘉当对合总是存在且在共轭意义下唯一。嘉当分解给出对应的非紧实李群 $G=K\exp(\mathfrak p)$ 的极分解，是黎曼对称空间理论的代数基础（见成果 5）。

与前人关系：复分类由基灵—嘉当完成；实形式分类由嘉当独立完成。这一工作直到 20 世纪中叶由 Harish-Chandra 表示论、外尔的酉技巧（unitary trick）才真正被广泛使用。

局限性：原始分类用「特征标（character）」等繁复工具，现代表述（如 Helgason、Knapp 著作）用 Satake 图与 Vogan 图重新整理。

3. 外微分形式与外微分系统（1899 起）——微分几何的通用语言

问题背景：19 世纪的微分方程与微分几何研究严重依赖坐标系，变量与函数的选取使问题失去不变性。庞加莱曾使用「微分表达式」，但未给出形式化定义与系统演算。

关键思想：嘉当从 1894—1904 年系统发展外微分形式（exterior differential forms）理论，将格拉斯曼代数应用于微分形式。1899 年在《关于某些微分表达式与普法夫问题》（Sur certaines expressions différentielles et le probleme de Pfaff）中给出了微分形式的第一个正式定义：「由微分 $dx,dy,dz,\dots$ 与可微系数函数经有限次加、乘构成的齐次表达式」（按 Victor Katz 的转述，是一种「纯符号」定义）。他定义了外积（楔积 $\wedge$）与外微分 $d$，并系统研究普法夫方程（$1$-形式方程组 $\theta^i=0$）与一般的外微分系统。

精确表述： - 在 $n$ 维流形上，$k$-形式 $\omega=\sum a_{i_1\dots i_k}\,dx^{i_1}\wedge\cdots\wedge dx^{i_k}$，满足反交换 $dx^i\wedge dx^j=-dx^j\wedge dx^i$。 - 外微分 $d:\Omega^k\to\Omega^{k+1}$，满足 $d^2=0$、$d(\omega\wedge\eta)=d\omega\wedge\eta+(-1)^k\omega\wedge d\eta$。 - 嘉当把偏微分方程组改写为外微分系统（一组微分形式的零点约束），定义了一般解与奇异解的不变量概念：通过构造伴随系统，使原系统的奇异解成为新系统的一般解。他未证明所有奇异解都能由此得到——这一缺口在他去世四年后才被补上。 - 嘉当—凯勒定理（Cartan–Kähler theorem）：在实解析情形下，外微分系统解的存在性由「特征」（character）与「可积性」（involutivity）条件保证（嘉当提出，埃里希·凯勒 1934 年完善）。这是偏微分方程几何理论的奠基定理。

与前人关系：格拉斯曼的外代数、庞加莱的微分形式、普法夫的方程是先驱；嘉当是第一个把它们系统化为几何与 PDE 通用语言的人。陈省身、谢瓦莱后来将其发扬光大。

局限性：嘉当的表述在现代标准下尚非完全严格（缺乏流形的现代定义，那是 1930 年代后外尔、惠特尼等人给出的）；外微分系统的光滑（非解析）情形至今仍是活跃研究领域。

4. 活动标架法与嘉当联络（1910s—1920s）——现代微分几何的框架

问题背景：达布（Darboux）在曲面论中使用「活动标架（repère mobile）」：在曲面每点选取一个随点变化的正交标架，通过标架的微分方程描述曲面几何。但这套方法局限于欧氏空间中的子流形。克莱因的埃尔朗根纲领把几何定义为群作用下的不变量，却无法涵盖黎曼几何（后者没有传递的等距群）。外尔和维布伦已认识到埃尔朗根纲领的不足。

关键思想：嘉当把活动标架法推广到被任意李群作用的空间：在流形每点附上一个「标架」（一个李群元素或齐性空间的一个点），研究标架沿曲线移动时的变化规律。这引导他定义了嘉当联络（Cartan connection）——一种把「模型空间」（李群 / 齐性空间）的几何无穷小地「焊接」到流形上的结构，其曲率度量流形偏离模型齐性空间的程度。

精确表述： - 在流形 $M$ 上，一个嘉当联络是主丛上的一个 $\mathfrak g$-值 $1$-形式 $\omega$（$\mathfrak g$ 为模型群的李代数），满足一定的非退化与等变条件；其曲率 $\Omega=d\omega+\frac12[\omega,\omega]$（结构方程）。当 $\Omega=0$ 时，流形局部同构于模型齐性空间。 - 黎曼联络（Levi-Civita 联络）、射影联络、共形联络都是嘉当联络的特例。 - 嘉当在工作中隐含地使用了纤维丛的概念，但从未给出显式定义——显式的纤维丛、主丛、联络定义由埃雷斯曼（Charles Ehresmann，1941—43）与陈省身（1940 年代）给出，他们都深受嘉当影响。

与前人关系：达布的活动标架是直接先驱；克莱因埃尔朗根纲领提供了「几何 = 群」的视角；嘉当用联络把两者统一。外尔在 1918 年独立地从规范角度引入了联络思想。

局限性 / 存疑：嘉当从未明确写出「纤维丛」定义，因此「嘉当是否发明了纤维丛」的说法需谨慎——更准确地说，他运用了纤维丛的思想，现代定义归功于埃雷斯曼。嘉当联络在 20 世纪中叶相对沉寂，1980 年代后在抛物几何（parabolic geometry）中复兴。

5. 对称空间的分类（1926—1932）——黎曼几何的核心对象

问题背景：黎曼几何研究一般的弯曲空间，但哪些空间具有「足够多的对称性」从而可被完全分类？克利福德、凯莱曾研究过特殊例子。

关键思想：嘉当在 1926 年起的系列论文中定义并分类了黎曼对称空间（Riemannian symmetric spaces）：连通黎曼流形 $M$，在每点 $p$ 存在一个等距对合变换 $s_p$（称为中心对称），以 $p$ 为孤立不动点。等价地，其等距群的李代数满足 $\mathfrak g=\mathfrak k\oplus\mathfrak p$，其中 $[\mathfrak k,\mathfrak k]\subset\mathfrak k,\ [\mathfrak k,\mathfrak p]\subset\mathfrak p,\ [\mathfrak p,\mathfrak p]\subset\mathfrak k$——这正是成果 2 中的嘉当分解。

精确表述：不可约黎曼对称空间分三类： 1. 紧实型（紧半单李群模去最大紧子群，曲率非负）； 2. 非紧实型（非紧实半单李群模去最大紧子群，曲率非正）——与实单李代数的实形式一一对应（嘉当对合）； 3. 欧氏型（平坦，即 $\mathbb R^n$）。

这给出了不可约对称空间的完整列表，且紧致与非紧致型之间通过对偶（duality）对应。嘉当在 1932 年完成了全部显式分类。迪厄多内称这是「由理论开创者本人也将其完成的少数例子之一」。

与前人关系：克利福德、凯莱研究过特例；外尔 1925 年的拓扑方法被嘉当采用。后来的发展：Helgason（1950—60 年代）建立了对称空间上的调和分析与球面函数理论，成为表示论与数论的核心工具。

局限性：嘉当的分类是逐个情形的冗长枚举；现代用根系与 Satake 图统一表述。

6. 旋量的发现（1913）——表示论与量子力学

问题背景：在寻找单李群的不可约线性表示时，某些表示的「维数减半」现象需要新的对象来描述。

关键思想：嘉当 1913 年在研究单群线性表示时发现了旋量（spinors）——复向量，其作用是把三维旋转（或更一般的正交群）转化为二维表示。他后来在 1938 年两卷本《旋量理论讲义》（Leçons sur la théorie des spineurs）的序言中强调：旋量「在其最一般的数学形式下」是他于 1913 年在单群线性表示工作中发现的，并指出其与克利福德—利普希茨超复数的联系。

精确表述：对正交群 $SO(n)$，存在一个双覆盖 $\operatorname{Spin}(n)\to SO(n)$（当 $n\ge3$），旋量是 $\operatorname{Spin}(n)$ 的表示空间中的向量，不下降为 $SO(n)$ 的表示——这解释了电子自旋的「半整数」性质。

与前人关系：克利福德代数、利普希茨数是先驱；但旋量作为表示论对象由嘉当首次系统提出。1927 年泡利、1928 年狄拉克几乎同时在物理中重新发现旋量（泡利矩阵、狄拉克方程），他们后来承认嘉当的数学优先权。

局限性：嘉当的旋量理论当时未受重视，物理界独立重新发现后才被认识到价值。

7. 单李代数的不可约表示与权系（1913）——表示论

问题背景：李群理论的核心问题之一是找出单李群的所有不可约线性表示。

关键思想：嘉当在 1913 年确定了复单李代数的所有不可约有限维表示，用最高权（highest weight）与权系（weight system）加以刻画。每个不可约表示由一个支配整权（dominant integral weight）唯一确定。

精确表述（现代形式，由外尔特征标公式补充）：不可约表示 $V_\lambda$（最高权 $\lambda$）的特征标为 $$\operatorname{ch}{V\lambda}=\frac{\sum_{w\in W}\det(w)\,e^{w(\lambda+\rho)}}{\sum_{w\in W}\det(w)\,e^{w(\rho)}},$$ 其中 $W$ 为外尔群，$\rho$ 为正根之和之半。嘉当给出了表示的构造与权系描述，但完整的特征标公式由外尔（1925—26）得到；外尔群本身也由外尔命名。

与前人关系：嘉当先分类了表示；外尔 1924—26 年用紧群上的积分（外尔积分公式、酉技巧）得到特征标公式，二者互补。

局限性：嘉当的方法是构造性的但繁复；外尔的紧群方法更统一。模表示（素特征）的对应理论要等到 20 世纪后半叶。

四、代表著作与文献

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

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

七、身后影响与学术谱系

嘉当的思想在他去世后全面开花，成为 20 世纪后半叶数学的核心语言：

迪厄多内的评价可作总结：「除庞加莱与希尔伯特外，也许没有人像他那样为今日数学的形态与观点贡献如此之多。」

八、延伸阅读与权威来源