第22章
关灯
小
中
大
在第四十七分钟，当林燃引入自守形式的Hecke代数作用于伽罗瓦群时，后排不断有新的数学家从侧门悄然入座。
安德鲁·韦伊想起了三个月前和友人的通信，恰好包含关于自守表示与伽罗瓦群对应的猜想。
“这个证明的本质，是在模形式的世界与伽罗瓦群之间架设桥梁。
”林燃切换黑板展示模曲线的复解析结构，“而这座桥梁我认为有着更广泛的应用范围。
也就是一直以来很多数学家希望找到的，数学不同领域间存在着深刻而精确的对应关系。
这种映射应该广泛存在才对。
” 在场做数论的数学家脖子僵硬的不行，也不敢偏转，生怕错过一丁点内容。
横跨多个领域的大牛在笔记本上急速书写：“当费马猜想被转化为关于L函数的对称性命题时，它为未来数学发展找到了一条路。
” 格罗滕迪克站起身，对黑板上的内容表示希望有更深度的思考：“我需要验证上同调层面的兼容性。
” 他在黑板上迅速勾画出étale上同调群的交换图式，“如果存在这样的函子化对应，那么代数几何将获得进入自守形式领域的坐标卡。
” 中午的时候，所有数学家哪怕在食堂的间隙，也希望能围在林燃身边，和他讨论关于费马猜想证明的进一步理论。
不过大部分数学家没有这个机会，能和林燃在一张桌子上的另外三个人哪个他们都挤不走。
代数几何教皇格罗滕迪克，哥大数学系主任拉尔夫·福克斯和哥廷根大学数学系主任汉斯·赫尔曼·施瓦茨。
施瓦茨一直到1958年才担任的哥廷根大学数学系主任，也就参加这次学术报告，他才知道本校学生证明了费马猜想。
后悔，是真后悔。
战争结束后的哥廷根大学，远不复当年数学圣地的盛况，现在就大小虾米三两只。
和过去有着高斯、黎曼和希尔伯特，每一代都至少有一位当世顶尖数学家截然不同。
而林燃是有希望和上面三位比肩的，结果这样的遗珠，他们哥廷根大学居然没保住，给哥伦比亚大学给捡漏了。
等到下午三点时候，阳光斜射入报告厅，尘埃在黑板前悬浮如离散的数学符号。
林燃开始处理反演定理在非同余子群上的限制条件时，韦伊举起被标注得密密麻麻的论文预印本：“第4.2节的推导是否存在选择素数的诡计？我需要确认对施瓦尔茨空间的遍历是否足够彻底。
” “这正是利用维特消去定理的精髓。
”林燃调出数值计算结果投影，“当椭圆曲线的modulardegree超过某个阈值时，其对应的模形式必为尖形式。
” 来自普林斯顿的米尔诺在笔记本上画出五维流形图示，突然向邻座的阿蒂亚低语：“这个思路是否可以推广到四维流形的微分结构分类？” 讨论声渐起如扩散的拓扑涡旋，直到林燃轻敲教鞭将众人的视觉焦点重新凝聚在黑板上：“Selmer群的有限性在此是否发挥了类似黎曼猜想中的控制作用？” 整个学术会议足足持续了半个月时间。
最后的质疑来自格罗滕迪克，他觉得椭圆曲线与模形式对应的适用范围还有待商榷。
林燃展示
安德鲁·韦伊想起了三个月前和友人的通信，恰好包含关于自守表示与伽罗瓦群对应的猜想。
“这个证明的本质，是在模形式的世界与伽罗瓦群之间架设桥梁。
”林燃切换黑板展示模曲线的复解析结构，“而这座桥梁我认为有着更广泛的应用范围。
也就是一直以来很多数学家希望找到的，数学不同领域间存在着深刻而精确的对应关系。
这种映射应该广泛存在才对。
” 在场做数论的数学家脖子僵硬的不行，也不敢偏转，生怕错过一丁点内容。
横跨多个领域的大牛在笔记本上急速书写：“当费马猜想被转化为关于L函数的对称性命题时，它为未来数学发展找到了一条路。
” 格罗滕迪克站起身，对黑板上的内容表示希望有更深度的思考：“我需要验证上同调层面的兼容性。
” 他在黑板上迅速勾画出étale上同调群的交换图式，“如果存在这样的函子化对应，那么代数几何将获得进入自守形式领域的坐标卡。
” 中午的时候，所有数学家哪怕在食堂的间隙，也希望能围在林燃身边，和他讨论关于费马猜想证明的进一步理论。
不过大部分数学家没有这个机会，能和林燃在一张桌子上的另外三个人哪个他们都挤不走。
代数几何教皇格罗滕迪克，哥大数学系主任拉尔夫·福克斯和哥廷根大学数学系主任汉斯·赫尔曼·施瓦茨。
施瓦茨一直到1958年才担任的哥廷根大学数学系主任，也就参加这次学术报告，他才知道本校学生证明了费马猜想。
后悔，是真后悔。
战争结束后的哥廷根大学，远不复当年数学圣地的盛况，现在就大小虾米三两只。
和过去有着高斯、黎曼和希尔伯特，每一代都至少有一位当世顶尖数学家截然不同。
而林燃是有希望和上面三位比肩的，结果这样的遗珠，他们哥廷根大学居然没保住，给哥伦比亚大学给捡漏了。
等到下午三点时候，阳光斜射入报告厅，尘埃在黑板前悬浮如离散的数学符号。
林燃开始处理反演定理在非同余子群上的限制条件时，韦伊举起被标注得密密麻麻的论文预印本：“第4.2节的推导是否存在选择素数的诡计？我需要确认对施瓦尔茨空间的遍历是否足够彻底。
” “这正是利用维特消去定理的精髓。
”林燃调出数值计算结果投影，“当椭圆曲线的modulardegree超过某个阈值时，其对应的模形式必为尖形式。
” 来自普林斯顿的米尔诺在笔记本上画出五维流形图示，突然向邻座的阿蒂亚低语：“这个思路是否可以推广到四维流形的微分结构分类？” 讨论声渐起如扩散的拓扑涡旋，直到林燃轻敲教鞭将众人的视觉焦点重新凝聚在黑板上：“Selmer群的有限性在此是否发挥了类似黎曼猜想中的控制作用？” 整个学术会议足足持续了半个月时间。
最后的质疑来自格罗滕迪克，他觉得椭圆曲线与模形式对应的适用范围还有待商榷。
林燃展示