关于对数拟数值正的对数典范除子

设 $(X, \Delta)$ 是一个在复数域上投射的四维对数簇。假设 $(X, \Delta)$ 不是 Kawamata 对数终端 (klt) 而是除子对数终端 (dlt)。首先我们通过放宽“数值正”的概念引入“对数拟数值正”这一概念。接下来我们证明，若对数典范除子 $K_X + \Delta$ 在 $(X, \Delta)$ 上是对数拟数值正的，则它是半充裕的。