“反过来想?怎么反过来?”
“很简单,我们不去解决群如何作用于流形,而是研究流形如何反抗非理性的群作用。”
瓦格纳原本靠在椅背上的身体猛然坐直,而一直努力埋头记录的琳达,也霍然抬起头。
“说具体!怎么操作?”瓦格纳的声音兴奋。
“构造反例。”庄颜思路清晰得像早已演练过无数遍,“不去正面强攻必须是有理的,而是证明不可能是非有理的。”
琳达下意识地接话,“您是说,证明在某些严格的条件下,任何试图实现的非有理连续群作用,都会引矛盾,从而是不可能的?”
“对!”瓦格纳猛地一拍桌子,接过话头,语飞快,“比如,我们可以设定:对于任何连续群作用,如果群g是完全不连通且非有限的……”
庄颜紧接着开口,“那么,在目标流形……”
她的话被瓦格纳激动地打断,他顺着思路吼了出来:“就一定存在子集k……将与我们预先设定产生冲突!”
两人你一言我一语,将新的推理思路往前推进。琳达一开始还能勉强跟上,到后面彻底跟不上他们的节奏,只能埋头疯狂记笔记。
她有强烈的预感,她或许正在见证一个伟大的时刻,一个数学猜想被彻底证明的时刻!
庄颜越说越兴奋。
如果说一开始,她对这个新思路还尚存疑虑,那么在和瓦格纳的讨论中,她已经将理论不断完善。
“换句话来说,我们完全可以通过构造层次化逼近系统……必须包含一个非流形子集。”
瓦格纳一拳砸在掌心,露出了连日来第一个真正畅快的笑容,“这与流形的基本定义和性质相矛盾!所以,原假设不成立,反证完成!”
“对!”庄颜用力点头,“这样一来,史密斯猜想中关于局部紧群作用必有理的核心命题,就能被向前推进决定性的一大步!”
“至少,在我们设定的这类完全不连通非有限群的情形下,它可以被证明!”
真理越辩越明。
他们仿佛已经看到,那扇被迷雾遮掩的希尔波特之门,正在缓缓向他们敞开。
只要再往前迈几步,就能触及最终的真相。
“那还等什么?”两人异口同声,猛地从座位上站起。
他们都是干脆利落的人,即便在原来的思路上已经走了很远,可一旦确定方向错误,就毫不犹豫地抛弃,全身心投入到新的证明方法中。
琳达还在疯狂记笔记,试图跟上他们的思路,下一秒就被两人快分配了任务。
瓦格纳也叫来了自己的助理,四人分成两组,两人主导推导,两人负责整理记录,将史密斯猜想的证明任务拆解细化,下给实验室的三个基础数学研究小组。
“第一小组,负责梳理非连通群与流形作用的相关文献……”
“第二小组,负责层次化逼近系统的构造……”
“第三小组,证明非流形子集……”
这一次的任务下达,与之前那种探索性的指令截然不同。
实验室里的学生们都不是平庸之辈,敏锐地察觉到了其中的变化。
“你们感觉到了吗?庄颜这次布置任务,每个步骤的目的,所需的工具,预期的结果,都清晰得吓人。”
“对,而且整个方向和我们之前做的几乎完全逆转,太大胆了!”
众人对视一眼,压低声音惊呼:“我们是不是真的抓住那根线头了?!接下来只要顺着抽,就能把整个猜想抽出来?”
意识到这一点,所有参与该课题的学生都沸腾了。
期待,怀疑,坚持,所有负面情绪在这一刻化纯粹兴奋。
这一天,终于来了!
他们顶着压力,忍受嘲讽加入这里,何尝不是赌一个见证历史的可能?
如今,曙光似乎要来了。
只要这次成功,他们将作为庄颜实验室核心成员,与这项伟大的证明一同被载入数学史册!
第143章
◎来自华国的任务◎
既然庄颜已经画出了清晰路线图,他们要做的,就是沿着这条线,把她的思想彻底铺开,把她的思路触角不断延伸
三个基础数学小组进入了疯狂的工作状态,日夜不休地连轴转。
令人振奋的是,随着研究的深入,越来越多的中间结果被验证,越来越多的细节被填补。
每一天,都有新的公式被证明,每一天,都有漏洞被修补。
这些成果被迅反馈给庄颜和瓦格纳,反过来又极大地优化核心部分的推导。
就连放假,也没有一个学生请假,所有人都自愿留在耶鲁校园里,埋头苦干。这一幕落在其他耶鲁学子眼里,却满是不解,嘲讽。
“看那群人,魔怔了吧?假期都不回家,泡在实验室里,不知道的还以为他们在搞什么世纪大明呢!”
“嗤,史密斯猜想要是能被他们这群人爆肝搞定,那数学家也太不值钱了。我看是dead1ine快到了,拿不出东西,急眼了!”