非常丰富除子
数学术语
非常丰富除子(Very ample invertible sheaf (or line bundle, or divisor)) 是代数几何中最重要的一类对象。
满足条件
Proper(对应于复几何中的紧致性)的代数簇X上的除子L称为非常丰富除子, 如果它定义的有理映射满足以下条件:
1. 这个映射态射, 也就是说它是处处有定义的;
2.这个映射是单射
3.这个映射可以区分每一点上的切向量。 换句话说, 一个点上的两个不同的切向量, 在这个映射下不会映成同一切向量
注:a一般的,invertible sheaf L 是非常丰富的,当且仅当存在immersion(嵌入,即开嵌入和闭嵌入的复合) f: X----> P^N (某射影空间),使得L同构于O(1)的拉回。
b上述条件中,1等价于L是由整体截面生成的(generated by global sections);1,2,3等价于L定义的态射是闭嵌入(closed immersion)。和a的等价性在于,proper的概形(scheme)在态射下的像是闭的。