格尔德·法尔廷斯
因对算术几何的根本性贡献,特别是 1983 年证明 Mordell 猜想(Faltings 定理),并深刻塑造了现代数论与代数几何
获奖原因
格尔德·法尔廷斯(Gerd Faltings,1954– )获 2026 年阿贝尔奖,表彰他对算术几何(arithmetic geometry)的根本性贡献。他最负盛名的成就是 1983 年证明了 Mordell 猜想——现称 Faltings 定理:定义在数域上的、亏格大于 1 的代数曲线只有有限个有理点。这一结果自 1922 年 Mordell 提出以来悬置逾六十年,是 20 世纪数论最重大的突破之一。
除 Mordell 猜想外,法尔廷斯还证明了关于阿贝尔簇的 Shafarevich 猜想与 Tate 猜想(有限域情形),并发展了阿拉克洛夫(Arakelov)理论、p-进霍奇理论(Faltings 几乎纯洁定理)等奠基性工具,深刻影响了其后整个算术几何的走向。
问题来龙去脉
一、Mordell 猜想:曲线上有多少有理点?
考虑一条由多项式方程 定义的代数曲线。一个有理点是指坐标 都属于有理数域 的解。路易斯·莫德尔(Louis Mordell,1922)猜想:当曲线的亏格(genus) 时,其上的有理点只有有限个。
为什么是 ?因为三个经典情形早已清楚:
- (如直线、圆锥曲线):要么没有有理点,要么有无穷多个(由参数化给出);
- (椭圆曲线):其有理点构成有限生成阿贝尔群(Mordell–Weil 定理),故要么有限、要么无限,但结构已知;
- :直觉上曲线”更弯曲、更封闭”,莫德尔猜测有理点应当枯竭为有限集——但严格证明遥不可及。
二、从丢番图到几何:高度的引入
要证明”有限性”,核心难题在于有理点可以任意”大”(分子分母任意膨胀)。法尔廷斯的关键一招是把问题从”逐点计数”提升到”整体结构”:他为曲线上的点定义 高度(height)——粗略地说,衡量一个有理点坐标分母的大小——并把研究焦点转向曲线的雅可比簇(Jacobian) ,一个维数为 的阿贝尔簇。
莫德尔–韦尔定理告诉我们 是有限生成的。法尔廷斯证明:若原曲线有无限多个有理点,则这些点在 中会”挤”出无穷多互不同构、却在某种意义下”一致好约化”的阿贝尔簇——而这被他的下一条定理所禁止。
三、Faltings 定理的全貌
1983 年,法尔廷斯在一篇论文中一举证明了三件事(后统称 Faltings 定理的核心):
- Mordell 猜想: 的曲线只有有限个有理点;
- Shafarevich 猜想(关于阿贝尔簇):固定数域、维数与一个有限素点集合,只有有限个阿贝尔簇在该集合外具有好约化;
- Tate 猜想(有限域上阿贝尔簇情形):同源(isogenous)的阿贝尔簇在某种等价下分类有限。
这三者的证明彼此缠绕:通过把曲线嵌入其雅可比、研究阿贝尔簇的同源类与约化性质,法尔廷斯用高度的对偶理论与半稳定约化把”点的有限性”归结为”阿贝尔簇的有限性”。
四、意义与后续
Faltings 定理立刻产生了深远回响:它与 Fermat 大定理 的证明间接相连(法尔廷斯证明了谷山–志村猜想在半稳定情形成立,这正是怀尔斯证明的关键一步);它催生了 Arakelov 几何 与 p-进霍奇理论(Faltings 的”几乎纯洁定理”是 p-进 Langlands 与 p-进微分方程的基石)。
作为当代算术几何的奠基者之一,法尔廷斯以极其深邃而经济的证明风格著称。2026 年阿贝尔奖表彰的,正是他自 1983 年以来对数论与代数几何全局性的、持久的影响。