众所周知的是，阿贝尔范畴是同调代数的基本框架，如果k上光滑射影簇的态射是非阿贝尔范畴的话，无疑否定了他们曾经猜测最有可能解决大统一理论的途径——即，通过上同调群和代数拓扑理论的方法。
这样的结果虽然多少令人有些沮丧，但能够证明一条思路是不可行的，多少还是节省了大家许多宝贵的时间。
至少现在他们不用一边假设hom（hx，hy）的各种可能性，一边在不确定地概率上讨论一个不确定的命题了。
会议进行了整整两个小时的时间。
基本上所有人都毫无保留地将自己一个月以来的研究成果放到了会议桌上进行讨论，一直到会议进入了尾声。
看着笔记本上记录的一行行潦草的笔记，法尔廷斯还算满意地轻轻点了下头。
相比起昨天而言，今天勉强算是取得了一定的进展。
除了证明用上同调群和代数拓扑理论的方法研究k上光滑射影簇的态射是在浪费时间之外，通过代数链理论，他们成功推导出了k上光滑射影簇的范畴为v（k），验证了格罗滕迪克关于标准猜想的猜测之一。
若说放在平时的话，光是这一令人振奋的结果，就足以他们开启至少一瓶香槟了。
不只是大统一理论的阶段性成果。
这同时也是求证标准猜想的阶段性成果。
然而现在，非但没有人提香槟的事情，甚至没有人对此感到任何乐观，反而是心中的紧迫感越来越强烈了。
代数链理论并非是什么特别复杂的方法，法尔廷斯相信如果他们能想出来的话，那个人一定也想得到。
这一个多月来他一篇论文都没有发表。
这要么说明他陷入了瓶颈，要么便说明他正在酝酿更惊人的东西。
法尔廷斯更倾向于相信，后者的可能性更大一些。
在经过了前一个多月的举步维艰之后，他现在已经不奢望凭借自己或者舒尔茨的力量，将这个命题解决掉了。
或许有一些私心在里面，但这绝对不是为了自己。
他现在只期望能够集合整个布尔巴基学派的力量攻克这道难关，让这个学派的辉煌能够继续延续下去，而不是被一座更明亮的灯塔发出的光芒所掩盖。
如果那个人真的完成了大统一理论……
和令上千到命题荣升定理的黎曼猜想不同，大统一理论将让成千上万的定理串联在一条直线上。
这一成果甚至将超过20世纪一切数学成就的总和。
而完成了这一伟业的他，成就毫无疑问将到达历史的顶峰……
会议结束。
与会者们起身离场。
收起了笔记本，就在法尔廷斯教授正打算起身的时候，忽然注意到放在桌上的智能机，屏幕闪烁了一下，弹出了一行未读邮件的提醒。
食指在屏幕上点了下，拿起手机的他正准备看一眼邮件是谁发来的。
可当视线触及邮件的一瞬间，他整个人却是愣住了。
正文很短。
短到只有六个字母——
【finish.】