第92章 全部满足！（2 / 2）

花了一整天的时间，两人便完成了框架的搭建和核心验证的工作。

接下来，只要再完成最终的收尾验证，所有的问题就可以都得到解决了。

而这最终的收尾验证工作也是比较繁琐的，他们必须要逐条验证Broué猜想要求的所有条件。

如果有其中的一条无法满足，那他们之前所做的工作又将前功尽弃了。

休息了一个晚上之后，他们先列出了一张验证清单，随后逐条开始了验证。

「复形所有项都是有限生成透射模，满足。」

「复形自对偶性，满足。」

「张量积诱导三角范畴的正合函子，满足……」

随着一项一项条件被成功的验证，董易的手都因为过于的紧张和激动，变得有些颤抖了起来。

因为每完成一项验证，就代表他距离完成研究又进了一步，按时毕业的希望就多了一分。

终于，在他们的不断努力之下，只剩下最后一条性质没有验证了。

「p进拓扑下紧致性……满足！」

在这最后一条性质上打了个√，董易重重的吐出了一口气，闭上双眼靠在椅背上。

此时此刻，他并没有感觉到太大的喜悦，反而觉得自己整个身体的力气都被抽走了一般，只想好好的休息一下。

说起来，这两天的工作虽然强度很大，但也不至于让他累成这个样子。

这更多的是一种心理层面上的疲惫，为了这个课题，在将近一整年的时间里，董易一直紧绷着自己的神经，从没有真正的放松过。

「结束了……终于结束了啊。」

直到缓了好一会儿，董易这才感觉身体有了一些力气，成功完成课题研究的兴奋感和成就感也慢慢的涌了上来。

即使放在燕大数学系的博士生中，这个课题的学术价值，也绝对算得上是数一数二的了。

只要后续的论文写得没有太大的问题，董易不仅可以顺利毕业，拿到留校资格的希望也是非常大的。

那些曾经的颓废日子，从此将要一去不复返了！

兴奋过后，董易有些感慨的看向徐晓。

「要是没有这个孩子的帮忙……也不知道我还需要花多长的时间，才能解决这个问题。」

虽然这个课题中的绝大部分的工作，都是由董易自己完成的。

可要不是徐晓能及时出现，这个最关键的死结，恐怕就会一直将董易卡住。

哪怕他再延毕一年的时间，也未必能够想出和徐晓同样的方法。

激动之中，董易甚至不知道该如何去向徐晓表达自己的感谢了。

「徐晓……谢谢你……你真是个数学天才，我见过的最厉害的数学天才！」

此时徐晓也仍沉浸在解决问题的喜悦之中，突然听到董易说这些，倒是让他感到有些不知所措。

「师兄过奖了，我也只是对这个课题比较感兴趣，才想要试着把它解决的。」