第368章 课题路线图 二（1/2）

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

这个构造的真正天才之处在於，它把“哥德巴赫猜想是否成立“这个问题，从一个需要“艰难估计“的解析问题，变成了一个需要“优雅判定“的谱论问题。

在传统的方法里，数学家试图证明r的渐进公式，需要控制一大堆误差项，每一项都像一头隨时可能掀桌子的野兽。

但徐辰的思路完全不同。

他的框架说：你根本不需要去估计r的大小，你只需要证明tr不等於零！

而tr不等於零，等价於谱侧那个求和不等於零。

而谱侧的求和，是关於自守表示的特徵值的——这是一个纯粹的代数结构，完全脱离了解析估计的泥潭！

……

拉福格在听到这里的时候，整个人陷入了长达大约三十秒的完全静默。

徐辰没有催他，只是把笔放在了白板托盘上，安静地等待著。

“所以……“拉福格终於开口，声音有些乾涩，“你实际上是在说……”

“哥德巴赫猜想的本质，“徐辰语气十分平静，“不是一个关於素数分布的解析问题，而是一个关於gl自守表示空间上卷积算子正定性的代数问题。”

“证明哥猜，等价於证明Φ_n这个算子在自守谱上的总贡献严格为正。”

拉福格缓缓抬起头，看著徐辰。

眼神里，有一种复杂的东西在涌动。

那是一个在某个领域耕耘了三十年的人，第一次从完全陌生的角度，看到了那扇困住他三十年的门背后，其实是另一个世界的感觉。

……

“但是，“拉福格强迫自己保持冷静，用严谨的学术直觉发问，“这个算子的正定性，如何证明如果谱侧有某个自守表示的特徵值是负的……”

“好问题。这正是整个证明最核心、也是唯一真正困难的地方。”

徐辰拿起笔，在谱侧的求和式旁边，写下了两个字：

“e因子”

“在每个局部素数p处，π的值，完全由对应的局部自守表示π_p对测试算子Φ_n，p的作用决定。而Φ_n，p的构造方式，確保了这个局部值永远是非负实数。”

徐辰在每一个局部分量旁边，画了一个小箭头，指向“≥0“。

“每个局部分量都≥0。”

“而全局的乘积……”

徐辰的笔在这里停了一下。

这是整个证明最优雅、也是最出人意料的核心跳跃。

“全局的乘积，由欧拉乘积公式连接——”

徐辰写下：

π=n_pπ_p

“因为每一个局部因子都严格大於零，所以它们的欧拉乘积也严格大於零。”

“因此谱侧的每一项都严格为正。”

“因此tr严格为正。”

“因此r严格大於零。”

“因此哥德巴赫猜想成立。”

……

白板上，整个证明的链条就这么摆在两人面前。

它没有密密麻麻的误差项估计，没有十四轮痛苦的叠代，没有“大筛法“那种暴力压制。

从头到尾，只有一个核心构造——Φ_n。

一旦这个测试卷积核被正確地造出来，剩下的推论，几乎是水到渠成的。

本章未完，点击下一页继续阅读。