众所周知的是，阿贝尔范畴是同调代数的基本框架，如果k上光滑射影簇的态射是非阿贝尔范畴的话，无疑否定了他们曾经猜测最有可能解决大统一理论的途径——即，通过上同调群和代数拓扑理论的方法。
这样的结果虽然多少令人有些沮丧，但能够证明一条思路是不可行的，多少还是节省了大家许多宝贵的时间。
至少现在他们不用一边假设Hom（hX，hY）的各种可能性，一边在不确定地概率上讨论一个不确定的命题了。
会议进行了整整两个小时的时间。
基本上所有人都毫无保留地将自己一个月以来的研究成果放到了会议桌上进行讨论，一直到会议进入了尾声。
看着笔记本上记录的一行行潦草的笔记，法尔廷斯还算满意地轻轻点了下头。
相比起昨天而言，今天勉强算是取得了一定的进展。
除了证明用上同调群和代数拓扑理论的方法研究k上光滑射影簇的态射是在浪费时间之外，通过代数链理论，他们成功推导出了k上光滑射影簇的范畴为V（k），验证了格罗滕迪克关于标准猜想的猜测之一。
若说放在平时的话，光是这一令人振奋的结果，就足以他们开启至少一瓶香槟了。
不只是大统一理论的阶段性成果。
这同时也是求证标准猜想的阶段性成果。
然而现在，非但没有人提香槟的事情，甚至没有人对此感到任何乐观，反而是心中的紧迫感越来越强烈了。
代数链理论并非是什么特别复杂的方法，法尔廷斯相信如果他们能想出来的话，那个人一定也想得到。
这一个多月来他一篇论文都没有发表。
这要么说明他陷入了瓶颈，要么便说明他正在酝酿更惊人的东西。
法尔廷斯更倾向于相信，后者的可能性更大一些。
