第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^(-s2)*h(σ(m(e)),1-s)】
“接着,将前面的第一步和第三步进行结合,于是我们就可以得到——”
【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)的嵌入。”
终于,大概花费了半个小时,整面黑板全部的地方都被萧易所写下的步骤占满,而且刚刚好,没有多余的空白。
再加上萧易那优秀的板书,更加使得这面黑板,充满了一种独属于数学才有的美感。
萧易放下了黑板笔,拍了拍手,转过身,去前面设置的一个小讲台上拿起了自己的水杯,喝了一口,喝完里面的最后一口水,然后他稳稳地放回了原位,随后便重新看向在场的人们。
而此刻,整个会场依然是鸦雀无声。
所有的人都仍然沉浸在那一黑板严谨而又无误的证明。