跳轉到

1986 · Faltings 與 Mordell 猜想：64 年的「有限多」如何落網#

1986 費爾茲獎（柏克萊 ICM）：Gerd Faltings，表彰 Mordell 猜想的證明（1983）

案情提要#

1922 年 Mordell 提出一個看起來「只差一步」的猜想：在亏格 ≥ 2 的光滑代數曲線上，有理點只有有限多個。比較三種曲線：

虧格 g 有理點 例
g = 0 無窮（若非空） 直線、圓
g = 1 無窮或有限（橢圓曲線，結構由 BSD 猜想主導） y² = x³ − x
g ≥ 2 有限？ Fermat 曲線 xⁿ + yⁿ = 1（n ≥ 4）

Mordell 猜想若真，費馬最後定理的 n ≥ 4 情形立即成立（Fermat 曲線虧格 ≥ 2）——這是它被視為數論「聖杯」的原因。64 年來所有人都在嘗試直接數點，全部失敗。Faltings 1983 年的破案手法是根本不數點。

前因#

年份 事件
1922 Mordell 猜想提出
1960s Shafarevich 提出關於「好約化的阿貝爾簇有限性」的猜想；Parshin 證明「Shafarevich ⇒ Mordell」（1968，曲線情形）——問題被降維
1970s–80s Arakelov 幾何：把「無窮遠處」也納入算術幾何（以 Hermitian 度量補足 Archimedean 位）

調查：Faltings 的三步推理鏈#

Faltings 的證明（1983，Inventiones）是三個有限性定理的疊加：

  1. Tate 猜想（同倫等價 ⇒ 同源）：兩個阿貝爾簇若 ℓ-adic 上同調同構，則它們同源（isogenous，只差有限覆蓋）。以 Galois 表示與 Hodge–Tate 理論證明。
  2. Shafarevich 猜想：給定數域 K 與有限點集 S，虧格 g ≥ 1 且在 S 外具好約化的曲線（阿貝爾簇）只有有限多個同源類。以 1 + Arakelov 幾何（高度理論）證明。
  3. Mordell 猜想（歸謬）：若曲線 C/K（g ≥ 2）有無窮多 K-點，則由 Parshin 構造法可產生無窮多個虧格固定、在 S 外好約化的曲線——與 2 矛盾。

把「點的無窮」翻譯成「曲線的無窮」再禁掉——這是本案的偵查哲學：直接證據拿不到，就間接歸謬。

理論裁決#

  • Mordell 猜想（現稱 Faltings 定理）成立；「有限多」但不可有效算出（同 Roth 定理的結構性缺陷，1958-Roth定理）。
  • 費馬最後定理的「困難部分」被縮小：n ≥ 4 情形由 Faltings + Wiles 1995 的最終解決（1998-懷爾斯與費馬最後定理）——本案是通往費馬案的最後一塊跳板。
  • 副產品：ABC 猜想的等價表述、Vojta 高度猜想框架、p-adic Hodge 理論的興起。

後果#

層面 影響
數論 算術幾何成為主流；代數簇的有理點問題全面「幾何化」
計算 有理點搜尋轉為「找齊全部有限點」的算法課題（Chabauty–Kim 方法 2000s）
下一代 Vojta 1991 年以高度理論給出 Mordell 的另證（更幾何、更有效）——一證多解的示範
哲學 「數點不如看族」：算術幾何的綱領勝利

關聯#