小乐数学科普：法尔廷斯定理简介|小乐|数学|法尔廷斯定理|莫德尔|阿贝尔

★置顶zzllrr小乐公众号（主页右上角）数学科普不迷路！

格尔德・法尔廷斯（Gerd Faltings）刚刚获得2026年阿贝尔奖，他是算术几何领域的泰斗级人物。其学术思想与研究成果重塑了整个领域，不仅攻克了多项悬而未决的重大猜想，更构建了全新的理论框架，为后续数十年的相关研究指明了方向。本文简单介绍格尔德・法尔廷斯的学术成就。

图源：Peter Badge/Typos1/The Abel Prize

作者：阿贝尔奖官网（abelprize.no）2026-3-19

译者：zzllrr小乐（数学科普公众号）2026-3-20

路易斯·莫德尔（1888-1972）

图源：曼彻斯特大学

1922年，路易斯·乔尔·莫德尔证明了有理数域ℚ上定义的三次方程，其有理数解构成一个有限生成阿贝尔群。在同一篇论文中，他提出猜想：高亏格曲线上的有理点仅有有限个。此后数十年间，这一猜想被称作莫德尔猜想，直至1980年代中期才被最终证实。1983年，格尔德·法尔廷斯在《数学新进展》Inventiones Mathematicae期刊发表论文《数域上阿贝尔簇的有限性定理》，成功证明了这一猜想，莫德尔猜想也由此成为法尔廷斯定理。

亏格2曲线示例：该曲线为下述方程的零点集

y²=x(x+1)(x-2)(x+2)(x-3)

法尔廷斯定理的一般形式如下：设C是数域K上定义的亏格g≥2的光滑射影曲线，则C的K有理点集C(K)为有限集。

法尔廷斯对莫德尔猜想的证明，核心环节是对沙法列维奇猜想的证明。这一猜想由苏联数学家伊戈尔·沙法列维奇于1962年在斯德哥尔摩国际数学家大会上提出，其内容为：在数域上定义、具有给定维数和给定极化次数，且在除有限个位外均有好约化的阿贝尔簇，其同构类仅有有限个。

伊戈尔·沙法列维奇（Igor Shafarevich，1923-2017）

照片来源：康拉德·雅各布斯，埃尔朗根

先假设沙法列维奇猜想成立。设C是数域K上的曲线，P为C上的一个K有理点。阿列克谢·帕尔申在其1968年的博士论文中，给出了构造曲线C的有限覆盖Cᴘ → C的方法：该覆盖的亏格有界，且仅在点P处分歧。根据意大利数学家米歇尔·德·弗兰西斯1913年的经典结论，当曲线C的亏格g≥2时，对于给定的Cᴘ和C，从Cᴘ到C的态射仅有有限个。

阿列克谢·帕尔申（Aleksei Parshin，1942-2022）

照片来源：维基百科

由沙法列维奇猜想可知，满足上述条件的曲线Cᴘ仅有有限个，因此曲线C上的K有理点数量也必然有限。这一建立起沙法列维奇猜想与莫德尔猜想之间联系的方法，被称作帕尔申技巧。借助这一技巧，莫德尔猜想的证明被简化为对沙法列维奇猜想的证明。

阿贝尔簇是一类同时为阿贝尔群的代数簇，其代数簇结构与群结构紧密关联。一维阿贝尔簇（即维数为1的阿贝尔簇）就是椭圆曲线。

设E₁和E₂是域k上定义的同维数阿贝尔簇，二者间的同源（isogeny）是一个满态射f:E₁ → E₂，满足将E₁的单位元映射至E₂的单位元；等价地，同源也可定义为具有有限核的满群同态。

接下来只需证明沙法列维奇猜想即可，即证明：数域上定义、固定维数、固定极化次数，且除有限个位外均有好约化的阿贝尔簇，其同构类仅有有限个。猜想中关于极化与约化的后半段表述是核心内容，但从整体框架来看，关键结论为：阿贝尔簇的同构类仅有有限个。

法尔廷斯的核心创新成果，是提出了阿贝尔簇的高度这一新概念。该概念的构造过程具有较强的技术性，但其推论至关重要：法尔廷斯证明，高度有界的阿贝尔簇集合为有限集，同时证明了同一同源类内的阿贝尔簇，其高度均有界。

结合上述两个结论可推出：对于任意阿贝尔簇A，与A同源的阿贝尔簇，其同构类仅有有限个。

设A为阿贝尔群，p为素数，以2010年阿贝尔奖得主约翰·托伦斯·泰特（John Torrence Tate Jr.）命名的p进泰特模Tₚ(A)被定义为反向极限：

Tₚ(A)=lim← A[pⁿ]

其中A[pⁿ]是A的pⁿ挠子群，即由pⁿ倍乘法映射诱导的核；上述反向极限是在p倍乘法给出的反向系A[pⁿ⁺¹] → A[pⁿ]上计算得到。由此，阿贝尔群A的泰特模编码了其所有p挠元的信息。

设K为特征不等于p的域，char(K)≠p，A和B为K上的阿贝尔簇。泰特猜想于1966年由泰特在有限域上证明，1983年由法尔廷斯在数域上完成证明，该猜想建立了如下同构：

Homᴋ(A,B)⊗ Zₚ≃Homɢᴋ( Tₚ(A),Tₚ(B))

其中

在沙法列维奇猜想的整体证明框架中，最后一步是证明阿贝尔簇的同源类仅有有限个，而关键依据正是法尔廷斯在数域上证明的泰特猜想。泰特猜想建立了阿贝尔簇的同源（isogeny）与其ℓ进泰特模的伽罗瓦表示之间的紧密对应关系：同源集的有限性，等价于伽罗瓦群Gᴋ在泰特模上的作用具有半单性。法尔廷斯结合表示论的经典结论证明：数域K上除有限个位外均有好约化的阿贝尔簇，其同源类与同构类的数量均为有限，沙法列维奇猜想也由此得证。