第18章 统一数学的第一块基石
更新很快，看到就是赚到。
  林燃示意助手展开第三块黑板，“通过构造伽罗瓦表示，当且仅当对应这一表示的模形式不存在时，费马方程才有解——但模形式空间的秩为零这一事实，将彻底锁死解不存在的可能性。”
  韦伊的铅笔突然停在半空，他打断道：“弗雷曲线提供的矛盾是否足以支撑一般性证明？”
  “当然。”
  在第四十七分钟，当林燃引入自守形式的hecke代数作用于伽罗瓦群时，后排不断有新的数学家从侧门悄然入座。
  安德鲁·韦伊想起了三个月前和友人的通信，恰好包含关于自守表示与伽罗瓦群对应的猜想。
  “这个证明的本质，是在模形式的世界与伽罗瓦群之间架设桥梁。”林燃切换黑板展示模曲线的复解析结构，“而这座桥梁我认为有着更广泛的应用范围。
  也就是一直以来很多数学家希望找到的，数学不同领域间存在着深刻而精确的对应关系。
  这种映射应该广泛存在才对。”
  在场做数论的数学家脖子僵硬的不行，也不敢偏转，生怕错过一丁点内容。
  横跨多个领域的大牛在笔记本上急速书写：“当费马猜想被转化为关于l函数的对称性命题时，它为未来数学发展找到了一条路。”
  格罗滕迪克站起身，对黑板上的内容表示希望有更深度的思考：“我需要验证上同调层面的兼容性。”
  他在黑板上迅速勾画出étale上同调群的交换图式，“如果存在这样的函子化对应，那么代数几何将获得进入自守形式领域的坐标卡。”
  中午的时候，所有数学家哪怕在食堂的间隙，也希望能围在林燃身边，和他讨论关于费马猜想证明的进一步理论。
  不过大部分数学家没有这个机会，能和林燃在一张桌子上的另外三个人哪个他们都挤不走。
  代数几何教皇格罗滕迪克，哥大数学系主任拉尔夫·福克斯和哥廷根大学数学系主任汉斯·赫尔曼·施瓦茨。