Thompson

生平

约翰・格里格斯・汤普森（John Griggs Thompson，1932-）出生于美国堪萨斯州的渥太华（Ottawa）。他的童年正值美国大萧条时期，出生在一个普通家庭，并没有显赫的学术渊源或优越的教育条件。

他在早年便展现出异于常人的耐心与对事物的好奇心。年轻的 Thompson 喜欢长时间静静地坐在一个问题面前，在脑海中反复推敲，直到完全看透其复杂的底层逻辑。

Thompson 对数学的兴趣在一定程度上得益于大他三岁的哥哥。

他哥哥进入大学后曾试图向他解释微积分的概念，尽管年轻的 Thompson 觉得那些关于极限和无穷的理论 “完全无法理解”，但这激发了他的求知欲，促使他主动前往当地图书馆寻找更高级的数学书籍进行自学。

此外，他也痴迷于国际象棋以及纸牌游戏中所蕴含的复杂组合学。

Thompson 最初的学术志向并非纯粹的数学研究。1951 年，当他作为本科生进入 Yale 大学时，他的最初目标是主修神学，并希望未来能成为一名长老会牧师（Presbyterian minister）。然而，在 Yale 的求学过程中，他选修了数学课程，立刻被数学的深邃所折服。

他后来回忆道：“能够接触到如此深刻的数学，并回应它的召唤，是一件非常令人兴奋的事情。”

1955 年，Thompson 从 Yale 大学获得学士学位。

随后，Thompson 前往 Chicago 大学攻读博士学位，师从著名的代数学家、范畴论的奠基人之一麦克莱恩（Saunders Mac Lane，1909-2005）。

Mac Lane 以其深厚的学术造诣和严谨的治学风格著称，他赋予了 Thompson 极大的自由，让他能够挑战那些被认为几乎不可能攻克的经典难题。

1959 年，Thompson 完成了他的博士论文《证明具有素数阶无不动点自同构的有限群是幂零群》（A proof that a finite group with a fixed-point-free automorphism of prime order is nilpotent），一举解决了弗罗贝尼乌斯（Ferdinand Georg Frobenius，1849-1917）在六十年前提出的一个著名猜想。

Thompson 并没有仅仅将现有的群论技术向前推进，而是引入了高度原创的局部推导与子群结构分析方法。

这一成就震动了当时的数学界，甚至被《纽约时报》（The New York Times）报道，标志着一个群论新时代的黎明。

1959 年获得博士学位后，Thompson 短暂地在 Harvard 大学担任助理教授（1961–1962），随后回到 Chicago 大学担任正教授（1962–1968）。正是在这一时期，Thompson 迎来了他学术生涯中最辉煌的篇章。

1963 年，他与费特（Walter Feit，1930–2004）合作，在《Pacific Journal of Mathematics》上发表了长达 255 页的旷世巨作《奇数阶群的可解性》（Solvability of groups of odd order）。

这篇论文解决了困扰数学界半个多世纪的 Burnside 问题（Burnside problem）—— 由 伯恩赛德（William Burnside，1852-1927）在 20 世纪早期提出，证明了 奇数阶有限群都是可解的（every finite group of odd order is solvable）。

这篇论文的长度在当时的数学界是史无前例的，占据了该期刊整整一期的篇幅。正如数学家布劳尔（Richard Dagobert Brauer，1901-1977）所言，这项工作为整个有限单群分类纲领注入了决定性的信心。

紧接着，Thompson 独自承担了另一项极其庞大且艰巨的工程：对单 - 群（simple -groups）进行分类。

这项工作同样主要发表在《Pacific Journal of Mathematics》上（1968-1974），分为六篇系列论文，总页数超过 400 页。

1968 年，Thompson 跨越大西洋，接受了英国 Cambridge 大学的邀请，并于 1970 年被任命为 Rouse Ball Professor of Pure Mathematics。

他在 Cambridge 度过了 23 年丰硕的学术岁月。在此期间，他的研究兴趣发生了令人瞩目的扩展，从纯粹的有限群论延伸到了编码理论、有限射影平面、逆 Galois 问题（inverse Galois problem）以及后来的魔群月光猜想（Monstrous moonshine conjecture）。

在 monstrous moonshine 猜想的早期，正是 Thompson 敏锐地抓住了麦凯（John K. S. McKay，1939-2022）的初步观察，并将其扩展为 McKay-Thompson 级数（McKay-Thompson series），将群论、代数几何与理论物理不可思议地联系在了一起。

1993 年，他返回美国，担任 Florida 大学的 Graduate Research Professor，同时保留了 Cambridge 的荣休教授头衔。

Thompson 的治学风格以极高的强度和对他人的慷慨而闻名。在学术合作中，他被描述为一位极具同情心的导师，愿意将自己尚未发表的、具有突破性潜力的原始想法毫无保留地分享给他的研究生们。

他的学生群体中诞生了多位在有限单群分类中起到核心作用的数学家，包括

• 成功构造了最大零星单群（sporadic simple groups）“魔群” 的格里斯（Robert Louis Griess Jr.，1945-）；
• 共同完成有限单群分类第二代证明（GLS 纲领，“G” 指的是 Daniel E. Gorenstein（1923-1992），“L” 指的是 Richard Neil Lyons，“S” 指的是 Ronald Mark Solomon（1948-））的莱昂斯（Richard Neil Lyons，1945-）；
• 在计算群论中做出奠基性贡献的西姆斯（Charles Coffin Sims，1937-2017）。

这种慷慨的协作精神极大地加速了二十世纪下半叶群论的发展进程。

他的长期合作者 Walter Feit 曾这样评价他：“他是一位研究重大问题的数学家，从不让困难使自己气馁。他经常通过引入全新的思想来克服这些困难，而这些新思想对未来的发展产生了巨大的影响。”

Thompson 的妻子奥宁（Diane Ella Oenning）是一位研究陀思妥耶夫斯基（Fyodor Mikhailovich Dostoevsky，1821-1881）和托尔斯泰（Lev Nikolayevich Tolstoy，1828-1910）的杰出学者。

两人育有一女 Dr. Kari Sigrid Carstairs，并有两个外孙 Benjamin 和 Daniel。Thompson 本人也是一位阅读爱好者，喜欢传记和历史著作。此外，他还喜欢音乐，现在仍会偶尔弹钢琴。

Thompson 获得了数学界几乎所有的最高奖项。

• 1965 年他获颁 Cole Prize in Algebra；

Cole Prize in Algebra 部分获奖者

• 1970 年在法国 Nice 举行的国际数学家大会上，他因对有限群论及单群分类的革命性贡献获得了 Fields 奖（与广中平祐（Heisuke Hironaka，1931-2026）、诺维科夫（Sergei Petrovich Novikov，1938-2024）一起分享）；

• 1982 年获得伦敦数学会的 Senior Berwick Prize；

Senior Berwick Prize 部分获奖者

• 1985 年获得皇家学会的 Sylvester Medal；

Sylvester Medal 部分获奖者

• 1992 年获 Wolf 数学奖 和 Poincaré Medal；

Wolf 数学奖部分获奖者

• 2000 年，美国总统 Bill Clinton 授予他 National Medal of Science。

美国国家奖章数学部分获得者

• 2008 年，获得了 Abel Prize。

Abel Prize 部分获奖者

此外，他于：

• 1967 年：当选 美国国家科学院院士
• 1979 年：当选 英国皇家学会外籍院士
• 1998 年：当选 美国艺术与科学院院士

贡献

一、Frobenius 猜想

Frobenius 群（Frobenius group）是一类作用在有限集上的传递置换群（transitive permutation group），其性质是：没有非平凡元素能够固定多于一个点，且存在某个非平凡元素能固定一个点。

假设 是由集合 的所有置换（permutation）构成的 Frobenius 群。 中固定 的某一点的子群 称为 Frobenius 补（Frobenius complement）。

单位元连同所有不在 的任何共轭（conjugate）中的元素构成一个正规子群（normal subgroup），称为 Frobenius 核（Frobenius kernel） （这是 Frobenius 在 1901 年发表的论文《关于可解群. IV.》（Über auflösbare Gruppen. IV.）里证明的定理，利用了特征标理论（character theory））。

Frobenius 群 是 与 的半直积（semidirect product），即

Frobenius 进一步猜想 是幂零群（nilpotent group）。该猜想在接下来的六十年里一直悬而未决，直到 Thompson 在他的博士论文中给出了纯群论的证明 ——1960 年以《有限群的正规 - 补》（Normal -complements for finite groups）为题发表。

此结果有以下等价表述：

定理（Thompson, 1959）：设 是一个有限群。如果 拥有一个质数阶的自同构 ，使得除单位元外的所有元素在 的作用下都没有不动点，那么 是幂零群。

在证明中，Thompson 引入了局部分析方法，通过研究群 的所有非平凡 Sylow - 子群 中特征子群的正规化子（normalizer），来反向推导群 的整体结构。这成为了后来有限单群分类最核心的技术手段。

二、Feit-Thompson 奇数阶定理

伯恩赛德（William Burnside，1852-1927）在 1911 年提出一个深刻猜想：所有非交换的有限单群必定具有偶数阶。

换言之，任何奇数阶的有限群必定是可解群。这一猜想在提出后的半个世纪内几乎无人能够触及。

布劳尔（Richard Dagobert Brauer，1901-1977）提出了利用对合的中心化子（centralizers of involutions）来分类有限单群的纲领。

由于奇数阶群不存在对合（即 2 阶元素），为了使 Brauer 纲领得以全面展开，必须首先无条件地排除奇数阶非交换有限单群存在的可能性。

定理（Feit-Thompson, 1963）：所有奇数阶有限群都是可解群。换言之，不存在奇数阶的非交换有限单群。

这篇发表于《Pacific Journal of Mathematics》上的论文长达 255 页，其证明的复杂性和篇幅在当时的数学界是空前的。证明的核心基于极小反例法（minimal counterexample）：假设存在奇数阶的非可解群，并取其中阶数最小的一个，记为 。根据极小性， 必定是一个极小单群，且其所有真子群均为可解群。

• 通过考察 中非平凡 - 子群的局部子群，证明揭示出 的极大子群的交集极其受限。最终将 的所有极大子群的可能相互嵌入配置缩小到了极其有限的几种形态。
• 在得到 中子群结构的精细划分后，Feit 与 Thompson 运用了 Richard Brauer 的模特征标理论以及戴德（Everett Clarence Dade）的等距映射技术。
• 由于 的阶为奇数，其非主不可约复特征标（non-principal irreducible complex characters）必不可能是实的。
• 通过在特定极大子群上构造广义特征标，利用 Frobenius 互反律将其诱导到 上，他们得到了这些诱导特征标在 上的算术限制，进而导出矛盾。

奇数阶定理的证明宣告了局部分析方法的胜利，并直接促成了有限单群分类纲领进入实施阶段。

三、 - 群的完全分类

有了强大的局部工具，Thompson 向单群分类迈出了实质性的第二步，即分类所谓的 - 群与极小单群。由于 Feit-Thompson 定理保证了所有非交换单群都具有偶数阶，研究包含 - 子群的局部结构成为了核心。

极小单群（minimal simple group）：非循环单群（non-cyclic simple group），若它的所有真子群都是可解群。

- 群（N-group）：它的所有局部子群（即非平凡 - 子群的正规化子（normalizer））均是可解群。

显然，由于极小单群的所有真子群（自然包括局部子群）均可解，因此极小单群必定是 - 群。

Thompson 在 1968 年至 1974 年间，通过六篇鸿篇巨制完成了对非可解（non-solvable）有限 - 群的彻底分类。在这长达 400 余页的证明中，Thompson 根据 Sylow - 子群的结构，对能够整除群阶数的素数分成四个集合。

证明分成不同的情况，依赖于素数 属于的集合及一个整数（ 是最大的整数使得存在一个秩 的初等 Abelian 子群，该子群被一个非平凡的 - 子群正规化，且该 - 子群与初等 Abelian 子群平凡相交）。通过繁复分析，Thompson 得到（ 是 上的射影特殊线性群）：

定理（Thompson, 1968-1974）：所有非可解的有限 - 群完全分为：特殊线性群 、 ，酉群 ，交错群 ，Suzuki 群 ，Mathieu 群 及 Tits 群。

作为其直接推论，有限极小单群恰为以下五类之一：

1. ， 为任意素数；
2. ， 为奇素数；
3. ， 且 或；
4. ， 为奇素数；
5. 。

这里有限极小单群 (finite minimal simple groups) 指群本身是非 Abelian 有限单群，且每个真子群都可解。

四、逆 Galois 问题（inverse Galois problem）与刚性准则

逆 Galois 问题是代数数论中最古老的未解问题之一，即对于任意给定的有限群 ，是否存在有理数域 的一个有限 Galois 扩张 ，使得其 Galois 群 ？

尽管对于 Abel 群与可解群，该问题由 Kronecker（1853）-Weber（1886）定理和 Shafarevich 的工作给出了部分解答，但对一般非 Abel 单群而言，这一问题十分复杂。

1984 年，Thompson 在《Journal of Algebra》上发表了论文《以 形式出现的某些有限群，这里 》（Some finite groups which appear as , where ），将模形式（modular form）与有限群的特征标理论（character theory）深度结合，建立了一个刚性准则。

刚性（rigid）：设 为具有平凡中心的有限群。令 为 中的 个共轭类（conjugate class）。若满足三个条件：

• 存在元素 使得它们的乘积为单位元，即 ；
• 由这些元素生成，即 ；
• 满足上述条件的组 在 的同时共轭作用下恰好构成一个单一的轨道；

则称共轭类组 是刚性的。

定理（Thompson, 1984）：如果一个有限群 有一个刚性组，那么它通常可以作为 的一个分圆扩张（cyclotomic extension）上的 Galois 群来实现。（更精确地说，是在由 的不可约特征在共轭类 上的取值所生成的 的分圆扩张上。）

这一结果可用于证明许多有限单群（包括魔群（monster group））都是 扩张的 Galois 群。魔群可由阶为 2、3、29 的元素组成的三元组生成。所有这样的三元组都是共轭的。

五、魔群月光猜想（Monstrous moonshine conjecture）与 McKay-Thompson 级数

1978 年，数学家 John McKay 观察到了一个令人极其费解的数值巧合：魔群（monster group） 的最小非平凡不可约表示的维数 与著名的椭圆模函数（elliptic modular function） - 不变量 的第一个 Fourier 系数 之间存在着精确的关系: 。随后，其他系数也展现出类似的求和特性。

椭圆模函数（elliptic modular function） - 不变量 ：

级数展开为（ ）：

考虑 的非平凡不可约表示的维数：

我们观察到

McKay 将这一现象视为证据，表明魔群 可能存在一个自然生成的无限维分次表示，其次维数由 的系数给出，并且其低阶部分按上述方式分解为不可约表示。

Thompson 得知这一观察结果后提出，既然分次维数只是单位元的分次迹（graded trace），那么 中非平凡元素 在此类表示上的分次迹可能也同样值得研究。

McKay-Thompson 级数定义为：

其中 为分级的魔群表示模。康威（John Horton Conway，1937-2020）和他的学生诺顿（Simon Phillips Norton，1952-2019）计算了该级数低阶项，并发现它们似乎都是 Hauptmodul（principal modular function）的展开式。

基于计算，他们列出了一份 Hauptmoduln 清单，并猜想存在魔群 的一个无限维分次表示，其次迹 恰是清单上那些函数的展开式。

这一猜想被称为魔群月光猜想（monstrous moonshine conjecture）。博赫兹（Richard Ewen Borcherds，1959-）通过引入顶点算子代数（vertex operator algebra）和广义 Kac-Moody Lie 代数（generalized Kac-Moody Lie algebra）于 1992 年彻底证明了该猜想，并获得 1998 年的 Fields 奖。

六、10 阶射影平面

在组合几何中，一个 阶射影平面是一个由有限个点和有限条直线组成的几何体系，满足：

1. 每条直线恰好包含 个点；
2. 每个点恰好在 条直线上；
3. 任意两条不同的直线相交于唯一的一点；
4. 任意两个不同的点决定唯一的直线。

一个 阶射影平面有 个点和 条直线。

当阶 为素数或素数幂时，人们可以通过有限域轻易构造出相应的射影平面。

第一个非素数幂的整数是 ，而塔里（Gaston Tarry，1843-1913）在 1900 年便已证明 6 阶射影平面不存在。布鲁克（Richard Hubert Bruck，1914-1991）和赖瑟（Herbert John Ryser，1923-1985）在 1949 年证明了：当 形如 或 且不能写作两个平方数的和时，则不存在 阶射影平面。

下一个极具挑战性的情形便是 。如果 10 阶射影平面存在，它将是一个包含 111 个点和 111 条直线的庞大对称结构，每条直线包含 11 个点。

多年来，直接通过组合构造或几何穷举来寻找这 111 条直线的尝试均告失败。

1970 年阿斯穆斯（Edward Ferdinand Assmus, Jr., 1931-1998）和马特森（H. F. Mattson）将这一问题转化为代数编码理论问题。具体而言，假设存在这样一个 10 阶射影平面，其关联矩阵 将是一个 的、仅由 和 组成的方阵。他们考察了由矩阵 的行向量在二元域 上张成的线性子空间，它可以看成一个码 。他们深入研究了该编码的重量计数器 ，证明了只用计算 、 、 便能完全确定 的码字重量分布。

1973 年，Thompson 与麦克威廉姆斯（Florence Jessie Collinson MacWilliams，1917-1990）和斯隆（Neil James Alexander Sloane，1939-）合作，在《Journal of Combinatorial Theory, Series A》上发表了论文《关于阶为 10 的射影平面的存在性》（On the existence of a projective plane of order 10），证明了 。

林永康（Clement Wing Hong Lam）、蒂尔（L. Thiel）和斯维尔茨（S. Swiercz）在 1980 年代接过了接力棒，利用 CRAY - 1A 超级计算机对这些特定配置进行了大规模的穷举计算。

他们最终在 1989 年证明了所需的特定码字并不存在，从而宣告了 10 阶有限射影平面是不存在的。这一成就也成为了早期计算机辅助证明的经典案例。