小乐数学科普：法尔廷斯定理简介

★置顶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上除有限个位外均有好约化的阿贝尔簇，其同源类与同构类的数量均为有限，沙法列维奇猜想也由此得证。

格尔德·法尔廷斯（2005年）

照片来源：雷纳特·施明德Renate Schmind,，数学研究机构奥伯沃尔法赫

专业术语注释

1. 有限生成阿贝尔群：可由有限个元素生成的阿贝尔群，是抽象代数中群论的基础概念，也是椭圆曲线有理点群的核心性质。

2. 光滑射影曲线：代数几何中最基础的代数曲线类型，光滑性表示曲线无奇点，射影性表示曲线嵌入射影空间中，具有完备性。

3. 极化次数：刻画阿贝尔簇极化结构的数值不变量，极化是建立阿贝尔簇与对偶阿贝尔簇之间关联的核心结构。

4. 好约化：代数簇在素理想下的约化性质，若约化后的簇与原簇具有相同的几何性质（如光滑性、亏格），则称原簇在该素理想处有好约化。

5. 有限覆盖/分歧：覆盖是代数曲线间的满态射，分歧表示覆盖映射在某点处的纤维数量小于映射次数，是代数几何中刻画覆盖性质的关键概念。

6. 同源类：若两个阿贝尔簇间存在同源映射，则称二者属于同一同源类，同源是比同构更弱的等价关系。

7. p进泰特模：阿贝尔簇的重要算术不变量，将阿贝尔簇的挠子群序列转化为拓扑模，是连接代数几何与数论的核心工具。

8. 伽罗瓦表示：将伽罗瓦群的作用表示为线性空间上的线性变换，是算术几何中研究数域算术性质的核心方法。

9. 半单作用：群在线性空间上的作用满足半单性，即线性空间可分解为不可约子空间的直和，是表示论中的核心性质。

参考资料

https://abelprize.no/sites/default/files/2026-03/Faltings%E2%80%99%20theorem.pdf

https://abelprize.no/page/introduction-laureates-work-timandra-harkness

https://abelprize.no/sites/default/files/2026-03/pressrelease_english__Abelprize%202026.pdf

https://abelprize.no/page/press-room-2026-abel-prize-laureate

小乐数学科普近期文章

·开放 · 友好 · 多元 · 普适 · 守拙·

让数学

更加

易学易练

易教易研

易赏易玩

易见易得

易传易及

欢迎评论、点赞、在看、在听

收藏、分享、转载、投稿

查看原始文章出处

点击zzllrr小乐

公众号主页

右上角

置顶★加星

数学科普不迷路！