第556章 各项事宜

和徐晨阳几人一起去燕大食堂解决了晚饭之后，陈舟便直接回到宿舍。

克罗斯这会倒是还没回来。

陈舟想了想，克罗斯这几天，好像回来的都挺晚的。

具体点的话，应该是从那天，把研究小组的人员筛选完之后开始的。

至于原因的话，陈舟也问过克罗斯。

只不过，克罗斯的回答，多少还是出乎了陈舟的意料的。

克罗斯告诉陈舟，以往就他一个人跟着陈舟，那文献资料之类的，实在是多的不想看。

可现在不一样了，又多了一个高结。

难得的是，他和高结在一块时，两个人竟然沟通的十分愉快。

就连刷文献资料的效率，都高了不少。

以往在陈舟这里，只能找到打击感。

这下子，终于结结实实的发现，原来自己也是不弱的。

仿佛又回到了没有陈舟的sc。

听到这些话时，反正陈舟是一脸的无奈。

但是，对于克罗斯能够找到还算不错的搭档，陈舟也是挺开心的。

至少，以后他的研究小组，有了两位不错的领头人。

宿舍里，坐在书桌前的陈舟，开始整理从徐晨阳那里所获得的灵感。

灵感只是那一瞬间的闪光，想要将这丝闪光，变成实实在在的数学公式。

甚至于他期待中的答案，却还是需要付出许多心血，消耗不少脑细胞的。

时间滴答滴答的流逝。

陈舟面前崭新的一沓a4草稿纸，也逐渐变成了一张张填满公式和数学符合的手稿。

当写满又一张草稿纸时，陈舟习惯性的拿笔点着草稿纸。

“代数簇的分类问题，是一个古老的代数几何核心问题，同样涉及并影响着很多数学领域……”

“曲线和曲面的分类理论，早在50年代，就已经由恩里克、小平邦彦等人给出框架，但是高维簇的分类和结构，却一直让人觉得难以描述，原因就在于各种奇点问题……”

“直到森重文在80年代，利用莫里科内的概念，给出了3维簇的分类……”

想到这的陈舟，换了一张新的草稿纸。

边回忆，边在草稿纸上，写着森理论的相关内容。

事实上，最初的极小模型纲领，也就是森重文制定出来的。

也因此，极小模型纲领，也被称为森重文纲领。

只不过，森重文所提出的极小模型纲领，是为了解决3维簇的分类问题。

而陈舟现在所要解决的极小模型纲领，却是从完整的角度去考虑的。

其中的难度，远比3维簇的问题，要大了不知道多少倍。

要知道，代数曲面的粗分类，可是经历了100年左右的时间，才被小平邦彦等人严格证明。

而维数每增加1，代数簇分类问题的难度，都是呈几何倍速增长的。

在1970年时，3维簇的分类，更是被认为基本上是不可想象的。

就算是森重文给出了3维簇的分类，但是更高维的森理论，也由于极小模型纲领的复杂性，很长时间没有突破。

所以，这其中的难度和艰巨，可想而知。

饶是陈舟已经解决了极小模型纲领的第一问题，也不敢打包票，自己就一定能够完整的解决极小模型纲领的问题。

当然，陈舟还是有信心的。

用他自己的话说，那就是，站在巨人的肩膀上，他能够看得足够远。

“有限生成定理的证明，给出了森理论在高维的一个可行性……”

“但是特征p域的代数簇，由于没有奇点消解，仍旧难以处理……”

再次停笔，点着草稿纸的陈舟，微微皱眉。

森理论的目标，是对高维代数簇作出双有理等价下的分类。

它的基本思路，是给定一个簇，然后“希望”通过一系列的“几何手术”，得到一个等价类中的代表元，也就是极小模型。

而这一系列的“几何手术”的核心，就是收缩映射。

一方面，想要实现这一系列操作，那就必须首先保证收缩映射的存在性。

关于这个方面的定理的证明，陈舟已经给出，并不是什么问题。

但是到这里，陈舟关于森理论的内容，其实又回到了极小模型纲领本身。

因为，另一方面，如果收缩映射造成过于奇异的奇点。

就得通过一个叫做flip的操作，来变换它。

然后，就是flip的存在性和有限性问题了。

存在性是第一问题，有限性是第二问题。

所以，陈舟又回到了极小模型纲领的问题本身。

“从大师兄那得到的灵感，应该没多大问题，只不