典範模型

典範模型(canonical model)一類特殊的代數簇.設X是僅具有典範(相應地，末端)奇點的復射影簇，若典範除子Kx是一個豐富(相應地，半正)Q除子，則稱X是典範(相應地，極小)模型.若簇Y雙有理等價於一個典範(或極小)模型，則稱簇Y有典範(或極小)模型.典範模型和極小模型的存在性問題是代數幾何的一個基本問題.若V是一般型光滑復射影簇，則V有典範模型X的充分必要條件是V的典範環R(V)是有限生成的，這時X=ProjR(V).著名的極小模型猜想是:任何小平維數)0的光滑射影簇有一個極小模型.在3維的情形這個猜想已被森重文證明.