论文部分内容阅读
内容摘要:高维代数簇的双有理等价分类是代数几何研究的一个重要分支,其主要问题就是通过代数簇的收缩态射构造极小模型。设X是n维光滑射影代数簇,如果X不是极小模型,则存在X到一正规射影簇Y的满态射f:X→Y,集合E={x∈X|f在x点不是局部同构的}称为f的例外集。f的结构主要由E的结构确定。当dim E≤dim X-2时,称.f:X→Y为小收缩态射。构造极小模型的关键就是要搞清小收缩态射f:X→Y的例外集E的结构。当dim X=3时,1988年Mori[14]给出了E的完整分类,从而证明了非直纹的三维代数簇的双有理等价类中存在极小模型。Kawamata和张琦等研究了dim X=2k且dim E=k的情况。本文要探讨dim X=2k-1且dim E=k时E的结构。本文的主要结果是证明: 设X是光滑的2k-1维射影代数簇,f:X→Y是小收缩态射,E是f的例外集,如果E是光滑的k维子簇且E被f收缩为一点,即f(E)为一点。那么E是k维超二次曲面,或是k维射影空间,即E≌Qk或者E≌Pk,这里Qk是k+1维射影空间Pk+1中的超二次曲面。