巴里·马祖尔

获奖原因

巴里·马祖尔是美国数论与拓扑学大师。他是”形变理论”（deformation theory）的奠基人之一，这一工具后来被安德鲁·怀尔斯用于证明费马大定理；他证明了关于椭圆曲线有理点挠子群的”马祖尔定理”，并深刻影响了岩沢理论与模曲线研究。同时他在代数拓扑的”广义同调/谱”理论上贡献卓著。2022 年陈省身奖授予他，表彰其终身成就。

问题来龙去脉

马祖尔的工作横跨数论与拓扑，且彼此滋养。

一、椭圆曲线的挠子群。 设 $E$ 是定义在 $\mathbb{Q}$ 上的椭圆曲线，$E(\mathbb{Q})_{\text{tors}}$ 为其有理点中的挠子群（即有限阶点）。梅曾（Mazur）在 1977–78 年证明了一个漂亮而深刻的分类定理：

$E(\mathbb{Q})_{\text{tors}} \cong \begin{cases} \mathbb{Z}/n\mathbb{Z}, & n = 1,2,\dots,10,12, \\ \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2m\mathbb{Z}, & m = 1,2,3,4. \end{cases}$

换言之，有理椭圆曲线的挠子群的阶绝不会是 $11$ 或大于 $12$ 的数。这一结论看似”初等地”谈论椭圆曲线上的点，其证明却极其深入：马祖尔研究了模曲线 $X_1(N)$（参数化带指定 $N$-阶点的椭圆曲线）的几何与同调，证明了当 $N$ 为素数时，$X_1(N)$ 上没有”异常”的有理点。关键技巧包括：用”欧拉特征”与”岩沢理论”估计雅可比簇上的有理点，以及用”统一化”把问题化归为模形式空间上的几何。该定理至今是算术几何的试金石。

二、形变理论与费马大定理。 怀尔斯证明费马大定理（FLT）的核心，是把”半 stable 椭圆曲线皆模形式”（即谷山–志村–韦伊猜想的特例）与”Frey 曲线”结合。而在”模性提升定理”的证明中，一个关键环节是：给定伽罗瓦表示 $\bar\rho : G_{\mathbb{Q}} \to \mathrm{GL}_2(\mathbb{F}_p)$，研究其所有”提升” $\rho$（到 $\mathrm{GL}_2(\mathbb{Z}_p)$）构成的”形变函子”。马祖尔在 1980 年代系统创造了这一形变理论：把提升的等价类组织成一个（通常是完备的局部 Noether）环 $R$，而”模性”给出另一个环 $T$（Hecke 代数）；FLT 的证明最终归结为证明"$R = T$"。马祖尔证明了该形变函子的表示性（即存在普适形变环），并奠定了”马祖尔–维尔斯（Mazur–Wiles）“对岩沢主猜想的贡献。

三、岩沢理论。 马祖尔与维尔斯证明：对于分圆 $\mathbb{Z}_p$-扩张，岩沢主猜想的”加上边”版本成立，把分圆域的类数理想与 $p$-进 $L$-函数的零/极点精确对应。这是数论中”解析对象 ↔ 代数对象”对应的典范。

四、拓扑与广义同调。 在拓扑方面，马祖尔是”稳定同伦论与谱”的先驱，早期（与纳维尔等）证明了”拓扑的庞加莱对偶”在谱范畴的版本，并提出”马祖尔谱序列”等工具，影响了后来的范畴化与拓扑模形式（topological modular forms, tmf）理论。

马祖尔的贡献之独特，在于他能在最具体的数论问题（如 FLT）与最抽象的拓扑范畴之间自如往返，并把二者的方法互相输送——这正是现代数学”统一”精神的最佳注脚。

相关链接

陈省身奖 数论代数几何代数拓扑