直到最后,萧易抬起了头,终于开口了。
“首先,我不得不说得是,这是一个足够尖锐,也足够隐蔽的问题,以至于我思考了好一会儿,才想起了我当初证明的时候,是如何考虑这个问题的。”
众人听到他这么说,顿时都坐直了身体。
想起了当初是怎么考虑这个问题的?
莫非意思就是说,萧易当初就已经觉察到了这个问题?
所以现在,他想到了该如何回答这个问题了?
但随后,萧易的话又让他们都是一愣。
“那么,我要承认的是,我确实是隐含性的假设了你说的这一点,所有的椭圆曲线都可以被嵌入到一个广义模曲线中。”
啊?
这种说法……
难道萧易要承认自己失败了?
在场的众人,仿佛就要看到一个神话的破灭了。
毕竟,他们可从来都没有见到萧易失败过。
然而萧易的下一句话就随之而来。
“实际上,当初在研究到这里的时候,我的数学直觉告诉我,这个假设是完全正确的,于是在我证明的过程中,也就没有对于这一情况加以讨论,所以说,我大概犯的错就是……”
萧易顿了顿,然后摊手道:“这个问题,被我‘显而易见’了。”
众人听着他的讲述,都是一愣一愣的。
这说的是啥意思啊?
所以,萧易到底是承认自己错了,还是承认,这个问题,其实在他眼中就是一个显而易见的定理,以至于他觉得没必要在论文中进行证明?
怀尔斯同样也是一愣,有些没明白萧易这句话的意思。
毕竟,他当初做出这种隐含的假设,也基本上是因为心理中下意识地默认了这一点,所以才让其成为了整个证明中的关键缺陷,以至于他又在其中迷茫了差不多一年之久才成功。
现在,萧易所说的,似乎和当初他犯错的原因是一样的。
但是吧……
萧易其他话语中所透露出来的信息,却又略微有点不一样。
一时之间,他也有点搞不懂。
但随后,萧易的话,就彻底让他们所有人怔住了。
只见萧易转过头,重新走到了黑板面前,然后说道:“那么,既然如此,那我就现场来证明一下,证明对于所有的椭圆曲线,都可以被嵌入到一个广义模曲线中。”
然后他就开始擦起了已经在之前的报告会中不知道被擦了多少次的黑板,同时还说道:“当然,这个证明的过程可能会略微有些长,因此也还请大家继续耐心听一会儿。”
在场的所有人顿时间就都惊呆了。
什……什么?
现场证明?
这个他们连该从哪入手解决的问题,萧易就打算给他们现场证明一下?
这个问题从提出到现在,才过去了多久啊!
一时间,人们都不由得开始想,刚才萧易思考的那几分钟时间,到底是在思考什么东西?
还是说,就像是他刚才说的那样,他其实只是在回忆自己当初证明的时候是怎么考虑这件事情的?
他们此时都已经有点目瞪口呆了。
包括坐在前排的那些顶尖数学家们,也都是同样的反应。
他们此时都有点难以相信地看着正在擦黑板的萧易,脸上充满了不可思议。
“他要现场证明?这种问题……这种复杂的问题……真的是能够现场证明出来的吗?”
舒尔茨有些难以相信地说道。
“或许普通人不行,但他是萧易,他可能真的行。”
旁边的法尔廷斯则是笑道,对此倒是表现得十分淡然。
“我……”舒尔茨不知道说什么。
另一边,德利涅笑道:“开始有意思起来了。”
邦别里则是说道:“难道不是,越来越有意思了吗?”
德利涅一怔,随后失笑道:“好吧,你说的更精确一些,确实是越来越有意思了。”
而陶哲轩此时则显得有些激动。
“所以说,这种问题,基本上是不可能难住他的,在他看来,这样的问题竟然都是显而易见的,他就是真正的数学之神!买噶的!”
至于旁边的费弗曼和邱成桐,则略显沉默,因为实在是他们的心中,也都因为萧易这当场就要证明的行为而震撼。
这真的还属于人类的范畴吗?
他们很想问这样的问题。
但不待他们多想。
台上的萧易,已经擦完了黑板,然后拿起黑板笔,走到了左边的空白处。
“那么,我的证明现在开始。”
“首先说明一下,之所以我当初证明的时候,会觉得这是一件显而易见,或者说我有这样的直觉,主要是来自于我对椭圆曲线的l-函数的理解。”
“对于任意的椭圆曲线,其l-函数都应该具有某种形式的自守性,这反映了椭圆曲线的某种内在对称性,而这种自守性,在我的证明中,正是通过广义模曲线的hecke特征来实现的。”
“不过现在,如果需要对这个过程进行严格的证明的话,那么也就需要一系列逻辑上的推断。”
“那么,我们首先给出命题:对于任意的椭圆曲线e,总存在一个广义模曲线m,使得e可以被等变嵌入到m中。”
“第一步,考虑椭圆曲线e的l-函数l(e, s)。根据椭圆曲线的模性质,l(e, s)应该满足某种形式的函数方程和自守性,具体地,应该存在一个素数p和一个自同构σ:e→e,使得——”
【l(e, s)=e(e)* p^(-s/2)* l(σ(e), 1-s)】
“其中e(e)是一个依赖于e的常数。”
“接下来,我们考虑由e生成的一个形式化的广义模曲线m(e),作为一个直觉,我们可以将m(e)理解为由e通过某种乘积和商操作生成的一个更大的对象,类似于由一个群生成的群环。”
“在这个构造中,e上的自同构σ可以被自然地延拓到m(e)上,记为σ:m(e)→m(e)。”
“然后第三步……”
萧易一边讲述着,一边在黑板上写下了自己的证明过程。
而场下的众人,则已经是完全看呆了。
不是哥们,真能证明啊?
(本章完)