一鸣告别。
刘一鸣露出了半年多以来最开心的笑容，他快乐的挥挥手：“沈诺菲你终于走了。”
“哼，小笨蛋。”诺菲在小班还是有遗憾的，她始终无法让刘一鸣对她产生发自内心的好感。
“刘一鸣这个小朋友，有点个性。”沈奇早就注意到刘一鸣小朋友了，这位男孩的自尊心极强。
沈奇安排完了女儿的前程，这便回到燕大，集中精力仔细研究“数学大一统局部模型”。
森收缩的重新定义，双曲几何**确解的合理嵌入，这两个课题单独拎一个出来，那都是重量级的研究成果。
难就难在如何把不同分支的研究成果整合在一起，形成一套合理可信的新东西。这不是简单的加法。
徐洋和周雨安把基础工作做完了，他俩结合霍奇猜想的研究成果以及SL体系，在森收缩的重新定义、双曲几何**确解的基础上建立了这个局部模型。
霍奇猜想、SL体系毕竟是沈奇搞定的，沈奇在这个领域最有发言权。
“射影代数簇问题是关键，论证了这个问题，局部模型基本上就实现了自洽。”
沈奇思考了起来，若要解决射影代数簇的问题，得先做一个假设。
为了证明这个假设，沈奇发明了一种新的证法。
“覆盖最丰富的拓扑使得所有可表函子成为层，所以态射fi不一定为嵌入……这个项目啊，真的是越做越复杂。”
沈奇走到窗边，看着楼下的大学生们来来往往。
数学大一统这个项目非常庞大繁杂，若要将代数几何与偏微分方程统一在一起，肯定不是复制粘贴这么理想化，否则数学早就大一统了。
一个数学分支与另一个分支在统一的过程中，必然涉及新的理论原则或者技巧方法。
将代数几何、偏微分方程、拓扑、分析等分支统一，需要在原有理论基础上加入大量的创新元素。这还只是局部统一，或者说是限制性的纲领。
沈奇休息了一会儿，重新回到办公桌前。
历经一下午的钻研，沈奇使用新型的“覆盖最丰富拓扑的证法”，证明了射影代数簇的衍生假设。
“证来证去，居然得到这么个结果……”
沈奇觉得有点意思，这个结果很难说是好是坏，只能说是前所未有的新套路。
: