小樂數學科普：法爾廷斯定理簡介

★置頂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曲線示例：該曲線為下述方程的零點集

y2=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??1] → 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小樂

公眾號主頁

右上角

置頂★加星

數學科普不迷路！