相对 Fujita-Zariski 定理

我们证明了 Fujita-Zariski 定理的相对版本。当基底为场时，此结果源自 Fujita (1983)，其表明：若一条在proper variety 上的可逆 sheaf 在其基底集上是充分大的，则其足够高的幂是全局生成的。基底集为有限的情况由 Zariski (1962) 证明，故得名。