Wiki. “正线丛” [正线丛]SimplicialCat “正性” 与存在很多全局截面这件事有关, 而存在很多全局截面意味着一个代数簇可以映射到 (甚至嵌入) 射影空间. 定义 复流形上的全纯线丛称为正线丛是指其曲率形式乘以 $\sqrt{-1}$ 后是一个正定 $(1,1)$-形式. 性质 小平嵌入定理表明正线丛是丰沛线丛. 小平消失定理