虫虫小说网

手机浏览器扫描二维码访问

291 第291章 黎曼猜想报告会三（第3页）

尽管在黎曼猜想被证明的情况下，阿廷猜想已经显得不是那么重要了，但这只是相对的，人们依然对于萧易能够同时将阿廷猜想也给证明了的这点感到无比的震惊。

所以现在这种情况，简直就像是寸止了一样。

唯一感谢萧易能够这么准时就“下班”

的，大概也就只有那些正在挑战膀胱极限但是又舍不得离开的观众了。

看着萧易头也不回就进入了后台的身影，众多的观众们也只能放弃挽回。

“好吧，看来只能等到两个小时后了。”

邱成桐无奈地说道。

费弗曼倒是笑呵呵地站起了身：“没事儿，正好华国的茶歇，我也已经期待很久了，我仍然还没有忘记上次来这里吃的东西。”

他拍了拍邱成桐：“邱，这次又要麻烦你替我介绍介绍美食了。”

丘成桐笑道：

“当然没问题。”

……

随后，在场的观众们就在工作人员的招呼下，离开了这里，然后前往了隔壁酒店享受午餐。

当然，他们也丝毫没有忘记，再过两个小时，就要继续回来，听萧易讲述接下来的证明流程。

至于这顿午餐的过程中，他们也完全没有闲着，就刚才萧易所讲述的那些内容讨论着，交流着各自的启和收获，就连原本还打算好好享受一下华国特色美食的费弗曼，也放弃了这些美食，转而加入到了他们的讨论之中。

反正等到下午讲完之后，还可以重新回到这里，到时候就是想吃多久就吃多久。

就这样，在各种交流之中，他们越感慨萧易证明思路之绝妙，证明方式之精彩，同时也更加期待起了报告会的下半场。

很快，14点之前，所有观众们再一次回到了现场。

甚至排队进场的过程中，每个人都完全遵守着秩序，没有出现任何意外的情况，因为每个人都不想因为这种事情而导致14点开始的报告被推迟。

直到14点到的时候，黎曼猜想报告会的下半场，也得以准时开始。

萧易再一次迈入了场内，站在了主席台上面，看着场下的众多观众们，他微微一笑，说道：“那么，接下来我们的报告继续。”

“现在，正式开始对阿廷猜想的证明。”

接下来要进行的，就是一连串复杂的证明过程了。

关键的工具都已经掌握，接下来要做的就是，将所有的这些工具，真正运用到证明的过程当中。

这中间，就是差不多几十页的论文内容。

当然，萧易将这些过程都进行了省略，大概就相当于数学家们常用的“显而易见”

、“注意到”

、“易得”

等等之类的用词。

不过，在场的数学家们倒是完全可以理解，毕竟萧易总不可能还要在这里给他们将整个证明过程全部写上一遍，那可是总共四百多页的论文内容。

因此能够省略的也就直接省略了，保留关键步骤就行了。

就这样，一直到了阿廷猜想证明的最后。

“到这里，我们就能够做出最终判断。”

“设f是一个n维siege1模形式，x_f^（n）是相应的广义模曲线，那么也就存在一个自然的ga1ois表示——”

【p_f:ga1（QQ）→gL_n（Z_）】

“这个ga1ois表示就使得对于任意素数p，Frobenius元Frob_p在p_f下的特征多项式等于x_f^（n）在p处的Zeta函数ζ（x_f^（n），T）。”

“如此一来，我们就成功建立了广义模曲线的几何性质与ga1ois表示的算术性质之间的联系。”

“有了这个结果，我们就能够成功地将阿廷猜想转化为关于ga1ois表示的一个问题。”