雅各布·齐默尔曼 · 世界数学发展史

获奖原因

雅各布·齐默尔曼（Jacob Tsimerman，1988– ）获 2026 年菲尔兹奖，表彰他在丢番图几何（Diophantine geometry）与代数几何的开创性贡献。他最著名的成就是与乔纳森·皮拉（Jonathan Pila）合作，运用 o-极小几何（o-minimal geometry） 与超越性方法，证明了长期困扰学界的 安德烈–奥尔特猜想（André–Oort conjecture）——关于 Shimura 簇中”特殊点”分布的深刻算术命题。

他还证明了对 Shimura 簇的 Ax–Schanuel 猜想，并运用类似的”计数–超越”策略推进了关于霍奇轨迹（Hodge loci）代数性（格里菲斯猜想相关）与模形式算术的研究，把一门原本高度代数化的学科与模型论、实几何联系起来。

问题来龙去脉

一、特殊点与安德烈–奥尔特猜想

Shimura 簇 是代数几何中一类极其特殊的对称空间，承载了模形式与数论的深刻结构。其中的 CM 点（复乘点） 又称 特殊点（special points），对应于具有额外对称（复乘）的阿贝尔簇，是簇上”算术上最简单”的点。

安德烈（André，1989）与奥尔特（Oort，1995）各自提出、后合并为 安德烈–奥尔特猜想：Shimura 簇中，若一个（不可约）子簇包含无穷多个特殊点，则它本身必是一个”特殊子簇”（即由 Shimura 结构自然给出的子簇）。直觉地说：“特殊点扎堆出现”绝非偶然，必然源于更深的结构。这一猜想把模空间几何、算术与超越性紧紧绑在一起。

二、o-极小几何：用”少而精”的集合计数

证明的关键工具是 o-极小结构——一类”形状不太复杂”的实半代数/可定义集合（例如：任何一维可定义集只能是有限段区间的并）。皮拉发展的 o-极小计数定理 指出：在 o-极小集合中，整点（或更一般的代数点）的个数随高度（height）的增长被严格约束——“复杂”点不能太多。

而 Shimura 簇上的特殊点，可以用超越函数（period 映射）来描述。把 o-极小几何与点计数结合，就能得到：若某个子簇含有过多特殊点，则其超越性质会与”Ax 型函数超越性定理”冲突——除非该子簇本就是特殊的。这正是 Ax–Schanuel 猜想 的角色：它给出了 period 映射的图像（graph）的超越维数下界，是整条论证的”引擎”。

三、齐默尔曼与皮拉的突破

齐默尔曼与皮拉（2016 起的一系列工作，并于 2021 年前后完成无条件证明）把上述思想落实：

先证明 Shimura 簇上的 Ax–Schanuel 猜想，给出 period 映射超越独立性的精确刻画；
用 o-极小计数把”特殊点过多”翻译为对子簇超越维数的约束；
结合 Pink 的广义大黎曼–罗赫型猜想 框架与模形式理论，排除非特殊子簇含有无穷多特殊点的可能，从而坐实安德烈–奥尔特猜想。

这条”代数几何 + 模型论 + 超越数论”的跨学科路线，被学界称为 Pila–Tsimerman 纲领，已成为现代丢番图几何最具生产力的范式之一。

四、意义与后续

安德烈–奥尔特猜想的解决不只是兑现了一个百年量级的承诺，更开启了一个全新方法论：用 o-极小几何统一处理”特殊点 / 特殊子簇”类问题。齐默尔曼随后把这一纲领推向 格里菲斯 / 霍奇轨迹猜想（关于代数族中霍奇分解随参数变化的代数性）以及与 Lang 猜想、Zilber–Pink 猜想 相关的更宏大图景。他的工作让”算术、几何与逻辑”三者的交汇处成为 21 世纪数论最活跃的前沿之一。