加载中…
Let be a normal pair with a projective morphism and let be a relatively ample -divisor on . We prove the termination of some minimal model program on and the abundance conjecture for its minimal model under assumptions that the non-nef locus of over does not intersect the non-lc locus of and that the restriction of to the non-lc locus of is semi-ample over .

生成讲解博客的中文版本

生成AI智能校验的中文版本