第368章 课题路线图 二（1 / 2）
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。
这个构造的真正天才之处在於，它把“哥德巴赫猜想是否成立“这个问题，从一个需要“艰难估计“的解析问题，变成了一个需要“优雅判定“的谱论问题。
在传统的方法里，数学家试图证明r的渐进公式，需要控制一大堆误差项，每一项都像一头隨时可能掀桌子的野兽。
但徐辰的思路完全不同。
他的框架说：你根本不需要去估计r的大小，你只需要证明tr不等於零！
而tr不等於零，等价於谱侧那个求和不等於零。
而谱侧的求和，是关於自守表示的特徵值的——这是一个纯粹的代数结构，完全脱离了解析估计的泥潭！
……
拉福格在听到这里的时候，整个人陷入了长达大约三十秒的完全静默。
徐辰没有催他，只是把笔放在了白板托盘上，安静地等待著。
“所以……“拉福格终於开口，声音有些乾涩，“你实际上是在说……”
“哥德巴赫猜想的本质，“徐辰语气十分平静，“不是一个关於素数分布的解析问题，而是一个关於gl自守表示空间上卷积算子正定性的代数问题。”
“证明哥猜，等价於证明Φ_n这个算子在自守谱上的总贡献严格为正。”
拉福格缓缓抬起头，看著徐辰。
眼神里，有一种复杂的东西在涌动。
那是一个在某个领域耕耘了三十年的人，第一次从完全陌生的角度，看到了那扇困住他三十年的门背后，其实是另一个世界的感觉。
……
“但是，“拉福格强迫自己保持冷静，用严谨的学术直觉发问，“这个算子的正定性，如何证明如果谱侧有某个自守表示的特徵值是负的……”
“好问题。这正是整个证明最核心、也是唯一真正困难的地方。”
徐辰拿起笔，在谱侧的求和式旁边，写下了两个字：
“e因子”
“在每个局部素数p处，π的值，完全由对应的局部自守表示π_p对测试算子Φ_n，p的作用决定。而Φ_n，p的构造方式，確保了这个局部值永远是非负实数。”
徐辰在每一个局部分量旁边，画了一个小箭头，指向“≥0“。
“每个局部分量都≥0。”
“而全局的乘积……”
徐辰的笔在这里停了一下。
这是整个证明最优雅、也是最出人意料的核心跳跃。
“全局的乘积，由欧拉乘积公式连接——”
徐辰写下：
π=n_pπ_p
“因为每一个局部因子都严格大於零，所以它们的欧拉乘积也严格大於零。”
“因此谱侧的每一项都严格为正。”
“因此tr严格为正。”
“因此r严格大於零。”
“因此哥德巴赫猜想成立。”
……
白板上，整个证明的链条就这么摆在两人面前。
它没有密密麻麻的误差项估计，没有十四轮痛苦的叠代，没有“大筛法“那种暴力压制。
从头到尾，只有一个核心构造——Φ_n。
一旦这个测试卷积核被正確地造出来，剩下的推论，几乎是水到渠成的。
↑返回顶部↑