沈奇安排完了女儿的前程，这便回到燕大，集中精力仔细研究“数学大一统局部模型”。

森收缩的重新定义，双曲几何**确解的合理嵌入，这两个课题单独拎一个出来，那都是重量级的研究成果。

难就难在如何把不同分支的研究成果整合在一起，形成一套合理可信的新东西。这不是简单的加法。

徐洋和周雨安把基础工作做完了，他俩结合霍奇猜想的研究成果以及slw体系，在森收缩的重新定义、双曲几何**确解的基础上建立了这个局部模型。

霍奇猜想、slw体系毕竟是沈奇搞定的，沈奇在这个领域最有发言权。

“射影代数簇问题是关键，论证了这个问题，局部模型基本上就实现了自洽。”

沈奇思考了起来，若要解决射影代数簇的问题，得先做一个假设。

为了证明这个假设，沈奇发明了一种新的证法。

“覆盖最丰富的拓扑使得所有可表函子成为层，所以态射fi不一定为嵌入……这个项目啊，真的是越做越复杂。”

沈奇走到窗边，看着楼下的大学生们来来往往。

数学大一统这个项目非常庞大繁杂，若要将代数几何与偏微分方程统一在一起，肯定不是复制粘贴这么理想化，否则数学早就大一统了。

一个数学分支与另一个分支在统一的过程中，必然涉及新的理论原则或者技巧方法。

将代数几何、偏微分方程、拓扑、分析等分支统一，需要在原有理论基础上加入大量的创新元素。这还只是局部统一，或者说是限制性的纲领。

沈奇休息了一会儿，重新回到办公桌前。

历经一下午的钻研，沈奇使用新型的“覆盖最丰富拓扑的证法”，证明了射影代数簇的衍生假设。

“证来证去，居然得到这么个结果……”

沈奇觉得有点意思，这个结果很难说是好是坏，只能说是前所未有的新套路。