何时曲线只有有限多个有理点

01 · 核心想法

用日常语言理解

曲线上的有理点，是坐标位于指定数域中的解。不同亏格的曲线会有不同表现：某些曲线可以有无限多个有理点，而复杂到一定程度后就不行。法尔廷斯证明，数域上每条亏格大于一的光滑射影曲线，都只有有限多个这样的点。他通过曲线的雅可比及阿贝尔簇的有限性性质，把几何与算术结合起来。定理排除了无穷无尽地产生解的可能，却不一定说明最后一个解在哪里，也不直接给出有效的搜索上界。

为什么重要

这一证明解决了莫德尔猜想，确立算术几何研究有理数解的强大能力，并影响了超越单个方程的众多有限性问题。