典范模型

典范模型(canonical model)一类特殊的代数簇.设X是仅具有典范(相应地，末端)奇点的复射影簇，若典范除子Kx是一个丰富(相应地，半正)Q除子，则称X是典范(相应地，极小)模型.若簇Y双有理等价于一个典范(或极小)模型，则称簇Y有典范(或极小)模型.典范模型和极小模型的存在性问题是代数几何的一个基本问题.若V是一般型光滑复射影簇，则V有典范模型X的充分必要条件是V的典范环R(V)是有限生成的，这时X=ProjR(V).著名的极小模型猜想是:任何小平维数)0的光滑射影簇有一个极小模型.在3维的情形这个猜想已被森重文证明.典范模型(canonical model)一类特殊的代数簇.设X是仅具有典范(相应地，末端)奇点的复射影簇，若典范除子Kx是一个丰富(相应地，半正)Q除子，则称X是典范(相应地，极小)模型.若簇Y双有理等价于一个典范(或极小)模型，则称簇Y有典范(或极小)模型.典范模型和极小模型的存在性问题是代数几何的一个基本问题.若V是一般型光滑复射影簇，则V有典范模型X的充分必要条件是V的典范环R(V)是有限生成的，这时X=ProjR(V).著名的极小模型猜想是:任何小平