法尔廷斯定理
亏格 ≥2 的光滑代数曲线只有有限多个有理点(莫德尔猜想的证明),1983 年菲尔兹奖成果。
所属主题:算术几何 ↗阅读路径
参考可汗学院 Get ready 机制:先修概念 → 当前概念 → 进阶概念,✓ 表示已读。
01定义
亏格 的光滑代数曲线上只有有限多个有理点——法尔廷斯 1983 年证明莫德尔猜想,一举拿下 1986 年菲尔兹奖。推论:费马方程 对每个 只有有限多组本原解。
02核心要点
01
证明策略
嵌入雅可比簇 + 法尔廷斯乘积定理(阿贝尔簇同态的有限性):曲线有理点被压缩进雅可比簇的有限结构——高度与模空间理论联合作战。
02
费马的推论
费马曲线 亏格 ():法尔廷斯给出「每个 只有有限多解」——离「零解」还差最后一步,由怀尔斯 11 年后补上。
03
有效的边界
定理不给出点的位置与个数上界(非有效);有效莫德尔猜想(与 abc 猜想相连)仍未解决——「有限」之外的定量问题留待未来。
03关键公式
04历史沿革
莫德尔 1922 年猜想;帕辛、沙法列维奇部分推进;法尔廷斯 1983 年以阿贝尔簇模空间与高度论证完成证明,获 1986 菲尔兹奖;维尼亚斯等改进为有效界的部分结果。
05应用与延伸
超椭圆方程整数解的有限性(配合 Baker 方法可算)、朗兰兹纲领中自守提升的几何基础、丢番图几何的定性框架(与 Bombieri-Lang 猜想衔接)。
06交互演示
Mordell 猜想:亏格决定有理点切换亏格:g=1 有理点无穷多,g≥2 只有有限个(Faltings 1983)