设X是n维非奇异射影簇,L是X上的丰富线丛,K_X是X的典范丛, f:X→Y是极面收缩态射,其支撑除子为K_X+(n-4)L.如果X与Y不是双有理等价......

设X是n维非奇异射影簇，三是X上的丰富线丛，KX是X的典范丛，f：x→y是极面收缩态射，其支撑除子为Kx＋（n-4）L如果x与y不是双有理等价的，那么（X，L）是......