正律和鸣提示您：看后求收藏（爱米文学网aimiwx.com），接着再看更方便。
反正等到下午讲完之后，还可以重新回到这里，到时候就是想吃多久就吃多久。
就这样，在各种交流之中，他们越发感慨萧易证明思路之绝妙，证明方式之精彩，同时也更加期待起了报告会的下半场。
很快，14点之前，所有观众们再一次回到了现场。
甚至排队进场的过程中，每个人都完全遵守着秩序，没有出现任何意外的情况，因为每个人都不想因为这种事情而导致14点开始的报告被推迟。
直到14点到的时候，黎曼猜想报告会的下半场，也得以准时开始。
萧易再一次迈入了场内，站在了主席台上面，看着场下的众多观众们，他微微一笑，说道：“那么，接下来我们的报告继续。”
“现在，正式开始对阿廷猜想的证明。”
接下来要进行的，就是一连串复杂的证明过程了。
关键的工具都已经掌握，接下来要做的就是，将所有的这些工具，真正运用到证明的过程当中。
这中间，就是差不多几十页的论文内容。
当然，萧易将这些过程都进行了省略，大概就相当于数学家们常用的“显而易见”、“注意到”、“易得”等等之类的用词。
不过，在场的数学家们倒是完全可以理解，毕竟萧易总不可能还要在这里给他们将整个证明过程全部写上一遍，那可是总共四百多页的论文内容。
因此能够省略的也就直接省略了，保留关键步骤就行了。
就这样，一直到了阿廷猜想证明的最后。
“到这里，我们就能够做出最终判断。”
“设f是一个n维siegel模形式，x_f^(n)是相应的广义模曲线，那么也就存在一个自然的galois表示——”
【p_f: gal(q/q)→ gl_n(z_)】
“这个galois表示就使得对于任意素数p，frobenius元frob_p在p_f下的特征多项式等于x_f^(n)在p处的zeta函数z(x_f^(n)，t)。”
“如此一来，我们就成功建立了广义模曲线的几何性质与galois表示的算术性质之间的联系。”
“有了这个结果，我们就能够成功地将阿廷猜想转化为关于galois表示的一个问题。”
“具体来说，我们就完成了这样的一个结果。”
“设e是一个椭圆曲线，l(s，e)是它的hasse-weil l-函数，那么有以下两个条件等价。”
“第一，l(s，e)是整个复平面上的全纯函数，并满足一个函数方程；第二，存在一个模形式f，使得e的galois表示p_e与p_f同构。”
“……最终，我们就可以开始尝试将每个椭圆曲线嵌入到一个广义模曲线中。”
“现在，我们知道p_x来自一个siegel模形式f，即p_xp_f，结合这两个结果，就有——”
【p_ep_x i_*p_f i_*。】
“这表明p_e也来自一个模形式，即f的“拉回“。”
“而这，也就意味着l(s，e)是整的并满足函数方程，综上所述，我们成功证明了阿廷猜想。”
