第294章黎曼猜想报告会六
现场的众人震惊于萧易这么快就能够开始证明。
甚至看样子,就连接下来的所有步骤都已经有了基本的构思。
这简直就是……
有点离谱到过分了。
尤其是这个问题的难度,在他们看来,完全就是无从下手的。
或许这个问题的难度不如黎曼猜想,或者是其他的什么猜想。
但是这也绝不是什么简单的问题,尤其是它现在所涉及到的是广义模曲线这个高屋建瓴的新理论。
其中的复杂度更是提高了不知道多少。
广义模曲线虽然相当的重要,但是它的复杂度,在场的所有人却都是能够看出来的。
要在如此复杂的新理论上面,再证明一个更加麻烦的结论……
反正他们觉得,如果是让自己上的话,怎么说也得先思考个几天……吧?
嗯,可能是一个周,乃至是一个月。
特别是,这还仅仅只是前期思考。
毕竟最开始的时候,他们甚至都不知道该从哪里入手。
直到现在,看到了萧易的方法之后,他们方才稍微明白了一点。
但关键是,萧易又是如何做到能够这么快就想出来的?
他们现在是百思不得其解。
最终,也只能归功于一个原因。
因为他是萧易。
就这样一个原因。
“……那么现在我们考虑m(e)的hecke特征h(m(e),s),由m(e)的构造,h(m(e),s)应该包含l(e,s)作为其中的一个因子,同时,σ在m(e)上的作用,应该诱导出h(m(e),s)的某种自守性——”
h(m(e),s)=e(m)*p^(s/2)*h(σ(m(e)),1s)】
“接着,将前面的第一步和第三步进行结合,于是我们就可以得到——”
l(e,s)h(m(e),s)】
“这意味着,l(e,s)的自守性,可以被提升到h(m(e),s)的自守性,换句话说,e的模性质,可以被“嵌入“到m(e)的模性质中。”
写到了这里,萧易转过头,微笑着对在场的数学家们说道:“到了这里,我想接下来的步骤就变得十分明了了。”
“于是,我们从l函数的匹配,就可以倒推出曲线的嵌入,具体来说就是,如果l(e,s)可以被嵌入到h(m(e),s)中,那么应该存在一个同构。”
φ:e→m(e)】
“……使得φ诱导出从l(e,s)到h(m(e),s)的嵌入。”
终于,大概费了半个小时,整面黑板全部的地方都被萧易所写下的步骤占满,而且刚刚好,没有多余的空白。
再加上萧易那优秀的板书,更加使得这面黑板,充满了一种独属于数学才有的美感。
萧易放下了黑板笔,拍了拍手,转过身,去前面设置的一个小讲台上拿起了自己的水杯,喝了一口,喝完里面的最后一口水,然后他稳稳地放回了原位,随后便重新看向在场的人们。
而此刻,整个会场依然是鸦雀无声。
所有的人都仍然沉浸在那一黑板严谨而又无误的证明。
尽管对于绝大多数的观众来说,这一黑板的内容,实在就像是天书一样无法理解。
但也不妨碍此刻的他们,终于明白了当初陶哲轩他们所说的那种“艺术品”的感觉。
这确实是真正的艺术品啊!
至于前排的那些数学大师们,此时则是完全沉浸在萧易刚才的证明过程,以及现在的这个结果当中。
其他的普通观众们现在都能够理解他们所说的艺术品的感觉了,更遑论是他们呢?
很多数学家的伴侣都会觉得,数学家的真正伴侣是数学,而不是自己。
对于这些顶尖的数学家们来说尤其如此。
因此,在面对这样一黑板的推导过程,他们是真正的感受到那种绝妙的美感。
独属于数学的美感。
而现在,这样的美感又一次由萧易带给了他们。
就像是当初刚开始看论文时的那种感觉一样。
他们的心中,满是那样的喜悦之情。
“真美啊……”
他们慨叹。
当然,除了美之外,这个证明的正确性,也让他们深感惊叹。
舒尔茨询问的上一个问题,他们大多数人或许还仍然对萧易的回答感到有些疑惑。
但是这个问题,还有如此完整的证明,他们却就能够轻松地看明白了。
毕竟,萧易的这个证明,真的是相当的浅显易懂,他们能够很容易地就