就算让他也看到同样的论文,也未必能够像徐晓那样想到这种方法。
这种强大的数学直觉,才是决定一个人研究能力上限更关键的因素。
等两人聊完这些,已经将近十二点了。
虽然他们都很想马上开展接下来的工作,但毕竟这也不是能够一蹴而就的事情,最终他们还是抑制住了有些兴奋的情绪,回到床上强迫自己睡了过去。
第二天一早,两人都早早醒来,各自泡了一桶方便面,吃完之后便按照昨天晚上的计划开始了工作。
虽然这只是两人的第一次合作,但彼此之间的默契都非常足,就仿佛是合作过多年的老搭档一样。
只需要通过非常简短的交流,他们就能够马上理解对方的意思。
「没问题,Magma跑出来的同调结果跟我手动计算的完全一致。」
「好,逐层扭曲时,记得先扭a再扭c,否则可能会出挠元。」
「谱序列积分我算完了,你再验证一下有没有错误。」
花了一整天的时间,两人便完成了框架的搭建和核心验证的工作。
接下来,只要再完成最终的收尾验证,所有的问题就可以都得到解决了。
而这最终的收尾验证工作也是比较繁琐的,他们必须要逐条验证Broué猜想要求的所有条件。
如果有其中的一条无法满足,那他们之前所做的工作又将前功尽弃了。
休息了一个晚上之后,他们先列出了一张验证清单,随后逐条开始了验证。
「复形所有项都是有限生成透射模,满足。」
「复形自对偶性,满足。」
「张量积诱导三角范畴的正合函子,满足……」
随着一项一项条件被成功的验证,董易的手都因为过于的紧张和激动,变得有些颤抖了起来。
因为每完成一项验证,就代表他距离完成研究又进了一步,按时毕业的希望就多了一分。