是对高维代数簇作出双有理等价下的分类。
它的基本思路，是给定一个簇，然后“希望”通过一系列的“几何手术”，得到一个等价类中的代表元，也就是极小模型。
而这一系列的“几何手术”的核心，就是收缩映射。
一方面，想要实现这一系列操作，那就必须首先保证收缩映射的存在性。
关于这个方面的定理的证明，陈舟已经给出，并不是什么问题。
但是到这里，陈舟关于森理论的内容，其实又回到了极小模型纲领本身。
因为，另一方面，如果收缩映射造成过于奇异的奇点。
就得通过一个叫做flip的操作，来变换它。
然后，就是flip的存在性和有限性问题了。
存在性是第一问题，有限性是第二问题。
所以，陈舟又回到了极小模型纲领的问题本身。
“从大师兄那得到的灵感，应该没多大问题，只不过，这条路上，阻碍有点超乎意料的多……”
“算了，还是再理一理思路吧，先把其它事情安排好……”
这样想的陈舟，也就放下了手中的笔。
转而开始整理书桌上有些凌乱的草稿纸。