{"content":"# AI聊菲尔茨数学奖|第十一届菲尔茨奖|格尔德·法尔廷斯(1986)\n\n**格尔德·法尔廷斯(Gerd Faltings,1954—)**,德国数学家,生于盖尔森基兴,29岁那年以一己之力攻克悬置六十年的莫德尔猜想,1986年荣获菲尔茨奖——授奖词说,这枚奖章主要献给他在算术代数几何中对莫德尔猜想的证明。获奖时执教于普林斯顿大学,此前任教于伍珀塔尔大学,此后长期担任波恩马克斯·普朗克数学研究所所长,2015年获邵逸夫奖,2017年获康托尔奖章。\n\n## 获奖主要成果:攻克莫德尔猜想\n\n在数论的世界里,「有理数解」是最古老也最迷人的问题:给定一条方程确定的曲线,它上面到底有多少个坐标全是有理数的点?两千年前丢番图就在追问这类问题,三百多年前费马在书页边写下那个著名猜想,对象同样是这类方程。二十世纪二十年代,数学家们逐渐意识到,答案的规模与曲线的「亏格」——衡量曲线有几个「洞」的整数——密切相关:亏格为0的曲线(直线、圆、圆锥曲线),要么没有有理点,要么有无穷多个,毕达哥拉斯三元组就是最经典的例子;亏格为1的曲线(椭圆曲线),莫德尔定理保证其有理点群「有限生成」——可能有无限多个,也可能只有有限个,其秩至今仍是数论最活跃的前沿之一;而亏格至少为2的曲线呢?1922年,莫德尔提出猜想:这样的曲线,有理点只能有有限多个。\n\n这个猜想一悬就是六十年。其间西格尔证明了较弱的「整点有限」版本,但对「有理点」本身,没有人知道该从何下手。难题的根源在于:曲线一旦多出几个洞,几何上就「拒绝」产生足够多的有理点,可要把这种几何直觉翻译成严格的数论证明,工具完全缺席。更有冲击力的是它与费马大定理的血脉联系:费马曲线 xⁿ+yⁿ=zⁿ(n≥4)的亏格恰好≥2,因此莫德尔猜想一旦成立,就意味着对每一个固定的指数 n,方程至多只有有限多个两两互素的解——虽然还不能证明「一个都没有」,但已经一举把「无限多」彻底排除,这是通往费马大定理之路上第一座真正的里程碑。\n\n1983年,29岁的法尔廷斯在伍珀塔尔大学完成了惊人的一跃:他不仅证明了莫德尔猜想,还一并证明了沙法列维奇猜想与关于阿贝尔簇的泰特猜想——三个猜想一次拿下。他的策略是著名的「帕尔申技巧」:从曲线上每个有理点出发,构造一个仅在这一点附近分歧的覆盖,覆盖的雅可比簇便是一族维数固定、只在固定有限个素因子处「坏约化」的阿贝尔簇;于是「有理点有限」被干净地归结为「这样的阿贝尔簇有限」——这正是沙法列维奇猜想的断言。而沙法列维奇猜想的证明,依赖法尔廷斯自己发明的「法尔廷斯高度」:一种在阿贝尔簇模空间上度量「算术大小」的典范函数。他证明同源类中的高度有界、从而同源类有限,再由泰特猜想区分同源类内部的不同构类,三者合拢,莫德尔猜想轰然落地。整个证明动用了奈伦模型、半稳定约化、伽罗瓦上同调与 ℓ 进平展上同调,把代数几何、数论与表示论拧成一股绳——「算术代数几何」这个学科,就此正式登上历史舞台。\n\n法尔廷斯定理的影响远超猜想本身。1991年沃伊塔用丢番图逼近给出全新证明,邦别里随即将其大幅简化,但法尔廷斯开辟的「高度纲领」成了其后三十年前沿研究的共同语言;1994年,怀尔斯修补费马大定理证明的关键时刻,专程请法尔廷斯审阅把关——两人合力为这桩三百多年的悬案画上句号。法尔廷斯此后又在 p 进霍奇理论中证明了著名的「几乎纯性定理」,建立了 p 进辛普森对应,并与柴麟合作构造了阿贝尔簇模空间的算术紧化,学术生涯始终站在算术几何的潮头。值得一提的是,法尔廷斯的证明是「非有效的」:它断言有理点有限,却给不出到底有多少个、有多大——把莫德尔定理变成可计算的「有效版本」,至今仍是数论最著名的开放问题之一,与 abc 猜想血脉相连。\n\n## 现实应用\n\n普通人的手机里,法尔廷斯的遗产每天都在悄悄运转。\n\n第一个例子是网络支付与区块链背后的椭圆曲线密码学。你在浏览器地址栏看到的那把小锁、微信和支付宝的每一次扫码支付、比特币地址的生成与签名,都建立在椭圆曲线有限点群的计算之上。密码学家要回答「这条曲线安不安全」,就必须理解点群的结构、同源与约化性质——而这正是法尔廷斯深耕的算术理论领地,他证明的有限性定理为「曲线该选多大、结构是否可靠」提供了理论定心丸。更直接的是,他毕生研究的「同源」概念如今已演化为后量子时代密码学的重要方向——同源密码学(如 CSIDH、SQISign)至今仍是抵御量子计算机攻击的热门候选方案之一。\n\n第二个例子藏在零知识证明与数字签名里。区块链上的 BLS 聚合签名、Zcash 与以太坊二层网络使用的 zk-SNARK,依赖阿贝尔簇上的双线性配对运算,其理论根基正是法尔廷斯证明的泰特猜想与整套阿贝尔簇算术理论;法尔廷斯高度甚至直接出现在某些密码学方案的安全性证明之中。一枚1986年的菲尔茨奖章,从盖尔森基兴的数学少年出发,穿过莫德尔猜想的荒原,最终守护着今天每一笔数字交易的机密与真实。","contentType":"text/markdown","attachments":[],"quotePin":""}