数域上的一个非奇异射影代数簇，p为小于的维数的一个正整数。则上任一型为(p，p)的整上同调类中都有代数代表元。

而刘一辰在代数几何领域做出的成绩，极小模型纲领第一问题、第二问题，则是关于高维代数簇。而这个成果，是近几年代数几何领域最大的成果。

关于标准猜想，在看到格罗滕迪克的亲笔手稿，也看着格罗滕迪克关于标准猜想的一些思考，刘一辰自然不会没有收获。

八行算式，看似不多